The Chow-Kontsevich dilogarithm

技術要約：Chow-Kontsevichの二重対数関数

問題設定
本論文は、標数 $p \geq 5$ における代数サイクルのレギュレータ写像および微小不変量の構成について扱っている。微小なデーン不変量や二重対数写像は、標数0においては（Cathelineau、Bloch、Esnault、Unverの研究を通じて）確立されているが、標数 $p$ の状況は異なる課題を提示する。具体的には、標準的な対数関数は、そのべき級数の展開における分母のために定義できない。さらに、$k_2 = k[t]/(t^2)$ における $K_3(k_2)$ の既約でない部分の構造は、標数 $p$ においては異なっており、これは単一の関数ではなく、2つの独立した二重対数関数の存在を示唆している。本論文は、Kontsevichの $1\frac{1}{2}$-対数関数を利用して、標数 $p$ のインフィニテシマル・チャウ二重対数関数の類似物として機能する、 $k_2$ 上の曲線上の「Chow-Kontsevich二重対数関数」$\rho_K$ を定義することを目的とする。

手法
構成は以下の技術的段階を経て進められる：

1. 標数 $p$ の対数および二重対数：
   著者は、$\mathcal{L}_1(s) = \sum_{1 \leq i \leq p-1} \frac{s^i}{i}$ と定義されるKontsevichの $1\frac{1}{2}$-対数関数を利用する。この関数は、情報理論の基本的な4項関数方程式を満たす。これを用いて、Bloch群上の標数 $p$ の加法的二重対数 $\ell i^{(p)}_2: B_2(k_2) \to k$ を定義する。この写像は、Bloch複体の微分 $\delta$ と、特定の対数成分のウェッジ積 $\ell^{(p)} = \frac{1}{2} \sum_{1 \leq i < p} i \cdot \ell_{p-i} \wedge \ell_i$ を通じて表現される。

2. 比較1形式 $\Omega^{(p)}$ の構成：
   $k_2$ 上の曲線 $C$ 上のグローバルなレギュレータを定義するために、著者らは関数の局所的な持ち上げ（lifting）と曲線の持ち上げを比較する必要がある。標数0では、これは標準的な対数から導かれる1形式 $\Omega$ を用いて行われる。標数 $p$ において、著者は $\Lambda^3 R^\times_\infty$（ここで $R$ は標数 $p$ の環）上の唯一の1形式 $\Omega^{(p)}$ を構成する。この形式は、特定の要素に対する消滅特性と、$e^{\alpha t^a} \wedge e^{\beta t^b} \wedge e^{\gamma t^c}$ （ただし $a+b+c=p$）という形の項に対する明示的な値によって定義される。

3. 再パラメータ化に対する不変性：
   極めて重要な技術的障壁は、$\Omega^{(p)}$ の留数が局所座標（パラメータ表示）の選択に依存しないことを証明することである。著者は、$k((s))_\infty$ の連続自己同型 $\sigma$ であり、$(t)$ を法として恒等写像であるものに対して、$\Omega^{(p)}$ の留数が不変であることを証明する。これは、微小自己同型の詳細な解析と、$\sigma(e^{\alpha t^a})$ の截断指数関数展開に基づいている。

4. レギュレータ $\rho_K$ の定義：
   滑らかな固有な曲線 $C$ （$k_2$ 上）と滑らかな持ち上げの集合 $P$ に対し、レギュレータ $\rho_K: \Lambda^3 k(C, P)^\times \to k$ は、局所的な寄与を合計することで定義される。3つの関数 $(f, g, h)$ の場合、その値は以下のように計算される：

• 曲線の局所的な持ち上げと関数の局所的な持ち上げを選択する。
• 局所的な留数における標数 $p$ の二重対数 $\ell i^{(p)}_2$ を計算する。
• 局所的な持ち上げと一般的な持ち上げを比較する $\Omega^{(p)}$ の留数から導かれる「欠損項（defect term）」を加える。
  この和は有限であり、すべての補助的な選択（持ち上げや同型）に対して独立であることが示される。

5. サイクルの微小不変量：
   レギュレータは、$\square^3_{k_\infty}$ （ここで $k_\infty = k[[t]]$）における余次元2のサイクルに対する不変量を定義するために拡張される。著者は、有限な簡約を持つサイクルの部分群 $z^2_f(k_\infty, 3)$ を定義する。写像 $\rho_K$ は境界に対して消滅し、サイクルを $(t^2)$ で割った簡約のみに依存することが示される。

主要な貢献と結果

• Chow-Kontsevich二重対数関数 ($\rho_K$)： 本論文は、$k_2$ 上の曲線 $C$ に対するレギュレータ写像 $\rho_K: \Lambda^3 k(C, P)^\times \to k$ を構築している。この写像は、標数0のインフィニテシマル・チャウ二重対数関数 $\rho$ とは異なる。
• 線形独立性： 著者は $\rho$ と $\rho_K$ が線形独立であることを示している。具体的には、スケーリング $t \mapsto a \cdot t$ の下で、$\rho$ は $a^3$ 倍されるのに対し、$\rho_K$ は $a^p$ 倍される。これにより、標数 $p \geq 5$ において、 $K_3(k_2)$ の構造と一致する、2つの独立した二重対数関数が存在することが確認される。
• 明示的な計算： 座標 $z$ を持つ $k_2$ 上の射影直線 $\mathbb{P}^1_{k_2}$ において、レギュレータは明示的に計算される。3項 $(z-\alpha) \wedge (z-\beta) \wedge (z-\gamma)$ に対して、その値は $a^p \cdot \mathcal{L}_1(s)$ で与えられる（ここで $s$ は点のクロスレシオから導かれ、$a$ は持ち上げからの係数である）。
• 剰余性質： 本論文は、$\rho_K$ が $(t^2)$ を法とするサイクルに対してウェルディファインドな写像を誘導することを証明している。2つのサイクルが $(t^2)$ を法として合同であれば、$\rho_K$ の下で同じ値を与える。
• Goncharovの予想との関係： この構成は、強い相反律に関するGoncharovの予想のアナログとして枠付けられている。$\rho_K$ は、モチーフ複体の写像 $\Lambda^3 k(C, P)^\times \to B_2(k_2)$ と標数 $p$ の二重対数 $\ell i^{(p)}_2$ の合成であると期待されている。

意義
本論文は、$\rho_K$ の構成が、標数 $p$ における二重対数レギュレータの全体像を完成させる、純粋に標数 $p$ の対象を提供すると主張している。標数0の手法から導かれる加法的二重対数 $\ell i_2$ は標数 $p$ においても存在するが、それは $k_2$ の $K$ 理論の全構造を捉えるには不十分である。Kontsevichの $1\frac{1}{2}$-対数に基づく $\rho_K$ の追加により、$K_3(k_2)$ の微小部分と $k \oplus k$ の間の同型写像を構成することが可能となる。

さらに、本論文は、標数0の結果と同様の、標数 $p$ におけるサイクルの微小不変量を確立している。これは、Chow-Kontsevich二重対数が、この設定におけるモチーフコホモロジーと相反律を研究するための正しい標数 $p$ のアナログであることを示唆している。本研究は新しい実験的な応用を提案するものではなく、むしろ正の標数におけるレギュレータと $K$ 理論の理論的枠組みを強固にするものである。