pith. sign in

arxiv: 2605.20045 · v1 · pith:Q5O5GB5Cnew · submitted 2026-05-19 · 🧮 math.AG

Chow and cohomology rings of moduli stacks of plane quartics

Pith reviewed 2026-05-20 03:58 UTC · model grok-4.3

classification 🧮 math.AG MSC 14C1514D2014H10
keywords moduli stacks of plane quarticsChow ringscohomology ringstautological classesweighted blowupsKSBA compactificationK-moduli
0
0 comments X

The pith

The Hacking moduli stack of plane quartics has its Chow ring generated by tautological classes with explicit relations, and its cycle class map to rational cohomology is an isomorphism.

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

The paper constructs a smooth proper Deligne-Mumford stack resolving the Calabi-Yau wall crossing between the KSBA and K-moduli compactifications of plane quartics, obtained via stack-theoretic weighted blowups. Its coarse space is the fiber product of the diagram connecting the KSBA, K-moduli, and boundary polarized Calabi-Yau compactifications. Using this construction, the Poincaré polynomial of the stack is computed, the cycle class map is shown to be an isomorphism with rational coefficients, and generators and relations for the Chow ring are determined in terms of tautological classes. Analogous computations hold for the GIT and K-moduli stacks. A sympathetic reader cares because this supplies an explicit algebraic presentation of the rings that govern intersection theory on these moduli spaces.

Core claim

We construct a smooth proper Deligne-Mumford stack P^H via stack-theoretic weighted blowups that resolves the Calabi-Yau wall crossing for moduli of plane quartics. Its coarse moduli space is, up to normalization, the fiber product relating the KSBA, K-moduli, and boundary polarized Calabi-Yau compactifications. From this we compute the Poincaré polynomial of P^H, prove that the cycle class map is an isomorphism with rational coefficients, and determine generators and relations for its Chow ring in terms of tautological classes. The same results hold for the GIT and K-moduli stacks.

What carries the argument

The Hacking moduli stack P^H obtained via stack-theoretic weighted blowups that resolves the Calabi-Yau wall crossing between KSBA and K-moduli compactifications.

Load-bearing premise

The stack obtained via stack-theoretic weighted blowups is smooth, proper, and Deligne-Mumford with coarse space equal to the fiber product of the diagram relating the KSBA, K-moduli, and boundary polarized Calabi-Yau compactifications.

What would settle it

An explicit cycle in the Chow ring of P^H whose class lies outside the subring generated by the claimed tautological classes, or a computation of Betti numbers that fails to match the stated Poincaré polynomial.

read the original abstract

This paper studies the Chow and cohomology rings of the Hacking moduli stack $\mathcal{P}^{\mathrm{H}}$ of plane quartics. We construct a smooth proper Deligne--Mumford stack resolving the Calabi--Yau wall crossing between the KSBA and K-moduli compactifications for plane quartics via stack-theoretic weighted blowups. Its coarse moduli space is, up to normalization, the fiber product of the natural diagram relating the KSBA, K-moduli, and boundary polarized Calabi--Yau compactifications. From this, we compute the Poincar\'e polynomial of $\mathcal{P}^{\mathrm{H}}$, show that the cycle class map is an isomorphism with rational coefficients, and determine generators and relations for its Chow ring in terms of tautological classes. Analogous results are established for the GIT and K-moduli stacks.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper constructs the Hacking moduli stack P^H of plane quartics as a smooth proper Deligne-Mumford stack via stack-theoretic weighted blowups that resolve the Calabi-Yau wall crossing between the KSBA and K-moduli compactifications. Its coarse moduli space is (up to normalization) the fiber product of the diagram relating KSBA, K-moduli, and boundary polarized Calabi-Yau compactifications. From this construction the authors compute the Poincaré polynomial of P^H, prove that the cycle class map is an isomorphism over Q, and determine explicit generators and relations for the Chow ring in terms of tautological classes. Analogous results are stated for the GIT and K-moduli stacks.

