6950E7B1FBCB
We now return to a general connected compact complex manifold $X$, of dimension $n\geq 2$. To stay in a fixed Aeppli class of Gauduchon metrics, we vary the $(n-1)$st power of the metric by a term of the form $\partial \xi +\bar\partial \bar\xi $. The resulting scalar ansatz contains first derivatives of the potential as well as its complex Hessian.
Theorem 14.10.1 (Székelyhidi–Tosatti–Weinkove).76AF759A4024 Fix a Hermitian form $\gamma _0$, a Gauduchon form $\gamma $, and a smooth real function $F$. There is a unique pair $(u,b)\in C^\infty (X,\mathbb R)\times \mathbb R$ with $\sup _ Xu=0$ such that the $(n-1,n-1)$-form
\[ \Gamma _ u=\gamma _0^{n-1}+\mathrm{dd}^{\mathrm{c}}u\wedge \gamma ^{n-2} +\operatorname {Re}\left( \frac{\mathrm i}{2\pi }\partial u\wedge \bar\partial (\gamma ^{n-2}) \right) \]
is strictly positive, and the Hermitian form $\eta _ u$ with $\eta _ u^{n-1}=\Gamma _ u$ satisfies
\[ \eta _ u^ n=\mathrm{e}^{F+b}\gamma ^ n. \]
Here we use the linear-algebra fact that a real $(n-1,n-1)$-form is strictly positive if and only if it is the $(n-1)$st power of a Hermitian form, and that this Hermitian form is unique; the matrix form of this correspondence is described in section 14.13. Keep $\gamma _0$ and $\gamma $ fixed for the remainder of the chapter, and write $\mathcal D_\gamma u=\Gamma _ u-\gamma _0^{n-1}$ for the part of the ansatz that is linear in $u$.
To see which geometry is preserved, set $\xi _ u=\mathrm i\, \bar\partial u\wedge \gamma ^{n-2}/(4\pi )$. The Leibniz rule gives $\Gamma _ u-\gamma _0^{n-1}=\partial \xi _ u+\bar\partial \overline{\xi _ u}$. Since $\mathrm{dd}^{\mathrm{c}}(\partial \xi _ u+\bar\partial \overline{\xi _ u})=0$, if $\gamma _0$ is Gauduchon then so is $\eta _ u$, and the $(n-1)$st powers of $\gamma _0$ and $\eta _ u$ have the same Aeppli class. The uniqueness in theorem 14.10.1 concerns this scalar ansatz; it does not assert uniqueness among all Gauduchon metrics in the Aeppli class.
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.