Pith. sign in

REVIEW 2 major objections 5 minor 9 references

Moduli spaces of rational curves on Artin-Mumford double solids

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read For a general Artin-Mumford double solid, the moduli space of lines has exactly two components, and for every degree $d\ge2$ the moduli space of rational curves has exactly four components, giving the first Fano case of Geometric Manin's…

desk verdict First genuine multiple-Manin-component example for Geometric Manin's Conjecture, with a mostly solid proof, but one load-bearing 'one can see' in Theorem 4.9 needs to be written out. read the letter →

arxiv 2501.09269 v2 pith:KCOWVEC2 submitted 2025-01-16 math.AG

classification math.AG MSC 14J3014J2814J4514C25
keywords Artin-MumforddoublesolidsmoduliofrationalcurvesGeometricManin'sConjectureFanothreefoldsReyecongruencesEnriquessurfacesdelPezzoBrauergroup
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

Artin-Mumford double solids are threefolds realized as double covers of $\mathbb{P}^3$ branched along a quartic symmetroid, the determinant surface of a symmetric matrix of linear forms; they are Fano threefolds with ten nodes. This paper proves that on a general such threefold $X$, the moduli space of lines has exactly two irreducible components, and for every degree $d \ge 2$ the moduli space of rational curves of degree $d$ has exactly four irreducible components: two families of $d$-sheeted covers of lines and two families of embedded, very free curves. A corollary is that Geometric Manin's Conjecture holds for $X$, with exactly two Manin components in every sufficiently positive degree, matching the order-two unramified Brauer group. This is the first Fano example for which the conjecture holds with multiple Manin components rather than a unique one. The proof proceeds through the Reye congruence, an Enriques surface of bitangent lines to the branch quartic, and through conic bundles on degree-2 del Pezzo surfaces.

What carries the argument

The load-bearing object is the pair of line components $M^+_1, M^-_1$, produced by the double-cover involution and controlled by the Reye congruence, an Enriques surface giving a birational normalization of the space of bitangent lines to the branch quartic. On a general hyperplane section $S$, the $56$ lines carry a sign according to which component contains them. Lemma 2.12 says that for any conic bundle on a degree-2 del Pezzo surface, if one singular fiber has components of opposite signs then every singular fiber does. Applied to $S$, this forces the loci $R^{++}$ and $R^{--}$ of unions of two same-sign lines to coincide as components, giving the component $R^+_2$; its conjugate $R^-_2$ comes from mixed-sign unions. The two-component distinction is carried by algebraic equivalence classes of $1$-cycles on the blow-up of $X$ at its ten nodes, where curves can be numerically equivalent but not algebraically equivalent; this separates $R^+_d$ from $R^-_d$. For $d \ge 3$, the description is propagated by movable bend-and-break and the previously established framework for Fano threefolds with Gorenstein terminal singularities.

What would settle it

Take a general Artin-Mumford double solid, choose a general hyperplane section $S$, and determine which of the two components $M^+_1$, $M^-_1$ contains each of the 56 lines on $S$. Run through the 126 conic bundles on $S$ classified in Section 2.2: if any one has a singular fiber whose two components have opposite signs and another singular fiber whose two components have the same sign, the hypothesis of Lemma 2.12 fails, the equality $R^{++}=R^{--}$ has no basis, and the four-component description for all degrees collapses.

Watch

Extended reading notes

Core claim

The central discovery is a complete description of the irreducible components of $\mathrm{Mor}(\mathbb{P}^1,X,d)$ and $\overline{M}_{0,0}(X,d)$ for a general Artin-Mumford double solid $X$. The space of $H$-lines consists of two components $M^+_1$ and $M^-_1$, each of expected dimension $5$, swapped by the covering involution. For each $d \ge 2$, the space $\mathrm{Mor}(\mathbb{P}^1,X,d)$ has exactly four irreducible components $R^+_d$, $R^-_d$, $N^+_d$, $N^-_d$ of expected dimension $2d+3$: the $N^\pm_d$ parametrize $d$-sheeted covers of the lines in $M^\pm_1$, and the $R^\pm_d$ generically parametrize embedded, very free curves. The Kontsevich spaces $\overline{M}_{0,0}(X,d)$ have the same component structure with dimension lowered by $3$. The paper also proves that every component generically parametrizing birational stable maps contains unions of free curves using one line from each of the two line components. From this, Geometric Manin's Conjecture follows: for $d \ge 2$ the Manin components are exactly $R^+_d$ and $R^-_d$, the line components and cover components being accumulating, and their number equals $|\mathrm{Br}_{\mathrm{nr}}(k(X)/k)| = 2$.

