Finite area determination conjecture for Kähler–Einstein metrics on a product of surfaces

Let Σ\Sigma be the closed surface under consideration, let L(g)\mathcal L^*(g) denote the relevant set of surface subgroups of genus gg, and let A(h)(Π)A(h)(\Pi) be the associated area function of a metric hh on Σ×Σ\Sigma\times\Sigma. Finite area determination conjecture. There is a finite set L0L(g)\mathcal L_0\subset\mathcal L^*(g) such that, if hh and h^\hat h are Kähler–Einstein metrics on Σ×Σ\Sigma\times\Sigma satisfying

A(h)(Π)=A(h^)(Π)for all ΠL0,A(h)(\Pi)=A(\hat h)(\Pi)\quad\text{for all }\Pi\in\mathcal L_0,

then hh and h^\hat h are isometric, and the isometry is homotopic to the identity. This asks whether finitely many minimal-Lagrangian area measurements determine a Kähler–Einstein metric up to an isometry homotopic to the identity; the supplied text presents it as a new question, with no resolution stated.

Sources & referencesView supporting material

Primary source

Ben Lowe, Fernando C. Marques and André Neves, “Counting Minimal Lagrangians Via Mirzakhani Functions”, arXiv:2605.04614 (2026).

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.