Reference: W. Ding, G. Tian -- Kähler--Einstein metrics and the Generalised Futaki Invariant, Inventiones mathematicae, (1992).

Let $X$ be a normal projective variety which is irreducible. Given an ample line bundle $L \to X$ over $X$, there exists an $m \in \mathbb{N}$ such that the global sections of $L^{\otimes m}$ furnish a Kodaira embedding $\phi_m : X \hookrightarrow \mathbb{CP}^N$ for some $N \in \mathbb{N}$. Let $\omega_{\text{FS}}$ denote the Fubini--Study metric on $\mathbb{CP}^N$, which may be pulled back via $\phi_m$ to obtain a metric $$\omega = \frac{\alpha}{m} \phi_m^{\ast} \left( \omega_{\text{FS}} + \frac{\sqrt{-1}}{2\pi} \partial \overline{\partial} \psi \right),$$ on $X$, where $\alpha >0$ and $\psi \in \mathscr{C}^{\infty}(\mathbb{CP}^N, \mathbb{R})$. We call a metric $\omega$ of this form admissible.

One may show that since $\dim_{\mathbb{C}}\text{Sing}(X) \leq \dim_{\mathbb{C}} X - 1$, $\omega$ defines a cohomology class of type $(1,1)$ on $X$. In other words, $[\omega] = \alpha c_1(L)$, where $c_1(L)$ denotes the first Chern class of $L$.

It is claimed in the above reference that it follows from the definition that, given two admissible metrics $\omega_1, \omega_2 \in [\omega]$, there is a bounded, continuous functon $\varphi \in \mathscr{C}(X) \cap \mathscr{C}^{\infty}(\text{Reg}(X))$, such that over $\text{Reg}(X)$, we have $$\omega_2 - \omega_1 = \frac{\sqrt{-1}}{2\pi} \partial \overline{\partial} \varphi,$$ where $\text{Reg}(X)$ denotes the regular part of $X$.

Q: Does anyone have a reference for where I may find this generalised $\partial \overline{\partial}$--lemma? It is likely to be in Griffith's and Harris' Principles of Algebraic Geometry, but I cannot seem to find the result that ensures that $\varphi$ is bounded and continuous on $\text{Sing}(X)$.

Thanks in advance.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.