論文「On the image of higher signature maps」の技術的サマリー

著者: Samuel Lerbet (DMA, École normale supérieure, CNRS, Paris)
日付: 2026 年 3 月 25 日（arXiv 投稿日：2024 年 10 月）

1. 研究の背景と問題設定

背景

複素代数多様体における複素サイクル類写像（complex cycle class map）$\gamma_c^{\mathbb{C}}: \text{CH}^c(X) \to H^{2c}(X(\mathbb{C}), \mathbb{Z})$ は、ホッジ予想の文脈で中心的な役割を果たしています。しかし、実代数多様体 $X$（実数体 $\mathbb{R}$ 上の滑らかな多様体）の文脈では、実点の集合 $X(\mathbb{R})$ が必ずしも整数値の向きを持たないため、整数係数のコホモロジー群への直接のサイクル類写像を定義することは困難です。

これまで、実代数幾何学における主要な代数的写像として、以下の 2 つのアプローチが存在しました：

1. Borel-Haefliger 写像 $\gamma_c^{\text{BH}}: \text{CH}^c(X) \to H^c(X(\mathbb{R}), \mathbb{Z}/2)$: 2 係数のコホモロジーへの写像。しかし、情報は粗く、実多様体のトポロジーを十分に捉えきれていない。
2. 等変サイクル類写像 $\gamma_c^G$: 複素共役による作用を考慮した等変コホモロジーを用いるアプローチ（Krasnov, Benoist-Wittenberg）。

本研究の目的

本論文は、二次実サイクル類写像（quadratic real cycle class map）$\tilde{\gamma}_c^{\mathbb{R}}$ に焦点を当てています。これは、Chow 群をChow-Witt 群 $\widetilde{\text{CH}}^c(X, L)$ に昇格させ、整数係数のコホモロジー $H^c(X(\mathbb{R}), \mathbb{Z}(L))$ へ写す写像です（$L$ は $X$ 上の線束）。

核心的な問題:
この写像 $\tilde{\gamma}_c^{\mathbb{R}}$ の像（image）は具体的にどのような部分群か？
単純な予想（全射性）は、$c=0$ の場合（曲線の連結成分）ですでに反例があるため、成り立ちません。本論文は、この写像の余核（cokernel）の指数（exponent）を精密に記述する予想を提唱し、特定の次元や次数においてこれを証明します。

---

2. 手法と理論的枠組み

2.1 主要な構成要素

• Chow-Witt 群: 通常の Chow 群を、二次形式の理論（Witt 環）を用いて精緻化した群 $\widetilde{\text{CH}}^c(X, L) = H^c(X, \mathbf{K}^{\text{MW}}_c(L))$。
• 二次実サイクル類写像:
  $$\tilde{\gamma}_c^{\mathbb{R}}(X, L): \widetilde{\text{CH}}^c(X, L) \to H^c(X(\mathbb{R}), \mathbb{Z}(L))$$
  これは、Jacobson の符号写像（signature map）と Rost-Schmid 複体を用いて構成されます。
• I-コホモロジー: Witt 環の基本イデアル $I$ の冪 $I^n$ に関するコホモロジー $H^c(X, I_n(L))$。Chow-Witt 群から $I$-コホモロジーへの写像は全射であり、像の研究において $I$-コホモロジーを扱うことが可能です（Lemma 2.23）。

2.2 理論的道具

• $\mathbb{A}^1$-ホモトピー理論: Morel の厳密な $\mathbb{A}^1$-不変層の理論、Rost-Schmid 複体、およびホモトピーモジュールの構造を利用。
• Milnor 予想の肯定: Milnor K-理論と Witt 環の基本イデアルの冪 $I^n$ の間の同型（$I^n/2 \cong H^n_{\text{ét}}(-, \mathbb{Z}/2)$）を利用し、モジュロ 2 のサイクル類写像との関係を明確化。
• Jacobson の定理: 符号写像 $\text{sign}_\infty: I_\infty(L) \to \iota_*\mathbb{Z}(L)$ が同型であること（Theorem 2.30）を基盤とし、写像の研究を代数的な問題（$I_n(L) \to I_{n+1}(L)$ のコホモロジーへの誘導）に帰着させます。

---

3. 主要な結果

3.1 次数ごとの具体的な結果

多様体 $X$ の次元を $d$ とします。以下の次数 $c$ において、写像の像や余核の性質が決定されました。

1. 最高次数 ($c=d$):

   • 定理 3.5: 写像 $\gamma_d(X, L)$ は全射です。
   • 条件：$X$ が固有でないか、$X(\mathbb{R}) \neq \emptyset$ の場合、単射でもあります。
   • 結果：余核は自明（指数 1）。

