2025-11-22T22:13:16.678064

Wild Stacky Curves and Rings of Mod p Modular Forms

Kobin, Zureick-Brown

We extend work of Voight and the second author to compute the log canonical ring of a wild stacky curve over a field of characteristic $p > 0$, which allows us to compute rings of mod $p$ modular forms of level $Î_{0}(N)$. Our approach also reveals that in characteristics $2$ and $3$, there are infinitely many levels $N$ for which there are weight $2$ modular forms of level $Î_{0}(N)$ that do not lift to characteristic $0$.

academic

Wild Stacky Curves and Rings of Mod p Modular Forms

基本信息

论文ID: 2510.08821
标题: Wild Stacky Curves and Rings of Mod p Modular Forms
作者: Andrew Kobin, David Zureick-Brown
分类: math.AG (代数几何), math.NT (数论)
发表时间: 2025年10月9日
论文链接: https://arxiv.org/abs/2510.08821v1

摘要

本文扩展了Voight和第二作者的工作，计算特征p > 0域上野生栈曲线(wild stacky curve)的对数典范环，从而能够计算水平Γ₀(N)的mod p模形式环。研究还揭示了在特征2和3中，存在无穷多个水平N，使得水平Γ₀(N)的权重2模形式不能提升到特征0。

研究背景与动机

核心问题: 计算野生栈曲线的对数典范环，特别是在特征p > 0的情况下，以及理解mod p模形式的结构。
重要性:
- 模形式理论是现代数论的核心工具，与椭圆曲线、Galois表示等重要对象密切相关
- Serre模性猜想的证明需要理解mod p模形式的结构
- Rustom猜想关于模形式环的生成元和关系的度数界限是该领域的重要问题
现有方法局限性:
- Voight和Zureick-Brown的前期工作VZB只处理了驯良(tame)栈曲线的情况
- 当特征p整除6N时，模曲线X₀(N)可能具有野生分歧，现有理论无法直接应用
- 对于特征2和3中的"ethereal"模形式（不能从特征0提升的mod p模形式）缺乏系统性理解
研究动机:
- 完善栈曲线的典范环理论，覆盖野生情况
- 提供计算mod p模形式环的统一方法
- 揭示ethereal模形式的几何起源

核心贡献

扩展了野生栈曲线的对数典范环理论（定理1.1）：给出了野生可分根栈曲线对数典范环的生成元和关系的度数界限
解决了Rustom猜想的野生情况（定理1.2）：证明了对于N ≥ 1，模形式环M•(N; Z1/N)的生成元和关系都在权重≤ 12内
完全刻画了X₀(N)的栈结构（定理1.3）：在所有特征下确定了模曲线X₀(N)rig的栈点数量和自同构群
给出了ethereal模形式存在的充要条件（定理1.4）：当且仅当p=2且N是模4余1的素数之积，或p=3且N是模3余1的素数之积时，存在ethereal模形式
提供了计算ethereal模形式的算法：结合栈结构分析和线性代数方法，能够显式计算ethereal模形式的q展开

方法详解

任务定义

给定素数p和正整数N（p∤N），计算mod p模形式环M•(N; Fp)的结构，特别是：

确定生成元的最小权重
找到所有ethereal模形式（不能从特征0提升的mod p模形式）
给出环的显式表示

模型架构

1. 栈曲线分析框架

输入: 模曲线X₀(N)在不同特征下的纤维
核心工具: 野生栈Riemann-Hurwitz公式
输出: 对数典范除子的精确描述

2. 典范环计算方法

对于野生栈曲线(X, Δ)，定义refined signature为(g; c₁,..., cᵣ; δ)，其中：

g是粗模空间的亏格
cᵢ是栈点在典范除子中的有理系数
δ = deg(Δ)

3. Ethereal模形式识别算法

步骤1: 计算X₀(N)rig的栈结构
步骤2: 使用野生Riemann-Hurwitz公式计算典范除子
步骤3: 应用Riemann-Roch定理确定截面空间维数
步骤4: 通过线性代数方法分离ethereal生成元

技术创新点

野生分歧的系统处理：
- 引入refined signature概念，统一处理驯良和野生情况
- 证明"野生分歧迫使生成元进入更低度数"的关键原理
模曲线栈结构的完全分类：
- 在特征2中：j=0和j=1728的点碰撞产生野生Z/2Z×Z/2Z点
- 在特征3中：类似地产生野生S₃点
- 给出了精确的点计数公式ε₂(N)和ε₃(N)
几何与算术的深度结合：
- 通过栈结构变化解释ethereal模形式的存在
- 建立了模形式环与根栈构造的直接联系

实验设置

数据集

模曲线族: X₀(N) for N = 1, 5, 7, 11, 13, 65, 91等
特征: p = 2, 3以及一般特征
计算工具: Magma计算代数系统

评价指标

生成元的权重和数量
关系的度数
Ethereal模形式的维数
与经典情况的比较

对比方法

经典模形式理论（特征0）
Voight-Zureick-Brown的驯良情况理论
现有的mod p模形式计算方法

实现细节

使用étale覆盖方法计算分歧跳跃
通过X₁(N) → X₀(N)的覆盖分析栈结构
精确到q^t项的q展开计算（通常t ≥ 25）

实验结果

主要结果

X₀(5)在特征2中（例6.3）：
- 环结构：F₂x₂, y₂，其中y₂是ethereal的
- y₂的q展开：q + q² + q⁴ + q⁵ + q⁸ + q⁹ + q¹⁰ + ...
- y₂是模2约化形式的Artin-Schreier根
X₀(13)在特征2中（例6.5）：
- 有两个权重2的ethereal生成元
- 在权重6中出现新的关系，而特征0中无此关系
X₀(65)在特征2中（例6.8）：
- 10个权重2生成元，其中2个ethereal
- 展示了"level-lowering"现象：某些ethereal形式实际来自更低水平