nLab
Sullivan model of free loop space

Contents

Contents

Idea

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.

Construction

Proposition

Let ( V,d X)(\wedge^\bullet V, d_X) be a semifree dg-algebra being a minimal Sullivan model of a rational simply connected space XX. Then a Sullivan model for the free loop space X\mathcal{L} X is given by

( (VsV),d X), (\wedge^\bullet( V \oplus s V ), d_{\mathcal{L}X}) \,,

where

  • sVs V is the graded vector space obtained from VV by shifting degrees down by one: deg(sv)=deg(v)1deg(s v) = deg(v)-1;

  • d Xd_{\mathcal{L}X} is defined on elements vv of VV by

    d Xvdv d_{\mathcal{L}X} v \coloneqq d v

    and on elements svs v of sVs V by

    d Xsvs(dv), d_{\mathcal{L}X} s v \coloneqq - s ( d v ) \,,

    where on the right s:VsVs \colon V \to s V is extended as a graded derivation s: 2V (VsV)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).

Remark

The formula in prop. is the same as that for the Weil algebra of the L-infinity algebra of wich ( V,d X)(\wedge^\bullet V,d_X) is the Chevalley-Eilenberg algebra, except that here ss shifts down whereas for the Weil algebra it shifts up.

Properties

Homotopy quotient by S 1S^1 and cyclic homology

Proposition

