Pith. sign in

REVIEW 2 major objections 2 minor 46 references

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

T0 review · 2 major / 2 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 odd genus, integral Chow rings of hyperelliptic Prym stacks are now explicit.

desk verdict Serious, technically strong, but Theorem 1.7 leans on an unverified root-gerbe formula from Part I; referee should check it before accepting. read the letter →

arxiv 2507.11478 v2 pith:UIQQGMXU submitted 2025-07-15 math.AG math.RT

Alessio Cela , Alberto Landi This is my paper · ORCID
classification math.AGmath.RT MSC 14C1514H1014H4014L30
keywords integralChowringmodulistackshyperellipticPrympairsSpincurvesquotientequivariantgroupsrootgerbes
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

This paper pins down the integral Chow ring of the deepest component of the moduli stack of hyperelliptic Prym pairs for every odd genus: the component where the two divisors recording the Prym pair have equal degree $g+1$. The authors prove that this ring is a quotient of a polynomial ring in six generators by an explicit finite list of relations, and that the same computation gives the Chow ring of the auxiliary stack of unordered pairs of disjoint degree-$(g+1)$ divisors on the projective line. A corollary is a complete description of the integral Chow rings of all irreducible components of the moduli stack of hyperelliptic Spin curves of odd genus. The payoff is concrete: the generators are Chern classes of natural vector bundles, so the presentation can be used for intersection-theoretic computations on these moduli spaces.

What carries the argument

The load-bearing device is the presentation of $\mathcal{RH}_g^{(g+1)/2}$ as the $\mu_2$-root gerbe over $[D_{g+1,g+1}/\mu_2]$ associated with the pullback of $\mathcal{O}_{\mathbb{P}(W_{g+1})}(-1)$, whose first Chern class is $\beta_1+\gamma$. Combined with the companion paper's formulas for Chow rings of $\mu_2$-root gerbes and for recovering $\mathrm{GL}_3$-equivariant Chow ideals from their maximal-torus extensions, the problem reduces to computing the ideal generated by pushforwards along the equivariant Chow envelope maps $M_r$, $S_r$, and $H_r$ of the singular locus of pairs of forms; the geometric generators $\beta_1,\beta_2,\gamma$ are the Chern classes of a natural rank-two bundle $\widetilde{N}_{(g+1)/2}$ on $[D_{g+1,g+1}/\mu_2]$.

What would settle it

Compute $\mathrm{CH}^2([D_{4,4}/\mu_2])$ for the smallest case $g=3$ by an independent method, for instance by resolving the discriminant locus directly or using the known Chow ring of the moduli of smooth genus-$3$ hyperelliptic curves, and compare the rank and torsion of the degree-$2$ group with the quotient ring in Theorem 1.6; a single mismatch would falsify the presentation.

Watch

Extended reading notes

Core claim

The paper establishes, for every odd $g \ge 3$, the explicit presentations $\mathrm{CH}^\ast([D_{g+1,g+1}/\mu_2]) \cong \mathbb{Z}[\beta_1,\beta_2,\gamma,c_2,c_3]/I$ and $\mathrm{CH}^\ast(\mathcal{RH}_g^{(g+1)/2}) \cong \mathbb{Z}[\beta_1,\beta_2,\gamma,c_2,c_3,t]/(I + \langle 2t-(\beta_1+\gamma)\rangle)$, where $I$ is the ideal generated by the nine explicit relations listed in Theorem 1.6. The proof reduces the computation to the pushforwards of an equivariant Chow envelope of the discriminant locus of pairs of degree-$(g+1)$ forms, and the final ring for the Prym component is obtained by applying a root-gerbe formula to the $\mu_2$-gerbe $\mathcal{RH}_g^{(g+1)/2} \to [D_{g+1,g+1}/\mu_2]$. As an application, the decomposition $\mathcal{SH}_g \cong \mathcal{H}_g \sqcup \mathcal{RH}_g$ yields presentations and Chow rings for all irreducible components of the moduli stack of hyperelliptic Spin curves of odd genus.

Load-bearing premise

The computation inherits two technical results from the authors' companion paper — the formula for the Chow ring of a $\mu_2$-root gerbe and the reduction of $\mathrm{GL}_3$-equivariant Chow ideals to their maximal-torus restrictions — and applies them without reproving them; if either of those results is not valid for these stacks, the stated presentation collapses.

Editorial extensions

