DOCSLIB.ORG

Arxiv:1807.03281V7 [Math.AT] 23 Aug 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Exodromy Clark Barwick Saul Glasman Peter Haine August 21, 2020 Abstract Let X be a quasicompact quasiseparated scheme. Write Gal.X/ for the category whose objects are geometric points of X and whose morphisms are specializations in the étale topology. We define a natural profinite topology on the category Gal.X/ that globalizes the topologies of the absolute Galois groups of the residue fields of the points of X. One of the main results of this book is that Gal.X/ variant of MacPherson’s exit-path category suitable for the étale topology: we construct an equivalence between representations of Gal.X/ and constructible sheaves on X. We show that this exodromy equivalence holds with nonabelian coefficients and with finite abelian coefficients. More generally, by using the pyknotic/condensed formalism, we extend this equivalence to coefficients in the category of modules over profinite rings and algebraic extensions of Ql. As an ‘exit-path category’, the topological category Gal.X/ also gives rise to a new, concrete description of the étale homotopy type of X. We also prove a higher categorical form of Hochster Duality, which recon- structs the entire étale topos of a quasicompact and quasiseparated scheme from the topological category Gal.X/. Appealing to Voevodsky’s proof of a conjecture of Grothendieck, we prove the following reconstruction theorem for normal varieties over a finitely generated field k of characteristic 0: the functor X ­ Gal.X/ from normal k-varieties to topological categories with an action of Gk and equivariant functors that preserve minimal objects is fully faithful. arXiv:1807.03281v7 [math.AT] 23 Aug 2020 1 Contents 0 Introduction6 0.1 Monodromy for topological spaces...................8 0.2 Monodromy for schemes and topoi...................9 0.3 Exodromy for stratified topological spaces............... 11 0.4 Exodromy for higher topoi: ∞-Categorical Hochster Duality..... 12 0.5 Exodromy for schemes & the Reconstruction Theorem........ 15 0.6 Extending exodromy: coefficients & l-adic sheaves.......... 16 0.7 Other roles of Gal.X/ .......................... 17 0.8 Technical overview........................... 19 0.9 Open problems............................. 20 0.10 Acknowledgements........................... 20 0.11 Terminology & notations........................ 21 I Stratified spaces 28 1 Aide-mémoire on the topology of posets & profinite posets 29 1.1 Alexandroff Duality........................... 29 1.2 Stratifications of topological spaces.................. 31 1.3 Hochster Duality............................ 31 1.4 Profinite stratifications......................... 33 2 The homotopy theory of stratified spaces 34 2.1 Stratified spaces as ∞-categories with a conservative functor to a poset 34 2.2 Functoriality in the poset........................ 36 2.3 The stratified Postnikov tower..................... 38 2.4 π-finite stratified spaces......................... 39 2.5 Profinite stratified spaces........................ 41 2.6 Complete Segal spaces & spatial décollages.............. 43 2.7 The nerve of a stratified space..................... 44 2.8 Profinite spatial décollages....................... 46 II Elements of higher topos theory 48 3 Aide-mémoire on higher topoi 49 3.1 Higher topoi............................... 49 3.2 Boundedness.............................. 51 3.3 Coherence................................ 53 3.4 Coherence & n-topoi.......................... 55 3.5 Coherence of morphisms & n-localic ∞-topoi............. 59 3.6 Coherent geometric morphisms via sites & coherent ordinary topoi.. 61 3.7 Examples of coherent ∞-topoi from algebraic geometry........ 65 3.8 Classification of bounded coherent ∞-topoi via ∞-pretopoi...... 67 2 3.9 Coherence of inverse limits....................... 69 3.10 Coherence & preservation of filtered colimits............. 69 3.11 Points, Conceptual Completeness, & Deligne Completeness...... 71 3.12 Bases for ∞-topoi............................ 73 4 Shape theory 79 4.1 Protruncated objects.......................... 79 4.2 Shape theory.............................. 80 4.3 Shapes of inverse limits......................... 82 4.4 Profinite spaces & Stone ∞-topoi.................... 84 5 Oriented pushouts & oriented fiber products 89 5.1 Recollements of higher topoi...................... 90 5.2 Oriented squares & oriented pushouts................. 94 5.3 Internal Homs & path ∞-topoi..................... 96 5.4 Oriented fiber products......................... 97 5.5 Generating ∞-sites for oriented fiber products............. 99 5.6 Compatibility of oriented fiber products & étale geometric morphisms 105 6 Local ∞-topoi & localizations 110 6.1 Quasi-equivalences........................... 110 6.2 Local ∞-topoi.............................. 111 6.3 Nearby cycles & localizations..................... 113 6.4 Compatibility of oriented fiber products with localizations...... 115 6.5 Localization à la Grothendieck–Verdier................ 116 6.6 Coherence of localizations....................... 118 6.7 Geometric examples of localizations.................. 119 7 Basechange conditions for oriented fiber products 121 7.1 Basechange transformations & basechange conditions......... 121 7.2 Examples of the basechange condition................. 124 7.3 Applications of the basechange theorem for oriented fiber products.. 125 7.4 Stable consequences of nonabelian basechange............ 126 7.5 Localizations & the truncated basechange condition.......... 130 7.6 Functoriality of oriented fiber products in oriented diagrams..... 133 7.7 Proof of the basechange condition for oriented fiber products..... 136 III Stratified higher topos theory 139 8 Stratified higher topoi 140 8.1 Higher topoi attached to finite posets & spectral topological spaces.. 140 8.2 Stratifications over spectral topological spaces............. 141 8.3 The natural stratification of a coherent ∞-topos............ 145 8.4 Stratified ∞-topoi attached to stratified spaces............. 147 8.5 Gluing squares............................. 150 3 8.6 Toposic décollages........................... 152 8.7 The nerve of a stratified ∞-topos.................... 154 8.8 Profinite stratified spaces as stratified ∞-topoi............. 157 9 Spectral higher topoi 160 9.1 Stone ∞-topoi & oriented fiber products................ 160 9.2 Spectral ∞-topoi & toposic décollages................. 161 9.3 Hochster duality for higher topoi.................... 162 9.4 Constructible sheaves.......................... 163 9.5 Coherence & constructibility...................... 166 10 Profinite stratified shape 170 10.1 The definition of the profinite stratified shape............. 170 10.2 Recovering the protruncated shape from the profinite stratified shape. 172 10.3 Points & materialization........................ 173 10.4 Stratified homotopy types via décollages................ 176 10.5 The van Kampen Theorem....................... 178 IV Stratified étale homotopy theory 180 11 Aide-mémoire on étale homotopy types 181 11.1 Artin & Mazur’s étale homotopy types of schemes........... 181 11.2 Examples................................ 182 11.3 Monodromy............................... 184 11.4 Friedlander’s étale homotopy of simplicial schemes.......... 184 11.5 Riemann Existence Theorem...................... 185 11.6 A van Kampen Theorem for étale shapes................ 186 12 Galois categories 188 12.1 Galois categories of schemes...................... 188 12.2 Examples................................ 190 12.3 Sieves & cosieves of Galois categories................. 191 12.4 Undercategories & overcategories of Galois categories........ 191 12.5 Recovering the protruncated étale shape................ 193 12.6 Stratified Riemann Existence Theorem................. 194 12.7 The van Kampen Theorem for Galois categories............ 196 13 Extending exodromy: coefficients, stacks, & l-adic sheaves 198 13.1 Category objects of higher topoi.................... 199 13.2 Exodromy with discrete coefficients.................. 203 13.3 Pyknotic spaces & pyknotic higher categories............. 206 13.4 Profinite spaces as pyknotic spaces................... 210 13.5 Profinite stratified spaces as pyknotic ∞-categories.......... 213 13.6 Exodromy with discrete coefficients, revisited............. 214 13.7 Exodromy with profinite coefficients.................. 215 4 13.8 Exodromy with l-adic coefficients................... 217 13.9 Fibered Galois categories & exodromy for simplicial schemes and stacks 220 14 Perfectly reduced schemes & reconstruction of absolute schemes 226 14.1 Universal homeomorphisms and equivalences of Galois categories.. 226 14.2 Perfectly reduced schemes....................... 228 14.3 Perfection................................ 229 14.4 Grothendieck’s Conjecture & the proof of the Reconstruction Theorem 231 14.5 Example: Curves............................ 233 References 236 Index of Notation 245 Index of Terminology 248 5 0 Introduction Let X be a quasicompact quasiseparated scheme. 0.0.1 Construction. Define a category Gal.X/ as follows. – An object is a geometric point x → X: a point Spec κ.x/ → X that exhibits κ.x/ zar as a separable closure of the residue field κ.x0/ of its image x0 Ë X . – Given geometric points x → X and y → X, a morphism x → y in Gal.X/ is a specialization x ã y: a lift of the geometric point y → X to a geometric point y → X of the strict localization X Spec.Osh /. .x/ .x/ ≔ X;x0 The assignment x ­ x0 defines a functor from Gal.X/ to the specialization poset of zar zar the Zariski topological space X of X: the poset of points of X in which x0 f y0 if and only if x0 lies in the closure of y0.
Recommended publications
  • Experience Implementing a Performant Category-Theory Library in Coq

    Experience Implementing a Performant Category-Theory Library in Coq

    Experience Implementing a Performant Category-Theory Library in Coq Jason Gross, Adam Chlipala, and David I. Spivak Massachusetts Institute of Technology, Cambridge, MA, USA [email protected], [email protected], [email protected] Abstract. We describe our experience implementing a broad category- theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we have needed sub- stantial engineering effort to teach Coq to cope with large categorical constructions without slowing proof script processing unacceptably. In this paper, we share the lessons we have learned about how to repre- sent very abstract mathematical objects and arguments in Coq and how future proof assistants might be designed to better support such rea- soning. One particular encoding trick to which we draw attention al- lows category-theoretic arguments involving duality to be internalized in Coq's logic with definitional equality. Ours may be the largest Coq development to date that uses the relatively new Coq version developed by homotopy type theorists, and we reflect on which new features were especially helpful. Keywords: Coq · category theory · homotopy type theory · duality · performance 1 Introduction Category theory [36] is a popular all-encompassing mathematical formalism that casts familiar mathematical ideas from many domains in terms of a few unifying concepts. A category can be described as a directed graph plus algebraic laws stating equivalences between paths through the graph. Because of this spar- tan philosophical grounding, category theory is sometimes referred to in good humor as \formal abstract nonsense." Certainly the popular perception of cat- egory theory is quite far from pragmatic issues of implementation.
  • Sheaves and Homotopy Theory

    Sheaves and Homotopy Theory

    SHEAVES AND HOMOTOPY THEORY DANIEL DUGGER The purpose of this note is to describe the homotopy-theoretic version of sheaf theory developed in the work of Thomason [14] and Jardine [7, 8, 9]; a few enhancements are provided here and there, but the bulk of the material should be credited to them. Their work is the foundation from which Morel and Voevodsky build their homotopy theory for schemes [12], and it is our hope that this exposition will be useful to those striving to understand that material. Our motivating examples will center on these applications to algebraic geometry. Some history: The machinery in question was invented by Thomason as the main tool in his proof of the Lichtenbaum-Quillen conjecture for Bott-periodic algebraic K-theory. He termed his constructions `hypercohomology spectra', and a detailed examination of their basic properties can be found in the first section of [14]. Jardine later showed how these ideas can be elegantly rephrased in terms of model categories (cf. [8], [9]). In this setting the hypercohomology construction is just a certain fibrant replacement functor. His papers convincingly demonstrate how many questions concerning algebraic K-theory or ´etale homotopy theory can be most naturally understood using the model category language. In this paper we set ourselves the specific task of developing some kind of homotopy theory for schemes. The hope is to demonstrate how Thomason's and Jardine's machinery can be built, step-by-step, so that it is precisely what is needed to solve the problems we encounter. The papers mentioned above all assume a familiarity with Grothendieck topologies and sheaf theory, and proceed to develop the homotopy-theoretic situation as a generalization of the classical case.
  • Partial Mal'tsevness and Partial Protomodularity

    Partial Mal'tsevness and Partial Protomodularity

    PARTIAL MAL’TSEVNESS AND PARTIAL PROTOMODULARITY DOMINIQUE BOURN Abstract. We introduce the notion of Mal’tsev reflection which allows us to set up a partial notion of Mal’tsevness with respect to a class Σ of split epimorphisms stable under pullback and containing the isomorphisms, and we investigate what is remaining of the properties of the global Mal’tsev context. We introduce also the notion of partial protomodularity in the non-pointed context. Introduction A Mal’tsev category is a category in which any reflexive relation is an equivalence relation, see [9] and [10]. The categories Gp of groups and K-Lie of Lie K-algebras are major examples of Mal’tsev categories. The terminology comes from the pi- oneering work of Mal’tsev in the varietal context [16] which was later on widely developped in [18]. In [3], Mal’tsev categories were characterized in terms of split epimorphisms: a finitely complete category D is a Mal’tsev one if and only if any pullback of split epimorphisms in D: t¯ X′ o X O g¯ / O ′ ′ f s f s t Y ′ o Y g / is such that the pair (s′, t¯) is jointly extremally epic. More recently the same kind of property was observed, but only for a certain class Σ of split epimorphisms (f,s) which is stable under pullback and contains arXiv:1507.02886v1 [math.CT] 10 Jul 2015 isomorphisms. By the classes of Schreier or homogeneous split epimorphisms in the categories Mon of monoids and SRng of semi-rings [8], by the classes of puncturing or acupuncturing split epimorphims in the category of quandles [6], by the class of split epimorphic functors with fibrant splittings in the category CatY of categories with a fixed set of objects Y [5].
  • Topological Categories, Quantaloids and Isbell Adjunctions

    Topological Categories, Quantaloids and Isbell Adjunctions

    Topological categories, quantaloids and Isbell adjunctions Lili Shen1, Walter Tholen1,∗ Department of Mathematics and Statistics, York University, Toronto, Ontario, Canada, M3J 1P3 Dedicated to Eva Colebunders on the occasion of her 65th birthday Abstract In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory. Motivated by some key results of the 1970s, the paper develops all needed ingredients from the theory of quantaloids in order to place essential results of categorical topology into the context of quantaloid-enriched category theory, a field that previously drew its motivation and applications from other domains, such as quantum logic. Keywords: Concrete category, topological category, enriched category, quantaloid, total category, Isbell adjunction 2010 MSC: 18D20, 54A99, 06F99 1. Introduction Garner's [7] recent discovery that the fundamental notion of topologicity of a concrete functor may be interpreted as precisely total (co)completeness for categories enriched in a free quantaloid reconciles two lines of research that for decades had been perceived by researchers in the re- spectively fields as almost intrinsically separate, occasionally with divisive arguments. While the latter notion is rooted in Eilenberg's and Kelly's enriched category theory (see [6, 15]) and the seminal paper by Street and Walters [21] on totality, the former notion goes back to Br¨ummer's thesis [3] and the pivotal papers by Wyler [27, 28] and Herrlich [9] that led to the development of categorical topology and the categorical exploration of a multitude of new structures; see, for example, the survey by Colebunders and Lowen [16].
  • Homotopy Theory of Diagrams and Cw-Complexes Over a Category

    Homotopy Theory of Diagrams and Cw-Complexes Over a Category

    Can. J. Math.Vol. 43 (4), 1991 pp. 814-824 HOMOTOPY THEORY OF DIAGRAMS AND CW-COMPLEXES OVER A CATEGORY ROBERT J. PIACENZA Introduction. The purpose of this paper is to introduce the notion of a CW com­ plex over a topological category. The main theorem of this paper gives an equivalence between the homotopy theory of diagrams of spaces based on a topological category and the homotopy theory of CW complexes over the same base category. A brief description of the paper goes as follows: in Section 1 we introduce the homo­ topy category of diagrams of spaces based on a fixed topological category. In Section 2 homotopy groups for diagrams are defined. These are used to define the concept of weak equivalence and J-n equivalence that generalize the classical definition. In Section 3 we adapt the classical theory of CW complexes to develop a cellular theory for diagrams. In Section 4 we use sheaf theory to define a reasonable cohomology theory of diagrams and compare it to previously defined theories. In Section 5 we define a closed model category structure for the homotopy theory of diagrams. We show this Quillen type ho­ motopy theory is equivalent to the homotopy theory of J-CW complexes. In Section 6 we apply our constructions and results to prove a useful result in equivariant homotopy theory originally proved by Elmendorf by a different method. 1. Homotopy theory of diagrams. Throughout this paper we let Top be the carte­ sian closed category of compactly generated spaces in the sense of Vogt [10].
  • Topos Theory

    Topos Theory

    Topos Theory Olivia Caramello Sheaves on a site Grothendieck topologies Grothendieck toposes Basic properties of Grothendieck toposes Subobject lattices Topos Theory Balancedness The epi-mono factorization Lectures 7-14: Sheaves on a site The closure operation on subobjects Monomorphisms and epimorphisms Exponentials Olivia Caramello The subobject classifier Local operators For further reading Topos Theory Sieves Olivia Caramello In order to ‘categorify’ the notion of sheaf of a topological space, Sheaves on a site Grothendieck the first step is to introduce an abstract notion of covering (of an topologies Grothendieck object by a family of arrows to it) in a category. toposes Basic properties Definition of Grothendieck toposes Subobject lattices • Given a category C and an object c 2 Ob(C), a presieve P in Balancedness C on c is a collection of arrows in C with codomain c. The epi-mono factorization The closure • Given a category C and an object c 2 Ob(C), a sieve S in C operation on subobjects on c is a collection of arrows in C with codomain c such that Monomorphisms and epimorphisms Exponentials The subobject f 2 S ) f ◦ g 2 S classifier Local operators whenever this composition makes sense. For further reading • We say that a sieve S is generated by a presieve P on an object c if it is the smallest sieve containing it, that is if it is the collection of arrows to c which factor through an arrow in P. If S is a sieve on c and h : d ! c is any arrow to c, then h∗(S) := fg | cod(g) = d; h ◦ g 2 Sg is a sieve on d.
  • Parametrized Higher Category Theory

    Parametrized Higher Category Theory

    Parametrized higher category theory Jay Shah MIT May 1, 2017 Jay Shah (MIT) Parametrized higher category theory May 1, 2017 1 / 32 Answer: depends on the class of weak equivalences one inverts in the larger category of G-spaces. Inverting the class of maps that induce a weak equivalence of underlying spaces, X ; the homotopy type of the underlying space X , together with the homotopy coherent G-action. Can extract homotopy fixed points and hG orbits X , XhG from this. Equivariant homotopy theory Let G be a finite group and let X be a topological space with G-action (e.g. G = C2 and X = U(n) with the complex conjugation action). What is the \homotopy type" of X ? Jay Shah (MIT) Parametrized higher category theory May 1, 2017 2 / 32 Inverting the class of maps that induce a weak equivalence of underlying spaces, X ; the homotopy type of the underlying space X , together with the homotopy coherent G-action. Can extract homotopy fixed points and hG orbits X , XhG from this. Equivariant homotopy theory Let G be a finite group and let X be a topological space with G-action (e.g. G = C2 and X = U(n) with the complex conjugation action). What is the \homotopy type" of X ? Answer: depends on the class of weak equivalences one inverts in the larger category of G-spaces. Jay Shah (MIT) Parametrized higher category theory May 1, 2017 2 / 32 Equivariant homotopy theory Let G be a finite group and let X be a topological space with G-action (e.g.
  • Noncommutative Stacks

    Noncommutative Stacks

    Noncommutative Stacks Introduction One of the purposes of this work is to introduce a noncommutative analogue of Artin’s and Deligne-Mumford algebraic stacks in the most natural and sufficiently general way. We start with quasi-coherent modules on fibered categories, then define stacks and prestacks. We define formally smooth, formally unramified, and formally ´etale cartesian functors. This provides us with enough tools to extend to stacks the glueing formalism we developed in [KR3] for presheaves and sheaves of sets. Quasi-coherent presheaves and sheaves on a fibered category. Quasi-coherent sheaves on geometric (i.e. locally ringed topological) spaces were in- troduced in fifties. The notion of quasi-coherent modules was extended in an obvious way to ringed sites and toposes at the moment the latter appeared (in SGA), but it was not used much in this generality. Recently, the subject was revisited by D. Orlov in his work on quasi-coherent sheaves in commutative an noncommutative geometry [Or] and by G. Laumon an L. Moret-Bailly in their book on algebraic stacks [LM-B]. Slightly generalizing [R4], we associate with any functor F (regarded as a category over a category) the category of ’quasi-coherent presheaves’ on F (otherwise called ’quasi- coherent presheaves of modules’ or simply ’quasi-coherent modules’) and study some basic properties of this correspondence in the case when the functor defines a fibered category. Imitating [Gir], we define the quasi-topology of 1-descent (or simply ’descent’) and the quasi-topology of 2-descent (or ’effective descent’) on the base of a fibered category (i.e.
  • Yoneda's Lemma for Internal Higher Categories

    Yoneda's Lemma for Internal Higher Categories

    YONEDA'S LEMMA FOR INTERNAL HIGHER CATEGORIES LOUIS MARTINI Abstract. We develop some basic concepts in the theory of higher categories internal to an arbitrary 1- topos. We define internal left and right fibrations and prove a version of the Grothendieck construction and of Yoneda's lemma for internal categories. Contents 1. Introduction 2 Motivation 2 Main results 3 Related work 4 Acknowledgment 4 2. Preliminaries 4 2.1. General conventions and notation4 2.2. Set theoretical foundations5 2.3. 1-topoi 5 2.4. Universe enlargement 5 2.5. Factorisation systems 8 3. Categories in an 1-topos 10 3.1. Simplicial objects in an 1-topos 10 3.2. Categories in an 1-topos 12 3.3. Functoriality and base change 16 3.4. The (1; 2)-categorical structure of Cat(B) 18 3.5. Cat(S)-valued sheaves on an 1-topos 19 3.6. Objects and morphisms 21 3.7. The universe for groupoids 23 3.8. Fully faithful and essentially surjective functors 26 arXiv:2103.17141v2 [math.CT] 2 May 2021 3.9. Subcategories 31 4. Groupoidal fibrations and Yoneda's lemma 36 4.1. Left fibrations 36 4.2. Slice categories 38 4.3. Initial functors 42 4.4. Covariant equivalences 49 4.5. The Grothendieck construction 54 4.6. Yoneda's lemma 61 References 71 Date: May 4, 2021. 1 2 LOUIS MARTINI 1. Introduction Motivation. In various areas of geometry, one of the principal strategies is to study geometric objects by means of algebraic invariants such as cohomology, K-theory and (stable or unstable) homotopy groups.
  • Arxiv:2008.10677V3 [Math.CT] 9 Jul 2021 Space Ha Hoyepiil Ea Ihtewr Fj Ea N194 in Leray J

    Arxiv:2008.10677V3 [Math.CT] 9 Jul 2021 Space Ha Hoyepiil Ea Ihtewr Fj Ea N194 in Leray J

    On sheaf cohomology and natural expansions ∗ Ana Luiza Tenório, IME-USP, [email protected] Hugo Luiz Mariano, IME-USP, [email protected] July 12, 2021 Abstract In this survey paper, we present Čech and sheaf cohomologies – themes that were presented by Koszul in University of São Paulo ([42]) during his visit in the late 1950s – we present expansions for categories of generalized sheaves (i.e, Grothendieck toposes), with examples of applications in other cohomology theories and other areas of mathematics, besides providing motivations and historical notes. We conclude explaining the difficulties in establishing a cohomology theory for elementary toposes, presenting alternative approaches by considering constructions over quantales, that provide structures similar to sheaves, and indicating researches related to logic: constructive (intuitionistic and linear) logic for toposes, sheaves over quantales, and homological algebra. 1 Introduction Sheaf Theory explicitly began with the work of J. Leray in 1945 [46]. The nomenclature “sheaf” over a space X, in terms of closed subsets of a topological space X, first appeared in 1946, also in one of Leray’s works, according to [21]. He was interested in solving partial differential equations and build up a strong tool to pass local properties to global ones. Currently, the definition of a sheaf over X is given by a “coherent family” of structures indexed on the lattice of open subsets of X or as étale maps (= local homeomorphisms) into X. Both arXiv:2008.10677v3 [math.CT] 9 Jul 2021 formulations emerged in the late 1940s and early 1950s in Cartan’s seminars and, in modern terms, they are intimately related by an equivalence of categories.
  • Stellar Stratifications on Classifying Spaces

    Stellar Stratifications on Classifying Spaces

    Stellar Stratifications on Classifying Spaces Dai Tamaki and Hiro Lee Tanaka September 18, 2018 Abstract We extend Bj¨orner’s characterization of the face poset of finite CW complexes to a certain class of stratified spaces, called cylindrically normal stellar complexes. As a direct consequence, we obtain a discrete analogue of cell decompositions in smooth Morse theory, by using the classifying space model introduced in [NTT]. As another application, we show that the exit-path category Exit(X), in the sense of [Lur], of a finite cylindrically normal CW stellar complex X is a quasicategory. Contents 1 Introduction 1 1.1 Acknowledgments................................... 5 2 Recollections 5 2.1 Simplicial Terminology . 5 2.2 NervesandClassifyingSpaces. ... 5 3 Stellar Stratified Spaces and Their Face Categories 6 3.1 StratificationsbyPosets .. .. .. .. .. .. .. .. .. .. .. .. ... 7 3.2 JoinsandCones .................................... 9 3.3 StellarStratifiedSpaces .............................. .. 11 4 Stellar Stratifications on Classifying Spaces of Acyclic Categories 15 4.1 Stable and Unstable Stratifications . .... 15 4.2 TheExit-PathCategory .............................. .. 20 4.3 DiscreteMorseTheory............................... .. 22 5 Concluding Remarks 22 1 Introduction arXiv:1804.11274v2 [math.AT] 14 Sep 2018 In this paper, we study stratifications on classifying spaces of acyclic topological categories. In particular, the following three questions are addressed. Question 1.1. How can we recover the original category C from its classifying space BC? Question 1.2. For a stratified space X with a structure analogous to a cell complex, the first author [Tam18] defined an acyclic topological category C(X), called the face category of X, whose classifying space is homotopy equivalent to X. On the other hand, there is a way to associate an 1 ∞-category Exit(X), called the exit-path category1 of X, to a stratified space satisfying certain conditions [Lur].
  • Universality of Multiplicative Infinite Loop Space Machines

    Universality of Multiplicative Infinite Loop Space Machines

    UNIVERSALITY OF MULTIPLICATIVE INFINITE LOOP SPACE MACHINES DAVID GEPNER, MORITZ GROTH AND THOMAS NIKOLAUS Abstract. We establish a canonical and unique tensor product for commutative monoids and groups in an ∞-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that En-(semi)ring objects in C give rise to En-ring spectrum objects in C. In the case that C is the ∞-category of spaces this produces a multiplicative infinite loop space machine which can be applied to the algebraic K-theory of rings and ring spectra. The main tool we use to establish these results is the theory of smashing localizations of presentable ∞-categories. In particular, we identify preadditive and additive ∞-categories as the local objects for certain smashing localizations. A central theme is the stability of algebraic structures under basechange; for example, we show Ring(D ⊗ C) ≃ Ring(D) ⊗ C. Lastly, we also consider these algebraic structures from the perspective of Lawvere algebraic theories in ∞-categories. Contents 0. Introduction 1 1. ∞-categories of commutative monoids and groups 4 2. Preadditive and additive ∞-categories 6 3. Smashing localizations 8 4. Commutative monoids and groups as smashing localizations 11 5. Canonical symmetric monoidal structures 13 6. More functoriality 15 7. ∞-categories of semirings and rings 17 8. Multiplicative infinite loop space theory 19 Appendix A. Comonoids 23 Appendix B. Algebraic theories and monadic functors 23 References 26 0. Introduction The Grothendieck group K0(M) of a commutative monoid M, also known as the group completion, is the universal abelian group which receives a monoid map from M.