DOCSLIB.ORG

Arxiv:1710.08987V3 [Math.AG]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1710.08987V3 [Math.AG] MOTIVIC VIRTUAL SIGNED EULER CHARACTERISTICS AND APPLICATIONS TO VAFA-WITTEN INVARIANTS YUNFENG JIANG Abstract. For any scheme M with a perfect obstruction theory, Jiang and Thomas associate a scheme N with symmetric perfect obstruction theory. The scheme N is a cone over M given by the dual of the ob- struction sheaf of M, and contains M as its zero section. Locally N is the critical locus of a regular function. In this note we prove that N is a d-critical scheme in the sense of Joyce. By assuming an orientation on N there exists a global motive for N locally given by the motive of vanishing cycles of the local regular function. We prove a motivic lo- calization formula under the good and circle compact C∗-action for N. When taking Euler characteristic the weighted Euler characteristic of N weighted by the Behrend function is the signed Euler characteristic of M by motivic method. As applications we calculate the motivic generating series of the mo- tivic Vafa-Witten invariants for K3 surfaces. This motivic series gives the result of the χy-genus for Vafa-Witten invariants of K3 surfaces, which is the same (at instanton branch) as the K-theoretical Vafa-Witten invariants of Thomas. Contents 1. Introduction .......................... 2 2. Preliminaries on the cone N .................. 6 2.1. Abeliancones .................... 6 2.2. The cone N ..................... 7 2.3. Localmodel..................... 7 3. The global sheaf of vanishing cycles on N .......... 8 arXiv:1710.08987v3 [math.AG] 31 May 2021 3.1. d-criticalschemes . 8 3.2. Semi-symmetric obstruction theory . 8 3.3. N is a d-critical scheme . 9 3.4. Orientation on d-critical schemes . 11 3.5. Motivic vanishing cycles . 12 4. A motivic localization formula . 15 4.1. The general statement of the Gm-action . 15 4.2. The Gm-localization formula for the cone N . 16 5. Motivic Vafa-Witten theory . 19 5.1. Power structure on motivic ring . 19 5.2. Motivic Vafa-Witten invariants . 20 5.3. Proof of Theorem 1.3-Calculations for K3 surfaces 22 5.4. Proof of the χy-genus in Corollary 1.4 . 24 1 2 YUNFENG JIANG References.............................. 25 1. Introduction Let M be a scheme (or DM stack) with a perfect obstruction theory E• in the sense of [25], [3]. Denote by vd = rank(E•), which is the virtual dimen- sion. In [18], Jiang and Thomas associate with M a scheme N, which admits a symmetric obstruction theory in the sense of Behrend in [1]. Roughly this ∗ scheme N = Tot(obM ) is the total space of the dual of the obstruction • sheaf obM associated with the obstruction theory E . For the mathematical definition, • N := Spec(Sym obM ), which is the abelian cone of the obstruction sheaf obM . Let π : N → M be the projection. There is a Gm-action on N scaling the fibers and the fixed locus is M. In [18], the following four invariants are studied: (1) The Ciocan-Fontanine-Kapranov/Fantechi-G¨ottsche signed virtual Euler characteristic of M defined using its own obstruction theory; (2) Graber-Pandharipande’s virtual Atiyah-Bott localization of the vir- tual cycle of N to M; (3) Behrend’s weighted Euler characteristic of N by the Behrend func- tion νN ; (4) Kiem-Li’s cosection localization of the virtual cycle of N to M. [18] proves that (1) = (2), and (3) = (4). The invariant (1) = (2) is deformation invariant, while (3) = (4) is not. Moreover the invariant (3) = (4) is the signed Euler characteristic of M. A similar related situation was studied in [15]. It turns out that both of these invariants are useful, which are related to the Vafa-Witten invariants for projective surfaces or local surfaces, see [34], [35]. In the setting of derived algebraic geometry as in [33], N is (−1)-shifted symplectic because it is the (−1)-shifted cotangent bundle T ∗(M, E•)[−1] of (M, E•), if (M, E•) comes from a quasi-smooth derived scheme. In [22], Joyce proves that the underlying scheme N of a (−1)-shifted symplectic de- rived scheme is a d-critical scheme, which is defined in [22], but the converse is not true. Since a scheme M with a perfect obstruction theory E• is not always induced from a quasi-smooth derived scheme, in the paper [18], the authors start from a derived scheme (M, E•), and construct N by taking derived cotangent bundle of (M, E•). We prove in this paper that N is a d-critical scheme in the sense of [22]. Of course N does not always come from a (−1)-shifted symplectic derived scheme. Also N does not always have a symmetric obstruction theory in [1]. Let KN be the canonical line bundle for the d-critical scheme N defined in [22, Definition 2.31]. We assume that the d-critical scheme N has an 1 2 orientation, i.e., a square root KN exists. So from [4], there is a unique VIRTUAL SIGNED EULER CHARACTERISTICS AND VW INVARIANTS 3 MFφ µˆ µˆ µˆ L−1 µˆ global motive N ∈ MN , where MN = K0 (VarN )[ ] and K0 (VarN ) is the equivariant Grothendieck ring of varieties. On each d-critical chart (R, A, s, i) of the d-critical scheme (N,s), the motive φ ⋆ φ µˆ MF | e = i (MF ) ⊙ Υ(Q e e e) ∈ M e, e e e e N R A,e se R,A,s,e i R e φ − dim(A)/2 where MF e = L ⊙ [[A0, ˆι] − MF e ]| e is the motivic vanishing A,se A,se R MF cycle; A,e se is the motivic nearby cycle defined in [14, Definition 7.9]; and 1 e µˆ e e e L 2 e Υ(QR,A,s,e i) = ⊙ ([R, ˆι] − [Q, ρˆ]) ∈ MR is the motive of the principal Z e e 2-bundle QR,A,s,eei as in [4, §2.5]. This ring admits a new product ⊙, which is defined by [4]. Moree details can be found in [14, §7.1]. In this paper we prove a motivic localization formula for the global motive MFφ G N under the m-action on N, removing the preservation of the orienta- 1 2 G tion KN of the m-action as in [14, Theorem 7.17]. The cone N admits a good, circle-compact action of Gm by scaling the fibers of N. The fixed locus is M. Our main result is: Theorem 1.1. (Theorem 4.8) Let (N,s) be the oriented d-critical scheme in Proposition 3.6 and µ is the good, circle-compact action of Gm on N. MFφ µˆ Let N ∈ MN be the global motive of N. Then we have the following localization formula. • φ rank(E ) MF L− 2 N = ⊙ [M]. ZN ZM Our method to prove Theorem 1.1 follows from the argument of the mo- tivic nearby cycle under the good, circle-compact action of Gm in [32]. In our situation Nicaise and Payne [32] prove the conjecture of Davison and Meinhardt on the motivic nearby fiber in [8], i.e., the motivic nearby cycle −1 MF e A,se = [s (1)]. We use this motivic cycle to prove the localization for- mula. This is parallel to the result in Theorem A.1 of [7], where the author proves thate in this situation the pushforward to M of the vanishing cycle sheaf φse of the local regular function s on a d-critical chart is the shifted constant sheaf on M. Our contribution here is that we prove this statement for the motivic vanishing cycle using thee result by Nicaise and Payne in [32] who use the techniques of semi-algebraic subsets. Note that we do not need to use the techniques of semi-algebraic sets in [32], only a result there. As an application of Theorem 1.1, we show that vd χ(N,νN ) = (−1) χ(M) by the motivic method. This equality was proved by a direct topological calculation in [18]. Motivic Vafa-Witten theory. Let S be a smooth projective surface. Motived by S-duality and Vafa-Witten’s equation in [38], Tanaka-Thomas [34], [35] have developed a theory counting stable and semistable Higgs pairs 4 YUNFENG JIANG (E, φ) where E is a torsion free rank r coherent sheaf on S, and φ : E → ⊥ ⊥ E ⊗ KS is a OS-linear morphism called the Higgs field. Let NL := NL (S, c) represent the moduli space of Gieseker stable Higgs pairs with Chern class ∗ c = (r, c1, c2) ∈ H (S, Z), fixed determinant det(E) = L and trace free ⊥ φ. In [34], the moduli space NL is proved to be isomorphic to the moduli space of stable two dimensional torsion sheaves on X := Tot(KS ) supported on S. Since X is a Calabi-Yau threefold (not compact), the moduli space ⊥ NL admits a symmetric obstruction theory in [1]. Therefore there exists a ⊥ virt ⊥ ⊥ virtual fundamental class [NL ] ∈ H0(NL ). The space NL is not compact, but admits a C∗-action scaling the Higgs field and the fixed locus is compact. The Vafa-Witten invariants are defined by virtual localization 1 VWc(S)= virt ⊥ C∗ virt e(N ) Z[(NL ) ] where e(N virt) is the Euler class of the virtual normal bundle. These invari- ants are called the SU(r)-Vafa-Witten invariants. On the other hand the following invariants ⊥ vwc(S)= χ(NL ,νN ) ⊥ are defined as Behrend’s weighted Euler characteristic of NL weighted by the ⊥ Z Behrend function νN : NL → . These two invariants VW(S) and vw(S) are not the same for general surfaces, especially for general type surfaces, but for surfaces with KS < 0 and K3 surfaces, VWc(S)=vwc(S), see [34], [29].
Load more

