Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

The Integral Chow Rings of the Moduli Stacks of Hyperelliptic Prym Pairs I

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

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

Pith's one-line read The paper gives explicit generator-and-relation presentations, with integer coefficients, of the Chow rings of the moduli stacks of hyperelliptic Prym pairs, covering a single Weierstrass pair in every genus and, when the genus is odd, up…

desk verdict A genuinely new integral Chow ring computation for an infinite family of Prym moduli stacks, with one under-documented envelope lemma in the load-bearing part. read the letter →

arxiv 2501.16320 v2 pith:2VTB56RQ submitted 2025-01-27 math.AG math.RT

Alessio Cela , Alberto Landi This is my paper · ORCID
classification math.AGmath.RT MSC 14C1514H1014H40
keywords integralChowringmodulistackPrympairhyperellipticcurveequivariantintersectiontheoryquotientrootgerbeWeierstrasspoints
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 aims to determine, completely and with integer coefficients, the Chow rings of the moduli stacks of hyperelliptic Prym pairs: smooth hyperelliptic curves equipped with a nontrivial square root of the trivial line bundle. It proves that the locus where the square root comes from one pair of Weierstrass points is a quotient stack by an explicit two-dimensional group, and from that presentation it derives the full integral Chow ring for every genus. For odd genus it also computes the rings when the square root comes from up to $(g-1)/2$ pairs of Weierstrass points, by viewing the stack as a $\mu_2$-root gerbe over a stack of two disjoint even-degree divisors and combining equivariant Chow envelopes with a root-gerbe formula. These formulas record all additive torsion, not only rational information, and they extend the previously known genus-$2$ computation to all genera. If correct, they give the first complete integral Chow rings for these moduli stacks outside the genus-$2$ case.

What carries the argument

The carrying mechanism is the presentation of $\mathcal{RH}^n_g$ as a quotient stack together with the root-gerbe description. The key structural input is a lemma of Verra, quoted as Lemma 1.6, which decomposes the stack of hyperelliptic Prym pairs into loci $\mathcal{RH}^n_g$ indexed by $n$: every nontrivial square root of the trivial bundle is exactly $H^{\otimes n}(-e)$ for a reduced effective divisor $e$ supported on $2n$ Weierstrass points. The paper then computes the Chow rings of the relevant quotient stacks using equivariant intersection theory: the projective bundle formula, the excision sequence for the discriminant $\Delta$, and three explicit $\mathrm{PGL}_2$-equivariant Chow envelopes $F$, $G$, and $M$ for the three components of $\Delta$; a Chow envelope is a collection of maps from simpler spaces whose pushforwards generate the Chow group of the closed locus. Finally, the root-gerbe result of Proposition 3.5 converts the $\mu_2$-gerbe structure of $\mathcal{RH}^n_g$ over $\mathcal{D}_{2n,2g+2-2n}$ into the single additional relation $\xi_{2n}+\xi_{2g+2-2n}+2t=0$.

What would settle it

Compute the degree-two Chow group of the quotient stack in Theorem 1.8 directly from the localization sequence for $\Delta=\Delta_1\cup\Delta_2$, using the explicit pushforwards in Lemmas 4.8, 4.9, and 4.12; the announced ring forces the class $\beta_2$ to have order exactly $4g$, and any different torsion order would refute Theorem 1.10.

Watch

Extended reading notes

Core claim

