🔢 mathematics

Algebraicity of supermoduli of curves via Artin's criteria

This paper establishes the algebraicity of the moduli spaces for supercurves, super Riemann surfaces, and their stable counterparts by applying and verifying the supergeometric analogue of Artin's algebraicity criteria.

Original authors: Nadia Ott

Published 2026-03-18

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Nadia Ott

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to design a catalog of all possible shapes a building can take. In the world of standard mathematics (algebraic geometry), you have a very powerful set of blueprints called Artin's Criteria. These blueprints tell you exactly how to prove that your catalog of shapes is a "real," well-behaved mathematical object (called an algebraic stack), without having to build every single house in the catalog one by one.

For a long time, mathematicians working in Supergeometry (a field that mixes standard numbers with "ghost" numbers, often used to describe the universe in string theory) were stuck. They had the shapes, but they didn't have the blueprints. They had to build every single catalog manually, which was incredibly tedious and prone to errors.

Nadia Ott's paper is like finally finding the missing instruction manual for the super-architects. She adapts Artin's Criteria to work in this "super" world and uses it to prove that four major catalogs of shapes are indeed real, well-behaved mathematical objects.

Here is a breakdown of what she did, using simple analogies:

1. The Four Catalogs (The Moduli Problems)

Ott proves that four specific collections of "super-shapes" are valid mathematical structures. Think of these as four different types of catalogs:

Supercurves: Imagine a flexible, one-dimensional rubber band that has a little bit of "fuzz" or "ghost" attached to it. This is a supercurve. Ott proves that the catalog of all such rubber bands (that are "strongly projective," meaning they can be neatly folded into a box) is a valid mathematical object.
Super Riemann Surfaces: These are supercurves with a special "magic twist" (a superconformal structure). In physics, these represent the tiny vibrating strings in the universe. Ott proves the catalog of these twisted strings is valid.
Stable Supercurves: Sometimes, rubber bands snap and break, forming knots or nodes. A "stable" curve is one where the knots are allowed, but the shape doesn't fall apart completely. Ott proves the catalog of these knotted, fuzzy rubber bands is valid.
Stable Super Riemann Surfaces: This is the most complex one: the twisted, knotted, fuzzy rubber bands. This is the "compactified" version of the string theory catalog, meaning it includes all the broken edges so the catalog is complete. Ott proves this final, complex catalog is valid.

2. The Problem: Why was this hard?

In the past, to prove a catalog was "real," mathematicians had to build a physical map (an atlas) showing exactly where every shape lived. In the super-world, building these maps is like trying to draw a map of a city that exists in two dimensions at once (one visible, one invisible). It's a nightmare.

Ott didn't build the maps. Instead, she used Artin's Criteria as a "stress test." She asked:

"If I take a tiny, fuzzy version of a shape, can I stretch it out to a full shape?" (Deformation)
"If I have a sequence of shapes getting closer and closer to a limit, does that limit actually exist in my catalog?" (Effectivity)
"Are the rules for changing one shape into another consistent?" (Descent)

By checking these boxes, she proved the catalogs exist without ever drawing the full map.

3. The Secret Weapon: The "Ghost" Sheaf

One of the cleverest parts of the paper is how she handles the "knots" (singularities) in the stable curves.

Imagine you are trying to fix a broken necklace. In the normal world, you just glue the ends. In the super-world, the necklace has "ghost" threads that also need to be glued perfectly.

Ott invented a new tool called $A^1$ . Think of this as a specialized "ghost-glue" detector.
She showed that when you deform (stretch or twist) a super-curve with a knot, the "ghost" parts of the knot behave in a very specific, predictable way.
By isolating these "ghost" behaviors, she could prove that even the broken, knotted shapes fit neatly into the mathematical catalog.

4. Why Does This Matter?

You might ask, "Who cares about fuzzy rubber bands?"

For String Theory: Super Riemann surfaces are the mathematical playground where physicists calculate how strings interact. If the "catalog" of these surfaces isn't mathematically solid, the calculations for the universe's fundamental forces might be shaky. Ott's work puts a solid foundation under those calculations.
For Mathematics: Before this paper, many super-geometric catalogs were just "conjectures" or required incredibly hard, specific constructions. Ott showed that there is a general method (the Super Artin Criteria) that can be applied to any super-geometry problem. It's like giving mathematicians a universal key instead of forcing them to pick every lock individually.