Load-bearing premise

The argument depends on an unproved assertion: on a general hyperplane section, the assignment of each of the 56 lines to one of the two line components has the property that within any conic bundle, either every singular fiber has components of opposite types or none do; if that property fails, the proof that the two same-type conic components coincide has no basis.

Editorial extensions

If this is right

  • Geometric Manin's Conjecture holds for general Artin-Mumford double solids: for each $d \ge 2$ there are exactly two Manin components, and the count matches the order $2$ of the unramified Brauer group.
  • The moduli space of rational curves of every degree is fully known: the only components are the two cover families and the two embedded, very free families.
  • Every component of $\overline{M}_{0,0}(X,d)$ that generically parametrizes birational maps contains reducible curves built from lines of both line components, so movable bend-and-break continues to hold inside every component even though the line space has two pieces.
  • This is the first Fano case with multiple Manin components per degree, confirming the conjecture's prediction that the number of Manin components equals $|\mathrm{Br}_{\mathrm{nr}}|$ in a non-unique setting.

Reading between the lines

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

  • The unproved sign-map assertion could be settled by a finite check: since the 126 conic bundle types on a degree-2 del Pezzo surface are classified, one can directly test the sign property on the 56 lines of a general hyperplane section.
  • If the component structure deforms with the web $W$, the four-component description should hold for every excellent web and the two Manin components should form an irreducible family; the paper proves the general case, and extending to boundary webs is an inference.
  • The pairing of Manin components suggests that any rationally connected threefold with unramified Brauer group of order 2 will show paired components in each sufficiently positive curve class, one from each Brauer class; higher-dimensional Fano varieties with 2-torsion may exhibit the same doubling.
  • The geometric doubling in this paper may have an arithmetic counterpart: arithmetic Manin's conjecture would then predict two leading contributions to the height zeta function, a possibility the paper does not address.
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

2 major / 5 minor

Summary. The paper studies the moduli spaces of rational curves on Artin-Mumford double solids, which are double covers of P^3 branched along quartic symmetroids. The main theorem (Theorem 1.1) asserts that for a general Artin-Mumford double solid X, the space Mor(P^1,X,1) of H-lines has exactly two irreducible components M_1^+ and M_1^- of expected dimension 5, and for each d >= 2 the space Mor(P^1,X,d) has exactly four irreducible components R_d^+, R_d^-, N_d^+, N_d^- of expected dimension 2d+3, where N_d^+ and N_d^- parametrize d-sheeted covers of lines in M_1^+ and M_1^-, and R_d^+ and R_d^- generically parametrize embedded very free curves. The paper also proves a strong movable bend-and-break statement (Theorem 1.2/4.10) and derives Geometric Manin's Conjecture for these varieties (Corollary 1.3). The proof combines the geometry of Reye congruences (Enriques surfaces) to classify lines and conics, a combinatorial lemma on conic bundles on degree-2 del Pezzo surfaces (Lemma 2.12), and results from the author's previous preprint [Oka24a] on Fano threefolds with Gorenstein terminal singularities.

Significance. If the main theorem is correct, it provides the first example of Fano varieties whose moduli spaces of rational curves contain multiple Manin components for every sufficiently positive degree, exactly as predicted by Geometric Manin's Conjecture. This is a meaningful advance for the geometric Manin program, which until now has mostly produced examples with a unique Manin component. The paper also contains a self-contained and well-reasoned analysis of the H-line components via Reye congruences, including the non-normality statement in Remark 4.4 and the irreducibility of incidence loci in Lemma 4.6. The main caveats are that the proof of the d=2 base case relies on an unproved assertion about a sign map on the 56 lines of a hyperplane section, and that several key inputs (classification of a-covers, movable bend-and-break, and the Manin-component count) are quoted from the unpublished preprint [Oka24a]. These issues are local and apparently repairable, but they make the current version conditional.

