🔢 mathematics

Residues and Gorenstein Contractions of Genus One Curves

This paper introduces the concepts of residues and generalized residues for genus one nodal curves over local Artinian rings using tropical data, and utilizes them to construct a contraction that collapses a proper genus one subcurve into a Gorenstein genus one singularity.

Original authors: Adrian Neff, Jonathan Wise

Published 2026-06-05

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Adrian Neff, Jonathan Wise

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

The Big Picture: Folding a Map

Imagine you have a piece of paper (a mathematical object called a "curve") that has a specific shape: it's a loop with a little knot in it, and attached to this loop are several long, thin ribbons (rational curves) sticking out.

In the world of algebraic geometry, mathematicians often want to simplify complex shapes. This paper asks a specific question: Can we "collapse" the central loop and its attached ribbons into a single, sharp point without tearing the fabric of the shape?

The author, Adrian Neff, says "Yes," but with a catch. To do this, we can't just squish the paper together randomly. We need a very specific set of rules to ensure the resulting point is a "nice" kind of singularity (a sharp point) called a Gorenstein genus one singularity. Think of this as folding the paper so that the crease is perfectly smooth and mathematically valid, rather than a messy crumple.

The Problem: The "Vanishing Cycle"

In complex math, when you have a shape that is about to break or change, there is often a "vanishing cycle"—a part of the shape that is shrinking down to nothing.

The author treats the curve not just as a static drawing, but as a family of shapes that can wiggle and change slightly (over a "local artinian ring," which is like a mathematical microscope that lets you see tiny, almost invisible changes).

To collapse the central loop, the author needs a way to measure how the "edges" of the loop are behaving. This is where Residues come in.

The Tool: Residues as "Balance Scales"

Imagine the central loop is a round table, and the ribbons sticking out are legs. If you try to push the table down into a single point, you need to make sure the legs are balanced. If one leg pushes down too hard, the table tips over (the math breaks).

The author invents a tool called a Residue.

What it is: Think of a residue as a measurement of "force" or "weight" at the point where a ribbon connects to the loop.
The Rule: If you have two ribbons connected to the loop, the "force" on one side must be exactly the opposite of the force on the other side. If you add up all the forces around the loop, they must cancel out to zero.
The Analogy: It's like a seesaw. If you have a weight on the left, you need an equal weight on the right to keep it level. The author defines a mathematical "seesaw" that works even when the ground is slightly uneven (the "local artinian ring").

The Solution: The Contraction

Once the author has defined these "forces" (residues), they can build the Contraction.

The Setup: You have a central loop (genus one) with $n$ ribbons attached.
The Check: The author checks the "forces" (residues) at the connection points.
The Condition: If the sum of these forces is zero, the loop is "balanced."
The Fold: If it's balanced, you can mathematically "fold" the entire loop and its immediate connections into a single point.
The Result: You get a new shape where the loop is gone, replaced by a single, sharp point. This point is special: it is a Gorenstein singularity.
- What does that mean? It means the point is sharp, but it's a "good" sharp point. It's not a jagged, broken mess; it's a clean, well-defined corner that fits perfectly into the rest of the mathematical universe.

The "Tropical" Connection

The paper mentions "tropical data." In this context, imagine the curve as a graph made of sticks and dots. "Tropical" math is like looking at the skeleton of the shape, ignoring the curves and just looking at the connections and lengths.

The author uses this skeleton to figure out the order in which to fold the shape. It's like having a blueprint that tells you: "First, fold the innermost layer, then the next layer, until you reach the center." This ensures the folding happens in the right order so the final point is stable.

Why This Matters (According to the Paper)

The paper doesn't talk about building bridges or curing diseases. Instead, it solves a puzzle in pure mathematics:

Previous attempts: Other mathematicians tried to do this by smoothing out the shape first, but that made it hard to see what the final result looked like for a specific shape.
This paper's contribution: It builds the "folding machine" directly. It gives a precise recipe (using the residue balance) to turn a complex loop with ribbons into a single, clean point.
The "Gorenstein" part: This is the quality control check. It ensures the resulting point isn't just any point, but a specific, high-quality point that mathematicians know how to work with.

Summary

Think of this paper as a manual for folding a complex origami shape into a single, perfect point.

You have a loop with strings attached.
You measure the "tension" on the strings using a new tool called a Residue.
If the tensions balance out (sum to zero), you are allowed to fold the loop into a point.
The result is a new shape with a sharp, mathematically perfect point in the middle, which the author calls a Gorenstein contraction.