The central discovery is that the integral Chow ring of these stacks has an explicit presentation by generators and relations. For $n=1$, the paper proves $\mathrm{CH}^*(\mathcal{RH}^1_g) = \mathbb{Z}[\beta_1,\beta_2,\gamma]/(2\beta_1,2\gamma,4g\beta_2,\gamma(\gamma+\beta_1),\beta_1(\beta_1+\gamma))$ when $g$ is even, and $\mathrm{CH}^*(\mathcal{RH}^1_g) = \mathbb{Z}[c_2,t,\gamma]/(2\gamma,4t,\gamma^2+gc_2)$ when $g$ is odd. For odd $g$ and $1<n<(g+1)/2$, it proves $\mathrm{CH}^*(\mathcal{RH}^n_g) = \mathbb{Z}[c_1,c_2,c_3,t,\xi_{2n},\xi_{2g+2-2n}]/(I+(\xi_{2n}+\xi_{2g+2-2n}+2t))$, where $I$ is the ideal of relations of the auxiliary stack $\mathcal{D}_{2n,2g+2-2n}$ listed in Theorem 1.17. The formulas are obtained from quotient-stack presentations with group $(\mathbb{G}_m\times\mathbb{G}_m)\rtimes\mu_2$ in the even case and $\mathbb{G}_m\times(\mathbb{G}_m\rtimes\mu_2)$ in the odd case, from the identification of $\mathcal{RH}^n_g$ as a $\mu_2$-root gerbe over $\mathcal{D}_{2n,2g+2-2n}$, and from exhaustive computation of all discriminant contributions through equivariant Chow envelopes.

Load-bearing premise

Everything rests on the claim, cited to earlier work rather than proved here, that the three explicit maps $F$, $G$, and $M$ form surjective Chow envelopes for the three discriminant components; if that claim failed, some discriminant relations could be missing from the computed ideals.

Editorial extensions

If this is right

  • For even $g$, the computed ring makes the torsion explicit: $\beta_1$ and $\gamma$ are 2-torsion classes and $\beta_2$ satisfies $4g\beta_2=0$, so the integral Picard group and the higher torsion are completely pinned down by the presentation.
  • For odd $g$ and $n=1$, the relation $\gamma^2+gc_2=0$ ties the Weierstrass-pair class $\gamma$ to the hyperelliptic class $c_2$, and $4t=0$ records a 4-torsion line-bundle class coming from the quotient presentation.
  • For odd $g$ and $1<n<(g+1)/2$, the two divisor classes $\xi_{2n}$ and $\xi_{2g+2-2n}$ are not independent on $\mathcal{RH}^n_g$: their sum is forced to equal $-2t$, so the Chow ring is obtained from that of $\mathcal{D}_{2n,2g+2-2n}$ by one clean relation.
  • The same geometric input yields a quotient-stack presentation of $\mathcal{RH}^n_g$ for all odd $g$ and $1\le n<(g+1)/2$, giving a uniform description of the whole family beyond the single-pair case.
  • Because the computations are integral, the resulting rings carry all additive torsion and are directly usable for enumerative intersection-theoretic questions on these moduli stacks, not merely for rational characteristic-class computations.

Reading between the lines

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

  • A natural extension is the complementary case $n=(g+1)/2$ for odd $g$, where Verra's lemma says the map $\beta_n$ is 2-to-1; one can test whether that 2-to-1 behavior introduces an extra $\mathbb{Z}/2$ quotient or a new root-gerbe relation in the Chow ring.
  • Theorem 1.17 already computes $\mathrm{CH}^*(\mathcal{D}_{2a,2b})$ for all $a,b>1$, so the remaining boundary cases $a=1$ or $b=1$, treated ad hoc for $n=1$, could plausibly be unified into one formula that completes the odd-genus story.
  • The paper's stronger characteristic assumption, $\mathrm{char}(k)=0$ or $>2g+2$, is used only in the proof of the Chow-envelope lemma; if that lemma can be reproved in lower characteristic, the same presentations and Chow-ring formulas should remain valid in positive characteristic.
  • The explicit order $4g$ forced on $\beta_2$ in the even-genus ring suggests a concrete numerical check: evaluating the top Chern class on the quotient presentation of Theorem 1.8 for a small even genus should reproduce the known degree of the moduli stack, which would independently confirm the coefficient $4g$ in the relation.
