[論文レビュー] Motives of smooth affine pairs

Andrei Druzhinin|arXiv (Cornell University)|Mar 30, 2018

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

この論文は、完備無限体 $k$ 上の滑らかでアフィンな代数的多様体 $X$ 及びその開部分多様体 $U\subset X$ に対して、$S^1$-スペクトル $M_{fr}(X//U)$ と $M_{fr}(X,U)$ 間のレベルNisnevich局所弱同値を確立する。主な貢献は、安定モチビックホモトピー圏 $\mathbf{SH}(k)$ 内の準同型 $U_+ \to X_+$ のコーンに対する明示的なファイブラント置換を提供することにある。

ABSTRACT

For a smooth affine variety $X$ and open subscheme $U\subset X$ we get level Nisnevich local week equivalence of $S^1$-spectra $$M_{fr}(X//U) o M_{fr}(X,U).$$ This gives the explicit fibrant replacement for the cone of the morphism $U_+ o X_+$ in $\mathbf{SH}(k)$ over a perfect infinite field $k$.

研究の動機と目的

• 安定モチビックホモトピー圏 $\mathbf{SH}(k)$ 内の準同型 $U_+ \to X_+$ のコーンに対する明示的なファイブラント置換を構成すること。
• モチビックホモトピー理論の文脈において、滑らかでアフィンなペア $(X,U)$ のホモトピー的構造を理解すること。
• 滑らかでアフィンなペア $(X,U)$ に関連する二つの $S^1$-スペクトル間のレベルNisnevich局所弱同値を確立すること。
• フレームド対応を用いて、滑らかでアフィンなペアのモチーフを明示的な幾何学的・ホモトピー的記述で与えること。

提案手法

• フレームド対応の理論を用いて、ペア $(X,U)$ に関連する $S^1$-スペクトル $M_{fr}(X,U)$ を定義する。
• フレームド設定における商またはマッピングコーン構成を用いて、$S^1$-スペクトル $M_{fr}(X//U)$ を構成する。
• レベルNisnevich位相を適用して、$M_{fr}(X//U)$ と $M_{fr}(X,U)$ のホモトピー的性質を比較する。
• 滑らかでアフィンな多様体および完備無限体の性質を用いて、$M_{fr}(X//U)$ と $M_{fr}(X,U)$ 間の弱同値を確立する。
• 体 $k$ が完備かつ無限大であることにより、十分な数の滑らかな超平面切断が存在し、Nisnevich降下を適用できることに依拠する。
• 弱同値が、$U_+ \to X_+$ のコーンに対する $\mathbf{SH}(k)$ 内のファイブラント置換を誘導することを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかでアフィンなペアに対して、安定モチビックホモトピー圏 $\mathbf{SH}(k)$ 内の包含写像 $U_+ \to X_+$ のコーンの正しいホモトピー的モデルは何か？
• RQ2 フレームド $S^1$-スペクトルは、モチビックホモトピー理論における明示的なファイブラント置換を構成するためにどのように用いることができるか？
• RQ3 完備無限体上での滑らかでアフィンなペアに対して、$M_{fr}(X//U)$ と $M_{fr}(X,U)$ 間にレベルNisnevich局所弱同値が存在するか？
• RQ4 ベース体 $k$ の完備性および無限大性が、このような弱同値の確立に果たす役割は何か？
• RQ5 滑らかでアフィンなペアのモチーフは、フレームド対応を用いて明示的に記述可能か？

主な発見

• 完備無限体 $k$ 上の滑らかでアフィンなペア $(X,U)$ に対して、$M_{fr}(X//U)$ と $M_{fr}(X,U)$ 間のレベルNisnevich局所弱同値が確立された。
• 弱同値は、安定モチビックホモトピー圏 $\mathbf{SH}(k)$ 内の準同型 $U_+ \to X_+$ のコーンに対する明示的なファイブラント置換を提供する。
• この構成は、フレームド対応の理論および滑らかでアフィンな多様体の幾何的性質に依存する。
• この結果は、ベース体 $k$ が完備かつ無限大であるという仮定のもとで成り立つことが保証され、十分な幾何的自由度が得られる。
• ファイブラント置換は、ペア $(X,U)$ のモチーフをホモトピー的に意味のある方法でモデル化する $S^1$-スペクトル $M_{fr}(X,U)$ によって実現される。
• 同値性により、$M_{fr}(X,U)$ は $\mathbf{SH}(k)$ 内のコーンの正しいモチービックホモトピー型を捉えていることが示唆される。