PART II.1. IND-COHERENT SHEAVES ON SCHEMES
|
|
- Shanon Price
- 5 years ago
- Views:
Transcription
1 PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme Definition of the category t-structure 3 2. The direct image functor Direct image for an individual morphism Upgrading to a functor 6 3. The functor of usual inverse image Inverse image with respect to eventually coconnective morphisms Base change for eventually coconnective morphisms Tensoring up Open embeddings Restriction to an open Zariski descent Proper maps The!-pullback Base change for proper maps Pullback compatibilty Closed embeddings Category with support A conservativeness result for proper maps Products Convergence Groupoids and descent The Beck-Chevalley condition Proper descent 30 References 33 Introduction Date: September 30, 2013; previous: Sept. 5,
2 2 IND-COHERENT SHEAVES ON INFSCHEMES 1. Ind-coherent sheaves on a scheme In this section we introduce the category IndCoh() and study its basic properties Definition of the category. In this subsection we define IndCoh() and the functors that connect it to the usual category QCoh() of quasi-coherent sheaves For Sch aft we consider the category QCoh() and its full (but not cocomplete) subcategory Coh(), consisting of bounded complexes with coherent cohomologies. We define the category IndCoh() by IndCoh() := Ind(Coh()) By construction, we have a naturally defined functor Ψ : IndCoh() QCoh() obtained by ind-extension of the tautological inlcusion Coh() QCoh(). We have: Lemma Assume that is a smooth classical scheme. Then Ψ is an equivalence. Proof. It is known by [TT] (see also [Ne]) that for which is a quasi-separated and quasicompact classical scheme, QCoh() Ind(QCoh() perf ). Now, for a regular classical scheme, we have as subcategories of QCoh(). QCoh() perf = Coh(), Remark It is shown in [GL:IndCoh, Proposition 1.5.4] that the assertion of the above lemma is in fact if and only if The monoidal action of QCoh. We note: Proposition There exists a uniquely defined monoidal action of QCoh(), viewed as a monoidal category, on IndCoh(), such that the functor Ψ is compactible with the QCoh()- actions. Proof. The action in question is obtained by ind-extension of the action of the non-cocomplete monoidal category QCoh() perf on Coh() We give the following definition: Definition We shall say that Sch aft is eventually coconnective if the structure sheaf O belongs to Coh(). I.e., is eventually coconnective if, Zariski locally, the structure sheaf had non-zero cohomologies in finitely many degrees. We have: Lemma If is eventually coconnective, the functor Ψ denoted Ξ, and this left adjoint is fully faithful. admits a left adjoint, to be
3 IND-COHERENT SHEAVES ON INFSCHEMES 3 Proof. If is eventually coconnective, we have QCoh() perf Coh(), and, using the fact that QCoh() Ind(QCoh() perf ), the functor Ξ ind-extension of the above embedding. The composition Ψ Ξ is the ind-extension of the functor QCoh() perf Coh() QCoh(), and it is manifest that its map to Id QCoh() is an isomorphism. is obtained as the Remark In [GL:IndCoh, Proposition 1.5.2] it is shown that Ψ admits a left adjoint if and only if is eventually coconnective t-structure. Some of the most basic operations on the IndCoh category (such as the functor of direct image studied in the next section) are inherited from those on QCoh using the t-structures on both categories. The crucial fact is that the eventually coconnective (a.k.a., bounded below) parts of the two categories are equivalent. The goal of this subsection is to define the t-structure on IndCoh() and establish its basic properties We claim: Proposition The category IndCoh() carries a unique t-structure that satisfies Moreover: (a) The functor Ψ is t-exact. IndCoh() 0 = {F IndCoh() Ψ (F) QCoh() 0 }. (b) This t-structure is compatible with filtered colimits (i.e., the subcategory IndCoh() 0 is closed under filtered colimits). (c) The induced functor is an equivalence for any n. As a corollary we obtain: Ψ : IndCoh() n QCoh() n Corollary The functor Ψ defines an equivalence IndCoh() + QCoh() +. Proof of Proposition It is clear that the condition of the proposition determines the t- structure uniquely. To establish its properties we will use the following general assertion: Lemma Let C 0 be a (non-cocomplete) DG category, endowed with a t-structure. Then C := IndCoh(C 0 ) carries a unique t-structure, which is compatible with filtered colimits, and for which the tautological inclusion C 0 C is t-exact. Moreover: (1) The subcategory C 0 (resp., C 0 ) is compactly generated under filtered colimits by C 0 0 (resp., C 0 0 ). (2) Let D be another DG category endowed with a t-structure which is compatible with filtered colimits, and let F : C D a continuous functor. Then F is t-exact (resp., left t-exact, right t-exact) if and only if F C0 is.
4 4 IND-COHERENT SHEAVES ON INFSCHEMES We apply Lemma 1.2.4(1) to C 0 = Coh() and obtain a (a priori different) t-structure on IndCoh(), which satisfies point (b) of the proposition. It also satisfies point (a) of the proposition, by Lemma 1.2.4(2) applied to D = QCoh() and F = Ψ. To show that this t-structure coincides with the one introduced earlier, it suffices to show that Ψ is conservative when restricted to IndCoh() 0. Hence, it remains to show that the t-structure, given by Lemma 1.2.4, satisfies points (c) of the proposition. To prove point (c), it is sufficient to consider the case of n = 0. Using Lemma 1.2.4(1), the required assertion follows from the next statement: Lemma The category QCoh() 0 is compactly generated under filtered colimits by Coh() Note that Proposition implies that, as long as the functor Ψ is not an equivalence (i.e., is not a classical smooth scheme), the category IndCoh() is not left-complete in its t-structure. The latter means that for F IndCoh(), the canonical arrow is not necessarily an isomorphism. lim n τ n () Furthermore, we see that for any, the functor Ψ realizes QCoh() as the left completion of IndCoh() From Proposition we also obtain the following: Corollary The inclusion Coh() IndCoh() c is an equality. Proof. Since the category Coh() compactly generates IndCoh(), the category IndCoh() c is the Karoubi-completion of Coh(). I.e., every object F IndCoh() c can be realized as a direct summand of an object F Coh(). In particular, F IndCoh() +. The object Ψ (F) is a direct summand of Ψ (F ). Hence, Ψ (F), regarded as an object of QCoh(), belongs to Coh(). Let us denote this object of Coh() by F. Thus, we can regard F and F as objects of IndCoh() + such that Ψ (F) Ψ ( F). Applying Proposition 1.2.2(c), we obtain that F F as objects of IndCoh(). The assignment 2. The direct image functor IndCoh() is very functorial. However, all of this functoriality is born from a single cource: the operation of direct image, defined in this section Direct image for an individual morphism. In this subsection we perform the first step in developing the formalism of direct image for IndCoh: we define the corresponding functor for one given morphism between schemes.
5 IND-COHERENT SHEAVES ON INFSCHEMES Let f : be a morphism in Sch aft. We claim: Proposition There exists a uniquely defined functor which is left t-exact, and makes the diagram f IndCoh : IndCoh() IndCoh( ), IndCoh() f IndCoh Ψ QCoh() f commute. IndCoh( ) Ψ QCoh( ) Proof. By continuity, the functor f IndCoh is the ind-extension of its retstriction to Coh() IndCoh(). The commutative diagram in the proposition implies that Ψ f IndCoh Coh() = f Coh(), as functors Coh() QCoh( ). Furthermore, f IndCoh Coh() is a functor that takes values in QCoh( ) +. is invertible by Proposition 1.2.2(c). Hence, f IndCoh Coh() is recov- Note that Ψ QCoh( ) + ered as (Ψ QCoh( ) +) 1 (f Coh() ) Recall (see [GL:QCoh, Proposition 2.3.6]) that for Sch aft, the monoidal category QCoh() is rigid. Hence, by [GL:DG, Sect. 6], for a morphism f :, the functor f : QCoh() QCoh( ) has a canonical structure of morphism in QCoh( )-mod, where QCoh( ) acts on QCoh() via f. Combining the arguments proving Proposition and Proposition 1.1.6, we prove the following: Proposition For a morphism f :, the functor f IndCoh : IndCoh() IndCoh( ) has a unique structure of 1-morphism in QCoh( )-mod which makes the square IndCoh() f IndCoh Ψ QCoh() f commute in QCoh( )-mod. IndCoh( ) Ψ QCoh( )
6 6 IND-COHERENT SHEAVES ON INFSCHEMES 2.2. Upgrading to a functor. We now claim that the assigment upgrades to a functor IndCoh(), f f IndCoh (2.1) Sch aft DGCat cont, to be denoted IndCoh Schaft. Such an extension is not altogether automatic because we live in the world of higher categories. But constructing it will not be very difficult First, we recall the functor see [GL:QCoh,???]. QCoh Sch aft : (Sch aft ) op DGCat cont, Applying [Funct, Sect. 11.2], we obtain a functor QCoh Schaft : Sch aft DGCat cont, obtained from QCoh Sch aft by passage to right adjoints Now, we claim: Proposition There exists a uniquely defined functor equipped with a natural transformation IndCoh Schaft : Sch aft DGCat cont, Ψ Schaft : IndCoh Schaft QCoh Schaft, which at the level of objects and 1-morphisms is given by the assignment IndCoh(), f f IndCoh. The rest of this subsection is devoted to the proof of this proposition Consider the following (, 1)-categories: DGCat +cont and DGCat t cont : The category DGCat +cont consists if of non-cocomplete DG categories C, endowed with a t-structure, such that C = C +. We also require that C 0 contain filtered colimits and that the embedding C 0 C commute with filtered colimits. As 1-morphisms we take those exact functors F : C 1 C 2 that are left t-exact up to a finite shift, and such that F 0 C 1 commutes with filtered colimits. The higher categorical structure is uniquely determined by the requirement that the forgetful functor be 1-fully faithful. DGCat +cont DGCat The category DGCat t cont consists of cocomplete DG categories C, endowed with a t-structure, such that C 0 is closed under filtered colimits, and such that C is compactly generated by objects from C +. As 1-morphisms we allow those exact functors F : C 1 C 2 that are continuous and left t-exact up to a finite shift. The higher categorical structure is uniquely determined by the requirement that the forgetful functor be 1-fully faithful. DGCat t cont DGCat cont
7 IND-COHERENT SHEAVES ON INFSCHEMES 7 We have a naturally defined functor (2.2) DGCat t cont DGCat +cont, C C +. Lemma The functor (2.2) is 1-fully faihful We will use the following general assertion. Let T : D D be a functor between (, 1)-categories, which is 1-fully faithful. Let I be another (, 1)-category, and let (2.3) i F (i), be an assignment, such that the assignment has been extended to a functor F : I D. i T F (i) Lemma Suppose that for every α Maps I (i 1, i 2 ), the point F (α) Maps D (F (i 1 ), F (i 2 )) lies in the connected component corresponding to the image of Maps D (F (i 1 ), F (i 2 )) Maps D (F (i 1 ), F (i 2 )). Then there exists a unique extension of (2.3) to a functor F : I D equipped with an isomorphism T F F. Let now F 1 and F 2 be two assignments as in (2.3), satisfying the assumption of Lemma Let us be given an assignment (2.4) i ψ i Maps D (F 1(i), F 2(i)). Lemma Suppose that the assignment i T (ψ i) Maps D (F 1 (i), F 2 (i)) has been extended to a natural transformation ψ : F 1 F 2. Then there exists a unique extension of (2.4) to a natural transformation ψ : F 1 F 2 equipped with an isomorphism T ψ ψ We are now ready to prove Proposition 2.2.3: Step 1. We start with the functor and consider and the assignment QCoh Schaft : Sch aft DGCat cont, I = Sch aft, D = DGCat cont, D := DGCat t cont, F = QCoh Schaft, Apping Lemma 2.2.7, we obtain a functor ( Sch aft ) (QCoh() DGCat t cont). (2.5) QCoh t Sch aft : Sch aft DGCat t cont. Step 2. Note that Proposition defines a functor and the natural transformation at the level of objects and 1-morphisms. IndCoh t Sch aft : Sch aft DGCat t cont, Ψ t Sch aft : IndCoh t Sch aft QCoh t Sch aft
8 8 IND-COHERENT SHEAVES ON INFSCHEMES Since the functor DGCat t cont DGCat cont is 1-fully faithful, by Lemmas and 2.2.8, the existence and uniqueness of the pair (IndCoh Schaft, Ψ Schaft ) with a fixed behavior on objects and 1-morphisms, is equivalent to that of (IndCoh t Sch aft, Ψ t Sch aft ). Step 3. By Lemma 2.2.5, combined with Lemmas and 2.2.8, we obtain that the existence and uniqueness of the pair (IndCoh t Sch aft, Ψ t Sch aft ), with a fixed behavior on objects and 1- morphisms is equivalent to the existence and uniqueness of the pair obtained by composing with the functor (2.2). The latter, however, is given by (IndCoh + Sch aft, Ψ + Sch aft ), IndCoh + Sch aft := QCoh + Sch aft and Ψ + Sch aft := Id. 3. The functor of usual inverse image We now construct another piece of functoriality in the assignment IndCoh(), namely, the functor of *-pullback. Unlike the case of QCoh, its role in the theory is rather limited a more important functor is that of!-pullback. However, the *-pullback is a necessary step in the construction of the!-pullback, which is why we discuss it Inverse image with respect to eventually coconnective morphisms. Unlike the case of QCoh, the functor of *-pullback on IndCoh is not defined for all maps of schemes, but only for eventually coconnective ones. In this subsection we give the corresponding construction Let f : be a morphism in Sch aft. Definition We shall say that f is eventually coconnective if the functor sends Coh( ) QCoh( ) to QCoh() +. f : QCoh( ) QCoh() It is easy to see that if f is eventually coconnective, then it sends Coh( ) to Coh(): indeed, for any morphism f, the functor f sends objects of QCoh( ) with coherent cohomologies to objects with a similar property on. In addition, we have the following fact, established in [GL:IndCoh, Lemma 3.4.2]: Lemma The following conditions are equivalent: (a) f is eventually coconnective; (b) f is of finite Tor amplitude, i.e., is left t-exact up to a finite cohomological shift. Corollary The class of eventually coconnective morphisms is stable under base change.
9 IND-COHERENT SHEAVES ON INFSCHEMES Let f : be eventually coconnective. Ind-extending the functor we obtain a functor which makes the diagram commute. We have: f : Coh( ) Coh() f IndCoh, : IndCoh( ) IndCoh(), Ψ IndCoh() QCoh() f IndCoh, f IndCoh( ) Ψ QCoh( ) Proposition The functor f IndCoh, is a left adjoint to f IndCoh. Proof. It is sufficient to construct a functorial isomorphism (3.1) Maps IndCoh() (f IndCoh, (F ), F ) Maps IndCoh( ) (F, f IndCoh (F )) for F Coh( ) and F Coh(). However, by construction, the left-hand side in (3.1) is Maps Coh() (f (F ), F )) Maps QCoh() (f (F ), F )), while the right-hand side maps isomorphically by the functor Ψ Maps QCoh( ) (F, f (F )). Now, (3.1) follows from the (f, f )-adjunction on QCoh. Remark It is shown in [GL:IndCoh], that the functor f IndCoh only if the morphism f is eventually coconnective. to admits a left adjoint if and Note that by [GL:DG, Sect. 6, Adjoint Functors], the functor f IndCoh, carries a canonical structure of morphism in QCoh( )-mod. It is easy to see that this is the same structure as obtained by ind-extending the structure of compatibility with the action of QCoh( ) perf on f : Coh( ) Coh() Let (Sch aft ) event-coconn Sch aft be the 1-full subcategory, where we restrict 1-morphisms to maps that are eventually coconnective. By [Funct, Sect. 11.2], combining Propositions and 3.1.6, we obtain: Corollary The assignment IndCoh(), f f IndCoh, canonically extends to a functor, to be denoted IndCoh (Sch aft ) event-coconn, obtained from by adjunction. ((Sch aft ) event-coconn ) op DGCat cont, IndCoh Schaft (Schaft ) event-coconn 3.2. Base change for eventually coconnective morphisms. An important property of the *-pullback (and one which is crucial for the construction of the!-pullback) is base change. It closely mimics the corresponding phenomenon for QCoh.
10 10 IND-COHERENT SHEAVES ON INFSCHEMES Let 1 g 2 be a Cartesian diagram in Sch aft. f 1 f 2 1 g 2 Suppose that f 2 is eventually coconnective. By Corollary 3.1.4, the morphism f 1 is also eventually coconnective. Then the isomorphism of functors (g ) IndCoh gives rise to a natural transformation. (f 1 ) IndCoh (3.2) (f 2 ) IndCoh, (g ) IndCoh (f 2 ) IndCoh Proposition The map (3.2) is an isomorphism. Proof. It is enough to show that (g ) IndCoh (g ) IndCoh (f 1 ) IndCoh,. (3.3) (f 2 ) IndCoh, (g ) IndCoh (F) (g ) IndCoh (f 1 ) IndCoh, (F) is an isomorphism for F Coh( 1 ). In this case both sides of (3.3) belong to IndCoh( 2 ) +. By Proposition 1.2.2, it is therefore sufficient to show that the map (3.4) Ψ 2 (f 2 ) IndCoh, (g ) IndCoh is an isomorphism. and We have: Ψ 2 (f 2 ) IndCoh, (g ) IndCoh Ψ 2 (g ) IndCoh (f 2 ) Ψ 2 (g ) IndCoh (f 1 ) IndCoh, (f 2 ) (g ) Ψ 1 Ψ 2 (g ) IndCoh (f 1 ) IndCoh, (g ) Ψ 1 (f 1 ) IndCoh, (g ) (f 1 ) Ψ 1. Now, it follows from the construction of the (f IndCoh,, f IndCoh )-adjunctions, that the map in (3.4) corresponds to the map obtained from the (f, f )-adjunctions. (f 2 ) (g ) Ψ 1 (g ) (f 1 ) Ψ 1, Hence, (3.4) is anisomorphism by base change for QCoh Tensoring up. In this section we study the following question: given a map f :, how closely can we approximate IndCoh() from knowing IndCoh( ) and the QCoh categories on both schemes. In the process we will come across several convergence-type assertions, that are of significant technical importance: some maps that are isomorphisms in QCoh are much less obviously so in the IndCoh context.
11 IND-COHERENT SHEAVES ON INFSCHEMES Let f : be an eventually coconnective map. Regarding the functor f IndCoh, as a map in QCoh( )-mod, we obtain a functor (3.5) (Id QCoh() f IndCoh, ) : QCoh() IndCoh( ) IndCoh(). QCoh( ) We claim: Proposition The functor (3.5) is fully faithful. Remark It is shown in [GL:IndCoh, Proposition 4.4.9] that the functor (3.5) is an equivalence when f is smooth. In Proposition 4.1.6, we will prove this in the case when f is an open embedding Note that for a diagram of (, 1)-categories T D 1 D 2 F 1 C if the functors F 1 and F 2 admit right adjoints, we have a natural transformation of the resulting endo-functors of C: F R 1 F 1 F R 2 F 2. Furthermore, if T is fully faithful, then the above natural transformation is an isomorphism. From here we obtain that the functor (Id QCoh() f IndCoh, ) gives rise to a map of endofunctors of IndCoh( ): (3.6) (f (O ) ) ((f f ) Id IndCoh( ) ) f IndCoh f IndCoh,, where f (O ) denotes the functor of action of f (O ) QCoh( ) on IndCoh( ). Furthermore, from Proposition we obtain: Corollary The map (3.6) is an isomorphism The rest of the subsection is devoted to the proof of Proposition We note that the left-hand side in (3.5) is compactly generated by objects of the form E F QCoh() F 2 QCoh( ) IndCoh( ), where E QCoh() perf and F Coh( ). Moreover, the functor (Id QCoh() f IndCoh, ) sends these objects to compact objects in IndCoh(). Hence, it is enough to show that for E 1, E2 and F1, F2 (3.7) Maps QCoh() IndCoh( )(E 1 F 1, E 2 F 2 ) QCoh( ) as above, the map Maps IndCoh() (E 1 f IndCoh, (F 1 ), E 2 f IndCoh, (F 2 )) is an isomorphism, where in the right-hand side denotes the action of QCoh on IndCoh. We can rewrite the map in (3.7) as (3.8) Maps QCoh() IndCoh( )(O F 1, E F 2 ) QCoh( ) Maps IndCoh() (O f IndCoh, (F 1 ), E f IndCoh, (F 2 )),
12 12 IND-COHERENT SHEAVES ON INFSCHEMES where E E 2 (E1 ). Furthermore, we rewrite the map in (3.8) as Maps IndCoh( ) (F 1, f (E) F 2 ) Maps IndCoh( ) (F 1, f IndCoh (E f IndCoh, (F 2 ))). I.e., we are reduced to showing that the following version of the projection formula: Proposition For an eventally coconnective map, the natural transformation between the functors QCoh() IndCoh( ) IndCoh( ), that sends E QCoh() and F IndCoh() to the map (3.9) f (E ) F f IndCoh (E f IndCoh, (F 2 )), is an isomorphism. Remark Note that there is another kind of projection formula, that encodes the compatibility of f IndCoh with the monoidal action of QCoh( ), and which holds tautologically for any morphism f, see Proposition 2.1.4: For E QCoh( ) and F IndCoh() we have: f IndCoh (f (E ) F ) E f IndCoh (F ) Proof of Proposition It is enough to prove the isomorphism (3.9) holds for E QCoh() perf and F Coh( ). We also note that the map (3.9) becomes an isomorphism after applying the functor Ψ, by the usual projection formula for QCoh. For E QCoh() perf and F Coh( ) we have f IndCoh (E f IndCoh, (F )) IndCoh( ) +. Hence, by Proposition 1.2.2, it suffices to show that in this case f (E ) F IndCoh( ) +. We note that the object f (E ) QCoh( ) b is of bounded Tor dimension. The required fact follows from the next general observation: Lemma For Sch aft and E QCoh() b, whose Tor dimension is bounded on the left by an integer n, the functor E : IndCoh() IndCoh() has a cohomological amplitude bounded on the left by n Proof of Lemma We need to show that the functor E sends IndCoh() 0 to IndCoh() n. By Lemma 1.2.4(1), it is sufficient to show that this functor sends Coh() 0 to IndCoh() n. By cohomological devissage, the latter is equivalent to sending Coh() to IndCoh() n. Let i denote the closed embedding cl =:. The functor i IndCoh induces an equivalence Coh( ) Coh(). So, it is enough to show that for F Coh( ), we have F i IndCoh (F ) IndCoh() n. We have: E i IndCoh (F ) i IndCoh (i (E) F ).
13 Note that the functor i IndCoh the same integer n. IND-COHERENT SHEAVES ON INFSCHEMES 13 is t-exact (since i is), and i (E) has Tor dimension bounded by This reduces the assertion of the lemma to the case when is classical. Further, by Proposition (which will be proved independently later), the statement is Zariski local, so we can assume that is affine. In the latter case, the assumption on E implies that it can be represented by a complex of flat O -modules that lives in the cohomological degrees n. This reduces the assertion further to the case when E is a flat O -module in degree 0. In this case we claim that the functor is t-exact. E : IndCoh() IndCoh() The latter follows from Lazard s lemma: such an E is a filtered colimit of locally free O - modules E, while for each such E, the functor E : IndCoh() IndCoh() is by definition the ind-extension of the functor and the latter is t-exact. E : Coh() Coh(), 4. Open embeddings The behavior of direct and inverse image functors for open embeddings is, obviously, an important piece of information about IndCoh Restriction to an open. In this subsection we show that the behavior of IndCoh with respect to open embeddings is exactly the same as that of QCoh Let now j : be an open embedding. We claim: Proposition The functor j IndCoh Proof. We need to show that the co-unit of the adjunction is an isomorphism. : IndCoh( ) IndCoh() is fully faithful. j IndCoh, j IndCoh Id IndCoh( ) Since the functors in question are continuous, it is enough to check that j IndCoh, j IndCoh (F) F is an isomorphism for F Coh(). However, in this case both j IndCoh, j IndCoh (F) and F belong to IndCoh() +, so by Proposition 1.2.2, it is sufficient to check that is an isomorphism. However, Ψ j IndCoh, j IndCoh Ψ j IndCoh, j IndCoh j IndCoh, Ψ j IndCoh Ψ j IndCoh, j IndCoh Ψ, and it follows from the construction of the (f IndCoh,, f IndCoh )-adjunction that the resulting map j IndCoh, j IndCoh Ψ Ψ
14 14 IND-COHERENT SHEAVES ON INFSCHEMES comes from the co-unit of the (j, j )-adjunction. Therefore, it is an isomorphism, as is an isomorphism. j j Id QCoh() The next assertion follows immediately from Lemma 1.2.4: Lemma For an open embedding j, the functor j IndCoh, is t-exact Finally, let us recall the functor (3.5). We claim: Proposition Assume that f is an open embedding. Then the functor (3.5) is an equivalence. Proof. We already know that the functor in question is fully faithful. Hence, it remains to show that its essential image generates the target category. But this follows from Proposition Zariski descent. In this subsection we will show that IndCoh can be glued locally from a Zariski cover, in a way completely parallel to QCoh Let now f : U be a Zariski cover, i.e., U is the disjoint union of open subschemes of, whose union is all of. Let U be the Čech nerve of f. The functors of (IndCoh, )-pullback define a cosimplicial category IndCoh(U ), which is augmented by IndCoh(). We claim: Proposition The functor is an equivalence. IndCoh() Tot(IndCoh(U )) Proof. The usual argument reduces the assertion of the proposition to the following. Let = U 1 U 2 ; U 12 = U 1 U 2. Let j 1 j 2 j 12 j 12,1 j 12,2 U 1, U 2, U 12, U 12 U 1, U 12 U 2 denote the corresponding open embeddings. We need to show that the functor that sends F IndCoh() to the datum of IndCoh() IndCoh(U 1 ) IndCoh(U 1 ) IndCoh(U 12) {j IndCoh, 1 (F 1 ), j IndCoh, 2 (F 2 ), j IndCoh, 12,1 (j IndCoh, 1 (F)) j IndCoh, 12 (F) j IndCoh, 12,2 (j IndCoh, 2 (F))} is an equivalence. We construct a right adjoint functor by sending IndCoh(U 1 ) IndCoh(U 1 ) IndCoh() IndCoh(U 12) {F 1 IndCoh(U 1 ), F 2 IndCoh(U 2 ), F 12 IndCoh(U 12 ), j IndCoh, 12,1 (F 1 ) F 12 j IndCoh, 12,2 (F 2 )}
15 IND-COHERENT SHEAVES ON INFSCHEMES 15 to ( ((j1 ker ) IndCoh (F 1 ) (j 2 ) IndCoh (F 1 ) ) ) (j 12 ) IndCoh (F 12 ), where the maps (j i ) IndCoh (F i ) (j 12 ) IndCoh (F 12 ) are (j i ) IndCoh (F i ) (j i ) IndCoh (j 12,i ) IndCoh (j 12,i ) IndCoh, (F i ) = = (j 12 ) IndCoh (j 12,i ) IndCoh, (F i ) (j 12 ) IndCoh (F 12 ). It is strightforward to see from Propositions and that the composition IndCoh(U 1 ) IndCoh(U 1 ) IndCoh() IndCoh(U 1 ) IndCoh(U 1 ) IndCoh(U 12) IndCoh(U 12) is canonically isomorphic to the identity functor. To prove that the composition IndCoh() IndCoh(U 1 ) IndCoh(U 1 ) IndCoh() IndCoh(U 12) is also isomorphic to the identity functor, it is sufficient to show that for F IndCoh(), the canonical map from it to ( ((j1 (4.1) ker ) IndCoh (j 1 ) IndCoh, (F) (j 2 ) IndCoh (j 2 ) IndCoh, (F) ) ) (j 12 ) IndCoh j IndCoh, 12 (F) is an isomorphism. Since all functors in question are continuous, it is sufficient to do so for F Coh(). In this case, both sides of (4.1) belong to IndCoh() +. So, it is enough to prove that the map in question becomes an isomorphism after applying the functor Ψ. However, in this case we are dealing with the map ( ) Ψ (F) ker ((j 1 ) (j 1 ) (Ψ (F)) (j 2 ) (j 2 ) (Ψ (F))) (j 12 ) j12(ψ (F)), which is known to be an isomorphism We also have Proposition Let f : U be a Zariski cover. Then F IndCoh() belongs to IndCoh() 0 (resp., IndCoh() 0 ) if and only if f IndCoh, (F) does. Proof. The only if direction for both statetements follows from Lemma For the if direction, assuming that f (F) IndCoh() 0, it is sufficient to show that Ψ (F) QCoh() 0, and the assertion follows from the corresponding assertion for QCoh. If f IndCoh, (F) IndCoh() 0, the assertion follows from the construction of the inverse functor Tot(IndCoh(U )) IndCoh().
16 16 IND-COHERENT SHEAVES ON INFSCHEMES 5. Proper maps If until now, the theory of IndCoh has run in parallel to (and was inherited from that of) QCoh, in this section we will come across to the main piece of difference between the two. This piece of difference is the functor of!-pullback, studied in this section The!-pullback. In this subsection we introduce the functor of!-pullback for proper maps. Its extension for arbitrary maps between schemes is the subject of [Book-II.2, Sect. 3] Let f : be a map in Sch aft. We recall the following definition: Definition The map f is said to be proper (resp., closed embedding) if the corresponding map cl cl has this property Let f : be a proper map. We claim: Lemma The functor f IndCoh : IndCoh() IndCoh( ) sends Coh() IndCoh() to Coh( ) IndCoh( ). Proof. By the construction of f IndCoh, it is sufficient to show that the functor Coh() QCoh() to Coh( ) QCoh( ). f : QCoh() QCoh( ) First, we note that the assertion holds when f is a closed embedding. In general, by the devissage with respect to the t-structure, it is sufficient to show that for F Coh(), we have f (F) Coh( ). Let i denote the canonical closed embedding cl. The functor i is an equivalence Coh( cl ) Coh(). Hence, F = i (F ) for F Coh( cl ). This reduces the assertion to the case when is classical. We factor the map f : as cl i. Since i is a closed embedding, we have reduced the assertion to the case when is classical as well. In the latter case, the assertion is well-known The above lemma implies that the functor f IndCoh sends IndCoh() c to IndCoh( ) c. Hence, f IndCoh admits a continuous right adjoint, to be denoted f! : IndCoh() IndCoh( ). Remark The continuity of the functor f! is the raison d etre of the category IndCoh, and its main difference from QCoh By [GL:DG, Sect. 6, Adjoint Functors], we obtain that the functor f! has a natural structure of 1-morphism in QCoh( )-mod.
17 IND-COHERENT SHEAVES ON INFSCHEMES Note that the functor f IndCoh is right t-exact, up to a finite shift. Hence, the functor f! is left t-exact up to a finite shift. In particular, f! maps IndCoh( ) + to IndCoh() +. Let f QCoh,! denote the not necessarily continuous right adjoint to f. It also has the property that it maps QCoh( ) + to QCoh() +. Lemma The diagram IndCoh() + f! IndCoh( ) + Ψ Ψ QCoh() + f QCoh,! QCoh( ) + obtained by passing to right adjoints along the horizontal arrows in IndCoh() + Ψ f IndCoh IndCoh( ) + Ψ commutes. QCoh() + f QCoh( ) +, Proof. Follows from the fact that the vertical arrows are equivalences, by Proposition Remark It is not in general true that the diagram IndCoh() Ψ f! IndCoh( ) Ψ QCoh() f QCoh,! QCoh( ) obtained by passing to right adjoints along the horizontal arrows in IndCoh() Ψ f IndCoh IndCoh( ) Ψ commutes. QCoh() f QCoh( ), For example, take = pt = Spec(k), = Spec(k[t]/t 2 ) and 0 F IndCoh( ) be in the kernel of the functor Ψ. Then Ψ f! (F) 0. Indeed, Ψ is an equivalence, and f! is conservative, see Corollary Let (Sch aft ) proper be a 1-full subcategory of Sch aft when we restrict 1-morphisms to be proper maps. By [Funct, Sect. 11.2], we obtain: Corollary There exists a canonically defined functor obtained from by passing to right adjoints. IndCoh! (Sch aft ) proper : ((Sch aft ) proper ) op DGCat cont, IndCoh (Schaft ) proper := IndCoh (Schaft ) ((Schaft ) proper) op
18 18 IND-COHERENT SHEAVES ON INFSCHEMES 5.2. Base change for proper maps. A crucial property of the!-pullback is base change against the *-direct image. We establish it in this subsection Let 1 g 2 f 1 f 2 g 1 2 be a Cartesian diagram in Sch aft, with the vertical maps being proper. The isomorphism of functors (f 2 ) IndCoh gives rise to a natural transformation: (g ) IndCoh (5.1) (g ) IndCoh We will prove: (g ) IndCoh f! 1 f! 2 (g ) IndCoh. Proposition The map (5.1) is an isomorphism. (f 1 ) IndCoh Proof. Since all functors involved are continuous, it is enough to show that the map (g ) IndCoh f 1(F)! f 2! (g ) IndCoh (F) is an isomorphism for F Coh( 1 ). Hence, it is enough to show that (5.1) is an isomorphism when restricted to IndCoh( 1 ) +. By Lemma and Proposition 1.2.2, this reduces the assertion to showing that the natural transformation (5.2) (g ) f QCoh,! 1 f QCoh,! 2 (g ) is an isomorphism for the functors QCoh( 1 ) + f QCoh,! 1 (g ) QCoh(2 ) + f QCoh,! 2 QCoh( 1 ) + (g ) QCoh(2 ) +, where the natural transformation comes from the commutative diagram QCoh( 1 ) + (g ) QCoh(2 ) + (f 1) (f 2) QCoh( 1 ) + by passing to right adjoint along the vertical arrows. We consider the commutative diagram QCoh( 1 ) (g ) QCoh(2 ) + (g ) QCoh(2 ) (f 1) (f 2) QCoh( 1 ) (g ) QCoh(2 ),
19 IND-COHERENT SHEAVES ON INFSCHEMES 19 and the the diagram QCoh( 1 ) f QCoh,! 1 (g ) QCoh(2 ) f QCoh,! 2 (g ) QCoh( 1 ) QCoh(2 ), obtained by passing to right adjoints along the vertical arrows. (Note, however, that the functors involved are no longer continuous). We claim that the resulting natural transformation (5.3) (g ) f QCoh,! 1 f QCoh,! 2 (g ) between the functors QCoh( 1 ) QCoh( 2 ) is an isomorphism. This would imply that (5.2) is an isomorphism by restricting to the eventually coconnective subcategory. To prove that (5.3) is an isomorphism, we note that this map is obtained by passing to right adjoints in the natural transformation (5.4) (g ) (f 2 ) (f 1 ) (g ) as functors in the commutative diagram QCoh( 2 ) QCoh( 1 ) QCoh( 1 ) (g ) QCoh( 2 ) (f 1) (f 2) QCoh( 1 ) (g ) QCoh( 2 ). Now, (5.4) is an isomorphism by the usual base change for QCoh. Hence, (5.3) is an isomorphism as well Pullback compatibilty. The!-pullback for arbitrary maps between schemes will be defined in such a way that it is the!-pullback for proper morphisms, and the *-pullback for open embeddings. Hence, if we want that!-pullback to be well-defined, a certain compatibility must take place, when we decompose a morphism in two different ways as a composition of a proper morphism and an open embedding. A basic case of such compatibility is established in this subsection Let 1 g 2 f 1 f 2 g 1 2 be a Cartesian diagram in Sch aft, with the vertical maps being proper, and horizontal maps being eventually coconnective. We start with the base change isomorphism (f 1 ) IndCoh g IndCoh, g IndCoh, (f 2 ) IndCoh
20 20 IND-COHERENT SHEAVES ON INFSCHEMES of Proposition 3.2.2, and by the (f IndCoh, f! )-adjunction obtain a map (5.5) g IndCoh, Remark Note that one can get another map (5.6) g IndCoh, f! 2 f! 1 g IndCoh,. f! 2 f! 1 g IndCoh,, namely, via the (g IndCoh,, g IndCoh )-adjunction from the isomorphism f! 2 (g ) IndCoh (g ) IndCoh f! 1 of Proposition A diagram chase shows that the map (5.6) is canonically the same as (5.5) We are going to prove: Proposition Suppose that g (and hence g ) are open embeddings. Then the map (5.5) is an isomorphism. Remark It is shown in [GL:IndCoh, Proposition 7.1.6] that the map (5.5) is an isomorphism for any eventually coconnective g. Proof. By Proposition 4.1.2, it suffices to show that the induced map is an isomorphism. (g ) IndCoh Using Proposition 5.2.2, we have (g ) IndCoh g IndCoh, f! 1 g IndCoh, Hence, we need to show that the map (5.7) (g ) IndCoh is an isomorphism. (5.8) Consider the diagram (g ) IndCoh g IndCoh, f! 2 (g ) IndCoh f! 2 (g ) IndCoh f! 2 f! 2 (g ) IndCoh (5.7) g IndCoh, f 2! f 2! (g ) IndCoh f! 2 id f! 2, f! 1 g IndCoh, g IndCoh,. g IndCoh, g IndCoh, where the vertical maps are given by the unit of the (g IndCoh,, g )-adjunction. We will prove: Lemma The diagram (5.8) commutes. Let us finish the proof of the proposition modulo this lemma. By Corollary 3.3.2, for F IndCoh( 2 ), we have canonical isomorphisms (g ) IndCoh g IndCoh, f! 2(F) (g ) (O 1 ) f! 2(F) and (g ) IndCoh g IndCoh, (F) (g ) (O 1 ) F, where denotes the action of QCoh on IndCoh.
21 IND-COHERENT SHEAVES ON INFSCHEMES 21 By the compatibilty of the action of QCoh with the!-pullback, we have f! 2 (g ) IndCoh g IndCoh, (F) f2 ((g ) (O 1 )) f 2(F)! (g ) (O 1 ) f 2(F).! Hence, the map (5.7), evaluated on F, can be thought of as an endomorphism, to be denoted by φ, of Furthermore, by Lemma 5.3.6, the map (g ) (O 1 ) f! 2(F). f! 2(F) O 2 f! 2(F) (g ) (O 1 ) f! 2(F) is canonically homotopic to the tautological map f! 2(F) (g ) (O 1 ) f! 2(F). φ (g ) (O 1 ) f! 2(F) We claim that this implies that φ is itself canonically homotopic to the identity. Indeed, for any F, F IndCoh( 2 ), the map Maps((g ) (O 1 ) F, (g ) (O 1 ) F ) Maps(F, (g ) (O 1 ) F ) identifies by Corollary with the map Maps((g ) IndCoh (g ) IndCoh, (F ), (g ) IndCoh and the latter is an isomorphism by Proposition (g ) IndCoh, (F )) Maps(F, (g ) IndCoh (g ) IndCoh, (F )), Proof of Lemma We remark that the reason that the proof is not completely straightforward is that the natural map in the isomorphism (f 1 ) IndCoh g IndCoh, g IndCoh, (f 2 ) IndCoh, goes from right to left. So, the actual arrow involved in the construction of the map (5.5) is somewhat implicit. By definition, the map followed by in (5.8) is the composition (g ) IndCoh f 1! (f 1 ) IndCoh (g ) IndCoh g IndCoh, f 2! (g ) IndCoh f 1! g IndCoh, g IndCoh, f 2! (g ) IndCoh f 1! g IndCoh, f! 2 f! 2 (g ) IndCoh where the horizontal arrow is given by the inverse of the isomorphism (5.9) g IndCoh, (f 2 ) IndCoh (f 1 ) IndCoh g IndCoh,. (f 2 ) IndCoh f! 2 g IndCoh,,
22 22 IND-COHERENT SHEAVES ON INFSCHEMES Note that the composed map,, in the above diagram can be rewritten as (g ) IndCoh f! 1 (f 1 ) IndCoh g IndCoh, f 2! f 2! (g ) IndCoh f! 2 (g ) IndCoh (f 1 ) IndCoh g IndCoh, f! 2 (g ) IndCoh g IndCoh, f! 2 (f 2 ) IndCoh f! 2 g IndCoh,, where now the second map is again given by the inverse to (5.9). Hence, we need to establish the commutativity of the diagram (g ) IndCoh f 1! (f 1 ) IndCoh (g ) IndCoh g IndCoh, f 2! f 2! (g ) IndCoh (f 1 ) IndCoh g IndCoh, f 2! f 2! (g ) IndCoh g IndCoh, f 2! f 2! (g ) IndCoh Consider the map (5.10) f 2! f 2! (g ) IndCoh equal to the composition g IndCoh, (f 2 ) IndCoh f! 2 g IndCoh, f! 2 (f 2 ) IndCoh f! 2 g IndCoh,. f 2! f 2! (f 2 ) IndCoh f 2! f 2! (g ) IndCoh g IndCoh, (f 2 ) IndCoh f 2,! where both maps are given by the units of the corresponding adjunctions. Now, diagram chase shows that both of the following diagrams commute: (g ) IndCoh and f 1! (f 1 ) IndCoh (g ) IndCoh g IndCoh, f 2! f 2! (g ) IndCoh (f 1 ) IndCoh g IndCoh, f! 2 g IndCoh, f 2! f 2! (g ) IndCoh g IndCoh, (f 2 ) IndCoh f 2! (5.10) id f! 2 f! 2 (5.10) f! 2 (g ) IndCoh id f! 2 g IndCoh, f 2! f 2! (g ) IndCoh Together, this implies the required commutativity. 6. Closed embeddings (f 2 ) IndCoh f! 2 g IndCoh,. The behavior of IndCoh with respect to closed embedding is better than that of QCoh. The main point of difference is that the direct image functor under a closed embedding for IndCoh preserves compactness, which is not the case for QCoh.
23 IND-COHERENT SHEAVES ON INFSCHEMES Category with support. In this subsection we study the full subcategory of IndCoh() corresponding with objects with support on a given closed subscheme Let be an object of Sch aft, and let i : Z be a closed embedding. Let j : U be the complementary open. We let IndCoh() Z denote the full subcategory of IndCoh() equal to ( ) ker j IndCoh, : IndCoh() IndCoh(U). Note that the embedding admits a right adjoint given by sending F to which by Corollary is the same as We claim: Proposition IndCoh() Z IndCoh(Z) ker(f j IndCoh j IndCoh, (F)), ker(o j (O U )) F. (a) The subcategory IndCoh() Z IndCoh() is compatible with the t-structure (i.e., is preserved by the truncation functors). (b) The subcategory IndCoh() Z IndCoh() is generated by the essential image of the functor i IndCoh : IndCoh(Z) IndCoh(). (c) The functor i! : IndCoh() IndCoh(Z) is conservative, when restricted to IndCoh() Z. (d) The category IndCoh() Z identifies with the ind-completion of ( ) Coh() Z := ker j : Coh() Coh(U). Proof. Point (a) follows from the fact that the functor j IndCoh, is t-exact. Let us prove point (b). The category IndCoh() is generated by IndCoh() +. The description of the right adjoint to IndCoh() Z IndCoh(Z) implies that the same is true for IndCoh() Z. For every F IndCoh() +, the map colim n τ n (F) F, is an isomorphism, by Proposition and because the corresponding fact is true in QCoh +. Hence, by point (a), every F IndCoh() + Z is a colimit of cohomologically bounded objects from IndCoh() Z. This implies that IndCoh() Z is generated by IndCoh() Z = Coh() Z. Now, it is easy to see that every object F Coh() Z has a filtration F = n F n with F n /F n 1 i (Coh(Z) ). This proves point (b). Point (c) follows from point (b) by adjunction.
24 24 IND-COHERENT SHEAVES ON INFSCHEMES To prove point (d), it suffices to note that the objects from Coh() Z are compact in IndCoh() Z (because they are compact in IndCoh()) and that they generate IndCoh() Z, by point (b) As a corollary we obtain: Corollary Let f : be a nil-isomorphism, i.e., a map such that red red is an isomorphism. Then the functor f! is conservative. Equivalently, the essential image of IndCoh( ) under f IndCoh generates IndCoh(). Proof. We can assume that = red, so f is also a closed embedding. In this case the assertion of the corollary follows from Proposition 6.1.3(b) A conservativeness result for proper maps. The main result established in this subsection, Proposition 6.2.2, is of technical significance We shall now use Proposition to prove the following: Proposition Let f : be a proper map, which is surjective at the level of geometric points. Then the functor f! : IndCoh( ) IndCoh() is conservative. The rest of this subsection is devoted to the proof of the proposition By Corollary we can assume that both and are classical and reduced. We argue by Noetherian induction, assuming that the statement is true for all proper closed subschemes of. We need to show that the essential image of IndCoh() under f IndCoh generates IndCoh( ). By Proposition 6.1.3(a), it is sufficient to show that contains an open subscheme such that for := f 1 ( ), the essential image of IndCoh( ) under (f ) IndCoh IndCoh( ). generates Since is classical and reduced, it contains a non-empty open smooth subscheme, which we take to be. By Lemma and Lemma 1.1.9, we are reduced to showing the following: Lemma Let f : be a proper morphism of classical schemes with smooth. Then the essential image of QCoh() under f generates QCoh( ). Proof of Lemma Let C QCoh( ) be the full subcategory generated by the essential image of QCoh() under f. Note that C is a monoidal ideal, since the functor f respects the action of QCoh( ). Consider E := f (O ) C. This is an object of QCoh( ), whose fiber at every geometric point of is non-zero. However, it is easy to see that for any Noetherian classical scheme and E C QCoh( ) with the above properties, we have C = QCoh( ).
25 IND-COHERENT SHEAVES ON INFSCHEMES Products. It is known that for a pair of quasi-compact schemes 1 and 2, tensor product defines an equivalence of DG categories QCoh( 1 ) QCoh( 2 ) QCoh( 1 2 ). In this subsection we will establish a similar assertion for IndCoh. This is not altogether tautological; for example the validity of this fact replies on the assumption that the ground field k be perfect Let 1 and 2 be two objects of Sch aft. We claim: Lemma There exists a uniquely defined functor (6.1) : IndCoh( 1 ) IndCoh( 2 ) IndCoh( 1 2 ) that preserves compactness and makes the diagram commute. IndCoh( 1 ) IndCoh( 2 ) IndCoh( 1 2 ) Ψ 1 Ψ 2 Ψ 1 2 QCoh( 1 ) QCoh( 2 ) QCoh( 1 2 ) Proof. The anticlock-wise composition sends the compact generators of the category IndCoh( 1 ) IndCoh( 2 ) (i.e., objects of the form F 1 F 2 for F i Coh( i )) to QCoh( 1 2 ) +. Hence, it sends all of (IndCoh( 1 ) IndCoh( 2 )) c to QCoh( 1 2 ) +. The sought-for functor is the ind-extension of (IndCoh( 1 ) IndCoh( 2 )) c QCoh( 1 2 ) + Ψ 1 2 IndCoh(1 2 ) +. This functor preserves compactness since the objects belong to Coh( 1 2 ) We now claim: F 1 F 2 QCoh( 1 2 ) +, F i Coh( i ) Proposition (a) The functor (6.1) is fully faithful. (b) If the ground field k is perfect, then (6.1) is an equivalence. Proof. Since the functor (6.1) preserves compactness, for point (a) it is sufficient to show that for F i, F i Coh( i), i = 1, 2, the map Maps IndCoh(1) IndCoh( 2)(F 1 F 2, F 1 F 2 ) Maps IndCoh(1 2)(F 1 F 2, F 1 F 2 ) is an isomorphism. We have a commutative diagram Maps IndCoh(1) IndCoh( 2)(F 1 F 2, F 1 F 2 ) Maps IndCoh(1 2)(F 1 F 2, F 1 F Maps QCoh(1)(F 1, F 1 ) Maps QCoh(2)(F 2, F 2 ) Maps QCoh(1 2)(F 1 F 2, F 1 F 2 ), 2 )
26 26 IND-COHERENT SHEAVES ON INFSCHEMES where the vertical arrows are isomorphisms, by the coherence assumption. Hence, it remains to show that Maps QCoh(1)(F 1, F 1 ) Maps QCoh(2)(F 2, F 2 ) Maps QCoh(1 2)(F 1 F 2, F 1 F 2 ) is an isomorphism. This is not immediate since the objects F i QCoh(S i) are not compact. To circumvent this, we proceed as follows. It is enough to show that ( ) τ n Maps QCoh(1)(F 1, F 1 ) Maps QCoh(2)(F 2, F 2 ) is an isomorphism for any fixed n. τ n ( Maps QCoh(1 2)(F 1 F 2, F 1 F 2 ) Choose α 1 : F 1 F 1 (resp., α 2 : F 2 F 2) with F 1 (resp., F 2) in QCoh( 1 ) perf (resp., QCoh( 2 ) perf ), such that for N 0. Cone(α 1 ) QCoh( 1 ) N and Cone(α 2 ) QCoh( 2 ) N By choosing N large ( enough, we can ensure that ) ( ) τ m Maps QCoh(Si)(F i, F i ) τ m Maps QCoh(Si)( F i, F i ) is an isomorphism for a given integer m, which in turn implies that ( ) τ n Maps QCoh(1)(F 1, F 1 ) Maps QCoh(2)(F 2, F 2 ) and ( ) τ n Maps QCoh(1 2)(F 1 F 2, F 1 F 2 ) are isomorphisms. Hence, it is enough to show that τ n ( Maps QCoh(1)( F 1, F 1 ) Maps QCoh(2)( F 2, F 2 ) ( τ n Maps QCoh(1 2)( F 1 F ) 2, F 1 F 2 ) Maps QCoh(1)( F 1, F 1 ) Maps QCoh(2)( F 2, F 2 ) Maps QCoh(1 2)( F 1 F 2, F 1 F 2 ) is an isomorphism. But this follows from the fact that the fuctor (6.2) QCoh( 1 ) QCoh( 2 ) QCoh( 1 2 ) is an equivalence. This finishes the proof of point (a). To prove point (b), we have to show that the essential image of the functor (6.1) generates IndCoh( 1 2 ). By Corollary we can assume that both 1 and 2 are classical and reduced. We argue by Noetherian induction, assuming that the statement is true for all proper closed subschemes i i. By Proposition 6.1.3(b), it is sufficient to show that 1 and 2 contain non-empty open subschemes i i, for which the statement of the proposition is true. ) )
27 IND-COHERENT SHEAVES ON INFSCHEMES 27 Since i are classical and reduced, we can take i to be a non-empty open smooth subscheme of i. Note that the assumption that k be perfect implies that 1 2 is also smooth. Now, the assertion follows from Lemma and the fact that (6.2) is an equivalence Upgrading to a functor. Consider the category Sch aft as endowed with a symmetric monoidal structure given by Cartesian product. We consider the category DGCat cont also as a symmetric monoidal -category with respect to the operation of tensor product. First we recall: Proposition The functor has a natural symmetric monoidal structure. QCoh Sch aft : (Sch aft ) op DGCat cont Proof. Note that the functor QCoh Sch aft upgrades to a functor (Sch aft ) op DGCat SymMon cont = ComAlg(DGCat cont ). We have the following general construction. Let O be a symmetric monoidal category, and let F : I op ComAlg(O) be a functor, where I is a category with finite products. Then F, when viewed as a functor F : I op O, has a natural structure of right-lax symmetric monoidal functor, where the symmetric monoidal structure on I is given by Cartesian product. Informally, for i 1, i 2 I, we have the map F (i 1 ) F (i 2 ) F (π1) F (π2) F (i 1 i 2 ) F (i 1 i 2 ) F (i 1 i 2 ), where π i are the two projections i 1 i 2 i i, and the map F (i 1 i 2 ) F (i 1 i 2 ) F (i 1 i 2 ) is given by the commutative algebra structure on F (i 1 i 2 ). Hence, we obtain that QCoh Sch aft has a canonical right-lax symmetric monoidal structure. The resulting maps QCoh( 1 ) QCoh( 2 ) QCoh( 1 2 ) are given by the operation of external tensor product. The fact that the above right-lax symmetric monoidal structure is strict is the fact that the maps (6.2) are equivalences for i Sch aft by [GL:QCoh, Proposition 1.4.4] Passing to adjoints, by [Funct, Adjunction and Symmetric Monoidal Structures], we obtain that the functor QCoh Schaft : Sch aft DGCat cont also has a natural symmetric monoidal structure. Now, arguing as in Proposition we show: Proposition There exists a unique symmetric monoidal structure on the functor IndCoh Schaft : Sch aft DGCat cont and the functor Ψ Schaft, which at the level of objects is given by Lemma
28 28 IND-COHERENT SHEAVES ON INFSCHEMES 6.4. Convergence. In this subsection we will establish another crucial property of IndCoh that distinguishes it from QCoh. Namely, we will show that for a given scheme, its category IndCoh can be recovered from IndCoh on the n-coconnective truncations of this scheme Let be an object of Sch aft. For each n let i n denote the closed embedding n, and for n 1 n 2, let i n1,n 2 denote the closed embedding n 1 n2. By [GL:DG, Lemma 1.3.3], we have a canonical equivalence colim n IndCoh( n ) lim n IndCoh( n ), where in the left-hand side the transition functors are (i n1,n 2 ) IndCoh, and in the right-hand side (i n1,n 2 )!. The functors i! n define a functor (6.3) IndCoh() lim n IndCoh( n ), whose left adjoint (6.4) colim IndCoh( n ) IndCoh() n is given by the compatible family of functors (i n ) IndCoh We are going to establish the following property of the category IndCoh: Proposition The functors (6.3) and (6.4) are mutually inverse equivalences. Proof. First, we note that Corollary shows that the functor (6.3) is conservative. It is clear that the functor (6.4) sends compact objects to compact ones. Hence, it remains to prove the following: for and k N, the map is an isomorphism. colim n We will prove more generally the following: Lemma For the map F 1, F 2 Coh( 0 ) Coh() Maps Coh( n )(F 1, F 2 [k]) Maps Coh() (F 1, F 2 [k]) F 1 (QCoh( n )) 0, F 2 (QCoh( n )) k, (6.5) Maps QCoh( n )(F 1, F 2 ) Maps QCoh() ((i n ) (F 1 ), (i n ) (F 2 )) is an isomorphism for n k.
PART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES
PART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on ind-schemes 2 1.1. Basic properties 2 1.2. t-structure 3 1.3. Recovering IndCoh from ind-proper maps
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationPART II.2. THE!-PULLBACK AND BASE CHANGE
PART II.2. THE!-PULLBACK AND BASE CHANGE Contents Introduction 1 1. Factorizations of morphisms of DG schemes 2 1.1. Colimits of closed embeddings 2 1.2. The closure 4 1.3. Transitivity of closure 5 2.
More informationCHAPTER I.2. BASICS OF DERIVED ALGEBRAIC GEOMETRY
CHAPTER I.2. BASICS OF DERIVED ALGEBRAIC GEOMETRY Contents Introduction 2 0.1. Why prestacks? 2 0.2. What do we say about prestacks? 3 0.3. What else is done in this Chapter? 5 1. Prestacks 6 1.1. The
More informationPART IV.2. FORMAL MODULI
PART IV.2. FORMAL MODULI Contents Introduction 1 1. Formal moduli problems 2 1.1. Formal moduli problems over a prestack 2 1.2. Situation over an affine scheme 2 1.3. Formal moduli problems under a prestack
More informationCHAPTER V.2. EXTENSION THEOREMS FOR THE CATEGORY OF CORRESPONDENCES
CHAPTER V.2. EXTENSION THEOREMS FOR THE CATEGORY OF CORRESPONDENCES Contents Introduction 1 0.1. The bivariant extension procedure 2 0.2. The horizontal extension procedure 3 1. Functors obtained by bivariant
More informationINTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode
More informationWhat is an ind-coherent sheaf?
What is an ind-coherent sheaf? Harrison Chen March 8, 2018 0.1 Introduction All algebras in this note will be considered over a field k of characteristic zero (an assumption made in [Ga:IC]), so that we
More informationNOTES ON GEOMETRIC LANGLANDS: STACKS
NOTES ON GEOMETRIC LANGLANDS: STACKS DENNIS GAITSGORY This paper isn t even a paper. I will try to collect some basic definitions and facts about stacks in the DG setting that will be used in other installments
More informationCHAPTER III.4. AN APPLICATION: CRYSTALS
CHAPTER III.4. AN APPLICATION: CRYSTALS Contents Introduction 1 0.1. Let s do D-modules! 2 0.2. D-modules via crystals 2 0.3. What else is done in this chapter? 4 1. Crystals on prestacks and inf-schemes
More informationCHAPTER IV.3. FORMAL GROUPS AND LIE ALGEBRAS
CHAPTER IV.3. FORMAL GROUPS AND LIE ALGEBRAS Contents Introduction 2 0.1. Why does the tangent space of a Lie group have the structure of a Lie algebra? 2 0.2. Formal moduli problems and Lie algebras 3
More informationarxiv: v6 [math.ag] 29 Nov 2013
DG INDSCHEMES arxiv:1108.1738v6 [math.ag] 29 Nov 2013 DENNIS GAITSGORY AND NICK ROZENBLYUM To Igor Frenkel on the occasion of his 60th birthday Abstract. We develop the notion of indscheme in the context
More informationInd-Coherent Sheaves. The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters.
Ind-Coherent Sheaves The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters. Citation Published Version Accessed Citable Link Terms
More informationLOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT
LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated
More informationINTRODUCTION TO PART IV: FORMAL GEOMTETRY
INTRODUCTION TO PART IV: FORMAL GEOMTETRY 1. What is formal geometry? By formal geometry we mean the study of the category, whose objects are PreStk laft-def, and whose morphisms are nil-isomorphisms of
More informationOn Some Finiteness Questions for Algebraic Stacks
On Some Finiteness Questions for Algebraic Stacks The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Drinfeld, Vladimir,
More informationDerived Morita theory and Hochschild Homology and Cohomology of DG Categories
Derived Morita theory and Hochschild Homology and Cohomology of DG Categories German Stefanich In this talk we will explore the idea that an algebra A over a field (ring, spectrum) k can be thought of
More informationIND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction
IND-COHERENT SHEAVES AND SERRE DUALITY II 1. Introduction Let X be a smooth projective variety over a field k of dimension n. Let V be a vector bundle on X. In this case, we have an isomorphism H i (X,
More informationCHAPTER V.1. THE (, 2) CATEGORY OF CORRESPONDENCES
CHAPTER V.1. THE (, 2) CATEGORY OF CORRESPONDENCES Contents Introduction 2 0.1. Why do we need it? 2 0.2. The actual reason we need it 5 0.3. What is done in this chapter? 7 1. The 2-category of correspondences
More informationLIMITS OF CATEGORIES, AND SHEAVES ON IND-SCHEMES
LIMITS OF CATEGORIES, AND SHEAVES ON IND-SCHEMES JONATHAN BARLEV 1. Inverse limits of categories This notes aim to describe the categorical framework for discussing quasi coherent sheaves and D-modules
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationDerived Algebraic Geometry IX: Closed Immersions
Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationDeformation theory of representable morphisms of algebraic stacks
Deformation theory of representable morphisms of algebraic stacks Martin C. Olsson School of Mathematics, Institute for Advanced Study, 1 Einstein Drive, Princeton, NJ 08540, molsson@math.ias.edu Received:
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationSUMMER SCHOOL ON DERIVED CATEGORIES NANTES, JUNE 23-27, 2014
SUMMER SCHOOL ON DERIVED CATEGORIES NANTES, JUNE 23-27, 2014 D. GAITSGORY 1.1. Introduction. 1. Lecture I: the basics 1.1.1. Why derived algebraic geometry? a) Fiber products. b) Deformation theory. c)
More informationLecture 9: Sheaves. February 11, 2018
Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationarxiv:math/ v1 [math.at] 6 Oct 2004
arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationMODULI STACKS FOR LINEAR CATEGORIES
MODULI STACKS FOR LINEAR CATEGORIES THOMAS POGUNTKE Abstract. We propose a simple definition of the moduli stack of objects in a locally proper Cauchy complete linear category and study its basic properties.
More informationTHE DERIVED CATEGORY OF A GRADED GORENSTEIN RING
THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING JESSE BURKE AND GREG STEVENSON Abstract. We give an exposition and generalization of Orlov s theorem on graded Gorenstein rings. We show the theorem holds
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationTHE SMOOTH BASE CHANGE THEOREM
THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationCOHERENT SHEAVES ON FORMAL COMPLETE INTERSECTIONS VIA DG LIE ALGEBRAS. Sam Raskin
Math. Res. Lett. 21 (2014), no. 1, 207 223 c International Press 2014 COHERENT SHEAVES ON FORMAL COMPLETE INTERSECTIONS VIA DG LIE ALGEBRAS Sam Raskin Abstract. We establish a criterion for sheaves on
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationDESCENT THEORY (JOE RABINOFF S EXPOSITION)
DESCENT THEORY (JOE RABINOFF S EXPOSITION) RAVI VAKIL 1. FEBRUARY 21 Background: EGA IV.2. Descent theory = notions that are local in the fpqc topology. (Remark: we aren t assuming finite presentation,
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationarxiv: v2 [math.ag] 28 Jul 2016
HIGHER ANALYTIC STACKS AND GAGA THEOREMS MAURO PORTA AND TONY YUE YU arxiv:1412.5166v2 [math.ag] 28 Jul 2016 Abstract. We develop the foundations of higher geometric stacks in complex analytic geometry
More informationDerived Algebraic Geometry VII: Spectral Schemes
Derived Algebraic Geometry VII: Spectral Schemes November 5, 2011 Contents 1 Sheaves of Spectra 4 2 Spectral Schemes 11 3 Coherent -Topoi 26 4 Deligne s Completeness Theorem 33 5 Flat Descent 42 6 Flat
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More informationFactorization of birational maps for qe schemes in characteristic 0
Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationBRAVE NEW MOTIVIC HOMOTOPY THEORY I: THE LOCALIZATION THEOREM
BRAVE NEW MOTIVIC HOMOTOPY THEORY I: THE LOCALIZATION THEOREM ADEEL A. KHAN Abstract. This series of papers is dedicated to the study of motivic homotopy theory in the context of brave new or spectral
More informationarxiv: v2 [math.at] 18 Sep 2008
TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY FOR DIFFERENTIAL GRADED CATEGORIES arxiv:0804.2791v2 [math.at] 18 Sep 2008 GONÇALO TABUADA Abstract. We define a topological Hochschild (THH) and cyclic (TC)
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationLECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS
LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS In this lecture, we study the commutative algebra properties of perfect prisms. These turn out to be equivalent to perfectoid rings, and most of the lecture
More informationLecture 9 - Faithfully Flat Descent
Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More informationAPPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES
APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES DAVID BEN-ZVI, JOHN FRANCIS, AND DAVID NADLER Abstract. In this brief postscript to [BFN], we describe a Morita equivalence for derived,
More informationDerived Algebraic Geometry I: Stable -Categories
Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationAlgebraic models for higher categories
Algebraic models for higher categories Thomas Nikolaus Fachbereich Mathematik, Universität Hamburg Schwerpunkt Algebra und Zahlentheorie Bundesstraße 55, D 20 146 Hamburg Abstract We introduce the notion
More informationElementary (ha-ha) Aspects of Topos Theory
Elementary (ha-ha) Aspects of Topos Theory Matt Booth June 3, 2016 Contents 1 Sheaves on topological spaces 1 1.1 Presheaves on spaces......................... 1 1.2 Digression on pointless topology..................
More informationREMARKS ON Θ-STRATIFICATIONS AND DERIVED CATEGORIES
REMARK ON Θ-TRATIFICATION AND DERIVED CATEGORIE DANIEL HALPERN-LEITNER Abstract. This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of
More informationLECTURE 5: v n -PERIODIC HOMOTOPY GROUPS
LECTURE 5: v n -PERIODIC HOMOTOPY GROUPS Throughout this lecture, we fix a prime number p, an integer n 0, and a finite space A of type (n + 1) which can be written as ΣB, for some other space B. We let
More informationLectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
More informationSection Higher Direct Images of Sheaves
Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will
More informationON -TOPOI JACOB LURIE
ON -TOPOI JACOB LURIE Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X, G); we will single out three of them for discussion here.
More informationLifting the Cartier transform of Ogus-Vologodsky. modulo p n. Daxin Xu. California Institute of Technology
Lifting the Cartier transform of Ogus-Vologodsky modulo p n Daxin Xu California Institute of Technology Riemann-Hilbert correspondences 2018, Padova A theorem of Deligne-Illusie k a perfect field of characteristic
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More informationInfinite root stacks of logarithmic schemes
Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationK-Theory and G-Theory of DG-stacks
K-Theory and G-Theory of DG-stacks Roy Joshua Department of Mathematics, Ohio State University, Columbus, Ohio, 43210, USA. joshua@math.ohio-state.edu Abstract In this paper, we establish results of a
More information8 Perverse Sheaves. 8.1 Theory of perverse sheaves
8 Perverse Sheaves In this chapter we will give a self-contained account of the theory of perverse sheaves and intersection cohomology groups assuming the basic notions concerning constructible sheaves
More informationC2.7: CATEGORY THEORY
C2.7: CATEGORY THEORY PAVEL SAFRONOV WITH MINOR UPDATES 2019 BY FRANCES KIRWAN Contents Introduction 2 Literature 3 1. Basic definitions 3 1.1. Categories 3 1.2. Set-theoretic issues 4 1.3. Functors 5
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More informationSynopsis of material from EGA Chapter II, 3
Synopsis of material from EGA Chapter II, 3 3. Homogeneous spectrum of a sheaf of graded algebras 3.1. Homogeneous spectrum of a graded quasi-coherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf
More informationLECTURE X: KOSZUL DUALITY
LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn
More informationREFLEXIVITY AND RIGIDITY FOR COMPLEXES, II: SCHEMES
REFLEXIVITY AND RIGIDITY FOR COMPLEXES, II: SCHEMES LUCHEZAR L. AVRAMOV, SRIKANTH B. IYENGAR, AND JOSEPH LIPMAN Abstract. We prove basic facts about reflexivity in derived categories over noetherian schemes;
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationTHE MODULI STACK OF G-BUNDLES JONATHAN WANG
THE MODULI STACK OF G-BUNDLES JONATHAN WANG Contents 1. Introduction 1 1.1. Acknowledgments 2 1.2. Notation and terminology 2 2. Quotient stacks 3 2.1. Characterizing [Z/G] 4 2.2. Twisting by torsors 7
More informationON A LOCALIZATION FORMULA OF EPSILON FACTORS VIA MICROLOCAL GEOMETRY
ON A LOCALIZATION FORMULA OF EPSILON FACTORS VIA MICROLOCAL GEOMETRY TOMOYUKI ABE AND DEEPAM PATEL Abstract. Given a lisse l-adic sheaf G on a smooth proper variety X and a lisse sheaf F on an open dense
More informationON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES
ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES CLEMENS BERGER AND IEKE MOERDIJK Abstract. We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given
More informationMODEL STRUCTURES ON PRO-CATEGORIES
Homology, Homotopy and Applications, vol. 9(1), 2007, pp.367 398 MODEL STRUCTURES ON PRO-CATEGORIES HALVARD FAUSK and DANIEL C. ISAKSEN (communicated by J. Daniel Christensen) Abstract We introduce a notion
More informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationRelative Affine Schemes
Relative Affine Schemes Daniel Murfet October 5, 2006 The fundamental Spec( ) construction associates an affine scheme to any ring. In this note we study the relative version of this construction, which
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationUNIQUENESS OF ENHANCEMENT FOR TRIANGULATED CATEGORIES
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 23, Number 3, July 2010, Pages 853 908 S 0894-0347(10)00664-8 Article electronically published on February 8, 2010 UNIQUENESS OF ENHANCEMENT FOR TRIANGULATED
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More informationDerived Algebraic Geometry III: Commutative Algebra
Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic
More informationSUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
More information