{"id":"arxiv/2610.11109","url":"https://arxiv.org/abs/2610.11109","tags":["math.AG"],"score":0,"title":"A Proof of Mongardi's Conjecture on Finite Symplectic Group Actions on Hyperkähler Manifolds of $K3^{[n]}$ Type","domain":"math.AG","source":"arxiv","authors":["Jie Fu","Shihao Wang","Zhiwei Zheng"],"reviews":0,"subject":"math.AG","summary":"Let a finite group act faithfully by symplectic automorphisms on a manifold of $K3^{[n]}$ type for $n\\geq2$. We prove Mongardi's conjecture that the strict inequality $\\mathrm{rk}(S)+\\ell(A_S)<24$ holds for its associated Leech coinvariant lattice $S$. The converse was already proved independently by Huybrechts and Mongardi: any Leech coinvariant lattice $S$ satisfying the strict inequality and of rank at most $20$ is realized by such an action for some $n\\geq2$. The key idea is to consider the minimum norms of vectors representing discriminant classes of $S$. The absence of numerical walls…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}