major comments (2)
  1. [Theorems 4.8, 4.11, 4.12 and Corollary 4.12] The equality R^{++}=R^{--} is the base step for the four-component description for all d >= 2, and it is obtained by applying Lemma 2.12 to the sign map on the 56 lines of a general hyperplane section S. The proof states only 'one can see that this map satisfies all the assumptions of Lemma 2.12' and verifies the Geiser-involution pairing. It does not prove the second assumption of Lemma 2.12, namely that for every conic bundle on S, if one singular fiber has components of opposite sign then every singular fiber does. This property is not automatic from the first pairing condition and is load-bearing: without it Lemma 2.12 may fail to produce a conic bundle with both a (+,+) and a (−,−) fiber, and the identification R^{++}=R^{--} collapses. The likely proof via algebraic equivalence of the strict transforms of the general fibers on the blow-up ~X is not present. This gap must be closed before the d=2 base case, and hence Theorem 1.1(2) and Corollary 1.3, can be accepted.
  2. [Theorem 4.9, proof of R_{+−} ≠ R_{++}] The proof of the main theorem depends critically on the unpublished preprint [Oka24a] for several central inputs: the classification of a-covers (used to prove Lemma 4.7 and to control accumulating components), movable bend-and-break for components of degree at least 3 (Theorem 4.8), and the identification of exactly which components are Manin (Corollary 4.12). The manuscript states these results as lemmas/theorems but does not reproduce their proofs or state precisely which parts of [Oka24a] are used. Since [Oka24a] is the author's own unpublished work, the reader cannot currently verify these load-bearing steps. The authors should either include the necessary statements and proofs, or make the dependency explicit and ensure that [Oka24a] is publicly and verifiably available. This is not a mathematical error in the present paper, but it is a serious conditionality issue.
minor comments (5)
  1. [Theorem 1.1 and Theorem 4.11] The sentence 'Lemma 3.6 shows that ~C^{++} and ~C^{--} are algebraically equivalent, but ~C^{++} and ~C^{+−} are not' is too terse. Lemma 3.6 concerns the numerical class ~ℓ of lines, not conic classes in 2~ℓ. Please spell out the algebraic-equivalence argument for the strict transforms of general conics, or give a direct reference.
  2. [Lemma 4.6] The phrase 'parametrized-sheeted covers' should be 'parametrize d-sheeted covers' in Theorem 1.1(2), Theorem 4.11, and the abstract. Also, in the proof of Theorem 4.9 there is a typo 'M 0.0(X, 2)' for 'M_{0,0}(X,2)'.
  3. [Remark 4.4] In the proof of Lemma 4.6, the notation 'a smooth quadric Q ∈ L_{ij}' is potentially confusing because L_{ij} is a line in Bit(D_W), i.e., a pencil of quadrics. It would be clearer to write 'a smooth quadric Q in the pencil parametrized by L_{ij}'.
  4. [References] Remark 4.4 asserts that M_1^+ and M_1^- are non-normal, which is an interesting observation. It would help the reader if the proof were expanded by one or two sentences, since the non-normality is used implicitly later when discussing smooth points of the incidence loci.
  5. [Section 2.2] The paper cites [Oka24a] as an arXiv preprint. If the present paper is to be published before [Oka24a] appears in a refereed venue, the dependency should be flagged in the introduction or in a footnote, and the relevant results should be stated precisely.

Circularity Check

0 steps flagged · score 2.0 of 10

No definitional circularity: the four-component count and the two Manin components are computed from geometry, not assumed. The main caveats are legitimate but heavy reliance on the author's prior work [Oka24a] and an unproved, load-bearing 'one can see' sign-map assertion in Theorem 4.9.

full rationale

