Projectively induced K\"ahler--Einstein surfaces
In the authors' words
We classify compact K\"ahler--Einstein surfaces whose metric is induced by a holomorphic isometric immersion into a finite-dimensional complex projective space. No symmetry assumption and no bound on the codimension are imposed. We prove that the only such surfaces are \[ (\PP^2,m g_{\FS}) \quadand\quad \bigl(\PP^1\times\PP^1,m(g_{\FS}\oplus g_{\FS})\bigr), \qquad m\in\mathbb Z_{>0}, \] realized respectively by the Veronese and Segre--Veronese embeddings. The main new ingredient is a codimension-independent exclusion of the entire Fano-index-one branch, combining a common anticanonical root construction with Gram--Gauss rank estimates and, in degree five, an equivariant curvature argument. Consequently, every connected compact K\"ahler--Einstein surface whose metric is induced by a holomorphic isometric immersion into a finite-dimensional complex projective space is homogeneous.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 22 pages