Skip to main content
2 of 2
added 26 characters in body

Exterior derivative on loop space

Notations:

Let $X$ be a manifold, and denote by $LX := C^\infty(S^1,X)$ its loop space. For a loop $\gamma \in LX$ we can think at the tangent space of $LX$ at the point $\gamma$ as the space of loops that are 'arbitrarily closed' to $\gamma$. This motivates the following definition

$$T_{\gamma}LX := \Gamma(S^1, \gamma^*TX),$$

where $\Gamma(S^1, \gamma^*TX)$ denote the space of section of the pullback bundle $\require{AMScd}$ \begin{CD} \gamma^*TX @>>> TX\\ @V V V @VV V\\ S^1 @>>\gamma> X. \end{CD} This is the description of the tangent bundle $TLX \to LX$ of the loop space of $X$. By definition a $k$-differential form on $LX$ is a section of the $k^{th}$ exterior power of $TLX^*$, the cotangent bundle. $$\Omega^k(LX):= \Gamma(LX, \Lambda^kTLX^*).$$

Question:

How is the exterior differential $d$ defined for differential forms on loop space? \begin{CD} \Omega^k(LX) @>d>> \Omega^{k+1}(LX) \end{CD}