A criterion for smooth weighted blow-downs

Andrea Di Lorenzo; Giovanni Inchiostro; Michele Pernice; Siddharth Mathur; Stephen Obinna; Veronica Arena

arxiv: 2310.15076 · v3 · submitted 2023-10-23 · 🧮 math.AG

A criterion for smooth weighted blow-downs

Veronica Arena , Andrea Di Lorenzo , Giovanni Inchiostro , Siddharth Mathur , Stephen Obinna , Michele Pernice This is my paper

Pith reviewed 2026-05-24 05:55 UTC · model grok-4.3

classification 🧮 math.AG

keywords weighted blow-upsDeligne-Mumford stackscontraction morphismsmoduli of curvesalgebraic stackspushoutsgenus one curvespseudo-stable curves

0 comments

The pith

A smooth Deligne-Mumford stack with a Cartier divisor that forms a weighted projective bundle over Y and restricts to O(-1) on fibers contracts to another smooth stack of which it is the weighted blow-up.

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

The paper supplies a sufficient condition under which a smooth Deligne-Mumford stack X can be recognized as the weighted blow-up of a second smooth Deligne-Mumford stack Z along a closed substack Y. The condition requires that a Cartier divisor E in X is a weighted projective bundle over Y and that the line bundle O_X(E) restricts to O(-1) on every fiber of this bundle. When the condition holds, X admits a contraction morphism to a smooth stack Z, X is recovered exactly as the weighted blow-up of Z along Y, and Z arises as the pushout of the diagram in algebraic stacks. The criterion is used to identify the moduli stack of stable n-pointed genus-one curves as a weighted blow-up of the stack of pseudo-stable curves, and a separate reconstruction theorem for smooth Deligne-Mumford stacks is proved along the way.

Core claim

Given a smooth Deligne-Mumford stack X and a Cartier divisor E subset X such that E is a weighted projective bundle over Y and O_X(E)|_{E_y} ≅ O_{E_y}(-1) for all y in Y, there exists a contraction X to Z to a smooth DM stack Z; moreover X is the weighted blow-up of Z along Y and Z is the pushout in algebraic stacks.

What carries the argument

The fiberwise restriction condition that O_X(E) restricts to O(-1) on each fiber of the weighted projective bundle E over Y, which produces the contraction morphism to the pushout stack Z.

If this is right

The moduli stack of stable n-pointed genus-one curves is recovered as the weighted blow-up of the stack of pseudo-stable curves along the indicated substack.
Z arises canonically as the pushout of the diagram formed by the inclusion of Y and the projection from E.
Smoothness of both X and Z is preserved by the contraction under the stated normal-bundle condition.
The same normal-bundle criterion supplies a reconstruction of any smooth Deligne-Mumford stack from its weighted blow-up data.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The criterion may identify weighted blow-up presentations in other moduli problems where exceptional loci are weighted projective bundles.
Intersection numbers or cohomology on Z can be computed by pulling back to X and subtracting the contribution of the exceptional divisor E.
The pushout description of Z may allow direct comparison of deformation spaces before and after the contraction without resolving singularities.

Load-bearing premise

The restriction of O_X(E) to O(-1) on every fiber of E over Y is enough to guarantee that a contraction to a smooth stack Z exists and that X is recovered as the weighted blow-up.

What would settle it

An explicit smooth DM stack X containing a Cartier divisor E that is a weighted projective bundle over Y with the O(-1) restriction on fibers, yet whose contraction either fails to exist or yields a non-smooth target Z.

read the original abstract

We establish a criterion for determining when a smooth Deligne-Mumford stack is a weighted blow-up. More precisely, given a smooth Deligne-Mumford stack $\mathcal{X}$ and a Cartier divisor $\mathcal{E} \subset \mathcal{X}$ such that (1) $\mathcal{E}$ is a weighted projective bundle over a smooth Deligne-Mumford stack $\mathcal{Y}$ and (2) for every $y\in\mathcal{Y}$ we have $\mathcal{O}_{\mathcal{X}}(\mathcal{E})|_{\mathcal{E}_y}\simeq \mathcal{O}_{\mathcal{E}_y}(-1)$, then there exists a contraction $\mathcal{X}\to\mathcal{Z}$ to a smooth Deligne-Mumford stack $\mathcal{Z}$. Moreover, the stack $\mathcal{X}$ can be recovered as a weighted blow-up along $\mathcal{Y}\subset \mathcal{Z}$ with exceptional divisor $\mathcal{E}$, and $\mathcal{Z}$ is a pushout in the category of algebraic stacks. As an application, we show that the moduli stack $\overline{\mathscr{M}}_{1,n}$ of stable $n$-pointed genus one curves is a weighted blow-up of the stack of pseudo-stable curves. Along the way we also prove a reconstruction result for smooth Deligne-Mumford stacks that is of independent interest.

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.

