[论文解读] Campana points on biequivariant compactifications of the Heisenberg group

Huan Xiao|arXiv (Cornell University)|Apr 28, 2020

Advanced Algebra and Geometry参考文献 23被引用 5

一句话总结

该论文通过分析高度 zeta 函数并利用表示理论与谱分解，证实了在 ℚ 上海森堡群的双不变紧化上卡姆帕纳点的对数曼宁猜想，建立了具有 $b^\prime - 1$ 阶对数项的渐近计数公式，其中 $b^\prime$ 是由除子配置和有限集 $S$ 中各位置的局部不变量导出的几何不变量。该结果验证了该类法诺簇上卡姆帕纳点的预测渐近增长速率。

ABSTRACT

We study Campana points on biequivariant compactifications of the Heisenberg group and confirm the log Manin conjecture introduced by Pieropan, Smeets, Tanimoto and Várilly-Alvarado.

研究动机与目标

• 验证 ℚ 上海森堡群双不变紧化上卡姆帕纳点的对数曼宁猜想。
• 利用高度 zeta 函数分析这些簇上有界高度卡姆帕纳点的分布。
• 计算卡姆帕纳点计数函数的精确渐近增长速率，识别对数项与主常数。
• 建立高度 zeta 函数的谱分解，并确定对应于几何不变量 $b^\prime$ 的 $s=1$ 处极点的阶数。

提出的方法

• 该研究采用与上海森堡群双不变紧化上阿得利度量线丛相关联的高度 zeta 函数。
• 利用海森堡群的表示理论，将高度 zeta 函数的谱分解分析为分量 $\mathsf{Z}_{0,\varepsilon}(sL)$、$\mathsf{Z}_{1,\varepsilon}(sL)$ 和 $\mathsf{Z}_{2,\varepsilon}(sL)$。
• 通过分析除子 $D_{\mathrm{red}}$ 的 klt 与非 klt 部分，并利用有限集 $S$ 中各位置的局部不变量，确定 $s=1$ 处极点的阶数。
• 将塔布尔型定理应用于谱分解，从极点阶数推导出渐近公式。
• 通过反证法证明，仅 $\mathsf{Z}_{0,\varepsilon}(sL)$ 分量对阶数为 $b^\prime$ 的主极点有贡献。
• 不变量 $b^\prime$ 定义为 $\#\mathcal{A}^{\mathrm{klt}} + \sum_{v\in S} b(\mathbb{Q}_v, (X,D_{\mathrm{red}}), L)$，结合了全局与局部几何数据。

实验结果

研究问题

• RQ1 在 ℚ 上海森堡群的双不变紧化上，卡姆帕纳点的对数曼宁猜想是否成立？
• RQ2 此类簇上有界高度卡姆帕纳点数量的精确渐近增长速率是什么？
• RQ3 高度 zeta 函数的谱分解如何反映紧化几何与算术结构？
• RQ4 除子配置与局部不变量在决定高度 zeta 函数极点阶数方面起什么作用？
• RQ5 渐近公式中的对数项能否从紧化的几何结构与卡姆帕纳除子显式计算得出？

主要发现

• 高度 zeta 函数 $\mathsf{Z}_{\varepsilon}(sL)$ 在 $s=1$ 处具有阶数为 $b^\prime$ 的极点，其中 $b^\prime = \#\mathcal{A}^{\mathrm{klt}} + \sum_{v\in S} b(\mathbb{Q}_v, (X,D_{\mathrm{red}}), L)$。
• $\mathsf{Z}_{0,\varepsilon}(sL)$ 分量贡献了阶数为 $b^\prime$ 的极点，而 $\mathsf{Z}_{1,\varepsilon}(sL)$ 与 $\mathsf{Z}_{2,\varepsilon}(sL)$ 分量仅贡献阶数严格更低的极点。
• 卡姆帕纳点的计数函数满足 $\mathsf{N}(G(\mathbb{Q})_{\varepsilon},\mathcal{L},T) \sim \frac{\overline{c}}{(b^\prime-1)!} T (\log T)^{b^\prime-1}$，当 $T \to \infty$ 时，证实了对数曼宁猜想。
• 常数 $\overline{c} > 0$ 依赖于有限集 $S$、积分模型 $(\mathcal{X}, \mathcal{D}_{\varepsilon})$ 以及阿得利度量线丛 $\mathcal{L}$。
• 证明通过反证法确立了 $s=1$ 处极点的阶数恰好为 $b^\prime$，表明不存在更大除子配置能对极点产生贡献。
• 该结果证实了此类簇的对数曼宁猜想，将先前关于 тор 与向量群紧化的结果推广至具有非平凡群结构的非 тор、非类 tor 的法诺簇。