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

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

問題設定
本論文は、多重楕円ガンマ関数の算術的性質、特に $n \ge 2$ における $SL_n(\mathbb{Z})$ の合同部分群の作用下での振る舞いについて扱う。幾何学的家族としてのこれらの関数を定義し、ベルヌーイ有理関数を用いたそれらの境界関係を確立した本シリーズの第一論文 [Mor25] に基づき、本研究は、正確に1つの複素次を持つ数体への楕円単元の構成を一般化することを目的としている。中心となる問題は、平滑化されたこれらの関数が、合同部分群 $\Gamma_0(N, n) \subset SL_n(\mathbb{Z})$ に対する部分モジュラー記号を与えることを示すことである。具体的には、著者らは、平滑化された関数が、数体の正の単数群から導かれるトーリ（環）上で $(n-2)$-コサイクルに制限されるコサイクル関係を満たすことを証明することを目指している。

手法
本論文は、幾何学的解析、錐（cone）の組合せトポロジー、および有限群上のフーリエ解析を組み合わせた手法を用いている。その手法は以下の3つの主要な段階で進行する：

1. 幾何学的設定とモジュラー特性： 著者らは、階数 $n$ の格子 $L$ 上の幾何学的家族としての関数 $G_{n-2}$ および関連するベルヌーイ有理関数 $B_n$ を定義する。彼らは、格子 $L$ と「平滑化格子」$L'$（第1基底ベクトルを整数 $N$ 倍することで生成されるもの）の関数を比較することによって、「平滑化操作」を導入する。核心となる技術的課題は、$\Gamma_0(N, n)$ の作用下におけるこれらの関数のモジュラー変換特性を分析することである。
2. 錐分解による境界解析： 平滑化された関数が特定のコサイクル関係を満たすこと（定理2）を証明するために、著者らは多重楕円ガンマ関数を定義する錐 $C^\pm(a, x)$ の詳細な組合せ解析を行う。彼らは、これらの錐上の線形形式の符号を追跡するために「符号表」を導入する。極めて重要なステップは、「適切に配置された（well-placed）」線形形式（ランクが $n-1$ でない、または 0 が重心でない場合）において、任意の3つの錐の共通部分が空集合であり、かつ任意のベクトルがいずれかゼロまたはちょうど2つの錐に属することを示すことである。これにより、特定の計数関数（$f_1$ および $f_2$）の消滅が導かれ、平滑化されたガンマ関数の積が1の冪根となることが証明される。
3. 平滑化と有理性： 著者らは、ベルヌーイ有理関数 $B_n$ に対して古典的な平滑化操作を適用する。[CD14] に着想を得た有限群 $(\mathbb{Z}/N\mathbb{Z})^n$ 上のフーリエ解析を用いて、平滑化された $B_n$ 関数を、円分単元のトレースの和として表現する。これにより、これらの関数が有理値であり、複素変数 $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})$ から一般化したものである。
• 定理 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)$-コサイクル（ベルヌーイ関数の場合）を与える。

意義
本論文は、正確に1つの複素次を持つ数体に対する、予想される高次楕円単数の構成に向けた必要なステップであると主張しており、これはヒルベルトの第12問題に関連する問題である。複素3次体 ($n=3$) から任意の次数 $n$ への楕円単数の構成の一般化を通じて、著者らはこれらの体のアーベル拡大の解析的な記述を提供している。本研究は、幾何学的家族としての多重楕円ガンマ関数と算術的応用との間の溝を、平滑化された高次デデキント和（分母が一様に有界である）へと「モジュラー欠損」が減少することを示すことで埋めている。この有界性は、スターク型の単数の構成に必要な整性の性質において極めて重要である。著者らは、これらの単数の完全な構成および単数群におけるそれらの性質の検証が、本シリーズの第3論文の主題であることを明記している。