2
$\begingroup$

Let M be a 2-dimensional (complex dimension) Kähler manifold and $\phi$ be a real $(1,1)$-form. Is it possible that there exists a function $u$ such that $\phi=u\sqrt{-1}\partial\bar{\partial}u$?

$\endgroup$
4
  • $\begingroup$ Sure. Take $u$ a real ${\mathcal C}^{\infty}$ function on your manifold, and then $\phi=ui\partial\bar\partial u$ is a real $(1,1)$ form on $M$. $\endgroup$
    – user48958
    Mar 18, 2020 at 18:42
  • $\begingroup$ I mean that for giving $\phi$, is there $u$ such that $\phi=u\sqrt{-1}\partial\bar{\partial}u$ $\endgroup$
    – liding
    Mar 18, 2020 at 21:45
  • $\begingroup$ So the question is "characterize those real $(1,1)$ forms that can be written as $ui\partial\bar\partial u$, where $u$ is a smooth function", right? $\endgroup$
    – user48958
    Mar 19, 2020 at 18:13
  • $\begingroup$ Yes ,it's right. $\endgroup$
    – liding
    Mar 20, 2020 at 0:45

2 Answers 2

2
$\begingroup$

If $M$ is compact this is obviously false: if we can write $\phi=u\sqrt{-1}\partial\overline{\partial}u$ then $\int_M \omega\wedge\phi\leq 0$ integrating by parts. So for every $\phi$ which does not satisfy this (for example $\phi=\omega$) it will not be possible to find such $u$.

$\endgroup$
1
  • $\begingroup$ Thank you very much. $\endgroup$
    – liding
    Apr 3, 2020 at 6:29
5
$\begingroup$

YangMills' answer shows that it is not always possible to represent a real $(1,1)$-form $\phi$ in the desired form globally on a compact complex manifold but doesn't answer the question of how to tell, for a given $\phi$, whether it is possible locally. Under mild conditions, though, it is possible to derive necessary and sufficient conditions.

For example, on the (possibly empty) open set where $\phi^2\not=0$, if there exists a $u$ such that $\phi = u\,\mathrm{i}\partial\bar\partial u$, then the identity $$ \phi^2 = u^2\,(\mathrm{i}\partial\bar\partial u)^2 = u^2(\mathrm{i}\partial\bar\partial\phi)\tag1 $$ implies that $\mathrm{i}\partial\bar\partial\phi\not=0$ and that the ratio $\phi^2 /( \mathrm{i}\partial\bar\partial\phi)$ must be a smooth positive function $f$. Conversely, if $\mathrm{i}\partial\bar\partial\phi\not=0$ and there is a (necessarily unique) positive function $f$ such that $\phi^2 = f\,(\mathrm{i}\partial\bar\partial\phi)$, then $\phi$ is of the desired form if and only if $$\phi = \sqrt{f}\,\mathrm{i}\,\partial\bar\partial\left(\sqrt{f}\right).\tag2$$

Note that on a complex $2$-manifold, the condition $(\mathrm{i}\partial\bar\partial\phi)/\phi^2>0$ is one second-order inequality on $\phi$ that implies the existence of the function $f$. Thus, (2) is a system of four fourth-order equations on $\phi$.

On the (possibly empty) interior of the set on which $\phi^2=0$ but $\phi\not=0$, there is a more elaborate method of testing whether $\phi$ can be written in the desired form, which starts by observing that the identity (1) now implies that $\mathrm{i}\,\partial\bar\partial\phi = 0$ and, moreover, because $\mathrm{i}\,\partial\bar\partial u$ is closed, it follows that $\phi$ must be a multiple of a closed simple $2$-form, and, hence, $\mathrm{d}\phi = \mu\wedge\phi$ for some real $1$-form $\mu$. To go further requires more elaborate calculations, which I can supply if there is interest. I will just note here that, in this case, the representation of $\phi$ in the desired form is often no longer unique up to sign.

$\endgroup$
0

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.