3
$\begingroup$

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.

$\endgroup$

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.