pith. sign in

arxiv: 2604.06320 · v1 · submitted 2026-04-07 · 🧮 math.AG

Factorizations of Moduli Morphisms and Universal Maps to Deligne-Mumford Stacks

Alberto Landi This is my paper

Pith reviewed 2026-05-10 18:15 UTC · model grok-4.3

classification 🧮 math.AG
keywords algebraic stacksDeligne-Mumford stacksadequate moduli morphismsmoduli space morphismsfactorizationsuniversal mapsNoetherian stacksstabilization
0
0 comments X

The pith

Algebraic stacks admit a universal morphism to Deligne-Mumford stacks that is itself an adequate moduli space morphism.

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

The paper studies how to factor the moduli space morphism from an algebraic stack X to its coarse space X_mod so that the intermediate objects keep more stacky information than the coarse space but have simpler structure. Under mild assumptions, it establishes a universal morphism from X to any stack with good modular properties such as being Deligne-Mumford, having finite inertia, or being uniformizable. The proof proceeds by showing that ascending chains of adequate moduli space morphisms out of a Noetherian stack stabilize when the morphisms are cohomologically affine or the targets are Deligne-Mumford stacks. The paper also constructs a counterexample showing that such chains need not stabilize for arbitrary adequate moduli space morphisms.

Core claim

Let X be an algebraic stack admitting a moduli space X_mod. Under mild assumptions we prove the existence of a universal morphism from X to stacks satisfying well-behaved modular properties (such as being Deligne-Mumford, having finite inertia, or being uniformizable), and show that this universal map is itself an adequate moduli space morphism. We achieve this by proving that ascending chains of adequate moduli space morphisms from a Noetherian stack stabilize if they are cohomologically affine or with target Deligne-Mumford stacks. Finally, we demonstrate that stabilization completely fails for general adequate moduli space morphisms by constructing a simple Noetherian, Deligne-Mumford 2.5

What carries the argument

Ascending chains of adequate moduli space morphisms from a Noetherian algebraic stack, which stabilize under cohomological affinity or Deligne-Mumford targets and thereby produce a universal map.

If this is right

  • Any algebraic stack with a moduli space factors through a universal Deligne-Mumford stack via an adequate moduli morphism.
  • Universal maps exist to stacks with finite inertia or uniformizable stacks under the same mild assumptions.
  • The stabilization theorem allows one to extract the 'best' intermediate stack with a given property from any chain.
  • The counterexample shows that the limit of a general chain of adequate moduli morphisms can be a non-algebraic fpqc stack.

Where Pith is reading between the lines

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

  • The universal map could serve as a canonical way to replace a general stack by a Deligne-Mumford one while preserving moduli-theoretic information for deformation or obstruction theory.
  • The failure of stabilization outside the stated conditions suggests that algebraicity of the target must be imposed separately when studying infinite towers of stack quotients.
  • Similar stabilization arguments might apply to other classes of morphisms between stacks, such as those preserving certain cohomological properties.

Load-bearing premise

The algebraic stack must be Noetherian, and the morphisms in the chain must be either cohomologically affine or have Deligne-Mumford targets for stabilization to hold.

What would settle it

A concrete Noetherian algebraic stack equipped with a strictly ascending infinite chain of adequate moduli space morphisms to Deligne-Mumford stacks that never stabilizes.

read the original abstract

