Elements in $K_4$ and regulator maps of Fermat curves

技術的要約：$K_4$ における元とフェルマー曲線のレギュレーター写像

問題設定
本論文は、すべての整数 $N \geq 3$ に対して、$\mathbb{Q}$ 上の方程式 $x^N + y^N = 1$ で定義されるフェルマー曲線 $X_N$ の第3アダムス固有空間 $K_4^{(3)}(X_N)$ における、明示的かつ非自明な元の構成について取り扱う。$K_2(X_N)$ の構造およびロス・エレメント $\{1-x, 1-y\}$ の非自明性は十分に確立されているが、$K_4$ の群としてのフェルマー曲線はほとんど未開拓である。主な目的は、$K_4^{(3)}(X_N)$ 内の明示的な元を構成し、ベイリンソン・レギュレーター写像による像を計算することでそれらの非自明性を検証することである。さらに、著者らは特定のフェルマー・モチーフに関する $L$ 関数の $s=3$ における特殊値に関するベイリンソンの予想を数値的に検証することを目的としている。

手法
著者らは、ポリログリズム複体および Goncharov と de Jeu の研究に基づいた、一様な構成戦略を採用している。

1. ポリログリズム複体: 構成には、関数体 $F = \mathbb{Q}(X_N)$ に対する Goncharov のウェイト3のポリログリズム複体 $\Gamma(F, 3)$ を用いる。この複体は、Bloch 群 $B_3(F)$ および $B_2(F) \otimes F^\times_{\mathbb{Q}}$ を含む。
2. 明示的なコサイクル: 著者らは、$\Gamma(F, 3)$ における明示的な2-コサイクル $\xi_{r,s}^N(\zeta)$ を、以下の形式で構成する：
   $$\xi_{r,s}^N(\zeta) := \{x^N\}_2 \otimes (1 - \zeta x^r y^s) - \frac{N}{s} \{\zeta x^r y^s\}_2 \otimes x^N$$
   ここで $\zeta$ は単数根である。
3. de Jeu の写像: 著者らは、これらのコサイクルに対して de Jeu の写像 $\phi_{dJ}: H_2(\Gamma(F, 3)) \to K_4^{(3)}(F)$ を適用する。得られた元が単なる開曲線の $U$ ではなく $K_4^{(3)}(X_N)$ に属することを保証するために、基底体が完全実数体であることに依拠した定理 3.6 を用いて、コサイクルのレジデュー（留数）がカスプおよび定義関数の零点で消滅することを確認する。
4. 特定の選択: 著者らは、$\Xi_N = \Xi_{-2,1}^N$ を定義するために、特定のケース $(r, s) = (-2, 1)$ および $\zeta = 1$（およびその単数根による捻り）に焦点を当てる。
5. レギュレーターの計算: 非自明性を証明するために、著者らはこれらの元のベイリンソン・レギュレーター写像 $r_B$ による像を計算する。彼らは $r_B$ を Goncharov のレギュレーター $r_3(2)$ に関連付け、de Jeu の適合性定理を用いる。レギュレーター積分は、$X_N(\mathbb{C})$ のホモロジーを群環 $\mathbb{Q}[(\mathbb{Z}/N\mathbb{Z})^{\oplus 2}]$ 上の加群として生成する特定のホモロジーサイクル $\gamma_N$ 上で計算される。
6. 解析的手法: これらの積分の評価には以下が含まれる：
   • Zagier のトリログリズム関数 $L_3(z)$。
   • $K_2$ に関する Otsubo の結果を一般化した、超幾何関数 $F(\alpha; x)$。
   • $N \to \infty$ における漸近解析。
7. 数値的検証: $N \in \{3, 4, 6\}$ に対して、著者らは PARI/GP を用いてレギュレーター積分を数値的に評価し、それらを、関連するフェルマー・モチーフとイソジェナスな複素乗法（CM）を持つ特定の楕円曲線の Hecke $L$ 関数の導関数と比較する。

主要な貢献と結果

• 非自明な元の構成: 著者らは、構成された元 $\Xi_N \in K_4^{(3)}(X_N)$ がすべての $N \geq 3$ に対して非自明であることを証明する（定理 1.1）。これは、捻られたバージョンである $(\tau_\varepsilon)^*(\Xi_N)$ のレギュレーター積分が非ゼロであることを示すことで達成される。
• 明示的なレギュレーター公式:
  • トリログリズム公式: レギュレーター積分は、Zagier のトリログリズム $L_3$ と関数 $f_{N,z}(t)$ を含む積分を用いて明示的に表現される（定理 1.3）。
  • 超幾何関数公式: レギュレーター形式は、$K_2$ に関する Otsubo の結果を $K_4$ へと一般化した、超幾何関数 $F(\alpha; -1)$ で重み付けされた微分形式の線形結合として表現される（定理 1.6）。
• 漸近挙動: 著者らは、$N \to \infty$ におけるレギュレーター積分の漸近公式を導出する：
  $$\int_{\gamma_N} r_B((\tau_\varepsilon)^*(\Xi_N)) \sim \frac{3}{2}\zeta(3)N^2$$
  これは、大きな $N$ におけるこれらの元の非自明性を確認し、その成長率に関する洞察を与える（定理 1.4）。
• 線形独立性: $N$ が 3 で割り切れない場合、元 $\Xi_N, \iota^*(\Xi_N), \tau_\varepsilon^*(\Xi_N)$ は $K_4^{(3)}(X_N, \mathbb{Q}(\varepsilon))$ において非ゼロかつ線形独立であることが示される（定理 1.2）。
• ベイリンソンの予想の数値的検証: 本論文は、$N \in \{3, 4, 6\}$ におけるモチーフ $X_{[-2,1]}^N$ に対するベイリンソンの予想の弱い形式を数値的に検証する。これらのケースでは、モチーフは CM を持つ楕円曲線 $E_3, E_4, E_6$ に対応する。計算されたレギュレーター積分は、有理数因子および $\pi$ の冪を除いて、予測される $L'(E, -1)$ を含む値と一致する（定理 1.8）。

意義と主張
著者らは、本研究を $K_2$ レベルを超えた一般的なフェルマー曲線に対するベイリンソンの予想に取り組んだ最初の事例として位置づけている。

• 一般化: 本研究は、Ross の $K_2$ における構成を $K_4$ へと一般化し、Otsubo の超幾何関数による公式を $K_2$ から $K_4$ へと拡張するものである。
• 一様性: この構成は $N$ に関して一様であり、ケースバイケースの分析を必要とすることが多い従来のモジュラー曲線の構成とは異なり、すべての次数 $N \geq 3$ に対して単一の要素の族を提供する。
• 検証: 本研究は、フェルマー曲線における $s=3$ でのベイリンソンの予想に関する最初の明示的な数値的検証を提供し、代数 $K$ 理論の構成と解析的な $L$ 値の予測との間の溝を埋めるものである。
• 謙虚な姿勢: 著者らは、自身がランク 2 のモチーフ（楕円曲線に対応）について予想を検証しているものの、より高次のフェルマー・モチーフ（例：$N=5$）については、依然として $K_4$ の完全な基底を構成することが未解決の問題であるため、予想は開かれたままであることを述べている。また、自身の要素の線形独立性を（レギュレーターの単射性の予想に頼らずに）無条件に証明することは依然として困難であることも認めている。