Desk Editor's Note private letter to a colleague

The paper packages a clean recognition criterion for weighted blow-downs of smooth DM stacks and uses it to identify the stable genus-one moduli stack as a weighted blow-up of the pseudo-stable one.

read the letter

The core new piece is the criterion: given smooth DM stack X with Cartier divisor E that is a weighted projective bundle over smooth DM stack Y, and with O_X(E) restricting to O(-1) on every fiber, there is a contraction X to Z with Z smooth DM, X the weighted blow-up of Z along Y, and Z the pushout in algebraic stacks. They also record a reconstruction result for smooth DM stacks. The application to Mbar_{1,n} as weighted blow-up of the pseudo-stable stack is the most immediate payoff, since it directly relates two known compactifications without extra data. The statement is stated cleanly in the abstract and the normal-bundle condition is the expected local model, so the packaging looks useful rather than artificial. The reconstruction theorem is flagged as independent interest, which is reasonable if it avoids heavy machinery. Soft spots are limited. The abstract gives no proof outline or key lemmas, so the actual construction of the contraction and the verification that Z stays smooth and DM cannot be checked from what is here; that is the main gap until the full text is read. No circularity or self-referential fitting is visible in the claim itself. The work is aimed at people working on moduli stacks and weighted blow-ups in algebraic geometry. A reader who already knows the local models for weighted blow-ups will get the most out of the global recognition statement and the moduli example. It is worth sending to peer review because the claim is precise, the application is concrete, and the result organizes existing compactifications in a usable way even if the proof details need referee scrutiny.

Referee Report

0 major / 3 minor

Summary. The paper establishes a criterion for when a smooth Deligne-Mumford stack X with Cartier divisor E is a weighted blow-up: if E is a weighted projective bundle over smooth DM stack Y and O_X(E) restricts to O_{E_y}(-1) on every fiber, then there is a contraction X → Z to a smooth DM stack Z such that X is the weighted blow-up of Z along Y and Z is the pushout in algebraic stacks. The paper also proves an auxiliary reconstruction theorem for smooth DM stacks and applies the criterion to show that the moduli stack of stable n-pointed genus-one curves is a weighted blow-up of the stack of pseudo-stable curves.

Significance. If correct, the criterion supplies a practical, checkable local-to-global condition for recognizing weighted blow-ups of DM stacks, extending standard local models to the global stack setting. The reconstruction theorem is of independent interest, and the application to M_{1,n} gives a concrete moduli-theoretic illustration. The work strengthens the toolkit for birational geometry and moduli problems involving stacks.

minor comments (3)

§2 (reconstruction theorem): the statement of the reconstruction result for smooth DM stacks should explicitly list the hypotheses on the étale atlas and the gluing data used in the proof, to make the independent-interest claim easier to apply.
§4 (application to M_{1,n}): the verification that the normal-bundle condition holds for the exceptional divisor in the genus-one case is only sketched; a short computation or reference to the local model would strengthen the application.
Notation: the symbol Z is used both for the target stack and (in one paragraph) for a local chart; a global change or explicit disambiguation would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and recommendation of minor revision. The referee's summary correctly reflects the paper's main contributions, including the criterion for weighted blow-ups of smooth DM stacks, the reconstruction theorem, and the application to the moduli stack of stable genus-one curves. No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states an explicit criterion theorem whose hypotheses are the weighted projective bundle structure on E together with the fiberwise normal bundle condition O_X(E)|_{E_y} ≅ O_{E_y}(-1). These are independent geometric assumptions, not definitions or fitted quantities. The reconstruction result for smooth DM stacks is presented as auxiliary and of independent interest. No load-bearing self-citation, self-definitional step, or renaming of a known result appears in the derivation chain; the contraction and pushout statements follow from the stated local-to-global conditions without reduction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract; the paper relies on the established theory of Deligne-Mumford stacks, Cartier divisors, and weighted projective bundles. No free parameters, invented entities, or ad-hoc axioms are visible.

axioms (1)

domain assumption The category of algebraic stacks admits pushouts under the stated hypotheses on X, E, and Y.
The contraction Z is asserted to be the pushout in the category of algebraic stacks.

