pith. sign in

arxiv: 2607.00130 · v1 · pith:GEBN75UTnew · submitted 2026-06-30 · 🧮 math.AG

Generalized Nikulin surfaces and irreducible symplectic fourfolds

Chiara Camere , Alice Garbagnati , Grzegorz Kapustka , Micha{\l} Kapustka This is my paper

Pith reviewed 2026-07-02 17:24 UTC · model grok-4.3

classification 🧮 math.AG
keywords generalized Nikulin surfacesK3 surfaceshyper-Kähler fourfoldssymplectic involutionsNéron-Severi latticeE7(-2) latticetranscendental lattices
0
0 comments X

The pith

A projective K3 surface is a generalized Nikulin surface if and only if its Néron-Severi lattice primitively contains the lattice E7(-2).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines generalized Nikulin surfaces as the two-dimensional fixed components of symplectic involutions on hyper-Kähler fourfolds of K3^[2]-type. It proves that a projective K3 surface is such a surface exactly when its Néron-Severi lattice contains the E7(-2) lattice in a primitive way. It further shows that the transcendental lattices of the surface and of the terminalization of the quotient fourfold are Hodge isometric. This provides a lattice-theoretic characterization extending the classical Nikulin surfaces from K3 involutions.

Core claim

A projective K3 surface F is a generalized Nikulin surface if and only if its Néron-Severi lattice contains primitively the lattice E7(-2). Moreover, the transcendental lattices T_F and T of the terminalization of X/ι are Hodge isometric, where X is the hyper-Kähler fourfold and ι the involution.

What carries the argument

the primitive containment of the E7(-2) lattice in the Néron-Severi lattice of the K3 surface, which characterizes the generalized Nikulin surfaces arising from symplectic involutions on K3^[2]-type fourfolds

If this is right

  • Projective K3 surfaces with this lattice property arise as fixed loci components of symplectic involutions on K3^[2]-type fourfolds.
  • The transcendental lattices of the surface and the terminalization of the quotient match via Hodge isometry.
  • Projective models for small degrees of such generalized Nikulin surfaces can be explicitly described.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This lattice condition may help construct new examples of hyper-Kähler fourfolds carrying symplectic involutions whose fixed loci yield K3 surfaces.
  • It points toward a lattice-based classification of symplectic involutions on irreducible symplectic fourfolds of this type.
  • Similar lattice embeddings could be tested for characterizing fixed loci in other deformation classes of hyper-Kähler manifolds.

Load-bearing premise

Every projective K3 surface whose Néron-Severi lattice primitively contains E7(-2) arises as the two-dimensional fixed component of some symplectic involution on a hyper-Kähler fourfold of K3^[2]-type.

What would settle it

Finding a projective K3 surface with Néron-Severi lattice primitively containing E7(-2) that does not appear as the fixed component of any symplectic involution on a K3^[2]-type hyper-Kähler fourfold would disprove the characterization.

read the original abstract

A Nikulin surface is the minimal resolution of the quotient of a $K3$ surface $S$ by a symplectic involution $\iota_S$. Equivalently, it is the $2$-dimensional component of the fixed locus of the involution induced by $\iota_S$ on the Hilbert scheme $S^{[2]}$. We study $K3$ surfaces $F$ that are the $2$-dimensional component of the fixed locus of a symplectic involution $\iota$ on hyper-K\"ahler manifolds $X$ of $K3^{[2]}$-type; we call them generalized Nikulin surfaces. We show that a projective $K3$ surface is a generalized Nikulin surface if and only if its N\'eron-Severi lattice contains primitively the lattice $E_7(-2)$. Moreover, we show that the transcendental lattices $T_F$ and $T_{\widetilde{X/ \iota}}$, where $\widetilde{X/ \iota}$ is the terminalization of the quotient $X/\iota$, are Hodge isometric. Finally, we describe projective models of generalized Nikulin surfaces of small degrees.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper defines generalized Nikulin surfaces as the 2-dimensional components of the fixed locus of a symplectic involution on a hyper-Kähler fourfold X of K3^[2]-type. It proves that a projective K3 surface F is a generalized Nikulin surface if and only if its Néron-Severi lattice NS(F) contains E7(-2) primitively. It further shows that the transcendental lattice T_F of F is Hodge isometric to the transcendental lattice of the terminalization of X/ι. The paper concludes with explicit projective models of such surfaces in low degrees.

Significance. If the lattice characterization and the Hodge isometry hold, the result supplies a precise arithmetic criterion for K3 surfaces arising from symplectic involutions on K3^[2]-type fourfolds, extending classical Nikulin theory. The isometry between T_F and the quotient transcendental lattice gives a direct relation between the Hodge structures, which may aid in moduli computations and deformation theory. The low-degree models provide concrete examples that could be used for further geometric study.