Recommended publications
  • Derived Differential Geometry
    The definition of schemes Different kinds of spaces in algebraic geometry Some basics of category theory What is derived geometry? Moduli spaces and moduli functors Algebraic spaces and (higher) stacks Derived Differential Geometry Lecture 1 of 14: Background material in algebraic geometry and category theory Dominic Joyce, Oxford University Summer 2015 These slides, and references, etc., available at http://people.maths.ox.ac.uk/∼joyce/DDG2015 1 / 48 Dominic Joyce, Oxford University Lecture 1: Algebraic Geometry and Category Theory The definition of schemes Different kinds of spaces in algebraic geometry Some basics of category theory What is derived geometry? Moduli spaces and moduli functors Algebraic spaces and (higher) stacks Plan of talk: 1 Different kinds of spaces in algebraic geometry 1.1 The definition of schemes 1.2 Some basics of category theory 1.3 Moduli spaces and moduli functors 1.4 Algebraic spaces and (higher) stacks 2 / 48 Dominic Joyce, Oxford University Lecture 1: Algebraic Geometry and Category Theory The definition of schemes Different kinds of spaces in algebraic geometry Some basics of category theory What is derived geometry? Moduli spaces and moduli functors Algebraic spaces and (higher) stacks 1. Different kinds of spaces in algebraic geometry Algebraic geometry studies spaces built using algebras of functions. Here are the main classes of spaces studied by algebraic geometers, in order of complexity, and difficulty of definition: Smooth varieties (e.g. Riemann surfaces, or algebraic complex n manifolds such as CP . Smooth means nonsingular.) n n Varieties (at their most basic, algebraic subsets of C or CP . 2 Can have singularities, e.g.
    [Show full text]
  • DERIVED ALGEBRAIC GEOMETRY Contents Introduction 1 1. Selected
    DERIVED ALGEBRAIC GEOMETRY BERTRAND TOEN¨ Abstract. This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization. Contents Introduction1 1. Selected pieces of history6 2. The notion of a derived scheme 17 2.1. Elements of the language of 1-categories 20 2.2. Derived schemes 30 3. Derived schemes, derived moduli, and derived stacks 35 3.1. Some characteristic properties of derived schemes 35 3.2. Derived moduli problems and derived schemes 40 3.3. Derived moduli problems and derived Artin stacks 43 3.4. Derived geometry in other contexts 48 4. The formal geometry of derived stacks 50 4.1. Cotangent complexes and obstruction theory 50 4.2. The idea of formal descent 52 4.3. Tangent dg-lie algebras 54 4.4. Derived loop spaces and algebraic de Rham theory 55 5. Symplectic, Poisson and Lagrangian structures in the derived setting 59 5.1. Forms and closed forms on derived stacks 59 5.2. Symplectic and Lagrangian structures 63 5.3. Existence results 67 5.4. Polyvectors and shifted Poisson structures 71 References 76 Introduction Derived algebraic geometry is an extension of algebraic geometry whose main purpose is to propose a setting to treat geometrically special situations (typically bad intersections, quotients by bad actions,. ), as opposed to generic situations (transversal intersections, quotients by free and proper actions,. ). In order to present the main flavor of the subject we will start this introduction by focussing on an emblematic situation in the context of algebraic geometry, or in geometry in Bertrand To¨en,Universit´ede Montpellier 2, Case courrier 051, B^at9, Place Eug`eneBataillon, Montpellier Cedex 5, France.
    [Show full text]
  • Derived Algebraic Geometry
    DERIVED ALGEBRAIC GEOMETRY BERTRAND TOEN¨ Abstract. This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization. Contents Introduction1 1. Selected pieces of history6 2. The notion of a derived scheme 17 2.1. Elements of the language of 1-categories 20 2.2. Derived schemes 30 3. Derived schemes, derived moduli, and derived stacks 35 3.1. Some characteristic properties of derived schemes 35 3.2. Derived moduli problems and derived schemes 40 3.3. Derived moduli problems and derived Artin stacks 43 3.4. Derived geometry in other contexts 48 4. The formal geometry of derived stacks 50 4.1. Cotangent complexes and obstruction theory 50 4.2. The idea of formal descent 52 4.3. Tangent dg-lie algebras 54 4.4. Derived loop spaces and algebraic de Rham theory 55 5. Symplectic, Poisson and Lagrangian structures in the derived setting 59 5.1. Forms and closed forms on derived stacks 59 5.2. Symplectic and Lagrangian structures 63 5.3. Existence results 67 5.4. Polyvectors and shifted Poisson structures 71 References 76 arXiv:1401.1044v2 [math.AG] 12 Sep 2014 Introduction Derived algebraic geometry is an extension of algebraic geometry whose main purpose is to propose a setting to treat geometrically special situations (typically bad intersections, quotients by bad actions,. ), as opposed to generic situations (transversal intersections, quotients by free and proper actions,. ). In order to present the main flavor of the subject we will start this introduction by focussing on an emblematic situation in the context of algebraic geometry, or in geometry in Bertrand To¨en,Universit´ede Montpellier 2, Case courrier 051, B^at9, Place Eug`eneBataillon, Montpellier Cedex 5, France.
    [Show full text]
  • Motivic Homotopy Theory in Derived Algebraic Geometry
    Motivic homotopy theory in derived algebraic geometry Dissertation zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) vorgelegt dem Fachbereich Mathematik der Universit¨atDuisburg-Essen von Adeel Khan geboren in Kanada Gutachter: Prof. Dr. Marc Levine Prof. Dr. Denis-Charles Cisinski Datum der m¨undlichen Pr¨ufung: 22. August 2016 Essen, July 2016 Contents Preface 5 1. What is motivic homotopy theory? 6 2. Why derived schemes? 6 3. What we do in this text 7 4. Relation with previous work 7 5. What is not covered in this text 8 6. Acknowledgements 9 Chapter 0. Preliminaries 11 1. Introduction 12 2. (1; 1)-categories 16 3. (1; 2)-categories 26 4. Derived schemes 30 5. Local properties of morphisms 35 6. Global properties of morphisms 39 Chapter 1. Motivic spaces and spectra 43 1. Introduction 44 2. Motivic spaces 48 3. Pointed motivic spaces 53 4. Motivic spectra 55 5. Inverse and direct image functoriality 59 6. Smooth morphisms 61 7. Closed immersions 64 8. Thom spaces 72 9. The localization theorem 74 Chapter 2. The formalism of six operations 83 1. Introduction 84 2. Categories of coefficients 91 3. Motivic categories of coefficients 96 4. The formalism of six operations 111 5. Example: the stable motivic homotopy category 118 Bibliography 121 3 Preface 5 6 PREFACE 1. What is motivic homotopy theory? 1.1. The existence of a motivic cohomology theory was first conjectured by A. Beilinson [Bei87]. This cohomology theory was expected to be universal with respect to mixed Weil cohomologies like `-adic cohomology or algebraic de Rham cohomology; that is, there should be cycle class maps from the rational motivic cohomology groups to, say, `-adic cohomology.
    [Show full text]
  • Derived Algebraic Geometry V: Structured Spaces
    Derived Algebraic Geometry V: Structured Spaces May 1, 2009 Contents 1 Structure Sheaves 7 1.1 C-Valued Sheaves . 9 1.2 Geometries . 12 1.3 The Factorization System on StrG(X)................................ 20 1.4 Classifying 1-Topoi . 26 1.5 1-Categories of Structure Sheaves . 30 2 Scheme Theory 35 2.1 Construction of Spectra: Relative Version . 36 2.2 Construction of Spectra: Absolute Version . 43 2.3 G-Schemes . 50 2.4 The Functor of Points . 60 2.5 Algebraic Geometry (Zariski topology) . 69 2.6 Algebraic Geometry (Etale´ topology) . 75 3 Smoothness 81 3.1 Pregeometries . 82 3.2 Transformations and Morita Equivalence . 86 3.3 1-Categories of T-Structures . 92 3.4 Geometric Envelopes . 96 3.5 Smooth Affine Schemes . 101 4 Examples of Pregeometries 105 4.1 Simplicial Commutative Rings . 105 4.2 Derived Algebraic Geometry (Zariski topology) . 112 4.3 Derived Algebraic Geometry (Etale´ topology) . 120 4.4 Derived Complex Analytic Geometry . 131 4.5 Derived Differential Geometry . 133 1 Introduction: Bezout's Theorem Let C; C0 ⊆ P2 be two smooth algebraic curves of degrees m and n in the complex projective plane P2. If C and C0 meet transversely, then the classical theorem of Bezout (see for example [17]) asserts that C \ C0 has precisely mn points. We may reformulate the above statement using the language of cohomology. The curves C and C0 have fundamental classes [C]; [C0] 2 H2(P2; Z). If C and C0 meet transversely, then we have the formula [C] [ [C0] = [C \ C0]; where the fundamental class [C \ C0] 2 H4(P2; Z) ' Z of the intersection C \ C0 simply counts the number of points where C and C0 meet.
    [Show full text]
  • Derived Algebraic Geometry
    EMS Surv. Math. Sci. 1 (2014), 153–240 EMS Surveys in DOI 10.4171/EMSS/4 Mathematical Sciences c European Mathematical Society Derived algebraic geometry Bertrand Toën Abstract. This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization. Mathematics Subject Classification (2010). 14A20, 18G55, 13D10. Keywords. Derived scheme, derived moduli, derived stack. Contents 1 Selected pieces of history . 159 2 The notion of a derived scheme . 170 2.1 Elements of the language of 1-categories . 173 2.2 Derived schemes . 184 3 Derived schemes, derived moduli, and derived stacks . 189 3.1 Some characteristic properties of derived schemes . 189 3.2 Derived moduli problems and derived schemes . 194 3.3 Derived moduli problems and derived Artin stacks . 198 3.4 Derived geometry in other contexts . 203 4 The formal geometry of derived stacks . 205 4.1 Cotangent complexes and obstruction theory . 205 4.2 The idea of formal descent . 207 4.3 Tangent dg-lie algebras . 209 4.4 Derived loop spaces and algebraic de Rham theory . 211 5 Symplectic, Poisson and Lagrangian structures in the derived setting . 215 5.1 Forms and closed forms on derived stacks . 215 Bertrand Toën, Université de Montpellier 2, Case courrier 051, Bât 9, Place Eugène Bataillon, Montpellier Cedex 5, France E-mail: [email protected] 154 Bertrand Toën 5.2 Symplectic and Lagrangian structures . 220 5.3 Existence results . 223 5.4 Polyvectors and shifted Poisson structures .
    [Show full text]
  • DERIVED ALGEBRAIC GEOMETRY 1. Introduction 1.1. Bezout's Theorem
    DERIVED ALGEBRAIC GEOMETRY 1. Introduction 1.1. Bezout’s Theorem. Let C, C0 ⊆ P2 be two smooth algebraic curves of degrees n and m in the complex projective plane P2. If C and C0 meet transversely, then the classical theorem of Bezout (see for example [10]) asserts that C ∩ C0 has precisely nm points. We may reformulate the above statement using the language of cohomology. The curves C and C0 have fundamental classes [C], [C0] ∈ H2(P2, Z). If C and C0 meet transversely, then we have the formula [C] ∪ [C0] = [C ∩ C0], where the fundamental class [C ∩C0] ∈ H4(P2, Z) ' Z of the intersection C ∩C0 simply counts the number of points in the intersection. Of course, this should not be surprising: the cup-product on cohomology classes is defined so as to encode the operation of intersection. However, it would be a mistake to regard the equation [C] ∪ [C0] = [C ∩ C0] as obvious, because it is not always true. For example, if the curves C and C0 meet nontransversely (but still in a finite number of points), then we always have a strict inequality [C] ∪ [C0] > [C ∩ C0] if the right hand side is again interpreted as counting the number of points in the set-theoretic intersection of C and C0. If we want a formula which is valid for non-transverse intersections, then we must alter the definition of [C ∩ C0] so that it reflects the appropriate intersection multiplicities. Determination of these intersection multiplicities requires knowledge of the intersection C ∩ C0 as a scheme, rather than simply as a set.
    [Show full text]
  • Introductory Topics in Derived Algebraic Geometry
    Introductory topics in derived algebraic geometry Tony Pantev Gabriele Vezzosi Department of Mathematics DIMAI University of Pennsylvania (US) Università di Firenze (Italy) February 2018 Abstract We give a quick introduction to derived algebraic geometry (DAG) sampling basic constructions and techniques. We discuss affine derived schemes, derived algebraic stacks, and the Artin-Lurie representability theorem. Through the example of deformations of smooth and proper schemes, we explain how DAG sheds light on classical deformation theory. In the last two sections, we introduce differential forms on derived stacks, and then specialize to shifted symplectic forms, giving the main existence theorems proved in [PTVV]. Contents 1 Introduction 1 2 Affine derived geometry 2 3 Étale topology and derived stacks 9 4 Derived algebraic stacks 11 5 Lurie’s Representability Theorem 13 6 DAG “explains” classical deformation theory 15 7 Forms and closed forms 20 8 Shifted symplectic geometry 27 1 Introduction Derived Algebraic Geometry (DAG) starts with the idea of replacing the affine objects of Algebraic Geometry, i.e. commutative rings, by some kind of “derived commutative rings” whose internal homotopy theory is non trivial. This can be achieved over Q by considering commutative differential non-positively graded algebras (cdga’s), while in general one might instead consider simplicial commutative algebras.1 For simplicity, we will stick to the case of cdga’s (i.e. we will assume to work over Q). As in classical 1 Note that DAG based on cdga’s over Q or on simplicial commutative Q-algebras are equivalent theories. 1 Algebraic Geometry, the first step is to develop the local or affine theory, i.e to define and study finiteness conditions, flat, smooth, étale properties for morphisms between cdga’s.
    [Show full text]
  • Lecture 2: a Primer to Derived Algebraic Geometry I
    LECTURE 2: A PRIMER TO DERIVED ALGEBRAIC GEOMETRY I ELDEN ELMANTO The goal of this lecture is to explain how the naive cobordism relation is \not enough." We will also start defining what a derived scheme is and introduce the notion of a flat morphism. 1. Naive cobordism is not enough The relation of naive cobordism is not sufficient for a good theory of algebraic cobordism. Recall that a Dedekind scheme is an integral noetherian scheme such that every local ring is either a field or a discrete valuation ring. Here's a very nice result about them: Proposition 1.0.1. Let X be a Dedekind scheme and f :Y ! X be a morphism. Suppose that Y is reduced, then f is flat if and only if every irreducible component of Y dominates X. Proof. We may suppose that X = Spec R where R is a Dedekind domain. Recall that a module over a Dedekind domain is flat if and only if it is torsionfree1 (since being flat is local, we may localize at a maximal idea of A whence it is a discrete valuation ring; one of the characterizations of a valuation ring is the equivalence between a torsionfree module and flat modules). Further supposing that Y = Spec A is an affine scheme, it suffices to prove that as an R-module A is torsionfree. Let K be the field o fractions of R. Now, the torsion element of A can be expressed as Ators = ker(A ! A ⊗ K a 7! a ⊗ 1): −1 Furthermore, the closure of the generic fiber f (Spec K) ⊂ Y is isomorphic to Spec A=Ators.
    [Show full text]
  • A Brief Introduction to Derived Schemes
    A brief introduction to derived schemes Expository paper by Aurel Malapani Johns Hopkins University Supervised by Professor Emily Riehl Spring 2018 Abstract The development of mathematics has been characterized by the increasing inter- connectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common language to the study of mathematics. In the opposite direction, we have seen algebraic topology and category theory synthesize via higher category theory. In this expository paper, we examine an application of higher category theory to geometry through the development of simplicial rings and derived schemes. 1 Preliminaries We briefly review the definition of a scheme, as presented in [9]. We then go on to provide some intuition underlying the notions of moduli problems, moduli spaces, and stacks. We then review the basics of model category theory. The term “ring” will mean a commutative and unital ring. 1.1 A bit of algebraic geometry 1.1.1 Schemes arXiv:1811.12937v1 [math.AG] 30 Nov 2018 For a ring R, let SpecR denote the prime spectrum of R endowed with the Zariski topology in which closed sets are of the form V (a) := {p ∈ SpecA; a ⊆ p} for ideals a ⊆ R. Open sets of the form D(f) := {p ∈ SpecA;(f) 6⊆ p : f ∈ R} form a basis for the topology. Moreover, there is a natural presheaf (in fact a sheaf) OSpecR of rings on open subsets of SpecR given by mapping D(f) to the localization of R at f. We obtain a ringed space (SpecR, OR).
    [Show full text]
  • DERIVED ALGEBRAIC GEOMETRY 1. Introduction 1.1. Bezout's Theorem
    DERIVED ALGEBRAIC GEOMETRY 1. Introduction 1.1. Bezout’s Theorem. Let C,C0 ⊆ P2 be two smooth algebraic curves of degrees n and m in the complex projective plane P2. If C and C0 meet transversely, then the classical theorem of Bezout (see for example [10]) asserts that C ∩ C0 has precisely nm points. We may reformulate the above statement using the language of cohomology. The curves C and C0 have fundamental classes [C], [C0] ∈ H2(P2, Z). If C and C0 meet transversely, then we have the formula [C] ∪ [C0]=[C ∩ C0], where the fundamental class [C ∩C0] ∈ H4(P2, Z) ' Z of the intersection C ∩C0 simply counts the number of points in the intersection. Of course, this should not be surprising: the cup-product on cohomology classes is defined so as to encode the operation of intersection. However, it would be a mistake to regard the equation [C] ∪ [C0]=[C ∩ C0] as obvious, because it is not always true. For example, if the curves C and C0 meet nontransversely (but still in a finite number of points), then we always have a strict inequality [C] ∪ [C0] > [C ∩ C0] if the right hand side is again interpreted as counting the number of points in the set-theoretic intersection of C and C0. If we want a formula which is valid for non-transverse intersections, then we must alter the definition of [C ∩ C0] so that it reflects the appropriate intersection multiplicities. Determination of these intersection multiplicities requires knowledge of the intersection C ∩ C0 as a scheme, rather than simply as a set.
    [Show full text]
  • Derived Algebraic Geometry V: Structured Spaces
    Derived Algebraic Geometry V: Structured Spaces May 5, 2009 Contents 1 Structure Sheaves 7 1.1 C-ValuedSheaves..................................... ...... 9 1.2 Geometries ...................................... ........ 12 1.3 The Factorization System on StrG(X)................................ 20 1.4 Classifying ∞-Topoi ......................................... 26 1.5 ∞-CategoriesofStructureSheaves . ........... 30 2 Scheme Theory 35 2.1 Construction of Spectra: Relative Version . .................. 36 2.2 Construction of Spectra: Absolute Version . .................. 43 2.3 G-Schemes........................................... .... 50 2.4 TheFunctorofPoints .............................. .......... 60 2.5 AlgebraicGeometry(Zariskitopology) . ................. 69 2.6 Algebraic Geometry (Etaletopology)................................´ 75 3 Smoothness 81 3.1 Pregeometries................................... .......... 82 3.2 Transformations and Morita Equivalence . ................. 86 3.3 ∞-Categories of T-Structures .................................... 92 3.4 GeometricEnvelopes. .. .. .. .. .. .. .. .. .. .. .. .. ........... 96 3.5 SmoothAffineSchemes ............................... ........ 101 4 Examples of Pregeometries 105 arXiv:0905.0459v1 [math.CT] 4 May 2009 4.1 Simplicial Commutative Rings . ............. 105 4.2 Derived Algebraic Geometry (Zariski topology) . ...................112 4.3 Derived Algebraic Geometry (Etaletopology)´ ........................... 120 4.4 DerivedComplexAnalyticGeometry . .............. 131 4.5 DerivedDifferentialGeometry.
    [Show full text]