REVIEW 6 minor 10 references
Stringy Chow rings and weighted blow ups
T0 review · 0 major / 6 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read The stringy Chow ring of a quotient stack [X/G] and of weighted blowups is computed explicitly, with product formulas controlled by a character-sum condition.
desk verdict Solid computational paper: arbitrary-field stringy Chow rings and explicit weighted blowup formulas, with minor presentation gaps; deserves peer review. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the cyclotomic inertia stack $I^\mu(\mathcal X)=\coprod_{\zeta:\mu_r\to G}[\tilde X^\zeta/G]$, whose sectors are smooth closed substacks even when the ordinary inertia stack is only a twisted form; together with the obstruction sheaf $R^1\pi_*f^*T_{\mathcal X}$ on the double cyclotomic inertia, whose top Chern class is computed by Proposition 2.4.1. The proof of that computation rests on an explicit model of the universal twisted stable map: the moduli stack $K(\mathcal X)$ is $\mathrm{II}_\mu(\mathcal X)$, and on a sector the universal curve is $[\tilde X^H/G]\times [C_{\zeta,\eta}/H]$, where $C_{\zeta,\eta}$ is the unique $k$-curve obtained by rooting $\mathbb P^1$ at three points with prescribed monodromy at two of them (Corollary 2.3.8). For weighted blowups, these ingredients are combined with the known presentations $A^*(\mathcal Y)=A^*(Y)[t]/(\prod_a e_a)$ and $A^*(\mathcal X)=A^*(Y)[t]\cdot t\oplus A^*(X)/\langle(P(t)-P(0))\alpha,-i^*\alpha\rangle$, where $e_a$ is the $\mathbb G_m$-equivariant top Chern class of the weight-$a$ summand of the weighted normal bundle.
What would settle it
Take the root-stack example of Section 3.4, $X=\operatorname{Spec} k[x]$ with $J_\bullet=((x),b)$, where formula (32) says $e_{\zeta^{n_1}}\star e_{\zeta^{n_2}}=(-t)e_{\zeta^{n_1+n_2}}$ when $n_1,n_2>0$ and $n_1+n_2\le b$, and $e_{\zeta^{n_1+n_2}}$ otherwise; compute the same product on $[\mathbb A^1/\mu_b]$ directly from the definition (8) of the stringy product and compare the two answers. If they differ, the character-sum rule in (25) is wrong.
Extended reading notes
Core claim
On each sector $\mathrm{II}_\mu(\zeta,\eta)=[\tilde X^H/G]$ of the double cyclotomic inertia stack, the obstruction sheaf $R^1\pi_*f^*T_{\mathcal X}$ that defines the stringy product is identified as a vector bundle whose top Chern class is the product over characters $\theta$ of the subgroup $H$ generated by $\zeta$ and $\eta$ of the equivariant top Chern class $c^G_{\mathrm{top}}((N_{\tilde X^H/\tilde X})_\theta)$, taken for those $\theta$ with $\arg\theta(\zeta)+\arg\theta(\eta)>1$ (Proposition 2.4.1). Here $\arg$ of a homomorphism $\mu_r\to \mathbb G_m$ is the rational number $b/r$ from its Cartier dual. From this formula the paper derives the multiplication rule (25) for $A^*_{\mathrm{st}}$ of a weighted blowup: sectors multiply with twist factors $C_{\zeta\eta}(t)=\prod e_a$ over integer weights $a$ with $\arg\zeta^a+\arg\eta^a\ge 1$ and $\zeta^a$ or $\eta^a\ne 1$. Under Assumption 3.1.4 and in characteristic zero, Theorem 3.3.5 gives the full presentation $A^*_{\mathrm{st}}(\mathrm{Bl}_Y X)=A^*(X)[t,e_\zeta]/\mathcal J$ when $A^*(X)\to A^*(Y)$ is surjective, and Proposition 3.3.2 shows the ambient subring $A^*_{\mathrm{st}}(\mathrm{Bl}_Y X)^{\mathrm{amb}}$ is always a finitely generated $A^*(X)$-algebra with the same style of relations.
Load-bearing premise
For the weighted-blowup results, the paper assumes the Rees algebra defining the blowup is locally generated by a regular sequence in the declared degrees and has smooth center $V(I_1)$; if this regularity fails, the explicit sector decomposition and product formulas for $A^*_{\mathrm{st}}(\mathrm{Bl}_Y X)$ are not established.
Editorial extensions
If this is right
- For a weighted blowup satisfying Assumption 3.1.4 with $A^*(X)\to A^*(Y)$ surjective, $A^*_{\mathrm{st}}(\mathrm{Bl}_Y X)$ is completely described by the explicit generators and relations (29), so stringy products can be computed by polynomial arithmetic in $A^*(Y)[t]$.
- Over any field extension $K/k$, there is a canonical ring map $A^*(X_K)\otimes_{A^*(X)}A^*_{\mathrm{st}}(X)\to A^*_{\mathrm{st}}(X_K)$, an isomorphism whenever the corresponding maps on sectors are; in particular for toric Deligne-Mumford stacks the stringy Chow ring is invariant under field extension (Corollary 2.4.4).
- The obstruction formula (12) implies the product of two twisted-sector classes $e_\zeta$, $e_\eta$ lands in the sector of the product homomorphism $\zeta\eta$, with twist factors $e_a$ accumulating only when the two arguments sum to at least 1.
- The equivalence in Lemma 3.3.3 shows that surjectivity (or finite generation) of $A^*(X)\to A^*(Y)$ is detected on the exceptional divisor of the weighted blowup, a statement that holds for ordinary blowups as well.
Reading between the lines
- Because the obstruction formula is expressed purely in characters and equivariant Chern classes, the same presentation should extend to iterated weighted blowups and to root stacks along normal crossing divisors, where the Rees algebra condition is often automatic.
- The clean separation of the base field from the combinatorics suggests that stringy Chow rings of toric and quasi-toric stacks could be used to compute arithmetic intersection numbers over number fields: the sectors are constant, and only the field of definition of cycles changes.
- The ambient subring construction points to a natural filtration of $A^*_{\mathrm{st}}(\mathrm{Bl}_Y X)$ by the number of exceptional classes needed; one could test whether module-finiteness over $A^*(X)$ holds under assumptions weaker than surjectivity of $i^*$.
- The '$\arg\theta(\zeta)+\arg\theta(\eta)>1$' cutoff is a discrete analogue of the age condition in orbifold cohomology; the same inequality may be the right correction term when comparing stringy Chow rings to orbifold cohomology after cycle class maps.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper computes the stringy Chow ring A*_st(X) of smooth tame Deligne-Mumford stacks X=[X~/G] with X~ smooth and G diagonalizable, over a base field k that is not assumed to be algebraically closed. The central technical result is Proposition 2.4.1, which identifies the obstruction sheaf on the sector II_mu(zeta,eta) as a product of equivariant top Chern classes of character summands of the normal bundle. The authors then specialize to weighted blowups Bl_I•(X) of a smooth variety along a smooth center, imposing explicit regularity Assumptions 3.1.1 and 3.1.4, and obtain an explicit presentation of A*_st(Bl_I•(X)) (Propositions 3.2.4 and 3.3.2) together with a finite-generation criterion over A*(X) (Theorem 3.3.5).
Significance. If correct, the paper gives a substantial generalization of the complex-number computations of BCS05, GHK07, and JT10 to arbitrary base fields, and it provides an explicit, computable description in the weighted-blowup case. The obstruction-formula proof is carried out from first principles, and the regularity assumptions delimiting the weighted-blowup results are stated explicitly rather than hidden. The finite-generation theorem with explicit relations (29) is a concrete structural statement that should be useful for further examples. The paper would be a valuable reference for work on stringy Chow rings and weighted blowups.
minor comments (6)
- [Lemma 2.4.2] In the proof of Lemma 2.4.2, the second denominator in the displayed formula for b is printed as r1 twice ('-a2/r1' and 'a1/r1 + a2/r1 > 1'); it should be r2. The conclusion is unaffected once this typo is fixed, but the current text is confusing.
- [Section 1.1 and Corollary 2.4.3] Theorem 1.1.1 in the introduction states the base-change criterion using all subgroups H of G, while Corollary 2.4.3 states the criterion using all sectors I_mu(zeta); these are formally different conditions and the two statements should be reconciled.
- [Proposition 2.3.3] The reduction to complete local rings with separably closed residue field is only sketched: the fully-faithfulness assertion is attributed to finiteness of Isom schemes and essential surjectivity to Artin approximation. Since this isomorphism is the foundation for Theorem 2.3.1 and hence for the obstruction computation, a few more sentences explaining the descent and the Artin approximation step would make the proof substantially easier to verify.
- [Proposition 3.2.4, eq. (25)] The product in (25) is taken over all a in Z, whereas the classes e_a were introduced only for a > 0; the convention that e_a = 1 for all a <= 0 except e_{-1} = -t makes this harmless, but an explicit sentence recording this convention would prevent confusion.
- [Theorem 3.3.5, proof] The phrase 'generated by ker i* and prod_{zeta in mu_{bk}} e_k' appears to contain a notation error; the intended relation should describe the kernel of the composition A*(X) -> A*(Y) -> A*(I_mu(zeta)) in terms of the weights or indices defining the closed immersion I_mu(zeta) -> Y, and it should be restated.
- [Lemma 3.3.3] The same symbol Y is used for the center in X and for the exceptional divisor in X, which makes statements such as 'N' is a subbundle of N_{Y/X}' and the diagram in the proof hard to parse on first reading. Please use different letters, for example Z for the center.
Circularity Check
No significant circularity found: the obstruction formula is derived from first principles, and the only self-citation is a minor technical sub-step.
full rationale
The derivation chain for the central claim (Prop. 2.4.1) is self-contained: the universal family is identified in Thm. 2.3.1 from the root-stack computation in Lem. 2.3.4 and the injectivity proof in Lem. 2.3.7, and Lemma 2.4.2 computes R1π∗f∗Eθ directly from character weights and the line-bundle computation on P1, so the age condition argθ(ζ)+argθ(η)>1 is a computed output, not a built-in input. The paper explicitly frames Prop. 2.4.1 as generalizing [BCS05, Prop. 6.3], but it does not import that result; it re-proves it over arbitrary fields via Cor. 2.3.8. Section 3's formulas use the ordinary Chow rings of weighted blowups from [AOA23] and [QR22], which are external to the authors and are invoked as stated presentations, not as redefinitions of the stringy product; the stringy product rule (25) follows from Prop. 2.4.1 plus the pushforward computation in Lem. 3.2.5. Assumptions 3.1.1 and 3.1.4 are explicit regularity hypotheses delimiting the scope, and Thm. 3.3.5's finite-generation criterion is an equivalence proved from those presentations. The only self-citation is [OW24] (one author in common) used in the final line of Lem. 2.3.7 to identify two relative coarse moduli spaces; this is one technical sub-step, not a source of the obstruction formula or of the product rule, and it does not import the paper's own conclusions. No fitted parameter is renamed as a prediction, and no known result is repackaged under new names. Score 2 reflects the presence of this single minor self-citation, not any circular reduction.
Assumptions & free parameters
assumptions (4)
- standard math The stringy Chow ring and its product via twisted stable maps is a well-defined ring for smooth tame DM stacks over k, as in [AGV02] and equation (8).
- domain assumption The quotient X = [~X/G] is a tame DM stack with G diagonalizable and char k prime to the orders of the stabilizer groups.
- ad hoc to paper For weighted blowups, the Rees algebra satisfies Assumption 3.1.1, later Assumption 3.1.4, and the base field has characteristic zero.
- standard math The Chow ring presentations for twisted weighted projective bundles and weighted blowups from [AOA23, Thm 3.12 and Thm 6.4] and [QR22] are correct.
Cite this review
Pith. "Pith review of Stringy Chow rings and weighted blow ups." pith.science (2026). https://pith.science/paper/KWFQPAJX
@misc{pith2026250200259,
author = {Pith},
title = {Pith review of: Stringy Chow rings and weighted blow ups},
year = {2026},
howpublished = {\url{https://pith.science/paper/KWFQPAJX}},
note = {Machine review of arXiv:2502.00259}
}
read the original abstract
We compute the stringy chow ring of a general Deligne-Mumford stack of the form [X/G] for a smooth variety X and diagonalizable group scheme G, working over a base field that is not necessarily algebraically closed. We then specialize to the stringy chow ring of the weighted blow up of a smooth variety along a smooth center. We explore finite generation properties of this ring.
Reference graph
Works this paper leans on
-
[3]
Orbifold co homology of torus quotients
Folge. A Series of Modern Surveys in Mat hemat- ics [Results in Mathematics and Related Areas. 3rd Series. A Series of Mod- ern Surveys in Mathematics]. Springer-Verlag, Berlin, 1998, pp. xiv +470. doi: 10.1007/978-1-4612-1700-8 . [GHK07] Rebecca Goldin, Tara S. Holm, and Allen Knutson. “Orbifold co homology of torus quotients”. In: Duke Math. J. 139.1 (2...
-
[8]
Algebraic o rbifold quan- tum products
Special issue in honor of Steven L. K leiman. 2003, pp. 3547–3618. doi: 10.1081/AGB-120022434. [AGV02] Dan Abramovich, Tom Graber, and Angelo Vistoli. “Algebraic o rbifold quan- tum products”. In: Orbifolds in mathematics and physics (Madison, WI,
-
[26]
Orbifold cohom ology for global quo- tients
New Mathematical Monographs. Cambridge University Press, Cambridge, 2015, pp. xxiv+665. doi: 10.1017/CBO9781316092439. [FG03] Barbara Fantechi and Lothar G¨ ottsche. “Orbifold cohom ology for global quo- tients”. In: Duke Math. J. 117.2 (2003), pp. 197–227. doi: 10.1215/S0012-7094-03-11721-4 . [Ful98] William Fulton. Intersection theory. Second. Vol
-
[62]
American Mathematical Society, Pro vidence, RI, 2016, pp
American Mathematical Society Colloquium Publications. American Mathematical Society, Pro vidence, RI, 2016, pp. xi+298. doi: 10.1090/coll/062. [OW24] Martin Olsson and Rachel Webb. Curves with colliding points: logarithmic and stacky
doi:10.1090/coll/062 2016
-
[215]
doi: 10.1090/S0894-0347-04-00471-0 . [Cad06] Charles Cadman. Using stacks to impose tangency conditions on curves
-
[310]
Good moduli spaces for Artin stacks
Contemp. Math. Amer. Math. Soc., Providence, RI, 2002 , pp. 1–24. doi: 10.1090/conm/310/05397. [Alp13] Jarod Alper. “Good moduli spaces for Artin stacks”. In: Ann. Inst. Fourier (Grenoble) 63.6 (2013), pp. 2349–2402. [AOA23] Veronica Arena, Stephen Obinna, and Dan Abramovich. The integral Chow ring of weighted blow-ups
-
[2006]
Using stacks to impose tangency conditions on curves
arXiv: math/0312349 [math.AG] . [Che+22] Qile Chen et al. “Towards logarithmic GLSM: the r-spin case”. In: Geom. Topol. 26.7 (2022), pp. 2855–2939. doi: 10.2140/gt.2022.26.2855. [Con07] Brian Conrad. “Arithmetic moduli of generalized elliptic curve s”. In: J. Inst. Math. Jussieu 6.2 (2007), pp. 209–278. doi: 10.1017/S1474748006000089. [CGP15] Brian Conrad...
work page Pith review arXiv 2022
-
[2022]
[Stacks] The Stacks Project Authors. Stacks Project. https://stacks.math.columbia.edu. 2018
work page 2018
Show all 10 references
-
[2023]
The orb ifold Chow ring of toric Deligne-Mumford stacks
arXiv: 2307.01459 [math.AG] . [BCS05] Lev A. Borisov, Linda Chen, and Gregory G. Smith. “The orb ifold Chow ring of toric Deligne-Mumford stacks”. In: J. Amer. Math. Soc. 18.1 (2005), pp. 193–
2005 arXiv
-
[2024]
(Log) twisted curves
arXiv: 2412.03408 [math.AG] . 30 REFERENCES [Ols07] Martin C. Olsson. “(Log) twisted curves”. In: Compos. Math. 143.2 (2007), pp. 476–494. doi: 10.1112/S0010437X06002442. [QR22] Ming Hao Quek and David Rydh. Weighted Blow-ups
2007 arXiv
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.