pith-pipeline@v0.9.0 · 5773 in / 1334 out tokens · 34813 ms · 2026-05-24T05:55:37.017100+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

given a smooth Deligne-Mumford stack X and Cartier divisor E ⊂ X such that E is a weighted projective bundle over Y and O_X(E)|_{E_y} ≅ O_{E_y}(-1) for all y ∈ Y, there exists a contraction X → Z to a smooth DM stack Z
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 5.2 ... X is a weighted blow-up of X' at Spec(A) with weights a1,...,an

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Logarithmic Hilbert schemes of curves as weighted blow-ups and their integral Chow rings
math.AG 2026-05 unverdicted novelty 6.0

Logarithmic Hilbert schemes of points on smooth pointed curves are iterated weighted blow-ups of symmetric products, from which their integral Chow rings are computed using recent formulas for weighted blow-ups.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages · cited by 1 Pith paper

[1]

The ´ etale local stru cture of algebraic stacks

With a contribution by Joseph D aniel Harris. [AHR23] Jarod Alper, Jack Hall, and David Rydh, The étale local structure of algebraic stacks (2023), available at 1912.06162. [AKMW02] Dan Abramovich, Kalle Karu, Kenji Matsuki, and Jar osław Włodarczyk, Toriﬁcation and factorization of birational maps, Journal of the American Mathematical Society 15 (2002), ...

work page arXiv 2023
[2]

[BDL24] Luca Battistella and Andrea Di Lorenzo, Wall crossing integral Chow rings of M1,n, Arxiv eprint (2024), available at 2402.14644

[ATW19] Dan Abramovich, Michael Temkin, and Jarosław Włoda rczyk, Functorial embedded resolution via weighted blowings up, arXiv preprint arXiv:1906.07106 (2019). [BDL24] Luca Battistella and Andrea Di Lorenzo, Wall crossing integral Chow rings of M1,n, Arxiv eprint (2024), available at 2402.14644. [Čes19] Kęstutis Česnavičius, Purity for the Brauer group...

work page arXiv 1906
[3]

1, 589–641

MR1841091 [DH21] Anand Deopurkar and Changho Han, Stable log surfaces, admissible covers, and canonical curv es of genus 4 , Transactions of the American Mathematical Society 374 (2021), no. 1, 589–641. [DLPV21] Andrea Di Lorenzo, Michele Pernice, and Angelo Vis toli, Stable cuspidal curves and the integral Chow ring of M2,1,

work page 2021
[4]

[EG98] Dan Edidin and William Graham, Equivariant intersection theory , Invent

available at https://arxiv.org/abs/2108.03680. [EG98] Dan Edidin and William Graham, Equivariant intersection theory , Invent. Math. 131 (1998), no. 3, 595–634. [Eis95] David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag , New York,

work page arXiv 1998
[5]

bottom up

With a view toward algebraic geometry. MR1322960 [Gir65] Jean Giraud, Cohomologie non abélienne; préliminaires , C. R. Acad. Sci. Paris 260 (1965), 2392–2394. MR201489 A CRITERION FOR SMOOTH WEIGHTED BLOW-DOWNS 31 [Gra62] Hans Grauert, Über modiﬁkationen und exzeptionelle analytische mengen , Mathematische Annalen 146 (1962), no. 4, 331–368. [Gro03] A. Gr...

work page 1965
[6]

[Inc22] Giovanni Inchiostro, Moduli of genus one curves with two marked points as a weighte d blow-up , Math. Z. 302 (2022), no. 3, 1905–1925. MR4492520 [JLM22] Ariyan Javanpeykar, Daniel Loughran, and Siddhart h Mathur, Good reduction and cyclic covers , Journal of the Institute of Mathematics of Jussieu (2022), 1–32. [Kod54] Kunihiko Kodaira, On kähler ...

work page 2022
[7]

[Mei] , Purity of brauer group for stacks

[Mei15] Lennart Meier, Vector bundles on the moduli stack of elliptic curves , Journal of Algebra 428 (2015), 425–456. [Mei] , Purity of brauer group for stacks . URL:https://mathoverﬂow.net/q/344258 (version: 2019- 10-21). [Moi66] Boris Gershevich Moishezon, On n-dimensional compact complex manifolds having n algebr aically independent meromorphic functi...

work page 2015
[8]

Olsson, On proper coverings of artin stacks , Advances in Mathematics 198 (2005), no

