Chow and cohomology rings of moduli stacks of plane quartics
Pith reviewed 2026-05-20 03:58 UTC · model grok-4.3
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.
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.
Referee Report
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)
- [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.
- [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)
- Notation for tautological classes is introduced without a consolidated table; a summary table listing all generators and their degrees would improve readability.
- 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
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
-
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
-
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
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
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
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.
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat ≃ Nat recovery unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The Chow ring of P^H admits the explicit presentation A^*(P^H) ≅ Q[λ, δ, c^H_2]/(r_3, r_4, r'_4, r''_4, r_5).
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
-
[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]
Kirwan, Frances and Lee, Ronnie , TITLE =. Topology , FJOURNAL =. 1989 , NUMBER =. doi:10.1016/0040-9383(89)90008-6 , URL =
-
[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]
Kirwan, Frances , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971369 , URL =
-
[5]
Kirwan, Frances , TITLE =. 1984 , PAGES =. doi:10.2307/j.ctv10vm2m8 , URL =
-
[6]
Hyeon, Donghoon and Lee, Yongnam , TITLE =. Math. Res. Lett. , FJOURNAL =. 2010 , NUMBER =. doi:10.4310/MRL.2010.v17.n4.a4 , URL =
-
[7]
Hassett, Brendan and Hyeon, Donghoon , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2013 , NUMBER =. doi:10.4007/annals.2013.177.3.3 , URL =
-
[8]
Hassett, Brendan , TITLE =. Manuscripta Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s002290050213 , URL =
-
[9]
Hacking, Paul , TITLE =. Duke Math. J. , FJOURNAL =. 2004 , NUMBER =. doi:10.1215/S0012-7094-04-12421-2 , URL =
-
[10]
A compactification of the space of plane curves , author =
-
[11]
Edidin, Dan and Rydh, David , TITLE =. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1215/00127094-2020-0050 , URL =
-
[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]
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=
work page 1998
-
[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]
Ascher, Kenneth and Bejleri, Dori and Blum, Harold and DeVleming, Kristin and Inchiostro, Giovanni and Liu, Yuchen and Wang, Xiaowei , TITLE =. 2023 , Note =
work page 2023
-
[16]
Mumford, David and Fogarty, John and Kirwan, Frances , TITLE =. 1994 , PAGES =
work page 1994
-
[17]
Fulton, William , TITLE =. 1998 , PAGES =. doi:10.1007/978-1-4612-1700-8 , URL =
-
[18]
Eisenbud, David and Harris, Joe , TITLE =. 2016 , PAGES =. doi:10.1017/CBO9781139062046 , URL =
-
[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]
Valery Alexeev and Anand Deopurkar and Changho Han , TITLE =. 2024 , Note =
work page 2024
-
[21]
Canning, Samir and Larson, Hannah , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1515/crelle-2022-0024 , URL =
-
[22]
Keel, Sean , Title =. Trans. Am. Math. Soc. , ISSN =. 1992 , Language =. doi:10.2307/2153922 , Keywords =
-
[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]
On weighted blow-ups and their intersection theory , author =
-
[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]
Inchiostro, Giovanni , TITLE =. Math. Z. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00209-022-03121-5 , URL =
-
[27]
Aluffi, Paolo , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1017/S0305004109990247 , URL =
-
[28]
Schubert, David , TITLE =. Compositio Math. , FJOURNAL =. 1991 , NUMBER =
work page 1991
-
[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]
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]
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]
-
[33]
Edidin, Dan and Graham, William , TITLE =. J. Algebraic Geom. , FJOURNAL =. 1997 , NUMBER =
work page 1997
-
[34]
Vistoli, Angelo , TITLE =. Invent. Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01388892 , URL =
-
[35]
Hacking, Paul and Keel, Sean and Tevelev, Jenia , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0199-1 , URL =
-
[36]
Quek, Ming Hao and Rydh, David , title =
- [37]
-
[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]
Alper, Jarod , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2013 , NUMBER =
work page 2013
- [40]
-
[41]
Halpern-Leistner, Daniel , journal=
-
[42]
Rational intersection cohomology of quotient varieties , author=. Invent. Math. , fjournal=. 1986 , publisher=
work page 1986
-
[43]
Families of varieties of general type , SERIES =
Koll\'. Families of varieties of general type , SERIES =. 2023 , PAGES =
work page 2023
- [44]
-
[45]
Xu, Chenyang , TITLE =. EMS Surv. Math. Sci. , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/emss/51 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.