Good Moduli Spaces in Derived Algebraic Geometry
Pith reviewed 2026-05-24 06:32 UTC · model grok-4.3
The pith
The theory of good moduli spaces for Artin stacks extends to the derived setting and reduces to the classical case under natural assumptions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We develop a theory of good moduli spaces for derived Artin stacks, which naturally generalizes the classical theory of good moduli spaces introduced by Alper. As such, many of the fundamental results and properties regarding good moduli spaces for classical Artin stacks carry over to the derived context. In fact, under natural assumptions, often satisfied in practice, we show that the derived theory essentially reduces to the classical theory. As applications, we establish derived versions of the étale slice theorem for good moduli spaces and the partial desingularization procedure of good moduli spaces.
What carries the argument
The good moduli space for a derived Artin stack, defined via a morphism that satisfies the same universal property as in the classical case but formulated in the derived category.
If this is right
- Derived versions of the étale slice theorem hold for good moduli spaces of derived Artin stacks.
- The partial desingularization procedure of good moduli spaces extends to the derived context.
- Fundamental properties of good moduli spaces from the classical theory apply directly to derived Artin stacks.
Where Pith is reading between the lines
- Existing classical results on moduli spaces can often be applied in derived settings by reduction rather than by developing new proofs.
- Moduli problems in derived algebraic geometry may be studied using classical tools when the natural assumptions hold.
- The framework could simplify analysis of stacks that are derived but whose coarse moduli spaces behave classically.
Load-bearing premise
The reduction of the derived theory to the classical one holds under natural assumptions that are often satisfied in practice, but without explicit conditions on the stack or base.
What would settle it
A derived Artin stack satisfying the natural assumptions for which the good moduli space in the derived theory differs from the one obtained by applying the classical theory after forgetting derived structure.
read the original abstract
We develop a theory of good moduli spaces for derived Artin stacks, which naturally generalizes the classical theory of good moduli spaces introduced by Alper. As such, many of the fundamental results and properties regarding good moduli spaces for classical Artin stacks carry over to the derived context. In fact, under natural assumptions, often satisfied in practice, we show that the derived theory essentially reduces to the classical theory. As applications, we establish derived versions of the \'{e}tale slice theorem for good moduli spaces and the partial desingularization procedure of good moduli spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a theory of good moduli spaces for derived Artin stacks, generalizing Alper's classical theory. It claims that many fundamental results carry over to the derived setting, and that under natural assumptions (often satisfied in practice) the derived theory reduces to the classical one. Applications include derived versions of the étale slice theorem and the partial desingularization procedure for good moduli spaces.
Significance. If the results hold, the work provides a coherent extension of good moduli spaces to derived Artin stacks, enabling their use in derived algebraic geometry contexts. The explicit recovery of the classical theory for 0-truncated stacks and the applications to slices and desingularization are strengths. The reduction statement, once assumptions are made precise, would allow direct transfer of classical results in many practical cases.
major comments (1)
- [Abstract and comparison theorems] Abstract, paragraph 3 and the statement of the main reduction theorem (likely in the comparison section): the reduction of the derived theory to the classical one is asserted under 'natural assumptions, often satisfied in practice,' but these conditions are not stated explicitly as hypotheses on the stack or base; this is load-bearing for the central reduction claim and should be formulated as a precise theorem with verifiable hypotheses.
minor comments (2)
- [Introduction] Introduction: add a brief comparison table or list clarifying which classical properties (e.g., from Alper) are proved verbatim versus those requiring adaptation in the derived setting.
- [Definitions] Notation section: ensure that the definition of derived good moduli space explicitly records the truncation functor relating it to the classical notion, to make the recovery statement immediate.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive evaluation of the manuscript. We address the single major comment below.
read point-by-point responses
-
Referee: [Abstract and comparison theorems] Abstract, paragraph 3 and the statement of the main reduction theorem (likely in the comparison section): the reduction of the derived theory to the classical one is asserted under 'natural assumptions, often satisfied in practice,' but these conditions are not stated explicitly as hypotheses on the stack or base; this is load-bearing for the central reduction claim and should be formulated as a precise theorem with verifiable hypotheses.
Authors: We agree that the phrasing in the abstract is informal and that the central reduction result should be stated as a precise theorem. In the revised manuscript we will replace the sentence in the abstract with a reference to the explicit comparison theorem (now stated with verifiable hypotheses on the derived Artin stack, its truncation, and the base) and will ensure the hypotheses appear clearly in the comparison section. revision: yes
Circularity Check
No significant circularity; generalization of external reference
full rationale
The paper introduces definitions of derived good moduli spaces for derived Artin stacks that are constructed to recover Alper's classical theory exactly when the stack is 0-truncated. All listed properties and comparison theorems are proved either by direct reduction to the classical case or by verbatim adaptation of Alper's arguments; the central reduction statement is conditional on explicitly stated natural assumptions rather than being tautological. No self-citation is load-bearing, no parameter is fitted and then renamed a prediction, and no ansatz or uniqueness claim is smuggled via prior work by the same authors. The derivation chain is therefore self-contained against the external benchmark of Alper's theory.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Existence and basic properties of good moduli spaces for classical Artin stacks (Alper)
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.