Pith. sign in

REVIEW 3 major objections 6 minor 31 references

On the geometry of K3 surfaces with finite automorphism group and no elliptic fibrations

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that every projective K3 surface with finite automorphism group and no elliptic fibrations is either a smooth quartic in P3 or a double cover of the plane branched over a smooth sextic with prescribed tangencies.

desk verdict Solid geometric classification of the eight finite-automorphism K3 types without elliptic fibrations; the unirationality claims for S1 and S5 lean on a companion irreducibility theorem that is not proved here. read the letter →

arxiv 1909.01909 v5 pith:JRA4RQUX submitted 2019-09-04 math.AG

Xavier Roulleau This is my paper · ORCID
classification math.AG MSC 14J28
keywords K3surfacesfiniteautomorphismgroupsNéron–Severilatticesellipticfibrationsdoublecoversoftheplanesexticcurvesunirationalmodulispaces(-2)-curves
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Roulleau sets out to turn the lattice-theoretic classification of K3 surfaces with finite automorphism group and no elliptic fibrations into concrete projective geometry. He shows that every such surface, one of eight Néron–Severi types, appears either as a smooth quartic surface in $\mathbb{P}^3$ with one of two special hyperplane-section configurations, or as a double cover of the plane branched over a smooth sextic curve that is tangent in prescribed ways to lines, conics, or cuspidal cubics. The tangency description is shown to characterize the surface exactly for four of the eight types, while the other four admit a unique 'twin' with the same equations but a different Néron–Severi lattice. As a by-product, five of the eight moduli spaces are shown to be unirational by explicitly constructing the corresponding families of sextics and quartics.

What carries the argument

The load-bearing mechanism is the bounded fundamental domain $F_X$ of the Weyl group acting on the hyperbolic space of the Néron–Severi lattice. When $F_X$ is compact, the paper's algorithm enumerates all big nef classes of bounded square by projecting onto the negative-definite orthogonal complement of an ample class; the unique class $D$ with $D^2=2$ or $D^2=4$ then produces, through a classical theorem on linear series of K3 surfaces cited as [28], the double cover or the quartic embedding. The finitely many $(-2)$-curves are recovered by a standard lattice sieve, and their intersection pairing forces the tangency conditions on the branch sextic or on the special hyperplane sections. In the converse direction, the same lattice data show that a sextic with the required tangencies yields pull-back curves whose intersection matrix determines the Néron–Severi lattice uniquely, with a single exceptional matrix in four of the eight cases.

What would settle it

Compute the dimension of the space of smooth plane sextics with three 6-tangent conics; the paper claims it is exactly 17, so a larger dimension would show the constructed families do not cover the full space. Alternatively, exhibit a smooth sextic with three 6-tangent conics whose double cover has Picard number 3 but whose pull-back curves have intersection numbers different from the unique rank-3 case in Proposition 19, which would contradict the claimed classification.

Watch

Extended reading notes

Core claim

The central theorem states that a K3 surface with Picard number greater than 2, finite automorphism group, and no elliptic fibrations has trivial automorphism group exactly when it is a smooth quartic in $\mathbb{P}^3$ with either three quadric sections splitting into six rational quartic curves (type S2) or two hyperplane sections splitting into four conics (type S3). It has automorphism group $\mathbb{Z}/2\mathbb{Z}$ exactly when it is the double cover of $\mathbb{P}^2$ branched over a smooth sextic $C_6$ with one of six tangency configurations: three 6-tangent conics (S1), a tritangent line plus a 6-tangent conic (S4), two tritangent lines (S5), a 6-tangent conic plus two cuspidal cubics (S6), three tritangent lines (L(24)), or one tritangent line plus three 6-tangent conics (L(27)). The converse study, stated as Theorem 4, shows that this geometric description is sufficient to determine the Néron–Severi lattice for types S1, S2, S5, S6, while types S3, S4, L(24), L(27) each admit exactly one twin surface with the same projective description but a different lattice. Theorem 5 records that the moduli spaces of types S1, S2, S3, S5 and S6 are unirational.

Load-bearing premise

The unirationality proofs for types S1 and S5 rely on the author's earlier result that the moduli spaces of K3 surfaces with finite automorphism group and at least three independent divisor classes are irreducible; without that irreducibility, the explicitly constructed 17-parameter families would cover only part of the space, and the unirationality statement would not follow for those two types.

Editorial extensions

