The geometry and categorical moduli space conjecture for the stack of all curves

Let Mgall\mathcal{M}_g^{\text{all}} denote the stack of all proper curves of genus gg over an algebraically closed field k\Bbbk of characteristic 00. For each g0g \ge 0, the following assertions are conjectured:

The stack of all curves conjecture.

  1. Mgall\mathcal{M}_g^{\text{all}} satisfies Vakil's Murphy's law.
  2. Pic(Mgall)=0\operatorname{Pic}(\mathcal{M}_g^{\text{all}})=0.
  3. The structure morphism
MgallSpeck\mathcal{M}_g^{\text{all}}\to \operatorname{Spec}\Bbbk

is a categorical moduli space.

These assertions describe the expected extreme singularity of the stack together with the triviality of its Picard group and the existence of a categorical moduli space. The supplied text does not indicate whether they have been proved or disproved.

Sources & referencesView supporting material

Primary source

Jarod Alper and Daniel Halpern-Leistner, “The intrinsic approach to moduli theory”, arXiv:2603.21412 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.