Share X Bluesky LinkedIn Reddit HN

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 computes the integral Chow rings of the moduli stacks RH^1_g of hyperelliptic Prym pairs with a single pair of Weierstrass points (all g), and of RH^n_g for odd g and 1<n<(g+1)/2. The main results are Theorem 1.10 (even g, n=1), Theorem 1.14 (odd g, n=1), and Theorems 1.17–1.18 (odd g, 1<n<(g+1)/2). The strategy is to give explicit presentations as quotient stacks, compute the relevant equivariant Chow rings, and then pass to µ2-root gerbes. The genus-2 specialization is checked against [CIL24], and the characteristic assumption is sharpened from char(k)>2g to char(k)>2g+2, with Example 1.1 motivating the refinement.

Significance. If the results are correct, the paper provides the first complete integral Chow ring presentations for these Prym moduli stacks, substantially extending the genus-2 work of [CIL24] and the prior hyperelliptic computations of [EF09, FV11, DL18]. The methods are well suited to the problem: explicit quotient presentations, torus-equivariant reduction via Lemma 3.3, GL3-counterparts following [DL18], and the root-gerbe formula of Proposition 3.5. The paper also recovers known results in the boundary case g=2 and improves the characteristic hypothesis. The main limitations are completeness of proof rather than apparent error: several load-bearing checks are delegated to the reader, and the Chow-envelope statement for the common-factor discriminant component is asserted without proof. These gaps are local but essential, and they affect the derivation of the discriminant ideal in Theorems 1.17–1.18.

major comments (3)
  1. [§5.1, Lemma 5.2] The assertion that the disjoint unions F, G, M form PGL2-equivariant Chow envelopes of the discriminant components ∆1, ∆2, ∆1,2 with surjective pushforwards is load-bearing: §5.2 uses this property to define the ideal I2 through the images of M1∗ and M2∗ (Lemmas 5.4–5.6 and Corollary 5.9), and I2 is exactly the discriminant contribution in Theorem 1.17, hence in Theorem 1.18. The proof is dismissed as 'standard', and the cited references [Vis98], [EF09], [DL18] cover F and G but do not cover M. A proof or a precise reference for the envelope property of the maps M_r must be supplied. The property is very plausible—M_1 should be birational onto the generic locus of the irreducible hypersurface ∆1,2—but it is not proved, and the displayed presentations would be incomplete if it failed.
  2. [§4, Proof of Theorem 1.14] The proof of Theorem 1.14 is only a sketch: the statement that the relations coming from ∆1, ∆2 generate the ideal (31), and the statement that the projective-bundle relation p(ξ2g) vanishes modulo (31), are both left to the reader. Since Theorem 1.14 is one of the two main n=1 results and there is no external genus-2 check for the odd-parity case, these verifications should be written out, or at least reduced explicitly to the even-g computation with the parity substitutions made.
  3. [§5.2, Lemma 5.19 and proof of Theorem 1.17] The final step of the induction asserts that the class α of equation (41) is non-zero in CH∗_{G3_m}((P(V_a) ×_S P(V_b)) \ ∆′) for any non-zero polynomial p with coefficients 0 and 1. The argument restricts to a residual gerbe BG′ and then claims that p(c2,c3)c3 is non-zero there, but the injectivity of the pullback ι∗ used in this conclusion is not established. This step is load-bearing for the completion of the induction that all pushforwards M_{r∗} land in I2; it needs a fuller justification.
minor comments (6)
  1. [Definition 1.2] The word 'isomophism' should be 'isomorphism'.
  2. [§3.3] The heading contains the typo 'equivarinat'; it should be 'equivariant'.
  3. [§5.2, definition of M′_{2r}] The formula M′_{2r} = (ψ′_{r,r−a} × ψ′_{r,r−b}) ∘ Δ uses negative subscripts when a,b > r; it should presumably be ψ′_{r,a−r} and ψ′_{r,b−r}, matching the usage later in the section.
  4. [Lemma 4.9] The classes s_r^j are used without definition; a sentence recalling their definition from [Lar21] would improve readability.
  5. [Remark 5.12] The phrase 'On the other end' should be 'On the other hand'.
  6. [Notation] The symbol ∆ is used both for the discriminant locus in the quotient presentations of §1.2 and for the union of discriminant components in §5; the two uses are mathematically close but should be distinguished for clarity.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular reduction found; the derivation is self-contained against external benchmarks. Two proof-deferral points (presentation via [CIL24] and the unproved M-envelope in Lemma 5.2) are correctness risks, not circular steps.

