1
$\begingroup$

Let $M$ be a complex manifold of real dimension $2N$, equipped with a Hermitian metric. The corresponding Hodge map $\ast$ has the following properties:

(i) It is a ${\bf C}$-linear map $\ast:\Omega^k(M) \to \Omega^{2N-k}(M)$;

(ii) $\ast(\Omega^{(p,q)}(M)) = \Omega^{(N-p,N-q)}$(M);

(iii) $\ast^2 = (-1)^{k}$ on $\Omega^k(M)$.

Now I would guess that there exist other maps on $\Omega(M)$ with these properties which do not arise as Hodge maps from some Hermitian metric. So my question is, do there exist extra (algebraic) properties of $\ast$, which when put together with $(i),(ii)$, and $(iii)$, determine all the Hodge maps, but without ever explicitly mentioning metrics.

$\endgroup$
3
  • 1
    $\begingroup$ I'm not sure what you're really looking for, but aside from (i)-(iii), what is essential is that $(const.)\int \alpha\wedge*\beta$ determines an inner product on the space of forms. $\endgroup$ Feb 2, 2013 at 15:23
  • $\begingroup$ ... with compact support. $\endgroup$ Feb 2, 2013 at 15:35
  • $\begingroup$ John, I'm just trying to understand the question. When you say "Hodge map" are you explicitly referring to the hodge star operator? I'm a little confused, since you say the plural "Hodge maps" later (which makes sense in this context). I'm just being a little careful. Is this standard terminology? $\endgroup$
    – LMN
    Feb 3, 2013 at 0:47

1 Answer 1

3
$\begingroup$

Not so much an answer as two comments, one picky and the other possibly helpful (but together exceeding the character limit for a comment).

  1. In (i), you need $*$ to be linear over functions otherwise it is not algebraic (tensorial) at all.

  2. There are clearly necessary conditions for $*$ to be a Hodge map for some Hermitian metric. We fix a volume form as $*1$ and then the metric on $1$-forms is defined by $(\omega_1,\omega_2)*1=\omega_1\wedge *\omega_2$. At this point, we get two conditions: the metric so defined had better be non-degenerate and positive definite. This is an open condition. Moreover, $\star 1$ must now be the wedge of an orthonormal basis of $1$-forms and that is an algebraic condition relating $\star$ on $0$-forms with $\star$ on $1$-forms. For $N=1$, this condition is vacuous: $\star$ on $1$-forms defines a conformal structure and then $\star$ on $0$-forms simply fixes a scale to get a metric. However, when $N>1$, $\star$ on $k$-forms for $2\leq k\leq N$ is already determined by the metric we have found and so there must be compatibility conditions.

$\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.