If this is right

  • For odd $g$, the integral Chow ring of $\mathcal{RH}_g^{(g+1)/2}$ is completely and explicitly known: six generators and a finite relation list.
  • Together with previously known rings, the integral Chow ring of every irreducible component of the moduli stack of hyperelliptic Spin curves of odd genus is obtained.
  • The relation $2t=\beta_1+\gamma$ shows that the root-gerbe class $t$ is redundant after inverting $2$ but contributes integral $2$-torsion.
  • The generators $\beta_1,\beta_2,\gamma$ are Chern classes of geometrically defined vector bundles, so the presentation supports concrete intersection-theoretic calculations on these stacks.
  • The intermediate computation of $\mathrm{CH}^\ast([D_{g+1,g+1}/\mu_2])$ gives a complete description of the Chow ring of unordered pairs of disjoint divisors of the same even degree in $\mathbb{P}^1$.
  • For even $g$ there is no equal-degree "middle" pair, so the same root-gerbe model does not apply directly; a variant tracking the complementary divisor of degree $g+2$ might handle the even-genus components.
  • The equivariant Chow-envelope technique for the discriminant of pairs of forms could be reused for other moduli of covers where a $\mathrm{GL}_3$-counterpart exists.
  • A quick consistency test of the presentation is to reduce the relations modulo $2$ and compare the resulting additive structure with the known rational Chow ring, which should show only the $2$-torsion visible in $2t=\beta_1+\gamma$ and $2\gamma=0$.
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

2 major / 2 minor

Summary. This paper computes the integral Chow rings of the components RH_g^{(g+1)/2} of the moduli stack of hyperelliptic Prym pairs for odd g ≥ 3, as well as the integral Chow ring of the auxiliary quotient stack [D_{g+1,g+1}/µ2]. The strategy is to present these stacks as quotient stacks, pass to GL3-counterparts and maximal-torus extensions, compute the ideals generated by pushforwards along a Chow envelope by the S_r, M_r, and H_r maps, and finally apply a µ2-root-gerbe formula from the authors' companion paper [CL25] to pass from [D_{g+1,g+1}/µ2] to RH_g^{(g+1)/2}. The paper also gives a geometric interpretation of the generators and, as an application, presentations of the Chow rings of all components of the moduli stack of hyperelliptic Spin curves of odd genus.

Significance. If correct, these are substantial new computations in integral Chow theory of moduli stacks. The paper displays a high level of technical sophistication: it develops Chow-Künneth results for several classifying stacks, uses GL3-counterparts to reduce PGL2-equivariant pushforwards to torus-equivariant ones, and carries out large explicit computations of equivariant Chow envelopes. The final presentations are explicit and come with a geometric interpretation of the generators, and the application to Spin curves is a nice consequence. The main caveat is that the final step relies on a technical result imported from the companion paper [CL25], whose hypotheses are not checked in this paper.

major comments (2)
  1. [§4.7, Theorem 1.7] The proof of Theorem 1.7 applies [CL25, Proposition 3.5] to the µ2-gerbe RH_g^{(g+1)/2} → [D_{g+1,g+1}/µ2] and concludes that CH*(RH_g^{(g+1)/2}) is obtained from CH*([D_{g+1,g+1}/µ2]) by adjoining a degree-one class t with the single relation 2t = β1 + γ. The hypotheses of [CL25, Proposition 3.5] are not stated or verified in the paper. In particular, the base ring has 2-torsion (2γ = 0 and then 2β1 = 0 in I), and the base stack [D_{g+1,g+1}/µ2] is not a classifying stack, whereas the Chow-Künneth property is proved in Proposition 3.13 only for classifying stacks of the relevant groups. Additionally, the identification c1(L) = β1 + γ is asserted in a single sentence; it depends on the choice of µ2-linearization of O(1) ⊠ O(1) on P(W) × P(W), and a different choice would give 2t = β1, changing even CH^1. The authors should either state and verify the hypotheses of the imported proposition for this specific gerbe or provide an independent low-degree computation of CH*(RH_g^{(g+1)/2}) to confirm the relation.
  2. [§4.7, proof of Theorem 1.6] The displayed identity "-2M1*(1) − S1*(1) = 2β1" is arithmetically incorrect. Substituting Lemma 4.12 (M1*(1) = −(g+1)β1) and Lemma 4.9 (S1*ϕ1*(1) = −2gβ1) gives −2M1*(1) − S1*(1) = 2(g+1)β1 + 2gβ1 = (4g+2)β1 = 2(2g+1)β1, not 2β1. The desired relation 2β1 ∈ I is recoverable because gcd(2g, g+1) = 2 for odd g, but the equation written in the proof is false. Please correct the displayed identity or replace it with the correct Bezout combination of M1*(1) and S1*(1).