Let $\mathcal{X}$ be an algebraic stack admitting a moduli space $\mathcal{X}_{\mathrm{mod}}$. We study the factorizations of the moduli space morphism $\mathcal{X}\rightarrow\mathcal{X}_{\mathrm{mod}}$ to construct intermediate stacks that simplify the stacky structure of $\mathcal{X}$ while retaining more structural information than $\mathcal{X}_{\mathrm{mod}}$. Under mild assumptions, we prove the existence of a universal morphism from $\mathcal{X}$ to stacks satisfying well-behaved `modular properties' (such as being Deligne-Mumford, having finite inertia, or being uniformizable), and show that this universal map is itself an adequate moduli space morphism. We achieve this by proving that ascending chains of adequate moduli space morphisms from a Noetherian stack stabilize if they are cohomologically affine or with target Deligne-Mumford stacks. Finally, we demonstrate that stabilization completely fails for general adequate moduli space morphisms. We construct a simple Noetherian, Deligne-Mumford stack admitting an infinite, non-stabilizing chain of adequate moduli space morphisms, whose limit is a non-algebraic fpqc stack.

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

0 major / 2 minor

Summary. The paper studies factorizations of the moduli morphism from an algebraic stack X admitting a moduli space X_mod. Under mild assumptions, it proves existence of a universal morphism from X to stacks with well-behaved modular properties (Deligne-Mumford, finite inertia, or uniformizable), and shows this universal map is itself an adequate moduli space morphism. This is achieved by proving that ascending chains of adequate moduli space morphisms from a Noetherian stack stabilize when the morphisms are cohomologically affine or the targets are Deligne-Mumford stacks. The paper also constructs a counterexample showing that stabilization fails in general: a simple Noetherian Deligne-Mumford stack admitting an infinite non-stabilizing chain whose limit is a non-algebraic fpqc stack.

Significance. If the results hold, the work provides a systematic way to factor moduli morphisms and extract universal maps to stacks with controlled stacky structure, which could be useful for studying moduli problems in algebraic geometry. The stabilization theorem for adequate moduli morphisms under Noetherian hypotheses and the explicit counterexample to general stabilization are concrete contributions that clarify the boundary between algebraic and non-algebraic behavior in this setting.

minor comments (2)
  1. The abstract and introduction refer to 'mild assumptions' without an explicit list or reference to a numbered hypothesis; clarifying these (e.g., in §2 or the statement of the main theorem) would improve readability.
  2. Notation for the universal morphism and the target stacks with modular properties could be introduced more formally, perhaps with a diagram or a dedicated subsection, to make the factorization statements easier to track.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of the stabilization results and counterexample as concrete contributions, and recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected in derivation

full rationale

The paper establishes existence of a universal morphism from a given algebraic stack X to stacks with modular properties (DM, finite inertia, uniformizable) by proving stabilization of ascending chains of adequate moduli space morphisms when the stack is Noetherian and the morphisms are cohomologically affine or targets are DM stacks; it also supplies an explicit counterexample showing failure in the general case. All steps are standard existence proofs in algebraic geometry relying on Noetherian hypotheses and properties of adequate moduli morphisms, with no self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations. The chain is self-contained against external benchmarks in stack theory and does not reduce any claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard domain assumptions in algebraic geometry such as the existence of moduli spaces for algebraic stacks and the Noetherian property; no free parameters or invented entities are mentioned in the abstract.

axioms (2)
  • domain assumption Algebraic stacks admit moduli spaces X_mod
    This is the starting setup for studying factorizations of the moduli morphism.
  • domain assumption Noetherian stacks and cohomologically affine morphisms behave well with respect to ascending chains
    Invoked for the stabilization theorem.

pith-pipeline@v0.9.0 · 5496 in / 1425 out tokens · 57579 ms · 2026-05-10T18:15:25.441701+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

9 extracted references · 9 canonical work pages

  1. [1]

    3, 949–1038

    [AHLH23] Jarod Alper, Daniel Halpern-Leistner, and Jochen Heinloth,Existence of moduli spaces for algebraic stacks, Inven- tiones mathematicae234(2023), no. 3, 949–1038. [AHR20] Jarod Alper, Jack Hall, and David Rydh,A Luna ´ etale slice theorem for algebraic stacks, Annals of Mathematics 191(2020), no. 3, 675 –

    work page 2023

  2. [2]

    6, 2349–2402 (eng)

    [Alp13] Jarod Alper,Good moduli spaces for Artin stacks, Annales de l’institut Fourier63(2013), no. 6, 2349–2402 (eng). [Alp14] Jarod Alper,Adequate moduli spaces and geometrically reductive group schemes, Algebraic Geometry1(2014), no. 4, 489–531. [Alp26] Jarod Alper,Stacks and moduli, working draft,https://sites.math.washington.edu/ ~jarod/, January

    work page 2013

  3. [3]

    [Art74] M

    [AOV08] Dan Abramovich, Martin Olsson, and Angelo Vistoli,Twisted stable maps to tame Artin stacks, arXiv: Algebraic Geometry (2008). [Art74] M. Artin,Versal deformations and algebraic stacks, Inventiones mathematicae27(1974), no. 3, 165–189. [ATW20] Dan Abramovich, Michael Temkin, and Jaros law W lodarczyk,Toroidal orbifolds, destackification, and Kummer...

    work page 2008

  4. [4]

    [BV19] Niels Borne and Angelo Vistoli,Fundamental gerbes, Algebra & Number Theory13(2019), no

    [BV12] Niels Borne and Angelo Vistoli,The Nori fundamental gerbe of a fibered category, Journal of Algebraic Geometry 24(2012), 311–353. [BV19] Niels Borne and Angelo Vistoli,Fundamental gerbes, Algebra & Number Theory13(2019), no. 3, 531–576. [Con05] Brian Conrad,Keel-Mori Theorem via stacks,

    work page 2012

  5. [5]

    [dJ26] Aise Johan de Jong,The Stacks Project Blog,https://www.math.columbia.edu/ ~dejong/wordpress/?p=1927,

    work page 1927

  6. [6]

    [Har17] Alicia Harper,Factorization for stacks and boundary complexes,

    [ER17] Dan Edidin and David Rydh,Canonical reduction of stabilizers for Artin stacks with good moduli spaces, Duke Mathematical Journal (2017). [Har17] Alicia Harper,Factorization for stacks and boundary complexes,

    work page 2017

  7. [7]

    5, 1583–1612

    FACTORIZATIONS OF MODULI MORPHISMS AND UNIVERSAL MAPS TO DELIGNE-MUMFORD STACKS 25 [HR23] Jack Hall and David Rydh,Mayer–Vietoris squares in algebraic geometry, Journal of the London Mathematical Society107(2023), no. 5, 1583–1612. [KM97] Sean Keel and Shigefumi Mori,Quotients by groupoids, Ann. of Math. (2)145(1997), 193–213. [Kol97] J´ anos Koll´ ar,Quo...

    work page 2023

  8. [8]

    Geom., Bombay Colloq

    [Nag69] Masayoshi Nagata,Some questions on rational actions of groups, Algebr. Geom., Bombay Colloq. 1968, Stud. Math., Tata Inst. Fundam. Res. 4, 323-334 (1969).,

    work page 1968

  9. [9]

    Noohi,Fundamental groups of algebraic stacks, Journal of the Institute of Mathematics of Jussieu3(2004), no

    [Noo04] B. Noohi,Fundamental groups of algebraic stacks, Journal of the Institute of Mathematics of Jussieu3(2004), no. 1, 69–103. [RRZ18] Matthieu Romagny, David Rydh, and Gabriel Zalamansky,The complexity of a flat groupoid, Documenta Mathe- matica23(2018), 1157–1196. [Ryd07] David Rydh,Existence and properties of geometric quotients, Journal of Algebra...

    work page 2004