Skip to main content
added 1555 characters in body
Source Link
David E Speyer
  • 156.2k
  • 14
  • 419
  • 763

Hodge $*$ and $\overline{\partial}^*$ are defined and have the named properties on any complex manifold with respect to any Hermitian metric. No Kahlerness, nor compactness, is necessary. Note that Voisin's book presents them in the chapter before she defines the Kahler condition.


John McCarthy points out that the definition of $*$ seems to vary across textbooks. Looking at the $3$ books I have available:

Voisin (Section 5.1) defines $*$ to be a $\mathbb{C}$-linear map, which takes $(p,q)$-forms to $(n-q, n-p)$ forms, and for which $\overline{\partial}^* = - * \partial *$. This is the convention I have been following.

Wells (Secton V.2) defines $*$ in the same way as Voisin, but then also defines $\overline{*}$ by $\overline{*} \phi = * \overline{\phi}$, and basically doesn't mention $*$ again. He writes $\overline{\partial}^* = - \overline{*} \overline{\partial} \overline{*}$. This defines the same map as Voisin does, but generalizes more nicely to vector bundles. This is a nice expository choice; I probably would have done better to follow this in my course.

Griffiths and Harris (Section 0.6) define $*$ to be a $\mathbb{C}$-antilinear map which takes $(p,q)$-forms to $(n-p, n-q)$ forms. (See a little earlier on p. 82.) This suggests that their $*$ is Wells' $\overline{*}$. I am not sure that they are exactly the same, though. Looking at $\mathbb{C}$, with the standard Kahler form, I think Wells' $\overline{*} (dz)$ should be his $* d\overline{z}$ which I think is $dy + i dx = i d \overline{z}$. That is off by $i$ from Griffiths and Harris' formula, I'm not sure why.

In any case, it appears that G and H write $*$ for a map which has the complex conjugate built in, where the others do not. They all seem to agree as to what $\overline{\partial}^*$ means.

Hodge $*$ and $\overline{\partial}^*$ are defined and have the named properties on any complex manifold with respect to any Hermitian metric. No Kahlerness, nor compactness, is necessary. Note that Voisin's book presents them in the chapter before she defines the Kahler condition.

Hodge $*$ and $\overline{\partial}^*$ are defined and have the named properties on any complex manifold with respect to any Hermitian metric. No Kahlerness, nor compactness, is necessary. Note that Voisin's book presents them in the chapter before she defines the Kahler condition.


John McCarthy points out that the definition of $*$ seems to vary across textbooks. Looking at the $3$ books I have available:

Voisin (Section 5.1) defines $*$ to be a $\mathbb{C}$-linear map, which takes $(p,q)$-forms to $(n-q, n-p)$ forms, and for which $\overline{\partial}^* = - * \partial *$. This is the convention I have been following.

Wells (Secton V.2) defines $*$ in the same way as Voisin, but then also defines $\overline{*}$ by $\overline{*} \phi = * \overline{\phi}$, and basically doesn't mention $*$ again. He writes $\overline{\partial}^* = - \overline{*} \overline{\partial} \overline{*}$. This defines the same map as Voisin does, but generalizes more nicely to vector bundles. This is a nice expository choice; I probably would have done better to follow this in my course.

Griffiths and Harris (Section 0.6) define $*$ to be a $\mathbb{C}$-antilinear map which takes $(p,q)$-forms to $(n-p, n-q)$ forms. (See a little earlier on p. 82.) This suggests that their $*$ is Wells' $\overline{*}$. I am not sure that they are exactly the same, though. Looking at $\mathbb{C}$, with the standard Kahler form, I think Wells' $\overline{*} (dz)$ should be his $* d\overline{z}$ which I think is $dy + i dx = i d \overline{z}$. That is off by $i$ from Griffiths and Harris' formula, I'm not sure why.

In any case, it appears that G and H write $*$ for a map which has the complex conjugate built in, where the others do not. They all seem to agree as to what $\overline{\partial}^*$ means.

Source Link
David E Speyer
  • 156.2k
  • 14
  • 419
  • 763

Hodge $*$ and $\overline{\partial}^*$ are defined and have the named properties on any complex manifold with respect to any Hermitian metric. No Kahlerness, nor compactness, is necessary. Note that Voisin's book presents them in the chapter before she defines the Kahler condition.