Arxiv:2104.05517V7
Total Page:16
File Type:pdf, Size:1020Kb
QUASI-COHERENT TORSION SHEAVES, THE SEMIDERIVED CATEGORY, AND THE SEMITENSOR PRODUCT SEMI-INFINITE ALGEBRAIC GEOMETRY OF QUASI-COHERENT SHEAVES ON IND-SCHEMES LEONID POSITSELSKI Abstract. We construct the semi-infinite tensor structure on the semiderived category of quasi-coherent torsion sheaves on an ind-scheme endowed with a flat affine morphism into an ind-Noetherian ind-scheme with a dualizing complex. The semitensor product is “a mixture of” the cotensor product along the base and the derived tensor product along the fibers. The inverse image of the dualizing complex is the unit object. This construction is a partial realization of the Semi-infinite Algebraic Geometry program, as outlined in the introduction to [47]. Contents Introduction 1 1. Ind-Schemes and their Morphisms 11 2. Quasi-Coherent Torsion Sheaves 18 3. Flat Pro-Quasi-Coherent Pro-Sheaves 31 4. Dualizing Complexes on Ind-Noetherian Ind-Schemes 44 5. The Cotensor Product 60 6. Ind-Schemes of Ind-Finite Type and the !-Tensor Product 75 7. X-Flat Pro-Quasi-Coherent Pro-Sheaves on Y 93 8. The Semitensor Product 107 9. Flat Affine Ind-Schemes over Ind-Schemes of Ind-Finite Type 121 10. Invariance under Postcomposition with a Smooth Morphism 135 11. Some Infinite-Dimensional Geometric Examples 153 arXiv:2104.05517v8 [math.AG] 6 Sep 2021 Appendix. The Semiderived Category for a Nonaffine Morphism 164 References 177 Introduction 0.0. The aim of this paper is to extend the Semi-infinite Homological Algebra, as developed in the author’s monograph [40], to the realm of Algebraic Geometry. Ac- cording to the philosophy elaborated in the preface to [40], semi-infinite homological 1 theories are assigned to “semi-infinite algebrac and geometric objects”. A detailed ex- planation of what should be understood by a “semi-infinite algebraic variety” was sug- gested in the introduction to the author’s paper [47] (see also the presentation [48]). In the present work, we develop a part of the Semi-infinite Algebraic Geometry pro- gram along the lines of [47, 48]. To be more precise, following the approach of [40], one has to distinguish be- tween the semi-infinite homology and cohomology theories. The semi-infinite homol- ogy groups (SemiTor) are assigned to a pair of semimodules, which means roughly “comodules along a half of the variables and modules along the other half”. The semi-infinite cohomology groups (SemiExt) are assigned to one semimodule and one semicontramodule; the latter means “a contramodule along a half of the variables and a module along the other half”. In the context of algebraic geometry, quasi-coherent sheaves on nonaffine schemes and quasi-coherent torsion sheaves on ind-schemes play the role of the “comodules along some of the variables”, while for contramodules one has to consider the contra- herent cosheaves [44]. In the present paper, we restrict ourselves to the semi-infinite homology, the SemiTor; so contraherent cosheaves do not appear. According to the philosophy of [40], the key technical concept for semi-infinite homological algebra is the semiderived category. This means “the coderived category along a half of the variables mixed with the derived category along the other half”. One is supposed to take the coderived category along the coalgebra variables and the derived category along the ring/algebra variables. How does one interpret this prescription in the context of algebraic geometry, or more specifically, e. g., quasi-coherent sheaves on algebraic varieties? Is one supposed to take the coderived or the derived category of quasi-coherent sheaves, or how does it depend on the nature of the variety at hand? This paper grew out of the author’s attempts to find an answer to this question, which spanned more than a decade since about 2009. The paper [47] and the presentation [48] were the first formulations of the conclusions I had arrived at. 0.1. So, what is semi-infinite geometry? Before attempting to answer this question, let us discuss semi-infinite set theory first. Let S be a set. A semi-infinite structure on S is the datum of a set of semi-infinite subsets S+ in S such that, for any two semi-infinite subsets S+′ and S+′′ ⊂ S, the set-theoretic difference S+′ \ S+′′ is a finite set. Furthermore, if a subset S+ ⊂ S is semi-infinite and S+′ ⊂ S is a subset for which both the sets S+′ \ S+ and S+ \ S+′ are finite, then S+′ should be also a semi-infinite subset. So, in order to specify a semi-infinite structure on S, it suffices to point out one particular semi-infinite subset in S; then it becomes clear what the other semi-infinite subsets are. In the standard semi-infinite structure on the set of integers Z, the subset of positive integers is a semi-infinite subset. Given a semi-infinite structure on S, the dual semi-infinite structure is formed by the set of all subsets S− = S \ S+, where S+ ⊂ S are the semi-infinite subsets. The 2 subsets S− ⊂ S are called co-semi-infinite. Every infinite set has the trivial semi- infinite structure, in which the semi-infinite subsets are precisely the finite subsets, and the cotrivial semi-infinite structure, in which the co-semi-infinite subsets are pre- cisely the finite ones. On a finite set, the trivial and cotrivial semi-infinite structures coincide, and there are no other semi-infinite structures; but any infinite set admits infinitely many semi-infinite structures. The datum of a semi-infinite structure on S is equivalent to the datum of a compact, Hausdorff topology on the set S∞ = S ⊔ {−∞, +∞} for which the induced topology on the subset S ⊂ S∞ is discrete. A subset S+ ⊂ S contains a semi-infinite subset if and only if S+ ⊔{+∞} is a neighborhood of the point +∞ in S∞, while a subset S− ⊂ S contains a co-semi-infinite subset if and only if S− ⊔{−∞} is a neighborhood of the point −∞ ∈ S∞. In other words, a semi-infinite structure on a set is the same thing as the datum of a two-point compactification. Notice that there is a notion of “relative cardinality”, a well-defined integer, for a pair of semi-infinite subsets in S. Given two semi-infinite subsets S+′ and S+′′ ⊂ S, + + put “|S+′|−|S+′′|”= |S+\S+′′|−|S+\S+′| = |S+′\S |−|S+′′\S | ∈ Z, where S+ and + S are any semi-infinitee subsets ine S such that S ⊂ S+′ ∩ S+′′ and S+′ ∪ S+′′e⊂ S+. So it makes sense to say that “there are more elements in S+′ than in S+′′ ” (ande how many more, precisely), even though none of the two sets may be contained in the other one, and their (infinite) cardinalities are the same. 0.2. The notion of a locally linearly compact topological vector space (otherwise known as a Tate vector space) is the central concept of semi-infinite linear algebra. Here is the formal definition: a complete, separated topological vector space W over a field k is said to be linearly compact if open vector subspaces of finite codimension form a base of neighborhoods of zero in W . Equivalently, this means that W is isomorphic to the projective limit of a (directed, if one wishes) projective system of discrete finite-dimensional vector spaces, endowed with the projective limit topology; or the product of discrete one-dimensional vector spaces, endowed with the product topology. A topological vector space V is said to be locally linearly compact if it has a linearly compact open subspace. Informally, one can say a locally linearly compact vector space V is a topological vector space whose topological basis is indexed by a set S with a natural semi- infinite structure. A topological basis of a linearly compact open subspace W ⊂ V is a semi-infinite subset in S, while a basis of the discrete quotient space V/W is the complementary co-semi-infinite subset in S. To a set S with a semi-infinite structure, one can assign the locally linearly compact k k + topological vector space V = Lt∈S\S+ t⊕Qs∈S+ s, where S ⊂ S is a semi-infinite subset. Here the topology is discrete on the first direct summand and linearly compact on the second one. Obviously, the (topological) vector space V does not depend on the choice of a particular semi-infinite subset S+ within the given semi-infinite structure on the set S. Similarly to the relative cardinality of a pair of semi-infinite subsets, one can speak about the “relative dimension” (a well-defined integer) for a pair of linearly compact 3 open subspaces W ′ and W ′′ ⊂ V in a given locally linearly compact topological vector space V . There is also the notion of a “relative determinant” (a functorially defined one-dimensional k-vector space) for W ′ and W ′′. The topological k-vector space of formal Laurent power series k((t)) in one vari- able t with the coefficients in k is the thematic example of a locally linearly compact topological vector space. The subspace of formal Taylor power series k[[t]] ⊂ k((t)) is a linearly compact open subspace. 0.3. Now we can offer the following very rough and imprecise definition of a semi- infinite geometric object, or a “semi-infinitely structured space”. A semi-infinitely structured space is an (infinite-dimensional) space Y with local or global coordinates (xs)s∈S indexed by a set S with a natural semi-infinite structure. It seems to makes sense to require that, for every point p ∈ Y , the subset S(p) ⊂ S of all indices s ∈ S for which xs(p) =6 0 be contained in a semi-infinite subset, S(p) ⊂ S+, in the set S.