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

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

问题陈述
本文研究了多重椭圆伽马函数的算术性质，特别是它们在 $SL_n(\mathbb{Z})$ 的同余子群（对于 $n \ge 2$）作用下的行为。基于该系列的第一篇论文 [Mor25]（该文定义了这些函数的几何族，并建立了涉及伯努利有理函数的上边界关系），本研究旨在将椭圆单位（elliptic units）的构造推广到具有恰好一个复平面的数域。核心问题在于证明，这些几何函数的平滑版本（smoothed versions）构成了对同余子群 $\Gamma_0(N, n) \subset SL_n(\mathbb{Z})$ 的部分模符号（partial modular symbols）。具体而言，作者试图证明这些平滑函数满足循环关系（cocycle relations），且这些关系在源自数域中全正单位群的环面上限制为 $(n-2)$-上循环。

方法论
本文结合了几何分析、锥的组合拓扑学以及有限群上的傅里叶分析。研究方法分为三个主要阶段：

1. 几何设置与模性质： 作者定义了函数 $G_{n-2}$ 的几何族以及秩为 $n$ 的格 $L$ 上相关的伯努利有理函数 $B_n$。他们通过比较格 $L$ 与“平滑格” $L'$（由将第一个基向量按整数 $N$ 缩放而生成）上的函数，引入了一种“平滑操作”。核心技术挑战在于分析这些函数在 $\Gamma_0(N, n)$ 作用下的模变换性质。
2. 通过锥分解进行上循环分析： 为了证明平滑函数满足特定的循环关系（定理 2），作者对定义多重椭圆伽马函数的锥 $C^\pm(a, x)$ 进行了详细的组合分析。他们引入了“符号表”来追踪这些锥上的线性形式的符号。一个关键步骤是证明，对于“位置良好”的线性形式（即秩不为 $n-1$ 且 0 不是重心时），任何三个此类锥的交集为空，且任何向量要么属于零个锥，要么恰好属于两个锥。这导致了特定计数函数（$f_1$ 和 $f_2$）的消失，从而证明了平滑后的伽马函数乘积是一个单位根常数。
3. 平滑化与有理性： 作者对伯努利有理函数 $B_n$ 应用了经典的平滑操作。利用受 [CD14] 启发、在有限群 $(\mathbb{Z}/N\mathbb{Z})^n$ 上的傅里叶分析，他们将平滑后的 $B_n$ 函数表示为分圆单位（cyclotomic units）迹的和。这使得他们能够确立这些函数是有理值的，且独立于复变量 $w$ 和 $x$，仅取决于线性形式和格类。

主要贡献与结果

• 定理 1（主要结果）： 本文证明了对于位置良好的线性形式 $a_1, \dots, a_n$ 和“良好”的平滑格 $L'$，平滑后的多重椭圆伽马函数满足乘法关系：
  $$\prod_{j=1}^n G_{n-2, a_1, \dots, \hat{a}_j, \dots, a_n}(v)(w, x, L, L')^{(-1)^{j+1}} = \exp\left( \frac{2\pi i b}{D(N, n)} \right)$$
  其中 $b$ 是取决于形式和格类的整数，而 $D(N, n)$ 是取决于 $N$ 和 $n$ 的特定整数。这将经典 $SL_2(\mathbb{Z})$ 的 Dedekind-Rademacher 关系推广到了高维情形。
• 定理 2： 作者扩展了 [Mor25] 中的上边界关系，以证明对于更广泛的一类线性形式（特别是那些在对偶空间中“位置良好”的线性形式），未平滑的几何伽马函数的乘积等于 $\exp(2\pi i B_n)$，涵盖了秩为 $n-1$ 的情况。
• 定理 3： 本文确立了平滑后的伯努利有理函数 $B_n(v)(w, x, L, L')$ 是有理数。此外，它们被表示为分圆单位迹的和，这意味着它们的分母存在统一界限。具体而言，其取值位于 $D(N, n)^{-1}\mathbb{Z}$ 中。
• 上同调解释： 这些结果可以用群上同调来解释。平滑后的函数定义了 $\Gamma_0(N, n)$ 的部分模符号。当限制在 $\Gamma_0(N, n)$ 中由数域全正单位群产生的子群 $U$ 时，这些函数产生值为特定系数模的 $(n-2)$-上循环（对于伽马函数）和 $(n-1)$-上循环（对于伯努利函数）。

意义
本文声称，它是构建具有恰好一个复平面的数域的猜想性高阶椭圆单位（higher elliptic units）的必要步骤，这一问题与希尔伯特第 12 问题相关。通过将椭圆单位的构造从复三次域（$n=3$）推广到任意次数 $n$，作者提供了这些数域阿贝尔扩张的解析描述。这项工作通过证明这些函数的“模缺陷”（modularity defect）可以简化为具有统一有界分母的平滑高阶 Dedekind 和，架起了几何型多重椭圆伽马函数与算术应用之间的桥梁。这种有界性对于构造 Stark 型单位所需的整性性质至关重要。文中明确指出，这些单位的完整构造及其在单位群上的性质验证将是该系列第三篇论文的主题。