Consequence of Hodge decomposition: the norm here

differential-formsdifferential-geometryhodge-theoryhomology-cohomologyriemannian-geometry

Hodge Decomposition Theorem says smooth $k$-forms on on compact oriented Riemannian (smooth) $m$−manifold $(M,g)$ (I think M need not be connected, but assume connected if need be or you want) decompose into exact, co-exact and harmonic.

About this pdf powerpoint by Ryan Vaughn,

  1. In slides 35-36,40 does $||\alpha||^2$ necessarily refer to the inner product on slide 25 in that $||\alpha||^2 := (\alpha,\alpha):=\int_M \alpha \wedge \star \alpha$, where $\star$ is Hodge star operator?

  2. Could it possibly be instead something like $||\alpha||^2 : = g(\alpha,\alpha)$ and then $||\alpha||^2 = 0$ if and only if $(\alpha,\alpha) = 0$?

    • 2.1. Here, I think: we would use that $\alpha \wedge \star \alpha = g(\alpha,\alpha) vol_{(M,g)}$ and then say the integral, of a non-negative integrand, is zero if and only if the integrand is zero.

Best Answer

First of all, I don't think there is any other reasonable interpretation using the slide besides that $$ \| \alpha \|^2 = (\alpha, \alpha).$$ This is used in no.34$\to$no.35 and no.39$\to$no.40. And

$$(\alpha, \alpha) = \int_M \alpha \wedge \star \alpha$$

are used when applying the formal adjoint $\delta$ in several places. So 1 is the interpretation used in the slide.

To show that $\|\alpha\| = 0\Rightarrow \alpha = 0$, we use 2.1, that is

$$ \alpha \wedge \star \alpha = g(\alpha,\alpha)\operatorname{ vol}_{(M,g)},$$

so if $\|\alpha\|^2 = 0$, by 1 we have

$$0 = \int_M g(\alpha,\alpha)\operatorname{ vol}_{(M,g)},$$

and since $g(\alpha, \alpha)$ is non-negative, $g(\alpha, \alpha) = 0$ everywhere and thus $\alpha(x) =0$ for all $x\in M$. So $\alpha = 0$.