If this is right

  • Every K3 surface in the eight classified types admits an explicit projective model: a quartic in $\mathbb{P}^3$ or a double cover of the plane branched over a sextic with prescribed tangencies.
  • For types S1, S2, S5 and S6, the tangency description alone fixes the Néron–Severi lattice, so a generic sextic or quartic with those properties yields exactly the intended surface.
  • The moduli spaces of types S1, S2, S3, S5 and S6 are unirational, since their points are built from parameter families of plane sextics or quartics.
  • The twin surfaces of types S3, S4, L(24) and L(27) all carry elliptic fibrations, so the absence of elliptic fibrations is not visible from the tangency configuration alone but is encoded in the richer Néron–Severi lattice.
  • The computed generating series $\Theta_X$ of primitive big nef classes begins with the listed coefficients for each type, giving an enumerative fingerprint of the surface.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the twin surfaces share the tangency description but have different Néron–Severi lattices, the paper's discriminant computations suggest a practical test: reduce a candidate double cover modulo two primes, compare the square classes of the resulting discriminants, and the type (or its twin) will be determined.
  • The equation forms $f_6=q_1q_2q_3-f_3^2$ for type S1 and $f_6=l_1l_2q_4-f_3^2$ for type S5 indicate that the corresponding moduli spaces of sextics are rational images of spaces of quadrics, cubics, and quartics, which may lead to birational parametrizations of those moduli spaces rather than merely unirational ones.
  • The same bounded-fundamental-domain enumeration could be applied to the remaining K3 surfaces with finite automorphism group that do admit elliptic fibrations, producing explicit projective models for the lattices S112, S111, S113, S114 and L(25) as well.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper studies the eight Néron–Severi lattices of K3 surfaces with finite automorphism group and no elliptic fibrations (ranks 3 and 4, types S1–S6, L(24), L(27)). For each type the author computes a distinguished big and nef divisor and uses Saint–Donat's theorems to produce either a quartic model in P3 or a double cover of P2 branched over a sextic with prescribed tangencies; Theorem 1 states this geometric description and the resulting automorphism group. Section 4 carries out the same analysis for the two rank-four lattices. Section 5 studies the converse: whether the geometric description forces the Néron–Severi lattice. Proposition 3 and Theorem 4 identify 'twins' for S3, S4, L(24), L(27) and characterize the other four types. The last section also provides explicit polynomial examples whose Picard numbers are checked by reduction modulo primes, and Theorem 5 asserts unirationality of the moduli spaces of S1, S2, S3, S5, S6.

Significance. The lattice computations are explicit and verifiable, and the geometric conclusions, when the classification results are accepted, give a concrete description of all K3 surfaces with finite automorphism group, no elliptic fibrations, and Picard number greater than 2. The paper honestly separates the four cases where the geometric description has a twin. The explicit examples with Weil-polynomial and discriminant checks are a strength. The unirationality claims are the least self-contained part: for S1 and S5 they import an irreducibility theorem from the author's companion paper [26], and for S6 the proof as written contains an inconsistency (cubic versus quartic) that should be corrected. These issues do not appear to affect the classification in Theorems 1 and 4.

major comments (3)
  1. [§5.1, Corollary 21; Theorem 5] The proof of unirationality of the S1 moduli space depends on the assertion from [26, Section 2] that the moduli spaces of K3 surfaces with finite automorphism group and Picard number at least 3 are irreducible. The dimension count in Theorem 20 shows that the family f6 = q1q2q3 − f3^2 is a 17-dimensional subvariety of the locus of sextics with three 6-tangent conics, but without irreducibility it need not dominate the 17-dimensional moduli of type S1 surfaces; it could fill one component while another component is missed. Since this premise is load-bearing for the S1 part of Theorem 5 and is imported from a self-cited companion paper rather than proved here, the unirationality statement as written is not self-contained.
  2. [§5.5, Theorem 33 and Corollary 34; Theorem 5] The same issue occurs for type S5. The proof of Theorem 33 uses the sentence 'The moduli space of K3 surfaces of type S5 is irreducible and 17 dimensional', again from [26]. The dimension computation only produces a 17-dimensional family of sextics of the form l1l2q4 − f3^2; without the irreducibility premise one can only conclude that the S5 moduli contains a unirational 17-dimensional subvariety. Please either supply a proof of the irreducibility, cite a published source, or state the weaker conclusion.
  3. [§5.6, Proposition 37] In the proof of Proposition 37, the curve C1 is taken to be a rational normal quartic curve in a hyperplane H ⊂ P4, but Section 3.6 shows that in the model |A1 + A5| the curves A1 and A5 are cubic rational normal curves (degree 3); a degree-4 rational curve would have a different intersection matrix and not match (A1, A3, A5). Please correct 'quartic' to 'cubic' throughout this proof and check the dimension statement that follows. The subsequent sentence 'since that family contains the surfaces X...' should also be made precise: it needs to assert that every S6 surface appears in the family, otherwise dominance of the moduli space is not established. As written, the proof of unirationality of the S6 moduli space rests on an inconsistent choice of degree.
