DOCSLIB.ORG

Smooth Homotopy of Infinite-Dimensional C -Manifolds

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Smooth Homotopy of Infinite-Dimensional C -Manifolds Smooth Homotopy of Infinite-Dimensional C1-Manifolds Hiroshi Kihara Author address: Center for Mathematical Sciences, University of Aizu, Tsuruga, Ikki-machi, Aizu-Wakamatsu City, Fukushima, 965-8580, Japan Email address: ([email protected]) Dedicated to My Parents Contents 1. Introduction 1 1.1. Fundamental problems on C1-manifolds 1 1.2. Main results on C1-manifolds 4 1.3. Smooth homotopy theory of diffeological spaces 5 1.4. Notation and terminology 8 1.5. Organization of the paper 9 2. Diffeological spaces, arc-generated spaces, and C1-manifolds 10 2.1. Categories D and C0 10 2.2. Fully faithful embedding of C1 into D 12 2.3. Standard p-simplices and model structure on D 14 D 2.4. Quillen pairs (j jD;S ) and ( e·;R) 17 3. Quillen equivalences between S, D, and C0 18 3.1. Singular homology of a diffeological space 18 3.2. Proof of Theorem 1.5 22 3.3. Proof of Corollary 1.6 25 4. Smoothing of continuous maps 26 4.1. Enrichment of cartesian closed categories 26 4.2. Simplicial categories C0 and D 27 4.3. Function complexes and homotopy function complexes for C0 and D 29 4.4. Proof of Theorem 1.7 35 5. Smoothing of continuous principal bundles 35 5.1. C-partitions of unity 36 5.2. Principal bundles in C 37 5.3. Fiber bundles in C 39 5.4. Smoothing of principal bundles 40 6. Smoothing of continuous sections 42 6.1. Quillen equivalences between the overcategories of S; D; and C0 42 6.2. Enrichment of overcategories 43 6.3. Simplicial categories C0=X and D=X 47 6.4. Function complexes and homotopy function complexes for C0=X and D=X 48 6.5. Proof of Theorem 1.8 51 0 7. Dwyer-Kan equivalence between (PDG=X)num and (PC G=e Xe)num 52 7.1. Enrichment of categories embedded into M 52 7.2. Enriched groupoid PMG=X 53 7.3. Smoothing of gauge transformations 54 7.4. Proof of Theorem 1.9 56 8. Diffeological polyhedra 56 8.1. Basic properties of two kinds of diffeological polyhedra 57 v vi HIROSHI KIHARA 8.2. D-homotopy equivalence between two kinds of diffeological polyhedra 60 9. Homotopy cofibrancy theorem 65 9.1. Diffeological spaces associated to a covering 65 9.2. Hurewicz cofibrations in D 71 9.3. Proof of Theorem 1.10 77 10. Locally contractible diffeological spaces 79 11. Applications to C1-manifolds 83 11.1. Proofs of Theorems 1.1-1.3 83 11.2. Classical atlases 84 11.3. Hereditary C1-paracompactness 85 11.4. Hereditarily C1-paracompact, semiclassical C1-manifolds 89 Appendix A. Pathological diffeological spaces 100 1 Appendix B. Keller's Cc -theory and diffeological spaces 104 Appendix C. Smooth regularity and smooth paracompactness 106 Bibliography 110 Abstract In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional C1-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps, sections, principal bundles, and gauge transformations. We first introduce the notion of hereditary C1-paracompactness along with the semiclassicality condition on a C1-manifold, which enables us to use local convexity in local arguments. Then, we prove that for C1-manifolds M and N, the smooth singular complex of the diffeological space C1(M; N) is weakly equivalent to the ordinary singular complex of the topological space C0(M; N) under the hereditary C1-paracompactness and semiclassicality conditions on M. We next generalize this result to sections of fiber bundles over a C1-manifold M under the same conditions on M. Further, we establish the Dwyer-Kan equivalence between the simplicial groupoid of smooth principal G-bundles over M and that of continuous principal G-bundles over M for a Lie group G and a C1-manifold M under the same conditions on M, encoding the smoothing results for principal bundles and gauge transformations. For the proofs, we fully faithfully embed the category C1 of C1-manifolds into the category D of diffeological spaces and develop the smooth homotopy theory of diffeological spaces via a homotopical algebraic study of the model category D and the model category C0 of arc-generated spaces, also known as ∆-generated spaces. Then, the hereditary C1-paracompactness and semiclassicality conditions on M imply that M has the smooth homotopy type of a cofibrant object in D. This result can be regarded as a smooth refinement of the results of Milnor, Palais, and Heisey, which give sufficient conditions under which an infinite-dimensional topological manifold has the homotopy type of a CW -complex. We also show that most of the important C1-manifolds introduced and studied by Kriegl, Michor, and their coauthors are hereditarily C1-paracompact and semiclassical, and hence, results can be applied to them. Received by the editor February 5, 2020. 2010 Mathematics Subject Classification. Primary 58B05; Secondary 58A40,18G55. Key words and phrases. Smooth homotopy, C1-manifolds, convenient calculus, diffeological spaces, model category. I would like to show my greatest appreciation to Prof. Toshiro Watanabe who offered con- tinuing support and constant encouragement. vii 1. INTRODUCTION 1 1. Introduction This paper aims to develop a smooth homotopy theory of diffeological spaces and apply it to global analysis on infinite-dimensional C1-manifolds by embedding C1-manifolds fully faithfully into the category of diffeological spaces. In Section 1.1, we formulate fundamental problems on C1-manifolds, and in Section 1.2, we provide answers to these problems, as the main results on C1- manifolds. In Section 1.3, we outline the results obtained herein on smooth homo- topy for diffeological spaces, to which most of this paper is devoted, and explain how they yield the results in Section 1.2. 1.1. Fundamental problems on C1-manifolds. Fr¨olicher, Kriegl, and Mi- chor [46] established the foundation of infinite-dimensional calculus, which is called convenient calculus and is regarded as a prime candidate for the final theory of infinite-dimensional calculus. However, it has no efficient approach for solving one of the most critical problems: to investigate how many smooth maps exist between the given infinite-dimensional C1-manifolds M and N. Since the study of contin- uous maps between M and N is done by topological homotopy theory (or algebraic topology), we formulate the problem as follows: (a) When do the smooth homotopy classes of smooth maps between M and N bijectively correspond to the continuous homotopy classes of continuous maps ? The following two problems are also important; Problem (b) is a generalization of Problem (a), and Problem (c) is closely related to Problems (a) and (b). (b) Let p : E −! M be a smooth fiber bundle. When do the vertical smooth homotopy classes of smooth sections of E bijectively correspond to the vertical continuous homotopy classes of continuous sections ? (c) Let G be a Lie group. When do the isomorphism classes of smooth princi- pal G-bundles over M bijectively correspond to those of continuous princi- pal G-bundles over M? Let π : P −! M be a smooth principal G-bundle. When do the isotopy classes of smooth gauge transformations of P bijec- tively correspond to those of continuous gauge transformations of P ? If all C1-manifolds involved are finite-dimensional, then the correspondences in Problems (a) and (b) are always bijective by the Steenrod approximation theorem ([66, Section 6.7]), which is one of the most basic results in differential topology. In more general settings, Problems (a), (b), and (c) were addressed in [47], [71], and [57, 70], respectively. Roughly speaking, as answers to these questions, it has been shown that the correspondences in the questions are bijective, provided that M is finite-dimensional. Precisely, M¨ullerand Wockel [57, 70, 71] did not work 1 in convenient calculus but in Keller's Cc -theory; moreover, to prove the smooth- ing result of continuous gauge transformations, Wockel imposed even compactness condition on M along with additional conditions on G [70, Proposition 1.20]. How- ever, no essential answer is known in the case where M is infinite-dimensional since the existing approaches are essentially based on the finite dimensionality (or local compactness) of M (cf. [71, Section 1] and [57, Introduction]). In the rest of this subsection, we more precisely formulate the fundamental problems mentioned above; we actually address the higher homotopical versions of Problems (a)-(c) by observing that the involved relevant categories and functors can be enriched over the category S of simplicial sets. 2 HIROSHI KIHARA Throughout this paper, C1-manifolds are ones in the sense of [46, Section 27] unless stated otherwise, and C1 denotes the category of (separated) C1-manifolds (see Section 2.2). Lie groups are defined as groups in C1 ([49, p. 75]). The under- lying topological space Mf of a C1-manifold M is defined as the set M endowed with the final topology for the smooth curves ([46, 27.4]). Then, we have the 1 0 0 underlying topological space functor e· : C −! C , where C is the category of arc-generated spaces and continuous maps (see Section 2.1). Since the category C1 is not closed under various categorical constructions, we fully faithfully embed C1 into the category D of diffeological spaces (see Section 2.2). Recall that the underlying topological space Xe of a diffeological space X is defined to be the set X endowed with the final topology for the diffeology DX . Then, we can see that the fully faithful embedding C1 ,−! D and the underlying topological space functors for C1 and D form the commutative diagram C1 D e· e· C0 consisting of functors that preserve finite products (Proposition 2.6).
Load more

