Arxiv:2007.04625V2 [Math.AG]
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Derived Categories. Winter 2008/09
Derived categories. Winter 2008/09 Igor V. Dolgachev May 5, 2009 ii Contents 1 Derived categories 1 1.1 Abelian categories .......................... 1 1.2 Derived categories .......................... 9 1.3 Derived functors ........................... 24 1.4 Spectral sequences .......................... 38 1.5 Exercises ............................... 44 2 Derived McKay correspondence 47 2.1 Derived category of coherent sheaves ................ 47 2.2 Fourier-Mukai Transform ...................... 59 2.3 Equivariant derived categories .................... 75 2.4 The Bridgeland-King-Reid Theorem ................ 86 2.5 Exercises ............................... 100 3 Reconstruction Theorems 105 3.1 Bondal-Orlov Theorem ........................ 105 3.2 Spherical objects ........................... 113 3.3 Semi-orthogonal decomposition ................... 121 3.4 Tilting objects ............................ 128 3.5 Exercises ............................... 131 iii iv CONTENTS Lecture 1 Derived categories 1.1 Abelian categories We assume that the reader is familiar with the concepts of categories and func- tors. We will assume that all categories are small, i.e. the class of objects Ob(C) in a category C is a set. A small category can be defined by two sets Mor(C) and Ob(C) together with two maps s, t : Mor(C) → Ob(C) defined by the source and the target of a morphism. There is a section e : Ob(C) → Mor(C) for both maps defined by the identity morphism. We identify Ob(C) with its image under e. The composition of morphisms is a map c : Mor(C) ×s,t Mor(C) → Mor(C). There are obvious properties of the maps (s, t, e, c) expressing the axioms of associativity and the identity of a category. For any A, B ∈ Ob(C) we denote −1 −1 by MorC(A, B) the subset s (A) ∩ t (B) and we denote by idA the element e(A) ∈ MorC(A, A). -
Representations of Semisimple Lie Algebras in Prime Characteristic and the Noncommutative Springer Resolution
Annals of Mathematics 178 (2013), 835{919 http://dx.doi.org/10.4007/annals.2013.178.3.2 Representations of semisimple Lie algebras in prime characteristic and the noncommutative Springer resolution By Roman Bezrukavnikov and Ivan Mirkovic´ To Joseph Bernstein with admiration and gratitude Abstract We prove most of Lusztig's conjectures on the canonical basis in homol- ogy of a Springer fiber. The conjectures predict that this basis controls numerics of representations of the Lie algebra of a semisimple algebraic group over an algebraically closed field of positive characteristic. We check this for almost all characteristics. To this end we construct a noncom- mutative resolution of the nilpotent cone which is derived equivalent to the Springer resolution. On the one hand, this noncommutative resolution is closely related to the positive characteristic derived localization equiva- lences obtained earlier by the present authors and Rumynin. On the other hand, it is compatible with the t-structure arising from an equivalence with the derived category of perverse sheaves on the affine flag variety of the Langlands dual group. This equivalence established by Arkhipov and the first author fits the framework of local geometric Langlands duality. The latter compatibility allows one to apply Frobenius purity theorem to deduce the desired properties of the basis. We expect the noncommutative counterpart of the Springer resolution to be of independent interest from the perspectives of algebraic geometry and geometric Langlands duality. Contents 0. Introduction 837 0.1. Notations and conventions 841 1. t-structures on cotangent bundles of flag varieties: statements and preliminaries 842 R.B. -
Topics in Noncommutative Algebraic Geometry, Homological Algebra and K-Theory
Topics in Noncommutative Algebraic Geometry, Homological Algebra and K-Theory Introduction This text is based on my lectures delivered at the School on Algebraic K-Theory and Applications which took place at the International Center for Theoretical Physics (ICTP) in Trieste during the last two weeks of May of 2007. It might be regarded as an introduction to some basic facts of noncommutative algebraic geometry and the related chapters of homological algebra and (as a part of it) a non-conventional version of higher K-theory of noncommutative 'spaces'. Arguments are mostly replaced by sketches of the main steps, or references to complete proofs, which makes the text an easier reading than the ample accounts on different topics discussed here indicated in the bibliography. Lecture 1 is dedicated to the first notions of noncommutative algebraic geometry { preliminaries on 'spaces' represented by categories and morphisms of 'spaces' represented by (isomorphism classes of) functors. We introduce continuous, affine, and locally affine morphisms which lead to definitions of noncommutative schemes and more general locally affine 'spaces'. The notion of a noncommutative scheme is illustrated with important examples related to quantized enveloping algebras: the quantum base affine spaces and flag varieties and the associated quantum D-schemes represented by the categories of (twisted) quantum D-modules introduced in [LR] (see also [T]). Noncommutative projective 'spaces' introduced in [KR1] and more general Grassmannians and flag varieties studied in [KR3] are examples of smooth locally affine noncommutative 'spaces' which are not schemes. In Lecture 2, we recover some fragments of geometry behind the pseudo-geometric picture outlined in the first lecture. -
The Derived Category of Sheaves and the Poincare-Verdier Duality
THE DERIVED CATEGORY OF SHEAVES AND THE POINCARE-VERDIER´ DUALITY LIVIU I. NICOLAESCU ABSTRACT. I think these are powerful techniques. CONTENTS 1. Derived categories and derived functors: a short introduction2 2. Basic operations on sheaves 16 3. The derived functor Rf! 31 4. Limits 36 5. Cohomologically constructible sheaves 47 6. Duality with coefficients in a field. The absolute case 51 7. The general Poincare-Verdier´ duality 58 8. Some basic properties of f ! 63 9. Alternate descriptions of f ! 67 10. Duality and constructibility 70 References 72 Date: Last revised: April, 2005. Notes for myself and whoever else is reading this footnote. 1 2 LIVIU I. NICOLAESCU 1. DERIVED CATEGORIES AND DERIVED FUNCTORS: A SHORT INTRODUCTION For a detailed presentation of this subject we refer to [4,6,7,8]. Suppose A is an Abelian category. We can form the Abelian category CpAq consisting of complexes of objects in A. We denote the objects in CpAq by A or pA ; dq. The homology of such a complex will be denoted by H pA q. P p q A morphism s HomCpAq A ;B is called a quasi-isomorphism (qis brevity) if it induces an isomorphism in co-homology. We will indicate qis-s by using the notation A ùs B : Define a new additive category KpAq whose objects coincide with the objects of CpAq, i.e. are complexes, but the morphisms are the homotopy classes of morphisms in CpAq, i.e. p q p q{ HomKpAq A ;B : HomCpAq A ;B ; where denotes the homotopy relation. Often we will use the notation r s p q A ;B : HomKpAq A ;B : The derived category of A will be a category DpAq with the same objects as KpAq but with a q much larger class of morphisms. -
Grothendieck and the Six Operations
The Fifth International Conference on History of Modern Mathematics Xi’an, China August 18–24, 2019 Grothendieck and the six operations Luc Illusie Université Paris-Sud Plan 1. Serre’s duality theorem 2. Derived categories: Grothendieck’s revolution 3. The f ! functor: duality in the coherent setting 4. Duality in étale cohomology and the six operations 5. Further developments 1. Serre’s duality theorem Theorem 1 (ICM Amsterdam, 1954) k algebraically closed, X =k smooth, projective, irreducible, of dimension m, _ V a vector bundle on X , V = Hom(V ; OX ), i i 1 Ω := Λ ΩX =k . Then: m m (a) dimk H (X ; Ω ) = 1; (b) For all q 2 Z, the pairing Hq(X ; V ) ⊗ Hm−q(X ; V _ ⊗ Ωm) ! Hm(X ; Ωm)(!∼ k) is perfect. Remarks (a) Serre had previously proved (FAC) that, for any coherent sheaf q q F on X , and all q, dimk H (X ; F) < 1 and H (X ; F) = 0 for q > m. (b) Serre doesn’t exhibit a distinguished basis of Hm(X ; Ωm). Proof by induction on m, his vanishing theorems on Hq(X ; F(n)) for q > 0 and n large play a key role. Construction of a distinguished basis crucial in further work by Grothendieck et al. (c) Serre proved analogue for X =C smooth, compact analytic, V a vector bundle on X (Comm. Helv., 1955). Quite different techniques. Th. 1 revisited by Grothendieck: 1955-56, Sém. Bourbaki 149, May 1957 X =k smooth, projective, irreducible, dimension m as above. Theorem 2 (Grothendieck, loc. cit., Th. -
Agnieszka Bodzenta
June 12, 2019 HOMOLOGICAL METHODS IN GEOMETRY AND TOPOLOGY AGNIESZKA BODZENTA Contents 1. Categories, functors, natural transformations 2 1.1. Direct product, coproduct, fiber and cofiber product 4 1.2. Adjoint functors 5 1.3. Limits and colimits 5 1.4. Localisation in categories 5 2. Abelian categories 8 2.1. Additive and abelian categories 8 2.2. The category of modules over a quiver 9 2.3. Cohomology of a complex 9 2.4. Left and right exact functors 10 2.5. The category of sheaves 10 2.6. The long exact sequence of Ext-groups 11 2.7. Exact categories 13 2.8. Serre subcategory and quotient 14 3. Triangulated categories 16 3.1. Stable category of an exact category with enough injectives 16 3.2. Triangulated categories 22 3.3. Localization of triangulated categories 25 3.4. Derived category as a quotient by acyclic complexes 28 4. t-structures 30 4.1. The motivating example 30 4.2. Definition and first properties 34 4.3. Semi-orthogonal decompositions and recollements 40 4.4. Gluing of t-structures 42 4.5. Intermediate extension 43 5. Perverse sheaves 44 5.1. Derived functors 44 5.2. The six functors formalism 46 5.3. Recollement for a closed subset 50 1 2 AGNIESZKA BODZENTA 5.4. Perverse sheaves 52 5.5. Gluing of perverse sheaves 56 5.6. Perverse sheaves on hyperplane arrangements 59 6. Derived categories of coherent sheaves 60 6.1. Crash course on spectral sequences 60 6.2. Preliminaries 61 6.3. Hom and Hom 64 6.4. -
Characteristic Classes of Mixed Hodge Modules
Topology of Stratified Spaces MSRI Publications Volume 58, 2011 Characteristic classes of mixed Hodge modules JORG¨ SCHURMANN¨ ABSTRACT. This paper is an extended version of an expository talk given at the workshop “Topology of Stratified Spaces” at MSRI in September 2008. It gives an introduction and overview about recent developments on the in- teraction of the theories of characteristic classes and mixed Hodge theory for singular spaces in the complex algebraic context. It uses M. Saito’s deep theory of mixed Hodge modules as a black box, thinking about them as “constructible or perverse sheaves of Hodge struc- tures”, having the same functorial calculus of Grothendieck functors. For the “constant Hodge sheaf”, one gets the “motivic characteristic classes” of Brasselet, Schurmann,¨ and Yokura, whereas the classes of the “intersection homology Hodge sheaf” were studied by Cappell, Maxim, and Shaneson. The classes associated to “good” variation of mixed Hodge structures where studied in connection with understanding the monodromy action by these three authors together with Libgober, and also by the author. There are two versions of these characteristic classes. The K-theoretical classes capture information about the graded pieces of the filtered de Rham complex of the filtered D-module underlying a mixed Hodge module. Appli- cation of a suitable Todd class transformation then gives classes in homology. These classes are functorial for proper pushdown and exterior products, to- gether with some other properties one would expect for a satisfactory theory of characteristic classes for singular spaces. For “good” variation of mixed Hodge structures they have an explicit clas- sical description in terms of “logarithmic de Rham complexes”. -
Intersection Homology Duality and Pairings: Singular, PL, and Sheaf
Intersection homology duality and pairings: singular, PL, and sheaf-theoretic Greg Friedman and James E. McClure July 22, 2020 Contents 1 Introduction 2 2 Conventions and some background 11 2.1 Pseudomanifolds and intersection homology . .. 11 3 Hypercohomology in the derived category 13 4 Some particular sheaf complexes 16 4.1 The Verdier dualizing complex and Verdier duality . 16 4.2 TheDelignesheaf................................. 17 4.3 The sheaf complex of intersection chains . .. 19 4.4 Thesheafofintersectioncochains . .. 20 ∗ 4.4.1 Ip¯C is quasi-isomorphic to PDp¯ ..................... 22 5 Sheafification of the cup product 24 5.1 Applications: A multiplicative de Rham theorem for perverse differential forms and compatibility with the blown-up cup product . 26 arXiv:1812.10585v3 [math.GT] 22 Jul 2020 5.1.1 Perversedifferentialforms . 26 5.1.2 Blown-up intersection cohomology . 31 6 Classical duality via sheaf maps 32 6.1 Orientationsandcanonicalproducts. ... 33 6.2 ProofofTheorem6.1............................... 35 7 Compatibility of cup, intersection, and sheaf products 50 8 Classical duality and Verdier duality 55 A Co-cohomology 59 1 B A meditation on signs 60 2000 Mathematics Subject Classification: Primary: 55N33, 55N45 Secondary: 55N30, 57Q99 Keywords: intersection homology, intersection cohomology, pseudomanifold, cup product, cap product, intersection product, Poincar´e duality, Verdier dual- ity, sheaf theory Abstract We compare the sheaf-theoretic and singular chain versions of Poincar´eduality for intersection homology, showing that they are isomorphic via naturally defined maps. Similarly, we demonstrate the existence of canonical isomorphisms between the sin- gular intersection cohomology cup product, the hypercohomology product induced by the Goresky-MacPherson sheaf pairing, and, for PL pseudomanifolds, the Goresky- MacPherson PL intersection product. -
Lecture 18: April 15 Direct Images and Coherence. Last Time, We Defined
89 Lecture 18: April 15 Direct images and coherence. Last time, we defined the direct image functor (for right D-modules) as the composition L op DX Y op Rf op b ⌦ ! b 1 ⇤ b D (DX ) D (f − DY ) D (DY ) f+ where f : X Y is any morphism between nonsingular algebraic varieties. We also ! showed that g+ f+ ⇠= (g f)+. Today, our first◦ task is to◦ prove that direct images preserve quasi-coherence and, in the case when f is proper, coherence. The definition of the derived category b op D (DX )didnot include any quasi-coherence assumptions. We are going to denote b op b op by Dqc(DX ) the full subcategory of D (DX ), consisting of those complexes of right DX -modules whose cohomology sheaves are quasi-coherent as OX -modules. Recall that we included the condition of quasi-coherence into our definition of algebraic b op D-modules in Lecture 10. Similarly, we denote by Dcoh (DX ) the full subcategory b op of D (DX ), consisting of those complexes of right DX -modules whose cohomology sheaves are coherent DX -modules (and therefore quasi-coherent OX -modules). This b op category is of course contained in Dqc(DX ). Theorem 18.1. Let f : X Y be a morphism between nonsingular algebraic ! b op b op varieties. Then the functor f+ takes Dqc(DX ) into Dqc(DY ). When f is proper, b op b op it also takes Dcoh (DX ) into Dcoh (DY ). We are going to deduce this from the analogous result for OX -modules. Recall that if F is a quasi-coherent OX -module, then the higher direct image sheaves j R f F are again quasi-coherent OY -modules. -
Mixed Hodge Structures with Modulus Is Abelian
MIXED HODGE STRUCTURES WITH MODULUS FLORIAN IVORRA AND TAKAO YAMAZAKI Abstract. We define a notion of mixed Hodge structure with modulus that generalizes the classical notion of mixed Hodge structure introduced by Deligne and the level one Hodge structures with additive parts introduced by Kato and Russell in their description of Albanese varieties with modulus. With modulus triples of any dimension we attach mixed Hodge structures with modulus. We combine this construction with an equivalence between the category of level one mixed Hodge structures with modulus and the category of Laumon 1-motives to generalize Kato-Russell’s Albanese varieties with modulus to 1-motives. Contents 1. Introduction 1 2. Mixed Hodge structures with modulus 3 3. Laumon 1-motives 8 4. Cohomology of a variety with modulus 12 5. Duality 21 6. Picard and Albanese 1-motives 24 7. Relation with enriched and formal Hodge structures 26 References 29 1. Introduction 1.1. Background. Unlike K-theory, classical cohomology theories, such as Betti cohomology, étale cohomology or motivic cohomology (in particular Chow groups) are not able to distinguish a smooth variety from its nilpotent thickenings. This inability to detect nilpotence makes those cohomologies not the right tool to study arXiv:1712.07423v2 [math.AG] 12 Jun 2018 non-homotopy invariant phenomena. One very important situation where these kind of phenomena occur, is at the boundary of a smooth variety. More precisely if X is a smooth proper variety and D is an effective Cartier Divisor on X, then D can be seen as the non-reduced boundary at infinity of the smooth variety X := X \ D. -
1. Introduction 1 2. T-Structures on Triangulated Categories 1 3
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 stratifiable space. I give the definition of t structures, describe the simple perverse sheaves and examine when the 6 functors on the constructibe derived category preserve the subcategory of perverse sheaves. The main reference for this talk is [HTT]. Contents 1. Introduction 1 2. t-Structures on Triangulated Categories 1 3. Perverse t-Structure 6 4. Properties of the Category of Perverse Sheaves 10 4.1. Minimal Extensions 10 References 14 1. Introduction b Let X be a complex algebraic vareity and Dc(X) be the constructible derived category of sheaves on b X. The category of perverse sheaves P (X) is defined as the full subcategory of Dc(X) consisting of objects F ∗ that satifsy two conditions: 1. Support condition: dim supp(Hj(F ∗)) ≤ −j, for all j 2 Z. 2. Cosupport condition: dim supp(Hj(DF ∗)) ≤ −j, for all j 2 Z. Here, D denotes the Verdier duality functor. If F ∗ satisfies the support condition, we say that F ∗ 2 pD≤0(X) and if it satisfies the cosupport condition, we say that F ∗ 2 pD≥0(X): These conditions b actually imply that P (X) is an abelian category sitting inside Dc(X) but to see this, we first need to talk about t-structures on triangulated categories. 2. t-Structures on Triangulated Categories Let me begin by recalling (part of) the axioms of a triangulated category. -
Thom-Sebastiani and Duality for Matrix Factorizations, and Results on the Higher Structures of the Hochschild Invariants by Anatoly Preygel
Thom-Sebastiani and Duality for Matrix Factorizations, and Results on the Higher Structures of the Hochschild Invariants by Anatoly Preygel Submitted to the Department of Mathematics on March 30, 2012, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract The derived category of a hypersurface has an action by \cohomology operations" k[[β]], deg β = 2, underlying the 2-periodic structure on its category of singularities (as matrix factorizations). We prove a Thom-Sebastiani type Theorem, identifying the k[[β]]-linear tensor products of these dg categories with coherent complexes on the zero locus of the sum potential on the product (with a support condition), and identify the dg category of colimit-preserving k[[β]]-linear functors between Ind-completions with Ind-coherent complexes on the zero locus of the difference potential (with a support condition). These results imply the analogous statements for the 2-periodic dg categories of matrix factorizations. We also present a viewpoint on matrix factorizations in terms of (formal) groups actions on categories that is conducive to formulating functorial statements and in particular to the computation of higher algebraic structures on Hochschild invariants. Some applications include: we refine and establish the expected computation of 2-periodic Hochschild invariants of matrix factorizations; we show that the category of matrix factorizations is smooth, and is proper when the critical locus is proper; we show how Calabi-Yau structures on matrix factorizations arise from volume forms on the total space; we establish a version of Kn¨orrer Periodicity for eliminating metabolic quadratic bundles over a base.