2. 次元 -1 ($c=d-1$):

   • 命題 4.4: 写像 $\gamma_{d-1}(X, L)$ の像は、モジュロ 2 還元 $\rho(L)$ における代数的な部分群（Borel-Haefliger 像）の逆像です。
   • 結果：余核の指数は 2 です。

3. 次元 -2 ($c=d-2$):

   • 系 4.8: 特定の条件（$H^{2d-1}_{\text{ét}}(X \times \mathbb{C}, \mathbb{Z}/2) = 0$）の下で、写像 $\gamma_{d-2}(X, L)$ の余核の指数は 4 です。
   • これは、$d-2$ 次元のサイクルが $4$ 倍の整数倍までで実コホモロジーを生成することを示唆します。

4. 次数 0 ($c=0$, 連結成分):

   • 命題 5.3: 写像 $\gamma_0(X, L)$ の余核の指数は $2^d$ です。
   • 曲線 ($d=1$) の場合、指数は 2。曲面 ($d=2$) の場合、指数は 4。
   • 補題 5.5, 命題 5.6: 曲線の場合、像は具体的に記述可能であり、Knebusch の結果を一般化しています。

3.2 有理数係数における結果

• 系 6.3: 係数に 2 を逆元として加える（2 を可逆にする）と、写像 $\tilde{\gamma}_c^{\mathbb{R}}$ は同型になります。これは Jacobson の定理の定量的バージョンであり、整数係数の研究の重要性を強調しています。

---

4. 提唱された予想（Conjecture 6.5）

本論文の中心的な貢献は、以下の精密な予想の提唱です。

予想 (Conjecture 6.5):
$X$ を次元 $d$ の滑らかな実多様体、$L$ を線束、$0 \le c \le d$ とする。
写像 $\gamma_c(X, L)$ の余核の指数は $2^{d-c}$ である。
さらに、この指数は最適である（$2^{d-c-1}$ には改善できない）。

意味:
この予想は、Chow-Witt 群の元が実コホモロジー群のどの部分までを「代数的に」生成できるかを、次数 $c$ と次元 $d$ の差 $d-c$ に応じた 2 の冪で制御することを示しています。

• $c=d$ (0 次元サイクル): 指数 $2^0 = 1$ (全射)。
• $c=d-1$: 指数 $2^1 = 2$。
• $c=0$ (連結成分): 指数 $2^d$。

---

5. 検証と最適性

• 証明済みのケース:
  • 曲線 ($d=1$): 全ての $c \in \{0, 1\}$ で予想が成立。
  • 曲面 ($d=2$): 全ての $c \in \{0, 1, 2\}$ で予想が成立。
  • 3 次多様体 ($d=3$): $c \in \{0, 2, 3\}$ で成立。$c=1$ の場合は特定のエタールコホモロジーの消滅条件を満たせば成立。
• 最適性の確認:
  • 例 6.8, 6.9, 6.11 において、予想された指数が実際に達成され、それより小さい指数では成り立たない具体例（例：$\mathbb{A}^d \setminus \{0\}$ や有理曲面など）が示されています。特に、$c=d-1$ の場合、像が $2H^{d-1}(X(\mathbb{R}), \mathbb{Z})$ に留まり、全射でないことが示されています。

---

6. 意義と将来の展望

学術的意義

1. 実代数幾何におけるホッジ予想の定式化: 複素幾何におけるホッジ予想の類似として、実代数幾何における「実積分ホッジ予想」の枠組み（Benoist-Wittenberg）を補完・発展させ、整数係数のレベルで像を記述する新たな道筋を開きました。
2. Chow-Witt 理論の応用: Chow-Witt 群が実多様体のトポロジーを捉える強力な道具であることを示し、その像の構造を指数制御の観点から定式化しました。
3. 定量的な結果: 単なる「像が何か」だけでなく、「どの程度の誤差（指数）で近似されるか」という定量的な評価を提供しました。

今後の展望

• スペクトル系列によるアプローチ: 第 6 節の Remark 6.12 で言及されているように、Pardon のスペクトル系列と Bockstein スペクトル系列を結びつけることで、像を記述するより具体的な部分群（Steenrod 演算や微分条件に基づく）の候補を提案する可能性が示唆されています。
• 一般次元への拡張: 3 次元以上の多様体における $c=d-2$ 以外のケースや、より一般的な多様体クラスでの予想の検証が今後の課題です。

総じて、本論文は実代数幾何学におけるサイクル類写像の像の問題に対して、Chow-Witt 理論と $\mathbb{A}^1$-ホモトピー理論を駆使し、精密な指数制御の予想とその部分的な証明を通じて、重要な進展をもたらしたものです。