2025-11-10T03:06:47.344104

Tame nodal stacky curves

Bishop, Newman

In this paper we analyze the properties of tame nodal stacky curves, in particular twisted curves and \textit{doubly-twisted} curves. Our main results are a complete classification of the possible structures of a tame stacky node, along with computations of the Picard and Brauer groups of nodal stacky curves.

academic

Tame Nodal Stacky Curves

Basic Information

Paper ID: 2509.20629
Title: Tame Nodal Stacky Curves
Authors: Martin Bishop, William C. Newman
Classification: math.AG (Algebraic Geometry)
Publication Date: October 12, 2025 (arXiv v2)
Paper Link: https://arxiv.org/abs/2509.20629

Abstract

This paper analyzes the properties of tame nodal stacky curves, particularly twisted curves and doubly-twisted curves. The main results include a complete classification of possible structures of tame stacky nodes, as well as computations of the Picard group and Brauer group of nodal stacky curves.

Research Background and Motivation

Problem Background

The geometric properties of stacky curves are largely controlled by their Picard group and Brauer group. In recent years, through the work of Achenjang Ach24 and Bishop Bis25, the Brauer group theory of stacky curves has been well understood, while Lopez Lop23 computed the Picard group of smooth stacky curves.

Research Motivation

This paper aims to understand how stacky structures at nodes affect the computation of the Picard group. Specifically:

Theoretical Completion: Complete the Brauer group computation promised in Bis25, Example 3.9
Classification Problem: Provide explicit descriptions of the Picard group and Brauer group for tame nodal stacky curves
Structural Analysis: Cover two possible local structures at nodes: twisted nodes and doubly-twisted nodes

Limitations of Existing Methods

Existing work primarily focuses on smooth stacky curves, with incomplete understanding of the nodal case
Lack of a unified framework for handling different types of stacky nodes
Brauer group computations remain incomplete in certain cases

Core Contributions

Complete Classification: Provides a complete classification of all possible structures of tame stacky nodes
Picard Group Computation: Furnishes explicit formulas for the Picard group in the cases of twisted nodes and doubly-twisted nodes
Brauer Group Theory: Completes the computation of Brauer group contributions for nodal stacky curves
Theoretical Unification: Establishes connections between nodal stacky curves and classical nodal curve theory

Methodology Details

Task Definition

Studies tame, proper, geometrically connected one-dimensional Deligne-Mumford stacks with trivial generic stabilizer. Focuses on analyzing two classes of nodes:

Twisted Nodes: Geometric stabilizer is cyclic and preserves branches
Doubly-Twisted Nodes: Existence of cyclic subgroups acting on each branch and Z/2 action exchanging branches

Theoretical Framework

1. Local Structure of Stacky Nodes

According to Proposition 3.2, the strict Henselization at node p has the form Spec R/G, where G is one of the following two types:

μₙ acting as (ζₙx, ζₙᵃy), where a ∈ (Z/n)×
Extension of μₙ ⋊ Z/2, where Z/2 exchanges coordinates and a² ≡ 1 mod n

2. Leray Spectral Sequence Method

Uses the Leray spectral sequence of the coarsening map π: C → C̄:

Hᵖ(C̄, Rᵍπ*Gₘ) ⟹ Hᵖ⁺ᵍ(C, Gₘ)

Low-degree terms yield the exact sequence:

0 → Pic C → Pic C̄ → H⁰(C̄, R¹π*Gₘ) → H²(C, Gₘ) → H²(C̄, Gₘ)

3. Group Cohomology Computation

Utilizes group cohomology formulas for cyclic groups (Proposition 2.3):

For cyclic group G: Hᵏ(G,M) = M^G/NM (k≥2 even)
Hᵏ(G,M) = ker(·N)/(x-1)M (k odd)

Technical Innovations

1. Introduction of Numerical Invariants

Defines key numerical parameters:

d₋ = gcd(a-1, n)
d₊ = gcd(a+1, n)
n₊ = n/d₊

These parameters completely determine the structure of the Picard group.

2. Extension Class Analysis

For doubly-twisted nodes, the extension class is determined by parameter m, satisfying:

σ² = ζₙᵐ (σ is the lift of Z/2)
Extension is trivial if and only if d₊|m

