Strong properness conjecture for K-energy on Sasaki manifolds

Let (M,g)(M,g) be a (2n+1)(2n+1)-dimensional Sasaki manifold with transverse Kähler form

ωgT=πn+1c1B(M).\omega_g^T=\frac{\pi}{n+1}c_1^B(M).

Suppose that MM admits a transverse Sasaki–Einstein metric. Let KK be a maximal compact subgroup of AutT(M){\rm Aut}^T(M), and let I()I(\cdot) be the functional defined in the source. For a transverse Kähler potential ψ\psi of ωgT\omega_g^T, write ψτ\psi_\tau for the induced transverse Kähler potential under τZ(AutT(M))\tau\in Z({\rm Aut}^T(M)). Strong properness conjecture. There exist δ,Cδ>0\delta,C_\delta>0 such that, for every KK-invariant transverse Kähler potential ψ\psi of ωgT\omega_g^T,

K(ψ)δinfτZ(AutT(M))I(ψτ)Cδ.\mathcal K(\psi)\geq \delta\inf_{\tau\in Z({\rm Aut}^T(M))}I(\psi_\tau)-C_\delta.

This conjecture extends the stated strong properness result from GG-Sasaki manifolds with the required symmetry to general Sasaki manifolds admitting a transverse Sasaki–Einstein metric. It asserts properness of K-energy modulo the central transverse holomorphic automorphisms; the supplied text gives no resolution, so its status remains open.

Sources & referencesView supporting material

Primary source

Yan Li and Xiaohua Zhu, “G-Sasaki manifolds and K-energy”, arXiv:1712.07934 (2018).

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.