[論文レビュー] The trivial fiber topology and framed motives over the integers

A. Druzhinin, Håkon Kolderup+1 more|arXiv (Cornell University)|Dec 14, 2020

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿は、1次元の底 scheme 上の安定モチビックホモトピー圏におけるファイブレーションの置換と厳密な A¹-不変性を研究するため、スキームに trivial fiber (tf) 位相を導入する。tf-Nisnevich 厳密 A¹-不変性を確立し、Voevodsky および Morel の定理を拡張することで、特に枠付きモチーフとモチービック無限ループ空間を通じて、算術的底 scheme 上でのモチービック不変量の新しい計算が可能になる。

ABSTRACT

This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the Garkusha-Panin and Voevodsky strict $\mathbb{A}^{1}$-invariance theorems to one-dimensional base schemes. The trivial fiber topology plays a central role in the proof of refined localization results for motivic homotopy categories. Moreover, we extend Morel's $\mathbb{A}^{1}$-connectivity theorem on Nisnevich sheaves of stable motivic homotopy groups. These results open new vistas for computations of motivic invariants over deeper base schemes of arithmetic interest.

研究の動機と目的

• 1次元の底 scheme 上でのモチービックホモトピー理論を研究するための新しい位相的枠組み—trivial fiber (tf) 位相—を構築すること。
• Garkusha-Panin および Voevodsky の厳密 A¹-不変性定理を体から1次元の底 scheme へ拡張すること。
• 枠付き対応を用いて、安定モチービックホモトピー圏におけるモチービックファイブレーション置換と無限ループ空間構造を確立すること。
• Morel の A¹-連結性定理を1次元の底 scheme 上の Nisnevich シェーブーの安定モチービックホモトピー群へ一般化すること。
• 整数などの算術的底 scheme 上でのモチービック不変量のための新しい計算ツールを可能にすること。

提案手法

• tf-被覆が Nisnevich および A¹-ホモトピー被覆を refine するように定義される、スキーム上の Grothendieck 位相として trivial fiber (tf) 位相を導入する。
• tf-位相を用いて tf-局所化函手を定義し、アーベル群値のシェーブーに対して tf-Nisnevich 厳密 A¹-不変性を確立する。
• 変形技術とプロ-étale極限を用いて、閉部分スキームをもつ滑らかスキーム上の問題を局所的ヘンゼル近傍へ還元する。
• 枠付き対応を活用し、自己函手 Ω_{Gm}L_{A¹} を用いて安定モチービックホモトピー圏におけるファイブレーション置換を構成する。
• モチービック無限ループ空間が、底スキーム B 上の枠付きプレシェーブーの圏における tf-局所シェーブーとして実現されることを証明する。
• tf-位相を用いて、tf-シェーブーのための局所化定理を確立し、モチービック問題を接続が自明な滑らかでアフィンなスキームへ還元可能にする。

実験結果

リサーチクエスチョン

• RQ1 1次元の底 scheme 上での安定モチービックホモトピー圏は、tf-位相を用いたファイブレーション置換によってどのように記述できるか？
• RQ2 1次元の底に対して、安定モチービックホモトピー群の Nisnevich シェーブーに対して、厳密 A¹-不変性はどの程度成立するか？
• RQ3 Voevodsky もしくは Garkusha-Panin の厳密 A¹-不変性定理は、体を越えてより一般の底スキームへ拡張可能か？
• RQ4 trivial fiber 位相は、モチービックホモトピー理論における局所化とホモトピー不変性の精錬にどのような役割を果たすか？
• RQ5 算術的底スキーム上での枠付きモチーフとモチービック無限ループ空間は、tf-局所化の下でどのように振る舞うか？

主な発見

• trivial fiber 位相により、1次元の底 scheme 上での安定モチービックホモトピー圏におけるファイブレーション置換の完全な記述が可能になる。
• 本稿では、アーベル群値のシェーブーに対して tf-Nisnevich 厳密 A¹-不変性が確立され、Voevodsky および Morel の定理が1次元の底へ一般化される。
• モチービック無限ループ空間構造は、底スキーム B 上の枠付きプレシェーブーの圏における tf-局所シェーブーとして実現される。
• Nisnevich シェーブーの安定モチービックホモトピー群に対する A¹-連結性定理が1次元の底スキームへ拡張される。
• 反例により、一般には Nisnevich 厳密 A¹-不変性が成立しないことが示されるが、tf-位相により必要な文脈でそれが回復される。
• tf-シェーブーのための局所化定理により、モチービック問題を接続が自明な滑らかでアフィンなスキームへ還元可能となり、計算が簡略化される。