Consistency Checks: Verifies that results agree with known smooth cases and classical nodal cases
Special Case Analysis: Examines degeneration to classical cases when n=1
Numerical Relation Verification: Proves key numerical relations such as d₋d₊ = n or 2n in Proposition 3.7

Concrete Example Construction

Example 4.9: Constructs doubly-twisted nodes with Z/2n action
Example 4.14: Provides complete computation of Bis25, Example 3.9

0 → k× → Pic C → Pic C̄⟨ⁿ√O(p₁ + ap₂)⟩ → 0

Separable Case:

Pic C = Pic C̄⟨ⁿ√O(p₁ + ap₂)⟩

2. Picard Group of Doubly-Twisted Nodes (Theorem 4.8)

Pic(C) = {
  μ₂ ⊕ Pic(C̄)⟨^(d₋)√O(p)⟩,  if m is even
  Pic(C̄)⟨^(2d₋)√O(2p)⟩,      if m is odd
}

3. Simplification in Balanced Case (Corollary 5.9)

When k is algebraically closed and a ≡ -1 mod n:

Non-separable: Pic C ≅ k× ⊕ Pic C̄ ⊕ Z/n ≅ Pic C̄ ⊕ Z/n
Separable: Pic C ≅ Pic C̄ ⊕ Z/n = Pic C̄ ⊕ Z/n

H²(G, k×ₜᵣᵢᵥ) = {
  0,     if d₋d₊ = n or G is non-split
  Z/2,   if d₋d₊ = 2n and G is split
}

Key Findings

Structural Differences: The Picard group structure of nodal stacky curves is more complex than the smooth case and cannot be handled uniformly
Balanced Advantage: The balanced condition (a ≡ -1 mod n) yields the most concise formulas
Non-triviality of Brauer Group: Certain doubly-twisted nodes can produce non-trivial Brauer group contributions

Main Research Context

Foundational Theory of Stacky Curves: Abramovich-Corti-Vistoli ACV03 established the theory of twisted curves
Picard Group Computation: Lopez Lop23 handled the smooth case
Brauer Group Theory: Recent work by Achenjang Ach24 and Bishop Bis25
Nodal Structure Analysis: Early classification work by Ekedahl Eke95

Innovations of This Paper

First complete treatment of Picard group computation in the nodal case
Unified treatment of twisted and doubly-twisted cases
Completed missing parts of Brauer group theory

Conclusions and Discussion

Main Conclusions

Completely classified all possible structures of tame stacky nodes
Provided explicit computational formulas for Picard group and Brauer group of nodal stacky curves
Proved that stacky nodes are not root stacks
Established precise connections with classical nodal curve theory

Limitations

Tameness Assumption: Requires that char k is coprime to the order of stabilizer groups
Split Nodes: Assumes all nodes and their preimages in the normalization are k-points
Finite Type: Restricted to finite-type Deligne-Mumford stacks

Future Directions

Generalization to non-tame cases
Study of more general singularity types
Applications to moduli space theory

In-Depth Evaluation

Strengths

Theoretical Completeness: Provides a complete picture of nodal stacky curve theory
Computational Explicitness: All formulas are explicitly computable
Systematic Methodology: Systematic application of Leray spectral sequences and group cohomology
Depth of Results: Reveals profound effects of stacky structures on algebraic geometric invariants

Technical Highlights

Numerical Invariants: Introduction of parameters d₋, d₊ simplifies classification
Extension Theory: Clever application of group extension theory to geometric problems
Spectral Sequence Techniques: Skillful use of Leray and Lyndon-Hochschild-Serre spectral sequences

Theoretical Significance

Theory Completion: Fills important gaps in stacky curve theory
Methodological Exemplar: Provides standard treatment methods for similar problems
Application Potential: Furnishes tools for moduli space and intersection theory

Applicable Scenarios

Moduli space theory in algebraic geometry
Cohomology theory of stacks
Degeneration theory of curves
Boundary analysis in Gromov-Witten theory

References

This paper cites important literature in algebraic geometry and stack theory, including:

ACV03 Foundational work of Abramovich-Corti-Vistoli on twisted bundles
Lop23 Lopez's computation of Picard groups of smooth stacky curves
Bis25 Bishop's research on Brauer groups of tame stacky curves
Eke95 Ekedahl's classical work on boundary behavior of Hurwitz schemes