major comments (1)
  1. [Theorem 1.1] Theorem 1.1 (existence direction): the sufficiency claim that every projective K3 with NS(F) primitively containing E7(-2) arises as the fixed component of some symplectic involution on a K3^[2]-type fourfold requires an explicit construction of the Hodge structure on the fourfold whose invariant/anti-invariant decomposition recovers exactly that NS lattice and yields a 2-dimensional fixed locus. The period-domain or moduli-dimension argument must be shown to work without extra conditions on the divisibility of T_F; otherwise the 'if' direction fails for some lattices satisfying the stated hypothesis.
minor comments (2)
  1. [Abstract] The abstract and introduction should clarify the precise statement of the two main theorems (characterization and isometry) with numbered references to the full statements in the text.
  2. [Section 2] Notation for the terminalization ilde{X/ι} should be introduced once and used consistently; the current usage mixes X/ι and its resolution without a dedicated definition paragraph.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to strengthen the exposition of the existence direction in Theorem 1.1. We address the comment point-by-point below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Theorem 1.1] Theorem 1.1 (existence direction): the sufficiency claim that every projective K3 with NS(F) primitively containing E7(-2) arises as the fixed component of some symplectic involution on a K3^[2]-type fourfold requires an explicit construction of the Hodge structure on the fourfold whose invariant/anti-invariant decomposition recovers exactly that NS lattice and yields a 2-dimensional fixed locus. The period-domain or moduli-dimension argument must be shown to work without extra conditions on the divisibility of T_F; otherwise the 'if' direction fails for some lattices satisfying the stated hypothesis.

    Authors: We agree that the existence direction benefits from a more explicit lattice-theoretic construction and a clearer verification that no additional divisibility hypotheses on T_F are required. In the current manuscript the argument proceeds by embedding E_7(-2) primitively into the K3^{[2]} lattice ilde{\Lambda} so that the anti-invariant summand recovers the orthogonal complement of NS(F) inside the K3 lattice; the period domain for the pair (X, ho) is then the orthogonal complement (inside the period domain of ilde{\Lambda}) to the invariant lattice generated by the embedding. Because the embedding is primitive, the resulting Hodge structure on the fourfold automatically satisfies the required signature and rank conditions, and the fixed-locus dimension is two-dimensional by the standard Lefschetz fixed-point formula for symplectic involutions. The transcendental lattice of F is identified with the quotient transcendental lattice of the terminalization without further divisibility restrictions. Nevertheless, we will add a dedicated paragraph (new Section 3.2) spelling out this construction and verifying that the period-domain slice is non-empty for every lattice satisfying the stated NS condition. This constitutes a clarification rather than a change of the mathematical content. revision: yes

Circularity Check

0 steps flagged

No circularity; lattice characterization is independent of the definition

full rationale

The paper defines generalized Nikulin surfaces explicitly via the fixed-locus construction on a K3^[2]-type fourfold and then proves an if-and-only-if statement with the primitive embedding of E7(-2) into NS(F). No quoted step reduces the claimed equivalence to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The transcendental-lattice isometry is likewise stated as a separate result derived from the Hodge structure on the quotient. Standard Hodge theory and lattice embeddings supply the independent content; the existence direction is a construction, not a tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

Only the abstract is available, so the ledger records the background assumptions implicit in the stated theorems. The results rest on standard properties of K3 surfaces, hyper-Kähler manifolds of K3^[2] type, symplectic involutions, and Hodge structures on their cohomology lattices.

axioms (3)
  • domain assumption Hyper-Kähler manifolds of K3^[2]-type carry a symplectic form preserved by involutions whose fixed loci contain K3 surfaces as components.
    Invoked in the definition of generalized Nikulin surfaces.
  • standard math The Néron-Severi lattice is the algebraic part of H^2 and lattice embeddings control the existence of algebraic cycles and periods.
    Used in the lattice-theoretic characterization.
  • domain assumption Terminalizations of quotients by symplectic involutions exist and preserve Hodge structures in the stated way.
    Required for the transcendental lattice isometry claim.
invented entities (1)
  • generalized Nikulin surface no independent evidence
    purpose: Name for the K3 surface arising as the 2-dimensional fixed component of a symplectic involution on a K3^[2]-type hyper-Kähler fourfold.
    New terminology introduced to study the fixed-locus components; no independent existence proof outside the paper's claims.

pith-pipeline@v0.9.1-grok · 5737 in / 1682 out tokens · 29643 ms · 2026-07-02T17:24:04.228073+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

