and
rational homotopy theory (equivariant, stable, parametrized, equivariant & stable, parametrized & stable)
Examples of Sullivan models in rational homotopy theory:
The concept of the PL de Rham complex (Bousfield-Gugenheim 76, Sullivan 77) is a variant of that of the de Rham complex for smooth manifolds which applies to general topological spaces and simplicial sets.
The terminology “PL” for “piecewise linear” seems to have been tacitly introduced in Bousfield-Gugenheim 76. Beware that despite this commonly adopted terminology (e.g. Griffith-Morgan 13), the PL de Rham complex consist of piecewise polynomial differential forms, but polynomial with respect to a piecewise linear structure on the domain space/complex.
In analogy to the de Rham theorem for smooth manifolds, the fundamental theorem of dg-algebraic rational homotopy theory shows that the PL de Rham complex computes the rational cohomology (or real cohomology, complex cohomology) of the given topological space/simplicial sets.
Applied to a topological space that happens to carry the structure of a smooth manifold, the PL de Rham complex is connected by a zig-zag of quasi-isomorphisms to the smooth de Rham complex, hence both are isomorphic in the homotopy category of the model structure on connective dgc-algebras.
Let .
Write
for the simplicial object in dgc-algebras given by polynomial differential forms on simplices.
The for sSet a simplicial set, its PL de Rham complex is the hom-object of simplicial objects from to (1), hence is the following end in dgcAlgebras:
(Bousfield-Gugenheim 76, Sec. 2, p. 7)
For Top a topological space its PL de Rham complex is the PL de Rham complex as in (2) of its singular simplicial complex:
The cochain cohomology of the PL de Rham complex is PL de Rham cohomology
(Quillen adjunction between simplicial sets and connective dgc-algebras)
The PL de Rham complex-construction (Def. ) is the left adjoint in a Quillen adjunction between
That the PL de Rham complex functor preserves cofibrations, hence sends injections of simplicial sets to surjections of dgc-algebras, is immediate from its construction.
That its right adjoint preserves fibrations, hence sends cofibrations of dgc-algebras to Kan fibrations, is the statement of Bousfield-Gugenheim 76, Lemma 8.2.
Let be a field of characteristic zero (such as the rational numbers, real numbers or complex numbers).
Then the evident operation of integration of differential forms over simplices induces a quasi-isomorphism between the PL de Rham complex with coefficients in (Def. }) and cochain complex for singular cohomology with coefficients in
and hence an isomorphism from PL de Rham cohomology (3) to ordinary cohomology with coefficients in (such as rational cohomology, real cohomology, complex cohomology):
(for any topological space).
(Bousfield-Gugenheim 76, Theorem 2.2)
(nilpotent and finite rational homotopy types)
Write
for the full subcategory of the classical homotopy category (homotopy category of the classical model structure on simplicial sets) on those homotopy types which are
nilpotent: is a nilpotent group
rational finite type: for all .
and
for the futher full subcategory on those homotopy types that are already rational.
Similarly, write
for the full subcategory of the homotopy category of the projective model structure on connective dgc-algebras on those dgc-algebras which are
connected:
finite type: for all .
(fundamental theorem of dg-algebraic rational homotopy theory)
of the Quillen adjunction between simplicial sets and connective dgc-algebras (whose left adjoint is the PL de Rham complex-functor) has the following properties:
on connected, nilpotent rationally finite homotopy types (4) the derived adjunction unit is rationalization
on the full subcategories of nilpotent and finite rational homotopy types from Def. it restricts to an equivalence of categories:
(Bousfield-Gugenheim 76, Theorems 9.4 & 11.2)
Write
for the simplicial object in dgc-algebras given by smooth differential forms on simplices.
(PS de Rham complex)
The for sSet a simplicial set, its PS de Rham complex (“piecewise smooth”) is the hom-object of simplicial objects from to (7), hence is the following end in dgcAlgebras:
This receives an evident inclusion from the PL de Rham complex (8):
For a smooth manifold, and the simplicial complex given by any smooth triangulation, notice that:
there is a homeomorphism of topological spaces
which restricts to a diffeomorphism onto its image in the interior of any simplex
there is a weak homotopy equivalence of simplicial sets
into the singular simplicial set of (this being the adjunction unit of the Quillen equivalence between the classical model structure on simplicial sets and the classical model structure on topological spaces, and in fact equivalently the derived adjunction unit, since preserves all weak equivalences, and those between CW-complexes, by Ken Brown's lemma).
(PL de Rham complex of smooth manifold is equivalent to de Rham complex)
Let be a smooth manifold.
We have the following zig-zag of dgc-algebra quasi-isomorphisms between the PL de Rham complex of (the topological space underlying) and the smooth de Rham complex of :
Here is the simplicial complex corresponding to any smooth triangulation of .
For the two morphisms on the right this is Griffith-Morgan 13, Cor. 9.9.
For the morphism on the left this follows since is a weak homotopy equivalence and since , being a left Quillen functor preserves weak equivalences between cofibrant objects (where every simplicial set being cofibrant), by Ken Brown's lemma.
Dennis Sullivan, Infinitesimal computations in topology, Publications Mathématiques de l’IHÉS, 47 (1977), p. 269-331 (numdam:PMIHES_1977__47__269_0)
Aldridge Bousfield, Victor Gugenheim, On PL deRham theory and rational homotopy type, Memoirs of the AMS, vol. 179 (1976) (ams:memo-8-179)
Phillip Griffiths, John Morgan, Rational Homotopy Theory and Differential Forms, Progress in Mathematics Volume 16, Birkhauser (2013) (doi:10.1007/978-1-4614-8468-4)
Last revised on September 25, 2020 at 14:49:15. See the history of this page for a list of all contributions to it.