Geometric families of multiple elliptic Gamma functions and arithmetic applications, I

技术摘要：多重椭圆伽马函数的几何族及其算术应用，I

问题陈述
本文研究了多重椭圆伽马函数的算术应用，特别旨在构建一个框架，用于解决具有恰好一个复平面的一般数域的希尔伯特第12问题。虽然 Bergeron, Charollois, 和 García [BCG23] 已利用椭圆伽马函数探讨了秩为 3 的格（$n=3$）的情形，但本研究旨在将这些构造推广到更高秩（$n \ge 3$）的情况。核心挑战在于如何在任意秩的格上定义这些函数的几何族，并建立它们在特殊线性群 $SL_n(\mathbb{Z})$ 作用下的变换性质。次要目标是利用相关的“模缺陷”（modularity defect）——即一组伯努利有理函数——来计算全实数域在 $s=0$ 处的偏泽塔值。

研究方法
本文结合了解析数论、代数几何以及多面锥理论。

1. $G_r$ 函数的几何构造：
   作者将几何椭圆伽马函数族的构造（最初由 Felder, Henriques, Rossi, 和 Zhu [FHRZ08] 用于秩为 3 的格）提升到了更高阶。他们定义了附属于秩为 $n$ 的格 $L$ 上 $n-1$ 个线性无关原初线性形式族的几何族 $G_{n-2, a_1, \dots, a_{n-1}}$。这些函数是使用 Nishizawa 的多重椭圆伽马函数 $G_r$ 作为构建模块，并根据 $SL_n(\mathbb{Z})$ 在格上的作用进行了几何适配。

2. 上圈关系与锥理论：
   这些几何函数的变换性质与一组伯努利有理函数 $B_{n, a_1, \dots, a_n}$ 相关联。作者证明了这些函数满足特定的模性质和等变性质。为了建立 $B_{n, \dots}$ 的加法上圈关系（additive cocycle relations），论文利用了闭多面锥指示函数的理论。通过定义 Solomon-Hu 配对（将锥指示函数空间与有理函数联系起来），作者将几何伯努利函数与关联于锥的生成级数的系数提取过程联系起来。

3. 锥配置的归纳证明：
   论文的重要技术工作涉及证明关于闭锥指示函数的上圈关系（定理 2）。这是通过对向量空间维度和线性关系中负系数数量进行的双重归纳完成的。作者仔细区分了“良好”配置（其中上圈关系消失）和“不良位置”（bad position, BP）配置（其中关系可能不成立或需要特殊处理）。

4. 在泽塔函数中的应用：
   本文将这些结果应用于计算分次泽塔函数的 Shintani 方法。通过将正单位元的基本域分解为有符号的有理多面锥的符号并集，作者将偏泽塔函数在 $s=0$ 处的值表示为几何伯努利函数的线性组合。

主要贡献与结果

• 定理 1（模与等变性质）： 论文确立了几何族 $G_{n-2, a_1, \dots, a_{n-1}}$ 满足一个涉及等于伯努利有理函数 $B_{n, a_1, \dots, a_n}$ 之指数函数的乘积的模性质。此外，$G$ 函数和 $B$ 函数在 $SL_n(\mathbb{Z})$ 的作用下都是等变的。这推广了已知的 $\theta$ 函数（$n=2$）和椭圆伽马函数（$n=3$）的关系。
• 定理 2（锥的上圈关系）： 作者证明了一个关于闭多面锥指示函数的数学结果。他们表明，对于处于一般位置（排除“不良位置”）的线性形式，一个特定的锥指示函数交替和在包含直线的锥所生成的子空间模下同余于零。这一结果是论文的技术核心，在多面锥理论中也具有独立的意义。
• 推论 1（伯努利函数的上圈关系）： 由定理 2 导出，该推论指出，对于几乎所有的线性形式配置，伯努利有理函数 $B_{n, a_0, \dots, \hat{a}_j, \dots, a_n}$ 的交替和为零。这证实了函数族 $\phi_{n,a}$ 构成了与单位群相关的特定 $SL_n(\mathbb{Z})$ 子群的 $(n-1)$-上圈（$(n-1)$-cocycles）。
• 定理 3（偏泽塔值）： 论文提供了一个显式公式，将 $n$ 次全实数域的偏泽塔值 $\zeta_{\mathfrak{f}}(\mathfrak{b}, 0)$ 表示为代数数的迹。具体而言，这些值被计算为几何伯努利函数 $B_{n, a_1, \dots, a_n}$ 在 $s=0$ 处的求值，并由来自有符号基本域分解的符号进行加权。
• 显式计算： 作者通过对实三次域（$n=3$）的显式计算展示了其方法的有效性，恢复了文献中的已知结果（例如 [CGS00]），并使用 Pari/GP 进行了验证。

意义与主张
本文声称为高维情形下多重椭圆伽马函数的算术应用提供了一个全面的框架。其主要意义在于：

1. 推广性： 它成功地将椭圆伽马函数的几何构造及其相关的模性质从秩 3 扩展到任意秩 $n$，为 $\theta$ 函数、椭圆伽马函数及其高阶类似物提供了一个统一的视角。
2. 上圈洞察： 它阐明了这些函数的上圈性质，将其识别为 $SL_n(\mathbb{Z})$ 的上圈（或与之相关），并将其与算术不变量的计算联系起来。
3. 计算工具： 它提供了一种利用几何伯努利函数计算全实数域中 $s=0$ 处偏泽塔函数的具体方法，架起了多重伽马函数的解析理论与数域算术之间的桥梁。

作者指出，这是系列论文中的第一篇。该系列未来的工作将侧重于通过平滑操作来简化模关系，通过求值这些上圈来构造具有恰好一个复平面的数域的猜想椭圆单位（以解决希尔伯特第 12 问题），以及针对 $n=4$ 的进一步示例。目前的论文将其结果谦逊地定位为基础性的步骤，为后续这些算术应用提供了必要的几何和上圈机制。