Trace formalism for motivic cohomology

本論文は、Voevodsky、Ayoub、Cisinski-Déglise による六関手形式のモチビックコホモロジーに対して、Suslin-Voevodsky の相対サイクル群を用いてトレース写像を構成し、さらにそれをより関手的に再解釈することでその$\infty$-強化版を構築することを目的としている。

要約

この論文は、数学の中でも特に「幾何学（図形や空間の性質を研究する分野）」と「代数学（式や構造を研究する分野）」が交差する、非常に高度で抽象的な世界の話です。

著者の阿部智之さんは、**「数や図形の『痕跡（トレース）』を、より高次元で柔軟に扱う新しい道具を作った」**という内容を書いています。

専門用語を避け、日常の比喩を使ってこの論文の核心を解説します。

---

1. この論文が解決した「謎」とは？

想像してみてください。ある大きな国（空間）があって、その中にいくつかの町や村（部分空間）があります。
昔から数学者たちは、「ある町から国全体へ情報を送る方法（写像）」や、「国全体から町へ情報を引き戻す方法」を研究してきました。

特に重要なのが**「トレース（Trace）」という操作です。
これは、「ある町（部分）で起こった出来事（サイクル）を、国全体（大空間）の文脈に翻訳して、その『重み』や『痕跡』を残す」**ような作業に似ています。

• 従来の方法： 昔の数学者（SGA4 という古い教科書）は、この「翻訳ルール」を確立しました。しかし、それは**「滑らかな（なめらかな）地形」**に限られたルールでした。
• 今回の問題： 現実の世界には、ボコボコした山や、ひび割れた地面（特異点を持つ空間）があります。昔のルールは、こうした「荒れた地形」ではうまく機能しませんでした。また、従来のルールは「1 つのルール」を適用するだけでしたが、現代の数学では「無限に細かいレベル（∞-圏）」でこのルールを再定義したいという欲求がありました。

阿部さんは、**「どんなに荒れた地形でも、どんなに複雑な状況でも通用する、新しい『翻訳マニュアル』を作った」**のです。

2. 使われた「魔法の道具」：相対サイクル群

この新しいマニュアルを作るために、著者は**「相対サイクル群（Suslin-Voevodsky の相対サイクル群）」**という道具を使いました。

【比喩：地図と測量士】

• 従来の考え方： 「この町は平らだから、このルールで測れる」と言っていました。
• 新しい考え方（相対サイクル）： 「地形がボコボコでも、**『ここにはこの面積の土地がある』という事実（サイクル）**そのものに注目しよう」という発想です。

著者は、**「地形の荒れ具合に関係なく、その土地が持つ『面積』や『重み』を数えるための普遍的なリスト（群）」を用意しました。
そして、このリストにある「土地の重み」を、「空間の数学的な性質（コホモロジー）」**という別の言語に翻訳する「翻訳機（トレース写像）」を設計しました。

重要な発見：
この翻訳機は、**「高い次元のノイズ（ホモトピー）」が実はゼロ（消えている）**という性質を利用しています。

• 比喩： 複雑な計算をする際、通常は「計算の過程で生じる小さな誤差や揺らぎ」が邪魔をします。しかし、この問題では**「その揺らぎが最初から存在しない」**ことが証明されました。
• メリット： 「揺らぎがない」おかげで、**「全体を一度に計算する」のではなく、「滑らかな部分だけを見て、その結果を貼り合わせるだけで、全体が正しく作れる」**ことがわかりました。これが、複雑な地形でもルールを適用できる鍵です。

3. 「∞-強化（∞-enhancement）」って何？

論文のタイトルにある「∞-強化」とは、**「この翻訳ルールを、より高次元で、より柔軟に使えるようにアップデートすること」**です。

• 従来のルール： 「A なら B」という、少し硬いルール。
• ∞-強化されたルール： 「A から B への変換には、実は無限に多くの『道』や『経路』があり、それらすべてを考慮して、より豊かに、より柔軟に情報を伝えることができる」というルール。

これは、単に「地図を作る」だけでなく、**「その地図を、VR（仮想現実）のように、あらゆる角度から、あらゆる状況で使い回せるようにする」**ような作業です。
これにより、「実際の物理的な土地（サイクル）」と「数学的な抽象空間（∞-コホモロジー）」の間を、よりスムーズに繋ぐことができます。

4. なぜこれが重要なのか？

この研究は、単なる「新しい計算方法」の提案ではありません。

