Complex analyticity of Gromov–Hausdorff limits

Let (Xj,ωj,pj)(X_j,\omega_j,p_j) be a sequence of nn-dimensional Kähler–Einstein manifolds with Ric(ωj)=cjωj\operatorname{Ric}(\omega_j)=c_j\omega_j, cj1|c_j|\leq 1, and Vol(B(pj,1))κ>0\operatorname{Vol}(B(p_j,1))\geq\kappa>0, converging in the Gromov–Hausdorff sense to (X,d,p)(X_\infty,d_\infty,p_\infty). Write X=XregXsingX_\infty=X_\infty^{\mathrm{reg}}\cup X_\infty^{\mathrm{sing}} for the Cheeger–Colding regular-singular decomposition, and let O\mathcal O be the push-forward to XX_\infty of the structure sheaf of XregX_\infty^{\mathrm{reg}}. Complex analyticity conjecture. (X,O)(X_\infty,\mathcal O) is a normal complex-analytic space, and its singular set in the complex-analytic sense coincides with XsingX_\infty^{\mathrm{sing}}. This is posed as an important open question when no polarization is available; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Song Sun, “Bubbling of Kähler-Einstein metrics”, arXiv:2303.11309 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.