DOCSLIB.ORG

Algebraic Homotopy (Cambridge Studies in Advanced Mathematics)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Algebraic Homotopy (Cambridge Studies in Advanced Mathematics) Algebraic homotopy Algebraic homotopy HANS JOACHIM BAUES Max-Planck-Institut fur Mathematik, Bonn S The right of the University If Cambridge to print and sell a/I manner of books vas granted by Henry VIII in 1534. The University has printed and published continuously since 1584. CAMBRIDGE UNIVERSITY PRESS Cambridge New York New Rochelle MelbourneSydney CAMBRIDGE UNIVERSITY PRESS Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, Sao Paulo Cambridge University Press The Edinburgh Building, Cambridge C132 8RU, UK Published in the United States of America by Cambridge University Press, New York www.cambridge.org Information on this title: www.cambridge.org/9780521333764 © Cambridge University Press 1988 This publication is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. First published 1989 This digitally printed version 2008 A catalogue record for this publication is available from the British Library Library of Congress Cataloguing in Publication data Baues, Hans J., 1943- Algebraic homotopy. Bibliography: P. Includes index. 1. Homotopy theory. 2. Categories (Mathematics) I. Title. QA612.7.B385 1986 514'.24 86-32738 ISBN 978-0-521-33376-4 hardback ISBN 978-0-521-05531-4 paperback Fur Barbara and fur unsere Kinder Charis and Sarah CONTENTS Preface xi Introduction xiii List of symbols xvi IAxioms for homotopy theory and examples of cofibration categories 1 0Cofibrations and fibrations in topology 2 1 Cofibration categories 5 laAppendix: fibration categories to lbAppendix: proof of (1.4) 12 2The axioms of Quillen 14 3 Categories with a natural cylinder 18 3aAppendix: categories with a natural path object 27 4The category of topological spaces 29 4aAppendix: the relative homotopy lifting property 31 4bAppendix: the cube theorem 33 5 Examples of cofibration categories 34 6The category of chain complexes 39 7 The category of chain algebras 45 8 The category of commutative cochain algebras 58 9The category of chain Lie algebras 74 IIHomotopy theory in a cofibration category 83 1 Some properties of a cofibration category 83 2Sets of homotopy classes 92 3 The homotopy category of fibrant and cofibrant objects 99 4Functors between cofibration categories 102 5 The groupoid of homotopies 104 5aAppendix: homotopies and functors 110 6Homotopy groups 115 viii Contents 6aAppendix: homotopy groups and functors 118 7 Relative homotopy groups and the exact homotopy sequence of a pair 119 8 Principal cofibrations and the cofiber sequence 125 9Induced maps on cofibers 131 10Homotopy groups of function spaces 135 10aAppendix: homotopy groups of function spaces and functors 141 11 The partial and functional suspensions 142 12The difference operator 145 13Double mapping cones 147 14Homotopy theory in a fibration category 152 15Whitehead products 154 15aAppendix: Whitehead products, co-Whitehead products and cup products in topology 160 16Examples on the classification of maps in topology 164 17Homotopy groups in the category of chain algebras 169 IIIThe homotopy spectral sequences in a cofibration category 179 1 Homotopy groups of homotopy limits 180 2The homotopy spectral sequence 189 3 Based complexes and cohomology 194 4Complexes and twisted cohomology 199 5 Cohomology with local coefficients of CW-complexes 206 5aAppendix: admissible classes of complexes 211 6Eilenberg-Mac Lane spaces and cohomology with local coefficients 213 7 Postnikov towers 215 8 Nilpotency of function spaces in topology 216 9Homotopy groups of function spaces in topology 218 10The relative homotopy spectral sequence 219 11 The relative homotopy spectral sequence for CW-complexes 227 IVExtensions, coverings, and cohomology groups of a category 229 1 Detecting functors 229 2Group actions on categories 231 3 Linear extensions of categories 236 4Linear coverings of categories and exact sequences for functors 239 5 The cohomology of a small category 245 6Classification of linear extensions 251 7 Classification of linear coverings 255 258 V Maps between mapping cones 1 Group actions on the category PAIR 258 2Principal and twisted maps between mapping cones 260 3 A linear group action 263 3aAppendix: the homotopy category of Moore spaces in degree n 267 4 A quadratic group action 269 271 5 The equivalence problem Contents ix 6 Maps between fiber spaces in a fibration category 275 7 The homotopy type of a mapping cone in topology 277 7aAppendix: proof of the general suspension theorem under D 283 8 Example: homotopy theory of the 2-stem and of the 3-stem 286 9Example: The group of homotopy equivalence of the connected sum (S' X S3)#(S2 X S2) 290 10The homotopy type of a fiber space in topology 295 10aAppendix: proof of the general loop theorem over D 302 VIHomotopy theory of CW-complexes 306 1 Crossed chain complexes 306 2The functional suspension and the Peiffer-group for 2-dimensional CW- complexes 315 3 The homotopy category of 2-dimensional CW-complexes under D 319 4The tower of categories for the homotopy category of crossed chain complexes 322 5 Homotopy systems of order n, n >-- 3 336 6The tower of categories for the homotopy category of CW-complexes under D 346 7 Small models and obstructions to finiteness for CW-complexes under D 356 8 n-dimensional CW-complexes and (n - 1)-types 364 VIIHomotopy theory of complexes in a cofibration category 371 1 Twisted maps between complexes 371 2Twisted maps and 1-homotopies 385 3 Examples of complexes in topology 397 4Complexes in the category of chain algebras 401 VIII Homotopy theory of Postnikov towers and the Sullivan-de Rham equival- ence of rational homotopy categories 404 1 The tower of categories for Postnikov decompositions 404 2 The category of K(A, n)-fibrations over D 414 3 The de Rham theorem for cohomology groups with local coefficients 416 4 The tower of categories for commutative cochain algebras under D 424 5 The category of A(V, n)-cofibrations under D 426 6Integral homotopy theory of spaces over D and minimal models 427 IXHomotopy theory of reduced complexes 436 1 Reduced complexes 436 2The tower of categories for reduced complexes 438 3 Functors on reduced complexes and the Quillen equivalence of rational homotopy categories 443 4Whitehead's classification of simply connected 4-dimensional CW- complexes and the corresponding result for reduced complexes 447 Bibliography 455 Index 461 PREFACE This book gives a new general outlook on homotopy theory: fundamental ideas of homotopy theory are developed in the presence of a few axioms so that they are available in a broad variety of contexts. Many examples and applications in topology and algebra are discussed; we consider the homotopy theory of topological spaces, the algebraic homotopy theory of chain algebras, and rational homotopy theory. The axiomatic approach saves a lot of work in the various fields of application and offers a new way of organizing a course of modern homotopy theory. A fruitful interplay takes place among the various applications. This book is also a research monograph on homotopy classification problems. The main new result and our principal objective is the `tower of categories' which approximates the homotopy category of complexes. Such towers turn out to be a useful new tool for homotopy classification problems; they complement the well-known spectralsequences. The theory on complexes is a continuation of J.H.C. Whitehead's combinatorial homotopy. In fact, some of Whitehead's results can be derived readily from the properties of the towers. In a later chapter (Chapter IX) we describe the simplest examples of towers of categories from which nevertheless fundamental results of homotopy theory can be immediately deduced. Most of the material in the book does not appear in any textbook on algebraic topology and homotopy theory. As prerequisites the reader should be familiar with elementary topology and the language of categories. The book can also be used by readers who have only a little knowledge of topology and homotopy theory, for example when they want to apply the methods of homotopical algebra in an algebraic xii Preface context. The book covers the elementary homotopy theory in an abstract way. The nine chapters which comprise the book are subdivided into several sections, §0, § 1, § la, § lb, §2, etc. Definitions, propositions, remarks, etc., are consecutively numberd in each section, each number being preceded by the section number, for example (1.5) or (1a.5). A reference such as (11. 5.6) points to (5.6) in Chapter II, while (5.6) points to (5.6) in the chapter at hand. References to the bibliography are given by the author's name, e.g. J.H.C. Whitehead (1950). I lectured on the material presented in this book in Bonn (1982), Lille (1982), Berlin (1985), Zurich (1986) and on several conferences. There are further applications of the results which cannot be described in a book of this size. In particular, we obtained an algebraic classification of (n- 1)- connected (n + 3)-dimensional polyhedra for n >_ 1. The invariants are computable; for example, there exist exactly 4732 simply connected homotopy types which have the homology groups (n >_ 4) 7L/4 Q+ 71/4 Q+ 7L i = n 7L/8Q+7L i=n+1 H1(X)= Z/2p+71/4p+7L i=n+2 Z i=n+3 0 otherwise. Further details will appear elsewhere. However, the basic machinery for these results is developed in this book. I would like to acknowledge the support of the Sonderforschungsbereich 40 Theoretische Mathematik, of the Max-Planck-Institut fur Mathematik in Bonn, and of the Forschungsinstitut fur Mathematik ETH Zurich. Moreover, I am very grateful to A. Grothendieck for a series of letters concerning Chapters I and II. I especially thank my colleagues and friends S. Halperin, J.M. Lemaire, and H. Scheerer for their interest and for valuable suggestions during the years that I worked on this book; in fact, their work influenced and inspired the development of the ideas; I remember with pleasure the discussions in Bonn, Toronto, Nice, and Berlin and also in Lille and Louvain la Neuve where J.
Load more

