Welcome to MathOverflow

Question

8

3

How to calculate the DeRham cohomology of the free loop space $LM= C^\infty(S^1,M)$ as a Frechet manifold?.

Edit: It will be enough for me to know: When $H^1_{DR}(LM)$ is not $\{0\}$ .

Bounty is ending within 5 hours.

edited Aug 30 at 10:54

asked Aug 17 at 12:02

Jonujohn
103●4

This might be of interest math.stackexchange.com/questions/48637/… . Once you computed the homology of the based loop space, it is possible via the free loop space fibration $\Omega M\rightarrow \Lambda M\rightarrow M$ to write down spectral sequence which relates the homologies of $M,\Omega M$, and $\Lambda M$. – Thomas Rot Aug 17 at 12:28

1

I would talk to Andrew Stacey or Patrick Iglesias-Zemmour. – Steven Gubkin Aug 17 at 12:29

Of course the question I linked is asking fof singular homology. I do not know anything about the De-Rham complex on infinite dimensional spaces. – Thomas Rot Aug 17 at 12:50

2

I would probably start with Chen's papers on iterated integrals, such as ams.org/mathscinet-getitem?mr=380859 – Andrew Stacey Aug 17 at 13:30

1

What kind of differential forms are you thinking of when you say "de Rham cohomology" in the context Frechet manifold? In case you need this for $LM:=C^0(S^1,M)$ and for singular cohomology then a lot more can be said; the Betti numbers of $LM$ can be computed for a large class of $M$. – Somnath Basu Aug 23 at 20:09

show 1 more comment

Igor Rivin · Accepted Answer · 2012-08-17 18:15:50Z UTC

2

An equivariant de Rham theory in precisely this setting seems to be developed by Leandre in "Equivariant Cohomology, Fock Space and Loop Groups" (2006). (http://www.mth.kcl.ac.uk/staff/fa_rogers/ECFSLG.pdf)

answered Aug 17 at 18:15

Igor Rivin
31.1k●3●37●71

Thanks for the answer.. – Jonujohn Aug 17 at 19:36

Pradip Mishra · Answer 2 · 2012-08-24 02:23:44Z UTC

This is comment rather than answer: Please check it, whether it makes sense...

Corollary 2.6 page 11 of Free Loop space and homology by J.L Loday says that For any simply connected space, there is a functorial isomorphism: $$HH_1 (\Omega^1(M)) \cong H^1(LM)$$ And Hochschild-Kostant-Rosenberg theorem says that: For a k-algebra $R$, its module of Kähler differentials coincides with its first Hochschild homology $$\Omega_1(R/k)\cong HH_1(R)$$

Now we have by this MO post, a surjective map $\Omega_1(C^\infty(M))\to \Omega^1(M)$.

So can we say that $H^1(LM)= \Omega_1(C^\infty(M))$ and if $\Omega^1(M)\neq {0}$, we have $H^1(LM)\neq {0}$ for simply connected finite dimension manifold $M$.

eigenbunny · Answer 3 · 2012-08-23 20:27:58Z UTC

2

Assuming that de Rham cohomology is ordinary cohomology (which shouldn't be too hard by the standard sheaf-theoretic proof?), $H^1 = Hom(\pi_1,\mathbb{R})$. Now the base point fibration gives rise to a short exact sequence $$ 1 \rightarrow \pi_2(M) \rightarrow \pi_1(LM) \rightarrow \pi_1(M) \rightarrow 1 $$ Hence yes, if $H^1(M;\mathbb{R}) \neq 0$, then also $H^1(LM;\mathbb{R}) \neq 0$. Maybe more importantly, in the simply-connected case $H^1(LM) = H^2(M)$, something that one can also see by hand.

answered Aug 23 at 20:27

eigenbunny
29●1

It's better to say why the base point fibration (you perhaps mean the loop space fibration $\Omega M\to LM\to M$) gives a short exact sequence. In general, you get a long exact sequence; here it splits to short exact sequence as the fibration has a section. Another point to note is that $LM$ is not connected if $M$ has a fundamental group. – Somnath Basu Aug 23 at 21:09

1

+1 for "see by hand" :) – Mark Grant Aug 23 at 22:38

@eigenbunny: Note: your short exact sequence comes equipped with a section $\pi_1(M) \to \pi_1(LM)$ induced by the inclusion of constant loops. Hence $\pi_1(LM)$ is a semi-direct product of $\pi_1(M)$ by $\pi_2(M)$. – John Klein Aug 26 at 4:03

1

@John, eigenbunny - If $M$ is not simply connected then $LM$ is not connected; therefore, $\pi_1(LM)$ is meaningless unless you specify which component. The constant section only provides a section for $L_0M \to M$, where $L_0 M$ is the component of constant loops. The components of $LM$ are indexed by the conjugacy classes in $\pi_1(M)$. – Somnath Basu Aug 30 at 3:27

Loop space: De Rham cohomology

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.