Wild Stacky Curves and Rings of Mod p Modular Forms

Basic Information

• Paper ID: 2510.08821
• Title: Wild Stacky Curves and Rings of Mod p Modular Forms
• Authors: Andrew Kobin, David Zureick-Brown
• Classification: math.AG (Algebraic Geometry), math.NT (Number Theory)
• Publication Date: October 9, 2025
• Paper Link: https://arxiv.org/abs/2510.08821v1

Abstract

This paper extends the work of Voight and the second author by computing the logarithmic canonical rings of wild stacky curves over fields of characteristic p > 0, thereby enabling the computation of mod p modular forms rings at level Γ₀(N). The research reveals that in characteristics 2 and 3, there exist infinitely many levels N such that weight 2 modular forms at level Γ₀(N) cannot be lifted to characteristic 0.

Research Background and Motivation

1. Core Problem: Computing the logarithmic canonical rings of wild stacky curves, particularly in characteristic p > 0, and understanding the structure of mod p modular forms.
2. Significance:
   • Modular forms theory is a central tool in modern number theory, closely related to important objects such as elliptic curves and Galois representations
   • The proof of Serre's modularity conjecture requires understanding the structure of mod p modular forms
   • Rustom's conjecture concerning degree bounds on generators and relations of modular forms rings is an important problem in the field
   • Understanding ethereal modular forms (mod p modular forms that cannot be lifted from characteristic 0) is crucial
3. Limitations of Existing Methods:
   • Prior work by Voight and Zureick-Brown VZB only addressed the tame stacky curves case
   • When the characteristic p divides 6N, the modular curve X₀(N) may exhibit wild ramification, making existing theory inapplicable
   • Lack of systematic understanding of "ethereal" modular forms in characteristics 2 and 3 (mod p modular forms that cannot be lifted from characteristic 0)
4. Research Motivation:
   • Extend the canonical ring theory of stacky curves to cover the wild case
   • Provide a unified method for computing mod p modular forms rings
   • Reveal the geometric origin of ethereal modular forms

Core Contributions

1. Extended logarithmic canonical ring theory for wild stacky curves (Theorem 1.1): Provides degree bounds on generators and relations for logarithmic canonical rings of wild separable stacky curves
2. Resolved the wild case of Rustom's conjecture (Theorem 1.2): Proves that for N ≥ 1, generators and relations of the modular forms ring M•(N; Z1/N) all lie in weight ≤ 12
3. Completely characterized the stack structure of X₀(N) (Theorem 1.3): Determines the number of stack points and automorphism groups of X₀(N)rig in all characteristics
4. Provided necessary and sufficient conditions for ethereal modular forms (Theorem 1.4): Ethereal modular forms exist if and only if p = 2 and N is a product of primes ≡ 1 (mod 4), or p = 3 and N is a product of primes ≡ 1 (mod 3)
5. Provided an algorithm for computing ethereal modular forms: Combining stack structure analysis with linear algebra methods enables explicit computation of q-expansions of ethereal modular forms

Detailed Methodology

Task Definition

Given a prime p and positive integer N (p ∤ N), compute the structure of the mod p modular forms ring M•(N; Fp), specifically:

• Determine the minimal weight of generators
• Find all ethereal modular forms (mod p modular forms not liftable from characteristic 0)
• Provide explicit representations of the ring

Model Architecture

1. Stacky Curve Analysis Framework

• Input: Fibers of the modular curve X₀(N) in different characteristics
• Core Tools: Wild stacky Riemann-Hurwitz formula
• Output: Precise description of the logarithmic canonical divisor

2. Canonical Ring Computation Method

For a wild stacky curve (X, Δ), define the refined signature as (g; c₁,..., cᵣ; δ), where:

• g is the genus of the coarse moduli space
• cᵢ are rational coefficients of stack points in the canonical divisor
• δ = deg(Δ)

3. Ethereal Modular Forms Identification Algorithm

• Step 1: Compute the stack structure of X₀(N)rig
• Step 2: Use the wild Riemann-Hurwitz formula to compute the canonical divisor
• Step 3: Apply the Riemann-Roch theorem to determine the dimension of the section space
• Step 4: Separate ethereal generators through linear algebra methods

Technical Innovations

1. Systematic treatment of wild ramification:
   • Introduce the refined signature concept to unify treatment of tame and wild cases
   • Prove the key principle that "wild ramification forces generators into lower degrees"
2. Complete classification of modular curve stack structures:
   • In characteristic 2: collision of j = 0 and j = 1728 points produces wild Z/2Z × Z/2Z points
   • In characteristic 3: similarly produces wild S₃ points
   • Provide exact point-counting formulas ε₂(N) and ε₃(N)
3. Deep integration of geometry and arithmetic:
   • Explain the existence of ethereal modular forms through stack structure variations
   • Establish direct connections between modular forms rings and root stack constructions

Experimental Setup

Dataset

• Modular curve family: X₀(N) for N = 1, 5, 7, 11, 13, 65, 91, etc.
• Characteristics: p = 2, 3, and general characteristics
• Computational Tools: Magma computer algebra system

Evaluation Metrics

• Weight and number of generators
• Degree of relations
• Dimension of ethereal modular forms
• Comparison with classical cases