Recommended publications
  • [Math.AT] 2 May 2002
    WEAK EQUIVALENCES OF SIMPLICIAL PRESHEAVES DANIEL DUGGER AND DANIEL C. ISAKSEN Abstract. Weak equivalences of simplicial presheaves are usually defined in terms of sheaves of homotopy groups. We give another characterization us- ing relative-homotopy-liftings, and develop the tools necessary to prove that this agrees with the usual definition. From our lifting criteria we are able to prove some foundational (but new) results about the local homotopy theory of simplicial presheaves. 1. Introduction In developing the homotopy theory of simplicial sheaves or presheaves, the usual way to define weak equivalences is to require that a map induce isomorphisms on all sheaves of homotopy groups. This is a natural generalization of the situation for topological spaces, but the ‘sheaves of homotopy groups’ machinery (see Def- inition 6.6) can feel like a bit of a mouthful. The purpose of this paper is to unravel this definition, giving a fairly concrete characterization in terms of lift- ing properties—the kind of thing which feels more familiar and comfortable to the ingenuous homotopy theorist. The original idea came to us via a passing remark of Jeff Smith’s: He pointed out that a map of spaces X → Y induces an isomorphism on homotopy groups if and only if every diagram n−1 / (1.1) S 6/ X xx{ xx xx {x n { n / D D 6/ Y xx{ xx xx {x Dn+1 −1 arXiv:math/0205025v1 [math.AT] 2 May 2002 admits liftings as shown (for every n ≥ 0, where by convention we set S = ∅). Here the maps Sn−1 ֒→ Dn are both the boundary inclusion, whereas the two maps Dn ֒→ Dn+1 in the diagram are the two inclusions of the surface hemispheres of Dn+1.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC TOPOLOGY 1 Category And
    INTRODUCTION TO ALGEBRAIC TOPOLOGY (UPDATED June 2, 2020) SI LI AND YU QIU CONTENTS 1 Category and Functor 2 Fundamental Groupoid 3 Covering and fibration 4 Classification of covering 5 Limit and colimit 6 Seifert-van Kampen Theorem 7 A Convenient category of spaces 8 Group object and Loop space 9 Fiber homotopy and homotopy fiber 10 Exact Puppe sequence 11 Cofibration 12 CW complex 13 Whitehead Theorem and CW Approximation 14 Eilenberg-MacLane Space 15 Singular Homology 16 Exact homology sequence 17 Barycentric Subdivision and Excision 18 Cellular homology 19 Cohomology and Universal Coefficient Theorem 20 Hurewicz Theorem 21 Spectral sequence 22 Eilenberg-Zilber Theorem and Kunneth¨ formula 23 Cup and Cap product 24 Poincare´ duality 25 Lefschetz Fixed Point Theorem 1 1 CATEGORY AND FUNCTOR 1 CATEGORY AND FUNCTOR Category In category theory, we will encounter many presentations in terms of diagrams. Roughly speaking, a diagram is a collection of ‘objects’ denoted by A, B, C, X, Y, ··· , and ‘arrows‘ between them denoted by f , g, ··· , as in the examples f f1 A / B X / Y g g1 f2 h g2 C Z / W We will always have an operation ◦ to compose arrows. The diagram is called commutative if all the composite paths between two objects ultimately compose to give the same arrow. For the above examples, they are commutative if h = g ◦ f f2 ◦ f1 = g2 ◦ g1. Definition 1.1. A category C consists of 1◦. A class of objects: Obj(C) (a category is called small if its objects form a set). We will write both A 2 Obj(C) and A 2 C for an object A in C.
    [Show full text]
  • Notes for Math 227A: Algebraic Topology
    NOTES FOR MATH 227A: ALGEBRAIC TOPOLOGY KO HONDA 1. CATEGORIES AND FUNCTORS 1.1. Categories. A category C consists of: (1) A collection ob(C) of objects. (2) A set Hom(A, B) of morphisms for each ordered pair (A, B) of objects. A morphism f ∈ Hom(A, B) f is usually denoted by f : A → B or A → B. (3) A map Hom(A, B) × Hom(B,C) → Hom(A, C) for each ordered triple (A,B,C) of objects, denoted (f, g) 7→ gf. (4) An identity morphism idA ∈ Hom(A, A) for each object A. The morphisms satisfy the following properties: A. (Associativity) (fg)h = f(gh) if h ∈ Hom(A, B), g ∈ Hom(B,C), and f ∈ Hom(C, D). B. (Unit) idB f = f = f idA if f ∈ Hom(A, B). Examples: (HW: take a couple of examples and verify that all the axioms of a category are satisfied.) 1. Top = category of topological spaces and continuous maps. The objects are topological spaces X and the morphisms Hom(X,Y ) are continuous maps from X to Y . 2. Top• = category of pointed topological spaces. The objects are pairs (X,x) consisting of a topological space X and a point x ∈ X. Hom((X,x), (Y,y)) consist of continuous maps from X to Y that take x to y. Similarly define Top2 = category of pairs (X, A) where X is a topological space and A ⊂ X is a subspace. Hom((X, A), (Y,B)) consists of continuous maps f : X → Y such that f(A) ⊂ B.
    [Show full text]
  • Fibrations II - the Fundamental Lifting Property
    Fibrations II - The Fundamental Lifting Property Tyrone Cutler July 13, 2020 Contents 1 The Fundamental Lifting Property 1 2 Spaces Over B 3 2.1 Homotopy in T op=B ............................... 7 3 The Homotopy Theorem 8 3.1 Implications . 12 4 Transport 14 4.1 Implications . 16 5 Proof of the Fundamental Lifting Property Completed. 19 6 The Mutal Characterisation of Cofibrations and Fibrations 20 6.1 Implications . 22 1 The Fundamental Lifting Property This section is devoted to stating Theorem 1.1 and beginning its proof. We prove only the first of its two statements here. This part of the theorem will then be used in the sequel, and the proof of the second statement will follow from the results obtained in the next section. We will be careful to avoid circular reasoning. The utility of the theorem will soon become obvious as we repeatedly use its statement to produce maps having very specific properties. However, the true power of the theorem is not unveiled until x 5, where we show how it leads to a mutual characterisation of cofibrations and fibrations in terms of an orthogonality relation. Theorem 1.1 Let j : A,! X be a closed cofibration and p : E ! B a fibration. Assume given the solid part of the following strictly commutative diagram f A / E |> j h | p (1.1) | | X g / B: 1 Then the dotted filler can be completed so as to make the whole diagram commute if either of the following two conditions are met • j is a homotopy equivalence. • p is a homotopy equivalence.
    [Show full text]
  • When Is the Natural Map a a Cofibration? Í22a
    transactions of the american mathematical society Volume 273, Number 1, September 1982 WHEN IS THE NATURAL MAP A Í22A A COFIBRATION? BY L. GAUNCE LEWIS, JR. Abstract. It is shown that a map/: X — F(A, W) is a cofibration if its adjoint/: X A A -» W is a cofibration and X and A are locally equiconnected (LEC) based spaces with A compact and nontrivial. Thus, the suspension map r¡: X -» Ü1X is a cofibration if X is LEC. Also included is a new, simpler proof that C.W. complexes are LEC. Equivariant generalizations of these results are described. In answer to our title question, asked many years ago by John Moore, we show that 7j: X -> Í22A is a cofibration if A is locally equiconnected (LEC)—that is, the inclusion of the diagonal in A X X is a cofibration [2,3]. An equivariant extension of this result, applicable to actions by any compact Lie group and suspensions by an arbitrary finite-dimensional representation, is also given. Both of these results have important implications for stable homotopy theory where colimits over sequences of maps derived from r¡ appear unbiquitously (e.g., [1]). The force of our solution comes from the Dyer-Eilenberg adjunction theorem for LEC spaces [3] which implies that C.W. complexes are LEC. Via Corollary 2.4(b) below, this adjunction theorem also has some implications (exploited in [1]) for the geometry of the total spaces of the universal spherical fibrations of May [6]. We give a simpler, more conceptual proof of the Dyer-Eilenberg result which is equally applicable in the equivariant context and therefore gives force to our equivariant cofibration condition.
    [Show full text]
  • Arxiv:0704.1009V1 [Math.KT] 8 Apr 2007 Odo References
    LECTURES ON DERIVED AND TRIANGULATED CATEGORIES BEHRANG NOOHI These are the notes of three lectures given in the International Workshop on Noncommutative Geometry held in I.P.M., Tehran, Iran, September 11-22. The first lecture is an introduction to the basic notions of abelian category theory, with a view toward their algebraic geometric incarnations (as categories of modules over rings or sheaves of modules over schemes). In the second lecture, we motivate the importance of chain complexes and work out some of their basic properties. The emphasis here is on the notion of cone of a chain map, which will consequently lead to the notion of an exact triangle of chain complexes, a generalization of the cohomology long exact sequence. We then discuss the homotopy category and the derived category of an abelian category, and highlight their main properties. As a way of formalizing the properties of the cone construction, we arrive at the notion of a triangulated category. This is the topic of the third lecture. Af- ter presenting the main examples of triangulated categories (i.e., various homo- topy/derived categories associated to an abelian category), we discuss the prob- lem of constructing abelian categories from a given triangulated category using t-structures. A word on style. In writing these notes, we have tried to follow a lecture style rather than an article style. This means that, we have tried to be very concise, keeping the explanations to a minimum, but not less (hopefully). The reader may find here and there certain remarks written in small fonts; these are meant to be side notes that can be skipped without affecting the flow of the material.
    [Show full text]
  • Lecture Notes on Simplicial Homotopy Theory
    Lectures on Homotopy Theory The links below are to pdf files, which comprise my lecture notes for a first course on Homotopy Theory. I last gave this course at the University of Western Ontario during the Winter term of 2018. The course material is widely applicable, in fields including Topology, Geometry, Number Theory, Mathematical Pysics, and some forms of data analysis. This collection of files is the basic source material for the course, and this page is an outline of the course contents. In practice, some of this is elective - I usually don't get much beyond proving the Hurewicz Theorem in classroom lectures. Also, despite the titles, each of the files covers much more material than one can usually present in a single lecture. More detail on topics covered here can be found in the Goerss-Jardine book Simplicial Homotopy Theory, which appears in the References. It would be quite helpful for a student to have a background in basic Algebraic Topology and/or Homological Algebra prior to working through this course. J.F. Jardine Office: Middlesex College 118 Phone: 519-661-2111 x86512 E-mail: [email protected] Homotopy theories Lecture 01: Homological algebra Section 1: Chain complexes Section 2: Ordinary chain complexes Section 3: Closed model categories Lecture 02: Spaces Section 4: Spaces and homotopy groups Section 5: Serre fibrations and a model structure for spaces Lecture 03: Homotopical algebra Section 6: Example: Chain homotopy Section 7: Homotopical algebra Section 8: The homotopy category Lecture 04: Simplicial sets Section 9:
    [Show full text]
  • Cofiber Sequences Are Fiber Sequences
    Lecture 7: Cofiber sequences are fiber sequences 1/23/15 1 Cofiber sequences and the Puppe sequence If f : X ! Y is a map of CW complexes, recall that the reduced mapping cone ` is the space Y [f CX = (Y X ^ [0; 1])= ∼, where (x; 1) ∼ f(x). If we vary f by a homotopy, Y [f CX changes by a homotopy equivalence. We may likewise form the reduced mapping cone of a map f : X ! Y in the stable homotopy category. f is represented by a function of spectra f : X0 ! Y , where X0 is a cofinal subspectrum of X. By replacing f by a homotopic map, 0 0 we may assume that fn : Xn ! Yn is a cellular map. Then Y [f CX is the 0 spectrum whose nth space is Yn [fn CXn and whose structure maps are induced from those of X and Y . This is well-defined up to isomorphism, because varying f by a homotopy does not change the isomorphism class of Y [f CX. If i : A ! X is the inclusion of a closed subspectrum, then define X=A be the spectrum whose nth space is Xn=An and whose structure maps are those induced from the structure maps of X. The evident map X [i CA ! X=A is an isomorphism in the stable homotopy category because on the level of spaces we have homotopy equivalences which therefore induce isomorphism on π∗. Definition 1.1. A cofiber sequence is any sequence equivalent to a sequence of f i the form X ! Y ! Y [f CX Proposition 1.2.
    [Show full text]
  • Agnieszka Bodzenta
    June 12, 2019 HOMOLOGICAL METHODS IN GEOMETRY AND TOPOLOGY AGNIESZKA BODZENTA Contents 1. Categories, functors, natural transformations 2 1.1. Direct product, coproduct, fiber and cofiber product 4 1.2. Adjoint functors 5 1.3. Limits and colimits 5 1.4. Localisation in categories 5 2. Abelian categories 8 2.1. Additive and abelian categories 8 2.2. The category of modules over a quiver 9 2.3. Cohomology of a complex 9 2.4. Left and right exact functors 10 2.5. The category of sheaves 10 2.6. The long exact sequence of Ext-groups 11 2.7. Exact categories 13 2.8. Serre subcategory and quotient 14 3. Triangulated categories 16 3.1. Stable category of an exact category with enough injectives 16 3.2. Triangulated categories 22 3.3. Localization of triangulated categories 25 3.4. Derived category as a quotient by acyclic complexes 28 4. t-structures 30 4.1. The motivating example 30 4.2. Definition and first properties 34 4.3. Semi-orthogonal decompositions and recollements 40 4.4. Gluing of t-structures 42 4.5. Intermediate extension 43 5. Perverse sheaves 44 5.1. Derived functors 44 5.2. The six functors formalism 46 5.3. Recollement for a closed subset 50 1 2 AGNIESZKA BODZENTA 5.4. Perverse sheaves 52 5.5. Gluing of perverse sheaves 56 5.6. Perverse sheaves on hyperplane arrangements 59 6. Derived categories of coherent sheaves 60 6.1. Crash course on spectral sequences 60 6.2. Preliminaries 61 6.3. Hom and Hom 64 6.4.
    [Show full text]
  • We Begin with a Review of the Classical Fibration Replacement Construction
    Contents 11 Injective model structure 1 11.1 The existence theorem . 1 11.2 Injective fibrant models and descent . 13 12 Other model structures 18 12.1 Injective model structure for simplicial sheaves . 18 12.2 Intermediate model structures . 21 11 Injective model structure 11.1 The existence theorem We begin with a review of the classical fibration replacement construction. 1) Suppose that f : X ! Y is a map of Kan com- plexes, and form the diagram I f∗ I d1 X ×Y Y / Y / Y s f : d0∗ d0 / X f Y Then d0 is a trivial fibration since Y is a Kan com- plex, so d0∗ is a trivial fibration. The section s of d0 (and d1) induces a section s∗ of d0∗. Then (d1 f∗)s∗ = d1(s f ) = f 1 Finally, there is a pullback diagram I f∗ I X ×Y Y / Y (d0∗;d1 f∗) (d0;d1) X Y / Y Y × f ×1 × and the map prR : X ×Y ! Y is a fibration since X is fibrant, so that prR(d0∗;d1 f∗) = d1 f∗ is a fibra- tion. I Write Z f = X ×Y Y and p f = d1 f∗. Then we have functorial replacement s∗ d0∗ X / Z f / X p f f Y of f by a fibration p f , where d0∗ is a trivial fibra- tion such that d0∗s∗ = 1. 2) Suppose that f : X ! Y is a simplicial set map, and form the diagram j ¥ X / Ex X q f s∗ f∗ # f ˜ / Z f Z f∗ p f∗ ¥ { / Y j Ex Y 2 where the diagram ˜ / Z f Z f∗ p˜ f p f∗ ¥ / Y j Ex Y is a pullback.
    [Show full text]
  • UC Berkeley UC Berkeley Electronic Theses and Dissertations
    UC Berkeley UC Berkeley Electronic Theses and Dissertations Title Smooth Field Theories and Homotopy Field Theories Permalink https://escholarship.org/uc/item/8049k3bs Author Wilder, Alan Cameron Publication Date 2011 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California Smooth Field Theories and Homotopy Field Theories by Alan Cameron Wilder A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Peter Teichner, Chair Associate Professor Ian Agol Associate Professor Michael Hutchings Professor Mary K. Gaillard Fall 2011 Smooth Field Theories and Homotopy Field Theories Copyright 2011 by Alan Cameron Wilder 1 Abstract Smooth Field Theories and Homotopy Field Theories by Alan Cameron Wilder Doctor of Philosophy in Mathematics University of California, Berkeley Professor Peter Teichner, Chair In this thesis we assemble machinery to create a map from the field theories of Stolz and Teichner (see [ST]), which we call smooth field theories, to the field theories of Lurie (see [Lur1]), which we term homotopy field theories. Finally, we upgrade this map to work on inner-homs. That is, we provide a map from the fibred category of smooth field theories to the Segal space of homotopy field theories. In particular, along the way we present a definition of symmetric monoidal Segal space, and use this notion to complete the sketch of the defintion of homotopy bordism category employed in [Lur1] to prove the cobordism hypothesis. i To Kyra, Dashiell, and Dexter for their support and motivation.
    [Show full text]
  • Homotopy Type Theory an Overview (Unfinished)
    Homotopy Type Theory An Overview (unfinished) Nicolai Kraus Tue Jun 19 19:29:30 UTC 2012 Preface This composition is an introduction to a fairly new field in between of math- ematics and theoretical computer science, mostly referred to as Homotopy Type Theory. The foundations for this subject were, in some way, laid by an article of Hofmann and Streicher [21] 1 by showing that in Intentional Type Theory, it is reasonable to consider different proofs of the same identity. Their strategy was to use groupoids for an interpretation of type theory. Pushing this idea forward, Lumsdaine [31] and van den Berg & Garner [8] noticed independently that a type bears the structure of a weak omega groupoid, a structure that is well-known in algebraic topology. In recent years, Voevodsky proposed his Univalence axiom, basically aiming to ensure nice behaviours like the ones found in homotopy theory. Claiming that set theory has inherent disadvantages, he started to develop his Univalent Foundations of Mathematics, drawing a notable amount of at- tention from researchers in many different fields: homotopy theory, construc- tive logic, type theory and higher dimensional category theory, to mention the most important. This introduction mainly consists of the first part of my first year report, which can be found on my homepage2 (as well as updates of this composition itself). Originally, my motivation for writing up these contents has been to teach them to myself. At the same time, I had to notice that no detailed written introduction seems to exist, maybe due to the fact that the research branch is fairly new.
    [Show full text]