# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeAug 15th 2016
• (edited Aug 15th 2016)

I have created Sullivan model of free loop space with the formula and pointers to the literature.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeAug 16th 2016
• (edited Aug 16th 2016)

There is a canonical $S^1$-action on the free loop space. For Sullivan models $(\wedge^\bullet (V \oplus s V, d_{\mathcal{L}X} )$ such that $d_X$ is simple enough, then it is easy to guess a Sullivan model for the $S^1$-homotopy quotient. Namely add a generator $\omega_2$ of degre 2 and then modify the differential on the unshifted generators by adding a term proportional to the corresponding shifted generator wedge $\omega_2$.

Is there any published statement about Sullivan models for the homotopy quotients $\mathcal{L}X/S^1$?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeAug 16th 2016

I have found a source for the proof of the Sullivan model for $\mathcal{L}X/S^1$. It is theorem A in Vigué-Burghelea 85. I have added the statement here.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeAug 16th 2016

I have added an Examples-section The 4-sphere and twisted de Rham cohomology which spells out the Sullivan model for $\mathcal{L}S^4 // S^1$ and makes an observation of how this relates to a kind of caloron correspondence.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeOct 15th 2019

added as a corollary the Sullivan model for based loop spaces (here) and, as an example, the Sullivan models for the iterated based loop spaces of spheres $\Omega^k S^{n}$ for $k \lt n$ (here)

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeOct 15th 2019

changed title, making it just “loop space” instead of “free loop space”