Multi-height distribution of rational points of split toric stacks

这篇论文《分裂挠率堆的有理点多重高度分布》（Multi-Height Distribution of Rational Points of Split Toric Stacks）由 Nicolas Bongiorno 撰写，旨在将数论中关于有理点渐近分布的 Manin 猜想推广到 Deligne-Mumford (DM) 堆（Stacks）的语境下，特别是针对分裂的挠率堆（Toric Stacks）。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• Manin 猜想的推广： 经典的 Manin 猜想研究的是代数簇（Varieties）上关于反典范线丛的有界高度有理点的渐近行为。Peyre 提出了一种更广泛的框架，即研究所有可能的高度（Multi-height）的分布，而不仅仅是单一线丛的高度。
• 堆（Stacks）的困难： 当研究对象从代数簇扩展到 DM 堆时，主要困难在于：即使是一个真（Proper）堆，其有理点也不一定能够延拓为整点（Integral points）。传统的通用挠器（Universal Torsor）方法在堆的语境下失效，因为堆具有非平凡的稳定子群（Stabilizers）。
• 核心问题： 如何定义并计算分裂挠率堆 $X$ 上关于挠率反典范丛（Orbifold Anticanonical Bundle） 以及所有挠率线丛的多重高度分布？特别是如何显式地计算渐近公式中的主项常数（Leading Constant），即 Tamagawa 数。

2. 方法论 (Methodology)

作者通过以下关键步骤解决了上述问题：

A. 堆的整点参数化与通用挠器

• Stacky 整点提升： 利用 Ellenberg, Satriano 和 Zureick-Brown 以及 Loughran 和 Santens 的工作，作者指出有理点可以提升到“堆整提升”（Stacky Integral Lift）。这种提升通常涉及根堆（Root stacks），即 $\text{Spec}(\mathcal{O}[\sqrt[n]{v}])$。
• 扩展通用挠器（Extended Universal Torsor）： 作者引入了一个扩展通用挠器 $T^{\text{ext}}$。
  • 对于挠率堆，通用挠器通常由挠率群 $T_{NS}$（Néron-Severi 环面）参数化。
  • 为了处理堆的扭曲扇区（Twisted Sectors），作者将挠器扩展为 $T^{\text{ext}} = T \times \mathbb{G}_m^{\pi_0^*(I_\mu X)}$，其中 $\pi_0^*(I_\mu X)$ 是 $X$ 的扭曲扇区集合。
  • 作者证明了 $X(\mathbb{Q})$ 可以通过 $T^{\text{ext}}(\mathbb{Z})$ 模去 $T_{NS, \text{orb}}(\mathbb{Z})$ 的作用来参数化（Theorem 6.15）。

B. 年龄配对（Age Pairing）与挠率 Picard 群

• 挠率 Picard 群 ($Pic_{orb}(X)$)： 引入了包含扭曲扇区贡献的挠率 Picard 群。对于挠率堆，$Pic_{orb}(X)$ 是自由阿贝尔群（无挠）。
• 年龄配对： 利用 Darda 和 Yasuda 的框架，定义了年龄配对 $\text{age}: \pi_0(I_\mu X) \times Pic(X) \to \mathbb{Q}/\mathbb{Z}$。
• 关键性质： 作者证明了对于挠率堆，年龄配对可以完全确定扭曲扇区（Theorem 5.25），即年龄配对是单射。这使得可以通过挠器上的坐标来唯一确定有理点所在的扇区。

C. 局部高度与 Tamagawa 测度

• 局部高度提升： 作者定义了从扩展通用挠器 $T^{\text{ext}}$ 到挠率 Picard 群对偶空间的局部高度函数 $h^{\text{ext}}_{T, v}$。
• Tamagawa 数定义： 定义了堆的 Tamagawa 数 $\tau_{orb}(X)$ 作为欧拉乘积。
• $p$-进因子的解释： 这是一个核心创新。作者证明了 $p$-进因子 $\mu_{X, p}(X(\mathbb{Q}_p))$ 可以通过一个质量公式（Mass Formula） 来解释，该公式计算了 $X$ 的扇区在有限域 $\mathbb{F}_p$ 上的点（Theorem 6.52）。这推广了 Loughran 和 Santens 对 $BG$ 堆的结果。

