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

技術的要約：多重楕円ガンマ関数の幾何学的族とその算術的応用、I

問題の所在
本論文は、多重楕円ガンマ関数の算術的応用、具体的には、正確に1つの複素次を持つ一般の数体に対するヒルベルトの第12問題を解決するための枠組みの構築を目指している。ランク3の格子（$n=3$）のケースについては、Bergeron, Charollois, および García [BCG23] が楕円ガンマ関数を用いて調査済みであるが、本研究ではこれらの構成を高次（$n \ge 3$）へと一般化することを目指している。核心となる課題は、任意のランクの格子上の幾何学的家族としてのこれらの関数を定義すること、および特殊線形群 $SL_n(\mathbb{Z})$ の作用下におけるそれらの変換特性を確立することである。二次的な目的は、関連する「モジュラリティ欠損（modularity defect）」、すなわちベルヌーイ有理関数の集合を用いて、完全実数体の $s=0$ における部分ゼータ値を計算することである。

手法
本論文は、解析的数論、代数幾何学、および多面錐（polyhedral cones）の理論を融合させた手法を用いている。

1. $G_r$ 関数の幾何学的構成:
   著者らは、幾何学的楕円ガンマ関数の幾何学的家族の構成（元来、ランク3の格子に対して Felder, Henriques, Rossi, および Zhu [FHRZ08] によって定義されたもの）を、より高次の次数へとアップグレードしている。彼らは、$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}$ と呼ばれる関数の集合に関連付けられている。著者らは、これらの関数が特定のモジュラー性および等変性（equivariance）を満たすことを証明している。$B_{n, \dots}$ の加法的コサイクル関係を確立するために、本論文は閉多面錐の指示関数の理論を利用している。錐の指示関数空間と有理関数の間の Solomon-Hu ペアリングを定義することにより、著者らは幾何学的ベルヌーイ関数を、錐に関連する生成級数の係数抽出に関連付けている。

3. 錐の構成に関する帰納的証明:
   本論文の技術的な主要部分には、閉錐の指示関数に関するコサイクル関係の証明（定理2）が含まれる。これは、ベクトル空間の次元と、定義される線形形式間の線形関係における負の係数の数の二重帰納法を通じて達成される。著者らは、「良好な（good）」構成（コサイクル関係が消滅する場合）と、「悪い位置（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)$-コサイクルの集まりであることを確認している。
• 定理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$ での部分ゼータ値を計算するための具体的な手法を提供し、多重ガンマ関数の解析的理論と数体の算術との間の隔たりを埋めている。

著者らは、これが一連の論文の第一報であることを注記している。今後のシリーズでは、モジュラー関係を簡略化するための平滑化操作、これらのコサイクルを評価して、正確に1つの複素次を持つ数体のための予想される楕円単数（elliptic units）を構成すること（ヒルベルトの第12問題への対処）、および $n=4$ のためのさらなる例に焦点を当てる予定である。現在の論文は、これらの後続する算術的応用のための基礎的なステップとして、必要な幾何学的およびコホモロジー的な装置を提供することを控えめに提示している。