References & Citations
Mathematics > Algebraic Geometry
Title: Computing Riemann-Roch polynomials and classifying hyper-Kähler fourfolds
(Submitted on 20 Jan 2022 (v1), last revised 1 Nov 2023 (this version, v3))
Abstract: We prove that a hyper-K\"ahler fourfold satisfying a mild topological assumption is of K3$^{[2]}$ deformation type. This proves in particular a conjecture of O'Grady stating that hyper-K\"ahler fourfolds of K3$^{[2]}$ numerical type are of K3$^{[2]}$ deformation type. Our topological assumption concerns the existence of two integral degree-2 cohomology classes satisfying certain numerical intersection conditions.
There are two main ingredients in the proof. We first prove a topological version of the statement, by showing that our topological assumption forces the Betti numbers, the Fujiki constant, and the Huybrechts-Riemann-Roch polynomial of the hyper-K\"ahler fourfold to be the same as those of K3$^{[2]}$ hyper-K\"ahler fourfolds. The key part of the article is then to prove the hyper-K\"ahler SYZ conjecture for hyper-K\"ahler fourfolds for divisor classes satisfying the numerical condition mentioned above.
Submission history
From: Emanuele Macrì [view email][v1] Thu, 20 Jan 2022 12:49:08 GMT (40kb)
[v2] Sat, 26 Nov 2022 14:13:06 GMT (38kb)
[v3] Wed, 1 Nov 2023 13:51:16 GMT (38kb)
Link back to: arXiv, form interface, contact.