full rationale

The derivation chain is: Lemma 1.6 (Verra) decomposes RH_g into RH^n_g; Lemma 1.15 identifies RH^n_g as a μ2-root gerbe over D_{2n,2g+2-2n}; Proposition 3.5 computes Chow rings of root gerbes; Theorem 1.17 computes CH*(D_{2a,2b}) from the PGL2-equivariant Chow ring of P(W_a)×P(W_b) and the discriminant ideal. Input rings such as CH*(BPGL2), CH*(B((Gm×Gm)⋊μ2)), and CH*_{PGL2}((P1)^m) are imported from [Pan96, Vez98, DL18, Lar21, FV11, EF09, GV08]; these are external, parameter-free, and do not contain the target result. The genus-2 specialization 'Setting g = 2, β_i = λ_i, this recovers [CIL24, Theorem 4]' is a consistency check, not a fitted input. The only author-overlapping citation that is load-bearing is [CIL24] in §2.1, where the presentation isomorphism is asserted with proof deferred: 'The verification that this map is indeed an isomorphism is analogous to the argument in [CIL24, Sections 2.3 and 2.4] and is therefore not repeated here.' This is a real proof-deferral and self-citation, but it is not a reduction of the present claim to itself: [CIL24] is a prior, independent genus-2 theorem with stated assumptions not including the target formulas. Lemma 5.2 asserts that the disjoint union M is a PGL2-equivariant Chow envelope of Δ_{1,2} and says 'The proof is standard', giving references only for F and G; the M-part is load-bearing for the ideal I2 in Theorem 1.17 and is unproved and unreferenced. That is a mathematical correctness risk, not a circular step. No fitted parameters are renamed as predictions, no uniqueness theorem from the authors is invoked to force a choice, and no known result is repackaged as new. Thus there is no circularity; the score 1 reflects the two non-circular proof gaps rather than any equivalence-by-construction.

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

The paper's results rest on standard equivariant intersection theory, on Verra's parametrization of 2-torsion bundles by Weierstrass divisors, on the characteristic assumption (sharpened from 2g to 2g+2), and on previously computed Chow rings of classifying spaces. There are no fitted parameters or invented entities.

assumptions (4)
  • standard math Chow groups and equivariant intersection theory with integer coefficients are well-defined for the quotient stacks considered.
    Relies on Edidin-Graham [EG98] and Kresch [Kre99] as cited in Section 3.2.
  • domain assumption The base field k is algebraically closed of characteristic 0 or > 2g+2.
    Stated in the Convention; used for the Chow envelope construction in Lemma 5.2, with the sharpened bound justified by Example 1.1.
  • domain assumption Verra's Lemma 1.6 parametrizes non-trivial 2-torsion line bundles by Weierstrass divisors.
    This is the geometric input that decomposes RH_g into the disjoint union of the RH^n_g; cited from [Ver13, Lemma 4.3].
  • standard math Previously computed Chow rings of B((Gm×Gm)⋊μ2), BPGL2 and related spaces are correct.
    Used as input rings; cited from [Lar21], [Pan96], [Vez98] and [DL18].

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Integral Chow Rings of the Moduli Stacks of Hyperelliptic Prym Pairs I." pith.science (2026). https://pith.science/paper/2VTB56RQ

@misc{pith2026250116320,
  author       = {Pith},
  title        = {Pith review of: The Integral Chow Rings of the Moduli Stacks of Hyperelliptic Prym Pairs I},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2VTB56RQ}},
  note         = {Machine review of arXiv:2501.16320}
}
abstract

