[论文解读] Height zeta functions of equivariant compactifications of semi-direct products of algebraic groups

Sho Tanimoto, Yuri Tschinkel|arXiv (Cornell University)|Apr 1, 2011

Advanced Algebra and Geometry参考文献 11被引用 4

一句话总结

本文将高度 zeta 函数应用于研究数域上代数群半直积的等变紧化中理性点的渐近分布。利用 adelic 群上的谱理论，证明了谱展开中的主项与 Manin 猜想的预测一致，主项形式为 $ c \cdot B \log(B)^{r-1} $，其中 $ r $ 为 Picard 秩，并提供了满足该猜想的新理性曲面例子。

ABSTRACT

We apply the theory of height zeta functions to study the asymptotic distribution of rational points of bounded height on projective equivariant compactifications of semi-direct products.

研究动机与目标

• 建立代数群半直积的等变紧化上，有界高度理性点的渐近分布。
• 利用高度 zeta 函数验证这些代数簇的 Manin 猜想预测。
• 证明高度 zeta 函数谱展开中的主项与预期的渐近形式 $ c \cdot B \log(B)^{r-1} $ 一致。
• 通过高度 zeta 函数方法，提供满足 Manin 猜想的新理性曲面例子。

提出的方法

• 利用与非常 ample 线丛上 adelic 赋范相关的高度 zeta 函数，计数有界高度的有理点。
• 应用 adelic 群上的谱理论，将 zeta 函数分解为一维与无穷维表示的贡献。
• 在 adele 环上运用调和分析，分析 zeta 函数的局部因子，特别关注 p 进积分与特征和。
• 运用可解线性代数群等变紧化的理论，描述边界除子及其 Picard 群结构。
• 应用驻定相位法与 p 进积分，估计局部因子 $ \widehat{\mathsf{H}}_p $，证明一致收敛性与有界性。
• 证明 zeta 函数在平移有效锥上的管域上解析，确保谱展开的收敛性。

实验结果

研究问题

• RQ1 等变紧化半直积代数群的高度 zeta 函数是否表现出与 Manin 猜想一致的主项？
• RQ2 高度 zeta 函数的谱展开能否导出有界高度理性点的预测渐近增长 $ c \cdot B \log(B)^{r-1} $？
• RQ3 在一维表示中，高度 zeta 函数谱分解中的作用是什么？
• RQ4 p 进积分与特征和如何影响 zeta 函数局部因子的收敛性与解析性质？
• RQ5 该方法能否产生满足 Manin 猜想的新理性曲面例子？

主要发现

• 高度 zeta 函数谱展开中的主项精确对应于 Manin 猜想所预测的主项：$ c \cdot B \log(B)^{r-1} $，其中 $ r $ 为 Picard 秩。
• zeta 函数 $ \mathsf{Z}_1(\mathbf{s}, \text{id}) $ 在平移有效锥 $ -K_X + \Lambda_{\text{eff}}(X) $ 的开邻域上的管域上解析，确保谱级数收敛。
• 局部因子 $ \widehat{\mathsf{H}}_p $ 一致有界于 $ C' / p^{1+\epsilon} $，且全局 zeta 函数在合适域的紧子集上绝对且一致收敛。
• 对于 $ \iota \in \mathcal{I}_3 $，若 $ e_\iota > 1 $，则积分 $ \int_{\rho^{-1}(\tilde{x})} $ 恒为零；若 $ e_\iota = 1 $，则等于 $ -p^{-(s_\iota - d_\iota + 2)}/(p-1) $，表明特征和中存在精确抵消。
• 该方法产生了满足 Manin 猜想的新理性曲面例子，其范围超越了 torsor 基方法的适用范围。
• 谱分析确认，一维表示的贡献占主导地位，且与预期渐近行为一致，且不依赖于基数域。