∞-Stacks and Their Function Algebras
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Stack Completions and Morita Equivalence for Categories in a Topos Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 20, No 4 (1979), P
CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES MARTA BUNGE Stack completions and Morita equivalence for categories in a topos Cahiers de topologie et géométrie différentielle catégoriques, tome 20, no 4 (1979), p. 401-436 <http://www.numdam.org/item?id=CTGDC_1979__20_4_401_0> © Andrée C. Ehresmann et les auteurs, 1979, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ CAHIERS DE TOPOLOGIE Vol. XX-4 (1979) ET GEOMETRIE DIFFERENTIELLE STACK COMPLETIONS AND MORITA EQUIVALENCE FOR CATEGORIES IN A TOPOS by Marta BUNGE 1) 0. INTRODUCTION. The origin of this paper can be traced back to one of a series of lectures given by F.W. Lawvere [10, Lecture V]. In it, Lawvere dealt for the case of an arbitrary topos S , with the notion of stack, a notion which, for Grothendieck toposes, had been considered by J. Giraud [6], and which is given relative to a site. A topos S may always be regarded as a site with the regular epi- morphism topology, and the notion of stack over S is then defined with respect to this particular topology. Special as it may be, this notion of stack over a topos S plays an important role in the development of Category Theory over a base to- pos S . -
Vector Bundles As Generators on Schemes and Stacks
Vector Bundles as Generators on Schemes and Stacks Inaugural-Dissertation zur Erlangung des Doktorgrades der Mathematisch-Naturwissenschaftlichen Fakult¨at der Heinrich-Heine-Universit¨atD¨usseldorf vorgelegt von Philipp Gross aus D¨usseldorf D¨usseldorf,Mai 2010 Aus dem Mathematischen Institut der Heinrich-Heine-Universit¨atD¨usseldorf Gedruckt mit der Genehmigung der Mathematisch-Naturwissenschaftlichen Fakult¨atder Heinrich-Heine-Universit¨atD¨usseldorf Referent: Prof. Dr. Stefan Schr¨oer Koreferent: Prof. Dr. Holger Reich Acknowledgments The work on this dissertation has been one of the most significant academic challenges I have ever had to face. This study would not have been completed without the support, patience and guidance of the following people. It is to them that I owe my deepest gratitude. I am indebted to my advisor Stefan Schr¨oerfor his encouragement to pursue this project. He taught me algebraic geometry and how to write academic papers, made me a better mathematician, brought out the good ideas in me, and gave me the opportunity to attend many conferences and schools in Europe. I also thank Holger Reich, not only for agreeing to review the dissertation and to sit on my committee, but also for showing an interest in my research. Next, I thank the members of the local algebraic geometry research group for their time, energy and for the many inspiring discussions: Christian Liedtke, Sasa Novakovic, Holger Partsch and Felix Sch¨uller.I have had the pleasure of learning from them in many other ways as well. A special thanks goes to Holger for being a friend, helping me complete the writing of this dissertation as well as the challenging research that lies behind it. -
Elements of -Category Theory Joint with Dominic Verity
Emily Riehl Johns Hopkins University Elements of ∞-Category Theory joint with Dominic Verity MATRIX seminar ∞-categories in the wild A recent phenomenon in certain areas of mathematics is the use of ∞-categories to state and prove theorems: • 푛-jets correspond to 푛-excisive functors in the Goodwillie tangent structure on the ∞-category of differentiable ∞-categories — Bauer–Burke–Ching, “Tangent ∞-categories and Goodwillie calculus” • 푆1-equivariant quasicoherent sheaves on the loop space of a smooth scheme correspond to sheaves with a flat connection as an equivalence of ∞-categories — Ben-Zvi–Nadler, “Loop spaces and connections” • the factorization homology of an 푛-cobordism with coefficients in an 푛-disk algebra is linearly dual to the factorization homology valued in the formal moduli functor as a natural equivalence between functors between ∞-categories — Ayala–Francis, “Poincaré/Koszul duality” Here “∞-category” is a nickname for (∞, 1)-category, a special case of an (∞, 푛)-category, a weak infinite dimensional category in which all morphisms above dimension 푛 are invertible (for fixed 0 ≤ 푛 ≤ ∞). What are ∞-categories and what are they for? It frames a possible template for any mathematical theory: the theory should have nouns and verbs, i.e., objects, and morphisms, and there should be an explicit notion of composition related to the morphisms; the theory should, in brief, be packaged by a category. —Barry Mazur, “When is one thing equal to some other thing?” An ∞-category frames a template with nouns, verbs, adjectives, adverbs, pronouns, prepositions, conjunctions, interjections,… which has: • objects • and 1-morphisms between them • • • • composition witnessed by invertible 2-morphisms 푓 푔 훼≃ ℎ∘푔∘푓 • • • • 푔∘푓 푓 ℎ∘푔 훾≃ witnessed by • associativity • ≃ 푔∘푓 훼≃ 훽 ℎ invertible 3-morphisms 푔 • with these witnesses coherent up to invertible morphisms all the way up. -
Diagrammatics in Categorification and Compositionality
Diagrammatics in Categorification and Compositionality by Dmitry Vagner Department of Mathematics Duke University Date: Approved: Ezra Miller, Supervisor Lenhard Ng Sayan Mukherjee Paul Bendich Dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the Graduate School of Duke University 2019 ABSTRACT Diagrammatics in Categorification and Compositionality by Dmitry Vagner Department of Mathematics Duke University Date: Approved: Ezra Miller, Supervisor Lenhard Ng Sayan Mukherjee Paul Bendich An abstract of a dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the Graduate School of Duke University 2019 Copyright c 2019 by Dmitry Vagner All rights reserved Abstract In the present work, I explore the theme of diagrammatics and their capacity to shed insight on two trends|categorification and compositionality|in and around contemporary category theory. The work begins with an introduction of these meta- phenomena in the context of elementary sets and maps. Towards generalizing their study to more complicated domains, we provide a self-contained treatment|from a pedagogically novel perspective that introduces almost all concepts via diagrammatic language|of the categorical machinery with which we may express the broader no- tions found in the sequel. The work then branches into two seemingly unrelated disciplines: dynamical systems and knot theory. In particular, the former research defines what it means to compose dynamical systems in a manner analogous to how one composes simple maps. The latter work concerns the categorification of the slN link invariant. In particular, we use a virtual filtration to give a more diagrammatic reconstruction of Khovanov-Rozansky homology via a smooth TQFT. -
X → S Be a Proper Morphism of Locally Noetherian Schemes and Let F Be a Coherent Sheaf on X That Is flat Over S (E.G., F Is Smooth and F Is a Vector Bundle)
COHOMOLOGY AND BASE CHANGE FOR ALGEBRAIC STACKS JACK HALL Abstract. We prove that cohomology and base change holds for algebraic stacks, generalizing work of Brochard in the tame case. We also show that Hom-spaces on algebraic stacks are represented by abelian cones, generaliz- ing results of Grothendieck, Brochard, Olsson, Lieblich, and Roth{Starr. To accomplish all of this, we prove that a wide class of relative Ext-functors in algebraic geometry are coherent (in the sense of M. Auslander). Introduction Let f : X ! S be a proper morphism of locally noetherian schemes and let F be a coherent sheaf on X that is flat over S (e.g., f is smooth and F is a vector bundle). If s 2 S is a point, then define Xs to be the fiber of f over s. If s has residue field κ(s), then for each integer q there is a natural base change morphism of κ(s)-vector spaces q q q b (s):(R f∗F) ⊗OS κ(s) ! H (Xs; FXs ): Cohomology and Base Change originally appeared in [EGA, III.7.7.5] in a quite sophisticated form. Mumford [Mum70, xII.5] and Hartshorne [Har77, xIII.12], how- ever, were responsible for popularizing a version similar to the following. Let s 2 S and let q be an integer. (1) The following are equivalent. (a) The morphism bq(s) is surjective. (b) There exists an open neighbourhood U of s such that bq(u) is an iso- morphism for all u 2 U. (c) There exists an open neighbourhood U of s, a coherent OU -module Q, and an isomorphism of functors: Rq+1(f ) (F ⊗ f ∗ I) =∼ Hom (Q; I); U ∗ XU OXU U OU where fU : XU ! U is the pullback of f along U ⊆ S. -
The Hecke Bicategory
Axioms 2012, 1, 291-323; doi:10.3390/axioms1030291 OPEN ACCESS axioms ISSN 2075-1680 www.mdpi.com/journal/axioms Communication The Hecke Bicategory Alexander E. Hoffnung Department of Mathematics, Temple University, 1805 N. Broad Street, Philadelphia, PA 19122, USA; E-Mail: [email protected]; Tel.: +215-204-7841; Fax: +215-204-6433 Received: 19 July 2012; in revised form: 4 September 2012 / Accepted: 5 September 2012 / Published: 9 October 2012 Abstract: We present an application of the program of groupoidification leading up to a sketch of a categorification of the Hecke algebroid—the category of permutation representations of a finite group. As an immediate consequence, we obtain a categorification of the Hecke algebra. We suggest an explicit connection to new higher isomorphisms arising from incidence geometries, which are solutions of the Zamolodchikov tetrahedron equation. This paper is expository in style and is meant as a companion to Higher Dimensional Algebra VII: Groupoidification and an exploration of structures arising in the work in progress, Higher Dimensional Algebra VIII: The Hecke Bicategory, which introduces the Hecke bicategory in detail. Keywords: Hecke algebras; categorification; groupoidification; Yang–Baxter equations; Zamalodchikov tetrahedron equations; spans; enriched bicategories; buildings; incidence geometries 1. Introduction Categorification is, in part, the attempt to shed new light on familiar mathematical notions by replacing a set-theoretic interpretation with a category-theoretic analogue. Loosely speaking, categorification replaces sets, or more generally n-categories, with categories, or more generally (n + 1)-categories, and functions with functors. By replacing interesting equations by isomorphisms, or more generally equivalences, this process often brings to light a new layer of structure previously hidden from view. -
The Orbifold Chow Ring of Toric Deligne-Mumford Stacks
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 18, Number 1, Pages 193–215 S 0894-0347(04)00471-0 Article electronically published on November 3, 2004 THE ORBIFOLD CHOW RING OF TORIC DELIGNE-MUMFORD STACKS LEVA.BORISOV,LINDACHEN,ANDGREGORYG.SMITH 1. Introduction The orbifold Chow ring of a Deligne-Mumford stack, defined by Abramovich, Graber and Vistoli [2], is the algebraic version of the orbifold cohomology ring in- troduced by W. Chen and Ruan [7], [8]. By design, this ring incorporates numerical invariants, such as the orbifold Euler characteristic and the orbifold Hodge num- bers, of the underlying variety. The product structure is induced by the degree zero part of the quantum product; in particular, it involves Gromov-Witten invariants. Inspired by string theory and results in Batyrev [3] and Yasuda [28], one expects that, in nice situations, the orbifold Chow ring coincides with the Chow ring of a resolution of singularities. Fantechi and G¨ottsche [14] and Uribe [25] verify this conjecture when the orbifold is Symn(S)whereS is a smooth projective surface n with KS = 0 and the resolution is Hilb (S). The initial motivation for this project was to compare the orbifold Chow ring of a simplicial toric variety with the Chow ring of a crepant resolution. To achieve this goal, we first develop the theory of toric Deligne-Mumford stacks. Modeled on simplicial toric varieties, a toric Deligne-Mumford stack corresponds to a combinatorial object called a stacky fan. As a first approximation, this object is a simplicial fan with a distinguished lattice point on each ray in the fan. -
Why Category Theory?
The beginning of topology Categorification of the concepts Category theory as a research field Grothendieck's n-categories Why category theory? Daniel Tubbenhauer - 02.04.2012 Georg-August-Universit¨at G¨ottingen Gr G ACT Cat C Hom(-,O) GRP Free - / [-,-] Forget (-) ι (-) Δ SET n=1 -x- Forget Free K(-,n) CxC n>1 AB π (-) n TOP Hom(-,-) * Drop (-) Forget * Hn Free op TOP Join AB * K-VS V - Hom(-,V) The beginning of topology Categorification of the concepts Category theory as a research field Grothendieck's n-categories A generalisation of well-known notions Closed Total Associative Unit Inverses Group Yes Yes Yes Yes Yes Monoid Yes Yes Yes Yes No Semigroup Yes Yes Yes No No Magma Yes Yes No No No Groupoid Yes No Yes Yes Yes Category No No Yes Yes No Semicategory No No Yes No No Precategory No No No No No The beginning of topology Categorification of the concepts Category theory as a research field Grothendieck's n-categories Leonard Euler and convex polyhedron Euler's polyhedron theorem Polyhedron theorem (1736) 3 Let P ⊂ R be a convex polyhedron with V vertices, E edges and F faces. Then: χ = V − E + F = 2: Here χ denotes the Euler Leonard Euler (15.04.1707-18.09.1783) characteristic. The beginning of topology Categorification of the concepts Category theory as a research field Grothendieck's n-categories Leonard Euler and convex polyhedron Euler's polyhedron theorem Polyhedron theorem (1736) 3 Polyhedron E K F χ Let P ⊂ R be a convex polyhedron with V vertices, E Tetrahedron 4 6 4 2 edges and F faces. -
RESEARCH STATEMENT 1. Introduction My Interests Lie
RESEARCH STATEMENT BEN ELIAS 1. Introduction My interests lie primarily in geometric representation theory, and more specifically in diagrammatic categorification. Geometric representation theory attempts to answer questions about representation theory by studying certain algebraic varieties and their categories of sheaves. Diagrammatics provide an efficient way of encoding the morphisms between sheaves and doing calculations with them, and have also been fruitful in their own right. I have been applying diagrammatic methods to the study of the Iwahori-Hecke algebra and its categorification in terms of Soergel bimodules, as well as the categorifications of quantum groups; I plan on continuing to research in these two areas. In addition, I would like to learn more about other areas in geometric representation theory, and see how understanding the morphisms between sheaves or the natural transformations between functors can help shed light on the theory. After giving a general overview of the field, I will discuss several specific projects. In the most naive sense, a categorification of an algebra (or category) A is an additive monoidal category (or 2-category) A whose Grothendieck ring is A. Relations in A such as xy = z + w will be replaced by isomorphisms X⊗Y =∼ Z⊕W . What makes A a richer structure than A is that these isomorphisms themselves will have relations; that between objects we now have morphism spaces equipped with composition maps. 2-category). In their groundbreaking paper [CR], Chuang and Rouquier made the key observation that some categorifications are better than others, and those with the \correct" morphisms will have more interesting properties. Independently, Rouquier [Ro2] and Khovanov and Lauda (see [KL1, La, KL2]) proceeded to categorify quantum groups themselves, and effectively demonstrated that categorifying an algebra will give a precise notion of just what morphisms should exist within interesting categorifications of its modules. -
CAREER: Categorical Representation Theory of Hecke Algebras
CAREER: Categorical representation theory of Hecke algebras The primary goal of this proposal is to study the categorical representation theory (or 2- representation theory) of the Iwahori-Hecke algebra H(W ) attached to a Coxeter group W . Such 2-representations (and related structures) are ubiquitous in classical representation theory, includ- ing: • the category O0(g) of representations of a complex semisimple lie algebra g, introduced by Bernstein, Gelfand, and Gelfand [9], or equivalently, the category Perv(F l) of perverse sheaves on flag varieties [75], • the category Rep(g) of finite dimensional representations of g, via the geometric Satake equivalence [44, 67], • the category Rat(G) of rational representations an algebraic group G (see [1, 78]), • and most significantly, integral forms and/or quantum deformations of the above, which can be specialized to finite characteristic or to roots of unity. Categorical representation theory is a worthy topic of study in its own right, but can be viewed as a fantastic new tool with which to approach these classical categories of interest. In §1 we define 2-representations of Hecke algebras. One of the major questions in the field is the computation of local intersection forms, and we mention some related projects. In §2 we discuss a project, joint with Geordie Williamson and Daniel Juteau, to compute local intersection forms in the antispherical module of an affine Weyl group, with applications to rational representation theory and quantum groups at roots of unity. In §3 we describe a related project, partially joint with Benjamin Young, to describe Soergel bimodules for the complex reflection groups G(m,m,n). -
Moduli Stack of Oriented Formal Groups and Periodic Complex Bordism
MODULI STACK OF ORIENTED FORMAL GROUPS AND PERIODIC COMPLEX BORDISM ROK GREGORIC or Abstract. We study the non-connective spectral stack MFG, the moduli stack of ori- ented formal groups in the sense of Lurie. We show that its descent spectral sequence recovers the Adams-Novikov spectral sequence. For two E -forms of periodic complex bordism MP, the Thom spectrum and Snaith construction model, we describe the univer- ∞ or sal property of the cover Spec(MP) → MFG. We show that Quillen’s celebrated theorem on complex bordism is equivalent to the assertion that the underlying ordinary stack of or MFG is the classical stack of ordinary formal groups MFG. In order to carry out all of the above, we develop foundations of a functor of points approach♡ to non-connective spectral algebraic geometry. Introduction The goal of this paper is to show that the connection between the homotopy category of spectra and formal groups, which is at the heart of chromatic homotopy theory, may be interpreted in terms of spectral algebraic geometry. By formal group, we mean a smooth 1-dimensional commutative formal group, as is traditional in homotopy theory. These are classified by an algebro-geometric moduli stack, the moduli stack of formal groups, which ♡ we shall denote MFG. Here and in the rest of the paper, we will use the heart symbol ♡ in the subscript to emphasize the classical nature of algebro-geometric objects considered, in contrast to spectral algebro-geometric objects which will be our main focus. This notation is motivated by the fact that ordinary abelian groups sit inside spectra as the heart of the usual t- ♡ structure. -
Combinatorics, Categorification, and Crystals
Combinatorics, Categorification, and Crystals Monica Vazirani UC Davis November 4, 2017 Fall Western Sectional Meeting { UCR Monica Vazirani (UC Davis ) Combinatorics, Categorification & Crystals Nov 4, 2017 1 / 39 I. The What? Why? When? How? of Categorification II. Focus on combinatorics of symmetric group Sn, crystal graphs, quantum groups Uq(g) Monica Vazirani (UC Davis ) Combinatorics, Categorification & Crystals Nov 4, 2017 2 / 39 from searching titles ::: Special Session on Combinatorial Aspects of the Polynomial Ring Special Session on Combinatorial Representation Theory Special Session on Non-Commutative Birational Geometry, Cluster Structures and Canonical Bases Special Session on Rational Cherednik Algebras and Categorification and more ··· Monica Vazirani (UC Davis ) Combinatorics, Categorification & Crystals Nov 4, 2017 3 / 39 Combinatorics ··· ; ··· ··· Monica Vazirani (UC Davis ) Combinatorics, Categorification & Crystals Nov 4, 2017 4 / 39 Representation theory of the symmetric group Branching Rule: Restriction and Induction n n The graph encodes the functors Resn−1 and Indn−1 of induction and restriction arising from Sn−1 ⊆ Sn: Example (multiplicity free) × × ResS4 S = S ⊕ S S3 (3) 4 (3;1) (2;1) 4 (3;1) or dim Hom(S ; Res3 S ) = 1, dim Hom(S ; Res3 S ) = 1 Monica Vazirani (UC Davis ) Combinatorics, Categorification & Crystals Nov 4, 2017 5 / 39 label diagonals ··· ; ··· ··· Monica Vazirani (UC Davis ) Combinatorics, Categorification & Crystals Nov 4, 2017 6 / 39 label diagonals 0 1 2 3 ··· −1 0 1 2 ··· −2 −1 0 1 ··· 0 ··· . Monica