minor comments (6)
  1. [§3.2] In the paragraph after Corollary 11, 'L = 5A1 + 3A2 + A1' should be 'L = 5A1 + 3A2 + A3'.
  2. [§3.4] The two divisors displayed as D3 are in fact D3 and D4; rename the second one.
  3. [§3.1] In the generating series for ΘX, the term '3T23' sits between T44 and T50; the exponent is likely a typo, perhaps '3T46'.
  4. [§4.1] In the final paragraph of Section 4.1, 'degree 7 with respect to D' refers to a divisor D that has not been introduced; it should be L.
  5. [§5.7] In the proof of Proposition 38, the phrase 'which forces B1B4 = 0' is inconsistent with the displayed matrix M1, where B1B4 = 1; please correct the sentence.
  6. [§5.8] The ten tuples T1,...,T10 are listed in an order such that the later reference to 'cases T5,...,T10' is confusing; T5 belongs to the previous group, so the intended range is probably T6,...,T10.

Circularity Check

2 steps flagged · score 4.0 of 10

Unirationality of S1 and S5 moduli is imported from the author's companion irreducibility theorem; the geometric classification itself is self-contained.

  1. uniqueness imported from authors [Section 5.1, Corollary 21 (after Theorem 20)]
    "In [26, Section 2], we proved that the moduli spaces of K3 surfaces with finite automorphism group and Picard number ≥ 3 are irreducible. From the above discussion, we get: Corollary 21. The moduli space of K3 surfaces of type S1 is unirational."

    The unirationality claim for S1 is derived by combining the 17-dimensional family of sextics of the form q1q2q3 - f3^2 with the assertion that the S1 moduli space is irreducible. That irreducibility is not proved in this paper; it is taken from the author's own companion paper [26]. Without it, the dimension count only exhibits a 17-dimensional subfamily of sextics whose double covers have NS = S1; it does not force this subfamily to dominate the whole S1 moduli space, nor does it prove unirationality of the moduli. The step is therefore load-bearing and rests on a self-citation. The classification of S1 surfaces in Theorem 1 does not use this step.

  2. self citation load bearing [Section 5.5, proof of Theorem 33]
    "By Proposition 32, the double cover of the plane branched over the generic curve C6 is a K3 surface of type S5. The moduli space of K3 surfaces of type S5 is irreducible and 17 dimensional. This moduli is also the moduli of sextic curves which possess two tritangent lines, thus the result."

    The sentence 'The moduli space of K3 surfaces of type S5 is irreducible' is the same companion-paper irreducibility result invoked for S1, not a result established in this paper. The proof establishes only that the family of sextics with two tritangent lines is 17-dimensional and that its generic double cover has NS = S5. To conclude that 'this moduli is also the moduli of sextic curves...' and hence unirationality (Corollary 34), the paper needs the S5 moduli to have one component; that uniqueness is imported from [26]. Thus the S5 unirationality claim is load-bearing self-citation, while the geometric description of S5 remains independent.

full rationale

Most of the paper's derivation chain is self-contained: Theorem 1 and the geometric descriptions in Sections 3-4 follow from the Nikulin/Vinberg lattice classification, Saint-Donat's linear-series theorems, discriminant-group arguments, and explicit computer-verified lattice computations for the nef cones and generating series. The converse constructions in Section 5 are largely independent: Propositions 19, 24, 27, 30, 32, 36, 38 and 41 compute intersection matrices and overlattices internally, and the van Luijk/Elsenhans-Jahnel examples pin down Picard numbers by Artin-Tate reductions. The only load-bearing self-citation is the irreducibility of the moduli of K3 surfaces with finite automorphism group and Picard number at least 3, taken from the author's companion paper [26], which is needed exactly to turn the 17-dimensional S1 and S5 families into unirationality of the corresponding moduli spaces. This does not affect the central classification (Theorems 1 and 4) and is not a reduction of a prediction to a fitted input; it is a self-citation dependency in two of the five unirationality claims. Accordingly, the circularity score is moderate (4/10).

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No fitted numerical parameters appear; the paper is a pure mathematics contribution. The central claim rests on classical classification theorems (Nikulin, Vinberg, Saint-Donat, Torelli) and, for two unirationality results, on the author's separate irreducibility statement in [26].

