SUMMER SCHOOL ON DERIVED CATEGORIES NANTES, JUNE 23-27, 2014
|
|
|
- Lorin Dorthy Owens
- 6 years ago
- Views:
Transcription
1 SUMMER SCHOOL ON DERIVED CATEGORIES NANTES, JUNE 23-27, 2014 D. GAITSGORY 1.1. Introduction. 1. Lecture I: the basics Why derived algebraic geometry? a) Fiber products. b) Deformation theory. c) Naturally defined moduli problems What we want to do? a) Want to develop the formalism of quasi-coherent (rather ind-coherent) sheaves that will include D-modules. b) Explain why the tangent space of a group is a Lie algebra (when one can t write formulas). c) Develop some basic infinitesimal geometry (e.g., differential operators) Key concepts. a) Inf-schemes will be our geometric objects. They will be accessed via their tangent complexes. b) Ind-coherent sheaves on an inf-scheme will be the derived (rather, DG) category that we will study. c) Group inf-schemes will be related to Lie algebras via the Koszul-Quillen duality Deformation Theory. The material here is taken from [Def] Push-outs of schemes. a) Push-outs of affine schemes (Sect. 1.1). b) Push-outs of a closed nil-isomorphism (Lemma 1.4.2) Deformation theory via push-outs. a) The notion of convergence for prestacks. b) Take Prop as the definition of admitting deformation theory. c) Explain that schemes admit deformation theory. d) Say that Artin stacks admit deformation theory (Sect. 7.4). Date: June 20,
2 2 D. GAITSGORY (Pro)-cotangent spaces. a) Split square-zero extensions (Sect. 2.1). b) The condition of admitting a pro-cotangent space (Defn ). c) Deformation theory implies admitting pro-cotangent spaces (an exercise). d) Extension as a functor QCoh(S) Vect (Sects and 2.2.5). e) Cotangent spaces (Defn 2.2.9) (Pro)-cotangent complex. a) Functoriality of pro-cotangent spaces (Sects ). b) The condition of admitting a pro-cotangent complex (Defn ) Deformation theory via infinitesimal cohesiveness (tutorial). a) Square-zero extensions (Sects. 5.1, 5.4, 5.5). b) Infinitesimal cohesiveness (Sects. 6.1, 6.2, Cor ) Inf-schemes. The material here is taken from [InfSch] Notion of laft prestack. a) The definition of the laft property. b) Laft prestacks as functors on <0 DGSch aff ft Notion of inf-scheme. a) Definition of inf-schemes (Defn ). a ) Comment on relation to ind-schemes. b) Example of formal completion. c) Example of de Rham prestack. c ) Relative de Rham prestack. d) Preview: Bg Exhibiting inf-schemes as colimits. a) Cofinality statement: Prop and Cor b) Construction of inf-schemes (Prop ) Inf-schemes vs formal schemes (tutorial). a) The notions of ind-scheme and formal scheme (Sect. 1.1 and 1.8). b) An ind-schemes is recovered from its closed subschemes (Prop and Cor ). c) A deformation theory criterion for being an ind-scheme (Cor ) Ind-coherent sheaves on inf-schemes.
3 SUMMER SCHOOL ON DERIVED CATEGORIES NANTES, JUNE 23-27, Recap on IndCoh. The material here is taken from [Sch] and [Corr]. a) IndCoh on a scheme ([Sch, Sect. 1]). b) Direct image ([Sch, Sect. 2]). c)!-pullback ([Sch, Sect. 5.1]). d) Base change ([Sch, Secta. 5.2 and 5.3]). e) Formalism of correspondences ([Corr, Sect. 2]) Existence of f IndCoh. The material here is taken from [IndonSch, Sect. 4]. a) Existence of the left adjoint to f! for an inf-schematic nil-isomorphisms (Prop ). a ) Example: Lie algebra homology. a ) Induced D-modules. b) Construction of direct image as a left Kan extension (Sect. 4.3) Extension to correspondences. The material here is taken from [IndonSch, Sect. 5]. a) Want we want to achieve. b) Verifying the conditions Applications to crystals. The material here is taken from [Crys]. a) The functor of de Rham direct image (Sect. 1.4). b) D-mod as a functor from the category of correspondences (Sect. 2). 2. Lecture II: Lie algebras and group inf-schemes 2.1. Formal moduli problems à la Lurie. The material here is taken from [Form] Groupoids and groups. The material here is taken from [Form, Sect. 2.1]. a) The notion of groupoid. b) Quotient by a groupoid. c) Groups Groupoids in formal geometry. The material here is taken from [Form, Sects ]. a) The notion of formal moduli problem. b) The procedure of taking the quotient by a groupoid the main theorem. c) Some examples. d) The case of groups Sketch of proof. The material here is taken from [Form, Sects ]. a) Construction of the quotient. b) Verification of deformation theory Review of Quillen duality. The material here is taken from [Lie].
4 4 D. GAITSGORY Lie algebras and the Chevalley complex. a) Lie algebras in a symmetric monoidal DG category (Sect. 1.1). b) The Chevalley complex and its enhancement (Sect. 1.4). c) The functor of primitives (Sect. 1.5). d) Koszul-Quillen duality (Sect. 1.6). e) Primitives of the symmetric co-algebra (Sect. 1.7) Looping Lie algebras. a) Group Lie algebras (Sects ). b) Chevalley complex of a group Lie algebra (Sects ). c) Relation to the universal enveloping algebra (Sect. 4.1) d) Relation to the PBW theorem The exponential construction Digression: tangent spaces. The material here is taken from [Def, 3.3]. a) Laft objects of Pro(QCoh(X) ). b) Relation to the laft condition on prestacks. c) Duality with IndCoh(X). d) The notion of tangent space and tangent complex Formal moduli problems and co-commutative co-algebras. The material here is taken from [Exp, Sects. 1 and 2]. a) Co-commutative co-algebras associated to formal moduli problems (Sects ). b) The functor of inf-spectrum (Sects ). c) Inf-affineness (Sect. 2) Lie algebras and formal groups. The material here is taken from [Exp, Sects. 3 and 4]. a) From Lie algebras to formal groups: the exponential construction (Sect. 3.1). b) The inverse functor (Sect. 3.2). c) Summary: Lie algebras vs formal groups vs formal moduli problems (Sects. 3.3 and 3.6). d) Sketch of the proof (Sect. 4).
5 SUMMER SCHOOL ON DERIVED CATEGORIES NANTES, JUNE 23-27, References [Sch] Part II.1: Ind-coherent sheaves on schemes [Corr] Part II.2: The!-pullback and base change [Def] Part III.1: Deformation Theory [InfSch] Part III.2: Ind-inf-schemes [IndonSch] Part III.3: Ind-coherent sheaves on ind-inf-schemes [Crys] Part III.4: An application: crystals [Lie] Part IV.1: Lie algebras and co-commutative co-algebras [Form] Part IV.2: Formal moduli [Exp] Part IV.3: Formal groups and Lie algebras [Alg] Part IV.4: Lie Algebroids
PART 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
INTRODUCTION 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
PART 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.
CHAPTER 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
LIE THEORY FROM THE POINT OF VIEW OF DERIVED ALGEBRAIC GEOMETRY. 1. Introduction
LIE THEORY FROM THE POINT OF VIEW OF DERIVED ALGEBRAIC GEOMETRY DENNIS GAITSGORY Warning. These are rough notes that were taken during the lecture. 1.1. Let X be... 1. Introduction 1.2.... That s not how
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
arxiv: v6 [math.ag] 29 Nov 2013
![arxiv: v6 [math.ag] 29 Nov 2013](/thumbs/74/70168175.jpg "arxiv: 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
CHAPTER 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
INTRODUCTION 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
CHAPTER 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
NOTES 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
IndCoh 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
Ind-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
On 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,
PART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
Introduction to derived algebraic geometry
Introduction to derived algebraic geometry Bertrand Toën Our main goal throughout these lectures will be the explicate the notion of a derived Artin stack. We will avoid homotopy theory wherever possible.
370 INDEX AND NOTATION
Index and Notation action of a Lie algebra on a commutative! algebra 1.4.9 action of a Lie algebra on a chiral algebra 3.3.3 action of a Lie algebroid on a chiral algebra 4.5.4, twisted 4.5.6 action of
IND-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,
Loop group actions on categories and Whittaker invariants. Dario Beraldo
Loop group actions on categories and Whittaker invariants by Dario Beraldo A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in
COHERENT 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
Derived Algebraic Geometry X: Formal Moduli Problems
Derived Algebraic Geometry X: Formal Moduli Problems November 5, 2011 Contents 1 Deformation Theories: Axiomatic Approach 8 1.1 Formal Moduli Problems....................................... 9 1.2 The Tangent
What 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
Derived 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
Darboux theorems for shifted symplectic derived schemes and stacks
Darboux theorems for shifted symplectic derived schemes and stacks Lecture 1 of 3 Dominic Joyce, Oxford University January 2014 Based on: arxiv:1305.6302 and arxiv:1312.0090. Joint work with Oren Ben-Bassat,
APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES
![APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES](/thumbs/93/118026627.jpg "APPENDIX 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,
Homology 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
arxiv: v1 [math.ag] 31 Dec 2018
![arxiv: v1 [math.ag] 31 Dec 2018](/thumbs/93/111587832.jpg "arxiv: v1 [math.ag] 31 Dec 2018")
Relative Calabi-Yau structures II: Shifted Lagrangians in the moduli of objects arxiv:1812.11913v1 [math.ag] 31 Dec 2018 Christopher Brav and Tobias Dyckerhoff January 1, 2019 Abstract We show that a Calabi-Yau
JOHN FRANCIS. 1. Motivation
POINCARÉ-KOSZUL DUALITY JOHN FRANCIS Abstract. For g a dgla over a field of characteristic zero, the dual of the Hochschild homology of the universal enveloping algebra of g completes to the Hochschild
Derived Algebraic Geometry XIV: Representability Theorems
Derived Algebraic Geometry XIV: Representability Theorems March 14, 2012 Contents 1 The Cotangent Complex 6 1.1 The Cotangent Complex of a Spectrally Ringed -Topos.................... 7 1.2 The Cotangent
Introduction 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
ALGEBRAIC STACKS. Acknowledgements: The author warmly thanks Dennis Gaitsgory for valuable suggestions and proofreading!
ALGEBRAIC STACKS ANATOLY PREYGEL SEPTEMBER 27, 2009 Acknowledgements: The author warmly thanks Dennis Gaitsgory for valuable suggestions and proofreading! 1. Introduction Our goal is roughly to explain
DERIVED 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
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
Vertex algebras, chiral algebras, and factorisation algebras
Vertex algebras, chiral algebras, and factorisation algebras Emily Cliff University of Illinois at Urbana Champaign 18 September, 2017 Section 1 Vertex algebras, motivation, and road-plan Definition A
Characters in Categorical Representation Theory
Characters in Categorical Representation Theory David Ben-Zvi University of Texas at Austin Symplectic Algebraic eometry and Representation Theory, CIRM, Luminy. July 2012 Overview Describe ongoing joint
BRAVE 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
PARABOLIC 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
Deformation 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:
CHAPTER 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
IND-COHERENT COMPLEXES ON LOOP SPACES AND CONNECTIONS ANATOLY PREYGEL JANUARY 28, 2017
IND-COHERENT COMPLEXES ON LOOP SPACES AND CONNECTIONS ANATOLY PREYGEL JANUARY 28, 2017 Contents 1. Introduction 1 1.1. Decategorified results 2 1.2. Main results small categories 2 1.3. Main results large
TALK 2 (MONDAY, SEPT. 18, 2017): THE RELATIVE FARGUES-FONTAINE CURVE, PART I
TALK 2 (MONDAY, EPT. 18, 2017): THE RELATIVE FARGUE-FONTAINE CURVE, PART I DENNI GAITGORY Contents 1. Geometerization of local Langlands 1 1.1. The quotient by Frobenius-twisted conjugacy 1 1.2. Introducing
STACKY HOMOTOPY THEORY
STACKY HOMOTOPY THEORY GABE ANGEINI-KNO AND EVA BEMONT 1. A stack by any other name... argely due to the influence of Mike Hopkins and collaborators, stable homotopy theory has become closely tied to moduli
CHIRAL CATEGORIES SAM RASKIN
CHIRAL CATEGORIES SAM RASKIN Contents 1. Introduction 1 2. Conventions 5 3. A guide for the perplexed 9 4. Lax prestacks and the unital Ran space 15 5. Multiplicative sheaves and correspondences 27 6.
Derived completion for comodules
manuscripta math. The Author(s) 2019 Tobias Barthel Drew Heard Gabriel Valenzuela Derived completion for comodules Received: 8 October 2018 / Accepted: 28 November 2018 Abstract. The objective of this
BASIC MODULI THEORY YURI J. F. SULYMA
BASIC MODULI THEORY YURI J. F. SULYMA Slogan 0.1. Groupoids + Sites = Stacks 1. Groupoids Definition 1.1. Let G be a discrete group acting on a set. Let /G be the category with objects the elements of
Non 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
DEFORMATION THEORY. Candidato: Mattia Talpo. Relatore: Prof. Angelo Vistoli. Controrelatore: Dott. Michele Grassi
FACOLTÀ DI SCIENZE MATEMATICHE, FISICHE E NATURALI Dipartimento di Matematica DEFORMATION THEORY Tesi di Laurea Specialistica Candidato: Mattia Talpo Relatore: Prof. Angelo Vistoli Scuola Normale Superiore
DERIVED HAMILTONIAN REDUCTION
DERIVED HAMILTONIAN REDUCTION PAVEL SAFRONOV 1. Classical definitions 1.1. Motivation. In classical mechanics the main object of study is a symplectic manifold X together with a Hamiltonian function H
CHAPTER 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
VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY
VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute
FORMAL DEFORMATIONS OF CATEGORIES
FORML DEFORMTIONS OF CTEGORIES NTHONY BLNC, LUDMIL KTZRKOV, PRNV PNDIT bstract. Let be a field. In this paper we use the theory of formal moduli problems developped by Lurie in order to study the space
Derived algebraic geometry
EMS Surv. Math. Sci. 1 (2014), 153 240 DOI 10.4171/EMSS/4 EMS Surveys in Mathematical Sciences c European Mathematical Society Derived algebraic geometry Bertrand Toën Abstract. This text is a survey of
CONTRACTIBILITY OF THE SPACE OF RATIONAL MAPS
CONTRACTIBILITY OF THE SPACE OF RATIONAL MAPS DENNIS GAITSGORY For Sasha Beilinson Abstract. We define an algebro-geometric model for the space of rational maps from a smooth curve to an algebraic group
Connecting Coinvariants
Connecting Coinvariants In his talk, Sasha taught us how to define the spaces of coinvariants: V 1,..., V n = V 1... V n g S out (0.1) for any V 1,..., V n KL κg and any finite set S P 1. In her talk,
Derived Algebraic Geometry Over E n -Rings. John Francis
Derived Algebraic Geometry Over E n -Rings John Francis Contents Chapter 1. Introduction 5 Chapter 2. Operad Algebras in -Categories 9 1. Operads 9 2. Algebras over an Operad 10 3. Operadic -Categories
ON TAME STACKS IN POSITIVE CHARACTERISTIC
ON TAME STACKS IN POSITIVE CHARACTERISTIC DAN ABRAMOVICH, MARTIN OLSSON, AND ANGELO VISTOLI Contents 1. Linearly reductive finite group schemes 1 2. Tame stacks 13 3. Twisted stable maps 20 4. Reduction
ALGEBRAIC 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
NOTES 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
LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
REPRESENTABILITY OF DERIVED STACKS
REPRESENTABILITY OF DERIVED STACKS J.P.PRIDHAM Abstract. Lurie s representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack.
Derived Algebraic Geometry
Derived Algebraic Geometry B. Toën CNRS Université de Montpellier2 April 2014 Abstract This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject
Derivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
Derived intersections and the Hodge theorem
Derived intersections and the Hodge theorem Abstract The algebraic Hodge theorem was proved in a beautiful 1987 paper by Deligne and Illusie, using positive characteristic methods. We argue that the central
arxiv: v4 [math.ag] 10 Apr 2014
![arxiv: v4 [math.ag] 10 Apr 2014](/thumbs/76/73273948.jpg "arxiv: v4 [math.ag] 10 Apr 2014")
Derived Algebraic Geometry and Deformation Quantization arxiv:1403.6995v4 [math.ag] 10 Apr 2014 Bertrand Toën Abstract. This is a report on recent progress concerning the interactions between derived algebraic
PBW for an inclusion of Lie algebras
PBW for an inclusion of Lie algebras Damien Calaque, Andrei Căldăraru, Junwu Tu Abstract Let h g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module
Quotient Stacks. Jacob Gross. Lincoln College. 8 March 2018
Quotient Stacks Jacob Gross Lincoln College 8 March 2018 Abstract These are notes from a talk on quotient stacks presented at the Reading Group on Algebraic Stacks; meeting weekly in the Quillen Room of
arxiv: v3 [math.at] 17 Jul 2015
![arxiv: v3 [math.at] 17 Jul 2015](/thumbs/72/67023099.jpg "arxiv: v3 [math.at] 17 Jul 2015")
MODULI STACKS OF ALGEBRAIC STRUCTURES AND DEFORMATION THEORY arxiv:1411.5177v3 [math.at] 17 Jul 2015 SINAN YALIN Abstract. We connect the homotopy type of simplicial moduli spaces of algebraic structures
Preliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
arxiv:math/ v7 [math.ag] 14 Mar 2006
![arxiv:math/ v7 [math.ag] 14 Mar 2006](/thumbs/74/71165876.jpg "arxiv:math/ v7 [math.ag] 14 Mar 2006")
arxiv:math/0404373v7 [math.ag] 14 Mar 2006 Homotopical Algebraic Geometry II: geometric stacks and applications Bertrand Toën Gabriele Vezzosi Laboratoire Emile Picard UMR CNRS 5580, Université Paul Sabatier,
Tensor Categories and Representation Theory
Tensor Categories and Representation Theory Seminar at the HU Berlin, Summer 2017 Thomas Krämer Date and Venue: Friday, 15-17 h, Room 1.115 / RUD 25 Prerequisites: Inscription: At some Fridays we may start
Categories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
INTEGRAL TRANSFORMS FOR COHERENT SHEAVES
INTEGRAL TRANSFORMS FOR COHERENT SHEAVES DAVID BEN-ZVI, DAVID NADLER, AND ANATOLY PREYGEL Abstract. The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well
PICARD GROUPS OF MODULI PROBLEMS II
PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may
THE 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
Symplectic algebraic geometry and quiver varieties
Symplectic algebraic geometry and quiver varieties Victor Ginzburg Lecture notes by Tony Feng Contents 1 Deformation quantization 2 1.1 Deformations................................. 2 1.2 Quantization..................................
Homotopy types of algebraic varieties
Homotopy types of algebraic varieties Bertrand Toën These are the notes of my talk given at the conference Theory of motives, homotopy theory of varieties, and dessins d enfants, Palo Alto, April 23-26,
The Affine Grassmannian
1 The Affine Grassmannian Chris Elliott March 7, 2013 1 Introduction The affine Grassmannian is an important object that comes up when one studies moduli spaces of the form Bun G (X), where X is an algebraic
Factorization algebras in quantum field theory Volume 2 (28 April 2016) Kevin Costello and Owen Gwilliam
Factorization algebras in quantum field theory Volume 2 (28 April 2016) Kevin Costello and Owen Gwilliam Contents Chapter 1. Overview 1 1.1. Classical field theory and factorization algebras 1 1.2. Quantum
We then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
Algebraic 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
Motivic 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
REMARKS 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
The moduli stack of vector bundles on a curve
The moduli stack of vector bundles on a curve Norbert Hoffmann norbert.hoffmann@fu-berlin.de Abstract This expository text tries to explain briefly and not too technically the notions of stack and algebraic
Seminar on Crystalline Cohomology
Seminar on Crystalline Cohomology Yun Hao November 28, 2016 Contents 1 Divided Power Algebra October 31, 2016 1 1.1 Divided Power Structure.............................. 1 1.2 Extension of Divided Power
Lectures 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
LECTURE 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
h M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
The derived moduli stack of shifted symplectic. structures.
Rend. Sem. Mat. Univ. Padova, DRFT, 1 22 The derived moduli stack of shifted symplectic structures Samuel Bach ( ) Valerio Melani ( ) bstract We introduce and study the derived moduli stack Symp(X, n)
Symplectic varieties and Poisson deformations
Symplectic varieties and Poisson deformations Yoshinori Namikawa A symplectic variety X is a normal algebraic variety (defined over C) which admits an everywhere non-degenerate d-closed 2-form ω on the
Math 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).
MODULI 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.
THE SEMI-INFINITE INTERSECTION COHOMOLOGY SHEAF-II: THE RAN SPACE VERSION
THE SEM-NFNTE NTERSECTON COHOMOLOGY SHEAF-: THE RAN SPACE VERSON DENNS GATSGORY Abstract. This paper is a sequel to [Ga1]. We study the semi-infinite category on the version of the affine Grassmannian,
MODULI TOPOLOGY. 1. Grothendieck Topology
MODULI TOPOLOG Abstract. Notes from a seminar based on the section 3 of the paper: Picard groups of moduli problems (by Mumford). 1. Grothendieck Topology We can define a topology on any set S provided
We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
An Atlas For Bun r (X)
An Atlas For Bun r (X) As told by Dennis Gaitsgory to Nir Avni October 28, 2009 1 Bun r (X) Is Not Of Finite Type The goal of this lecture is to find a smooth atlas locally of finite type for the stack
Deformation theory of algebraic structures
Deformation theory of algebraic structures Second Congrès Canada-France June 2008 (Bruno Vallette) Deformation theory of algebraic structures June 2008 1 / 22 Data: An algebraic structure P A vector space
Shifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory
Shifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory Lecture 2 of 3:. D-critical loci and perverse sheaves Dominic Joyce, Oxford University KIAS, Seoul, July 2018
1 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