Walking the derivation chain, the central claims are not circular. Theorem 4.3 derives the two line components M1+ and M1- from the Reye congruence / bitangent correspondence, not from Geometric Manin's Conjecture. Theorem 4.9 derives the conic components from the geometry of lines, the hyperplane section S, the singular fibers of its 126 conic bundles, and Lemma 2.12; the equality R++=R-- is obtained by the sign map on the 56 lines, not by positing the desired four-component answer, and Lemma 3.6 (algebraic vs numerical equivalence, from [AM72], [BS83], [Voi06]) separates R+ from R-. For d>=2, the induction uses [Oka24a] for movable bend-and-break, the a-cover classification, and control of non-Manin components; these are self-citations, but they cite separate parameter-free theorems on Gorenstein terminal Fano threefolds whose assumptions do not include the target conclusion, so under the review rules they count as external evidence rather than circularity. The weakest point is not circularity: in the proof of Theorem 4.9, the assertion 'one can see that this map satisfies all the assumptions of Lemma 2.12' is an unproved, load-bearing verification of constancy of sign-parity along every conic bundle of S; if false, the equality R++=R-- would lose its base. This is an omitted proof/gap, not a definitional reduction. Corollary 4.12 is a genuine check: it computes the number of Manin components from the geometry of breaking morphisms and compares it with the independently known |Brnr|=2. No fitted parameter is renamed as a prediction, and no equation is equal to its input by construction.

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

The paper's central claim depends mainly on the author's prior results [Oka24a] and on classical theorems about AM double solids and Reye congruences. No free parameters are fitted to data, and no new entities are postulated.

assumptions (5)
  • domain assumption The main results of [Oka24a]: terminal factorial del Pezzo threefolds have no subvarieties with a-invariant > 1, a-covers are classified, and GMC follows in that setting.
    Invoked in Lemma 4.7, Theorem 4.11 (irreducibility of evaluation fibers), and Corollary 4.12. This is the author's unpublished arXiv preprint.
  • standard math Artin-Mumford: Br(X~) is isomorphic to Z/2Z and X is unirational but not stably rational.
    Fixes |Br| = 2, the expected number of Manin components (Conjecture 2.10). Cited to [AM72].
  • standard math Bloch-Srinivas and Voisin: for smooth rationally connected threefolds, |Br| equals the size of the kernel of algebraic to numerical equivalence on 1-cycles.
    Connects Brauer group to the two algebraic classes in each numerical class on X~ (Remark 2.11, Corollary 3.7).
  • standard math Reye congruence Rey(W) is an Enriques surface and is the normalization of the bitangent line space Bit(D_W).
    Used in Theorem 4.3 to identify the two components of the space of lines. Cited to [Cos83] and [DK24].
  • standard math Deformation lemma [LT19, Lemma 5.9] allows replacing a subchain of free curves while staying in the same component.
    Used in Theorem 4.10 to deform a chain of lines from M+_1 into a union containing M-_1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Moduli spaces of rational curves on Artin-Mumford double solids." pith.science (2026). https://pith.science/paper/KCOWVEC2

@misc{pith2026250109269,
  author       = {Pith},
  title        = {Pith review of: Moduli spaces of rational curves on Artin-Mumford double solids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KCOWVEC2}},
  note         = {Machine review of arXiv:2501.09269}
}
read the original abstract

