and
In rational homotopy theory, given a rational topological space modeled by a Sullivan model dg-algebra, there is an explicit description of the Sullivan model of its free loop space.
This is a special class of cases of the general notion of Sullivan models of mapping spaces.
Let $(\wedge^\bullet V, d_X)$ be a semifree dg-algebra being a minimal Sullivan model of a rational simply connected space $X$. Then a Sullivan model for the free loop space $\mathcal{L} X$ is given by
where
$s V$ is the graded vector space obtained from $V$ by shifting degrees down by one: $deg(s v) = deg(v)-1$;
$d_{\mathcal{L}X}$ is defined on elements $v$ of $V$ by
and on elements $s v$ of $s V$ by
where on the right $s \colon V \to s V$ is extended as a graded derivation $s \colon \wedge^2 V \to \wedge^\bullet (V \oplus s V)$.
This is due to (Vigué-Sullivan 76). Review includes (Felix-Halperin-Thomas 00, p. 206, Hess 06, example 2.5, Félix-Oprea-Tanre 08, theorem 5.11).
The formula in prop. is the same as that for the Weil algebra of the L-infinity algebra of wich $(\wedge^\bullet V,d_X)$ is the Chevalley-Eilenberg algebra, except that here $s$ shifts down whereas for the Weil algebra it shifts up.
Given a Sullivan model $(\wedge^\bullet (V \oplus s V), d_{\mathcal{L}X})$ for a free loop space as in prop. , then a Sullivan model for the cyclic loop space, i.e. for the homotopy quotient $\mathcal{L} X // S^1$ with respect to the canonical circle group action that rotates loops (i.e. for the Borel construction $\mathcal{L}X \times_{S^1} E S^1$) is given by
where
$\omega_2$ is in degree 2;
$d_{\mathcal{L}X/S^1}$ is defined on generators $w \in V\oplus s V$ by
Moreover, the canonical sequence of morphisms of dg-algebras
is a model for the rationalization of the homotopy fiber sequence
which exhibits the infinity-action (by the discussion there) of $S^1$ on $\mathcal{L}X$.
This is due to (Vigué-Burghelea 85, theorem A).
Let $X$ be a simply connected topological space.
The ordinary cohomology $H^\bullet$ of its free loop space is the Hochschild homology $HH_\bullet$ of its singular chains $C^\bullet(X)$:
Moreover the $S^1$-equivariant cohomology of the loop space, hence the ordinary cohomology of the cyclic loop space $\mathcal{L}X/^h S^1$ is the cyclic homology $HC_\bullet$ of the singular chains:
(Loday 11)
If the coefficients are rational, and $X$ is of finite type then by prop. and prop. , and the general statements at rational homotopy theory, the cochain cohomology of the above minimal Sullivan models for $\mathcal{L}X$ and $\mathcal{l}X/S^1$ compute the rational Hochschild homology and cyclic homology of (the cochains on) $X$, respectively.
In the special case that the topological space $X$ carries the structure of a smooth manifold, then the singular cochains on $X$ are equivalent to the dgc-algebra of differential forms (the de Rham algebra) and hence in this case the statement becomes that
This is known as Jones' theorem (Jones 87)
An infinity-category theoretic proof of this fact is indicated at Hochschild cohomology – Jones’ theorem.
Let $X = S^4$ be the 4-sphere. The corresponding rational n-sphere has minimal Sullivan model
with
Hence prop. gives for the rationalization of $\mathcal{L}S^4$ the model
with
and prop. gives for the rationalization of $\mathcal{L}S^4 / / S^1$ the model
with
Let $\hat \mathfrak{g} \to \mathfrak{g}$ be a central Lie algebra extension by $\mathbb{R}$ of a finite dimensional Lie algebra $\mathfrak{g}$, and let $\mathfrak{g} \longrightarrow b \mathbb{R}$ be the corresponding L-∞ 2-cocycle with coefficients in the line Lie 2-algebra $b \mathbb{R}$, hence (FSS 13, prop. 3.5) so that there is a homotopy fiber sequence of L-∞ algebras
which is dually modeled by
For $X$ a space with Sullivan model $(A_X,d_X)$ write $\mathfrak{l}(X)$ for the corresponding L-∞ algebra, i.e. for the $L_\infty$-algebra whose Chevalley-Eilenberg algebra is $(A_X,d_X)$:
Then there is an isomorphism of hom-sets
with $\mathfrak{l}(S^4)$ from prop. and $\mathfrak{l}(\mathcal{L}S^4 //S^1)$ from prop. , where on the right we have homs in the slice over the line Lie 2-algebra, via prop. .
Moreover, this isomorphism takes
to
where
with $e$ being the central generator in $CE(\hat \mathfrak{g})$ from above, and where the equations take place in $\wedge^\bullet \hat \mathfrak{g}^\ast$ with the defining inclusion $\wedge^\bullet \mathfrak{g}^\ast \hookrightarrow \wedge^\bullet \mathfrak{g}^\ast$ understood.
This is observed in (Fiorenza-Sati-Schreiber 16, FSS 16b), where it serves to formalize, on the level of rational homotopy theory, the double dimensional reduction of M-branes in M-theory to D-branes in type IIA string theory (for the case that $\mathfrak{g}$ is type IIA super Minkowski spacetime $\mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}}$ and $\hat \mathfrak{g}$ is 11d super Minkowski spacetime $\mathbb{R}^{10,1\vert \mathbf{32}}$, and the cocycles are those of The brane bouquet).
By the fact that the underlying graded algebras are free, and since $e$ is a generator of odd degree, the given decomposition for $\omega_4$ and $h_7$ is unique.
Hence it is sufficient to observe that under this decomposition the defining equations
for the $\mathfrak{l}S^4$-valued cocycle on $\hat \mathfrak{g}$ turn into the equations for a $\mathfrak{l} ( \mathcal{L}S^4 / S^1 )$-valued cocycle on $\mathfrak{g}$. This is straightforward:
as well as
Let $X = S^2$ be the 2-sphere. The corresponding rational n-sphere has minimal Sullivan model
with
Hence prop. gives for the rationalization of $\mathcal{L}S^2$ the model
with
and prop. gives for the rationalization of $\mathcal{L}S^2 / / S^1$ the model
with
The original result is due to
Micheline Vigué-Poirrier, Dennis Sullivan, The homology theory of the closed geodesic problem, J. Differential Geometry 11 (1976) 633-644.
Micheline Vigué-Poirrier, Dan Burghelea, A model for cyclic homology and algebraic K-theory of 1-connected topological spaces, J. Differential Geom. Volume 22, Number 2 (1985), 243-253 (Euclid)
Review is in
Yves Félix, Steve Halperin and J.C. Thomas, Rational Homotopy Theory, Graduate Texts in Mathematics, 205, Springer-Verlag, 2000.
Kathryn Hess, example 2.5 of Rational homotopy theory: a brief introduction (arXiv)
Yves Félix, John Oprea, Daniel Tanre, Algebraic models in geometry, Oxford graduate texts in mathematics 17 (2008)
A. Yu. Onishchenko and Th. Yu. Popelensky, Rational cohomology of the free loop space of a simply connected 4-manifold, J. Fixed Point Theory Appl. 12 (2012) 69–9 (DOI 10.1007/s11784-013-0100-0)
Luc Menichi, Sullivan models and free loop space, A short introduction to Sullivan models, with the Sullivan model of a free loop space and the detailed proof of Vigué-Sullivan theorem on the Betti numbers of free loop space. Workshop on free loop space à Strasbourg, November 2008 (scanned notes pdf)
Domenico Fiorenza, Hisham Sati, Urs Schreiber, Rational sphere valued supercocycles in M-theory, (arXiv:1606.03206)
Domenico Fiorenza, Hisham Sati, Urs Schreiber, T-Duality from super Lie n-algebra cocycles for super p-branes (arXiv:1611.06536)
General background on Hochschild homology and cyclic homology is in
John D.S. Jones, Cyclic homology and equivariant homology, Invent. Math. 87, 403-423 (1987) (pdf)
Jean-Louis Loday, Cyclic homology, Grundlehren Math.Wiss. 301, Springer (1998)
Jean-Louis Loday, Free loop space and homology (arXiv:1110.0405)
Last revised on March 4, 2019 at 10:05:21. See the history of this page for a list of all contributions to it.