On the Argument of the Lerch, Chowla--Selberg Formula and CM Values of $\eta(\tau)$

技術要約：レルチ、チャウラ–セレベルク公式および $\eta(\tau)$ のCM値に関する議論について

問題提起
本論文は、複素乗法（CM）点におけるデデキントのエータ関数 $\eta(\tau)$ の明示的な評価を扱う。古典的なレルチ–チャウラ–セレベルク公式は、与えられた判別式 $D$ のCM点の集合における $\eta(\tau)$ の絶対値 $|\eta(\tau)|$ の積の明示的な式を提供するが、個々の値の引数（位相）、あるいは絶対値を除いた値自体の積を決定するものではない。著者は、$\eta(\tau)^4$ の積（チャウラ–セレベルク・ガンマ商によって正規化されたもの）を、絶対値を用いずに完全に明示的な式で与えることで、これらの値の引数を孤立させることを目的としている。さらに、本論文は $\eta(\tau)$ の個々のCM値の代数的な性質を調査し、それらの最小多項式および次数に関する精密な予想を定式化している。

手法
そのアプローチは、モジュラー形式論、二元二次形式の算術、および明示的な計算を組み合わせたものである。

1. モジュラー不変性と代表元: 著者は、判別式 $D$ の類群の標準的な代表元の集合 $F(D)$ 上の積 $P(D)$ を定義する。項 $\Im(\tau)|\eta(\tau)|^4$ は $SL_2(\mathbb{Z})$ 不変であるため、$P(D)$ の絶対値はチャウラ–セレベルク公式を通じて既知である。課題は、非不変な項 $\eta(\tau)^4$ にある。
2. 境界解析: 主定理の証明は、引数が非自明となる基本領域の境界ケースの解析に基づいている。具体的には、著者は $a=c$ または $a=b$ となる二次形式 $(a, b, c)$ を検討する。$\eta(\tau)$ の変換性質（特に $\eta(-1/\tau)$ および $\eta(\tau+1)$）を利用することで、著者はこれらの境界となる形式の引数を、特定の1の冪根および $\sqrt{D}$ を含む代数的因子に関連付ける。
3. 算術的条件: 論文は、どの境界ケースが引数に寄与するかを決定する、$|D|$ の約数の集合（$U(D)$ と表記）に関する精密な算術的条件を確立している。これには、$D$ の2進付値の詳細な解析、および16および32に対する合同条件が含まれる。
4. 代数的認識: 個々の値を研究するために、著者は $\eta(\tau)^4$ がチャウラ–セレベルク定数と $\alpha(\tau)$ の積に比例するような代数的数 $\alpha(\tau)$ を定義する。高精度数値計算および代数的認識アルゴリズム（特に Pari/GP の algdep）を用いて、著者は広範な判別式に対して $\alpha(\tau)$ を計算し、それらの最小多項式と次数のパターンを特定している。

主要な貢献および結果

1. 引数の明示的な公式（定理 2.1）:
   本論文は、積 $P(D) = \prod_{\tau \in F(D)} \eta(\tau)^4 / |\eta(\tau)|^4$ の閉じた形式の表現を導出している。結果は以下のように与えられる：
   $$P(D) = e^{-(i\pi/6)(|U^-(D)| - 3|U^+(D)|)} \prod_{d \in U^+(D)} \frac{d - \sqrt{D}}{d + \sqrt{D}}$$
   ここで、$U^+(D)$ および $U^-(D)$ は、$D \pmod{16}$ または $D \pmod{32}$ の合同類によって決定される $|D|$ の約数の特定の部分集合である。

   • 系 2.2 は特定のケースに対する簡略化された結果を提供する：もし $D \equiv 0 \pmod 8$ ならば $P(D) = 1$ であり、$D = -p$ ($p \equiv 3 \pmod 4$) または $D = -4p$ ($p \equiv 1 \pmod 4$) ならば $P(D) = e^{-2i\pi/12}$ である。

2. 個々の値の代数性（定理 3.2）:
   本論文は、任意のCM点 $\tau$ に対して、$\eta(\tau)^4$ が既知のチャウラ–セレベルク定数と幾何学的因子に $\alpha(\tau)$ を乗じたものであることを証明している。したがって、比 $\eta(\tau)/|\eta(\tau)|$ は代数的数である。これは一般的な代数的フーリエ係数を持つモジュラー形式 $f$ にも拡張される（命題 3.3）。

3. 最小多項式に関する予想（予想 4.1）:
   広範な数値データに基づき、著者は代数的数 $\alpha(\tau)$（および正規化されたバージョン $\beta(\tau)$）に関する4つの予想を提示している：

   • 整数性: $a \cdot \alpha(\tau)$ および $a/\alpha(\tau)$ は代数的整数である。
   • ノルム: $\alpha(\tau)$ のノルムは $\pm 1$ である（おそらく常に 1 である）。
   • 多項式の構造: $a \cdot \beta(\tau)$ の最小多項式は、次数がクラス数 $h(D)$ と $h(D)$ の2進付値に依存する特定の形式 $B(x^{jm})$ を持つ。
   • 定義体: $\alpha(\tau)^{\text{lcm}(6, h(D))}$ は、判別式 $D$ の二次階の環類体（ring class field）に属する。

4. 経験的データ:
   論文には、$\alpha(\tau)$、$\beta(\tau)$ およびそれらの累乗の次数を列挙した、判別式 $-3$から$-180$にわたる大規模な表が含まれている。このデータは、これらの代数的数の次数が$j(\tau)$のようなモジュラー関数の次数の線形成長とは対照的に、$h(D)^2$ に概ね比例して成長するという予想を支持している。

意義および主張
著者は、本研究の主要な意義は、絶対値による曖昧さを排除し、レルチ–チャウラ–セレベルク積の引数の「完全に明示的な」公式を提供したことにあると主張している。これにより、CM点における $\eta(\tau)$ の位相を正確に決定することが可能となる。

論文は、これらの予想を厳密な証明ではなく、「妥当な量のデータ」から生じたものとして控えめに位置づけており、それらが「既知のCM理論の結果を用いれば、おそらく困難ではない証明となる」と述べている。予想の意義は、$\eta(\tau)$ の値の代数的性質の構造的な記述にあり、これらの値の次数と $h(D)^2$ との間の深い関連性を示唆するとともに、これらの値を明示的に計算するためのアルゴリズム的な経路を提供している。本研究は、古典的なチャウラ–セレベルク公式と、個々のエータ関数の明示的な算術との間の、計算的かつ理論的な架け橋として機能している。