Extremal convex function conjecture for normalized Donaldson–Futaki invariant

Let PP be a polytope, let uTcanu_T^{\mathrm{can}} be the canonical family, and define the convex function

qT:=TloguTcan.q_T:=T\log u_T^{\mathrm{can}}.

Let DF(q)\mathrm{DF}(q) denote the Donaldson–Futaki invariant, let qˉ=Pqdμ/Pdμ\bar q=\int_Pq\,d\mu/\int_Pd\mu, and let q^L2=(P(qqˉ)2dμ)1/2\|\hat q\|_{L^2}=(\int_P(q-\bar q)^2d\mu)^{1/2}. Extremal destabilizer conjecture. As TT\to\infty, qTq_T converges at least in the L2L^2-topology to a lower-semicontinuous convex function qextL2(P)q_{\mathrm{ext}}\in L^2(P) that minimizes

DF(q)q^L2=2πPqdσ+sˉPqdμ(P(qqˉ)2dμ)1/2\frac{\mathrm{DF}(q)}{\|\hat q\|_{L^2}}=\frac{2\pi\int_{\partial P}q\,d\sigma+\bar s\int_Pq\,d\mu}{\left(\int_P(q-\bar q)^2d\mu\right)^{1/2}}

among all L2L^2-integrable convex functions on PP. This proposes that the optimal destabilizer for the normalized Donaldson–Futaki invariant appears in the rescaled limit; the stated regularity is stronger than the known L2L^2-regularity of qextq_{\mathrm{ext}}.

Sources & referencesView supporting material

Primary source

Eiji Inoue, “Toric non-archimedean μ-entropy and thermodynamical structure”, arXiv:2303.09090 (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.