Recommended publications
  • A Small Complete Category
    Annals of Pure and Applied Logic 40 (1988) 135-165 135 North-Holland A SMALL COMPLETE CATEGORY J.M.E. HYLAND Department of Pure Mathematics and Mathematical Statktics, 16 Mill Lane, Cambridge CB2 ISB, England Communicated by D. van Dalen Received 14 October 1987 0. Introduction This paper is concerned with a remarkable fact. The effective topos contains a small complete subcategory, essentially the familiar category of partial equiv- alence realtions. This is in contrast to the category of sets (indeed to all Grothendieck toposes) where any small complete category is equivalent to a (complete) poset. Note at once that the phrase ‘a small complete subcategory of a topos’ is misleading. It is not the subcategory but the internal (small) category which matters. Indeed for any ordinary subcategory of a topos there may be a number of internal categories with global sections equivalent to the given subcategory. The appropriate notion of subcategory is an indexed (or better fibred) one, see 0.1. Another point that needs attention is the definition of completeness (see 0.2). In my talk at the Church’s Thesis meeting, and in the first draft of this paper, I claimed too strong a form of completeness for the internal category. (The elementary oversight is described in 2.7.) Fortunately during the writing of [13] my collaborators Edmund Robinson and Giuseppe Rosolini noticed the mistake. Again one needs to pay careful attention to the ideas of indexed (or fibred) categories. The idea that small (sufficiently) complete categories in toposes might exist, and would provide the right setting in which to discuss models for strong polymorphism (quantification over types), was suggested to me by Eugenio Moggi.
    [Show full text]
  • Algebraic Cocompleteness and Finitary Functors
    Logical Methods in Computer Science Volume 17, Issue 2, 2021, pp. 23:1–23:30 Submitted Feb. 27, 2020 https://lmcs.episciences.org/ Published May 28, 2021 ALGEBRAIC COCOMPLETENESS AND FINITARY FUNCTORS JIRˇ´I ADAMEK´ ∗ Department of Mathematics, Czech Technical University in Prague, Czech Republic Institute of Theoretical Computer Science, Technical University Braunschweig, Germany e-mail address: [email protected] Abstract. A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. Example: assuming GCH, the category Set≤λ of sets of power at most λ has that property, whenever λ is an uncountable regular cardinal. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a canonical partial order with the same ideal completion. And they also both carry a canonical ultrametric with the same Cauchy completion. Finally, all endofunctors of the category Set≤λ are finitary if λ has countable cofinality and there are no measurable cardinals µ ≤ λ. 1. Introduction The importance of terminal coalgebras for an endofunctor F was clearly demonstrated by Rutten [Rut00]: for state-based systems whose state-objects lie in a category K and whose dynamics are described by F , the terminal coalgebra νF collects behaviors of individual states. And given a system A the unique coalgebra homomorphism from A to νF assigns to every state its behavior. However, not every endofunctor has a terminal coalgebra. Analogously, an initial algebra µF need not exist. Freyd [Fre70] introduced the concept of an algebraically complete category: this means that every endofunctor has an initial algebra.
    [Show full text]
  • Nakayama Categories and Groupoid Quantization
    NAKAYAMA CATEGORIES AND GROUPOID QUANTIZATION FABIO TROVA Abstract. We provide a precise description, albeit in the situation of standard categories, of the quantization functor Sum proposed by D.S. Freed, M.J. Hopkins, J. Lurie, and C. Teleman in a way enough abstract and flexible to suggest that an extension of the construction to the general context of (1; n)-categories should indeed be possible. Our method is in fact based primarily on dualizability and adjunction data, and is well suited for the homotopical setting. The construction also sheds light on the need of certain rescaling automorphisms, and in particular on the nature and properties of the Nakayama isomorphism. Contents 1. Introduction1 1.1. Conventions4 2. Preliminaries4 2.1. Duals4 2.2. Mates and Beck-Chevalley condition5 3. A comparison map between adjoints7 3.1. Projection formulas8 3.2. Pre-Nakayama map 10 3.3. Tensoring Kan extensions and pre-Nakayama maps 13 4. Nakayama Categories 20 4.1. Weights and the Nakayama map 22 4.2. Nakayama Categories 25 5. Quantization 26 5.1. A monoidal category of local systems 26 5.2. The quantization functors 28 5.3. Siamese twins 30 6. Linear representations of groupoids 31 References 33 arXiv:1602.01019v1 [math.CT] 2 Feb 2016 1. Introduction A k-extended n-dimensional C-valued topological quantum field theory n−k (TQFT for short) is a symmetric monoidal functor Z : Bordn !C, from the (1; k)-category of n-cobordisms extended down to codimension k [CS, Lu1] to a symmetric monoidal (1; k)-category C. For k = 1 one recovers the classical TQFT's as introduced in [At], while k = n gives rise to fully Date: October 22, 2018.
    [Show full text]
  • Internal Groupoids and Exponentiability
    VOLUME LX-4 (2019) INTERNAL GROUPOIDS AND EXPONENTIABILITY S.B. Niefield and D.A. Pronk Resum´ e.´ Nous etudions´ les objets et les morphismes exponentiables dans la 2-categorie´ Gpd(C) des groupoides internes a` une categorie´ C avec sommes finies lorsque C est : (1) finiment complete,` (2) cartesienne´ fermee´ et (3) localement cartesienne´ fermee.´ Parmi les exemples auxquels on s’interesse´ on trouve, en particulier, (1) les espaces topologiques, (2) les espaces com- pactement engendres,´ (3) les ensembles, respectivement. Nous considerons´ aussi les morphismes pseudo-exponentiables dans les categories´ “pseudo- slice” Gpd(C)==B. Comme ces dernieres` sont les categories´ de Kleisli d’une monade T sur la categorie´ “slice” stricte sur B, nous pouvons appliquer un theor´ eme` gen´ eral´ de Niefield [17] qui dit que si T Y est exponentiable dans une 2-categorie´ K, alors Y est pseudo-exponentiable dans la categorie´ de Kleisli KT . Par consequent,´ nous verrons que Gpd(C)==B est pseudo- cartesienne´ fermee,´ lorsque C est la categorie´ des espaces compactement en- gendres´ et chaque Bi est faiblement de Hausdorff, et Gpd(C) est localement pseudo-cartesienne´ fermee´ quand C est la categorie´ des ensembles ou une categorie´ localement cartesienne´ fermee´ quelconque. Abstract. We study exponentiable objects and morphisms in the 2-category Gpd(C) of internal groupoids in a category C with finite coproducts when C is: (1) finitely complete, (2) cartesian closed, and (3) locally cartesian closed. The examples of interest include (1) topological spaces, (2) com- pactly generated spaces, and (3) sets, respectively. We also consider pseudo- exponentiable morphisms in the pseudo-slice categories Gpd(C)==B.
    [Show full text]
  • A Characterization of Concrete Quasitopoi by Injectivity
    Journal of Pure and Applied Algebra 68 (1990) l-9 North-Holland A CHARACTERIZATION OF CONCRETE QUASITOPOI BY INJECTIVITY J. ADAMEK Faculty of Electrical Engineering, Suchbdtarova 2, Praha 6, Czechoslovakia H. HERRLICH FeldhGuser Str. 69, 2804 Lilienthal, FRG Received 9 June 1986 To our friend Bernhard Banaschewski, who demonstrates convincingly that-contrary to popular belief-it is possible to simultaneously get older, more creative and forceful as a mathematician and live a good life as well Concrete quasitopoi are characterized as the injectives among concrete, finitely complete categories. Quasitopos hulls are shown to be the injective hulls. Introduction Banaschewski and Bruns [5] have characterized Mac Neille completions of posets as injective hulls in the category Pos. This result has been generalized in [6], [7] and [l l] to the quasicategory Cat(X) of concrete categories over the base-category X (and concrete functors over X): injective ejects of Cat(X) are precisely the initially complete categories, and in- jective hulls are the Mac Neille completions introduced in [7]. Injectivity of K means (here and below) that for each full embedding A + B, which is a mor- phism in the given quasicategory (here Cat(X)), each morphism A+K can be extended to a morphism B -+ K. If X is the one-morphism category, then Cat(X) is the quasicategory of partially ordered classes, and hence, the latter result is a direct generalization of that in [5]. Recently, injectivity has been studied in the quasicategory Cat,(X) of concrete categories over X having finite, concrete [preserved by the forgetful functor] products (and concrete functors, preserving finite products).
    [Show full text]
  • Notes on Category Theory
    Notes on Category Theory Mariusz Wodzicki November 29, 2016 1 Preliminaries 1.1 Monomorphisms and epimorphisms 1.1.1 A morphism m : d0 ! e is said to be a monomorphism if, for any parallel pair of arrows a / 0 d / d ,(1) b equality m ◦ a = m ◦ b implies a = b. 1.1.2 Dually, a morphism e : c ! d is said to be an epimorphism if, for any parallel pair (1), a ◦ e = b ◦ e implies a = b. 1.1.3 Arrow notation Monomorphisms are often represented by arrows with a tail while epimorphisms are represented by arrows with a double arrowhead. 1.1.4 Split monomorphisms Exercise 1 Given a morphism a, if there exists a morphism a0 such that a0 ◦ a = id (2) then a is a monomorphism. Such monomorphisms are said to be split and any a0 satisfying identity (2) is said to be a left inverse of a. 3 1.1.5 Further properties of monomorphisms and epimorphisms Exercise 2 Show that, if l ◦ m is a monomorphism, then m is a monomorphism. And, if l ◦ m is an epimorphism, then l is an epimorphism. Exercise 3 Show that an isomorphism is both a monomorphism and an epimor- phism. Exercise 4 Suppose that in the diagram with two triangles, denoted A and B, ••u [^ [ [ B a [ b (3) A [ u u ••u the outer square commutes. Show that, if a is a monomorphism and the A triangle commutes, then also the B triangle commutes. Dually, if b is an epimorphism and the B triangle commutes, then the A triangle commutes.
    [Show full text]
  • Basic Category Theory
    Basic Category Theory TOMLEINSTER University of Edinburgh arXiv:1612.09375v1 [math.CT] 30 Dec 2016 First published as Basic Category Theory, Cambridge Studies in Advanced Mathematics, Vol. 143, Cambridge University Press, Cambridge, 2014. ISBN 978-1-107-04424-1 (hardback). Information on this title: http://www.cambridge.org/9781107044241 c Tom Leinster 2014 This arXiv version is published under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International licence (CC BY-NC-SA 4.0). Licence information: https://creativecommons.org/licenses/by-nc-sa/4.0 c Tom Leinster 2014, 2016 Preface to the arXiv version This book was first published by Cambridge University Press in 2014, and is now being published on the arXiv by mutual agreement. CUP has consistently supported the mathematical community by allowing authors to make free ver- sions of their books available online. Readers may, in turn, wish to support CUP by buying the printed version, available at http://www.cambridge.org/ 9781107044241. This electronic version is not only free; it is also freely editable. For in- stance, if you would like to teach a course using this book but some of the examples are unsuitable for your class, you can remove them or add your own. Similarly, if there is notation that you dislike, you can easily change it; or if you want to reformat the text for reading on a particular device, that is easy too. In legal terms, this text is released under the Creative Commons Attribution- NonCommercial-ShareAlike 4.0 International licence (CC BY-NC-SA 4.0). The licence terms are available at the Creative Commons website, https:// creativecommons.org/licenses/by-nc-sa/4.0.
    [Show full text]
  • Quasi-Coherent Sheaves in Differential Geometry
    Quasi-coherent sheaves in differential geometry Dennis Borisov Kobi Kremnizer University of Goettingen, Germany University of Oxford, UK Bunsenstr. 3-4, 37073 Göttingen Woodstock Rd, Oxford OX2 6GG [email protected] [email protected] July 31, 2017 Abstract It is proved that the category of simplicial complete bornological spaces over R carries a combinatorial monoidal model structure satisfy- ing the monoid axiom. For any commutative monoid in this category the category of modules is also a monoidal model category with all cofibrant objects being flat. In particular, weak equivalences between these monoids induce Quillen equivalences between the correspond- ing categories of modules. On the other hand, it is also proved that the functor of pre-compact bornology applied to simplicial C∞-rings preserves and reflects weak equivalences, thus assigning stable model categories of modules to simplicial C∞-rings. MSC codes: 58A05, 46A08 Keywords: C∞-rings, bornological spaces, pre-compact bornology, quasi-coherent sheaves, quasi-abelian categories Contents 1 Introduction 2 arXiv:1707.01145v2 [math.DG] 28 Jul 2017 2 The category of complete bornological R-spaces 5 2.1 Quasi-abelian structure . 6 2.2 Projective objects and monoidal structure . 9 2.3 Locally separable spaces . 12 2.4 Local presentability and small objects . 15 2.5 Modelstructures ......................... 19 2.6 Cofibrant resolutions and flatness . 24 1 3 Bornological rings of C∞-functions 30 3.1 The pre-compact bornology . 30 3.2 Modelstructure.......................... 32 3.3 Quasi-coherent sheaves . 34 1 Introduction Our goal (beyond this paper) is to adapt some very useful techniques from algebraic geometry (e.g.
    [Show full text]
  • Lecture Course on Coarse Geometry
    Lecture course on coarse geometry Ulrich Bunke∗ February 8, 2021 Contents 1 Bornological spaces2 2 Coarse spaces9 3 Bornological coarse spaces 26 4 Coarse homology theories 34 5 Coarse ordinary homology 46 6 Coarse homotopy 54 7 Continuous controlled cones and homology of compact spaces 57 8 Controlled objects in additive categories 67 9 Coarse algebraic K-homology 75 10 The equivariant case 77 11 Uniform bornological coarse spaces 87 12 Topological K-theory 109 References 123 ∗Fakult¨atf¨urMathematik, Universit¨atRegensburg, 93040 Regensburg, [email protected] regensburg.de 1 1 Bornological spaces In this section we introduce the notion of a bornological space. We show that the category of bornological spaces and proper maps is cocomplete and almost cocomplete. We explain how bornologies can be constructed and how they are applied. Let X be a set. By PX we denote the power set of X. Let B be a subset of PX . Definition 1.1. B is called a bornology if it has the following properties: 1. B is closed under taking subsets. 2. B is closed under forming finite unions. S 3. B2B B = X. The elements of the bornology are called the bounded subsets of X. 2 in Definition 1.1 Definition 1.2. B is a generalized bornology if it satisfies the Conditions 1 and 2 in Definition 1.1. Thus we we get the notion of a generalized bornology by dropping Condition 3 in Definition 1.1. Remark 1.3. Let x be in X. Then the singleton fxg belongs to any bornology. Indeed, by Condition 3 there exists an element B in B such that x 2 B.
    [Show full text]
  • Action Groupoid in Protomodular Categories 1
    Theory and Applications of Categories, Vol. 16, No. 2, 2006, pp. 46–58. ACTION GROUPOID IN PROTOMODULAR CATEGORIES DOMINIQUE BOURN Abstract. We give here some examples of non pointed protomodular categories C satisfying a property similar to the property of representation of actions which holds for the pointed protomodular category Gp of groups: any slice category of Gp, any category of groupoids with a fixed set of objects, any essentially affine category. This property gives rise to an internal construction of the center of any object X, and consequently to a specific characterization of the abelian objects in C. 1. Introduction. It is well known that, a group X being given, the group Aut X of automorphisms of X has the following property: given any other group G,thesetGp(G, Aut X)ofgroup homomorphisms between G and Aut X is in bijection with the set of actions of the group G on the group X, which is itself, via the semidirect product, in bijection with the set of isomorphisms classes SExt(G, X) of split exact sequences: / /k / g // / 1 X H o oG 1 s This is a universal property which can be described in a very general way: consider any category C which is pointed (i.e. finitely complete with a zero object) and protomodular (see the precise definition below). An object X of C is said to have a split extension classifier when there is a split extension: / γ/ d0 // X D1(X) o oD(X) s0 which is universal in the sense that any other split extension with kernel X as above determines a unique morphism χ such that, in the following diagram, the right hand side squares are pullbacks and the left hand side square commutes: / k / g // X H o oG s 1 X χ1 χ / / d0 // X γ D1(X) o oD(X) s0 Received by the editors 2005-11-03 and, in revised form, 2006-01-11.
    [Show full text]
  • Uniform Structures in the Beginning of the Third Millenium
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Topology and its Applications 154 (2007) 2745–2756 www.elsevier.com/locate/topol Uniform structures in the beginning of the third millenium Hans-Peter A. Künzi 1 Department of Mathematics and Applied Mathematics, University of Cape Town, Rondebosch 7701, South Africa Received 27 November 2006; accepted 15 May 2007 Abstract It is the aim of the present survey article to discuss briefly results published by various researchers in the area of uniform structures over the past five years. © 2007 Elsevier B.V. All rights reserved. MSC: 54E15; 54E05; 54E35; 54B20; 54E55; 54-02 Keywords: Quasi-uniformity; Uniformity; Quasi-pseudometric; Pseudometric; Bitopological space; Asymmetric norm; Ball structure; Apartness space; Lax algebra; Uniform frame; Balanced topological group; Metrically generated theory; Uniform selection principle; Uniform approximate resolution; Partial (quasi-)metric; Lattice of quasi-uniformities; Uniform hyperspace; Uniform function space; H -equivalence; u-equivalent; Uniformly approachable function Introduction It is the goal of the present article to discuss recent work in the area of uniform spaces and some related topological structures. We shall mainly concentrate on publications that became available after our survey article entitled “Quasi- uniform spaces in the year 2001” had been completed. That article [85] appeared in the year 2002 as a chapter of the book ‘Recent Progress in General Topology II’. In order to fulfill our task we have classified the work done in the area of uniform mathematical structures over the past years into several sections. Although the composition of these sections may often look somewhat arbitrary, we have found the classification quite useful when compiling the material for our article.
    [Show full text]
  • Adjoint Functor Theorems for $\Infty $-Categories
    ADJOINT FUNCTOR THEOREMS FOR ∞-CATEGORIES HOANG KIM NGUYEN, GEORGE RAPTIS, AND CHRISTOPH SCHRADE Abstract. Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint func- tor theorems for functors between ∞-categories. One of our main results is an ∞-categorical generalization of Freyd’s classical General Adjoint Functor Theorem. As an application of this result, we recover Lurie’s adjoint func- tor theorems for presentable ∞-categories. We also discuss the comparison between adjunctions of ∞-categories and homotopy adjunctions, and give a treatment of Brown representability for ∞-categories based on Heller’s purely categorical formulation of the classical Brown representability theorem. Contents 1. Introduction 1 2. Criteria for the existence of initial objects 3 3. General adjoint functor theorems 8 4. Adjoint functor theorems for presentable ∞-categories 14 5. Brown representability for ∞-categories 17 References 22 1. Introduction Adjoint functor theorems give necessary and sufficient conditions for a functor between suitable categories to have an adjoint. They are fundamental results in category theory both for their theoretical value as well as for their applications. The most general and well-known adjoint functor theorems are Freyd’s General and Special Adjoint Functor Theorem [9, 14]. Other well-known adjoint functor theorems include those specialized to locally presentable categories – these can also be regarded as useful non-trivial specializations of Freyd’s theorems. The purpose of this paper is to prove analogous adjoint functor theorems for functors between ∞-categories. Our first main result (Theorem 3.2.5) is an ∞- arXiv:1803.01664v3 [math.CT] 21 Aug 2019 categorical generalization of Freyd’s General Adjoint Functor Theorem and it pro- vides a necessary and sufficient condition, in the form of Freyd’s original solution set condition, for a limit-preserving functor between ∞-categories to admit a left adjoint.
    [Show full text]