Arithmetic Cycles with Modulus

「モジュラスを持つ算術サイクル」に関するテクニカル・サマリー

問題提起
本論文は、算術幾何学における二つの確立された理論の間の溝に対処している。すなわち、境界因子 $D$ に関する幾何学的情報を捉える「モジュラスを持つチャウ群（Chow groups with modulus）」の理論と、ギレ・ソレ（Gillet and Soulé）によって開発された、算術多様体上の交差理論を定義するためにグリーン・カレント（Green currents）を通じて解析的データを取り入れる「算術チャウ群（arithmetic Chow groups）」の理論である。

モジュラスを持つチャウ群 $CH^p(X|D)$ は、滑らかな準射影多様体 $X$ を有効な因子 $D$ に対して拡張することに成功しており（適切な設定において次数写像やアーベル多様体の性質を回復させている）、一方で解析的な成分を欠いている。逆に、算術チャウ群 $\widehat{CH}^p(X)$ は、算術多様体のための精緻な交差理論を提供するが、境界因子 $D$ に沿ったモジュラス条件を本質的に考慮していない。著者らは、「ギレ・ソレの理論の解析的構造を保持しつつ、 $D$ に沿った消滅条件を尊重する、モジュラスを持つ算術チャウ群 $\widehat{CH}^p(X|D)$ をどのように定義できるか？」という問いを投げかけている。

手法
著者らは、定義を相対的な設定に適応させることで $\widehat{CH}^p(X|D)$ を構成している。核心となる手法は以下の通りである：

1. 解析的セットアップ： $X$ を数体 $k$ 上の滑らかな準射影多様体とし、$D$ をその簡約支持 $D_{red}$ が単純正規交差因子（sncd）であるような有効な因子とする。著者らは、関連する解析空間 $X(\mathbb{C})$ 上の、 $D_{red}$ 上で消滅する滑らかな微分形式の複体 $\Sigma_{D_{red}}A^*(X)$ を利用する。
2. 拡張補題： 重要な技術的ツールである補題 2.5 は、sncd 上で消滅する形式の包含関係が、相対コホモロジーの文脈において擬同型であることを確立している。これにより、著者らは相対コホモロジー類を、境界上で消滅する滑らかな形式を用いて表現することが可能となる。
3. モジュラスを持つグリーン・カレント： アルジェブラ的サイクル $Z \in Z^p(X|D)$ （$D$ と離れているサイクル）に対し、著者らは微分方程式 $\partial\bar{\partial}g_Z + \delta_Z = [\omega_Z]$ を満たすグリーン・カレント $g_Z$ の存在を証明する。ここで、関連する滑らかな形式 $\omega_Z$ は $D_{red}$ 上で消滅する形式の部分空間に属する。これにより、「モジュラス」条件が解析レベルにおいても満たされることが保証される。
4. 群の定義： モジュラスを持つ算術チャウ群は、算術的有理同値（モジュラスを持つもの）によって生成される部分群によるペア $(Z, g_Z)$ の商として定義される。これらの同値類は、 $D$ に沿って単位元となる有理関数 $f$ （条件 $f \equiv 1 \mod \mathcal{I}_D$ を満たす）の因子およびそれに関連するカレント $-\log|f|^2$、ならびに特定の消滅条件を満たす $u, v$ によるカレント $\partial u + \bar{\partial} v$ によって生成される。

主要な貢献と結果
本論文は以下の主要な結果を確立している：

• 定理 A（グリーン・カレントの存在）： モジュラスを持つ任意のサイクルに対し、関連する形式 $\omega_Z$ が $D_{red}$ 上で消滅するようなグリーン・カレント $g_Z$ が存在する。これは、当該群の定義の妥当性を検証するものである。
• $\widehat{CH}^p(X|D)$ の定義： この群は、消滅条件を持つペア $\widehat{Z}^p$ と、モジュラスを持つ算術的有理同値のサブグループ $\widehat{R}^p$ の商として形式的に定義される。
• 関手性と完全列： 群 $\widehat{CH}^p(X|D)$ は自然な関手的性質（滑らかな射に対する引き戻し、固有な射に対する押し出し）を満たし、古典的な算術チャウ群と同様の自然な完全列に組み込まれる：
  $$CH^{p,p-1}(X|D) \to \widehat{A}^{p-1,p-1}(X_{\mathbb{R}}, \text{vanishing}) \to \widehat{CH}^p(X|D) \to CH^p(X|D) \to 0$$
• 加群構造（定理 B）： 古典的な算術チャウ環 $\widehat{CH}^*(X)$ は、キャップ積（cap product）を介して、モジュラスを持つ算術チャウ群 $\widehat{CH}^*(X|D)$ 上に作用し、射影公式を満たす。これは、アルジェブラ的モジュラス・チャウ群の既知の加群構造をリフトしたものである。
• 相対エルミート・ピカール群との同型（定理 C）： 著者らは、 $D$ に沿った局所化を備えたエルミート線束 $(L, \|\cdot\|)$ であり、かつそのチェルン形式 $c_1(L, \|\cdot\|)$ が $D_{red}$ 上で消滅する、相対エルミート・ピカール群 $\widehat{\text{Pic}}(X, D)$ を定義する。彼らは以下の同型を証明する：
  $$\widehat{\text{Pic}}(X, D) \cong \widehat{CH}^1(X|D)$$
  この同型は、古典的なピカール群と第1次チャウ群の間の既知の同型と可換である。

意義
著者らは、本研究をギレ・ソレの算術交差理論とモジュラスを持つチャウ群の理論の「極めて自然な融合」であると述べている。この構成は、モジュラスを持つ算術的モチーフ・コホモロジーの具体的な実現を提供するものである。

本論文は、以下の事項に向けた基礎的なステップとしてこれらの結果を位置づけている：

1. 相対的グロタンディーク群 $K_0(X, D)$ の算術的類似物の定義。
2. 高次元のグローバル類体論の算術的類似物の発展。

著者らは、 $K_0(X, D)$ の算術的類似物を定義し、 $\widehat{CH}^p(X|D)$ との関連を研究することが次作の主題であることを明記しており、現在の研究の直接的な適用範囲については控えめな範囲に留めている。