Namespaces
Variants
Actions

Difference between revisions of "Homotopy coherence"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 50 formulas out of 51 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
Perhaps the simplest instance of homotopy coherence occurs when, in a commutative [[Diagram|diagram]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201301.png" /> involving topological spaces, one or more spaces are to be deformed via a homotopy equivalence to another space (cf. also [[Homotopy|Homotopy]]). There results a diagram, obtained by replacing each of the chosen spaces by the corresponding deformed variant, and each of the mappings between spaces by the composite of the old mapping with the deforming homotopy equivalences, but this new diagram <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201302.png" /> is not likely to commute. It will clearly be homotopy commutative, that is, it will correspond to a commutative diagram in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201303.png" />, the homotopy category of spaces and homotopy classes of mappings, but more is true. The homotopies that are needed to give homotopy commutativity can be written down specifically in terms of the data on the deforming homotopy equivalences. Specifying the homotopies one finds that if there is a composable sequence of mappings in the original diagram, say <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201304.png" /> mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201305.png" />, with the domain of each equal to the co-domain of the next, then certain of the corresponding homotopies in the new diagram <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201306.png" /> are themselves composable and these composite homotopies are homotopic by (specified) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201307.png" />-fold homotopies. Some of these <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201308.png" />-fold homotopies themselves can be composed and the composites are homotopic by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201309.png" />-fold homotopies, and so on. Here, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013011.png" />-fold homotopy is a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013012.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013013.png" />) and, in general, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013015.png" />-fold homotopy has as domain some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013016.png" />. The general situation with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013017.png" /> composable mappings yields an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013018.png" />-fold homotopy. This has faces which are themselves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013019.png" />-fold homotopies coming from subcollections or subcomposites of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013020.png" /> mappings and these various homotopies at different levels are related by coherence conditions, explicitly given by R.M. Vogt, [[#References|[a12]]]. The result is a homotopy coherent diagram in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013021.png" />, cf. [[#References|[a7]]].
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,  
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
If the original diagram was indexed by a [[Category|category]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013022.png" />, the new diagram with all the specified homotopies can be indexed by an enriched category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013023.png" />, enriched either by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013024.png" />, a suitable category of topological spaces, or by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013025.png" />, the category of simplicial sets (cf. also [[Simplicial set|Simplicial set]]), and then the co-domain of the resulting enriched functor will be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013026.png" /> with its self-enrichment or with its simplicially enriched structure with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013027.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013028.png" /> the usual affine <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013029.png" />-simplex (cf. also [[Simplex|Simplex]]). This can easily be generalized to homotopy-coherent diagrams that arise in other ways and to other settings having a suitable notion of homotopy, such as the categories of chain complexes, differential graded algebras, crossed complexes, simplicial sets, simplicial groups or groupoids, etc., cf. [[#References|[a5]]] or [[#References|[a6]]].
+
Out of 51 formulas, 50 were replaced by TEX code.-->
  
The data for a homotopy-coherent diagram indexed by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013030.png" /> can thus be specified by giving for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013031.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013032.png" />-fold homotopies for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013033.png" />-tuple of composable mappings in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013034.png" />. These are to satisfy the compatibility or coherence conditions linking the data in various dimensions. The mechanisms used to work with these homotopy-coherent diagrams depend on the setting being considered (and the taste of the researcher). Both topological and simplicial versions are common and other monoidal categories are also used, especially when additional algebraic structure is considered.
+
{{TEX|semi-auto}}{{TEX|partial}}
 +
Perhaps the simplest instance of homotopy coherence occurs when, in a commutative [[Diagram|diagram]] $X$ involving topological spaces, one or more spaces are to be deformed via a homotopy equivalence to another space (cf. also [[Homotopy|Homotopy]]). There results a diagram, obtained by replacing each of the chosen spaces by the corresponding deformed variant, and each of the mappings between spaces by the composite of the old mapping with the deforming homotopy equivalences, but this new diagram $Y$ is not likely to commute. It will clearly be homotopy commutative, that is, it will correspond to a commutative diagram in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201303.png"/>, the homotopy category of spaces and homotopy classes of mappings, but more is true. The homotopies that are needed to give homotopy commutativity can be written down specifically in terms of the data on the deforming homotopy equivalences. Specifying the homotopies one finds that if there is a composable sequence of mappings in the original diagram, say $n$ mappings $f _ { 1 } , \ldots , f _ { n }$, with the domain of each equal to the co-domain of the next, then certain of the corresponding homotopies in the new diagram $Y$ are themselves composable and these composite homotopies are homotopic by (specified) $2$-fold homotopies. Some of these $2$-fold homotopies themselves can be composed and the composites are homotopic by $3$-fold homotopies, and so on. Here, a $2$-fold homotopy is a mapping $Y ( i ) \times I ^ { 2 } \rightarrow Y ( j )$ (where $I = [ 0,1 ]$) and, in general, a $k$-fold homotopy has as domain some $X ( i ) \times I ^ { k }$. The general situation with $n$ composable mappings yields an $( n - 1 )$-fold homotopy. This has faces which are themselves $( n - 2 )$-fold homotopies coming from subcollections or subcomposites of the $n$ mappings and these various homotopies at different levels are related by coherence conditions, explicitly given by R.M. Vogt, [[#References|[a12]]]. The result is a homotopy coherent diagram in $T o p$, cf. [[#References|[a7]]].
 +
 
 +
If the original diagram was indexed by a [[Category|category]] $A$, the new diagram with all the specified homotopies can be indexed by an enriched category $S ( A )$, enriched either by $T o p$, a suitable category of topological spaces, or by $\mathcal{S}$, the category of simplicial sets (cf. also [[Simplicial set|Simplicial set]]), and then the co-domain of the resulting enriched functor will be $T o p$ with its self-enrichment or with its simplicially enriched structure with $\underline{ Top } ( X , Y ) _ { n } = Top  ( X \times \Delta ^ { n } , Y )$, with $\Delta ^ { n }$ the usual affine $n$-simplex (cf. also [[Simplex|Simplex]]). This can easily be generalized to homotopy-coherent diagrams that arise in other ways and to other settings having a suitable notion of homotopy, such as the categories of chain complexes, differential graded algebras, crossed complexes, simplicial sets, simplicial groups or groupoids, etc., cf. [[#References|[a5]]] or [[#References|[a6]]].
 +
 
 +
The data for a homotopy-coherent diagram indexed by $A$ can thus be specified by giving for each $n$, $( n - 1 )$-fold homotopies for each $n$-tuple of composable mappings in $A$. These are to satisfy the compatibility or coherence conditions linking the data in various dimensions. The mechanisms used to work with these homotopy-coherent diagrams depend on the setting being considered (and the taste of the researcher). Both topological and simplicial versions are common and other monoidal categories are also used, especially when additional algebraic structure is considered.
  
 
==Examples.==
 
==Examples.==
  
  
i) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013035.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013036.png" />-space, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013037.png" /> a discrete [[Group|group]], then for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013038.png" /> in the homotopy type of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013039.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013040.png" /> can be given a homotopy-coherent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013041.png" />-action. The resulting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013042.png" />-fold homotopies correspond to simplices in the simplicial bar resolution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013043.png" /> and so link the data on this homotopy-coherent action to cohomological style invariants for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013044.png" />. This sort of link provides interpretations of certain cohomological phenomena, especially in attempts to study and apply non-Abelian cohomology.
+
i) If $X$ is a $G$-space, for $G$ a discrete [[Group|group]], then for any $Y$ in the homotopy type of $X$, $Y$ can be given a homotopy-coherent $G$-action. The resulting $n$-fold homotopies correspond to simplices in the simplicial bar resolution of $G$ and so link the data on this homotopy-coherent action to cohomological style invariants for $G$. This sort of link provides interpretations of certain cohomological phenomena, especially in attempts to study and apply non-Abelian cohomology.
  
ii) The space of normalized loops <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013045.png" /> on a pointed topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013046.png" /> with base point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013047.png" /> is defined by all continuous loops, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013048.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013049.png" />. The usual concatenation of paths gives a  "multiplication"  
+
ii) The space of normalized loops $\Omega X$ on a pointed topological space $X$ with base point $x _ { 0 }$ is defined by all continuous loops, $\omega : I \rightarrow X$, $\omega ( 0 ) = \omega ( 1 ) = x _ { 0 }$. The usual concatenation of paths gives a  "multiplication"  
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013050.png" /></td> </tr></table>
+
\begin{equation*} \omega _ { 1 } * \omega _ { 2 } ( t ) = \left\{ \begin{array} { l l } { \omega _ { 1 } ( t ) } &amp; { \text { for } 0 \leq t \leq 1 / 2, } \\ { \omega ( 2 t - 1 ) } &amp; { \text { for } 1 / 2 \leq t \leq 1, } \end{array} \right. \end{equation*}
  
 
but this is not associative. It is however homotopy coherently associative: the usual diagrams used for expressing the associativity and higher associativity in a [[Monoid|monoid]] can be replaced by their homotopy coherent analogues. Generalizations of this idea in both this and other contexts yield homotopy coherent algebraic structures. Again various approaches have been tried including early work by J.M. Boardman and R.M. Vogt [[#References|[a2]]] and J. Stasheff [[#References|[a11]]] including the polyhedra that correspond combinatorially to higher associativity. The applications of these ideas range from mathematical physics through to logic. Related machinery, introduced by J.P. May (cf. [[#References|[a10]]]), included the idea of an operad, which enables homotopy-coherent algebraic structures in many other settings to be studied.
 
but this is not associative. It is however homotopy coherently associative: the usual diagrams used for expressing the associativity and higher associativity in a [[Monoid|monoid]] can be replaced by their homotopy coherent analogues. Generalizations of this idea in both this and other contexts yield homotopy coherent algebraic structures. Again various approaches have been tried including early work by J.M. Boardman and R.M. Vogt [[#References|[a2]]] and J. Stasheff [[#References|[a11]]] including the polyhedra that correspond combinatorially to higher associativity. The applications of these ideas range from mathematical physics through to logic. Related machinery, introduced by J.P. May (cf. [[#References|[a10]]]), included the idea of an operad, which enables homotopy-coherent algebraic structures in many other settings to be studied.
Line 18: Line 26:
 
A similar problem of the failure of associativity occurs when trying to define homotopy-coherent morphisms between homotopy-coherent structures, cf. [[#References|[a1]]].
 
A similar problem of the failure of associativity occurs when trying to define homotopy-coherent morphisms between homotopy-coherent structures, cf. [[#References|[a1]]].
  
iii) Classical constructions, such as that of Čech homology (cf. also [[Čech cohomology|Čech cohomology]]), conceal a complex homotopy-coherent structure in the assignments of the nerve of open coverings of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013051.png" />. This does not give a commutative diagram of simplicial sets indexed by the directed set of coverings, but it does give a homotopy-coherent one. One can obtain a homotopy-like theory in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013052.png" /> by replacing the spaces by these homotopy-coherent diagrams, thought of as approximations to the space by finer and finer  "meshed"  coverings. The resulting theory is [[Strong shape theory|strong shape theory]], cf. [[#References|[a9]]]. (The original form of [[Shape theory|shape theory]] used the corresponding diagrams in the homotopy category, without specifying the homotopies involved as part of the structure.)
+
iii) Classical constructions, such as that of Čech homology (cf. also [[Čech cohomology|Čech cohomology]]), conceal a complex homotopy-coherent structure in the assignments of the nerve of open coverings of a space $X$. This does not give a commutative diagram of simplicial sets indexed by the directed set of coverings, but it does give a homotopy-coherent one. One can obtain a homotopy-like theory in $T o p$ by replacing the spaces by these homotopy-coherent diagrams, thought of as approximations to the space by finer and finer  "meshed"  coverings. The resulting theory is [[Strong shape theory|strong shape theory]], cf. [[#References|[a9]]]. (The original form of [[Shape theory|shape theory]] used the corresponding diagrams in the homotopy category, without specifying the homotopies involved as part of the structure.)
  
 
Homotopy coherence is closely linked with the notions of homotopy limit and homotopy colimit, cf. [[#References|[a3]]] and [[#References|[a4]]]. These two constructions form just a small fraction of the underlying homotopy-coherent category theory that is available for the manipulation of algebraic-style properties in an homotopy-invariant way, [[#References|[a8]]].
 
Homotopy coherence is closely linked with the notions of homotopy limit and homotopy colimit, cf. [[#References|[a3]]] and [[#References|[a4]]]. These two constructions form just a small fraction of the underlying homotopy-coherent category theory that is available for the manipulation of algebraic-style properties in an homotopy-invariant way, [[#References|[a8]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.A. Batanin,  "Homotopy coherent category theory and A<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h12013053.png" />-structures in monoidal categories"  ''J. Pure Appl. Algebra'' , '''123'''  (1998)  pp. 67–103</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.M. Boardman,  R.M. Vogt,  "Homotopy invariant algebraic structures" , ''Lecture Notes Math.'' , '''347''' , Springer  (1973)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  D. Bourn,  J.-M. Cordier,  "A general formulation of homotopy limits"  ''J. Pure Appl. Algebra'' , '''29'''  (1983)  pp. 129–141</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  A.K. Bousfield,  D.M. Kan,  "Homotopy limits, completions and localizations" , ''Lecture Notes Math.'' , '''304''' , Springer  (1972)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  J.-M. Cordier,  "Sur la notion de diagramme homotopiquement cohérent"  ''Cah. Topol. Géom. Différ. Cat.'' , '''23'''  (1982)  pp. 93–112</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J.-M. Cordier,  T. Porter,  "Vogt's theorem on categories of homotopy coherent diagrams"  ''Math. Proc. Cambridge Philos. Soc.'' , '''100'''  (1986)  pp. 65–90</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  J.-M. Cordier,  T. Porter,  "Maps between homotopy coherent diagrams"  ''Topol. Appl.'' , '''28'''  (1988)  pp. 255–275</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J.-M. Cordier,  T. Porter,  "Homotopy coherent category theory"  ''Trans. Amer. Math. Soc.'' , '''349'''  (1997)  pp. 1–54</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  J.T. Lisica,  S. Mardešić,  "Coherent prohomotopy and strong shape theory"  ''Glasn. Mat.'' , '''19'''  (1984)  pp. 335–399</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J.P. May,  "The geometry of iterated loop spaces" , ''Lecture Notes Math.'' , '''271''' , Springer  (1972)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  J. Stasheff,  "Homotopy associativity of H-spaces I and II"  ''Trans. Amer. Math. Soc.'' , '''108'''  (1963)  pp. 275–292; 293–312</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  R.M. Vogt,  "Homotopy limits and colimits"  ''Math. Z.'' , '''134'''  (1973)  pp. 11–52</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  M.A. Batanin,  "Homotopy coherent category theory and A$\square _ { \infty }$-structures in monoidal categories"  ''J. Pure Appl. Algebra'' , '''123'''  (1998)  pp. 67–103</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  J.M. Boardman,  R.M. Vogt,  "Homotopy invariant algebraic structures" , ''Lecture Notes Math.'' , '''347''' , Springer  (1973)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  D. Bourn,  J.-M. Cordier,  "A general formulation of homotopy limits"  ''J. Pure Appl. Algebra'' , '''29'''  (1983)  pp. 129–141</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  A.K. Bousfield,  D.M. Kan,  "Homotopy limits, completions and localizations" , ''Lecture Notes Math.'' , '''304''' , Springer  (1972)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  J.-M. Cordier,  "Sur la notion de diagramme homotopiquement cohérent"  ''Cah. Topol. Géom. Différ. Cat.'' , '''23'''  (1982)  pp. 93–112</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  J.-M. Cordier,  T. Porter,  "Vogt's theorem on categories of homotopy coherent diagrams"  ''Math. Proc. Cambridge Philos. Soc.'' , '''100'''  (1986)  pp. 65–90</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  J.-M. Cordier,  T. Porter,  "Maps between homotopy coherent diagrams"  ''Topol. Appl.'' , '''28'''  (1988)  pp. 255–275</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  J.-M. Cordier,  T. Porter,  "Homotopy coherent category theory"  ''Trans. Amer. Math. Soc.'' , '''349'''  (1997)  pp. 1–54</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  J.T. Lisica,  S. Mardešić,  "Coherent prohomotopy and strong shape theory"  ''Glasn. Mat.'' , '''19'''  (1984)  pp. 335–399</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  J.P. May,  "The geometry of iterated loop spaces" , ''Lecture Notes Math.'' , '''271''' , Springer  (1972)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  J. Stasheff,  "Homotopy associativity of H-spaces I and II"  ''Trans. Amer. Math. Soc.'' , '''108'''  (1963)  pp. 275–292; 293–312</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  R.M. Vogt,  "Homotopy limits and colimits"  ''Math. Z.'' , '''134'''  (1973)  pp. 11–52</td></tr></table>

Revision as of 17:02, 1 July 2020

Perhaps the simplest instance of homotopy coherence occurs when, in a commutative diagram $X$ involving topological spaces, one or more spaces are to be deformed via a homotopy equivalence to another space (cf. also Homotopy). There results a diagram, obtained by replacing each of the chosen spaces by the corresponding deformed variant, and each of the mappings between spaces by the composite of the old mapping with the deforming homotopy equivalences, but this new diagram $Y$ is not likely to commute. It will clearly be homotopy commutative, that is, it will correspond to a commutative diagram in , the homotopy category of spaces and homotopy classes of mappings, but more is true. The homotopies that are needed to give homotopy commutativity can be written down specifically in terms of the data on the deforming homotopy equivalences. Specifying the homotopies one finds that if there is a composable sequence of mappings in the original diagram, say $n$ mappings $f _ { 1 } , \ldots , f _ { n }$, with the domain of each equal to the co-domain of the next, then certain of the corresponding homotopies in the new diagram $Y$ are themselves composable and these composite homotopies are homotopic by (specified) $2$-fold homotopies. Some of these $2$-fold homotopies themselves can be composed and the composites are homotopic by $3$-fold homotopies, and so on. Here, a $2$-fold homotopy is a mapping $Y ( i ) \times I ^ { 2 } \rightarrow Y ( j )$ (where $I = [ 0,1 ]$) and, in general, a $k$-fold homotopy has as domain some $X ( i ) \times I ^ { k }$. The general situation with $n$ composable mappings yields an $( n - 1 )$-fold homotopy. This has faces which are themselves $( n - 2 )$-fold homotopies coming from subcollections or subcomposites of the $n$ mappings and these various homotopies at different levels are related by coherence conditions, explicitly given by R.M. Vogt, [a12]. The result is a homotopy coherent diagram in $T o p$, cf. [a7].

If the original diagram was indexed by a category $A$, the new diagram with all the specified homotopies can be indexed by an enriched category $S ( A )$, enriched either by $T o p$, a suitable category of topological spaces, or by $\mathcal{S}$, the category of simplicial sets (cf. also Simplicial set), and then the co-domain of the resulting enriched functor will be $T o p$ with its self-enrichment or with its simplicially enriched structure with $\underline{ Top } ( X , Y ) _ { n } = Top ( X \times \Delta ^ { n } , Y )$, with $\Delta ^ { n }$ the usual affine $n$-simplex (cf. also Simplex). This can easily be generalized to homotopy-coherent diagrams that arise in other ways and to other settings having a suitable notion of homotopy, such as the categories of chain complexes, differential graded algebras, crossed complexes, simplicial sets, simplicial groups or groupoids, etc., cf. [a5] or [a6].

The data for a homotopy-coherent diagram indexed by $A$ can thus be specified by giving for each $n$, $( n - 1 )$-fold homotopies for each $n$-tuple of composable mappings in $A$. These are to satisfy the compatibility or coherence conditions linking the data in various dimensions. The mechanisms used to work with these homotopy-coherent diagrams depend on the setting being considered (and the taste of the researcher). Both topological and simplicial versions are common and other monoidal categories are also used, especially when additional algebraic structure is considered.

Examples.

i) If $X$ is a $G$-space, for $G$ a discrete group, then for any $Y$ in the homotopy type of $X$, $Y$ can be given a homotopy-coherent $G$-action. The resulting $n$-fold homotopies correspond to simplices in the simplicial bar resolution of $G$ and so link the data on this homotopy-coherent action to cohomological style invariants for $G$. This sort of link provides interpretations of certain cohomological phenomena, especially in attempts to study and apply non-Abelian cohomology.

ii) The space of normalized loops $\Omega X$ on a pointed topological space $X$ with base point $x _ { 0 }$ is defined by all continuous loops, $\omega : I \rightarrow X$, $\omega ( 0 ) = \omega ( 1 ) = x _ { 0 }$. The usual concatenation of paths gives a "multiplication"

\begin{equation*} \omega _ { 1 } * \omega _ { 2 } ( t ) = \left\{ \begin{array} { l l } { \omega _ { 1 } ( t ) } & { \text { for } 0 \leq t \leq 1 / 2, } \\ { \omega ( 2 t - 1 ) } & { \text { for } 1 / 2 \leq t \leq 1, } \end{array} \right. \end{equation*}

but this is not associative. It is however homotopy coherently associative: the usual diagrams used for expressing the associativity and higher associativity in a monoid can be replaced by their homotopy coherent analogues. Generalizations of this idea in both this and other contexts yield homotopy coherent algebraic structures. Again various approaches have been tried including early work by J.M. Boardman and R.M. Vogt [a2] and J. Stasheff [a11] including the polyhedra that correspond combinatorially to higher associativity. The applications of these ideas range from mathematical physics through to logic. Related machinery, introduced by J.P. May (cf. [a10]), included the idea of an operad, which enables homotopy-coherent algebraic structures in many other settings to be studied.

A similar problem of the failure of associativity occurs when trying to define homotopy-coherent morphisms between homotopy-coherent structures, cf. [a1].

iii) Classical constructions, such as that of Čech homology (cf. also Čech cohomology), conceal a complex homotopy-coherent structure in the assignments of the nerve of open coverings of a space $X$. This does not give a commutative diagram of simplicial sets indexed by the directed set of coverings, but it does give a homotopy-coherent one. One can obtain a homotopy-like theory in $T o p$ by replacing the spaces by these homotopy-coherent diagrams, thought of as approximations to the space by finer and finer "meshed" coverings. The resulting theory is strong shape theory, cf. [a9]. (The original form of shape theory used the corresponding diagrams in the homotopy category, without specifying the homotopies involved as part of the structure.)

Homotopy coherence is closely linked with the notions of homotopy limit and homotopy colimit, cf. [a3] and [a4]. These two constructions form just a small fraction of the underlying homotopy-coherent category theory that is available for the manipulation of algebraic-style properties in an homotopy-invariant way, [a8].

References

[a1] M.A. Batanin, "Homotopy coherent category theory and A$\square _ { \infty }$-structures in monoidal categories" J. Pure Appl. Algebra , 123 (1998) pp. 67–103
[a2] J.M. Boardman, R.M. Vogt, "Homotopy invariant algebraic structures" , Lecture Notes Math. , 347 , Springer (1973)
[a3] D. Bourn, J.-M. Cordier, "A general formulation of homotopy limits" J. Pure Appl. Algebra , 29 (1983) pp. 129–141
[a4] A.K. Bousfield, D.M. Kan, "Homotopy limits, completions and localizations" , Lecture Notes Math. , 304 , Springer (1972)
[a5] J.-M. Cordier, "Sur la notion de diagramme homotopiquement cohérent" Cah. Topol. Géom. Différ. Cat. , 23 (1982) pp. 93–112
[a6] J.-M. Cordier, T. Porter, "Vogt's theorem on categories of homotopy coherent diagrams" Math. Proc. Cambridge Philos. Soc. , 100 (1986) pp. 65–90
[a7] J.-M. Cordier, T. Porter, "Maps between homotopy coherent diagrams" Topol. Appl. , 28 (1988) pp. 255–275
[a8] J.-M. Cordier, T. Porter, "Homotopy coherent category theory" Trans. Amer. Math. Soc. , 349 (1997) pp. 1–54
[a9] J.T. Lisica, S. Mardešić, "Coherent prohomotopy and strong shape theory" Glasn. Mat. , 19 (1984) pp. 335–399
[a10] J.P. May, "The geometry of iterated loop spaces" , Lecture Notes Math. , 271 , Springer (1972)
[a11] J. Stasheff, "Homotopy associativity of H-spaces I and II" Trans. Amer. Math. Soc. , 108 (1963) pp. 275–292; 293–312
[a12] R.M. Vogt, "Homotopy limits and colimits" Math. Z. , 134 (1973) pp. 11–52
How to Cite This Entry:
Homotopy coherence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Homotopy_coherence&oldid=16842
This article was adapted from an original article by Tim Porter (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article