3. 主要结果 (Key Results)

定理 1.1 (多重高度渐近公式)

设 $X$ 是定义在 $\mathbb{Q}$ 上的分裂挠率堆。令 $D_1$ 为 $Pic_{orb}(X)^\vee_{\mathbb{R}}$ 中紧多面体的有限并，$u$ 为挠率有效锥对偶内部的元素。对于 $B > 1$，定义区域 $D_B = D_1 + \log(B)u$。则有理点计数满足：
$$\sharp \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim_{B \to +\infty} \nu(D_1) \tau_{orb}(X) B^{\langle \omega^{-1}_{X, orb}, u \rangle}$$
其中：

• $\nu(D_1)$ 是定义在 $Pic_{orb}(X)^\vee_{\mathbb{R}}$ 上的测度。
• $\tau_{orb}(X)$ 是堆的 Tamagawa 数。
• 指数 $\langle \omega^{-1}_{X, orb}, u \rangle$ 由挠率反典范丛决定。

定理 1.2 (Tamagawa 数的 $p$-进解释)

对于素数 $p$（使得 $X_{\mathbb{Z}_p}$ 是 tame DM 堆），Tamagawa 数的 $p$-进因子由下式给出：
$$\mu_{X, p}(X(\mathbb{Q}_p)) = \frac{\sharp X(\mathbb{F}_p)}{p^{\dim(X)}} + \frac{1}{p} \sum_{S \in \pi_0^*(I_\mu X)} \frac{\sharp S(\mathbb{F}_p)}{p^{\dim(S)}}$$
这里 $\sharp$ 表示群胚基数（Groupoid Cardinality）。这一结果将解析数论中的常数与几何对象（扇区）的有限域点数直接联系起来。

积分参数化 (Theorem 6.15)

建立了有理点集 $X(\mathbb{Q})$ 与扩展通用挠器整点集 $T^{\text{ext}}(\mathbb{Z})$ 模去挠率群作用的双射。这使得可以将有理点计数问题转化为格点计数问题（Lattice Point Counting）。

4. 技术贡献与创新点 (Contributions)

1. 扩展通用挠器的构造： 成功构建了适用于挠率堆的扩展通用挠器，解决了有理点无法直接延拓为整点的问题，并提供了显式的参数化方案。
2. 年龄配对的提升： 证明了年龄配对可以提升到挠器上，并且对于挠率堆，年龄配对是扇区分类的完备不变量。
3. 多重高度框架的堆化： 将 Peyre 的多重高度理论成功推广到 DM 堆，特别是处理了扭曲扇区对高度函数的贡献。
4. Tamagawa 数的几何解释： 给出了 Tamagawa 数 $p$-进因子的显式质量公式，将其解释为堆及其扇区在有限域上的点计数。这为理解 Manin 猜想中的常数提供了几何直观。
5. 处理非分裂情况的新视角： 虽然本文主要处理分裂情况，但作者指出该方法为处理带有非平凡伽罗瓦作用的非分裂挠率堆（如模曲线 $X_0(N)$）提供了新视角。

5. 意义与影响 (Significance)

• 统一框架： 该工作为研究代数堆上的有理点分布提供了一个统一且强大的分析框架，将经典的代数簇理论（如 Salberger 的通用挠器方法）自然地推广到了具有奇点和稳定子群的几何对象上。
• 连接数论与几何： 通过将 Tamagawa 数与有限域上的点计数（质量公式）联系起来，加深了对 Manin 猜想中常数项几何意义的理解。
• 应用潜力： 该方法不仅适用于抽象的挠率堆，还可以应用于具体的算术几何对象，如加权射影空间、模曲线以及分类堆 $BG$（其中$G$ 为有限阿贝尔群）。
• 后续工作基础： 作者指出，这一多重高度结果蕴含了经典的 Batyrev-Manin 原理（即关于单一反典范丛高度的渐近行为），并解释了 Darda 和 Yasuda 之前得到的常数项作为留数的几何意义。

总结来说，这篇论文通过引入扩展通用挠器和精细的年龄配对分析，成功解决了分裂挠率堆上多重高度分布的渐近问题，并给出了 Tamagawa 数的显式几何解释，是算术几何和堆论领域的重要进展。