minor comments (2)
  1. [Theorem 1.6] The first bullet in the list of relations contains an undefined symbol "c1". The relations coming from B(G × PGL2) are 2γ, γ(β1 + γ), and 2c3, as used in the proof; please clarify or delete "c1".
  2. [§4.6.3] The label "Proof of Proposition 4.24" appears twice in this subsection: the first occurrence is actually a strategy outline, and the second is the real proof. Rename the first occurrence to "Strategy" or similar to avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Chow-ring presentations are derived from quotient-stack geometry and explicit pushforwards; imported results from Part I are general tools, not the target claim.

full rationale

The paper's central results, Theorems 1.6 and 1.7, are obtained by a concrete derivation chain: Theorem 1.3 identifies [D_{g+1,g+1}/µ2] with a quotient of V∨⊗W_{(g+1)/2} by G×PGL2; §4 then computes its Chow ring using equivariant Chow envelopes (maps M_r, S_r, H_r), pushforward computations in Lemmas 4.9–4.18, and the ideals generated by their images; Proposition 4.32 eliminates the residual classes ctop, j_*(1), and j_*(x1). The target ring is not assumed as input, and no fitted parameter is renamed as a prediction. Theorem 1.7 is a direct application of [CL25, Proposition 3.5], a general formula for the integral Chow ring of a µ2-root gerbe, after the geometric computation c1(L)=β1+γ; the relation 2t=β1+γ is not imposed by definition but is the output of that formula applied to the gerbe structure established in Lemma 1.1. The paper does rely substantially on the authors' Part I for this root-gerbe formula and for the torus-extension recovery result [CL25, Proposition 3.4], and it does not reprove them; that is a dependency and a possible correctness risk if those hypotheses are not satisfied, but it is not circular, because those propositions are stated with assumptions independent of the present theorem and do not presuppose the Chow ring of RH_g^{(g+1)/2} or of [D_{g+1,g+1}/µ2]. The undefined symbol 'c1' in the first bullet of Theorem 1.6 and the duplicated proof label in §4.6.3 are editorial defects, not evidence that a result reduces to its input.

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

No numerical parameters are fitted to data; the mathematical variables g and r are quantified over rather than fitted. The paper introduces no new geometric entities, since all stacks, gerbes, and representations are standard constructions. The main unproved input is the collection of technical propositions from the companion paper [CL25], which is cited but not reproduced.

assumptions (5)
  • domain assumption The base field k is algebraically closed of characteristic 0 or greater than 2g+2.
    Stated in the Convention before Section 1.3; used for mu2-torsors, root stacks, and degree arguments throughout Sections 2 to 5. Small characteristic is explicitly excluded.
  • standard math The integral Chow ring of BPGL2 is Z[c2,c3]/(2c3).
    Invoked in Notation 1.5 and throughout Section 4; cited to [Pan96], [Vez98], and [DL18].
  • domain assumption The companion paper's root-gerbe and torus-reduction formulas, [CL25, Propositions 3.4 and 3.5], are correct.
    Theorem 1.7 uses the root-gerbe formula directly, and Section 4 repeatedly uses the torus-reduction lemma to compute equivariant Chow ideals. These results are cited but not reproved here.
  • standard math The decomposition of Pic^0(C)[2] and the 2:1 property of beta_{(g+1)/2} from [Ver13, Lemma 4.3] hold.
    Used in Lemma 1.1 and Section 1.2 to identify RH_g^((g+1)/2) with a quotient of [D_{g+1,g+1}/mu2].
  • standard math The Chow-Kunneth generation and property for BPGL2, BG, and related stacks, Proposition 3.13, holds.
    Proved in Section 3.3 using [Tot14], [Oes18], and [EG98]; used in Lemma 4.1 and in the computations of Section 4.6.

how reviews work

0 comments
Cite this review

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

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

