DOCSLIB.ORG

Derived Algebraic Geometry V: Structured Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. 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. This is one of the classic arguments that nonreduced scheme structures carry useful information: the intersection number [C][[C0] 2 Z, which is defined a priori by perturbing the curves so that they meet transversally, can also be computed directly (without perturbation) if one is willing to contemplate a potentially non-reduced scheme structure on the intersection. In more complicated situations, the appropriate intersection multiplicities cannot always be determined from the scheme-theoretic intersection alone. Suppose that C and C0 are smooth subvarieties of Pn of complementary dimension, having a zero-dimensional intersection. In this case, the appropriate intersection number associated to a point p 2 C \ C0 is not always given by the complex dimension of the local ring 0 0 OC\C ;p = OC;p ⊗OPn;p OC ;p : The reason for this is easy to understand from the point of view of homological algebra. Since the tensor product functor ⊗OPn;p is not exact, it does not have good properties when considered alone. According to Serre's intersection formula, the correct intersection multiplicity is instead the Euler characteristic X i OPn;p (−1) dim Tori (OC;p; OC0;p): This Euler characteristic contains the dimension of the local ring of the scheme-theoretic intersection as its leading term, but also higher-order corrections. We refer the reader to [56] for further discussion of this formula for the intersection multiplicity. If we would like the equation [C] [ [C0] = [C \ C0] to remain valid in the more complicated situations described above, then we will need to interpret the intersection C \ C0 in some way which remembers not 0 only the tensor product OC;p ⊗OPn;p OC ;p, but the higher Tor groups. Moreover, we should not interpret L these Tor-groups separately, but rather should think of the total derived functor O ⊗ O 0 as a kind C;p OPn;p C ;p of generalized ring. These considerations lead us naturally to the subject of derived algebraic geometry. Using an appropriate notion of \generalized ring", we will mimic the constructions of classical scheme theory to obtain a theory of derived schemes in which a version of the formula [C][[C0] = [C \C0] can be shown to hold with (essentially) no hypotheses on C and C0. Here, we must interpret the intersection C \ C0 in the sense of derived schemes, 2 and we must take great care to give the proper definition for the fundamental classes (the so-called virtual fundamental classes of [4]). What sort of objects should our generalized rings be? To answer this question, we begin by considering the simplest case of Bezout's theorem, in which C and C0 are lines in the projective plane P2. In this case, we know that [C] [ [C0] is the cohomology class of a point, and that C intersects C0 transversely in one point so long as C and C0 are distinct. However, when the equality C = C0 holds, the scheme-theoretic intersection C \ C0 does not even have the correct dimension. Let us now try to formulate a theory of intersections which will handle the degenerate situation where C = C0. To simplify the discussion, we will consider only lines in the affine plane A2 ⊆ P2, with coordinate ring C[x; y]. Two distinct lines in A2 may be given (without loss of generality) by the equations x = 0 and y = 0. The scheme-theoretic intersection of these two lines is the spectrum of the ring C[x; y]=(x; y) ' C, obtained from C[x; y] by enforcing the defining equations of both lines. This ring has Krull dimension 0 because C[x; y] has Krull dimension 2 and we have imposed 2 independent conditions. Now suppose that instead of C and C0 being two distinct lines, they are actually two identical lines, both of which are defined by the equation x = 0. In this case, the affine ring of the scheme theoretic intersection is given by C[x; y]=(x; x) ' C[y]. This ring has Krull dimension 1, rather than the expected dimension 0, because the two equations are not independent: setting x equal to zero twice has the same effect as setting x equal to zero once. To obtain the theory we are looking for, we need a notion of generalized ring which remembers not only whether or not x is equal to 0, but how many different ways x is equal to 0. One way to obtain such a formalism is by categorifying the notion of a commutative ring. That is, in place of ordinary commutative rings, we consider categories equipped with addition and multiplication operations (which are encoded by functors, rather than ordinary functions). For purposes of the present discussion, let us call such an object a categorical ring. We will not give a precise axiomatization of this notion; this turns out to be somewhat complicated (see [33], for example). Example 0.0.1. Let Z≥0 denote the semiring of nonnegative integers. We note that Z≥0 arises in nature through the process of decategorification. The nonnegative integers were originally introduced in order to count: in other words, in order to measure the size of finite sets. To make this statement more precise, let us denote by Fin the category whose objects are finite sets, and whose morphisms are isomorphisms of finite sets. Then we can identify Z≥0 with the set of isomorphism classes of objects in Fin. The addition and multiplication operations on Z≥0 are induced by functors Fin × Fin ! Fin, given by the formation of disjoint union and Cartesian product. Moreover, all of the axioms for a commutative semiring have analogues that hold at the categorical level: for example, the distributive law xy+xz = x(y+z) translates into the existence of a canonical isomorphism a a (X × Y ) (X × Z) ' X × (Y Z) for every triple of objects X; Y; Z 2 Fin. (In order to complete the analogy with the above discussion, we should \complete" the category Fin by formally adjoining inverses, to obtain a categorical ring rather than a categorical semiring, but we will ignore this point for the time being.) To simplify the discussion, we will consider only categorical rings which are groupoids: that is, every morphism in the underlying category is an isomorphism. If C is a categorical ring, then the collection of isomorphism classes of objects in C forms an ordinary commutative ring, which we will denote by π0 C. Every commutative ring R arises in this way: for example, we may take C to be a category whose objects are the elements of R and which contains only identity maps for morphisms. The categorical rings which arise in this way are very special: their objects have no nontrivial automorphisms. For a given commutative ring R, there are usually many other ways to realize an isomorphism of R with the collection of isomorphism classes of objects in a categorical ring C. Although C is not uniquely determined by R, there is often a natural choice for C which is dictated by the manner in which R is constructed.
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]
  • 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 .
    [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]