The reviewed record of science sign in
Pith

arxiv: 2606.07849 · v1 · pith:F76BYYYF · submitted 2026-06-05 · math.AG · math.NT

On the Vinberg Family of K3 Surfaces

Adrian Clingher , Andreas Malmendier , Brandon Williams This is my paper

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel 2026-06-27 20:37 UTCgrok-4.3pith:F76BYYYFrecord.jsonopen to challenge →

classification math.AG math.NT
keywords lattice-polarized K3 surfacesorthogonal modular formsWeierstrass modelsJacobian elliptic fibrationstranscendental latticesroot lattices A_n D_ntype IV domainsO^+(T) groups
0
0 comments X

The pith

Coefficients of Weierstrass models generate the graded rings of orthogonal modular forms for lattice-polarized K3 surfaces with transcendental lattices T = H ⊕ H ⊕ L(-1).

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

The paper studies orthogonal modular forms tied to moduli spaces of K3 surfaces whose generic transcendental lattices take the form T = H ⊕ H ⊕ L(-1), with L a root lattice of type A_n or D_n. In the range of Picard numbers 10 through 17, explicit Jacobian elliptic fibrations are used to construct modular forms on the associated type IV domains for the groups O^+(T). The central result is that the coefficients appearing in suitable Weierstrass models of these fibrations serve as generators for the graded rings of the orthogonal modular forms. A reader would care because the construction supplies an explicit geometric source for algebraic generators that are otherwise defined abstractly through automorphic forms on orthogonal groups.

Core claim

For lattice-polarized K3 surfaces with transcendental lattice T = H ⊕ H ⊕ L(-1) where L is of type A_n or D_n, and for Picard numbers 10 through 17, the coefficients of suitable Weierstrass models arising from Jacobian elliptic fibrations on the moduli spaces naturally realize generators for the corresponding graded rings of orthogonal modular forms on the type IV domains associated with O^+(T).

What carries the argument

Jacobian elliptic fibrations on the moduli spaces of lattice-polarized K3 surfaces, whose Weierstrass coefficients extract generators for the graded rings of O^+(T) orthogonal modular forms.

If this is right

  • The graded rings of orthogonal modular forms for these lattices admit explicit algebraic presentations coming from the Weierstrass equations.
  • Modular forms on the type IV domains can be constructed geometrically from the elliptic fibration data in the stated Picard-number range.
  • The same method applies uniformly to both A_n-type and D_n-type root lattices inside the given range.
  • The construction yields generators that can be used to study the ring structure and relations among the modular forms.

Where Pith is reading between the lines

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

  • The Vinberg-family name in the title suggests this construction may organize a larger class of K3 surfaces whose moduli are controlled by the same orthogonal groups.
  • If the fibrations can be found in adjacent Picard numbers, the same coefficient-matching technique could extend the generators beyond 10-17.
  • The geometric generators may allow direct computation of arithmetic invariants of the moduli spaces that were previously accessible only through automorphic methods.

Load-bearing premise

Explicit Jacobian elliptic fibrations exist on these moduli spaces so that Weierstrass coefficients can be extracted and shown to generate the full rings of orthogonal modular forms.

What would settle it

A concrete computation, for one of the lattices in Picard numbers 10-17, showing that the Weierstrass coefficients either fail to satisfy the functional equations of the modular forms or generate a proper subring of the expected graded ring.

Figures

Figures reproduced from arXiv: 2606.07849 by Adrian Clingher, Andreas Malmendier, Brandon Williams.

