pith. sign in

arxiv: 2411.04668 · v2 · submitted 2024-11-07 · 🧮 math.AG

Automorphisms of Nikulin-type orbifolds

Simon Brandhorst , Gr\'egoire Menet , Stevell Muller This is my paper

Pith reviewed 2026-05-23 18:03 UTC · model grok-4.3

classification 🧮 math.AG
keywords Nikulin-type orbifoldsmonodromy groupsymplectic automorphismsirreducible holomorphic symplectic varietiessecond integral cohomologyfinite order automorphismsdeformation classification
0
0 comments X

The pith

Nikulin-type orbifolds have a maximal monodromy group, and their finite-order symplectic automorphisms are classified up to deformation by the induced action on second integral cohomology.

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

Nikulin-type orbifolds are singular four-dimensional irreducible holomorphic symplectic varieties. The paper proves that the monodromy group associated to these varieties is maximal. It further classifies all finite-order symplectic automorphisms up to deformation equivalence solely by the linear action they induce on the second integral cohomology lattice. A reader would care because the result reduces questions about symmetries of these objects to linear-algebraic data on a single lattice, tightening the link between geometry and arithmetic in this class of varieties.

Core claim

We show that the monodromy group of Nikulin-type orbifolds is maximal and classify finite order symplectic automorphisms up to deformation in terms of their action on the second integral cohomology group.

What carries the argument

The monodromy group on the second integral cohomology lattice, which determines both maximality and the deformation classification of finite-order symplectic automorphisms.

If this is right

  • Every deformation class of Nikulin-type orbifolds realizes the full possible monodromy image allowed by the lattice.
  • Two finite-order symplectic automorphisms are deformation-equivalent precisely when they induce the same isometry of the second integral cohomology.
  • The classification reduces the study of these automorphisms to a finite check inside the orthogonal group of the lattice.
  • The period map for the moduli space of such orbifolds is surjective onto the corresponding period domain.

Where Pith is reading between the lines

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

  • The maximality result may imply that the birational geometry of these orbifolds is controlled entirely by the monodromy representation.
  • Similar lattice-theoretic classification techniques could apply to other singular irreducible holomorphic symplectic varieties beyond the Nikulin type.
  • The classification supplies an explicit list of possible automorphism orders that can be checked against known examples in low-dimensional moduli spaces.

Load-bearing premise

Nikulin-type orbifolds admit a well-defined monodromy group and their automorphisms are completely determined up to deformation by the linear action they induce on the second integral cohomology.

What would settle it

An explicit Nikulin-type orbifold whose monodromy representation on the second cohomology lattice fails to be maximal, or a finite-order symplectic automorphism whose deformation class cannot be recovered from its cohomology action.

read the original abstract

Nikulin-type orbifolds are certain singular 4-dimensional irreducible holomorphic symplectic varieties. We show that the monodromy group of Nikulin-type orbifolds is maximal and classify finite order symplectic automorphisms up to deformation in terms of their action on the second integral cohomology group.

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

0 major / 1 minor

Summary. The paper defines Nikulin-type orbifolds as certain singular 4-dimensional irreducible holomorphic symplectic varieties. It claims to prove that the monodromy group of these orbifolds is maximal and to classify finite-order symplectic automorphisms up to deformation by their induced action on the second integral cohomology group.

Significance. If the claims hold, the results would extend known monodromy and automorphism classifications from smooth irreducible holomorphic symplectic manifolds to the singular Nikulin-type orbifold setting, potentially providing a cohomology-based classification tool for deformation classes of automorphisms.

minor comments (1)
  1. The provided abstract states the main results but supplies no definitions, lattice-theoretic constructions, or proof outlines for the maximality of the monodromy group or the classification.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary, which accurately reflects the main claims of the manuscript. The recommendation of 'uncertain' is noted; the proofs establishing maximality of the monodromy group and the cohomology-based classification of finite-order symplectic automorphisms are contained in the full text.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract states two results (maximal monodromy group; classification of finite-order symplectic automorphisms via H^2 action up to deformation) without exhibiting any derivation chain, equations, or self-citations. No full-text equations, fitted parameters, or load-bearing citations are available for inspection. Standard lattice-theoretic arguments in this area of algebraic geometry are typically grounded in external results (e.g., known monodromy representations or deformation theory) rather than self-definition or renaming. Absent any quoted reduction of a claimed prediction to its own inputs, the derivation is treated as self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract; no specific free parameters, ad hoc axioms, or invented entities can be identified. Standard background assumptions from algebraic geometry on cohomology of IHS varieties are presumed but not detailed.

axioms (1)
  • standard math Standard properties of the second integral cohomology lattice for irreducible holomorphic symplectic varieties
    Invoked implicitly by the classification in terms of action on H^2(Z).