This paper is the second in a series devoted to describing the integral Chow ring of the moduli stacks $\mathcal{RH}_g$ of hyperelliptic Prym pairs. For fixed genus $g$, the stack $\mathcal{RH}_g$ is the disjoint union of $\lfloor (g+1)/2 \rfloor$ components $\mathcal{RH}_g^n$ for $n = 1, \ldots, \lfloor (g+1)/2 \rfloor$. In this paper, we give presentations and compute the integral Chow rings of the components $\mathcal{RH}_g^{(g+1)/2}$ for odd $g$. As an application, we also obtain presentations and Chow rings for all irreducible components of the moduli stack of hyperelliptic Spin curves of odd genus. An intermediate result of independent interest is the computation of the integral Chow ring of the moduli stack of unordered pairs of divisors of the same even degree in $\mathbb{P}^1$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages

  1. [1]

    Shamil Asgarli and Giovanni Inchiostro, The P icard group of the moduli of smooth complete intersections of two quadrics , Transactions of the American Mathematical Society (2017)

    work page 2017

  2. [2]

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

    work page Pith review arXiv 2023

  3. [3]

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

    work page 2004

  4. [4]

    2, 149--196

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

    work page 1977

  5. [5]

    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)

    work page 1977

  6. [6]

    Martin Bishop, The integral C how ring of M _ 1,n for n=3, ,10 , Forum of Mathematics, Sigma 12 (2024)

    work page 2024

  7. [7]

    Reine Angew

    Younghan Bae and Johannes Schmitt, Chow rings of stacks of prestable curves II , J. Reine Angew. Math. 800 (2023), 55--106. 4609823

    work page 2023

  8. [8]

    1, 184--206

    Renzo Cavalieri and Damiano Fulghesu, The integral chow ring of odd, Compositio Mathematica 159 (2023), no. 1, 184--206

    work page 2023

Show all 46 references
  1. [9]

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

    2024

  2. [10]

    789, 103--152

    Samir Canning and Hannah Larson, Chow rings of low-degree hurwitz spaces, Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) 2022 (2022), no. 789, 103--152

    2022

  3. [11]

    , The C how rings of the moduli spaces of curves of genus 7, 8, and 9 , Journal of Algebraic Geometry 33 (2023)

    2023

  4. [12]

    , The integral picard groups of low-degree hurwitz spaces, Mathematische Zeitschrift 303 (2023), no. 3, 61

    2023

  5. [13]

    , On the chow and cohomology rings of moduli spaces of stable curves, Journal of the European Mathematical Society (2024)

    2024

  6. [14]

    Alessio Cela and Alberto Landi, The integral chow rings of the moduli stacks of hyperelliptic prym pairs i, arXiv preprint arXiv:2501.16320 (2025)

    2025 arXiv

  7. [15]

    Maurizio Cornalba, Moduli of curves and theta-characteristics, Lectures on Riemann Surfaces, 1989

    1989

  8. [16]

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

    2018

  9. [17]

    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

  10. [18]

    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

  11. [19]

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

    1998

  12. [20]

    Eisenbud and J

    D. Eisenbud and J. Harris, 3264 and all that: A second course in algebraic geometry, Cambridge University Press, 2016

    2016

  13. [21]

    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

  14. [22]

    2, 331--419

    Carel Faber, Chow rings of moduli spaces of curves I : The C how ring of m _3 , Annals of Mathematics 132 (1990), no. 2, 331--419

    1990

  15. [23]

    2, 421--449

    , 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

  16. [24]

    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

  17. [25]

    William Fulton, Intersection theory, 2nd ed., Springer, 1998

    1998

  18. [26]

    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

  19. [27]

    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

  20. [28]

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

    2008

  21. [29]

    Giovanni Inchiostro, Moduli of genus one curves with two marked points as a weighted blow-up, Mathematische Zeitschrift 302 (2022)

    2022

  22. [30]

    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

  23. [31]

    Sean Keel, Intersection theory of moduli space of stable n -pointed curves of genus zero , Trans. Amer. Math. Soc. 330 (1992), no. 2, 545--574

    1992

  24. [32]

    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

  25. [33]

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

    2024 arXiv

  26. [34]

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

    2021

  27. [35]

    , 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

  28. [36]

    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

  29. [37]

    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

  30. [38]

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

    1996 arXiv

  31. [39]

    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

  32. [40]

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

    2023

  33. [41]

    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

  34. [42]

    Matthieu Romagny, Algebraicity and smoothness of fixed point stacks, 2022

    2022

  35. [43]

    Burt Totaro, Group cohomology and algebraic cycles, Cambridge Tracts in Mathematics, Cambridge University Press, 2014

    2014

  36. [44]

    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

  37. [45]

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

    1998

  38. [46]

    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 6, 2026 · model on record in the stance chip above.