Difference between revisions of "Adams–Hilton model"
(Importing text file) |
m (link) |
||
Line 1: | Line 1: | ||
− | The Pontryagin algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103001.png" /> (cf. also [[Pontryagin invariant|Pontryagin invariant]]; [[Pontryagin class|Pontryagin class]]) of a [[Topological space|topological space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103002.png" /> is an important [[Homotopy|homotopy]] invariant (cf. also [[Homotopy type|Homotopy type]]). It is, in general, quite difficult to calculate the homology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103003.png" /> directly from the chain complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103004.png" />. An algorithm that associates to a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103005.png" /> a differential graded algebra whose homology is relatively easy to calculate and isomorphic as an algebra to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103006.png" /> is therefore of great value. | + | The Pontryagin algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103001.png" /> (cf. also [[Pontryagin invariant|Pontryagin invariant]]; [[Pontryagin class|Pontryagin class]]) of a [[Topological space|topological space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103002.png" /> is an important [[Homotopy|homotopy]] invariant (cf. also [[Homotopy type|Homotopy type]]). It is, in general, quite difficult to calculate the homology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103003.png" /> directly from the chain complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103004.png" />. An algorithm that associates to a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103005.png" /> a [[differential graded algebra]] whose homology is relatively easy to calculate and isomorphic as an algebra to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110300/a1103006.png" /> is therefore of great value. |
In 1955, J.F. Adams and P.J. Hilton invented such an algorithm for the class of simply-connected CW-complexes [[#References|[a1]]]. Presented here in a somewhat more modern incarnation, due to S. Halperin, Y. Félix and J.-C. Thomas [[#References|[a5]]], the work of Adams and Hilton can be summarized as follows. | In 1955, J.F. Adams and P.J. Hilton invented such an algorithm for the class of simply-connected CW-complexes [[#References|[a1]]]. Presented here in a somewhat more modern incarnation, due to S. Halperin, Y. Félix and J.-C. Thomas [[#References|[a5]]], the work of Adams and Hilton can be summarized as follows. |
Revision as of 17:31, 1 November 2016
The Pontryagin algebra (cf. also Pontryagin invariant; Pontryagin class) of a topological space
is an important homotopy invariant (cf. also Homotopy type). It is, in general, quite difficult to calculate the homology
directly from the chain complex
. An algorithm that associates to a space
a differential graded algebra whose homology is relatively easy to calculate and isomorphic as an algebra to
is therefore of great value.
In 1955, J.F. Adams and P.J. Hilton invented such an algorithm for the class of simply-connected CW-complexes [a1]. Presented here in a somewhat more modern incarnation, due to S. Halperin, Y. Félix and J.-C. Thomas [a5], the work of Adams and Hilton can be summarized as follows.
Let be a CW-complex such that
has exactly one
-cell and no
-cells and such that every attaching mapping is based with respect to the unique
-cell of
. There exists a morphism of differential graded algebras inducing an isomorphism on homology (a quasi-isomorphism)
![]() |
such that restricts to quasi-isomorphisms
, where
denotes the
-skeleton of
,
denotes the free (tensor) algebra on a free graded
-module
, and
is the space of Moore loops on
. The morphism
is called an Adams–Hilton model of
and satisfies the following properties.
is unique up to isomorphism;
if , then
has a degree-homogeneous basis
such that
;
if is the attaching mapping of the cell
, then
. Here,
is defined so that
![]() |
commutes, where denotes the Hurewicz homomorphism (cf. Homotopy group).
The Adams–Hilton model has proved to be a powerful tool for calculating the Pontryagin algebra of CW-complexes. Many common spaces have Adams–Hilton models that are relatively simple and thus well-adapted to computations. For example, with respect to its usual CW-decomposition, the Adams–Hilton model of is
, where
and
.
Given a cellular mapping between CW-complexes, it is possible to use the Adams–Hilton model to compute the induced homomorphism of Pontryagin algebras. If
and
are Adams–Hilton models, then there exists a unique homotopy class of morphisms
such that
is homotopic to
. Any representative
of this homotopy class can be said to be an Adams–Hilton model of
. In this context, "homotopy" means homotopy in the category of differential graded algebras (see [a2] or [a5] for more details).
One can say, for example, that an Adams–Hilton model of a cellular co-fibration of CW-complexes, i.e., an inclusion of CW-complexes, is a free extension of differential graded algebras. Furthermore, the Adams–Hilton model of the amalgamated sum of an inclusion of CW-complexes, , and any other cellular mapping
is given by the amalgamated sum of the free extension modelling
and an Adams–Hilton model of
.
Examples of problems to which Adams–Hilton models have been applied to great advantage include the study of the holonomy action in fibrations [a4] and the study of the effect on the Pontryagin algebra of the attachment of a cell to a CW-complex [a3], [a6].
References
[a1] | J.F. Adams, P.J. Hilton, "On the chain algebra of a loop space" Comment. Math. Helv. , 30 (1955) pp. 305–330 |
[a2] | D.J. Anick, "Hopf algebras up to homotopy" J. Amer. Math. Soc. , 2 (1989) pp. 417–453 |
[a3] | Y. Félix, J.-M. Lemaire, "On the Pontrjagin algebra of the loops on a space with a cell attached" Internat. J. Math. , 2 (1991) |
[a4] | Y. Félix, J.-C. Thomas, "Module d'holonomie d'une fibration" Bull. Soc. Math. France , 113 (1985) pp. 255–258 |
[a5] | S. Halperin, Y. Félix, J.-C. Thomas, "Rational homotopy theory" , Univ. Toronto (1996) (Preprint) |
[a6] | K. Hess, J.-M- Lemaire, "Nice and lazy cell attachments" J. Pure Appl. Algebra , 112 (1996) pp. 29–39 |
Adams–Hilton model. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Adams%E2%80%93Hilton_model&oldid=13076