[論文レビュー] Framed correspondences and the zeroth stable motivic homotopy group in odd characteristic

Andrei Druzhinin, Jonas Irgens Kylling|arXiv (Cornell University)|Sep 10, 2018

Algebraic Geometry and Number Theory参考文献 13被引用数 9

ひとこと要約

本稿は、フレーム付き対応の有限降下を確立し、奇数の特徴を持つ完全体上でのNeshitovの移動補題を証明する。これはGarkushaとPaninのフレーム付きモチーフ理論およびNeshitovによる零次の安定モチーフ的ホモトピー群の計算を、有限体および奇数の特徴を持つ完全体へと拡張する。主な結果は、$ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) \simeq \mathrm{K}^{\mathrm{MW}}_n(k) $ の同定であり、この設定においてモアルの定理を回復する。

ABSTRACT

We extend the results of G.~Garkusha and I.~Panin on framed motives of algebraic varieties [4] to the case of a finite base field, and extend the computation of the zeroth cohomology group $H^0(\mathbb ZF(Δ^\bullet_k,\mathbf G^{\wedge n}_m))=K^{MW}_n$ by A.~Neshitov [8] to perfect fields $k$ of positive characteristic different from 2.

研究の動機と目的

• 無限体または特徴が零の底体を必要としていた従来の結果を除き、奇数の特徴を持つ有限体および完全体におけるフレーム付きモチーフ理論を拡張すること。
• 任意の体上、特に有限体上でのフレーム付き対応の有限降下を確立し、ホモトピー的構成における無限底体の必要性を排除すること。
• 奇数の特徴を持つ完全体上でのNeshitovの移動補題を証明し、特徴に依存する幾何的議論をより一般的な代数的幾何的技法に置き換えること。
• 零次の安定モチーフ的ホモトピー群の計算を奇数の特徴を持つ完全体へ拡張し、それがミルナー＝ウィットK理論に同定されることを示すこと。
• 奇数の特徴を持つ完全体の場合に、モアルによる零次のモチーフ的ホモトピー群とミルナー＝ウィットK理論の同定をフレーム付き対応を用いて回復すること。

提案手法

• 素数の体拡大を用いたフレーム付き対応の有限降下の変種を証明し、有限体上でのホモトピー的不変性および切除定理を可能にする。
• Neshitovの移動補題における特徴に依存する幾何的議論（特に3次曲線の使用および一般的滑らかさ）を、$ \pi^{2,2} $ におけるシュタインベルク関係式の既存の証明（例えばHuとKritzのもの）への参照に置き換える。
• 指定された零点および可逆性条件を満たす曲線上の線束とその切断を用いて、体拡大上での滑らかな補題付き対応を構成する。
• 零点の制御された切断の持ち上げに関する補題6.7を適用し、十分に大きな次数の体拡大上での滑らかなフレーム付き対応を構成する。
• 帰納法とホモトピー的不変性を用いて、一般のフレーム付き対応を標準形に還元し、$ \overline{\mathbb{Z}F}(\mathrm{pt}_k, \mathrm{pt}_k) $ の任意の類が標準フレーム付き対応の差であることを示す。
• 移動補題が有限降下から導けることを利用し、スカラー拡大を介して無限体から有限体への還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 降下技法を用いて、フレーム付きモチーフ理論を無限体から有限体へ拡張できるか？
• RQ2 元々特徴が零の体上で証明されたNeshitovの移動補題は、奇数の特徴を持つ完全体上でも成立するか？
• RQ3 3次曲線や特徴の仮定に依存せずに、零次のモチーフ的ホモトピー群におけるシュタインベルク関係式を確立できるか？
• RQ4 同型 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) \simeq \mathrm{K}^{\mathrm{MW}}_n(k) $ は、奇数の特徴を持つ完全体に対して成り立つか？
• RQ5 フレーム付き対応を用いて、奇数の特徴におけるモアルの定理（零次の安定モチーフ的ホモトピー群とミルナー＝ウィットK理論の同定）を回復できるか？

主な発見

• フレーム付き対応の有限降下定理は任意の体上で成り立つ。これにより、GarkushaとPaninのフレーム付きモチーフ理論が有限底体へ拡張可能となる。
• $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) $ におけるシュタインベルク関係式の新しい証明が、元の幾何的証明（$ \pi^{2,2} $ において）に依拠することで、特徴の仮定に依存しない。
• 奇数の特徴を持つ完全体上でのフレーム付き対応の移動補題が証明され、一般的滑らかさや一般的位置の補題の使用を、線束上の持ち上げ議論に置き換える。
• 任意の奇数の特徴を持つ完全体 $ k $ に対して、零次のコホモロジー群 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) $ は $ \mathrm{K}^{\mathrm{MW}}_n(k) $ に同定される。
• $ \overline{\mathbb{Z}F}(\mathrm{pt}_k, \mathrm{pt}_k) $ 内の任意のフレーム付き対応の類は、標準フレーム付き対応の差として表される。これは、準同型 $ \Psi_*: \mathrm{K}^{\mathrm{MW}}_*(k) \to H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge *})) $ の全射性を確認する。