Significance. If the central construction is valid, the explicit computation of the Poincaré polynomial, the isomorphism of the cycle class map over Q, and the presentation of the Chow ring by tautological classes constitute a concrete advance in the study of moduli stacks of plane curves and their wall-crossing behavior. Such results provide testable predictions and a template for similar computations on other moduli stacks arising from KSBA or K-moduli compactifications.

major comments (2)
  1. [Section 3] Construction of P^H via weighted blowups (Section 3): the claim that the resulting stack is smooth, proper, and Deligne-Mumford is load-bearing for the Poincaré polynomial, the cycle-class isomorphism, and the Chow-ring presentation. The local étale charts and successive weighted blowups are described, but the argument that no singularities or non-DM stabilizers appear at the exceptional loci after all blowups is not fully expanded; a global verification or explicit atlas showing the quotient stacks remain smooth would be required to support the subsequent ring computations.
  2. [Section 5] Cycle class map and Chow ring (Section 5): the isomorphism of the cycle class map over Q and the claimed generators/relations in tautological classes are derived after establishing smoothness of P^H. If the smoothness statement in Section 3 requires additional checks, the ring computations rest on an assumption that needs independent confirmation, for example by exhibiting an explicit basis for the Chow groups that matches the computed Poincaré polynomial.
minor comments (2)
  1. Notation for tautological classes is introduced without a consolidated table; a summary table listing all generators and their degrees would improve readability.
  2. The abstract states results for the GIT and K-moduli stacks but the corresponding sections contain fewer explicit relations than for P^H; cross-references between these computations would clarify the analogies.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the construction and computations in our manuscript. We address each major comment below and indicate the revisions we will make.

read point-by-point responses
  1. Referee: [Section 3] Construction of P^H via weighted blowups (Section 3): the claim that the resulting stack is smooth, proper, and Deligne-Mumford is load-bearing for the Poincaré polynomial, the cycle-class isomorphism, and the Chow-ring presentation. The local étale charts and successive weighted blowups are described, but the argument that no singularities or non-DM stabilizers appear at the exceptional loci after all blowups is not fully expanded; a global verification or explicit atlas showing the quotient stacks remain smooth would be required to support the subsequent ring computations.

    Authors: We agree that the verification that the stack remains smooth and Deligne-Mumford after the successive weighted blowups, particularly at the exceptional loci, would benefit from a more expanded argument. In the revised version we will add a dedicated subsection in Section 3 that assembles the local étale charts into a global atlas. We will explicitly verify that the weighted blowup actions on the normal bundles to the fixed loci preserve finite stabilizers and smoothness by computing the weights and checking that no new singularities arise. This will directly support the subsequent computations. revision: yes

  2. Referee: [Section 5] Cycle class map and Chow ring (Section 5): the isomorphism of the cycle class map over Q and the claimed generators/relations in tautological classes are derived after establishing smoothness of P^H. If the smoothness statement in Section 3 requires additional checks, the ring computations rest on an assumption that needs independent confirmation, for example by exhibiting an explicit basis for the Chow groups that matches the computed Poincaré polynomial.

    Authors: The computations of the cycle class map and Chow ring in Section 5 do rely on the smoothness of P^H established in Section 3. To supply the requested independent confirmation, we will augment Section 5 with an explicit computation of the Chow groups via the stratification by the boundary divisors arising from the weighted blowups. We will exhibit a basis whose dimensions match the Poincaré polynomial and thereby confirm the isomorphism of the cycle class map over Q. The generators and relations in tautological classes will be re-derived from this basis. revision: yes

Circularity Check

0 steps flagged

No significant circularity; ring computations derive from independent geometric construction

full rationale