This paper is the first in a series dedicated to computing the integral Chow rings of the moduli stacks of Prym pairs. In this work, we compute the Chow ring for Prym pairs arising from a single pair of Weierstrass points and from at most $(g-1)/2 $ pairs when the genus $g$ of the curve is odd.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The Integral Chow Rings of the Moduli Stacks of Hyperelliptic Prym Pairs II

    math.AG 2025-07 conditional novelty 6.0 of 10

    For odd genus g, the integral Chow rings of the balanced hyperelliptic Prym component and of the unordered divisor stack are explicitly computed as quotient rings.

Reference graph

Works this paper leans on

35 extracted references · 7 canonical work pages · cited by 1 Pith paper

  1. [1]

    Veronica Arena, Stephen Obinna, and Dan Abramovich, The integral C how ring of weighted blow-ups , arXiv preprint arXiv:2307.01459 (2023)

    arXiv 2023

  2. [2]

    Alessandro Arsie and Angelo Vistoli, Stacks of cyclic covers of projective spaces, Compos. Math. 140 (2004), no. 3, 647--666. 2041774

    2004

  3. [3]

    2, 149--196

    Arnaud Beauville, Prym varieties and the S chottky problem , Inventiones mathematicae 41 (1977), no. 2, 149--196

    1977

  4. [4]

    3, 309--391 (fr)

    , Vari\'et\'es de Prym et jacobiennes interm\'ediaires , Annales scientifiques de l'\'Ecole Normale Sup\'erieure 4e s \'e rie, 10 (1977), no. 3, 309--391 (fr)

    1977

  5. [5]

    Michel Brion, Equivariant C how groups for torus actions , Transformation Groups 2 (1997), 225--267

    work page 1997

  6. [6]

    Alessio Cela and Aitor Iribar Lopez, The integral C how ring of R _2 , arXiv preprint arXiv:2406.07309 (2024)

    arXiv 2024

  7. [7]

    Algebraic Geom

    Samir Canning and Hannah Larson, The C how rings of the moduli spaces of curves of genus 7, 8, and 9 , J. Algebraic Geom. 33 (2023), no. 1, 55--116 (en)

    work page 2023

  8. [8]

    Michel Demazure, Invariants symétriques entiers des groupes de W eyl et torsion , Inventiones mathematicae 21 (1973), 287--302

    work page 1973

