[论文解读] Infinite products in number theory and geometry

Jan Hendrik Bruinier|ArXiv.org|Apr 23, 2004

Analytic Number Theory Research参考文献 57被引用 5

一句话总结

本文引入了博赫特斯产品——一类特殊的无限乘积，即正交群（2,ℓ）的模形式——并展示了其在希尔伯特模曲面上的应用。通过利用这些产品，作者推导出几何与算术结果，包括算术交点数和法尔廷斯高度的显式公式，借助格林函数与zeta函数导数，将模形式与算术几何联系起来。

ABSTRACT

We give an introduction to the theory of Borcherds products and to some number theoretic and geometric applications. In particular, we discuss how the theory can be used to study the geometry of Hilbert modular surfaces.

研究动机与目标

• 开发并应用博赫特斯产品的理论，以研究希尔伯特模曲面的几何性质。
• 建立无限乘积模形式与算术曲面上算术交点理论之间的联系。
• 利用博赫特斯产品与格林函数计算算术交点数与法尔廷斯高度。
• 为算术几何中的深刻猜想（包括克雷默、库达与马约-罗埃勒猜想）提供证据。
• 将模曲线与水平结构的结果推广至具有可控奇点的算术曲面。

提出的方法

• 利用博赫特斯产品作为具有指定零点与极点的模形式，通过无限乘积展开构造。
• 应用权为−1/2的弱全纯模形式理论，关联划分函数与爱森斯坦级数。
• 采用格林函数及其星积，计算算术交点数在阿基米德位的贡献。
• 通过投影公式与从模曲线X₀(p)到希茨布吕赫-扎吉耶尔除子的双有理态射，减少有限位置的贡献。
• 结合几何交点数与zeta函数导数，利用算术代数几何体的算术体积公式。
• 将该理论应用于极小正则模型与水平结构（如全水平N结构），以确保在Z[ζ_N, 1/N]上算术交点数的良定义性。

实验结果

研究问题

• RQ1 博赫特斯产品如何用于计算希尔伯特模曲面上的算术交点数？
• RQ2 在模形式背景下，除子的几何交点与算术交点数之间存在何种关系？
• RQ3 格林函数及其积分如何贡献于阿基米德位算术交点数的计算？
• RQ4 博赫特斯产品在何种意义上为zeta函数导数与L函数特殊值的猜想提供了证据？
• RQ5 水平结构如何用于消除奇点，并在全局域上定义算术交点数？

主要发现

• 通过有限与阿基米德贡献的结合，计算了希尔伯特模曲面极小正则模型上线丛M_k^3的算术自交点数。
• 阿基米德贡献被表达为格林函数的积分，其简化为包含zeta函数导数ζ′(−1)/ζ(−1)与广义除数和σ_m(−1)的和式。
• 希茨布吕赫-扎吉耶尔除子T(m)的法尔廷斯高度由一个公式给出，其中包含k²、T(m)的体积以及σ_m(s)在s = −1处的对数导数。
• 证明了几何交点A(τ)·c₁(M_k(C))与算术交点Â(τ)·ĉ₁(ℳ_k)²成比例，暗示几何与算术不变量之间存在深刻联系。
• 有限与阿基米德贡献精确契合，得到完整公式，仅剩关于p上方纤维的贡献，可通过调整博赫特斯产品予以消除。
• 使用全水平N结构使得算术交点数可在实向量空间R_N = R / ⟨∑_{p|N} Q·log p⟩中定义，从而解决了具有非平凡自同构的模问题。