Comparison of Motivic Homotopy Theories

この論文は、Blumberg-Gepner-Tabuada の局所化モチーヴの圏と、$\mathbb{A}^1$-不変および非$\mathbb{A}^1$-不変なモチーヴホモトピー圏の双対圏との間の比較関手を構成し、特異点解消を許容する体上では$\mathbb{A}^1$-不変な場合の関手が完全忠実であることを示している。

要約

この論文は、数学の非常に高度な分野である「モチビックホモトピー理論（Motivic Homotopy Theory）」と「非可換幾何学」を結びつけようとする研究です。専門用語が多くて難しいですが、**「異なる地図の比較」や「鏡像世界」**というアイデアを使って、わかりやすく説明してみましょう。

1. この研究の目的：2 つの「地図」を比べる

想像してください。ある国（数学の世界）を表現する2 つの異なる地図があるとします。

1. 地図 A（SH）: 「A1-不変」というルールに従って作られた地図。
   • これは、紙を伸ばしたり縮めたりしても（数学的には「A1 への射影」）、形が変わらないとみなすルールです。例えば、直線（A1）上の点は、すべて同じ場所にあるとみなすようなものです。これは「より整理された、滑らかな地図」です。
2. 地図 B（MS）: A1-不変のルールを捨てた地図。
   • こちらは、紙を伸ばしたり縮めたりする変化をすべて記録する、より詳細で複雑な地図です。

一方、この国を別の視点から見る**「非可換な地図（Motloc）」**というのがあります。これは、建物の内部構造（代数）そのものに焦点を当てた地図です。

この論文のゴールは、

• 「整理された地図 A」を「非可換な地図」にどう変換するか？
• 「詳細な地図 B」を「非可換な地図」にどう変換するか？
• その変換（翻訳）が、元の地図の情報を完全に守りながら行えるか？

を調べることです。

2. 使われた「魔法の鏡」：双対（Dual）

著者は、この変換を行うために**「鏡像（Dual）」**という魔法を使います。

• 通常、地図 A から非可換地図へ行くには、直接変換するのが難しい。
• そこで、まず地図 A を**「鏡に映した世界（双対世界）」**に移動させます。
• この鏡の世界では、地図のルールが逆転したり、見方が変わったりしますが、不思議なことに、「非可換な地図」への翻訳が非常に簡単になるのです。

論文では、この「鏡の世界」をどう定義し、どうやって非可換な地図とつなぐかという**「翻訳マニュアル（関手）」**を作りました。

3. 2 つの重要な発見

この研究で得られた 2 つの大きな結論があります。

① 整理された地図（A1-不変）の場合：完璧な翻訳！

• 状況: 国が「解の存在が保証された（特異点解消ができる）」ような、整った土地（体）の上にある場合。
• 結果: 「鏡の世界」から「非可換な地図」への翻訳は、完全に正確でした。
• 意味: 元の地図のすべての情報が、非可換な地図に失われることなく、そのまま写し取られました。これは、数学的に「完全忠実（fully faithful）」と呼ばれる状態です。
• 比喩: 高解像度のカメラで撮影した写真を、別の形式に変換しても、ピクセル一つたりとも欠けずに、元の美しさがそのまま残ったようなものです。

② 詳細な地図（A1-不変なし）の場合：情報が失われる！

• 状況: A1-不変のルールを捨てた、より複雑な「詳細な地図」の場合。
• 結果: 翻訳は不完全でした。
• 理由: 詳細な地図には、あまりにも多くの「情報（点）」が含まれすぎています。特に、ある 2 つの点の間の距離（写像スペクトル）を数えようとしたとき、**「数えきれないほど多い（非可算）」**情報があることがわかりました。
• 比喩: 詳細な地図には、砂粒一つ一つの位置まで記録されています。しかし、翻訳する先（非可換な地図）は、砂粒を数える器が小さすぎて、「数えきれない砂粒」をすべて収めきれないため、情報がこぼれ落ちてしまいます。
• 具体的な例: 論文では、ある特定の代数（リング）と直線（A1）の間の関係について、翻訳前の世界では「数えられる」情報しか持っていないのに、翻訳先の世界では「数えきれない」情報が必要になることが示されました。

4. まとめ：この研究は何を意味するのか？

• 成功: 「整理された世界（A1-不変）」では、異なる数学の分野（ホモトピー理論と非可換幾何学）を、完璧に橋渡しできることが証明されました。
• 課題: しかし、「整理されていない複雑な世界」では、その橋渡しは完全にはうまくいかないことがわかりました。情報の量が違いすぎるため、一方の世界のすべてを他方に持ち込むことはできないのです。

