Kivinen's hyper-Kähler equivalence conjecture for Calogero–Moser spaces

Let g\mathfrak{g} be a reductive Lie algebra and let CMc=SpecZ(Hc,0rat)\mathcal{CM}_c=\operatorname{Spec}Z(H^{\mathrm{rat}}_{c,0}) be its Calogero–Moser space, with cc as in the source. Let Xg,symbX_{\mathfrak{g},\mathrm{symb}} be the symbolic replacement variety, equipped with the indicated Hamiltonian C\mathbb{C}^*-action. Kivinen's hyper-Kähler equivalence conjecture. For any g\mathfrak{g}, the varieties CMc\mathcal{CM}_c and Xg,symbX_{\mathfrak{g},\mathrm{symb}} admit hyper-Kähler structures such that there is a U(1)U(1)-equivariant homeomorphism

CMcXg,symb,\mathcal{CM}_c\to X_{\mathfrak{g},\mathrm{symb}},

given by rotating the complex structure. In particular, there is a bijection

(Xg,symb)CCMcC,(X_{\mathfrak{g},\mathrm{symb}})^{\mathbb{C}^*}\leftrightarrow\mathcal{CM}_c^{\mathbb{C}^*},

where the action on the left is the Hamiltonian C(C)2\mathbb{C}^*\subseteq(\mathbb{C}^*)^2-action. This is motivated by the known type AA, BB, and CC cases, but is conjectural for arbitrary g\mathfrak{g}.

Sources & referencesView supporting material

Primary source

Oscar Kivinen, “A Lie-theoretic generalization of some Hilbert schemes”, arXiv:2512.08532 (2025).

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.