[Ols05] Martin C. Olsson, On proper coverings of artin stacks , Advances in Mathematics 198 (2005), no. 1, 93–106. [Ols06] Martin C Olsson, Deformation theory of representable morphisms of algebrai c stacks , Mathematische Zeitschrift 253 (2006), no. 1, 25–62. [QR21] Ming Hao Quek and David Rydh, Weighted blow-ups, preparation: https: (2021). [Rom05] Matt...

work page 2005

[1] [1]

The ´ etale local stru cture of algebraic stacks

With a contribution by Joseph D aniel Harris. [AHR23] Jarod Alper, Jack Hall, and David Rydh, The étale local structure of algebraic stacks (2023), available at 1912.06162. [AKMW02] Dan Abramovich, Kalle Karu, Kenji Matsuki, and Jar osław Włodarczyk, Toriﬁcation and factorization of birational maps, Journal of the American Mathematical Society 15 (2002), ...

work page arXiv 2023

[2] [2]

[BDL24] Luca Battistella and Andrea Di Lorenzo, Wall crossing integral Chow rings of M1,n, Arxiv eprint (2024), available at 2402.14644

[ATW19] Dan Abramovich, Michael Temkin, and Jarosław Włoda rczyk, Functorial embedded resolution via weighted blowings up, arXiv preprint arXiv:1906.07106 (2019). [BDL24] Luca Battistella and Andrea Di Lorenzo, Wall crossing integral Chow rings of M1,n, Arxiv eprint (2024), available at 2402.14644. [Čes19] Kęstutis Česnavičius, Purity for the Brauer group...

work page arXiv 1906

[3] [3]

1, 589–641

MR1841091 [DH21] Anand Deopurkar and Changho Han, Stable log surfaces, admissible covers, and canonical curv es of genus 4 , Transactions of the American Mathematical Society 374 (2021), no. 1, 589–641. [DLPV21] Andrea Di Lorenzo, Michele Pernice, and Angelo Vis toli, Stable cuspidal curves and the integral Chow ring of M2,1,

work page 2021

[4] [4]

[EG98] Dan Edidin and William Graham, Equivariant intersection theory , Invent

available at https://arxiv.org/abs/2108.03680. [EG98] Dan Edidin and William Graham, Equivariant intersection theory , Invent. Math. 131 (1998), no. 3, 595–634. [Eis95] David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag , New York,

work page arXiv 1998

[5] [5]

bottom up

With a view toward algebraic geometry. MR1322960 [Gir65] Jean Giraud, Cohomologie non abélienne; préliminaires , C. R. Acad. Sci. Paris 260 (1965), 2392–2394. MR201489 A CRITERION FOR SMOOTH WEIGHTED BLOW-DOWNS 31 [Gra62] Hans Grauert, Über modiﬁkationen und exzeptionelle analytische mengen , Mathematische Annalen 146 (1962), no. 4, 331–368. [Gro03] A. Gr...

work page 1965

[6] [6]

[Inc22] Giovanni Inchiostro, Moduli of genus one curves with two marked points as a weighte d blow-up , Math. Z. 302 (2022), no. 3, 1905–1925. MR4492520 [JLM22] Ariyan Javanpeykar, Daniel Loughran, and Siddhart h Mathur, Good reduction and cyclic covers , Journal of the Institute of Mathematics of Jussieu (2022), 1–32. [Kod54] Kunihiko Kodaira, On kähler ...

work page 2022

[7] [7]

[Mei] , Purity of brauer group for stacks

[Mei15] Lennart Meier, Vector bundles on the moduli stack of elliptic curves , Journal of Algebra 428 (2015), 425–456. [Mei] , Purity of brauer group for stacks . URL:https://mathoverﬂow.net/q/344258 (version: 2019- 10-21). [Moi66] Boris Gershevich Moishezon, On n-dimensional compact complex manifolds having n algebr aically independent meromorphic functi...

work page 2015

[8] [8]

Olsson, On proper coverings of artin stacks , Advances in Mathematics 198 (2005), no

[Ols05] Martin C. Olsson, On proper coverings of artin stacks , Advances in Mathematics 198 (2005), no. 1, 93–106. [Ols06] Martin C Olsson, Deformation theory of representable morphisms of algebrai c stacks , Mathematische Zeitschrift 253 (2006), no. 1, 25–62. [QR21] Ming Hao Quek and David Rydh, Weighted blow-ups, preparation: https: (2021). [Rom05] Matt...

work page 2005