Author: Wojciech Chachlski
Publisher: American Mathematical Soc.
ISBN: 9780821864586
Category : Mathematics
Languages : en
Pages : 108
Book Description
In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. Our key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$. From the homotopy theoretical point of view categories with model approximations have similar properties to those of model categories. They admit homotopy categories (localizations with respect to weak equivalences). They also can be used to construct derived functors by taking the analogs of fibrant and cofibrant replacements. A category with weak equivalences can have several useful model approximations. We take advantage of this possibility and in each situation choose one that suits our needs. In this way we prove all the fundamental properties of the homotopy colimit and limit: Fubini Theorem (the homotopy colimit -respectively limit- commutes with itself), Thomason's theorem about diagrams indexed by Grothendieck constructions, and cofinality statements. Since the model approximations we present here consist of certain functors ``indexed by spaces'', the key role in all our arguments is played by the geometric nature of the indexing categories.
Homotopy Theory of Diagrams
Author: Wojciech Chachlski
Publisher: American Mathematical Soc.
ISBN: 9780821864586
Category : Mathematics
Languages : en
Pages : 108
Book Description
In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. Our key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$. From the homotopy theoretical point of view categories with model approximations have similar properties to those of model categories. They admit homotopy categories (localizations with respect to weak equivalences). They also can be used to construct derived functors by taking the analogs of fibrant and cofibrant replacements. A category with weak equivalences can have several useful model approximations. We take advantage of this possibility and in each situation choose one that suits our needs. In this way we prove all the fundamental properties of the homotopy colimit and limit: Fubini Theorem (the homotopy colimit -respectively limit- commutes with itself), Thomason's theorem about diagrams indexed by Grothendieck constructions, and cofinality statements. Since the model approximations we present here consist of certain functors ``indexed by spaces'', the key role in all our arguments is played by the geometric nature of the indexing categories.
Publisher: American Mathematical Soc.
ISBN: 9780821864586
Category : Mathematics
Languages : en
Pages : 108
Book Description
In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. Our key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$. From the homotopy theoretical point of view categories with model approximations have similar properties to those of model categories. They admit homotopy categories (localizations with respect to weak equivalences). They also can be used to construct derived functors by taking the analogs of fibrant and cofibrant replacements. A category with weak equivalences can have several useful model approximations. We take advantage of this possibility and in each situation choose one that suits our needs. In this way we prove all the fundamental properties of the homotopy colimit and limit: Fubini Theorem (the homotopy colimit -respectively limit- commutes with itself), Thomason's theorem about diagrams indexed by Grothendieck constructions, and cofinality statements. Since the model approximations we present here consist of certain functors ``indexed by spaces'', the key role in all our arguments is played by the geometric nature of the indexing categories.
Cubical Homotopy Theory
Author: Brian A. Munson
Publisher: Cambridge University Press
ISBN: 1107030250
Category : Mathematics
Languages : en
Pages : 649
Book Description
A modern, example-driven introduction to cubical diagrams and related topics such as homotopy limits and cosimplicial spaces.
Publisher: Cambridge University Press
ISBN: 1107030250
Category : Mathematics
Languages : en
Pages : 649
Book Description
A modern, example-driven introduction to cubical diagrams and related topics such as homotopy limits and cosimplicial spaces.
Categorical Homotopy Theory
Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371
Book Description
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371
Book Description
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.
Homotopy Theory of Diagrams
Author: Wojciech Chachólski
Publisher: American Mathematical Soc.
ISBN: 0821827596
Category : Mathematics
Languages : en
Pages : 106
Book Description
In this paper the authors develop homotopy theoretical methods for studying diagrams. In particular they explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept introduced is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. The key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$.
Publisher: American Mathematical Soc.
ISBN: 0821827596
Category : Mathematics
Languages : en
Pages : 106
Book Description
In this paper the authors develop homotopy theoretical methods for studying diagrams. In particular they explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept introduced is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. The key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$.
From Categories to Homotopy Theory
Author: Birgit Richter
Publisher: Cambridge University Press
ISBN: 1108847625
Category : Mathematics
Languages : en
Pages : 402
Book Description
Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.
Publisher: Cambridge University Press
ISBN: 1108847625
Category : Mathematics
Languages : en
Pages : 402
Book Description
Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.
Diagram Cohomology and Isovariant Homotopy Theory
Author: Giora Dula
Publisher: American Mathematical Soc.
ISBN: 0821825895
Category : Mathematics
Languages : en
Pages : 97
Book Description
Obstruction theoretic methods are introduced into isovariant homotopy theory for a class of spaces with group actions; the latter includes all smooth actions of cyclic groups of prime power order. The central technical result is an equivalence between isovariant homotopy and specific equivariant homotopy theories for diagrams under suitable conditions. This leads to isovariant Whitehead theorems, an obstruction-theoretic approach to isovariant homotopy theory with obstructions in cohomology groups of ordinary and equivalent diagrams, and qualitative computations for rational homotopy groups of certain spaces of isovariant self maps of linear spheres. The computations show that these homotopy groups are often far more complicated than the rational homotopy groups for the corresponding spaces of equivariant self maps. Subsequent work will use these computations to construct new families of smooth actions on spheres that are topologically linear but differentiably nonlinear.
Publisher: American Mathematical Soc.
ISBN: 0821825895
Category : Mathematics
Languages : en
Pages : 97
Book Description
Obstruction theoretic methods are introduced into isovariant homotopy theory for a class of spaces with group actions; the latter includes all smooth actions of cyclic groups of prime power order. The central technical result is an equivalence between isovariant homotopy and specific equivariant homotopy theories for diagrams under suitable conditions. This leads to isovariant Whitehead theorems, an obstruction-theoretic approach to isovariant homotopy theory with obstructions in cohomology groups of ordinary and equivalent diagrams, and qualitative computations for rational homotopy groups of certain spaces of isovariant self maps of linear spheres. The computations show that these homotopy groups are often far more complicated than the rational homotopy groups for the corresponding spaces of equivariant self maps. Subsequent work will use these computations to construct new families of smooth actions on spheres that are topologically linear but differentiably nonlinear.
Simplicial Homotopy Theory
Author: Paul G. Goerss
Publisher: Birkhäuser
ISBN: 3034887078
Category : Mathematics
Languages : en
Pages : 520
Book Description
Since the beginning of the modern era of algebraic topology, simplicial methods have been used systematically and effectively for both computation and basic theory. With the development of Quillen's concept of a closed model category and, in particular, a simplicial model category, this collection of methods has become the primary way to describe non-abelian homological algebra and to address homotopy-theoretical issues in a variety of fields, including algebraic K-theory. This book supplies a modern exposition of these ideas, emphasizing model category theoretical techniques. Discussed here are the homotopy theory of simplicial sets, and other basic topics such as simplicial groups, Postnikov towers, and bisimplicial sets. The more advanced material includes homotopy limits and colimits, localization with respect to a map and with respect to a homology theory, cosimplicial spaces, and homotopy coherence. Interspersed throughout are many results and ideas well-known to experts, but uncollected in the literature. Intended for second-year graduate students and beyond, this book introduces many of the basic tools of modern homotopy theory. An extensive background in topology is not assumed.
Publisher: Birkhäuser
ISBN: 3034887078
Category : Mathematics
Languages : en
Pages : 520
Book Description
Since the beginning of the modern era of algebraic topology, simplicial methods have been used systematically and effectively for both computation and basic theory. With the development of Quillen's concept of a closed model category and, in particular, a simplicial model category, this collection of methods has become the primary way to describe non-abelian homological algebra and to address homotopy-theoretical issues in a variety of fields, including algebraic K-theory. This book supplies a modern exposition of these ideas, emphasizing model category theoretical techniques. Discussed here are the homotopy theory of simplicial sets, and other basic topics such as simplicial groups, Postnikov towers, and bisimplicial sets. The more advanced material includes homotopy limits and colimits, localization with respect to a map and with respect to a homology theory, cosimplicial spaces, and homotopy coherence. Interspersed throughout are many results and ideas well-known to experts, but uncollected in the literature. Intended for second-year graduate students and beyond, this book introduces many of the basic tools of modern homotopy theory. An extensive background in topology is not assumed.
Model Categories and Their Localizations
Author: Philip S. Hirschhorn
Publisher: American Mathematical Soc.
ISBN: 0821849174
Category : Mathematics
Languages : en
Pages : 482
Book Description
The aim of this book is to explain modern homotopy theory in a manner accessible to graduate students yet structured so that experts can skip over numerous linear developments to quickly reach the topics of their interest. Homotopy theory arises from choosing a class of maps, called weak equivalences, and then passing to the homotopy category by localizing with respect to the weak equivalences, i.e., by creating a new category in which the weak equivalences are isomorphisms. Quillen defined a model category to be a category together with a class of weak equivalences and additional structure useful for describing the homotopy category in terms of the original category. This allows you to make constructions analogous to those used to study the homotopy theory of topological spaces. A model category has a class of maps called weak equivalences plus two other classes of maps, called cofibrations and fibrations. Quillen's axioms ensure that the homotopy category exists and that the cofibrations and fibrations have extension and lifting properties similar to those of cofibration and fibration maps of topological spaces. During the past several decades the language of model categories has become standard in many areas of algebraic topology, and it is increasingly being used in other fields where homotopy theoretic ideas are becoming important, including modern algebraic $K$-theory and algebraic geometry. All these subjects and more are discussed in the book, beginning with the basic definitions and giving complete arguments in order to make the motivations and proofs accessible to the novice. The book is intended for graduate students and research mathematicians working in homotopy theory and related areas.
Publisher: American Mathematical Soc.
ISBN: 0821849174
Category : Mathematics
Languages : en
Pages : 482
Book Description
The aim of this book is to explain modern homotopy theory in a manner accessible to graduate students yet structured so that experts can skip over numerous linear developments to quickly reach the topics of their interest. Homotopy theory arises from choosing a class of maps, called weak equivalences, and then passing to the homotopy category by localizing with respect to the weak equivalences, i.e., by creating a new category in which the weak equivalences are isomorphisms. Quillen defined a model category to be a category together with a class of weak equivalences and additional structure useful for describing the homotopy category in terms of the original category. This allows you to make constructions analogous to those used to study the homotopy theory of topological spaces. A model category has a class of maps called weak equivalences plus two other classes of maps, called cofibrations and fibrations. Quillen's axioms ensure that the homotopy category exists and that the cofibrations and fibrations have extension and lifting properties similar to those of cofibration and fibration maps of topological spaces. During the past several decades the language of model categories has become standard in many areas of algebraic topology, and it is increasingly being used in other fields where homotopy theoretic ideas are becoming important, including modern algebraic $K$-theory and algebraic geometry. All these subjects and more are discussed in the book, beginning with the basic definitions and giving complete arguments in order to make the motivations and proofs accessible to the novice. The book is intended for graduate students and research mathematicians working in homotopy theory and related areas.
Equivariant Stable Homotopy Theory and the Kervaire Invariant Problem
Author: Michael A. Hill
Publisher: Cambridge University Press
ISBN: 1108831443
Category : Mathematics
Languages : en
Pages : 881
Book Description
A complete and definitive account of the authors' resolution of the Kervaire invariant problem in stable homotopy theory.
Publisher: Cambridge University Press
ISBN: 1108831443
Category : Mathematics
Languages : en
Pages : 881
Book Description
A complete and definitive account of the authors' resolution of the Kervaire invariant problem in stable homotopy theory.
Equivariant Homotopy and Cohomology Theory
Author: J. Peter May
Publisher: American Mathematical Soc.
ISBN: 0821803190
Category : Mathematics
Languages : en
Pages : 384
Book Description
This volume introduces equivariant homotopy, homology, and cohomology theory, along with various related topics in modern algebraic topology. It explains the main ideas behind some of the most striking recent advances in the subject. The works begins with a development of the equivariant algebraic topology of spaces culminating in a discussion of the Sullivan conjecture that emphasizes its relationship with classical Smith theory. The book then introduces equivariant stable homotopy theory, the equivariant stable homotopy category, and the most important examples of equivariant cohomology theories. The basic machinery that is needed to make serious use of equivariant stable homotopy theory is presented next, along with discussions of the Segal conjecture and generalized Tate cohomology. Finally, the book gives an introduction to "brave new algebra", the study of point-set level algebraic structures on spectra and its equivariant applications. Emphasis is placed on equivariant complex cobordism, and related results on that topic are presented in detail.
Publisher: American Mathematical Soc.
ISBN: 0821803190
Category : Mathematics
Languages : en
Pages : 384
Book Description
This volume introduces equivariant homotopy, homology, and cohomology theory, along with various related topics in modern algebraic topology. It explains the main ideas behind some of the most striking recent advances in the subject. The works begins with a development of the equivariant algebraic topology of spaces culminating in a discussion of the Sullivan conjecture that emphasizes its relationship with classical Smith theory. The book then introduces equivariant stable homotopy theory, the equivariant stable homotopy category, and the most important examples of equivariant cohomology theories. The basic machinery that is needed to make serious use of equivariant stable homotopy theory is presented next, along with discussions of the Segal conjecture and generalized Tate cohomology. Finally, the book gives an introduction to "brave new algebra", the study of point-set level algebraic structures on spectra and its equivariant applications. Emphasis is placed on equivariant complex cobordism, and related results on that topic are presented in detail.