assumptions (5)
  • domain assumption Nikulin-Vinberg classification: the only Néron-Severi lattices of rank at least 3 for projective K3 surfaces with finite automorphism group are the six S_i (rank 3) and L(24), L(27) (rank 4), and the rank-4 compact cases are exactly these two.
    Invoked in Sections 3-4 as the starting list and in Section 2.1; the paper does not reprove it.
  • standard math Saint-Donat's structure theorem for linear systems on K3 surfaces without elliptic pencils (Theorem 7).
    Used throughout Section 3 to pass from a nef divisor with D^2=2 or 4 to a double cover or an embedding in P3.
  • standard math Torelli theorem for K3 surfaces and the characterization of automorphisms by lattice reflections.
    Used in the introduction and Section 3 to identify surfaces by their Néron-Severi group and to control automorphisms.
  • standard math Artin-Tate conjecture (satisfied for K3 surfaces) and Tate conjecture over finite fields.
    Used in Section 5 to compute Picard numbers of examples from Weil polynomials.
  • ad hoc to paper Irreducibility of moduli spaces of K3 surfaces with finite automorphism group and Picard number at least 3 ([26]).
    Load-bearing for Corollary 21 (S1 unirational) and Theorem 33 (S5 unirational); it is the author's own result and is not proved in this paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the geometry of K3 surfaces with finite automorphism group and no elliptic fibrations." pith.science (2026). https://pith.science/paper/JRA4RQUX

@misc{pith2026190901909,
  author       = {Pith},
  title        = {Pith review of: On the geometry of K3 surfaces with finite automorphism group and no elliptic fibrations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JRA4RQUX}},
  note         = {Machine review of arXiv:1909.01909}
}
abstract

Nikulin and Vinberg proved that there are only a finite number of lattices of rank $\geq 3$ that are the N\'eron-Severi group of projective K3 surfaces with a finite automorphism group. The aim of this paper is to provide a more geometric description of such K3 surfaces $X$, when these surfaces have moreover no elliptic fibrations. In that case we show that such K3 surface is either a quartic with special hyperplane sections or a double cover of the plane branched over a smooth sextic curve which has special tangencies properties with some lines, conics or cuspidal cubic curves. We then study the converse i.e. if the geometric description we obtained characterizes these surfaces. In $4$ cases the description is sufficient, in each of the $4$ other cases there is exactly another one possibility which we study. We obtain that at least 5 moduli spaces of K3 surfaces (among the 8 we study) are unirational.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [26]

    Roulleau X., An atlas of K3 surfaces with finite automorp hism group, ArXiv 2003.08985

    work page arXiv 2003

  2. [1]

    Z., June 2011, Volume 268, Issue 1–2, pp 50 7–533

    Artebani M., Sarti A., Taki S., K3 surfaces with non-symp lectic automorphisms of prime order, Math. Z., June 2011, Volume 268, Issue 1–2, pp 50 7–533

    work page 2011

  3. [2]

    Artebani M., Hausen J., Laface A., On Cox rings of K3 surfa ces, Compos. Math. 146 (2010), no. 4, 964–998

    work page 2010

  4. [3]

    , Cannon J., Playoust C., The Magma algebra syste m

    Bosma W. , Cannon J., Playoust C., The Magma algebra syste m. I. The user language. J. Symbolic Comput., 24:235–265, 1997

    work page 1997

  5. [4]

    Bright M., Logan A., Luijk R., finiteness results for K3 su rfaces over arbitrary fields, to be published in the European Journal of Mathematics

    work page

  6. [5]

    Costa E., Tschinkel Y., Variation of Néron-Severi ranks of reductions of K3 surfaces, Experimental Mathematics 23 (2014), 475–481

    work page 2014

  7. [6]

    Chen X., Gounelas F., Liedtke C., Curves on K3 surfaces, P reprint ArXiv 1907.01207

    work page Pith review arXiv 1907

  8. [7]

    15-nodal quartic surfaces. Part II: The automorphism group

    Dolgachev I., Shimada I., 15-nodal quartic surfaces. Part II: The automorphism group, arXiv arXiv:1908.05390

    work page Pith review arXiv 1908

