6
$\begingroup$

For a compact Riemannian manifold $M$, we know that the Hodge map $\ast$ and Laplacian $\Delta$ commute. From Hodge decomposition and its implied isomorphism between harmonic forms and cohomology classes we now that an indued on the cohomology ring $H(M)$, which is usually denoted again by $\ast$.

Now one could also naively define a map $$ \ast:H(M) \to H(M), ~~~~~~~~~~~~~ [\omega] \mapsto [\ast(\omega)], $$ and hope that they coincide. The thing is, as far I can tell, this map doesn't even seem to be well-defined. Can someone please prove whether or not it is well-defined.

(In the case that it is not well-defined, any philosophical motivation for why the naive approach doesn't work would be appreciated.)

$\endgroup$
9
  • 1
    $\begingroup$ Your question is impossible to answer. You did not define a map, since the choice of $\omega$ is not specified. Do you mean $\omega$ is closed? (Then $*\omega$ need not be closed.) Harmonic? Lastly, the question itself is better suited for MSE, not MO. $\endgroup$
    – Misha
    Jan 26, 2016 at 20:45
  • $\begingroup$ That is exactly the point of the question. I wanted to know if the map was well-defined. If, as you say, $\ast\omega$ need not be closed, then the map is of course not well-defined. Can you provide an example? $\endgroup$ Jan 26, 2016 at 21:03
  • $\begingroup$ If I restrict to harmonics then yes the map is defined, as explained at the start of the question. $\endgroup$ Jan 26, 2016 at 21:04
  • $\begingroup$ Physicist's answer: if $[\omega]=[*\omega]$, magnetic charges would exist. $\endgroup$
    – geodude
    Jan 27, 2016 at 11:35
  • 1
    $\begingroup$ @geodude Can you explain this in some more detail? $\endgroup$ Jan 27, 2016 at 12:25

2 Answers 2

2
$\begingroup$

You've probably seen this before, but in case you haven't:

Let $M$ be a compact oriented manifold. Let $\Omega^k$ be the smooth $k$-forms, let $Z^k$ be the closed $k$-forms and let $B^k$ be the exact $k$-forms. So $H^k=Z^k/B^k$. As Johannes's answer shows, $\ast$ does not carry $Z^k$ to $Z^{n-k}$, nor $B^k$ to $B^{n-k}$. (For an example of the latter, take $S^1$ with its usual metric, and $f:S^1 \to \mathbb{R}$ any non constant function. Then $df = f'(\theta) d \theta$ is exact, but $\ast(df) = f'(\theta)$ is not. ) So you cannot define a map $H^k \to H^{n-k}$ in your naive way.

We can put an inner product on $\Omega^k$ by $\langle \omega, \eta \rangle = \int_M \omega \wedge \ast(\eta)$. If we pretend that everything works like finite dimensional vector spaces (and the hard part of Hodge theory is justifying this), then $\Omega^k$ splits into $B^k \oplus (B^*)^k \oplus A^k$. Here $(B^*)^k$ is $(Z^k)^{\perp}$ and $A^k = (B^k \oplus (B^*)^k)^{\perp}$. The space $A^k$ is the harmonic forms. Notice that $Z^k = A^k \oplus B^k$, so $H^k = Z^k/B^k \cong A^k$.

Hodge star takes $A^k \to A^{n-k}$, $B^k \to (B^*)^{n-k}$ and $(B^*)^k \to B^{n-k}$. So $B^k$ doesn't go to $B^{n-k}$ and $Z^k = A^k \oplus B^k$ doesn't go to $Z^{n-k} = A^{n-k} \oplus B^{n-k}$, making your naive strategy not work. But we do have $Z^k/B^k \cong A^k \to A^{n-k} \cong Z^{n-k}/B^{n-k}$, giving us the Hodge map.

$\endgroup$
8
$\begingroup$

As has been observed in the comments, it suffices to construct a closed differential form $\omega$ for which $\star\omega$ is not closed. Here is an explicit example.

Let $M$ be the circle $S^1$ for which we take the convenient model $\mathbf R/\mathbf Z$. Let $g$ be any $1$-periodic strictly positive nonconstant smooth function on $\mathbf R$, for example $g(x)=\cos(2\pi x)^2+1$. Then, $g\,dx\otimes dx$ is a Riemannian metric on $M$. The associated volume form on $M$ is $\mathrm{vol}=\sqrt g \,dx$.

Let $\omega$ be the $1$-form $dx$ on $M$. Of course, $\omega$ is closed. The Hodge dual $\star\omega$ is the smooth function determined by $$ \omega\wedge\star\omega=\langle\omega,\omega\rangle\mathrm{vol}, $$ i.e., $$ \star\omega \cdot dx= \frac1g \cdot\sqrt g \,dx=\frac1{\sqrt g}dx. $$ It follows that $\star\omega$ is the function $1/\sqrt g$, which is not closed since $g$ is not constant.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.