DOCSLIB.ORG

Category of Manifolds

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Category of Manifolds S2- and P 2-category of manifolds J. C. G´omez-Larra~naga∗ F. Gonz´alez-Acu~nay Wolfgang Heilz Abstract n 2 2 A closed topological n-manifold M is of S - (resp. P )-category 2 if it can be covered by two open subsets W1,W2 such that the inclusions n 2 2 Wi ! M factor homotopically through maps Wi ! S (resp. P ). 2 2 We characterize all closed n-manifolds of S -category 2 and of P - category 2. 1 2 1 Introduction While studying the minimal number of critical points of a closed smooth n- manifold M n, denoted by crit(M n), Lusternik and Schnirelmann introduced what is now called the Lusternik-Schnirelmann category of M n, denoted by cat(M n), which is defined to be the the smallest number of sets, open and contractible in M n that are needed to cover M n. They showed that cat(M n) is a homotopy type invariant with values between 2 and n+1 and furthermore that cat(M n) ≤ crit(M n). This invariant has been widely studied, many references can be found in [CLOT]. ∗Centro de Investigaci´onen Matem´aticas,A.P. 402, Guanajuato 36000, Gto. M´exico and Instituto de Matem´aticas,UNAM, Ciudad Universitaria, 04510 M´exico,D.F. M´exico. [email protected] yInstituto de Matem´aticas,UNAM, 62210 Cuernavaca, Morelos, M´exicoand Cen- tro de Investigaci´on en Matem´aticas, A.P. 402, Guanajuato 36000, Gto. M´exico. fi[email protected] zDepartment of Mathematics, Florida State University, Tallahasee, FL 32306, USA. [email protected] 1AMS classification numbers: 57N10, 57N13, 57N15, 57M30 2Key words and phrases: Lusternik-Schnirelmann category, coverings of n- manifolds with open S2-contractible or P2-contractible subsets 1 In 1968 Clapp and Puppe [CP] generalized this invariant as follows: Let A be a class of topological spaces. For a space A 2 A a subset B in M n is A-contractible if there are maps f : B −! A and α : A −! M n such that n n the inclusion map i : B −! M is homotopic to α · f. Then catA M is the smallest number m such that M n can be covered by m open sets, each A-contractible in M n, for some A 2 A. If A = fAg consists only of one n n space A write catA M instead of catfAg M . Clapp and Puppe also pointed n out relations between catA M and the set of critical points of smooth func- tions of M n to R. For n = 3 Khimshiashvili and Siersma [KhS] obtained a 3 relation between catS1 (M ) and the set of critical circles of smooth functions M 3 ! R. In [GGH],[GGH1],[GGH2] we obtained a complete classification n of the closed (topological) n-manifolds with catS1 (M ) = 2. n Motivated by the work of Gromov [G] (see also [I]) we define catameM to be the smallest number of open and amenable sets needed to cover M n; here a set A ⊂ M is amenable if for each path-component Ak of A the im- n age of the inclusion induced homomorphism im(ι∗ : π(Ak) ! π(M )) is an amenable group. Gromov has shown [G] that if M n is a closed n-manifold n with positive simplicial volume then catame(M ) = n + 1 . Hence, by Perel- 3 man (see [MT]), if catameM ≤ 3 then M is a graph manifold. If A is the class of connected CW-complexes with amenable fundamental groups then n n n catame M ≤ catA M ≤ catK M ≤ n + 1 for any K in A. Examples of such K are P (a point), S1, S2, P2, S1×~ S1 (an S1-bundle over S1). n n 2 2 In the present paper we consider the cases of catS (M ) and catP (M ). The main results are Theorem 1 which gives a classification of (topolog- n ical) n-manifolds with catS2 (M ) = 2, and Theorem 2 which exhibits a complete list of the fundamental groups of all (topological) n-manifolds with n 2 catP (M ) = 2. In particular, for n = 3 we obtain in Corollary 2 a complete 3 2 list of all 3-manifolds of catP (M ) = 2. The paper is organized as follows: In section 2 we point out that if n n catK (M ) = 2 for a CW-complex K then M can be covered by two compact K-contractible submanifolds that meet only along their boundaries and we show how to pull back K-contractible subsets of M to covering spaces of M. In section 3 we associate to a decomposition of M into two K-contractible submanifolds (where K = S2 or P2) a graph of groups and compute the fundamental group of this graph of groups. This, together with information 2 about the homology of M n developed in section 4 is used to prove Theorem 1 in section 5 and Theorem 2 in section 6. 2 K-contractible subsets In this section we assume that M = M n is a closed connected n-manifold and K is a CW-complex. A subset W of M is K-contractible (in M) if there are maps f : W ! K and α : K ! M such that the inclusion ι : W ! M is homotopic to α · f. catK (M) is the smallest number m such that M can be covered by m open K-contractible subsets. Note that a subset of a K-contractible set is also K-contractible. It is easy to show that catK is a homotopy type invariant. In particular, if catK (M) = 2 then M is covered by two open sets W0, W1 and for i = 0; 1, there are maps fi and αi such that the diagram below is homotopy commutative: ι - Wi M @ α fi @R i K The following proposition allows us to replace the open sets Wi by com- pact submanifolds that meet only along their boundaries. Proposition 1. If catK M = 2 then M can be expressed as a union of two compact K-contractible n-submanifolds W0, W1 such that W0 \ W1 = @W0 = @W1. This was proved in [GGH] for K = S1 using topological transversality (see [KS] and [Q]). The same proof applies for any finite complex K. 3 ~ ~ Now suppose p : M ! M is a covering map. For α : K ! M let Kp be the pullback of M~ p ? α KM- ~ ~ ~ ~ ~ i.e. Kp = f (x; y) 2 K × M j α(x) = p(y) g and let q : Kp ! K,α ~ : Kp ! M be the maps induced by the projections q(x; y) = x,α ~(x; y) = y. Lemma 1. Let W,! M be K-contractible in M with ι ' α · f and let ~ ~ −1 ~ p : M ! M be a covering map. Then W := p (W ) is Kp-contractible in M~ . Proof. We have a diagram ~ι W~ - M~ @ f~ α~ @ @R ~ Kp p0 q p ? K f @ α@ ? @@R ? ι WM- where p0 is the restriction of p and ~ι is the inclusion. The homotopy ι ' α · f lifts to a homotopy ~ι ' h~ for some map h~ : W~ ! M~ such that (α·f)·p0 = p·h~. Now define f~ by f~(z) = (fp0(z); h~(z)) to get q · f~ = f · p0 and (~α · f~) = h~ ' ~ι. 4 3 Fundamental group n In this section we consider the structure of π1(M ) for a closed n-manifold n n n 2 2 M with catS (M ) = 2 or catP (M ) = 2 by using the theory of graphs of groups ([S]). 1 1 2 2 Since clearly catS (S ) = catP (S ) = 2 we assume from now on that n > 1. By Proposition 1 we may assume that n n • M = W0 [W1 such that F := W0 \W1 = @W0 = @W1. Here Wi = Wi are K-contractible n-submanifolds of M where K = S2 or K = P2. Consider the graph G of (M; F ) whose vertices (resp. edges) are in one- j to-one correspondence with the components Wi of Wi, i = 0; 1 (resp. with j k j the components Fjk = W0 \ W1 of F ). Vertices of G corresponding to W0 k j k and W1 are joined by the edges corresponding to the components of W0 \W1 . For the associated graph G of groups the group Gv associated to a vertex v j j corresponding to a component Wi of Wi is im(π1(Wi ) ! π1(M)) and the group Ge associated to an edge e corresponding to a component Fk of F is im(π1(Fk) ! π1(M)). In our case these groups are either Z2 or trivial. 0 For the vertices v,v of e the monomorphisms Ge ! Gv and Ge ! Gv0 are induced by inclusions. The fundamental group of M is isomorphic to the fundamental group πG of G (see for example [SW]). For the computation of πG we follow [S]: Pick an orientation of each edge of G. For each (oriented) edge e from a vertex v to a vertex v0 the corre- sponding element in πG is denoted by ge. The monomorphism Ge ! Gv (resp. Ge ! Gv0 ) sends a generator ae of Ge to a generator bv of Gv (resp. to a generator bv0 of Gv0 ). Let T be a maximal tree T in G. Then πG is generated by the ge for each (oriented) edge e in G − T and the generators −1 bv of Gv and defining relations are gebvge = bv0 for e 2 G − T and bv = bv0 for e 2 T . 5 From this presentation of πG it follows that if all vertex groups of G are trivial then πG ∼= F, for some free group F, hence n Lemma 2.
Load more

Recommended publications
  • Derived Smooth Manifolds
    DERIVED SMOOTH MANIFOLDS DAVID I. SPIVAK Abstract. We define a simplicial category called the category of derived man- ifolds. It contains the category of smooth manifolds as a full discrete subcat- egory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold is a space together with a sheaf of local C1-rings that is obtained by patching together homotopy zero-sets of smooth functions on Eu- clidean spaces. We show that derived manifolds come equipped with a stable normal bun- dle and can be imbedded into Euclidean space. We define a cohomology theory called derived cobordism, and use a Pontrjagin-Thom argument to show that the derived cobordism theory is isomorphic to the classical cobordism theory. This allows us to define fundamental classes in cobordism for all derived man- ifolds. In particular, the intersection A \ B of submanifolds A; B ⊂ X exists on the categorical level in our theory, and a cup product formula [A] ^ [B] = [A \ B] holds, even if the submanifolds are not transverse. One can thus consider the theory of derived manifolds as a categorification of intersection theory. Contents 1. Introduction 1 2. The axioms 8 3. Main results 14 4. Layout for the construction of dMan 21 5. C1-rings 23 6. Local C1-ringed spaces and derived manifolds 26 7. Cotangent Complexes 32 8. Proofs of technical results 39 9. Derived manifolds are good for doing intersection theory 50 10. Relationship to similar work 52 References 55 1. Introduction Let Ω denote the unoriented cobordism ring (though what we will say applies to other cobordism theories as well, e.g.
    [Show full text]
  • Categorical Differential Geometry Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 35, No 4 (1994), P
    CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES M. V. LOSIK Categorical differential geometry Cahiers de topologie et géométrie différentielle catégoriques, tome 35, no 4 (1994), p. 274-290 <http://www.numdam.org/item?id=CTGDC_1994__35_4_274_0> © Andrée C. Ehresmann et les auteurs, 1994, 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 ET VolumeXXXV-4 (1994) GEOMETRIE DIFFERENTIELLE CATEGORIQUES CATEGORICAL DIFFERENTIAL GEOMETRY by M.V. LOSIK R6sum6. Cet article d6veloppe une th6orie g6n6rale des structures g6om6triques sur des vari6t6s, bas6e sur la tlieorie des categories. De nombreuses generalisations connues des vari6t6s et des vari6t6s de Rie- mann r.entrent dans le cadre de cette th6orie g6n6rale. On donne aussi une construction des classes caractéristiques des objets ainsi obtenus, tant classiques que generalises. Diverses applications sont indiqu6es, en parti- culier aux feuilletages. Introduction This paper is the result of an attempt to give a precise meaning to some ideas of the "formal differential geometry" of Gel’fand. These ideas of Gel’fand have not been formalized in general but they may be explained by the following example. Let C*(Wn; IR) be the complex of continuous cochains of the Lie algebra Wn of formal vector fields on IRn with coefficients in the trivial Wn-module IR and let C*(Wn,GL(n, R)), C*(Wn, O(n)) be its subcomplexes of relative cochains of Wn relative to the groups GL(n, R), 0(n), respectively.
    [Show full text]
  • On Colimits in Various Categories of Manifolds
    ON COLIMITS IN VARIOUS CATEGORIES OF MANIFOLDS DAVID WHITE 1. Introduction Homotopy theorists have traditionally studied topological spaces and used methods which rely heavily on computation, construction, and induction. Proofs often go by constructing some horrendously complicated object (usually via a tower of increasingly complicated objects) and then proving inductively that we can understand what’s going on at each step and that in the limit these steps do what is required. For this reason, a homotopy theorist need the freedom to make any construction he wishes, e.g. products, subobjects, quotients, gluing towers of spaces together, dividing out by group actions, moving to fixed points of group actions, etc. Over the past 50 years tools have been developed which allow the study of many different categories. The key tool for this is the notion of a model category, which is the most general place one can do homotopy theory. Model categories were introduced by the Fields Medalist Dan Quillen, and the best known reference for model categories is the book Model Categories by Mark Hovey. Model categories are defined by a list of axioms which are all analogous to properties that the category Top of topological spaces satisfies. The most important property of a model category is that it has three distinguished classes of morphisms–called weak equivalences, cofibrations, and fibrations–which follow rules similar to the classes of maps with those names in the category Top (so the homotopy theory comes into play by inverting the weak equivalences to make them isomorphisms). The fact that homotopy theorists need to be able to do lots of constructions is contained in the axiom that M must be complete and cocomplete.
    [Show full text]
  • Quasi-Smooth Derived Manifolds
    Quasi-smooth Derived Manifolds David Isaac Spivak January 6, 2010 Abstract The category Man of smooth manifolds is not closed under arbitrary fiber products; for example the zeroset of a smooth function on a manifold is not necessarily a manifold, and the non-transverse intersection of submanifolds is not a manifold. We describe a category dMan, called the category of derived manifolds with the following properties: 1. dMan contains Man as a full subcategory; 2. dMan is closed under taking zerosets of arbitrary smooth functions (and consequently fiber products over a smooth base); and 3. every compact derived manifold has a fundamental homology class which has the desired properties. In order to accomplish this, we must incorporate homotopy theoretic meth- ods (e.g. model categories or 1-categories) with basic manifold theory. Jacob Lurie took on a similar project in his thesis, namely incorporating homotopy theory and algebraic geometry. We derive much of our inspiration from that and subsequent works by Lurie. For example, we define a derived manifold to be a structured space that can be covered by principal derived manifolds, much as a derived scheme is a structured space that can be covered by affine derived schemes. We proceed to define a cotangent complex on derived manifolds and use it to show that any derived manifold is isomorphic to the zeroset of a section of a vector bundle E ! RN . After defining derived manifolds with boundary we begin to explore the notion of derived cobordism over a topological space K. We prove two crucial facts: that any two manifolds which are derived cobordant are in fact (smoothly) cobordant, and that any derived manifold is derived cobordant over K to a smooth manifold.
    [Show full text]
  • CONVENIENT CATEGORIES of SMOOTH SPACES 1. Introduction
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 11, November 2011, Pages 5789–5825 S 0002-9947(2011)05107-X Article electronically published on June 6, 2011 CONVENIENT CATEGORIES OF SMOOTH SPACES JOHN C. BAEZ AND ALEXANDER E. HOFFNUNG Abstract. A ‘Chen space’ is a set X equipped with a collection of ‘plots’, i.e., maps from convex sets to X, satisfying three simple axioms. While an individ- ual Chen space can be much worse than a smooth manifold, the category of all Chen spaces is much better behaved than the category of smooth manifolds. For example, any subspace or quotient space of a Chen space is a Chen space, and the space of smooth maps between Chen spaces is again a Chen space. Souriau’s ‘diffeological spaces’ share these convenient properties. Here we give a unified treatment of both formalisms. Following ideas of Penon and Dubuc, we show that Chen spaces, diffeological spaces, and even simplicial complexes are examples of ‘concrete sheaves on a concrete site’. As a result, the cate- gories of such spaces are locally Cartesian closed, with all limits, all colimits, and a weak subobject classifier. For the benefit of differential geometers, our treatment explains most of the category theory we use. 1. Introduction Algebraic topologists have become accustomed to working in a category of spaces for which many standard constructions have good formal properties: mapping spaces, subspaces and quotient spaces, limits and colimits, and so on. In differ- ential geometry the situation is quite different, since the most popular category, that of finite-dimensional smooth manifolds, lacks almost all these features.
    [Show full text]
  • Category Theory
    University of Cambridge Mathematics Tripos Part III Category Theory Michaelmas, 2018 Lectures by P. T. Johnstone Notes by Qiangru Kuang Contents Contents 1 Definitions and examples 2 2 The Yoneda lemma 10 3 Adjunctions 16 4 Limits 23 5 Monad 35 6 Cartesian closed categories 46 7 Toposes 54 7.1 Sheaves and local operators* .................... 61 Index 66 1 1 Definitions and examples 1 Definitions and examples Definition (category). A category C consists of 1. a collection ob C of objects A; B; C; : : :, 2. a collection mor C of morphisms f; g; h; : : :, 3. two operations dom and cod assigning to each f 2 mor C a pair of f objects, its domain and codomain. We write A −! B to mean f is a morphism and dom f = A; cod f = B, 1 4. an operation assigning to each A 2 ob C a morhpism A −−!A A, 5. a partial binary operation (f; g) 7! fg on morphisms, such that fg is defined if and only if dom f = cod g and let dom fg = dom g; cod fg = cod f if fg is defined satisfying f 1. f1A = f = 1Bf for any A −! B, 2. (fg)h = f(gh) whenever fg and gh are defined. Remark. 1. This definition is independent of any model of set theory. If we’re givena particuar model of set theory, we call C small if ob C and mor C are sets. 2. Some texts say fg means f followed by g (we are not). 3. Note that a morphism f is an identity if and only if fg = g and hf = h whenever the compositions are defined so we could formulate the defini- tions entirely in terms of morphisms.
    [Show full text]
  • 4. the Concept of a Lie Group 4.1. the Category of Manifolds and The
    4. The concept of a Lie group 4.1. The category of manifolds and the definition of Lie groups. We have discussed the concept of a manifold-Cr, k-analytic, algebraic. To define the category corresponding to each type of manifold we must define what the morphisms are. Since all the types of manifolds were defined as instances of ringed spaces of functions it is enough to define what is a morphism between two such ringed spaces. If (X, OX ), (Y, OY ) are ringed spaces of functions, a morphisn f(X −→ Y ) is a continuous map such ∗ ∗ that the pull back f takes OY to OX . More precisely f := ϕ ◦ f is −1 a homomorphism from OY (V ) to OX (f (U)) for each open V ⊂ Y . Compositions of morphisms are morphisms and so we have categories of manifolds for each of the type discussed. All the categories of manifolds defined above admit products. To define a Lie group in one of these categories we take a manifold G which is also a group and require that the group maps are morphisms, namely, the maps µ : G × G −→ G, µ(x,y) = xy, i : G −→ G, i(x) = x−1 are morphisms. A morphism between Lie groups is a homomorphism which is a morphism of the underlying manifolds. So we get the corre- sponding category of Lie groups. If the category is the category of affine algebraic varieties we get the category of linear algebraic groups; itis aba- sic result that the linear algebraic groups are precisely the (Zariski) closed subgroups of some GL(n).
    [Show full text]
  • Factorization Homology of Topological Manifolds
    FACTORIZATION HOMOLOGY OF TOPOLOGICAL MANIFOLDS DAVID AYALA & JOHN FRANCIS Abstract. Factorization homology theories of topological manifolds, after Beilinson, Drinfeld and Lurie, are homology-type theories for topological n-manifolds whose coefficient systems are n-disk algebras or n-disk stacks. In this work we prove a precise formulation of this idea, giving an axiomatic characterization of factorization homology with coefficients in n-disk algebras in terms of a generalization of the Eilenberg{Steenrod axioms for singular homology. Each such theory gives rise to a kind of topological quantum field theory, for which observables can be defined on general n-manifolds and not only closed n-manifolds. For n-disk algebra coefficients, these field theories are characterized by the condition that global observables are determined by local observables in a strong sense. Our axiomatic point of view has a number of applications. In particular, we give a concise proof of the nonabelian Poincar´eduality of Salvatore, Segal, and Lurie. We present some essential classes of calculations of factorization homology, such as for free n-disk algebras and enveloping algebras of Lie algebras, several of which have a conceptual meaning in terms of Koszul duality. Contents 1. Introduction 2 2. B-framed disks and manifolds 6 2.1. B-framings 6 2.2. Disks 9 2.3. Manifolds with boundary 11 2.4. Localizing with respect to isotopy equivalences 12 3. Homology theories for topological manifolds 14 3.1. Disk algebras 14 3.2. Factorization homology over oriented 1-manifolds with boundary 17 3.3. Homology theories 18 3.4. Pushforward 19 3.5.
    [Show full text]
  • Higher Categorical Structures and Their Applications
    PROJECT DESCRIPTION: HIGHER CATEGORICAL STRUCTURES AND THEIR APPLICATIONS PROPOSED RESEARCH 1. Background, context, and perspective Eilenberg and Mac Lane introduced categories, functors, and natural transforma- tions in their 1945 paper [54]. The language they introduced transformed modern mathematics. Their focus was not on categories and functors, but on natural trans- formations, which are maps between functors. Implicitly, they were introducing the 2-category “Cat” of categories, functors, and natural transformations. Higher category theory concerns higher level notions of naturality, which can be expressed as maps between natural transformations, maps between such maps, and so on, that is, maps between maps between maps. Just as the original definitions of Eilenberg and Mac Lane gave a way of thinking about categorical structures and analogies between such structures in different fields, higher category theory promises to allow serious thinking about and study of higher categorical struc- tures that appear in a variety of specific fields. The need for such a language has become apparent, almost simultaneously, in mathematical physics, algebraic geom- etry, computer science, logic, and, of course, category theory. As we shall explain, such a language and a relevant body of results is already implicit throughout al- gebraic topology. In all of these areas, higher categorical structures are there in nature, and one needs a coherent way of thinking about them. To give some feel for how such structures appear, we briefly consider topological quantum field theory (TQFT). A TQFT is a structure-preserving functor from a suitable cobordism category of manifolds to an analogously structured algebraic category. With the usual definitions, the objects of the domain category are closed manifolds of a certain dimension and the maps between them are equivalence classes of cobordisms between them, which are manifolds with boundary in the next higher dimension.
    [Show full text]
  • Three Lectures on Topological Manifolds
    THREE LECTURES ON TOPOLOGICAL MANIFOLDS ALEXANDER KUPERS Abstract. We introduce the theory of topological manifolds (of high dimension). We develop two aspects of this theory in detail: microbundle transversality and the Pontryagin- Thom theorem. Contents 1. Lecture 1: the theory of topological manifolds1 2. Intermezzo: Kister's theorem9 3. Lecture 2: microbundle transversality 14 4. Lecture 3: the Pontryagin-Thom theorem 24 References 30 These are the notes for three lectures I gave at a workshop. They are mostly based on Kirby-Siebenmann [KS77] (still the only reference for many basic results on topological manifolds), though we have eschewed PL manifolds in favor of smooth manifolds and often do not give results in their full generality. 1. Lecture 1: the theory of topological manifolds Definition 1.1. A topological manifold of dimension n is a second-countable Hausdorff space M that is locally homeomorphic to an open subset of Rn. In this first lecture, we will discuss what the \theory of topological manifolds" entails. With \theory" I mean a collection of definitions, tools and results that provide insight in a mathematical structure. For smooth manifolds of dimension ≥ 5, handle theory provides such insight. We will describe the main tools and results of this theory, and then explain how a similar theory may be obtained for topological manifolds. In an intermezzo we will give the proof of the Kister's theorem, to give a taste of the infinitary techniques particular to topological manifolds. In the second lecture we will develop one of the important tools of topological manifold theory | transversality | and in the third lecture we will obtain one of its important results | the classification of topological manifolds of dimension ≥ 6 up to bordism.
    [Show full text]
  • Proquest Dissertations
    u Ottawa l.'Unh'crsilc cnnnrlicnne Canada's university FACULTE DES ETUDES SUPERIEURES ISS5I FACULTY OF GRADUATE AND ET POSTOCTORALES U Ottawa POSDOCTORAL STUDIES K'Universitd canadienne Canada's university Guennadi Kondratiev TOTEWDElJTH^TAUTFOROFTFESfS" Ph.D. (Mathematics) GRADE/DEGREE Department of Mathematics and Statistics WUITETEWLIVMPA^ Duality, Manifolds, Structures TITRE DE LA THESE / TITLE OF THESIS Philip Scott TTRECTEURTDWC^ Richard Blute CO-DIRECTEUR (CO-DIRECTRICE) DE LA THESE / THESIS CO-SUPERVISOR EXAMINATEURS (EXAMINATRICES) DE LA THESE / THESIS EXAMINERS Inna Bumagin Paul-Eugene Parent Pieter Hofstra James Stasheff Gary W. Slater Le Doyen de la Faculte des etudes superieures et postdoctorales / Dean of the Faculty of Graduate and Postdoctoral Studies DUALITY, MANIFOLDS, STRUCTURES G. V. Kondratiev A Thesis submitted to the Faculty of Graduate and Postdoctoral Studies University of Ottawa in partial fulfillment of the requirements for the Ph.D. degree in the Ottawa-Carleton Institute for Graduate Studies and Research in Mathematics and Statistics © G. V. Kc ndratiev, Ottawa, Canada, 20V Library and Bibliotheque et 1*1 Archives Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington Ottawa ON K1A0N4 Ottawa ON K1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-49370-0 Our file Notre reference ISBN: 978-0-494-49370-0 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library
    [Show full text]
  • Differential Cohomology Theories As Sheaves on Manifolds
    Differential cohomology theories as sheaves on manifolds Peter J. Haine May 16, 2020 Contents 1 Sheaves on the category of manifolds 2 1.1 Checking equivalences on stalks ...................... 4 1.2 Digression: Excision & the sheaf condition ................ 5 1.3 Digression: relation to infinite dimensional manifolds .......... 8 2 퐑-invariant sheaves 9 2.1 Description of the constant sheaf functor ................. 12 2.2 Criteria for 퐑-invariance .......................... 13 3 퐑-localization 15 3.1 The Morel–Suslin–Voevodsky construction ................ 15 3.2 Proof of the Morel–Suslin–Voevodsky formula .............. 16 3.3 Simplicial homotopies in ∞-categories .................. 19 4 The Transfer Conjecture 22 4.1 Categories of spans ............................. 23 4.2 Spans and commutative monoids ..................... 25 4.3 The Transfer Conjecture after Bachmann–Hoyois ............ 26 5 Structures in the stable case 28 5.1 The fracture square ............................. 28 5.2 The differential cohomology diagram ................... 30 5.3 Differential refinements .......................... 32 A Technical details from topos theory 35 A.1 From sheaves of spaces to 퐶-valued sheaves ............... 35 A.2 Restriction to a manifold .......................... 36 A.3 Sheafification ................................ 37 A.4 Constant sheaves are 퐑-invariant ..................... 38 A.5 Background on notions of completeness for higher topoi ........ 39 A.6 Tensor products with compactly generated ∞-categories ........ 40 1 A.7 A conservative family of points ...................... 41 A.8 Sheaves on the cartesian site ........................ 43 A.9 The sheafification of an 퐑-invariant presheaf ............... 44 References 46 Overview In these notes we set up differential cohomology theories as sheaves of spectra on the category of manifolds, and prove the basic structural results that we need to work with differential cohomology theories.
    [Show full text]