2025-11-24T13:07:17.437469

Fundamental domains for quaternionic S-arithmetic groups over totally real fields

Masdeu, Torrents
Let $B$ be a totally-definite quaternion algebra over a totally real field $F$, let $\mathfrak{p}$ be a prime ideal of $F$, and let $Γ$ be the group of reduced norm-$1$ elements of an Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-order $R$ inside $B$. We give an algorithm to compute the fundamental domain for the action of $Γ$ on the Bruhat-Tits tree of $\operatorname{GL}_2(F_\mathfrak{p})$. Using this, we tabulate Shimura curves of genus up to $3$ over any totally real field which can be $\mathfrak{p}$-adically uniformized for some prime $\mathfrak{p}$.
academic

Fundamental domains for quaternionic S-arithmetic groups over totally real fields

基本信息

  • 论文ID: 2510.09356
  • 标题: Fundamental domains for quaternionic S-arithmetic groups over totally real fields
  • 作者: Marc Masdeu, Eloi Torrents
  • 分类: math.NT (Number Theory)
  • 发表时间: 2025年10月13日
  • 论文链接: https://arxiv.org/abs/2510.09356

摘要

设BB是完全实域FF上的完全定正四元数代数，p\mathfrak{p}是FF的素理想，Γ\Gamma是BB内Eichler OF[1/p]\mathcal{O}_F[1/\mathfrak{p}]-阶RR的约化范数为1的元素群。本文给出了计算Γ\Gamma在GL⁡2(Fp)\operatorname{GL}_2(F_\mathfrak{p})的Bruhat-Tits树上作用的基本域的算法。利用此算法，作者制表了所有可以被某个素数p\mathfrak{p}进一步一致化的完全实域上亏格不超过3的Shimura曲线。

研究背景与动机

  1. 核心问题：本文要解决的核心问题是计算四元数S-算术群在Bruhat-Tits树上作用的基本域。这是代数数论和自守形式理论中的一个重要计算问题。
  2. 重要性：
    • 对于具有坏约化的Shimura曲线，其坏特殊纤维的结构由这些基本域编码
    • 基本域的计算对于理解Shimura曲线的p-进一致化至关重要
    • 这些计算结果可用于确定特定亏格范围内的所有Shimura曲线
  3. 现有方法局限性：
    • 之前的算法主要针对有理数域Q\mathbb{Q}上的情况
    • 对于一般完全实域的情况，缺乏有效的计算方法
    • 现有方法在处理高亏格情况时效率不高
  4. 研究动机：
    • 推广Franc-Masdeu算法到完全实域的情况
    • 提供系统的方法来计算和分类低亏格Shimura曲线
    • 为Shimura曲线的p-进理论提供计算工具

核心贡献

  1. 算法创新：将Franc-Masdeu算法推广到完全实域上的四元数代数情况，给出了计算基本域的完整算法
  2. 理论发展：
    • 提供了判断Bruhat-Tits树上两个顶点或边是否在群作用下等价的有效方法
    • 给出了用矩阵表示Bruhat-Tits树顶点和边的标准化方法
  3. 计算成果：系统计算并制表了度数2-7的完全实域上亏格不超过3的所有可p-进一致化的Shimura曲线
  4. 软件实现：提供了SageMath实现，使得算法可以被其他研究者使用和验证

方法详解

任务定义

给定完全实域FF上的完全定正四元数代数BB，素理想p\mathfrak{p}，以及Eichler阶RR，计算约化范数为1的元素群Γ=ι(R[1/p]×1)⊆SL2(Fp)\Gamma = \iota(R[1/\mathfrak{p}]^{\times 1}) \subseteq \text{SL}_2(F_\mathfrak{p})在Bruhat-Tits树TpT_\mathfrak{p}上作用的基本域。

核心算法架构

1. Bruhat-Tits树的表示

  • 顶点表示：同伦类[Λ][Λ]，其中Λ⊆Fp2Λ \subseteq F_\mathfrak{p}^2是格
  • 标准化表示：使用OF\mathcal{O}_F中的2×22 \times 2矩阵表示顶点和边

引理2.2：顶点可表示为形如(πm0rπn)\begin{pmatrix} \pi^m & 0 \\ r & \pi^n \end{pmatrix}或(0πmπnr)\begin{pmatrix} 0 & \pi^m \\ \pi^n & r \end{pmatrix}的矩阵，其中r∈Snr \in S_n。

2. 等价性判断算法

核心问题是判断两个顶点/边u,vu, v是否ΓΓ-等价，即是否存在γ∈Γγ \in Γ使得ι(γ)u=v\iota(γ)u = v。

引理3.2：设2m=a+b2m = a + b，其中a=valπ(det⁡u)a = \text{val}_\pi(\det u)，b=valπ(det⁡v)b = \text{val}_\pi(\det v)，则 HomΓ(u,v)=Γ∩π−mv∗Λ0u\text{Hom}_Γ(u,v) = Γ \cap π^{-m}v^*Λ_0u

算法核心步骤：

  1. 构造格Λu,v=ι−1(πhv∗Λ0u)∩R+pd⌈m/d⌉+1RΛ_{u,v} = \iota^{-1}(π^h v^* Λ_0 u) \cap R + \mathfrak{p}^{d⌈m/d⌉+1}R
  2. 寻找约化范数为δ2⌈m/d⌉δ^{2⌈m/d⌉}的元素
  3. 使用LLL算法求解最短向量问题