The paper constructs the stack P^H explicitly via stack-theoretic weighted blowups to resolve the KSBA/K-moduli wall crossing, then computes the Poincaré polynomial, establishes the cycle class map isomorphism over Q, and presents the Chow ring generators/relations in tautological classes. These steps follow from the properties of the constructed smooth proper DM stack and its coarse space as a fiber product; no equation or claim reduces by definition to a fitted input, self-citation chain, or renamed ansatz. Citations to prior KSBA and K-moduli work provide background context but are not load-bearing for the ring results, which rest on the new construction and standard properties of Chow rings on smooth DM stacks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; all claims rest on standard background results in moduli theory of curves and algebraic stacks.

pith-pipeline@v0.9.0 · 5664 in / 1094 out tokens · 32649 ms · 2026-05-20T03:58:28.650918+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    A complex hyperbolic structure for the moduli space of curves of genus three , JOURNAL =

    Kond\=. A complex hyperbolic structure for the moduli space of curves of genus three , JOURNAL =. 2000 , PAGES =. doi:10.1515/crll.2000.069 , URL =

  2. [2]

    Topology , FJOURNAL =

    Kirwan, Frances and Lee, Ronnie , TITLE =. Topology , FJOURNAL =. 1989 , NUMBER =. doi:10.1016/0040-9383(89)90008-6 , URL =

  3. [3]

    Proceedings of the London Mathematical Society , author=

    The cohomology of moduli spaces of. Proceedings of the London Mathematical Society , author=. 1989 , month=. doi:10.1112/plms/s3-58.3.559 , number=

  4. [4]

    Kirwan, Frances , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971369 , URL =

  5. [5]

    1984 , PAGES =

    Kirwan, Frances , TITLE =. 1984 , PAGES =. doi:10.2307/j.ctv10vm2m8 , URL =

  6. [6]

    Hyeon, Donghoon and Lee, Yongnam , TITLE =. Math. Res. Lett. , FJOURNAL =. 2010 , NUMBER =. doi:10.4310/MRL.2010.v17.n4.a4 , URL =

  7. [7]

    Hassett, Brendan and Hyeon, Donghoon , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2013 , NUMBER =. doi:10.4007/annals.2013.177.3.3 , URL =

  8. [8]

    Manuscripta Math

    Hassett, Brendan , TITLE =. Manuscripta Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s002290050213 , URL =

  9. [9]

    Duke Math

    Hacking, Paul , TITLE =. Duke Math. J. , FJOURNAL =. 2004 , NUMBER =. doi:10.1215/S0012-7094-04-12421-2 , URL =

  10. [10]

    A compactification of the space of plane curves , author =

  11. [11]

    Duke Math

    Edidin, Dan and Rydh, David , TITLE =. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1215/00127094-2020-0050 , URL =

  12. [12]

    Canning, Samir and Oprea, Dragos and Pandharipande, Rahul , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1515/crelle-2024-0063 , URL =

  13. [13]

    Equivariant intersection theory (With an Appendix by Angelo Vistoli: The Chow ring of

    Edidin, Dan and Graham, William , journal=. Equivariant intersection theory (With an Appendix by Angelo Vistoli: The Chow ring of. 1998 , publisher=

  14. [14]

    Ascher, Kenneth and DeVleming, Kristin and Liu, Yuchen , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/plms.12615 , URL =

  15. [15]

    2023 , Note =

    Ascher, Kenneth and Bejleri, Dori and Blum, Harold and DeVleming, Kristin and Inchiostro, Giovanni and Liu, Yuchen and Wang, Xiaowei , TITLE =. 2023 , Note =

  16. [16]

    1994 , PAGES =

    Mumford, David and Fogarty, John and Kirwan, Frances , TITLE =. 1994 , PAGES =

  17. [17]

    1998 , PAGES =

    Fulton, William , TITLE =. 1998 , PAGES =. doi:10.1007/978-1-4612-1700-8 , URL =

  18. [18]

    2016 , PAGES =

    Eisenbud, David and Harris, Joe , TITLE =. 2016 , PAGES =. doi:10.1017/CBO9781139062046 , URL =

  19. [19]

    Alexeev, Valery and Engel, Philip and Han, Changho , TITLE =. Trans. Amer. Math. Soc. Ser. B , FJOURNAL =. 2024 , PAGES =. doi:10.1090/btran/136 , URL =

  20. [20]

    2024 , Note =

    Valery Alexeev and Anand Deopurkar and Changho Han , TITLE =. 2024 , Note =

  21. [21]

    Canning, Samir and Larson, Hannah , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1515/crelle-2022-0024 , URL =

  22. [22]

    Keel, Sean , Title =. Trans. Am. Math. Soc. , ISSN =. 1992 , Language =. doi:10.2307/2153922 , Keywords =

  23. [23]

    Algebra Number Theory , FJOURNAL =

    Arena, Veronica and Obinna, Stephen , TITLE =. Algebra Number Theory , FJOURNAL =. 2025 , NUMBER =. doi:10.2140/ant.2025.19.1231 , URL =

  24. [24]

    On weighted blow-ups and their intersection theory , author =

  25. [25]

    Compact moduli spaces and vector bundles , SERIES =

    Hacking, Paul , TITLE =. Compact moduli spaces and vector bundles , SERIES =. 2012 , ISBN =. doi:10.1090/conm/564/11157 , URL =

  26. [26]

    Inchiostro, Giovanni , TITLE =. Math. Z. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00209-022-03121-5 , URL =

  27. [27]

    Aluffi, Paolo , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1017/S0305004109990247 , URL =

  28. [28]

    Compositio Math

    Schubert, David , TITLE =. Compositio Math. , FJOURNAL =. 1991 , NUMBER =

  29. [29]

    Sur les groupes alg\'ebriques , SERIES =

    Luna, Domingo , TITLE =. Sur les groupes alg\'ebriques , SERIES =. 1973 , MRCLASS =. doi:10.24033/msmf.110 , URL =

  30. [30]

    Alper, Jarod and Hall, Jack and Rydh, David , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2020 , NUMBER =. doi:10.4007/annals.2020.191.3.1 , URL =

  31. [31]

    Functorial embedded resolution via weighted blowings up , JOURNAL =

    Abramovich, Dan and Temkin, Michael and W. Functorial embedded resolution via weighted blowings up , JOURNAL =. 2024 , NUMBER =. doi:10.2140/ant.2024.18.1557 , URL =

  32. [32]

    2025 , PAGES =

    Vakil, Ravi , TITLE =. 2025 , PAGES =

  33. [33]

    Edidin, Dan and Graham, William , TITLE =. J. Algebraic Geom. , FJOURNAL =. 1997 , NUMBER =

  34. [34]

    Vistoli, Angelo , TITLE =. Invent. Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01388892 , URL =

  35. [35]

    Hacking, Paul and Keel, Sean and Tevelev, Jenia , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0199-1 , URL =

  36. [36]

    Quek, Ming Hao and Rydh, David , title =

  37. [37]

    2024 , Note =

    Blum, Harold and Liu, Yuchen , TITLE =. 2024 , Note =

  38. [38]

    Abramovich, Dan and Olsson, Martin and Vistoli, Angelo , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S1056-3911-2010-00569-3 , URL =

  39. [39]

    Alper, Jarod , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2013 , NUMBER =

  40. [40]

    2022 , Note =

    Halpern-Leistner, Daniel , TITLE =. 2022 , Note =

  41. [41]

    Halpern-Leistner, Daniel , journal=

  42. [42]

    Rational intersection cohomology of quotient varieties , author=. Invent. Math. , fjournal=. 1986 , publisher=

  43. [43]

    Families of varieties of general type , SERIES =

    Koll\'. Families of varieties of general type , SERIES =. 2023 , PAGES =

  44. [44]

    2025 , PAGES =

    Xu, Chenyang , TITLE =. 2025 , PAGES =

  45. [45]

    EMS Surv

    Xu, Chenyang , TITLE =. EMS Surv. Math. Sci. , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/emss/51 , URL =