nLab rational parameterized stable homotopy theory

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |
Contents

Context

Rational homotopy theory

differential graded objects

and

rational homotopy theory (equivariant, stable, parametrized, equivariant & stable, parametrized & stable)

dg-Algebra

Rational spaces

PL de Rham complex

Sullivan models

Stable Homotopy theory

Homological algebra

homological algebra

(also nonabelian homological algebra)

Introduction

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Schanuel's lemma

Homology theories

Theorems

under construction

Contents

Idea

It is a classical fact that the rationalization of classical homotopy theory (of topological spaces or simplicial sets) – called rational homotopy theory – is considerably more tractable than general homotopy theory, as exhibited by the existence of small concrete dg-algebraic models for rational homotopy types: minimal Sullivan algebras or equivalently their dual dg-coalgebras. A similar statement holds for the rationalization of stable homotopy theory i.e. the homotopy theory of spectra (of topological spaces or simplicial sets): rational spectra are equivalent to rational chain complexes, i.e. to dg-modules over . This is a dg-model for rational stable homotopy theory compatible with that of classical rational homotopy theory in tat the stabilization adjunction that connects classical homotopy theory to stable homotopy theory is, under these identifications, modeled by the forgetful functor from dg-(co-)algebras to chain complexes

Classical homotopy theory and stable homotopy theory are unified and jointly generalized in parameterized stable homotopy theory, whose objects are parameterized spectra, parameterized over a classical homotopy type. The rational parameterized stable homotopy theory to be discussed here is supposed to be the rationalization of this joint generalization, unifiying and jointly generalizing the algebraic model of rational topological spaces by Sullivan algebras and of -module spectra by chain complexes.

Here we (intend to) show that, accordingly, rational parameterized homotopy theory is presented by the the opposite of the homotopical category of dg-modules over cochain differential graded-commutative algebras in non-negative degrees.

under construction

Preliminaries

Chain complexes

Definition

Write

For write

For a rational vector space, and for , we write both for the chain complex as well as for the cochain complex concentrated on in degree .

dg-Algebras

Definition

Write for the category of cochain dgc-algebras over the rational numbers concentrated in non-negative degrees.

Say that a morphism in this category is

  1. a weak equivalence if it is a quasi-isomorphisms on the underlying chain complexes;

  2. a fibration if it is degreewise surjection;

  3. a cofibration it it is a relative Sullivan algebra inclusion,

We write

for the category equipped with these three classes of morphisms.

Proposition

The homotopical category from def. is a model category, to be called the projective model structure on dgc-algebras in non-negative degrees.

(Bousfield-Gugenheim 76, theorem 4.3)

Example

For a simplicial set, write

for the polynomial differential forms with rational coefficients on .

(Bousfield-Gugenheim 76, def. 2.1)

Definition

Write for the dgc-algebra concentrated on the ground field in degree 0, necessarily with vanishing differential. This is the initial object in .

Write

for the slice category of that of all dgc-algebras (def. ) over . Hence an object in this category is a pair consisting of a dgc-algebra and a dg-algebra homomorphism of the form

This is equivalently called a -augmented dgc-algebra. The kernel of the augmentation map

is the augmentation ideal of .

Since carries a unique augmentation , we still write for the ground field regarded as an augmented dgc-algebra. As such this is now a zero object.

Furthermore write

for the slice model structure induced on this by the projective model structure on dgc-algebras according to prop. .

See also Bousfield-Gugenheim 76, 4.11

Simplicial Lie algebras

(…)

Statement

We want to claim the following:

For every there is a Quillen equivalence

Idea of proof: the analogous statement for simplicial Lie algebras replaced by rational simplicial algebras is Schwede 97, theorem 3.2.3. Apart from the connectivity of the -construction, all that this proof uses is that simplicial commutative algebras form a right proper simplicial model category. But also the model structure on simplicial Lie algebras is right proper and simplicial.

References

A classical reference on plain rational homotopy theory is:

The equivalence between -module spectra (unparametrized) and -chain complexes is due to

  • Stefan Schwede, section 3 of Spectra in model categories and applications to the algebraic cotangent complex, Journal of Pure and Applied Algebra 120 (1997) 104 (pdf)

  • Brooke Shipley, -algebra spectra are differential graded algebras , Amer. Jour. of Math. 129 (2007) 351-379. (arXiv:math/0209215)

Discussion of rational fiberwise suspension spectra:

A discussion of full-blown rational parametrized stable homotopy theory is due to

Application to mathematical analysis of duality between M-theory and type IIA string theory:

Further development:

Application to topological Hochschild homology:

  • Florian Naef, Robin Stoll: A rational model for the fiberwise THH transfer I: Sullivan algebras [arXiv:2604.02516]

  • Florian Naef, Robin Stoll: A rational model for the fiberwise THH transfer II: -algebras [arXiv:2604.24709]

Morty Proxy This is a proxified and sanitized view of the page, visit original site.

Last revised on April 28, 2026 at 05:24:47. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionChanges from previous revisionHistory (17 revisions) Cite Print Source
Morty Proxy This is a proxified and sanitized view of the page, visit original site.