Show all 31 references
  1. [8]

    Elsenhans A-S, Jahnel J., On the computation of the Picar d group for K3 surfaces, Math. Proc. Cambridge Philos. Soc. 151 (2011), no. 2, 263–27 0

    2011

  2. [9]

    Peace Secur

    Elsenhans A-S., Jahnel J., K3 surfaces of Picard rank one which are double covers of the projective plane, in Higher-dimensional geometry over finite fields, 63–77, NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., 16, IOS, Amster dam, 2008

    2008

  3. [10]

    8, 1027–1040

    Elsenhans A-S., Jahnel J., The Picard group of a K3 surfa ce and its reduction modulo p, Algebra Number Theory 5 (2011), no. 8, 1027–1040

    2011

  4. [11]

    Hartshorne R., Algebraic geometry, Graduate Texts in M athematics, No. 52. Springer-Verlag, 1977. xvi+496 pp ON THE GEOMETRY OF SOME K3 SURF ACES 29

    1977

  5. [12]

    Cambridge Stud ies in Advanced Mathemat- ics, 158

    Huybrechts D., Lectures on K3 surfaces. Cambridge Stud ies in Advanced Mathemat- ics, 158. Cambridge University Press, Cambridge, 2016. xi+ 485 pp. ISBN: 978-1-107- 15304-2

    2016

  6. [13]

    Kondo S, Algebraic K3 surfaces with finite automorphism groups, Nagoya Math. J. 116 (1989), 1–15

    1989

  7. [14]

    Lairez P., Sertöz E.C., A numerical transcendental met hod in algebraic geometry: computation of Picard groups and related invariants, prepr int, arXiv:1811.10634

    arXiv

  8. [15]

    van Luijk R., K3 surfaces with Picard number one and infin itely many rational points, Algebra Number Theory 1 (2007), no. 1, 1–15

    2007

  9. [16]

    McKernan J., Mori dream spaces, Japan. J. Math. 5 (2010) , no. 1, 127–151

    2010

  10. [17]

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

    1984

  11. [18]

    I, 357–377, Kinokuniya, Toky o, 1988

    Mukai S., Curves, K3 Surfaces and Fano 3-folds of Genus ≤ 10, Algebraic geometry and commutative algebra, Vol. I, 357–377, Kinokuniya, Toky o, 1988

    1988

  12. [19]

    Mukai S., Polarized K3 surfaces of genus 18 and 20, Complex projective geometry, 264–276, London Math. Soc. Lecture Note Ser., 179, Cambridg e Univ. Press, Cam- bridge, 1992

    1992

  13. [20]

    Soviet Math., 22 (1983), 1401–1476

    Nikulin V.V., On the quotient groups of the automorphis m groups of hyperbolic forms by the subgroups generated by 2 reflections, J. Soviet Math., 22 (1983), 1401–1476

    1983

  14. [21]

    Steklov Institute of Math

    Nikulin V.V., Surfaces of type K3 with a finite automorph ism group and a Picard group of rank three, Proc. Steklov Institute of Math. Issue, 3 (1985), 131–155

    1985

  15. [22]

    Nikulin V.V., Integer symmetric bilinear forms and som e of their geometric applica- tions, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 1, 111–17 7

    1979

  16. [23]

    Nikulin V.V., Elliptic fibrations on K3 surfaces, Proc. Edinb. Math. Soc. (2) 57 (2014), no. 1, 253–267

    2014

  17. [24]

    (Russian) Izv

    Pjateckii-Sapiro I.I., Shafarevich I.R., Torelli’s t heorem for algebraic surfaces of type K3. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 35 1971 530–572

    1971

  18. [25]

    Spr inger-Verlag, 1994

    Ratcliffe J., Foundations of Hyperbolic Manifolds. Spr inger-Verlag, 1994

    1994

  19. [27]

    Algebra, 403:273–299, 2014

    Shimada I., Projective models of the supersingular K3 s urface with Artin invariant 1 in characteristic 5, J. Algebra, 403:273–299, 2014

    2014

  20. [28]

    Saint-Donat, Projective models of K3 surfaces, Amer

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

    1974

  21. [29]

    Sterk H., Finiteness results for algebraic K3 surfaces , Math. Z. 189 (1985), no. 4, 507–513

    1985

  22. [30]

    Moscow Math

    Vinberg E.B., Classification of 2-reflective hyperbolic lattices of rank 4, translation in Trans. Moscow Math. Soc. 2007, 39–66

    2007

  23. [31]

    Discrete sub- groups of Lie groups and applications to moduli (Internat

    Vinberg È.,B., Some arithmetical discrete groups in Lo bacevskii spaces. Discrete sub- groups of Lie groups and applications to moduli (Internat. C olloq., Bombay, 1973), pp. 323–348. Oxford Univ. Press, Bombay, 1975 Xavier Roulleau, Aix-Marseille Université, CNRS, Centrale Ma...

    1973

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.