# Does their exist something like L^2 Mapping spaces to general manifolds?

Given a compact manifold $C$ and a n-manifold $M$ we mostly work on either

• $C^{\infty}(C,M)$ seen as a Frechet manifold.

• or $H^{k}(C,M)$ seen has a Hilbert manifold when $k > n/2$.

Although both spaces have advantages i am interested to know if we can extend the construction given in the second case to define $H^0(C,M)$.

Or more in general when can we define the space $L^2(C,M)$ outside of the known examples where $M = \mathbb{R}^n$?

Assuming that $M$ and $N$ are Riemannian manifolds, the space $L^p(M,N)$ consists of measurable mappings $f:M\to N$ such that $x\to d(y_0,f(x))$ belongs to $L^p(M)$. There is no problem with this definition if the measure of $M$ is finite and a small problem if the measure of $M$ is infinite. Indeed, in the later case the constant mapping $f(x)=y_0$ belongs to $L^p$ because $d(y_0,f)\equiv 0$, but if we change the point $y_0$ to $y_1\neq y_0$, then $d(y_1,f)=d(y_1,y_0)\neq 0$ is not in $L^p$.
Actually, one can define $L^p(X,Y)$ mappings from a measure space $X$ into a separable metric space as follows: There is an isometric embedding of $Y$ into $\ell^\infty$ and then we define: $$L^p(X,Y)=\{f\in L^p(X,\ell^\infty):\, f(x)\in Y \text{ a.e.}\}.$$ Here the the $L^p$ integral of $\ell^\infty$ valued mappings is understood as the Bochner integral.
• @Netivolu I am not sure what you mean by a tangent space. I am not sure if $L^2(C,M)$ has a Banach manifold structure. Apr 18 '18 at 12:35
• Well i wondered if you could construct a manifold (Hilbert, Banach, Frechet) structure on those $L^2$ spaces Apr 18 '18 at 13:01