38 extracted references · 2 canonical work pages · 2 internal anchors

  1. [1]

    A. Z. Anan'in and M. Verbitsky, Any component of moduli of polarized hyperk\"ahler manifolds is dense in its deformation space, J. Math. Pures Appl. (9) 101 (2014), no. 2, 188--197

    2014

  2. [2]

    Bayer and A

    A. Bayer and A. Perry, Kuznetsov's Fano threefold conjecture via K3 categories and enhanced group actions, J. Reine Angew. Math. 800 (2023), 107--153

    2023

  3. [3]

    Bayer and E

    A. Bayer and E. Macr\` , MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations, Invent. Math. 198 (2014), 505--590

    2014

  4. [4]

    Bakker and C

    B. Bakker and C. Lehn, A global Torelli theorem for singular symplectic varieties, J. Eur. Math. Soc. 23 (2021), 949--994

    2021

  5. [5]

    Beckmann and G

    T. Beckmann and G. Oberdieck, Equivariant categories of symplectic surfaces and fixed loci of Bridgeland moduli spaces, Algebr. Geom. 9 (2022), no. 4, 400--442

    2022

  6. [6]

    Automorphisms of Nikulin-type orbifolds

    S. Brandhorst, G. M\'enet, and S. Muller, Automorphisms of Nikulin-type orbifolds, 2024. arXiv:2411.04668. Revista Matemática Iberoamericana DOI 10.4171/RMI/1626

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/rmi/1626 2024

  7. [7]

    Camere, Symplectic involutions of holomorphic symplectic four-folds, Bull

    C. Camere, Symplectic involutions of holomorphic symplectic four-folds, Bull. Lond. Math. Soc. 44 (2012) 687--702

    2012

  8. [8]

    Camere, A

    C. Camere, A. Garbagnati, G. Kapustka and M. Kapustka, Projective models of Nikulin orbifolds, Algebra Number Theory 17 (2023), no. 1, 123--145

    2023

  9. [9]

    ucksichtigung der Anwendungsgebiete, Band LXIII, Springer, Berlin-G\

    M. M. E. Eichler, Quadratische Formen und orthogonale Gruppen , Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\"ucksichtigung der Anwendungsgebiete, Band LXIII, Springer, Berlin-G\"ottingen-Heidelberg, 1952

    1952

  10. [10]

    On equivariant triangulated categories

    A. Elagin, On equivariant triangulated categories, arXiv:1403.7027

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    Farkas and A

    G. Farkas and A. Verra, The universal abelian variety over A _5 , Ann. Sci. \'Ec. Norm. Sup\'er. 49 (2016), 521--543

    2016

  12. [12]

    Floccari, K3 surfaces associated to varieties of generalized Kummer type, Geometry & Topology, 30 (2026), 1129--1154

    S. Floccari, K3 surfaces associated to varieties of generalized Kummer type, Geometry & Topology, 30 (2026), 1129--1154

    2026

  13. [13]

    Fujiki, On the de R ham cohomology group of a compact K \"ahler symplectic manifold , in: Algebraic Geometry, S endai, 1985, Adv

    A. Fujiki, On the de R ham cohomology group of a compact K \"ahler symplectic manifold , in: Algebraic Geometry, S endai, 1985, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, 105--165

    1985

  14. [14]

    Galluzzi and B

    F. Galluzzi and B. van Geemen, Invariants of vanishing Brauer groups, Res. Math. Sci. 11 (2024) Paper 48

    2024

  15. [15]

    Garbagnati and A

    A. Garbagnati and A. Sarti, Projective models of K3 surfaces with an even set, Adv. Geometry 8 (2008), 413--440

    2008

  16. [16]

    van Geemen and A

    B. van Geemen and A. Sarti, Nikulin involutions on K3 surfaces, Math. Z. 255 (2007), 731--753

    2007

  17. [17]

    G\"ottsche, Hilbert schemes: local properties and Hilbert schemes of points, Amer

    L. G\"ottsche, Hilbert schemes: local properties and Hilbert schemes of points, Amer. J. Math. 132 (2010), 311--370

    2010

  18. [18]

    V. A. Gritsenko, K. Hulek and G. K. Sankaran, Moduli of K3 surfaces and irreducible symplectic manifolds, in Handbook of moduli. Vol. I , 459--526, Adv. Lect. Math. (ALM), 24, Int. Press, Somerville, MA,

  19. [19]

    Huybrechts, Lectures on K3 surfaces, Cambridge Studies in Advanced Mathematics, vol

    D. Huybrechts, Lectures on K3 surfaces, Cambridge Studies in Advanced Mathematics, vol. 158, Cambridge Univ. Press, Cambridge, 2016

    2016

  20. [20]

    Huybrechts, E

    D. Huybrechts, E. Macr\` , and P. Stellari, Derived equivalences of K3 surfaces and orientation, Duke Math. J. 149 (2009), no. 3, 461--507

    2009

  21. [21]

    Iliev, G

    A. Iliev, G. Kapustka, M. Kapustka, and K. Ranestad, Hyper-K\"ahler fourfolds and Kummer surfaces, Proc. Lond. Math. Soc. (3) 115 (2017), no. 6, 1276--1316

    2017

  22. [22]

    Kamenova, G

    L. Kamenova, G. Mongardi, and A. Oblomkov, Symplectic involutions of K3^ [n] -type and Kummer n type manifolds , Bull. London Math. Soc. 54 (2022), 894–-909

    2022

  23. [23]

    Kuznetsov and A

    A. Kuznetsov and A. Perry, Derived categories of cyclic covers and their branch divisors, Selecta Math. (N.S.) 23 (2017), no. 1, 389--423

    2017

  24. [24]

    Markman, A survey of Torelli and monodromy results for holomorphic-symplectic varieties, in Complex and Differential Geometry , 257--322, Springer Proc

    E. Markman, A survey of Torelli and monodromy results for holomorphic-symplectic varieties, in Complex and Differential Geometry , 257--322, Springer Proc. Math., 8, Springer, Heidelberg, 2011

    2011

  25. [25]

    Markman and S

    E. Markman and S. Mehrotra, Hilbert schemes of K3 surfaces are dense in moduli, Math. Nachr. 290 (2017), no. 5-6, 876--884

    2017

  26. [26]

    Menet, Beauville--Bogomolov lattice for a singular symplectic variety of dimension 4, J

    G. Menet, Beauville--Bogomolov lattice for a singular symplectic variety of dimension 4, J. Pure Appl. Algebra 219 (2015), no. 5, 1455--1495

    2015

  27. [27]

    Menet, Global Torelli theorem for irreducible symplectic orbifolds, J

    G. Menet, Global Torelli theorem for irreducible symplectic orbifolds, J. Math. Pures Appl. (9) 137 (2020), 213--237

    2020

  28. [28]

    Menet and U

    G. Menet and U. Rie , On the K\"ahler cone of irreducible symplectic orbifolds, Math. Z. 310 (2025), no. 4, Paper No. 79

    2025

  29. [29]

    D. R. Morrison, On K3 surfaces with large Picard number, Invent. Math. 75 (1984), 105--121

    1984

  30. [30]

    Mongardi, Symplectic involutions on deformations of K3^ [2] , Cent

    G. Mongardi, Symplectic involutions on deformations of K3^ [2] , Cent. Euro. J. Math, 10 (2012), 1472--1485

    2012

  31. [31]

    V. V. Nikulin, On Kummer surfaces, Math. USSR-Izv. 9 (1975), 261--275

    1975

  32. [32]

    V. V. Nikulin, Integral symmetric bilinear forms and some of their applications, Math. USSR-Izv. 14 (1980), 103--167

    1980

  33. [33]

    Available: https://www.oscar-system.org

    The OSCAR Development Team, OSCAR -- Open Source Computer Algebra Research System, Version 1.x, 2024. Available: https://www.oscar-system.org

    2024

  34. [34]

    Onorati, Connected components of moduli spaces of irreducible holomorphic symplectic manifolds of Kummer type, Rend

    C. Onorati, Connected components of moduli spaces of irreducible holomorphic symplectic manifolds of Kummer type, Rend. Mat. Appl. 43 (2022), 251--266

    2022

  35. [35]

    I. I. Pjateckiı Sapiro and I. R. Safarevic, Torelli’s theorem for algebraic surfaces of type K3, Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971), 530–572

    1971

  36. [36]

    Saint-Donat, Projective models of K3 surfaces, Amer

    B. Saint-Donat, Projective models of K3 surfaces, Amer. J. Math. 96 (1974), 602--639

    1974

  37. [37]

    Verra, Geometry of genus 8 Nikulin surfaces and rationality of their moduli, in C

    A. Verra, Geometry of genus 8 Nikulin surfaces and rationality of their moduli, in C. Faber, G. Farkas, G. van der Geer (eds.), K3 Surfaces and Their Moduli , Progress in Mathematics, vol. 315, Birkh\"auser, Cham, (2016), 345--364

    2016

  38. [38]

    Voisin, A note on the topology of fibrations, Appendix to J

    C. Voisin, A note on the topology of fibrations, Appendix to J. Shen and Q. Yin, Topology of Lagrangian fibrations and Hodge theory of hyper-K\"ahler manifolds, Duke Math. J. 171 (2022), 209--241

    2022