REVIEW 2 major objections 6 minor 11 references
Stable maps to quotient stacks with a properly stable point
T0 review · 2 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves that the moduli of maps from smooth curves to a quotient stack can always be compactified, provided the stack has a projective good moduli space and a dense Deligne-Mumford locus, by enlarging the target with extended…
desk verdict A substantial compactification theorem for maps to quotient stacks, with a real but checkable dependency on an external preprint that the authors should spell out. 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 central object is the extended weighted blow-up of an algebraic stack X along a weighted ideal sequence I_•, defined as the quotient $[\mathrm{Spec}_{\mathcal{X}}(\bigoplus_n I_n)/\mathbb{G}_m]$—the Gm-quotient of the deformation of X to the weighted normal cone determined by I_•. It is a birational transformation that keeps the good moduli space unchanged, contains X as a dense open substack, and contains the ordinary weighted blow-up as an open substack. Iterating extended weighted blow-ups along the centers of a saturation sequence produces the enlargement X~, and a relative-GIT comparison (Proposition 2.16) shows that the semistable loci of the intermediate steps assemble into a proper Deligne-Mumford open substack of X~. The compactification is then built by combining twisted-curve theory with quasimap theory: stable quasimaps from twisted curves to X~ are defined by a stability condition on the line bundle ω_C(Σ p_i)⊗f^*L^⊗3, and the fixed class β together with quasimap boundedness makes the resulting stack Q_g(X~, X~_DM, β) proper and Deligne-Mumford.
What would settle it
An explicit family of smooth genus-g maps to a quotient stack X=[W/G] over the punctured spectrum of a DVR whose limit, after every finite sequence of extended weighted blow-ups, still has no unique stable quasimap limit would refute Theorem 1.1. A concrete arena is the GIT compactification of plane cubics treated in Section 6: a pencil of cubics with twelve nodal fibers whose central fiber acquires a cusp or worse would violate the claimed boundary description.
Extended reading notes
Core claim
The paper's main theorem states that for every quotient stack X=[W/G] with G reductive, with a projective good moduli space X→X, and with a dense open U⊂X such that X×_X U is Deligne-Mumford, there is a proper Deligne-Mumford stack Q_g(X~, X~_DM, β) that generically parametrizes morphisms φ:C→X of class β from smooth genus-g curves and whose boundary parametrizes stable quasimaps from twisted curves to an enlargement X~ of X. The enlargement is constructed in Theorem 5.1 by an explicit birational method: starting from a sequence of saturated blow-ups of X (whose existence is imported from the literature), each step is realized as an extended weighted blow-up, and a relative-GIT comparison identifies a line bundle on the resulting stack whose semistable locus is proper and Deligne-Mumford. When X already contains a dense open proper Deligne-Mumford substack—as happens for the moduli of boundary-polarized Calabi-Yau pairs and for torus quotients of Deligne-Mumford stacks—the enlargement is unnecessary and the compactification is built directly from X. Applications include compact moduli of fibered log Calabi-Yau pairs of Kodaira dimension one and compactifications of maps to GIT quotients of binary forms, 2n-marked rational curves, and plane cubics.
Load-bearing premise
The construction depends on an imported theorem, not proved in this paper, that every algebraic stack with a good moduli space and a properly stable point admits a finite sequence of saturated blow-ups ending in a Deligne-Mumford stack; if that sequence does not exist for some target X, the enlargement and the compactification are not obtained.
Editorial extensions
If this is right
- For every quotient stack X with a projective good moduli space and a dense Deligne-Mumford locus, the space of maps from smooth curves to X has a proper Deligne-Mumford compactification Q_g(X~, X~_DM, β).
- When X already contains a dense open proper Deligne-Mumford substack, no enlargement is needed; this covers moduli of boundary-polarized Calabi-Yau pairs and torus quotients of Deligne-Mumford stacks.
- The boundary of the compactification parametrizes stable quasimaps from twisted curves to the enlarged target, so degenerations of maps are described by modular objects rather than by an abstract completion.
- In the smoothable case (X lci and X_DM smooth), the moduli stack carries a perfect obstruction theory, allowing virtual fundamental class counts.
- The appendix gives a modular proof of Hassett's conjecture: the morphism from a stack of twisted conics to the GIT stack of 2n unordered points on P^1 is an extended weighted blow-up, recovering the known weighted blow-up on coarse moduli spaces.
Reading between the lines
- Because the enlargement is built explicitly from weighted ideal sequences, one could in principle compute the boundary stratification of Q_g for a given GIT quotient by tracking the saturation algorithm step by step.
- The same strategy should apply to stacks with several properly stable points or with non-trivial stabilizers at the polystable locus, as long as the centers of the extended blow-ups are chosen compatibly; the plane-cubics example shows the stabilizer group of the polystable point controls how many steps are needed.
- A testable extension is allowing colliding marked points with Hassett-type weights; the authors conjecture (Remark 3.25) that their arguments go through, which would unify quasimap stability with weighted pointed stability.
- If future work produces saturation sequences that are canonical or minimal, Theorem 5.1 would turn any such sequence into a compact moduli of maps, effectively reducing the compactification problem to the existence of saturation sequences.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs compact moduli stacks of stable maps from genus-g curves to quotient stacks X=[W/G] with a projective good moduli space and a suitably dense Deligne-Mumford locus. The main new ingredient is the extended weighted blow-up, used to prove an enlargement theorem (Theorem 5.1) producing ~X with a line bundle whose semistable locus is proper and Deligne-Mumford. The quasimap theory of Section 3 then yields the compactification Q_{g,n}(~X,~X_DM,beta). Applications include fibred log-Calabi-Yau pairs, toric quotients, GIT plane cubics, and a modular proof of Hassett's conjecture on weighted pointed rational curves. The central enlargement step is conditional on an unstated theorem of [ER21].
Significance. If the enlargement theorem holds, this is a substantial extension of quasimap compactifications beyond the affine-quotient setting, and the extended weighted blow-up is a genuine new tool. The applications are nontrivial and are supported by explicit computations, including the automorphism-group analysis in Appendix A. I found no circularity: the enlargement is constructed from an external saturated-blow-up sequence, the main theorems do not assume their own conclusions, and there are no fitted free parameters. The main correctness risk is the unresolved dependency on [ER21].
major comments (2)
- [§5.2, proof of Theorem 5.1] The proof begins by invoking 'the main theorem in [ER21]' to obtain a sequence of saturated blow-ups X_n -> ... -> X with X_n Deligne-Mumford, but that theorem is never stated and its hypotheses are never checked. The paper's Theorem 5.1 assumes a dense open U such that X x_X U is Deligne-Mumford, while the abstract phrases the result as 'any algebraic stack with a properly stable point'; these formulations must be reconciled with the [ER21] result, including the notion of properly stable point in Lemma 2.4 and the openness of the stable locus in [ER21, Proposition 2.6]. Because the induction with extended weighted blow-ups, Lemma 5.11, and Proposition 2.16 converts this external sequence into the line bundle L_DM and hence into the boundary description in Theorem 1.1, the enlargement theorem is unsupported unless the [ER21] theorem is stated precisely and its hypotheses are verified. This is a load-bearing dependency, not a mere citation issue.
- [§4.2, proof of Theorem 4.2] The reduction to G = G_m^r x F is not justified as written. The proof asserts 'From [Bri15], there is a finite subgroup F < G and a surjective morphism G_m^r ⋊ F -> G with finite kernel. As G_m^r is contained in the center of G, the product is direct.' A central extension of G_m^r by a finite group is not automatically a direct product, and the existence of a semidirect-product presentation with finite kernel does not by itself imply that the F-action on G_m^r is trivial. Since the subsequent character-semistability argument uses the direct-product structure, Theorem 4.2 needs either a precise statement from [Bri15] showing that this splitting is available, or a modified argument.
minor comments (6)
- [Theorem 5.1(2)] The notation is mismatched: the morphism is pi: ~X -> X and p: X -> X, so the open substack should be described using (p ∘ pi)^{-1}(U), not (pi ∘ p)^{-1}(U); also U should be explicitly identified as an open substack of X.
- [Definition 3.16] There is a typo: 'stabe quasimaps' should be 'stable quasimaps'.
- [References] The reference [ER21] is cited with no arXiv number or version; because the main enlargement theorem depends on it, full bibliographic data and at least a precise statement of the cited theorem should be supplied.
- [Definition 2.20] The symbol '[Nx/Gn]' should presumably be '[N_x/G_x]'.
- [Appendix A, proof of Theorem A.4] In Step 2, the sentence about pi inducing an isomorphism of good moduli spaces uses the root-stack descent from ~CCY_{2n} to CCY_{2n}; the descent is plausible from Proposition A.7 but is not spelled out, so a clarifying sentence would remove ambiguity.
- [Abstract] The phrase 'any algebraic stack with a properly stable point' promises more than the technical hypothesis of Theorem 5.1; aligning the abstract with the actual statement would prevent a misleading first impression.
Circularity Check
No significant circularity: the enlargement is constructed via extended weighted blow-ups and standard quasimap theory, not assumed or fitted.
full rationale
The paper's central derivation chain is constructive rather than circular. Theorem 5.1 does not define the enlargement ~X to be the semistable locus of a line bundle; instead it starts from the external [ER21] theorem producing a sequence of saturated blow-ups X_n -> ... -> X with X_n Deligne-Mumford, and then builds ~X by extended weighted blow-ups so that, by Lemma 5.11 and Proposition 2.16, the semistable locus of a constructed line bundle L_DM is isomorphic to X_n. The proper Deligne-Mumford open substack is therefore an output of the construction, not an input. The moduli stack Q_g,n in Theorem 1.4 is proved proper, Deligne-Mumford, bounded, and equipped with a perfect obstruction theory using standard quasimap results from [CCFK15], [CFKM14], and twisted-curve techniques; no parameter is fitted to a subset of data and then renamed a prediction. The class beta in Definition 3.12 is a numerical input used for boundedness, not a fitted quantity. Self-citations such as [DLI22], [DLI24], and [DLV21] appear as prior lemmas and applications, but they are used as external mathematical tools with stated hypotheses and are not invoked to prove a conclusion that is then used to justify the same hypotheses. The only substantial outside dependency, the Edidin-Rydh saturated-blow-up theorem, is not stated in detail, but an unstated external hypothesis is a correctness or completeness risk, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption Dense open properly stable locus U exists as in Theorem 5.1
- domain assumption Edidin-Rydh canonical reduction of stabilizers, [ER21]
- domain assumption Global quotient and semistable locus assumptions
- standard math Standard background theorems from the stacks literature
invented entities (2)
-
Extended weighted blow-up EB_{I dot} X
-
Enlargement stack X~
Cite this review
Pith. "Pith review of Stable maps to quotient stacks with a properly stable point." pith.science (2026). https://pith.science/paper/23PNLYSW
@misc{pith2026241116141,
author = {Pith},
title = {Pith review of: Stable maps to quotient stacks with a properly stable point},
year = {2026},
howpublished = {\url{https://pith.science/paper/23PNLYSW}},
note = {Machine review of arXiv:2411.16141}
}
abstract
We compactify the moduli stack of maps from curves to certain quotient stacks $\mathcal{X}=[W/G]$ with a projective good moduli space, extending previous results from quasimap theory. For doing so, we introduce a new birational transformation for algebraic stacks, the extended weighted blow-up, to prove that any algebraic stack with a properly stable point can be enlarged so that it contains an open substack which is proper and Deligne-Mumford. As a first application, we use our main theorem to construct a compact moduli stack for certain fibered log-Calabi-Yau pairs. We further apply our result to construct a compactification of the space of maps to $\mathcal{X}$ when $\mathcal{X}$ is respectively: a quotient by a torus of a proper Deligne-Mumford stack; a GIT compactification of the stack of binary forms of degree $2n$; a GIT compactification of the stack of $2n$-marked smooth rational curves, and a GIT compactification of the stack of smooth plane cubics. In the appendix, we give a criterion for when a morphism of algebraic stacks is an extended weighted blow-up, and we use it in order to give a modular proof of a conjecture of Hassett on weighted pointed rational curves.
Reference graph
Works this paper leans on
-
[1]
[ABB+23] Kenneth Ascher, Dori Bejleri, Harold Blum, Kristin De Vl eming, Giovanni Inchiostro, Yuchen Liu, and Xiaowei W ang,Moduli of boundary polarized calabi-yau pairs , arXiv preprint arXiv:2307.06522 (2023). [ABHLX20] Jarod Alper, Harold Blum, Daniel Halpern-Leistn er, and Chenyang Xu, Reductivity of the automorphism group of k-polystable fano varieti...
arXiv 2023
-
[11]
STABLE MAPS TO QUOTIENT STACKS WITH A PROPERLY STABLE POINT 4 7 [Tel00] Constantin Teleman, The quantization conjecture revisited , Annals of Mathematics (2000), 1–43. [Vis89] Angelo Vistoli, Intersection theory on algebraic stacks and on their moduli spaces, Inventiones mathematicae 97 (1989), no. 3, 613–670. [XZ21] Chenyang Xu and Ziquan Zhuang, Uniquen...
work page 2000
-
[71]
[QR21] Ming Hao Quek and David Rydh, Weighted blow-ups, preparation. https: (2021). [Rei89] Zinovy Reichstein, Stability and equivariant maps , Inventiones mathematicae 96 (1989), no. 2, 349–383. [Rom05] Matthieu Romagny, Group actions on stacks and applications , Michigan Math. J. 53 (2005), no. 1, 209–236. [Ses72] Conjeevaram Srirangachari Seshadri, Quo...
work page 2021
-
[73]
[BL24] Harold Blum and Yuchen Liu, Good moduli spaces for boundary polarized calabi-yau surfa ce pairs, arXiv preprint arXiv:2407.00850 (2024). [BLX22] Harold Blum, Yuchen Liu, and Chenyang Xu, Openness of k-semistability for fano varieties , Duke Mathematical Journal 171 (2022), no. 13, 2753–2797. [Bri15] Michel Brion, On extensions of algebraic groups w...
arXiv 2024
-
[1897]
[HL14] Daniel Halpern-Leistner, On the structure on instability in moduli theory , arXiv preprint arXiv:1411.0627 (2014). [HLH23] Daniel Halpern-Leistner and Andres Fernandez Herr ero, The structure of the moduli of gauged maps from a smooth curve, arXiv preprint arXiv:2305.09632 (2023). [HMX18] Christopher D. Hacon, James McKernan, and Chenyang Xu, Bound...
arXiv 2014
-
[1994]
[Nak04] Iku Nakamura, Planar cubic curves, from hesse to mumford , Sugaku Expositions 17 (2004), no. 1, 73–102. [Ols06] Martin Olsson, Hom-stacks and restriction of scalars , Duke Math. J. 134 (2006), no. 1, 139–164. MR2239345 [Ols07] , (log) twisted curves , Compositio Mathematica 143 (2007), no. 2, 476–494. [Pan96] Rahul Pandharipande, A compactification...
work page 2004
-
[1996]
[BHLLX21] Harold Blum, Daniel Halpern-Leistner, Yuchen Li u, and Chenyang Xu, On properness of k-moduli spaces and optimal degenerations of fano varieties , Selecta Mathematica 27 (2021), no. 4,
work page 2021
-
[1998]
Wit h the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. [Kol19] János Kollár, Families of divisors , arXiv preprint arXiv:1910.00937 (2019). [Kol22] , Families of varieties of general type , A vailable athttps://web.math.princeton.edu/~kollar/FromMyHomePage/modbook-final
work page Pith review arXiv 2019
Show all 11 references
-
[2000]
MR1771927 [LXZ22] Yuchen Liu, Chenyang Xu, and Ziquan Zhuang, Finite generation for valuations computing stability thre sholds and applications to K-stability , Ann. of Math. (2) 196 (2022), no. 2, 507–566. MR4445441 [MFK94] David Mumford, John Fogarty, and Frances Kirwan, Geo...
2022
-
[2021]
[ER21] Dan Edidin and David Rydh, Canonical reduction of stabilizers for artin stacks with goo d moduli spaces (2021)
available at https://arxiv.org/abs/2103.13204. [ER21] Dan Edidin and David Rydh, Canonical reduction of stabilizers for artin stacks with goo d moduli spaces (2021). [FP97] W. Fulton and R. Pandharipande, Notes on stable maps and quantum cohomology , Algebraic geometry—Santa C...
2021 arXiv
-
[2022]
[Kon95] Maxim Kontsevich, Enumeration of rational curves via torus actions , The moduli space of curves (Texel Island, 1994), 1995, pp. 335–368. [KP17] Sándor Kovács and Zsolt Patakfalvi, Projectivity of the moduli space of stable log-varieties an d subadditivity of log-Kodair...
2017
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.