L2 inner product on bundle-valued forms - Imported Knowlpedia Content

Definition

Let $(M,g)$ be an oriented Riemannian manifold and let $E\to M$ be a real Euclidean or complex Hermitian vector bundle with bundle metric $h$ . The metrics induce a pointwise inner product on $E$ -valued $k$ -forms. For compactly supported forms $\alpha,\beta$ , their $L^2$ inner product is

\langle\alpha,\beta\rangle_{L^2} =\int_M\langle\alpha(x),\beta(x)\rangle_{g,h}\,d\operatorname{vol}_g(x).

In the complex case it is Hermitian, with the linear argument determined by convention. The associated norm is $\|\alpha\|_{L^2}^2=\langle\alpha,\alpha\rangle_{L^2}$ .

Hodge-star expression

The same pairing can be expressed using the Hodge star together with contraction of the $E$ -coefficients by $h$ . For real bundles,

\langle\alpha,\beta\rangle_{L^2} =\int_M h(\alpha\wedge *\beta),

where $h(\alpha\wedge *\beta)$ means pair the coefficient factors and wedge the form factors. For Hermitian bundles, one coefficient factor is conjugated according to the chosen linearity convention.

This formulation explains why orientation enters the displayed integral. An equivalent definition using the Riemannian density does not require an orientation.

Completion and formal adjoints

Completing compactly supported smooth $E$ -valued forms in this norm gives the Hilbert space $L^2\Omega^k(M;E)$ . On a compact manifold every smooth form has finite $L^2$ -norm; on a noncompact manifold finite norm is an additional condition.

The pairing defines formal adjoints of covariant differential operators by integration by parts. In gauge theory, applying it to $\operatorname{ad}P$ -valued curvature gives the Yang–Mills energy, and applying it to infinitesimal changes of a connection gives the standard weak Riemannian metric on the space of connections Freed–Uhlenbeck, Chapter 2.

Examples and scope

For the trivial line bundle over $\mathbb R^n$ and $k=0$ , this is the usual $L^2$ inner product of compactly supported functions. A smooth form on a noncompact manifold need not belong to $L^2$ ; the constant function $1$ on $\mathbb R^n$ is the basic near-miss because its squared norm has infinite integral.

References

Daniel S. Freed and Karen K. Uhlenbeck, Instantons and Four-Manifolds, 2nd ed., Springer, 1991. Publisher record. Relevant: Chapter 2, norms of bundle-valued forms and the Yang–Mills functional.
Simon K. Donaldson and Peter B. Kronheimer, The Geometry of Four-Manifolds, Oxford University Press, 1990. Publisher record. Relevant: §4.2, $L^2$ geometry of connections and gauge transformations.