1. 普遍性： 以前は「滑らかな地形」でしか使えなかった重要な数学の道具（トレース）が、**「どんなに複雑な空間でも使える」**ようになりました。
2. 未来への架け橋： この「∞-強化されたルール」は、将来、より複雑な数学的問題（例えば、素粒子物理学のモデルや、非常に高度な幾何学問題）を解くための「インターフェース（接続部）」として使われることが期待されています。
3. 循環の解消： 以前は「トレースがあるから双対性が成り立つ」という循環論法に陥りがちでしたが、この新しいアプローチでは、**「トレースを先に作れる」**ため、数学の基礎がより堅固になりました。

まとめ

阿部さんのこの論文は、**「数学の『翻訳機』を、どんなに荒れた地形でも、どんなに複雑な状況でも、ノイズなしで、かつ無限の柔軟性を持って動かせるようにした」**という偉業です。

• 昔： 「なめらかな道しか走れない車」。
• 今回： 「どんな道でも走り抜け、かつ、運転の微細なニュアンスまで完璧に記録できる、次世代の自動運転システム」。

このシステム（トレース形式）が完成したおかげで、数学者たちは以前よりも遥かに広範囲な「数学の地図」を描くことができるようになりました。

技術概要

論文「Trace formalism for motivic cohomology」の技術的サマリー

著者: Tomoyuki Abe
掲載誌: Épijournal de Géométrie Algébrique, Vol. 7 (2023), Article No. 7
arXiv: 2108.07459v2

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

Voevodsky、Ayoub、Cisinski–Dégliseによって構築されたモチビックコホモロジー理論において、「六関手形式（six functor formalism）」は中心的な役割を果たしています。この形式には、射 $f: X \to S$ に対して定義されるトレース写像（Trace map）$Tr_f$ が含まれます。

• 既存の状況: 従来のエタールコホモロジー（SGA4）では、$f$ が平坦で次元 $d$ の射であるとき、$Rf_! f^* \Lambda(d)[2d] \to \Lambda$ なるトレース写像が構成され、その性質は関手的に特徴づけられています。これはサイクル類写像の構成など、幾何学的な情報をコホモロジーの枠組みに組み込むための重要な道具です。
• 本研究の課題: Voevodsky のモチビックコホモロジー（係数環 $\Lambda = \mathbb{Z}[1/p]$、$p$ は底体の標数）に対して、同様のトレース写像を構成し、さらにそれを $\infty$-圏論的な文脈で強化（$\infty$-enhancement）すること。
• 従来の形式の欠点: 従来の定義はスキームそのものに依存していますが、モチビックコホモロジーは零浸入（nil-immersion）に対して不変です。したがって、トレース写像は「スキーム」ではなく、「サイクル（cycle）」に本質的に依存しているべきであるという直観が生まれます。これを形式化する必要があります。

2. 手法とアプローチ

著者は、以下の 3 つの主要なステップを組み合わせて問題を解決しています。

2.1. 高次ホモトピーの消滅（Vanishing of Higher Homotopy）

トレース写像の構成を容易にするために、ある高次ホモトピー群がゼロになることを示します。具体的には、$f: X \to S$ が平坦で次元 $d$ のとき、
$$\text{RHom}(Rf_! f^* \Lambda(d)[2d], \Lambda)$$
の負の次数のホモトピー群がゼロになることを証明します（Proposition 3.7）。

• 意義: この消滅により、トレース写像の構成が「局所的」に行えるようになります。すなわち、$S$ が滑らかな場合に構成できれば、de Jong の変形定理（Temkin の定理を用いた pdh-被覆）を通じて一般の場合に拡張可能になります。

2.2. 相対サイクル群（Relative Cycle Groups）の導入

トレース写像を「サイクル」に結びつけるために、Suslin と Voevodsky が導入した相対サイクル群 $zequi(X/S, d)$ を利用します。

• $zequi(X/S, d)$ は、$S$ 上で次元 $d$ の等次元な $X$ のサイクルのなす群の特定の部分群です。
• $f$ が平坦な場合、$X$ 自身に対応するサイクル $[X] \in zequi(X/S, d)$ が存在します。
• 著者は、この $zequi(X/S, n)$ から Borel-Moore ホモロジー $HBM(X/S, \Lambda(n))$ への写像を構成し、$[X]$ の像が従来のトレース写像と一致することを示します。

2.3. 双変量理論（Bivariant Theory）の枠組み

Fulton-MacPherson の双変量理論の言語を用いて、トレース写像の関手的性質（積、押し出し、引き戻し）を統一的に記述します。

• $zequi(-, *)$ と $HBM_{2*}(-, \Lambda(*))$ の両方が双変量理論をなすことを確認し、これら間の双変量理論としての射（$\tau$）の存在を証明します。

2.4. $\infty$-圏論的強化（$\infty$-enhancement）