The Bottom Line

Nadia Ott took a complex, abstract problem in the "super" version of geometry and said, "We don't need to build the whole house to know it's stable; we just need to check the foundation."

She checked the foundation using a new set of rules, proving that the catalogs of super-curves and super-strings are real, robust, and ready for use by physicists and mathematicians alike. It's a "proof of existence" that saves everyone from having to do the heavy lifting of construction.

1. Problem Statement

The paper addresses the fundamental problem of establishing the algebraicity of moduli spaces in supergeometry. Specifically, it targets four central moduli problems:

Supercurves: Smooth proper superschemes of dimension $(1|1)$ .
Super Riemann Surfaces (SRS): Supercurves equipped with a superconformal structure (a maximally non-integrable distribution $D \subset TX$ ).
Stable Supercurves: Nodal supercurves satisfying a stability condition (finite automorphism groups).
Stable Super Riemann Surfaces: Stable supercurves equipped with a quasi-superconformal structure compatible with singularities.

Context:

In classical algebraic geometry, Artin's theorems provide abstract criteria to prove a moduli functor is an algebraic stack without constructing explicit atlases.
In supergeometry, until recently, such criteria were unavailable, forcing mathematicians to rely on explicit constructions of étale atlases (which are often difficult or impossible for complex moduli problems).
While the algebraicity of the moduli of Super Riemann Surfaces ( $\mathcal{M}_g$ ) and their stable compactifications was previously known (via explicit constructions in works like [12, 14, 18]), the algebraicity of the moduli of (stable) supercurves (without the superconformal structure) had not been established.

2. Methodology

The author applies the supergeometric analogue of Artin's algebraicity criteria (developed in reference [17]) to these moduli problems. The methodology involves verifying a specific set of conditions (A1–A8) for the moduli functors.

Key Technical Steps:

Deformation Theory Framework: The core of the proof relies on analyzing the deformation theory of the objects. The author utilizes the $T^i$ -functor formalism (a super-analogue of the cotangent complex) to describe infinitesimal deformations and obstructions.
Sheaf Construction:
- For Supercurves, deformations are governed by the relative tangent sheaf $T_{X/T}$ .
- For Super Riemann Surfaces, the author introduces a subsheaf of superconformal vector fields, denoted $\mathcal{A}_{X/T} \subset T_{X/T}$ , which is isomorphic to $\omega_{X/T}^{\otimes -2}$ .
- For Stable Super Riemann Surfaces, a new subsheaf $\mathcal{A}^1_{X/T} \subset T^1_{X/T}$ is defined. This sheaf captures the deformations of the nodes that preserve the superconformal structure.
Verification of Artin's Conditions: The paper systematically verifies the following conditions for each moduli stack:
- (A1) Representability of the Diagonal: Proving that the Isom functor is representable by an algebraic superspace.
- (A2) Limit Preserving: Showing the functor commutes with filtered colimits of superalgebras.
- (A3) Generalized Schlessinger Conditions: Analyzing the behavior of deformations under square-zero extensions. This involves proving surjectivity of maps between deformation spaces and identifying the obstruction modules.
- (A4) Effectivity: Proving that formal deformations (over complete local rings) can be algebraized (Grothendieck Existence Theorem).
- (A5) Coherent Obstruction Theory: Showing obstruction modules are coherent.
- (A6) Constructibility: Proving the deformation and obstruction modules behave well under base change to closed points.
- (A7) & (A8) Compatibility: Ensuring compatibility with completion and étale localization.

Specific Innovations in Methodology:

Strong Projectivity: For smooth supercurves, the author restricts to "strongly projective" supercurves (those admitting a polarization by a power of the canonical bundle) to simplify the proof, showing this restriction excludes only a negligible class.
Stable Reduction: For stable objects, the author establishes a correspondence between stable supercurves and pairs $(C, L)$ , where $C$ is a stable ordinary curve and $L$ is a torsion-free sheaf of rank 1. This allows the use of classical results on the moduli of stable curves.
Local Models: The paper explicitly computes the $T^1$ modules for Ramond and Neveu-Schwarz (NS) nodes to define the subsheaf $\mathcal{A}^1$ required for stable SRS deformations.