Show all 35 references
  1. [9]

    Andrea D i L orenzo, The C how ring of the stack of hyperelliptic curves of odd genus , International Mathematics Research Notices (2018)

    2018

  2. [10]

    Andrea Di Lorenzo and Angelo Vistoli, Polarized twisted conics and moduli of stable curves of genus two, arXiv preprint arXiv:2103.13204 (2021)

    2021 arXiv

  3. [11]

    none, 25 -- 102

    Ron Donagi and Roy Campbell Smith, The structure of the P rym map , Acta Mathematica 146 (1981), no. none, 25 -- 102

    1981

  4. [12]

    Dan Edidin and Damiano Fulghesu, The integral C how ring of the stack of hyperelliptic curves of even genus , Math. Res. Lett. 16 (2009), no. 1, 27--40. 2480558

    2009

  5. [13]

    Dan Edidin and William Graham, Equivariant intersection theory, Invent. Math. 131 (1998), no. 3, 595--634. 1614555

    1998

  6. [14]

    Dan Edidin and Zhengning Hu, The integral C how rings of the stacks of hyperelliptic W eierstrass points , arXiv preprint arXiv:2208.00556 (2022)

    2022 arXiv

  7. [15]

    2, 421--449

    Carel Faber, C how rings of moduli spaces of curves II : Some results on the C how ring of M _4 , Annals of Mathematics 132 (1990), no. 2, 421--449

    1990

  8. [16]

    Farkas and Harry E

    Hershel M. Farkas and Harry E. Rauch, Period relations of S chottky type on R iemann surfaces , Annals of Mathematics 92 (1970), no. 3, 434--461

    1970

  9. [17]

    Damiano Fulghesu and Filippo Viviani, The C how ring of the stack of cyclic covers of the projective line , Ann. Inst. Fourier (Grenoble) 61 (2011), no. 6, 2249--2275. 2976310

    2011

  10. [18]

    1, 3--29

    Damiano Fulghesu and Angelo Vistoli, The C how ring of the stack of smooth plane cubics , Michigan Mathematical Journal 67 (2018), no. 1, 3--29

    2018

  11. [19]

    Sergey Gorchinskiy and Filippo Viviani, Picard group of moduli of hyperelliptic curves, Math. Z. 258 (2008), no. 2, 319--331. 2357639

    2008

  12. [20]

    Izadi, The C how ring of the moduli space of curves of genus 5 , The Moduli Space of Curves (Boston, MA) (Robbert H

    E. Izadi, The C how ring of the moduli space of curves of genus 5 , The Moduli Space of Curves (Boston, MA) (Robbert H. Dijkgraaf, Carel F. Faber, and Gerard B. M. van der Geer, eds.), Birkh \"a user Boston, 1995, pp. 267--303

    1995

  13. [21]

    Andrew Kresch, Cycle groups for A rtin stacks , Inventiones Mathematicae 138 (1999), no. 3, 495

    1999

  14. [22]

    Alberto Landi, The P icard group of the stack of pointed smooth cyclic covers of the projective line , arXiv preprint arXiv:2310.20045 (2023)

    2023 arXiv

  15. [23]

    , The integral C how ring of the stack of pointed hyperelliptic curves , arXiv preprint arXiv:2404.15873 (2024)

    2024 arXiv

  16. [24]

    Eric Larson, The integral C how ring of M_2 , Algebr. Geom. 8 (2021), no. 3, 286--318. 4206438

    2021

  17. [25]

    Luis Alberto Molina Rojas and Angelo Vistoli, On the C how rings of classifying spaces for classical groups , Rend. Sem. Mat. Univ. Padova 116 (2006), 271--298. 2287351

    2006

  18. [26]

    , Contributions to Analysis A Collection of Papers Dedicated to Lipman Bers, 1974

    David Mumford, Prym varieties I . , Contributions to Analysis A Collection of Papers Dedicated to Lipman Bers, 1974

    1974

  19. [27]

    271--328, Birkh \"a user Boston, Boston, MA, 1983

    , Towards an enumerative geometry of the moduli space of curves, pp. 271--328, Birkh \"a user Boston, Boston, MA, 1983

    1983

  20. [28]

    Jakob Oesinghaus, Quasisymmetric functions and the C how ring of the stack of expanded pairs , Research in the Mathematical Sciences 6 (2018), no. 1, 5

    2018

  21. [29]

    Rahul Pandharipande, The C how ring of the H ilbert scheme of rational normal curves , arXiv preprint alg-geom/9607025 (1996)

    1996 arXiv

  22. [30]

    Michele Pernice, The integral C how ring of the stack of 1-pointed hyperelliptic curves , Int. Math. Res. Not. IMRN (2022), no. 15, 11539--11574. 4458558

    2022

  23. [31]

    , The (almost) integral C how ring of M _3 , 03 2023

    2023

  24. [32]

    Geom 2 (2015), no

    Nikola Penev and Ravi Vakil, The C how ring of the moduli space of curves of genus six , Algebr. Geom 2 (2015), no. 1, 123--136

    2015

  25. [33]

    Alessandro Verra, Rational parametrizations of moduli spaces of curves, Handbook of moduli. V ol. III , Adv. Lect. Math. (ALM), vol. 26, Int. Press, Somerville, MA, 2013, pp. 431--506. 3135442

    2013

  26. [34]

    Gabriele Vezzosi, The C how ring of PGL_2 is generated by C hern classes of the adjoint representation , 1998

    1998

  27. [35]

    A ppendix to `` E quivariant intersection theory'' [ I nvent

    Angelo Vistoli, The C how ring of M _2 . A ppendix to `` E quivariant intersection theory'' [ I nvent. M ath. 131 (1998), no. 3, 595--634; MR 1614555 (99j:14003a)] by D . E didin and W . G raham , Invent. Math. 131 (1998), no. 3, 635--644. 1614559

    1998

Pith tools

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