単なるホモトピー圏レベルの写像ではなく、$\infty$-圏（スペクトル圏）レベルでの自然変換としての存在を証明します。

• 対象となる圏を、射 $X \to S$ のなす圏 $\mathcal{A}r$ とし、そこでの層（sheaf）の理論を用います。
• pdh-被覆に関する降下（descent）性質を利用し、滑らかな基底の場合に構成された写像を一般の場合へ拡張する $\infty$-関手を構成します。

3. 主要な結果

3.1. トレース写像の構成（定理 3.5）

体 $k$（標数 $p > 0$）上のスキームの圏において、$\Lambda = \mathbb{Z}[1/p]$ に対して、以下の性質を満たす一意な双変量理論の射 $\tau$ が存在します。
$$\tau: zequi(-, *) \longrightarrow HBM_{2*}(-, \Lambda(*))$$

• $\mathbb{A}^1$-向き付けとの整合性: この射は、$\mathbb{A}^1$-向き付け（$\eta = [\mathbb{A}^1]$）と整合します。
• 平坦射への適用: $f: X \to S$ が平坦で相対次元 $d$ のとき、$[X] \in zequi(X/S, d)$ の像 $\tau([X])$ は、$HBM_{2d}(X/S, \Lambda(d))$ における標準的なトレース写像 $Tr_f$ と一致します。
• 一般性: この結果は、$p=0$ の場合や、特異点解消が仮定される場合の $\Lambda=\mathbb{Z}$ にも拡張可能です。また、$\ell$-進エタールコホモロジーにおける既知のトレース写像（SGA4）の一般化としても機能します。

3.2. $\infty$-強化されたトレース写像（定理 6.4）

$\infty$-圏の文脈において、層の圏 $\mathcal{A}r$ 上で定義されたスペクトル値の層 $z(d)$ と $HBM(d)$ 之间存在する、essentially unique（本質的に一意な）自然変換 $\tau^\dagger$ が存在します。
$$\tau^\dagger: z(d) \longrightarrow HBM(d)$$
この射の $\pi_0$ への制限は、上記の定理 3.5 の $\tau$ と一致します。これにより、「実際のサイクル」と「モチビックコホモロジーの $\infty$-強化」の間のインターフェースが確立されました。

4. 論文の構成と技術的詳細

1. 序論: 問題の背景、六関手形式、高次ホモトピーの消滅の重要性、およびサイクル群を用いた再解釈の動機を説明。
2. 六関手形式の復習: Voevodsky-Ayoub-Cisinski-Déglise の枠組みにおける六関手と、$\infty$-圏論的な定式化を概観。
3. 主要結果とホモトピーの消滅: 双変量理論の定義を復習し、高次ホモトピーの消滅（Proposition 3.7）を証明。これが後の構成の鍵となる。
4. 滑らかな基底の場合の構成: $S$ が滑らかな場合、相対ポアンカレ双対性を用いてトレース写像 $t_f$ を構成し、それが基本類（fundamental class）と一致することを示す。
5. 一般の場合の構成: pdh-被覆と降下定理を用いて、滑らかな基底の場合の結果を一般の基底へ拡張。Suslin-Voevodsky のサイクル群の性質（$z(X/S, d)$ が $zequi(X/S, d)$ の cdh-層化であること）を活用し、定理 3.5 を証明。
6. $\infty$-強化: 圏 $\mathcal{A}r$ 上の $\infty$-層の理論を用い、Left Kan 拡張などの $\infty$-圏論的技術により、定理 6.4 を証明。

5. 意義と貢献

• モチビックコホモロジーの完全性の向上: エタールコホモロジーで確立されていたトレース形式を、モチビックコホモロジーの文脈で完全に再構築しました。
• サイクルとコホモロジーの橋渡し: トレース写像が「スキーム」ではなく「サイクル」に依存するという本質的な洞察を、Suslin-Voevodsky の相対サイクル群を用いて厳密に定式化しました。
• $\infty$-圏論的定式化: 単なるホモトピー圏レベルではなく、$\infty$-圏レベルでの自然変換としての存在を証明したことで、より高次な構造（Higher structures）を扱うための基盤を提供しました。
• 将来への応用: この $\infty$-強化されたトレース形式は、著者の先行研究 [Abe22b] において、実際のサイクルとモチビックコホモロジーの $\infty$-強化を結びつける重要な要素として機能しています。

総じて、本論文はモチビックコホモロジー理論の六関手形式における重要な欠落部分（トレース写像の体系的な構成とその $\infty$-強化）を埋め、幾何学的なサイクル論とホモトピー論的アプローチを統合する画期的な成果です。