Non-degeneracy conjecture for the pseudo-metric on the deformation space

Let V(J,A)V_{(J,A)} be the tangent space described by the relevant system of PDEs, and let LL2\mathcal{L}_{L^2} be the space of L2L^2-regularity tensors representing the infinitesimal deformations, equipped with the pseudo-metric gf\mathbf{g}_f. Define

L0:=LL2LL2gf\mathcal{L}_0:=\mathcal{L}_{L^2}\cap\mathcal{L}_{L^2}^{\perp_{\mathbf{g}_f}}

and let J\mathfrak J denote the canonical symmetry on the ambient space FL2\mathcal{F}_{L^2}. Non-degeneracy conjecture. The pseudo-metric gf\mathbf{g}_f restricted to LL2\mathcal{L}_{L^2} is non-degenerate, equivalently

J(L0)={0},\mathfrak J\big(\mathcal{L}_0\big)=\{0\},

or, equivalently, LL2+LL2gf\mathcal{L}_{L^2}+\mathcal{L}_{L^2}^{\perp_{\mathbf{g}_f}} is dense in FL2\mathcal{F}_{L^2}. The claim concerns whether the pseudo-Kähler structure yields a non-degenerate metric on the full deformation space; the surrounding discussion explains that the space is described by a system of PDEs and that its elements admit an explicit decomposition involving a vector field and holomorphic quadratic and cubic differentials. No resolution is given in the supplied text.

Sources & referencesView supporting material

Primary source

Nicholas Rungi and Andrea Tamburelli, “Pseudo-Kähler structure on the SL(3,R)-Hitchin component and Goldman symplectic form”, arXiv:2306.02699 (2024).

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.