Figure 1
Figure 1. Figure 1: Configurations of rational curves and associated fibrations on X. The present paper explores the connection between the algebraic descriptions for S￾polarized K3 surfaces and the orthogonal modular forms associated with the domain D+(T) and group O+(T) for some particularly interesting families of K3 surfaces in Picard number ρS = 10, . . . , 16. As proved by Nikulin [23–27], Picard number 14 is the highes… view at source ↗
Figure 2
Figure 2. Figure 2: Irreducible root systems and free algebras of modular forms. Corollary 3.6. Let T = H⊕2 ⊕ An(−1), 1 ≤ n ≤ 7. Then M∗(O˜ (T)) = C[F6, F4, χk], k = 12, 10, 9, ..., 11 − n with generators χk = Lift(∆ϕ (n) k−12) and the Eisenstein-type generators defined as follows: if n = 7, F4 ∶= 240 ⋅ Lift((1 + 2q + 2q 4 + ...)(ϑ0 + ϑ4ℓ) + (2q 1/4 + 2q 9/4 + ...)(ϑ2ℓ + ϑ4ℓ)); F6 ∶= −504 ⋅ Lift((1 − 70q − 120q 2 − ...)(ϑ0 + … view at source ↗
read the original abstract

We study orthogonal modular forms associated with moduli spaces of lattice-polarized K3 surfaces whose generic transcendental lattices are of the form $T = H \oplus H \oplus L(-1)$ where $L$ is a root lattice of type $A_n$ or $D_n$. In Picard numbers $10$ through $17$, we use explicit Jacobian elliptic fibrations to construct modular forms on type IV domains associated with orthogonal groups $\mathrm{O}^+(T)$. We show that the coefficients of suitable Weierstrass models naturally realize generators for the corresponding graded rings of orthogonal modular forms.

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 / 2 minor

Summary. The paper studies orthogonal modular forms on type IV domains for O^+(T) where T = H ⊕ H ⊕ L(-1) and L is an A_n or D_n root lattice, for Picard numbers 10–17. Using explicit Jacobian elliptic fibrations on the corresponding moduli spaces of lattice-polarized K3 surfaces, the authors extract coefficients from suitable Weierstrass models and show that these coefficients generate the graded rings of the associated orthogonal modular forms.

Significance. If the case-by-case constructions hold, the work supplies explicit, verifiable generators for these graded rings, a concrete advance in the arithmetic geometry of K3 moduli spaces. The explicit fibrations and coefficient-to-generator matching constitute a strength, providing falsifiable examples that link geometric models directly to the ring structure of O^+(T) modular forms.

minor comments (2)
  1. [§3] §3: the notation for the Weierstrass coefficients (a4, a6, etc.) is introduced without an explicit reference to the standard form of the elliptic fibration equation used throughout the case-by-case analysis.
  2. [Table 1] Table 1: the column headers for the graded ring generators could include the weight and the corresponding lattice L to improve readability across the A_n and D_n cases.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the significance of the explicit constructions linking Weierstrass coefficients to generators of graded rings of orthogonal modular forms. The recommendation for minor revision is noted. However, the report lists no specific major comments under the MAJOR COMMENTS section, so we have no individual points to address point-by-point.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via explicit constructions

full rationale

The paper's central claim rests on case-by-case construction of explicit Jacobian elliptic fibrations for the indicated lattice-polarized K3 moduli spaces (T = H ⊕ H ⊕ L(-1) with L = A_n or D_n), followed by direct extraction of Weierstrass coefficients and verification that they generate the graded rings of O^+(T) modular forms. These steps are grounded in standard lattice theory and explicit algebraic geometry rather than any self-referential fitting, renaming, or load-bearing self-citation. No equation or step reduces by construction to its own inputs, and the argument supplies independent content through the fibrations and coefficient matching. This is the most common honest finding for a constructive manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard domain assumptions in lattice-polarized K3 theory and the existence of the stated fibrations; no free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption Moduli spaces of lattice-polarized K3 surfaces with transcendental lattice T = H ⊕ H ⊕ L(-1) for root lattice L of type A_n or D_n admit explicit Jacobian elliptic fibrations in Picard numbers 10-17.
    Invoked to construct the modular forms from Weierstrass coefficients.

pith-pipeline@v0.9.1-grok · 5619 in / 1166 out tokens · 15450 ms · 2026-06-27T20:37:23.323747+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

37 extracted references · 1 canonical work pages

  1. [1]

    Dmitrii Adler and Valery Gritsenko,TheD 8-tower of weak Jacobi forms and applications, J. Geom. Phys.150(2020), 103616, 12

    2020

  2. [2]

    Valery Alexeev and Philip Engel,Compact moduli of K3 surfaces, Ann. of Math. (2)198(2023), no. 2, 727–789

    2023

  3. [3]

    Barth, Klaus Hulek, Chris A

    Wolf P. Barth, Klaus Hulek, Chris A. M. Peters, and Antonius Van de Ven,Compact complex surfaces, Second, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 4, Springer-Verlag, Berlin, 2004

    2004

  4. [4]

    I, Differential Geom

    Marco Bertola,Frobenius manifold structure on orbit space of Jacobi groups. I, Differential Geom. Appl. 13(2000), no. 1, 19–41

    2000

  5. [5]

    Borcherds,Automorphic forms with singularities on Grassmannians, Invent

    Richard E. Borcherds,Automorphic forms with singularities on Grassmannians, Invent. Math.132 (1998), no. 3, 491–562

    1998

  6. [6]

    Doran,Modular invariants for lattice polarizedK3surfaces, Michigan Math

    Adrian Clingher and Charles F. Doran,Modular invariants for lattice polarizedK3surfaces, Michigan Math. J.55(2007), no. 2, 355–393

    2007

  7. [7]

    Math.215(2007), no

    ,OnK3surfaces with large complex structure, Adv. Math.215(2007), no. 2, 504–539

    2007

  8. [8]

    3-4, 847–866

    Adrian Clingher and Andreas Malmendier,On N´ eron-Severi lattices of Jacobian elliptic K3 surfaces, Manuscripta Math.173(2024), no. 3-4, 847–866

    2024

  9. [9]

    3, Paper No

    Adrian Clingher, Andreas Malmendier, and Flora Poon,On two-elementary K3 surfaces with finite automorphism group, Manuscripta Math.176(2025), no. 3, Paper No. 32, 37

    2025

  10. [10]

    J.260(2025), 687–727

    Adrian Clingher, Andreas Malmendier, and Brandon Williams,K3 surfaces and orthogonal modular forms, Nagoya Math. J.260(2025), 687–727

    2025

  11. [11]

    110(2003), no

    Tobias Dern and Aloys Krieg,Graded rings of Hermitian modular forms of degree 2, Manuscripta Math. 110(2003), no. 2, 251–272

    2003

  12. [12]

    Dolgachev,Mirror symmetry for lattice polarizedK3surfaces, J

    Igor V. Dolgachev,Mirror symmetry for lattice polarizedK3surfaces, J. Math. Sci.81(1996), no. 3, 2599–2630. Algebraic geometry, 4

    1996

  13. [13]

    55, Birkh¨ auser Boston, Inc., Boston, MA, 1985

    Martin Eichler and Don Zagier,The theory of Jacobi forms, Progress in Mathematics, vol. 55, Birkh¨ auser Boston, Inc., Boston, MA, 1985

    1985

  14. [14]

    Dino Festi and Davide Cesare Veniani,Counting ellptic fibrations on K3 surfaces, 2020, arXiv:2102.09411 (2020)

    work page arXiv 2020

  15. [15]

    Morrison,The birational geometry of degenerations: an overview, The birational geometry of degenerations (Cambridge, Mass., 1981), 1983, pp

    Robert Friedman and David R. Morrison,The birational geometry of degenerations: an overview, The birational geometry of degenerations (Cambridge, Mass., 1981), 1983, pp. 1–32

    1981

  16. [16]

    Gritsenko and Viacheslav V

    Valeri A. Gritsenko and Viacheslav V. Nikulin,Automorphic forms and Lorentzian Kac-Moody algebras. II, Internat. J. Math.9(1998), no. 2, 201–275

    1998

  17. [17]

    Kenji Hashimoto and Kazushi Ueda,The ring of modular forms for the even unimodular lattice of signature(2,10), Proc. Amer. Math. Soc.150(2022), no. 2, 547–558

    2022

  18. [18]

    Jun-ichi Igusa,On Siegel modular forms of genus two, Amer. J. Math.84(1962), 175–200

    1962

  19. [19]

    Vik. S. Kulikov,Degenerations ofK3surfaces and Enriques surfaces, Izv. Akad. Nauk SSSR Ser. Mat. 41(1977), no. 5, 1008–1042, 1199

    1977

  20. [20]

    Nauk32(1977), no

    ,Degenerations ofK3surfaces and Enriques surfaces, Uspehi Mat. Nauk32(1977), no. 3(195), 167–168

    1977

  21. [21]

    High Energy Phys.9(2022), Paper No

    Seung-Joo Lee and Timo Weigand,Elliptic K3 surfaces at infinite complex structure and their refined Kulikov models, J. High Energy Phys.9(2022), Paper No. 143, 77

    2022

  22. [22]

    [Doctorate in Mathematical Research], ETS Editrice, Pisa, 1989

    Rick Miranda,The basic theory of elliptic surfaces, Dottorato di Ricerca in Matematica. [Doctorate in Mathematical Research], ETS Editrice, Pisa, 1989

    1989

  23. [23]

    V. V. Nikulin,Finite groups of automorphisms of K¨ ahlerianK3surfaces, Trudy Moskov. Mat. Obshch. 38(1979), 75–137

    1979

  24. [24]

    Algebro-geometric applications, Current problems in mathematics, Vol

    ,Quotient-groups of groups of automorphisms of hyperbolic forms by subgroups generated by 2-reflections. Algebro-geometric applications, Current problems in mathematics, Vol. 18, 1981, pp. 3– 114. 38

    1981

  25. [25]

    Algebrogeometric applications, Journal of Soviet Mathematics22(1983), no

    ,Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups gen- erated by 2-reflections. Algebrogeometric applications, Journal of Soviet Mathematics22(1983), no. 4, 1401–1475

    1983

  26. [26]

    ,K3surfaces with a finite group of automorphisms and a Picard group of rank three, 1984, pp. 119–142. Algebraic geometry and its applications

    1984

  27. [27]

    ,Elliptic fibrations onK3surfaces, Proc. Edinb. Math. Soc. (2)57(2014), no. 1, 253–267

    2014

  28. [28]

    Keiji Oguiso,K3 surfaces via almost-primes, Math. Res. Lett.9(2002), no. 1, 47–63

    2002

  29. [29]

    Alg´ ebrique 6(2022), Art

    Xavier Roulleau,An atlas of K3 surfaces with finite automorphism group, ´Epijournal G´ eom. Alg´ ebrique 6(2022), Art. 19, 95

    2022

  30. [30]

    J.47(2000), no

    Ichiro Shimada,On ellipticK3surfaces, Michigan Math. J.47(2000), no. 3, 423–446

    2000

  31. [31]

    E. B. Vinberg,Some free algebras of automorphic forms on symmetric domains of type iv, Transforma- tion Groups15(2010), no. 3, 701–741

    2010

  32. [32]

    4, 270–289

    ,On some free algebras of automorphic forms, Functional Analysis and Its Applications52 (2018), no. 4, 270–289

    2018

  33. [33]

    `E. B. Vinberg and O. V. Shvartsman,A criterion for smoothness at infinity for an arithmetic quotient of the future tube, Funktsional. Anal. i Prilozhen.51(2017), no. 1, 40–59

    2017

  34. [34]

    Math.157 (2021), no

    Haowu Wang,The classification of free algebras of orthogonal modular forms, Compos. Math.157 (2021), no. 9, 2026–2045

    2021

  35. [35]

    Number Theory Phys.15(2021), no

    ,Weyl invariantE 8 Jacobi forms, Commun. Number Theory Phys.15(2021), no. 3, 517–573

    2021

  36. [36]

    Haowu Wang and Brandon Williams,On some free algebras of orthogonal modular forms, Adv. Math. 373(2020), 107332, 22

    2020

  37. [37]

    Geom.11(2024), no

    ,Modular forms with poles on hyperplane arrangements, Algebr. Geom.11(2024), no. 4, 506– 568. Department of Mathematics and Statistics, University of Missouri - St. Louis, St. Louis, MO 63121 Email address:clinghera@umsl.edu Department of Mathematics & Statistics, Utah State University, Logan, UT 84322 Email address:andreas.malmendier@usu.edu Institute fo...

    2024