Pith. sign in

REVIEW 4 major objections 4 minor 18 references

Orbits of smooth rational curves on Enriques surfaces

T0 review · 4 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For every Enriques surface, the number of automorphism-orbits of smooth rational curves is computed by a closed formula from the Nikulin root invariant and the Vinberg group.

desk verdict A new and likely correct closed formula for orbit counts of (-2)-curves on Enriques surfaces, with a proof whose main debt is a few checkable but untabulated order computations. read the letter →

arxiv 2507.07516 v1 pith:5C6XDCQ3 submitted 2025-07-10 math.AG

Simon Brandhorst , Víctor González-Alonso This is my paper · ORCID
classification math.AG MSC 14J2814J50
keywords EnriquessurfacessmoothrationalcurvesautomorphismorbitsNikulinrootinvariantVinberggroupADEsystemsnefcone(-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

The paper establishes a closed formula for the number of orbits of smooth rational curves on an Enriques surface under its automorphism group. It shows that this number is completely determined by two algebraic ingredients: the Nikulin root invariant, which records the connected components of the mod-2 reduction of all $-2$-curves together with the kernel of the reduction, and the Vinberg group, which encodes the surface symmetries modulo 2. The formula is a weighted sum of counts of these components by ADE type, with weights $2$ and $4$ appearing only for the exceptional types $(D_9,0)$, $(E_7,0)$, $(E_8,0)$, $(A_7,\mathbb{Z}/2\mathbb{Z})$, and $(D_8,\mathbb{Z}/2\mathbb{Z})$. Since orbits of rational curves coincide with orbits of facets of the nef cone, the result gives a complete, computable answer to the finiteness question for these orbits predicted by the cone conjecture for Enriques surfaces.

What carries the argument

The central working objects are the Nikulin root invariant and the Vinberg group $G_Y$, the image in $O(S_Y \otimes \mathbb{F}_2)$ of the modular stabilizer generated by the Weyl group and $\mathrm{Aut}^*(Y)$. The set $\Delta(Y)$ of mod-2 reductions of splitting $(-2)$-roots carries a graph whose connected components are ADE root systems; the Nikulin root invariant is the direct sum of the corresponding root lattices together with the kernel of the reduction map. The proof's load-bearing part is the classification of root sublattices of the $E_{10}$ lattice up to the action of the level-2 congruence subgroup $O(E_{10})(2)$: a key lemma shows that, except for the family $(A_9,A_9)$, the stabilizer of a root sublattice acts surjectively on its mod-2 stabilizer, so the classification of $G_Y$-orbits of maximal ADE configurations in $S_Y$ follows. Lemmas 4.5 and 4.6 connect these configurations to the facets of the nef cone, completing the bridge from the algebraic invariants to the geometric orbit count.

What would settle it

A concrete check is to take one explicit Enriques surface in each exceptional class, for example a $(D_9,0)$ surface with its 12 rational curves drawn, an $(E_8,0)$ surface with the 10-vertex dual graph displayed in Section 7.3, and an $(A_7,\mathbb{Z}/2\mathbb{Z})$ or $(D_8,\mathbb{Z}/2\mathbb{Z})$ surface, then compute the actual $\mathrm{Aut}(Y)$-orbits of the visible $(-2)$-curves directly and compare the orbit count with the formula; a mismatch of the 2- or 4-fold multiplicity in any one of these graphs would refute the theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: for an Enriques surface $Y$, the number of $\mathrm{Aut}(Y)$-orbits of $(-2)$-curves equals $$\sum_{i=1}^{9} a_i + \sum_{i=1}^{8} d_i + 2d_9 + e_6 + 2e_7 + 4e_8 + a'_7 + 2d'_8,$$ where $a_n$, $d_n$, $e_n$, $a'_7$, and $d'_8$ are the numbers of $G_Y$-orbits on connected components of $\Delta(Y)$ of types $(A_n,0)$, $(D_n,0)$, $(E_n,0)$, $(A_7,\mathbb{Z}/2\mathbb{Z})$, and $(D_8,\mathbb{Z}/2\mathbb{Z})$. The proof reduces $\mathrm{Aut}(Y)$-orbits of $(-2)$-curves to orbits of maximal ADE configurations of such curves, classifies these configurations up to the level-2 congruence subgroup of the $E_{10}$ lattice, and then analyzes the eight possible root-invariant types case by case. The exceptional weights in the formula are explained by concrete geometric phenomena: numerically trivial automorphisms, special elliptic fibrations, and finite automorphism groups.

Load-bearing premise

The load-bearing premise is a group-theoretic computation: a certain group of symmetries of the ten-dimensional lattice that fix a root pattern must surject onto the corresponding group fixing the pattern's binary reduction, except for one pattern where it is exactly half the group; if this computation is wrong, the list of possible configurations is incomplete and the final count changes.

Editorial extensions

If this is right

  • The number of $\mathrm{Aut}(Y)$-orbits of smooth rational curves can be computed from the K3 cover's anti-invariant lattice and the Vinberg group, without enumerating curves by hand.
  • For any Enriques surface whose Nikulin root invariant and Vinberg group are known, the formula gives the exact orbit count; in particular the count is finite, recovering the finiteness that the cone conjecture predicts for these surfaces.
  • Corollary 1.4 bounds the orbit count by $\rho-10$, where $\rho$ is the Picard number of the K3 cover, so surfaces with small Picard number have few orbit classes.
  • The exceptional coefficients $2$ and $4$ have uniform geometric explanations coming from numerically trivial automorphisms, elliptic fibrations with specific fibers, and finite automorphism groups, so the exceptions are not arbitrary.
  • The formula unifies earlier partial results: generic nodal Enriques surfaces have a single orbit, and the computer-aided orbit counts for many explicit surfaces all satisfy the same weighted formula.

Reading between the lines

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

  • The same reduction, from facets of a hyperbolic nef cone modulo automorphisms to a level-2 congruence classification of configurations, should yield analogous orbit-count formulas for other hyperbolic root lattices of rank 10 whenever the corresponding stabilizer-surjectivity lemmas hold.
  • The formula implies a rigidity statement: the orbit count is constant on the locus of Enriques surfaces with a fixed Nikulin root invariant and Vinberg group; this could be tested by deforming surfaces and checking that the count does not change.
  • A concrete next step would be to evaluate the right-hand side for all 184 root-invariant types and compare with the existing computer-aided tables, turning the theorem into a complete orbit-count table by root invariant alone.
  • The exceptional weights appear tied to fixed loci of numerically trivial automorphisms, so one might look for analogous weighted counts on other quotients of K3 surfaces or on Enriques surfaces in characteristic 2 if the cone conjecture holds there.
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

4 major / 4 minor

Summary. The paper proves Theorem 1.2, a closed formula for the number of Aut(Y)-orbits of smooth rational curves on an Enriques surface Y in terms of the Nikulin root invariant and the Vinberg group GY. The strategy is to identify (-2)-curves with facets of the nef cone, to pass to minimal faces and maximal ADE configurations, to classify these configurations up to the 2-congruence subgroup O(E10)(2), and then to analyze the finitely many root-invariant cases. The formula is sum_{i=1}^9 a_i + sum_{i=1}^8 d_i + 2 d_9 + e_6 + 2 e_7 + 4 e_8 + a'_7 + 2 d'_8, where the a_i, d_i, e_i, a'_7, d'_8 count GY-orbits of connected components of specified types.

Significance. If correct, this is a substantial and satisfying structural result: the orbit count is completely determined by two classical invariants, and the formula is easy to apply in practice. The reduction from Aut(Y)-orbits to GY-orbits on maximal ADE configurations is elegant, and the case analysis gives a conceptual explanation of the exceptional multiplicities 2 and 4. The paper builds on a large body of prior computational work, and the formula is parameter-free and falsifiable against the 184 examples of [BS22] and the 527 elliptic fibrations of [BGA24]. However, several load-bearing computational and case-specific assertions are currently not documented enough for a reader to certify them independently.

major comments (4)
  1. [Lemma 5.3 (Section 5)] The assertion that the image of O(E10)_R in O(E10 ⊗ F2)_{R,{R'}} has index one for all irreducible R except (A9,A9) is the key computational step on which Proposition 5.5 and therefore all of Section 7 depend. The proof computes only the orders #O(DK(2)) and #O(DK) in the table; it does not tabulate #G1, the order of the codomain O(E10 ⊗ F2)_{R,{R'}} from Lemma 5.1, or the index [O(DK(2)) : G2] that is asserted to be 1 by Miranda-Morrison theory. The equality of these orders is stated as 'they agree' without a comparison. Since a single incorrect row would alter the orbit classification and hence Theorem 1.2, please provide the missing comparison, at least as a table of #G1 and #O(E10 ⊗ F2)_{R,{R'}} for each R, or a verifiable computation (e.g. a Magma script) confirming the orders and the Miranda-Morrison index.
  2. [Lemma 6.7 (Section 6)] The statement of Lemma 6.7 says 'at most 5 (resp. 6)' for types (A7,Z/2Z) and (E7,0), while its proof immediately says 'There are 6 (resp. 5) such vectors'. The two numbers are swapped. Moreover Proposition 7.11 invokes the lemma to obtain at most 6 orbits for (A7,Z/2Z) and finds 6 vectors, and Proposition 7.16 invokes it to obtain 5 configurations for (E7,0). As written, the lemma contradicts both its proof and its later uses. This is load-bearing for the coefficients a'_7 and e_7 in Theorem 1.2, and the statement must be corrected.
  3. [Proposition 7.14 (Section 7.2)] The D9 case is treated in a very compressed way: the proof says 'Following [BS22, (7.4)], we compute' the nef chamber and then 'by looking at the various subgraphs of type eA8 and using Lemma 7.5(3-4) we find enough automorphisms to get at most 2 orbits'. It also says 'If it is generic, then it is a (D9,D9)-generic Enriques surface', but the connection between a component of type (D9,0) and this genericity notion is not established. Since the factor 2d_9 in Theorem 1.2 rests entirely on this paragraph, the case needs a complete argument or a precise citation to a computation whose input and output are described in enough detail to be checked.
  4. [Proposition 7.17 (Section 7.3)] The E8 case, which contributes 4e_8 to Theorem 1.2, relies on several unchecked assertions: 'We check that each orbit meets a configuration B0 in the diagram', 'on may check that each of them occurs in the diagram', and a determinant computation [SY : L] = 4 whose verification is omitted. The lower bound of four orbits also needs a complete argument: the use of the unique elliptic fibration and the fixed curves of the numerically trivial automorphism is only sketched. Please provide the explicit verifications for the five maximal types listed in Proposition 6.3(8), or a reproducible computational transcript for this case.
minor comments (4)
  1. [Lemma 7.3 (Section 7.1)] The lemma states 'The proof is left to the reader'. Since Lemma 7.4 uses these integer solution sets to control the number of elements of ∆(Y)|B⊥, please include a short verification or at least the factorization of the relevant quadratic forms.
  2. [Lemma 7.13 (Section 7.2)] The proof begins 'As in Lemma 7.13', which is a self-reference; it should presumably be 'As in Lemma 7.12' or refer to the coordinate setup of an earlier lemma.
  3. [Proposition 6.3 (Section 6)] In the proof of item (10), the sentence 'By Proposition 6.3, K := R' ∩ R'⊥ ⊆ σ⊥' should refer to Lemma 6.2(3), not to the proposition being proved.
  4. [Lemma 5.4 (Section 5)] The phrase 'Since 2 ∤ det E8' is confusing: the relevant statement is that R′ is a regular subspace of E10 ⊗ F2 because E8 has odd determinant; please rephrase for clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the orbit-count formula is derived from a reduction to GY-orbits and an independent O(E10)(2) classification, with no fitted parameter or target quantity used as input.

full rationale

The main formula is not circular. The paper proves that Aut(Y)-orbits of (-2)-curves correspond to GY-orbits on maximal ADE configurations (Lemmas 4.2 and 4.6), classifies these configurations up to O(E10)(2) using the order computations of Lemma 5.3 and Proposition 5.5, and then analyzes each root-invariant type in Section 7. The target quantity (the number of Aut(Y)-orbits) never enters as an input or as a fitted parameter. The coefficients 1, 2 and 4 in Theorem 1.2 are justified by explicit geometric mechanisms (Remark 1.3 and Propositions 7.13, 7.16 and 7.17), not by reverse-engineering the answer. The many self-citations, e.g. [BGA24], [BS22] and [BV24], support side facts about elliptic fibrations, computational examples and order formulas; none asserts the main theorem, and the proof does not reduce to those citations. Lemma 5.3 is the most computational step, but it compares independent order formulas from [BV24] and [MM09]; even if it were an omitted proof or a correctness risk, it is not an assumption equivalent to the target theorem. The weakest point, the untabulated order comparison in Lemma 5.3, is a verifiable computational assertion, not a circular one.

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

The paper's contribution is not to introduce new axioms or entities; it packages existing lattice, root system, and Enriques surface theory into a counting formula. The central claim rests on several imported classification theorems and computational tables, especially Lemma 5.3's surjectivity and the associated order table, and on the semi-symplectic computation of GY from [BGA24].

assumptions (6)
  • domain assumption The Morrison-Kawamata cone conjecture holds for Enriques surfaces in characteristic not 2, so the number of Aut(Y)-orbits of facets of the nef cone is finite.
    Invoked in the introduction to identify orbits of rational curves with orbits of nef cone facets; cited to [Nam85, Wan20].
  • domain assumption Proposition 2.8: the Weyl group W(Y) acts simply transitively on Δ(Y)-chambers, the nef cone is the closure of the ample chamber, and the level 2 congruence subgroup G0 is contained in GY.
    Basis for the reduction from Aut(Y)-orbits to GY-orbits and for the use of O(E10)(2)-classification; cited to [Dol84] and [BGA24, Prop 3.10].
  • standard math Shimada's classification [Shi21, Thm 2.1]: there are exactly 184 O(E10)-orbits of root sublattices R ⊆ E10, distinguished by (τ(R), τ(R')).
    Used in Remark 2.2 and Lemma 3.6 to realize connected components of Δ(Y) by root lattices in SY.
  • domain assumption O(K) → O(DK) is surjective for the relevant orthogonal complements K, except for R ≅ A9, with the orders given by [BV24] and Miranda-Morrison theory.
    The table in Lemma 5.3 is load-bearing for the surjectivity statement that underlies Proposition 5.5.
  • domain assumption Every automorphism of Y in characteristic not 2 is semi-symplectic, so the Vinberg group GY can be computed from the action of the covering involution on the K3 Néron-Severi lattice.
    Stated in the introduction with reference to [BGA24, Theorem 3.9, Remarks 3.12, 3.13]; the whole proof of Theorem 1.2 works with GY via this computation.
  • domain assumption Special geometric facts about Enriques surfaces with given root invariants: finite automorphism group of type II for D9 [Kon86], zero entropy for E8 [MMV24], numerically trivial involutions and fixed loci [DK25].
    Used in Remark 1.3 and Sections 7.2, 7.3 to determine the coefficients and separate orbits in exceptional cases.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Orbits of smooth rational curves on Enriques surfaces." pith.science (2026). https://pith.science/paper/5C6XDCQ3