We describe the irreducible components of the moduli spaces of rational curves on Artin-Mumford double solids. This provides the first example of Fano varieties that satisfy Geometric Manin's Conjecture with multiple Manin components in moduli space of rational curves for each degree.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 3 canonical work pages

  1. [61]

    Irreducibility of M 0,n(G/P,β )

    doi: 10.1090/S1056-3911-08-00484-0 . [Tho98] J. F. Thomsen. “Irreducibility of M 0,n(G/P,β )”. In: Internat. J. Math. 9.3 (1998), pp. 367–376. doi: 10.1142/S0129167X98000154. [Voi06] C. Voisin. “On integral Hodge classes on uniruled or Calabi-Yau threefolds”. In: Moduli spaces and arithmetic geometry . Vol. 45. Adv. Stud. Pure Math. Math. Soc. Japan, Toky...

  2. [73]

    Unirational threefolds with no univers al codimen- sion 2 cycle

    doi: 10.2969/aspm/04510043. [Voi15] C. Voisin. “Unirational threefolds with no univers al codimen- sion 2 cycle”. In: Invent. Math. 201.1 (2015), pp. 207–237. doi: 10.1007/s00222-014-0551-y . Graduate School of Mathematics, Nagoya University, Furo-c ho, Chikusa- ku, Nagoya, 464-8601, Japan Email address : fumiya.okamura.e6@math.nagoya-u.ac.jp

  3. [188]

    Classifying sections of del Pezzo fibrations, I

    doi: 10.1090/jag/751. [LT24] B. Lehmann and S. Tanimoto. “Classifying sections of del Pezzo fibrations, I”. In: J. Eur. Math. Soc. (JEMS) 26.1 (2024), pp. 289–

  4. [354]

    Rational curves on Fano threefolds with Gorenstein terminal singularities

    doi: 10.4171/jems/1363. [MM86] Y. Miyaoka and S. Mori. “A numerical criterion for uni ruled- ness”. In: Ann. of Math. (2) 124.1 (1986), pp. 65–69. doi: 10.2307/1971387. [Mor79] S. Mori. “Projective manifolds with ample tangent b undles”. In: Ann. of Math. (2) 110.3 (1979), pp. 593–606. doi: 10.2307/1971241. [Oka24a] F. Okamura. “Rational curves on Fano th...

  5. [356]

    Double solids

    doi: 10.2307/1970801. [Cle83] C. H. Clemens. “Double solids”. In: Adv. in Math. 47.2 (1983), pp. 107–230. doi: 10.1016/0001-8708(83)90025-7. [Cos83] F. R. Cossec. “Reye congruences”. In: Trans. Amer. Math. Soc. 280.2 (1983), pp. 737–751. doi: 10.2307/1999644. [CS09] I. Coskun and J. Starr. “Rational curves on smooth cub ic hyper- surfaces”. In: Int. Math....

  6. [862]

    Rational curves on prime Fano threefolds of index 1

    doi: 10.1112/s0010437x19007103. [LT21] B. Lehmann and S. Tanimoto. “Rational curves on prime Fano threefolds of index 1”. In: J. Algebraic Geom. 30.1 (2021), pp. 151–

  7. [1060]

    Moduli spaces of rational curves on Fano threefolds

    doi: 10.1112/S0010437X12000504. [BLRT22] R. Beheshti, B. Lehmann, E. Riedl, and S. Tanimoto. “Moduli spaces of rational curves on Fano threefolds”. In: Adv. Math. 408 (2022), Paper No. 108557, 60. doi: 10.1016/j.aim.2022.108557. [Bou12] D. Bourqui. “Moduli spaces of curves and Cox rings”. In: Michi- gan Math. J. 61.3 (2012), pp. 593–613. doi: 10.1307/mmj/...

  8. [1253]

    Rational curves on smooth h yper- surfaces of low degree

    doi: 10.2307/2374341. [BV17] T. Browning and P. Vishe. “Rational curves on smooth h yper- surfaces of low degree”. In: Algebra Number Theory 11.7 (2017), pp. 1657–1675. doi: 10.2140/ant.2017.11.1657. [Cas04] A.-M. Castravet. “Rational families of vector bund les on curves”. In: Internat. J. Math. 15.1 (2004), pp. 13–45. doi: 10.1142/S0129167X0400220X. 18 ...

Show all 9 references
  1. [4641]

    Elementary contractions of Gorenste in threefolds

    doi: 10.1093/imrn/rnp102. [CTS21] J.-L. Colliot-Th´ el` ene and A. N. Skorobogatov. The Brauer-Grothendieck group. Vol. 71. Ergebnisse der Mathematik und ihrer Grenzge- biete. 3. Folge. A Series of Modern Surveys in Mathematics. Springer, Cham, 2021, pp. xv+453. doi: 10.1007/9...

Pith tools

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