3. 基本域计算算法

算法2的主要流程：

  1. 从基点v0v_0开始
  2. 对每个待处理顶点，检查其所有出边
  3. 使用等价性判断确定新边/顶点是否已在基本域中
  4. 记录边界关系，计算亏格
  5. 重复直到所有顶点处理完毕

技术创新点

  1. 矩阵表示的标准化：通过引理2.2，将p-进矩阵的计算转化为整数环上的计算，大大简化了实现复杂度
  2. 格方法的应用：将等价性判断问题转化为在特定格中寻找特定范数元素的问题，利用LLL算法高效求解
  3. 边界数据预计算：通过预计算边界层的约化信息，将任意顶点的约化复杂度降低到O(dist(v))O(\text{dist}(v))
  4. 亏格控制：算法可以设置最大亏格限制，避免计算过于复杂的情况

实验设置

数据范围

  • 数域度数：2-7度的完全实域
  • 亏格范围：0-3
  • 素数条件：不分歧且惯性度为1的素数

计算环境

  • 硬件：Apple M4处理器，16GB RAM
  • 软件：SageMath实现
  • 算法优化：使用LLL算法和格约化技术

评价指标

  1. 计算效率：算法1在不同距离顶点上的运行时间
  2. 覆盖完整性：通过Selberg-Zograf界确保分类的完整性
  3. 结果验证：通过多种方法验证计算结果的正确性

实验结果

主要计算成果

表1：发现的Shimura曲线数量统计

数域度数亏格0亏格1亏格2亏格3
218413446
37371137
429506153
50022
627128
70000
总计56135120146

性能分析

  • 算法效率：算法1的运行时间随顶点距离缓慢增长，表明算法具有良好的可扩展性
  • 大规模计算：成功计算了亏格65的基本域（16个顶点，80条边），耗时约30秒

具体实例

  1. 二次域Q(97)\mathbb{Q}(\sqrt{97})：
    • 素数p=(10−97)\mathfrak{p} = (10-\sqrt{97})
    • 基本域结构相对简单
  2. 二次域Q(5)\mathbb{Q}(\sqrt{5})：
    • 素数p=(35−12)\mathfrak{p} = (\frac{3\sqrt{5}-1}{2})
    • 四元数代数判别式N−=(21)N^- = (21)
    • 得到亏格65的Shimura曲线

完整性验证

使用Selberg-Zograf界： A<643(g+1)A < \frac{64}{3}(g+1) 其中面积公式为： A=4(2π)2ndF3/2ζF(2)Φ(pN−)Ψ(N+)A = \frac{4}{(2π)^{2n}} d_F^{3/2} ζ_F(2) Φ(\mathfrak{p}N^-) Ψ(N^+)

通过此界确保了分类的完整性。

相关工作

主要研究方向

  1. Bruhat-Tits树理论：Serre的基础理论为本文提供了数学框架
  2. Shimura曲线的p-进一致化：Čerednik-Drinfel'd定理提供了理论基础
  3. 计算代数几何：Franc-Masdeu的原始算法为本文的起点

与相关工作的关系

  • 推广性：本文将FM14的算法从有理数域推广到一般完全实域
  • 系统性：相比Voight的分类工作，本文提供了更系统的计算方法
  • 实用性：提供了可用的软件实现，便于其他研究者使用

结论与讨论

主要结论

  1. 成功将Bruhat-Tits树基本域计算算法推广到完全实域情况
  2. 系统计算了低亏格Shimura曲线的完整分类
  3. 验证了算法的效率和可扩展性

局限性

  1. 计算复杂度：对于高亏格情况，计算复杂度仍然较高
  2. 素数限制：算法要求素数不分歧且惯性度为1
  3. 内存需求：大规模计算需要较大内存支持

未来方向

  1. 推广到一般素数的情况
  2. 优化算法以处理更高亏格的情况
  3. 应用到Shimura曲线方程的显式计算

深度评价

优点

  1. 理论贡献：成功解决了完全实域上四元数S-算术群基本域计算这一重要问题
  2. 算法创新：巧妙地将p-进计算转化为整数环上的计算，大大简化了实现
  3. 系统性：提供了完整的分类结果，具有重要的参考价值
  4. 实用性：开源实现使得结果可以被验证和进一步使用

不足

  1. 素数限制：对素数的限制条件较强，限制了方法的普适性
  2. 复杂度分析：缺乏详细的理论复杂度分析
  3. 高亏格局限：对于高亏格情况的处理效率有待提高

影响力

  1. 学术价值：为Shimura曲线理论提供了重要的计算工具
  2. 应用前景：可应用于密码学、编码理论等相关领域
  3. 可复现性：提供了完整的开源实现，便于验证和扩展

适用场景

  1. Shimura曲线的显式计算和分类
  2. 四元数代数的计算研究
  3. p-进自守形式的数值计算
  4. 代数数论中的具体计算问题

参考文献

本文主要参考了以下重要文献：

  • FM14 Franc-Masdeu关于GL2(Qp)\text{GL}_2(\mathbb{Q}_p)基本域计算的原始工作
  • Ser03 Serre关于树的经典理论
  • Voi09 Voight关于低亏格Shimura曲线的分类工作
  • Mil15 Milione关于Shimura曲线p-进一致化的理论

总评：这是一篇高质量的计算数论论文，成功解决了一个重要的理论计算问题，并提供了系统的分类结果。算法设计巧妙，实现完整，对相关领域具有重要贡献。