この論文は、数学の異なる分野をつなぐ「翻訳機」を作りましたが、**「どんな種類の文章（数学的構造）なら完璧に翻訳できるのか、どこで情報が壊れるのか」**という境界線を、非常に明確に描き出したと言えます。

著者は、この研究が「美しい数学」の理解を深めるための一歩であり、多くの議論や助言をしてくれた人々への感謝を述べています。

技術概要

論文「Motivic Homotopy Theories の比較」の技術的サマリー

著者: Tianjian Tan
概要: 本論文は、Morel-Voevodsky による $\mathbb{A}^1$-不変な motivic ホモトピー圏 $SH$ および Annala-Iwasa-Hoyois による非 $\mathbb{A}^1$-不変な圏 $MS$ と、Blumberg-Gepner-Tabuada による局所化モチーヴの圏 $Mot^{loc}$（およびその $\mathbb{A}^1$-不変版 $Mot^{A^1}_{loc}$）との間の比較を目的としている。特に、これらの圏の「双対圏」から局所化モチーヴの圏への比較関手を構成し、その完全忠実性（fully-faithfulness）を調べることを主眼としている。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細に述べる。

---

1. 問題設定 (Problem)

Motivic ホモトピー理論と非可換モチーヴ理論（局所化モチーヴ）の間の関係を理解することは、代数幾何と $K$-理論の深い結びつきを解明する上で重要である。

• 対象:
  • $SH(S)$: Morel-Voevodsky の安定化された $\mathbb{A}^1$-不変な motivic ホモトピー圏。
  • $MS(S)$: Annala-Iwasa-Hoyois の非 $\mathbb{A}^1$-不変な motivic ホモトピー圏（素朴な blowup 消去性を満たす）。
  • $Mot^{loc}$: Blumberg-Gepner-Tabuada (BGT) による局所化モチーヴの圏（非可換モチーヴ）。
  • $Mot^{A^1}_{loc}$: 上記の $\mathbb{A}^1$-不変版。
• 課題:
  • 自然な関手 $Sm_{fp}^{op} \to Mot^{loc}$（あるいは $Mot^{A^1}_{loc}$）は存在するが、これを motivic ホモトピー圏全体（またはその双対）に拡張する関手を構成し、その性質を調べる必要がある。
  • 特に、$SH$（または $MS$）の双対圏 $SH^\vee$（または $MS^\vee$）から $Mot^{loc}$ への関手が、どのような普遍性を持ち、いつ完全忠実になるかが問われている。
  • $\mathbb{A}^1$-不変な場合と非 $\mathbb{A}^1$-不変な場合で、この完全忠実性がどう異なるかが不明瞭であった。

2. 手法と理論的枠組み (Methodology)

本論文は、安定な現前圏（stable presentable categories）の圏 $\mathcal{P}r^L_{st}$ における双対性理論と、Barr-Beck の定理を駆使して議論を進める。

2.1 双対圏と形式的逆元の交換性

• 双対性: $\mathcal{P}r^L_{st}$ における対象 $C$ の双対 $C^\vee$ は $Fun^L(C, Sp)$ として定義される。
• 形式的逆元: 対象 $X$ に対する形式的逆元 $C[X^{-1}]$ の構成を、Robalo や Annala-Iwasa のモデル（c-spectra）を用いて記述する。
• 主要な補題 (Proposition 2.14): コンパクトな対象 $X$ に対して、双対を取る操作と形式的逆元を取る操作は可換である。
  $$C^\vee[(X^{dual})^{-1}] \simeq C[X^{-1}]^\vee$$
  この結果により、$SH$ や $MS$ の双対圏を、余層（cosheaves）の圏における $P^1$ の双対の形式的逆元として記述できる。

2.2 比較関手の構成

• 普遍性: $SH^\vee$（および $MS^\vee$）は、特定の下降条件（Nisnevich 消去、$\mathbb{A}^1$-不変性、あるいは elementary blowup 消去）と $P^1$ の双対の可逆性を満たす関手によって特徴づけられる（Proposition 3.12, 3.19）。
• 関手の拡張: 自然な関手 $\phi: Sm_{fp}^{op} \to Mot^{A^1}_{loc}$（$X \mapsto U(perf_X)$）が上記の普遍条件を満たすことを示し、これを $SH^\vee \to Mot^{A^1}_{loc}$ への左随伴関手 $\Phi$ に拡張する。同様に非 $\mathbb{A}^1$-不変な場合 $\Psi: MS^\vee \to Mot^{loc}$ も構成する。

2.3 モジュール圏への分解と Barr-Beck