@misc{pith2026250707516,
  author       = {Pith},
  title        = {Pith review of: Orbits of smooth rational curves on Enriques surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5C6XDCQ3}},
  note         = {Machine review of arXiv:2507.07516}
}
read the original abstract

We give a closed formula for the number of orbits of smooth rational curves under the automorphism group of an Enriques surface in terms of its Nikulin root invariant and its Vinberg group.

Figures

Figures reproduced from arXiv: 2507.07516 by the authors.

Figure 1
Figure 1. The Aen diagram. 1 1 2 2 2 1 1 [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. The Den diagram. 1 2 3 2 1 1 2 [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. The Ee6 diagram. 2. Preliminaries and Notation. Given a group G acting on a set X from the right we use exponential notation x g for the action of g ∈ G on x ∈ X. For A ⊆ X we write GA for its pointwise stabilizer. In this notation G{A} is the pointwise stabilizer of the 1-element set {A} with G acting on the powerset of X, i.e. the setwise stabilizer of A. Likewise we define G{A},{B} := G{A,B} = G{A} ∩ G{B}, and Gx… view at source ↗
Figures from the paper (9 more)
Figure 4
Figure 4. Figure 4: The Ee7 diagram. 1 2 3 4 5 6 4 2 3 [PITH_FULL_IMAGE:figures/full_fig_p004_4.png]
Figure 5
Figure 5. Figure 5: The Ee8 diagram. 1 2 3 4 5 6 7 8 9 10 [PITH_FULL_IMAGE:figures/full_fig_p004_5.png]
Figure 6
Figure 6. Figure 6: The E10 diagram. with E10 ⊗ F2. The quadratic space E10 ⊗ F2 has a totally isotropic subspace of dimension 5. For a subset B ⊆ E10, we denote its image in E10 ⊗ F2 by B. Theorem 2.1. [Shi21] If R ⊆ E10 is a root lattice, then its primitive closure R′ is a root lattice.…
Figure 7
Figure 7. Figure 7: (−2)-curves visible so far. We see that b0, b10 is an Ae1 configuration of (−2)-curves. Therefore, b0 + b10 defines another elliptic fibration with half-fiber f3 = 1 2 (b0 + b10) = f1 + f2 − b1 − · · · − b8. Since f3.bi = 0 for i = 2, . . . , 7, these are components of…
Figure 8
Figure 8. Figure 8: (−2)-curves visible so far. Since (13) b8.2f3 = b8.(b0 + b10) = 2 (14) = b8.(b7 + b11) = 1 + b8.b11, we obtain b8.b11 = 1 and analogously b1.b11 = 1, see [PITH_FULL_IMAGE:figures/full_fig_p021_8.png]
Figure 9
Figure 9. Figure 9: Final configuration. The divisor f4 = b7 + b8 + b11 is an Ae2 configuration of (−2)-curves. Moreover, it is primitive, since f4.b6 = 1. Hence, f4 is a half fiber. We calculate f3.f4 = (b7 + b8 + b11).(b0 + b10)/2 = 1. Then, following the proof of [MMV24, Lemma 2.6], th…
Figure 10
Figure 10. Figure 10: Case f2 not nef. The same reasoning as before provides an involution exchanging b2 and b6. □ Lemma 7.9. Let σ be a connected component of ∆(Y ) and let E ∈ R9 (Y, σ) be an A9 configuration. Then there exists an E10 configuration e1, . . . , e10 with E = {e1, . . . , e…
Figure 11
Figure 11. Figure 11: (-2)-curves depending on f2 nef or not orbit. By the same reasoning the elements of any (A7, E7)-configuration Bi ∈ R(Y, σ) are contained in a single Aut(Y )-orbit. By Lemma 6.7 there are at most 6 orbits of maximal (A7, E7)-configurations. Let us find them. First sup…
Figure 12
Figure 12. Figure 12: They coincide with the dual graph of an Enriques surface with a numerically trivial automorphism as in [DK25, 8.2.23 (B)]. Define B1 = {d1, . . . , d8}, B2 = (B1∪{r1})\{d3}, B3 = (B1∪{r2})\{d5} and B4 = {d0, d1, d2, . . . , d6, d7}. Set Ri = ⟨Bi⟩ for i = 1, . . . 4. I…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 16 canonical work pages

  1. [1]

    527 elliptic fibrations on E nriques surfaces

    Simon Brandhorst and Víctor González-Alonso. 527 elliptic fibrations on E nriques surfaces. arXiv:2408.00306 https://arxiv.org/abs/2408.00306, 2024

    arXiv 2024

  2. [2]

    Automorphism groups of certain E nriques surfaces

    Simon Brandhorst and Ichiro Shimada. Automorphism groups of certain E nriques surfaces. Found. Comput. Math. , 22(5):1463--1512, 2022

    work page 2022

  3. [3]

    Hensel lifting algorithms for quadratic forms

    Simon Brandhorst and Davide Cesare Veniani. Hensel lifting algorithms for quadratic forms. Math. Comp. , 93(348):1963--1991, 2024

    work page 1963

  4. [4]

    Cossec and I

    F. Cossec and I. Dolgachev. On automorphisms of nodal Enriques surfaces . Bulletin (New Series) of the American Mathematical Society , 12(2):247 -- 249, 1985

    work page 1985

  5. [5]

    Enriques surfaces I

    Fran c ois Cossec, Igor Dolgachev, and Christian Liedtke. Enriques surfaces I . Singapore: Springer, 2nd edition edition, 2025

    work page 2025

  6. [6]

    Enriques surfaces II

    Igor Dolgachev and Shigeyuki Kond \=o . Enriques surfaces II . Singapore: Springer, 2025

    work page 2025

  7. [7]

    Dolgachev

    I. Dolgachev. On automorphisms of E nriques surfaces. Invent. Math. , 76(1):163--177, 1984

    work page 1984

  8. [8]

    Lattices and codes

    Wolfgang Ebeling. Lattices and codes . Advanced Lectures in Mathematics. Springer Spektrum, Wiesbaden, third edition, 2013. A course partially based on lectures by Friedrich Hirzebruch

    2013

Show all 18 references
  1. [9]

    Quadratische F ormen

    Martin Kneser. Quadratische F ormen . Springer-Verlag, Berlin, 2002. Revised and edited in collaboration with Rudolf Scharlau

    2002

  2. [10]

    Enriques surfaces with finite automorphism groups

    Shigeyuki Kond \=o . Enriques surfaces with finite automorphism groups. Jpn. J. Math., New Ser. , 12:191--282, 1986

    1986

  3. [11]

    Miranda and D

    R. Miranda and D. R. Morrison. Embeddings of integral quadratic forms. http://www.math.ucsb.edu/ drm/manuscripts/eiqf.pdf, 2009

    2009

  4. [12]

    Enriques surfaces of zero entropy

    Gebhard Martin, Giacomo Mezzedimi, and Davide Cesare Veniani. Enriques surfaces of zero entropy. arXiv:2406.18407 https://arxiv.org/abs/2406.18407, 2024

    2024 arXiv

  5. [13]

    Periods of Enriques surfaces

    Yukihiko Namikawa. Periods of Enriques surfaces. Math. Ann. , 270:201--222, 1985

    1985

  6. [14]

    V. V. Nikulin. Integer symmetric bilinear forms and some of their geometric applications. Izv. Akad. Nauk SSSR Ser. Mat. , 43(1):111--177, 238, 1979

    1979

  7. [15]

    Automorphisms of supersingular \(K3\) surfaces and Salem polynomials

    Ichiro Shimada. Automorphisms of supersingular \(K3\) surfaces and Salem polynomials. Exp. Math. , 25(4):389--398, 2016

    2016

  8. [16]

    Rational double points on E nriques surfaces

    Ichiro Shimada. Rational double points on E nriques surfaces. Sci. China Math. , 64(4):665--690, 2021

    2021

  9. [17]

    Nolan R. Wallach. On maximal subsystems of root systems. Canadian J. Math. , 20:555--574, 1968

    1968

  10. [18]

    On automorphisms and the cone conjecture for E nriques surfaces in odd characteristic

    Long Wang. On automorphisms and the cone conjecture for E nriques surfaces in odd characteristic. arXiv:1908.07928 https://arxiv.org/abs/1908.07928, 2020

    1908 arXiv

Pith tools

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