pith-pipeline@v0.9.0 · 5555 in / 1023 out tokens · 48131 ms · 2026-05-23T18:03:27.225954+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

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

  1. [1]

    Bakker and C

    B. Bakker and C. Lehn. The global moduli theory of symplectic varieties , J. Reine Angew. Math. 790:223–265, 2022

    work page 2022

  2. [2]

    Beauville, Variétés kähleriennes dont la première classe de Chern est n ulle, J

    A. Beauville, Variétés kähleriennes dont la première classe de Chern est n ulle, J. Differ. Geom. 18:755–782, 1983

    work page 1983

  3. [3]

    Terminalizations of quotients of compact hyperk\"ahler manifolds by induced symplectic automorphisms

    V. Bertini, A. Grossi, M. Mauri and E. Mazzon. Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphism s, 2024. arXiv:2401.13632

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  4. [4]

    Brandhorst and A

    S. Brandhorst and A. Cattaneo. Prime order isometries of unimodular lattices and auto- morphisms ofIHS manifolds. Int. Math. Res. Not. (IMRN) 2023(18):15584–15638 2022

    work page 2023

  5. [5]

    Brandhorst and T

    S. Brandhorst and T. Hofmann. Finite subgroups of automorphisms of K3 surfaces ,Forum Math. Sigma 11:e54, 2023

    work page 2023

  6. [6]

    Brandhorst, G

    S. Brandhorst, G. Menet and S. Muller. Dataset: Automorphisms of Nikulin-type orbifolds (1.0), 2024. https://doi.org/10.5281/zenodo.14022430

    work page doi:10.5281/zenodo.14022430 2024

  7. [7]

    Brandhorst and D

    S. Brandhorst and D. C. Veniani. Hensel lifting algorithms for quadratic forms , Math. Comp. 93:1963–1991, 2024

    work page 1963

  8. [8]

    Decker, C

    W. Decker, C. Eder, C. Fieker, M. Horn and M. Joswig. The Computer Algebra Sys- tem OSCAR: Algorithms and Examples , volume 32 of Algorithms and Computation in Mathematics. Springer Cham, first edition, 2024

    work page 2024

  9. [9]

    Grossi, C

    A. Grossi, C. Onorati and D. C. Veniani. Symplectic birational transformations of finite order on O’Grady’s sixfolds , Kyoto J. Math. 3:615–639, 2023

    work page 2023

  10. [10]

    Höhn and G

    G. Höhn and G. Mason. Finite groups of symplectic automorphisms of Hyperkähler m an- ifolds of type K3[2], Bull. Inst. Math., Acad. Sin. (N.S.) 14(2):189-264, 2019

    work page 2019

  11. [11]

    M. Kneser. Erzeugung ganzzahliger orthogonaler Gruppen durch Spiege lungen.Math. Ann. 255:453–462, 1981

    work page 1981

  12. [12]

    Markman A survey of Torelli and monodromy results for holomorphic-s ymplectic va- rieties, Complex and differential geometry, 257-322, Springer Proc

    E. Markman A survey of Torelli and monodromy results for holomorphic-s ymplectic va- rieties, Complex and differential geometry, 257-322, Springer Proc . Math., 8, Springer, Heidelberg, 2011

    work page 2011

  13. [13]

    Menet, Beauville–Bogomolov lattice for a singular symplectic var iety of dimension 4 , J

    G. Menet, Beauville–Bogomolov lattice for a singular symplectic var iety of dimension 4 , J. Pure Appl. Algebra 219(5):1455–1495, 2014

    work page 2014

  14. [14]

    Menet Global Torelli theorem for irreducible symplectic orbifol ds,J

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

    work page 2020

  15. [15]

    Thirty-three deformation classes of compact hyperk\"ahler orbifolds

    G. Menet Thirty-three deformation classes of compact hyperkähler o rbifolds, 2022. arXiv:2211.14524

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  16. [16]

    Menet, U

    G. Menet and U. Riess, On the Kähler cone of irreducible symplectic orbifolds , 2020. arXiv:2009.04873

    work page arXiv 2020

  17. [17]

    Menet, U

    G. Menet and U. Riess, Wall divisors on irreducible symplectic orbifolds of Nikul in-type, 2022.arXiv:2209.03667

    work page arXiv 2022

  18. [18]

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

    G. Mongardi Symplectic involutions on deformations of K3[2], Cent. Eur. J. Math. 10(4):1472–1485, 2012

    work page 2012

  19. [19]

    V. V. Nikulin. Integer symmetric bilinear forms and some of their geometri c applications, Izv. Akad. Nauk SSSR Ser. Mat. 43(1):111–177, 238, 1980

    work page 1980

  20. [20]

    T. O. Meara. Symplectic groups, volume 16 of Math. Surv. AMS, Providence, RI, 1978

    work page 1978

  21. [21]

    OSCAR – Open Source Computer Algebra Research system , version 1.2.0, 2024

    The OSCAR Team. OSCAR – Open Source Computer Algebra Research system , version 1.2.0, 2024. https://www.oscar-system.org

    work page 2024

  22. [22]

    B. Piroddi. Symplectic actions of groups of order 4 on K3 [2]-type manifolds, and standard involutions on Nikulin-type orbifolds , 2024. arXiv:2408.07013 Grégoire Menet Institut de Mathématiques de Bourgogne 9 avenue Alain Savary, 21078 Dijon Cedex gregoire.menet@ac-amiens.fr 13 Simon Brandhorst Fakultät für Mathematik und Informatik, Universität des Saar...

    work page arXiv 2024