3. Key Contributions

A. New Proofs for Known Results

The paper provides a new, abstract proof for the algebraicity of the moduli of Super Riemann Surfaces ( $\mathcal{M}_g$ ) and Stable Super Riemann Surfaces. Unlike previous proofs that relied on constructing explicit étale atlases, this proof uses the abstract Artin criteria, demonstrating the power of the super-Artin framework.

B. Novel Results for Supercurves

The primary new contribution is the proof that the moduli spaces of (stable) supercurves are algebraic superstacks.

Theorem 1.3: The moduli space of (stable) supercurves $\mathcal{SC}_g$ is an algebraic superstack.
This fills a gap in the literature, as these spaces serve as the natural base for imposing additional structures (like spin structures or superconformal structures).

C. Development of Deformation Theory

The author develops a robust deformation theory for stable super Riemann surfaces:

Defines the sheaf $\mathcal{A}^1_{X/T}$ as the kernel of specific maps on the $T^1$ sheaf at nodes, ensuring deformations preserve the quasi-superconformal structure.
Proves that deformations of stable super Riemann surfaces are unobstructed (Theorem 6.4), fitting into an exact sequence involving $H^1(X, \mathcal{A}_{X/T})$ and $H^0(X, \mathcal{A}^1_{X/T})$ .

D. Correspondence Results

The paper establishes rigorous correspondences between supergeometric objects and classical/semi-classical objects:

Supercurves $\leftrightarrow$ Spin Curves: Over purely bosonic bases, supercurves correspond to pairs $(C, L)$ where $L^{\otimes 2} \cong \Omega^1_C$ .
Stable SRS $\leftrightarrow$ Quasi-Spin Curves: Stable super Riemann surfaces correspond to families of stable curves equipped with a torsion-free sheaf $L$ and a morphism $b: L^{\otimes 2} \to \omega_C$ satisfying specific conditions at nodes.

4. Main Results (Theorems)

Theorem 1.1: The moduli space of genus $g \geq 2$ super Riemann surfaces is an algebraic superstack.
Theorem 1.2: The moduli space of stable super Riemann surfaces is an algebraic superstack.
Theorem 1.3: The moduli space of (stable) supercurves $\mathcal{SC}_g$ is an algebraic superstack.
Theorem 6.4: Describes the deformation theory of stable super Riemann surfaces via the exact sequence:
$0 \to H^1(X, \mathcal{A}_{X/T} \otimes M)^+ \to \text{sDef}_{X/T}(T') \to H^0(X, \mathcal{A}^1_{X/T} \otimes M)^+ \to 0$
confirming unobstructedness.

5. Significance

Foundational for Supergeometry: By proving the algebraicity of the moduli of supercurves, the paper establishes a solid foundation for future supergeometric moduli problems. These spaces act as the "base" over which other structures (vector bundles, maps to projective superschemes) can be defined.
Validation of Super-Artin Criteria: The paper serves as a major test case for the supergeometric analogue of Artin's theorems. It demonstrates that these criteria are effective tools for constructing moduli spaces that were previously only accessible via explicit, often cumbersome, atlas constructions.
Compactification: The proof for stable super Riemann surfaces rigorously validates the existence of the compactified moduli space (Deligne-Mumford superstack), which is crucial for defining integration domains in superstring theory amplitudes.
Future Directions: The author outlines that these techniques can be applied to more complex moduli problems, such as supercurves with additional geometric data (line bundles, coherent sheaves), potentially unifying various areas of mathematical physics and algebraic geometry under a single supergeometric framework.

In summary, Nadia Ott's paper successfully transitions the study of supermoduli spaces from explicit construction to abstract algebraic verification, proving that the moduli of supercurves and stable super Riemann surfaces are indeed algebraic superstacks, thereby unifying and generalizing previous results in the field.