• 構成された関手 $\Phi$（および $\Psi$）は、右随伴 $\Phi^*$ によって定義されるモノイド $\Phi^*(1)$ 上の加群圏 $\text{Mod}_{\Phi^*(1)}(SH^\vee)$ を経由して分解される。
• Barr-Beck の定理を用いて、この分解関手がいつ同型（完全忠実）になるかを調べる。その鍵は、定義域が「rigidly generated」（コンパクトかつ双対可能な生成元で生成される）かどうかである。

3. 主要な結果 (Key Results)

3.1 $\mathbb{A}^1$-不変な場合 ($SH$)

• 結果: 体 $k$ 上において、指数特性 $e$ を逆元にした後（$k[1/e]$ 上で）、比較関手 $\Phi$ は完全忠実である。
• 理由:
  • $SH(k)[1/e]$ は rigidly generated である（Rio の結果などによる）。
  • 生成元が双対可能であり、$\Phi$ がコンパクト性を保存するため、分解された関手 $\text{Mod}_{\Phi^*(1)}(SH^\vee) \to Mot^{A^1}_{loc}$ は完全忠実になる（Proposition 4.2）。
  • このとき、$\Phi^*(1)$ は $\mathbb{A}^1$-不変な $K$-理論スペクトル $KGL^{A^1}$ の双対版とみなせる。

3.2 非 $\mathbb{A}^1$-不変な場合 ($MS$)

• 結果: 一般に、非 $\mathbb{A}^1$-不変な比較関手 $\Psi$ は完全忠実ではない。
• 反例の構成:
  • 可算体 $k$ において、$MS(k)[1/e]^\vee$ のコンパクト対象からなる部分圏は「可算的」である（写像スペクトルの $\pi_0$ が可算集合）。
  • 一方、$Mot^{loc}$ における写像スペクトル（例えば $U(perf_k[t])$ と $U(perf_R)$ の間）は、大 Witt 環 $W(R)$ と同型であり、その $\pi_0$ は非可算である（Efimov の定理 [Efi25] による）。
  • この基数の不一致により、関手 $\Psi$ は完全忠実になり得ない（Proposition 4.3）。
• 原因: $MS$ は rigidly generated ではなく、コンパクト生成元が双対可能とは限らないため、Barr-Beck 分解による完全忠実性の保証が得られない。

4. 貢献と意義 (Contributions and Significance)

1. Motivic 圏と非可換モチーヴの双対的比較:
   従来の「Motivic 圏からモチーヴへ」という方向だけでなく、その「双対圏」からの比較関手を体系的に構成し、その普遍性を明確にした。これは、Clausen-Scholze や Efimov の双対性理論を Motivic 幾何に適用した重要な進展である。

2. $\mathbb{A}^1$-不変性の本質的な役割の解明:
   $\mathbb{A}^1$-不変な理論（$SH$）と非 $\mathbb{A}^1$-不変な理論（$MS$）において、局所化モチーヴへの埋め込みがどう振る舞うかを明確に区別した。

   • $\mathbb{A}^1$-不変な場合：$K$-理論の普遍性により、完全忠実な埋め込みが得られる。
   • 非 $\mathbb{A}^1$-不変な場合：$K$-理論の「非可算性」が現れ、埋め込みが完全忠実にならない。
     これは、$\mathbb{A}^1$-ホモトピー理論が $K$-理論の性質を捉えるために不可欠であることを示唆している。

3. 技術的ツールとしての双対性と Barr-Beck:
   安定な現前圏の双対性、形式的逆元の交換性、および Barr-Beck の定理を組み合わせることで、高度な圏論的構造を持つ Motivic 圏の性質を解析する新しいアプローチを提供した。特に、Efimov の結果（Witt 環の非可算性）を Motivic 圏の完全忠実性の判定に適用した点は画期的である。

4. 今後の展望:
   非 $\mathbb{A}^1$-不変な場合における完全忠実性の失敗は、非 $\mathbb{A}^1$-不変なモチーヴ理論がより複雑な構造（あるいは $K$-理論以外の不変量）を含んでいる可能性を示唆しており、今後の研究の方向性を示している。

結論

本論文は、Motivic ホモトピー理論と非可換モチーヴ理論の関係を、双対圏の観点から再構築し、$\mathbb{A}^1$-不変性が局所化モチーヴへの埋め込みの完全忠実性を決定づける重要な要因であることを証明した。特に、非 $\mathbb{A}^1$-不変な場合における完全忠実性の破れを、写像スペクトルの基数の不一致を通じて具体的に示したことは、この分野における重要な知見である。