The paper proves that this folding process works, describes exactly how to do it, and shows that the resulting shape behaves nicely (it is "flat" and "proper," which are technical ways of saying it doesn't fall apart or behave weirdly).

Technical Summary: Residues and Gorenstein Contractions of Genus One Curves

Problem Statement
The paper addresses the construction of a contraction for a genus one nodal curve $C$ over a local Artinian base $A$ , specifically collapsing a proper subcurve $E$ of genus one to a Gorenstein genus one singularity. While previous works (e.g., Smyth, Ranganathan–Santos–Parker–Wise, Bozlee) have studied such contractions, existing approaches face limitations: some rely on smoothing families which struggle to identify the contraction for a fixed curve, while others construct the contraction ring "by hand" without clarifying connections to related problems like the smoothing of differentials. The goal is to provide an explicit construction of this contraction using residue theory that elucidates the relationship between the contraction and the smoothing of differentials.

Methodology
The construction proceeds through the following technical steps:

Context and Setup: The authors work with a family of centrally aligned genus one log curves $\pi: C \to S = \text{Spec}(A)$ , where $A$ is a local Artinian ring. Central alignment, introduced in prior literature, provides a semistable modification that "orders the components" of the subcurve $E$ . This structure allows for the definition of a tropical curve $\Gamma$ associated with $C$ , where edges correspond to nodes with associated smoothing parameters.
Definition of Residues over Artinian Rings:
- The authors define a residue for meromorphic differentials $\phi$ along a branch $X$ at a point $p$ , denoted $\text{Res}_{p,X}(\phi)$ , taking values in the base ring $A$ .
- This definition satisfies two key properties analogous to the complex analytic setting:
  - Node Property: If $p$ is a node with branches $X$ and $Y$ , $\text{Res}_{p,X}(\phi) = -\text{Res}_{p,Y}(\phi)$ .
  - Global Sum Property: If $C$ is smooth, the sum of residues over all points is zero.
- The residue is defined via the isomorphism of the completed local ring at a branch with $A((x))$ , mapping a differential to its coefficient of $x^{-1}dx$ . The well-definedness of this map under continuous automorphisms of $A((x))$ is established in an appendix.
Generalized Residues and Tropical Data:
- Using the tropical data (specifically a piecewise linear function $\lambda$ derived from the central alignment), the authors define "generalized residues" with values in line bundles twisted by $-\lambda$ .
- For a rational curve $R_i$ connecting the subcurve $E$ to the rest of $C$ at a node $p_i$ , and a differential $\phi$ , the condition for a function $f$ to descend to the contraction is formulated as a vanishing sum of these generalized residues:
  $\sum_{p_i} \text{Res}^m_{p_i, R_i}(f \phi) = 0$
- Here, $\phi$ is a specially chosen generator of the space of differentials $H^0(C, \omega_C(-\lambda))$ .
Construction of the Contraction:
- The contraction $\tau: C \to \bar{C}$ is defined topologically by collapsing the interior of the aligned circle (the subcurve $E$ ) to a single point.
- The structure sheaf $\mathcal{O}_{\bar{C}}$ is defined as the subsheaf of $\tau_* \mathcal{O}_C$ consisting of functions satisfying the residue condition above.
- For a base $S = \text{Spec}(R)$ where $R$ is a local Noetherian ring, the construction is extended via inverse limits of contractions over the Artinian quotients $R/\mathfrak{m}^{n+1}$ .

Key Results
The paper establishes the following main results:

Theorem 1.1 (Characterization of the Contraction): For a family of centrally aligned curves over a local Noetherian ring, a function $f_n$ on the $n$ -th infinitesimal neighborhood of the contraction is in the structure sheaf of the contracted scheme if and only if it satisfies the residue condition $\sum \text{Res}^m_{p_i, R_i}(f_n \phi_n) = 0$ . This provides an explicit algebraic characterization of the functions on the contracted curve.
Scheme Structure and Properties: The authors prove that the resulting ringed space $\bar{C}$ is indeed a scheme (Proposition 4.14). Furthermore, the contraction map $\bar{\pi}: \bar{C} \to S$ is shown to be flat (Proposition 4.15) and proper (Proposition 4.16).
Singularity Type: The contracted curve $\bar{C}_0$ (over the residue field) possesses a Gorenstein genus one singularity with $n$ branches at the image of $E$ (Proposition 4.17). This confirms that the construction yields the specific type of singularity required for modular desingularizations.

Significance and Claims
The paper claims significance in several specific areas:

Explicit Construction: It remedies the limitations of previous constructions (like those in [Boz21]) by providing a concrete, residue-based definition of the contraction ring, rather than an abstract or ad-hoc construction.
Connection to Differential Smoothing: By making the connection between the contraction and residues explicit, the authors aim to provide a new proof of the "differential smoothing conjecture" (posed by Ranganathan and Wise, valid in any characteristic). This conjecture relates to the smoothing of differentials on stable maps.
Modular Desingularization: The construction is intended to clarify why factorization through the contraction is related to smoothing stable maps, specifically in the context of the moduli space $\overline{M}_{1,n}(\mathbb{P}^r, d)$ . The authors suggest this viewpoint could lead to a novel proof of the splitting of the virtual class of this moduli space.
Generalizability: The technique is presented as potentially generalizable to higher genera by considering residues of functions paired with multiple independent differentials, though the paper notes that genus two presents specific challenges (such as non-reduced structures) that require further investigation.

The work does not propose new experimental applications but rather offers a rigorous algebraic framework intended to unify the study of genus one curve contractions with the theory of differential smoothing and modular desingularization.