Comparison Methods

• Classical modular forms theory (characteristic 0)
• Voight-Zureick-Brown's tame case theory
• Existing mod p modular forms computation methods

Implementation Details

• Use étale cover methods to compute ramification jumps
• Analyze stack structure through the covering X₁(N) → X₀(N)
• Compute q-expansions to q^t terms (typically t ≥ 25)

Experimental Results

Main Results

1. X₀(5) in characteristic 2 (Example 6.3):
   • Ring structure: F₂x₂, y₂, where y₂ is ethereal
   • q-expansion of y₂: q + q² + q⁴ + q⁵ + q⁸ + q⁹ + q¹⁰ + ...
   • y₂ is an Artin-Schreier root of a mod 2 reduced form
2. X₀(13) in characteristic 2 (Example 6.5):
   • Two weight 2 ethereal generators
   • New relations appear in weight 6, absent in characteristic 0
3. X₀(65) in characteristic 2 (Example 6.8):
   • 10 weight 2 generators, 2 of which are ethereal
   • Exhibits "level-lowering" phenomenon: certain ethereal forms actually originate from lower levels

Ablation Studies

Through stepwise analysis of different levels N, verified:

• Correspondence between stack point collisions and ethereal modular forms existence
• Impact of ramification jumps on canonical ring structure
• Behavioral differences across characteristics

Case Studies

X₀(7) in characteristic 3 (Example 6.4):

• Ring generated by x₂, y₂ (weight 2) and x₆ (weight 6)
• Discovered ethereal cube root: g = x₂ + 2y₂ satisfying g³ = h₃
• Ethereal forms exist in every weight k ≡ 2 (mod 6)

Experimental Findings

1. Arithmetic properties of ethereal modular forms: Most ethereal cusp forms correspond to reducible Galois representations
2. Level-lowering phenomenon: Certain high-level ethereal forms actually originate from lower levels
3. Periodicity: Ethereal forms exhibit specific periodicity patterns in weights

Related Work

Main Research Directions

1. Stacky curve theory: Deligne-Mumford stacks, root stack constructions
2. Geometric theory of modular forms: Katz's geometric modular forms, Kodaira-Spencer isomorphism
3. Serre's modularity conjecture: Correspondence between mod p modular forms and Galois representations

Relationship to Related Work

• Extends VZB: From tame to wild cases
• Refines Deligne's work: Provides complete description of modular forms rings in characteristics 2 and 3
• Deepens Serre's theory: Provides geometric explanation for ethereal modular forms

Advantages

Compared to existing work, this paper is the first to:

• Systematically handle canonical rings of wild stacky curves
• Provide geometric criteria for the existence of ethereal modular forms
• Offer a computable algorithmic framework

Conclusions and Discussion

Main Conclusions

1. Wild ramification not only does not complicate the canonical ring but often simplifies generators and relations
2. In characteristics 2 and 3, there exist infinitely many levels N such that M₂(Γ₀(N); Fp) contains ethereal modular forms
3. Rustom's conjecture holds in the wild case, though with modified bounds

Limitations

1. Computational Complexity: Stack structure analysis becomes complex for large N
2. Characteristic Restrictions: Main results concentrate on p = 2, 3
3. Galois Representations: Most ethereal forms correspond to reducible representations, lacking irreducible examples

Future Directions

1. Higher-dimensional Generalizations: Analogous theory for Siegel modular forms (Problems 8.4-8.5)
2. Non-standard Level Structures: Cases for other subgroups H ⊂ SL₂(Z)
3. Cases with p|N: Using Igusa curves to handle characteristics dividing the level

In-Depth Evaluation

Strengths

1. Strong theoretical innovation: First systematic treatment of canonical ring theory for wild stacky curves
2. Good methodological uniformity: Provides unified framework for handling all characteristics
3. Computational feasibility: Offers concrete algorithms and numerous computational examples
4. Deep geometric insights: Reveals the geometric essence of ethereal modular forms

Weaknesses

1. High technical threshold: Requires deep background in algebraic geometry and number theory
2. Limited computational verification: Some large-level cases receive only theoretical analysis
3. Insufficient Galois representation analysis: Limited investigation of representation properties corresponding to ethereal forms

Impact

1. Significant theoretical contribution: Fills important gap in wild stacky curve theory
2. Broad application prospects: Provides tools for systematic computation of mod p modular forms
3. Strong reproducibility: Provides detailed Magma code and GitHub repository

Applicable Scenarios

1. Modular forms theory research: Particularly systematic analysis of mod p cases
2. Arithmetic geometry: Moduli space research involving wild ramification
3. Computational number theory: Concrete computation of modular forms and Galois representations

References

Main references include:

• VZB Voight-Zureick-Brown's foundational work on canonical rings of tame stacky curves
• Kob1,Kob2 First author's series of works on Artin-Schreier root stacks
• Del Deligne's classical results on mod p modular forms
• Ser1,Ser2 Serre's important work on mod p modular forms and modularity conjectures

This paper represents significant progress at the intersection of algebraic geometry and number theory, not only resolving long-standing technical challenges but also opening new directions for future research. The combination of theoretical depth and computational practicality makes it an important contribution to the field.