Given a Sullivan model ( (VsV),d X)(\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 X//S 1\mathcal{L} X // S^1 with respect to the canonical circle group action that rotates loops (i.e. for the Borel construction X× S 1ES 1\mathcal{L}X \times_{S^1} E S^1) is given by

( (VsVω 2),d X/S 1) (\wedge^\bullet( V\oplus s V \oplus \langle \omega_2\rangle ), d_{\mathcal{L}X/S^1})

where

  • ω 2\omega_2 is in degree 2;

  • d X/S 1d_{\mathcal{L}X/S^1} is defined on generators wVsVw \in V\oplus s V by

    d X/S 1wd Xw+ω 2sw. d_{\mathcal{L}X/S^1} w \;\coloneqq\; d_{\mathcal{L}X} w + \omega_2 \wedge s w \,.

Moreover, the canonical sequence of morphisms of dg-algebras

(ω 2,d=0)( (VsVω 2),d X/S 1)( (VsV),d X) (\wedge \omega_2, d = 0) \longrightarrow (\wedge^\bullet( V\oplus s V \oplus \langle \omega_2\rangle ), d_{\mathcal{L}X/S^1}) \longrightarrow (\wedge^\bullet( V\oplus s V ), d_{\mathcal{L}X})

is a model for the rationalization of the homotopy fiber sequence

XX//S 1BS 1 \mathcal{L}X \longrightarrow \mathcal{L}X / / S^1 \longrightarrow B S^1

which exhibits the infinity-action (by the discussion there) of S 1S^1 on X\mathcal{L}X.

This is due to (Vigué-Burghelea 85, theorem A).

Relation to Hochschild homology and cyclic homology

Let XX be a simply connected topological space.

The ordinary cohomology H H^\bullet of its free loop space is the Hochschild homology HH HH_\bullet of its singular chains C (X)C^\bullet(X):

H (X)HH (C (X)). H^\bullet(\mathcal{L}X) \simeq HH_\bullet( C^\bullet(X) ) \,.

Moreover the S 1S^1-equivariant cohomology of the loop space, hence the ordinary cohomology of the cyclic loop space X/ hS 1\mathcal{L}X/^h S^1 is the cyclic homology HC HC_\bullet of the singular chains:

H (X/ hS 1)HC (C (X)) H^\bullet(\mathcal{L}X/^h S^1) \simeq HC_\bullet( C^\bullet(X) )

(Loday 11)

If the coefficients are rational, and XX 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 X\mathcal{L}X and 𝓁X/S 1\mathcal{l}X/S^1 compute the rational Hochschild homology and cyclic homology of (the cochains on) XX, respectively.

In the special case that the topological space XX carries the structure of a smooth manifold, then the singular cochains on XX are equivalent to the dgc-algebra of differential forms (the de Rham algebra) and hence in this case the statement becomes that

H (X)HH (Ω (X)). H^\bullet(\mathcal{L}X) \simeq HH_\bullet( \Omega^\bullet(X) ) \,.
H (X/ hS 1)HC (Ω (X)). H^\bullet(\mathcal{L}X/^h S^1) \simeq HC_\bullet( \Omega^\bullet(X) ) \,.

This is known as Jones' theorem (Jones 87)

An infinity-category theoretic proof of this fact is indicated at Hochschild cohomology – Jones’ theorem.

Examples

The 4-sphere and twisted de Rham cohomology

Example

Let X=S 4X = S^4 be the 4-sphere. The corresponding rational n-sphere has minimal Sullivan model

( g 4,g 7,d) (\wedge^\bullet \langle g_4, g_7 \rangle, d)

with

dg 4=0,dg 7=12g 4g 4. d g_4 = 0\,,\;\;\;\; d g_7 = -\tfrac{1}{2} g_4 \wedge g_4 \,.

Hence prop. gives for the rationalization of S 4\mathcal{L}S^4 the model

( ω 4,ω 6,h 3,h 7,d S 4) ( \wedge^\bullet \langle \omega_4, \omega_6, h_3, h_7 \rangle , d_{\mathcal{L}S^4} )

with

d S 4h 3 =0 d S 4ω 4 =0 d S 4ω 6 =h 3ω 4 d S 4h 7 =12ω 4ω 4 \begin{aligned} d_{\mathcal{L}S^4} h_3 & = 0 \\ d_{\mathcal{L}S^4} \omega_4 & = 0 \\ d_{\mathcal{L}S^4} \omega_6 & = h_3 \wedge \omega_4 \\ d_{\mathcal{L}S^4} h_7 & = -\tfrac{1}{2} \omega_4 \wedge \omega_4 \\ \end{aligned}

and prop. gives for the rationalization of S 4//S 1\mathcal{L}S^4 / / S^1 the model

( ω 2,ω 4,ω 6,h 3,h 7,d S 4//S 1) ( \wedge^\bullet \langle \omega_2, \omega_4, \omega_6, h_3, h_7 \rangle , d_{\mathcal{L}S^4 / / S^1} )

with

d S 4//S 1h 3 =0 d S 4//S 1ω 2 =0 d S 4//S 1ω 4 =h 3ω 2 d S 4//S 1ω 6 =h 3ω 4 d S 4//S 1h 7 =12ω 4ω 4+ω 2ω 6. \begin{aligned} d_{\mathcal{L}S^4 / / S^1} h_3 & = 0 \\ d_{\mathcal{L}S^4 / / S^1} \omega_2 & = 0 \\ d_{\mathcal{L}S^4 / / S^1} \omega_4 & = h_3 \wedge \omega_2 \\ d_{\mathcal{L}S^4 / / S^1} \omega_6 & = h_3 \wedge \omega_4 \\ d_{\mathcal{L}S^4 / / S^1} h_7 & = -\tfrac{1}{2} \omega_4 \wedge \omega_4 + \omega_2 \wedge \omega_6 \end{aligned} \,.
Proposition

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 𝔤b\mathfrak{g} \longrightarrow b \mathbb{R} be the corresponding L-∞ 2-cocycle with coefficients in the line Lie 2-algebra bb \mathbb{R}, hence (FSS 13, prop. 3.5) so that there is a homotopy fiber sequence of L-∞ algebras

𝔤^𝔤ω 2b \hat \mathfrak{g} \longrightarrow \mathfrak{g} \overset{\omega_2}{\longrightarrow} b \mathbb{R}

which is dually modeled by

CE(𝔤^)=( (𝔤 *e),d 𝔤^| 𝔤 *=d 𝔤,d 𝔤^e=ω 2). CE(\hat \mathfrak{g}) = ( \wedge^\bullet ( \mathfrak{g}^\ast \oplus \langle e \rangle ), d_{\hat \mathfrak{g}}|_{\mathfrak{g}^\ast} = d_{\mathfrak{g}},\; d_{\hat \mathfrak{g}} e = \omega_2) \,.

For XX a space with Sullivan model (A X,d X)(A_X,d_X) write 𝔩(X)\mathfrak{l}(X) for the corresponding L-∞ algebra, i.e. for the L L_\infty-algebra whose Chevalley-Eilenberg algebra is (A X,d X)(A_X,d_X):

CE(𝔩X)=(A X,d X). CE(\mathfrak{l}X) = (A_X,d_X) \,.

Then there is an isomorphism of hom-sets

Hom L Alg(𝔤^,𝔩(S 4))Hom L Alg/b(𝔤,𝔩(S 4/S 1)), Hom_{L_\infty Alg}( \hat \mathfrak{g}, \mathfrak{l}(S^4) ) \;\simeq\; Hom_{L_\infty Alg/b \mathbb{R}}( \mathfrak{g}, \mathfrak{l}( \mathcal{L}S^4 / S^1 ) ) \,,

with 𝔩(S 4)\mathfrak{l}(S^4) from prop. and 𝔩(S 4//S 1)\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

𝔤^(g 4,g 7)𝔩(S 4) \hat \mathfrak{g} \overset{(g_4, g_7)}{\longrightarrow} \mathfrak{l}(S^4)

to

𝔤 (ω 2,ω 4,ω 6,h 3,h 7) 𝔩(X/S 1) ω 2 ω 2 b, \array{ \mathfrak{g} && \overset{(\omega_2,\omega_4, \omega_6, h_3,h_7)}{\longrightarrow} && \mathfrak{l}( \mathcal{L}X / S^1 ) \\ & {}_{\mathllap{\omega_2}}\searrow && \swarrow_{\mathrlap{\omega_2}} \\ && b \mathbb{R} } \,,

where

ω 4=g 4h 3e,h 7=g 7+ω 6e \omega_4 = g_4 - h_3 \wedge e \;\,, \;\;\; h_7 = g_7 + \omega_6 \wedge e

with ee being the central generator in CE(𝔤^)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 9,1|16+16¯\mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} and 𝔤^\hat \mathfrak{g} is 11d super Minkowski spacetime 10,1|32\mathbb{R}^{10,1\vert \mathbf{32}}, and the cocycles are those of The brane bouquet).

Proof

By the fact that the underlying graded algebras are free, and since ee is a generator of odd degree, the given decomposition for ω 4\omega_4 and h 7h_7 is unique.

Hence it is sufficient to observe that under this decomposition the defining equations

dg 4=0,dg 7=12g 4g 4 d g_4 = 0 \,,\;\;\; d g_{7} = -\tfrac{1}{2} g_4 \wedge g_4

for the 𝔩S 4\mathfrak{l}S^4-valued cocycle on 𝔤^\hat \mathfrak{g} turn into the equations for a 𝔩(S 4/S 1)\mathfrak{l} ( \mathcal{L}S^4 / S^1 )-valued cocycle on 𝔤\mathfrak{g}. This is straightforward:

d 𝔤^(ω 4+h 3e)=0 d 𝔤(ω 4h 3ω 2)=0andd 𝔤h 3=0 d 𝔤ω 4=h 3ω 2andd 𝔤h 3=0 \begin{aligned} & d_{\hat \mathfrak{g}} ( \omega_4 + h_3 \wedge e ) = 0 \\ \Leftrightarrow \;\;\;\; & d_{\mathfrak{g}} (\omega_4 - h_3 \wedge \omega_2) = 0 \;\;\; and \;\;\; d_{\mathfrak{g}} h_3 = 0 \\ \Leftrightarrow \;\;\;\; & d_{\mathfrak{g}} \omega_4 = h_3 \wedge \omega_2 \;\;\; and \;\;\; d_{\mathfrak{g}} h_3 = 0 \end{aligned}

as well as

d 𝔤^(h 7ω 6e)=12(ω 4+h 3e)(ω 4+h 3e) d 𝔤h 7ω 6ω 2=12ω 4ω 4andd 𝔤ω 6=h 3ω 4 d 𝔤h 7=12ω 4ω 4+ω 6ω 2andd 𝔤h 6=h 3ω 4 \begin{aligned} & d_{\hat \mathfrak{g}} ( h_7 - \omega_6 \wedge e ) = -\tfrac{1}{2}( \omega_4 + h_3 \wedge e ) \wedge (\omega_4 + h_3\wedge e) \\ \Leftrightarrow \;\;\;\; & d_\mathfrak{g} h_7 - \omega_6 \wedge \omega_2 = -\tfrac{1}{2}\omega_4 \wedge \omega_4 \;\;\; and \;\;\; - d_\mathfrak{g} \omega_6 = - h_3 \wedge \omega_4 \\ \Leftrightarrow \;\;\;\; & d_\mathfrak{g} h_7 = -\tfrac{1}{2}\omega_4 \wedge \omega_4 + \omega_6 \wedge \omega_2 \;\;\; and \;\;\; d_\mathfrak{g} h_6 = h_3 \wedge \omega_4 \end{aligned}

The 2-sphere

Example

Let X=S 2X = S^2 be the 2-sphere. The corresponding rational n-sphere has minimal Sullivan model

( g 3,g 2,d) (\wedge^\bullet \langle g_3, g_2 \rangle, d)

with

dg 2=0,dg 3=12g 2g 2. d g_2 = 0\,,\;\;\;\; d g_3 = -\tfrac{1}{2} g_2 \wedge g_2 \,.

Hence prop. gives for the rationalization of S 4\mathcal{L}S^4 the model

( ω 2 A,ω 2 B,h 1,h 3,d S 2) ( \wedge^\bullet \langle \omega^A_2, \omega^B_2, h_1, h_3 \rangle , d_{\mathcal{L}S^2} )

with

d S 2h 1 =0 d S 2ω 2 A =0 d S 2ω 2 B =h 1ω 2 A d S 2h 3 =12ω 2 Aω 2 A \begin{aligned} d_{\mathcal{L}S^2} h_1 & = 0 \\ d_{\mathcal{L}S^2} \omega^A_2 & = 0 \\ d_{\mathcal{L}S^2} \omega^B_2 & = h_1 \wedge \omega_2^A \\ d_{\mathcal{L}S^2} h_3 & = -\tfrac{1}{2} \omega^A_2 \wedge \omega^A_2 \end{aligned}

and prop. gives for the rationalization of S 2//S 1\mathcal{L}S^2 / / S^1 the model

( ω 2 A,ω 2 B,ω 2 Ch 1,h 3,d S 2//S 1) ( \wedge^\bullet \langle \omega^A_2, \omega^B_2, \omega^C_2 h_1, h_3 , d_{\mathcal{L}S^2 / / S^1} )

with

d S 2h 1 =0 d S 2ω 2 A =ω 2 Ch 1 d S 2ω 2 B =h 1ω 2 A d S 2ω 2 C =0 d S 2h 3 =12ω 2 Aω 2 A+ω 2 Cω 2 B. \begin{aligned} d_{\mathcal{L}S^2} h_1 & = 0 \\ d_{\mathcal{L}S^2} \omega^A_2 & = \omega^C_2 \wedge h_1 \\ d_{\mathcal{L}S^2} \omega^B_2 & = h_1 \wedge \omega_2^A \\ d_{\mathcal{L}S^2} \omega^C_2 & = 0 \\ d_{\mathcal{L}S^2} h_3 & = -\tfrac{1}{2} \omega^A_2 \wedge \omega^A_2 + \omega^C_2 \wedge \omega^B_2 \end{aligned} \,.

References

The original result is due to

Review is in

General background on Hochschild homology and cyclic homology is in

Last revised on February 23, 2017 at 13:17:08. See the history of this page for a list of all contributions to it.