[論文レビュー] Homotopy invariance of Nisnevich sheaves with Milnor-Witt transfers

Håkon Kolderup|arXiv (Cornell University)|Aug 14, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 3

ひとこと要約

この論文は、特性が0の体上のMilnor–Witt移動を持つ前層に対して、Nisnevich・シャーファイケーションがホモトピー不変性を保存することを確立する。Druzhinin、Fasel–Østvær、Garkusha–Paninの幾何的技法にインspiredされたアプローチにより、前層が有限Milnor–Witt対応の圏上でホモトピー不変であれば、そのNisnevich・シャーファイケーションもホモトピー不変のままであることを証明する。これは、通常のモチビックホモトピー理論における基礎的結果をMilnor–Witt設定へと拡張するものである。

ABSTRACT

The category of finite Milnor-Witt correspondences, introduced by Calmès and Fasel, provides a new type of correspondences closer to the motivic homotopy theoretic framework than Suslin-Voevodsky's correspondences. A fundamental result of the theory of ordinary correspondences concerns homotopy invariance of sheaves with transfers, and in the present paper we address this question in the setting of Milnor-Witt correspondences. Employing techniques due to Druzhinin, Fasel-Østvær and Garkusha-Panin, we show that homotopy invariance of presheaves with Milnor-Witt transfers is preserved under Nisnevich sheafification.

研究の動機と目的

• 通常の対応の古典的ホモトピー不変性定理をMilnor–Witt対応の設定へと拡張すること。
• Milnor–Witt移動の文脈において、Nisnevich・シャーファイケーションがホモトピー不変性を保存することを確立すること。
• フレームド対応に依存せずに、切除技術を用いた直接的な幾何的証明を提供すること。
• Milnor–WittK理論と二次形式がモチビックホモトピー理論において果たす役割を明確にすること。

提案手法

• Druzhinin、Fasel–Østvær、Garkusha–Paninの技術を適応し、Milnor–Witt対応における切除性質を証明する。
• アフィン直線におけるZariskiおよびNisnevich切除定理を用いて、シャーファイケーションの局所的および大域的挙動を分析する。
• 切除写像の単射性および全射性の結果を用いて、シャーファイケーション下でのセクションの挙動を制御する。
• Nisnevich切除同型を用いて、ヘンゼル化およびエタール近傍上のシャーファイケーションの局所的および大域的セクションを関連付ける。
• 前層の茎とそのNisnevich・シャーファイケーションの茎との同型を、関連する制限写像に沿って保つことにより、シャーファイケーション写像の全射性を証明する。
• 制限写像を含む可換図式を構成し、重要なホモモーフィズムの単射性を用いて主結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 Milnor–Witt移動を持つ前層のホモトピー不変性は、そのNisnevich・シャーファイケーションへと降下するか？
• RQ2 アフィン直線および局所的スキーム上でのMilnor–Witt対応における切除性質はどのように振る舞うか？
• RQ3 フレームド対応に依存せずに、Milnor–Witt設定においてホモトピー不変性の直接的な幾何的証明が可能か？
• RQ4 Milnor–WittK理論の関係式は、シャーファイケーションの下での不変性の保存にどのような役割を果たすか？
• RQ5 Garkusha–PaninおよびDruzhininの技術は、Milnor–Witt文脈へとどの程度拡張可能か？

主な発見

• ホモトピー不変な前層からそのNisnevich・シャーファイケーションへのシャーファイケーション写像は、アフィン直線上で同型である。
• ゼロ切断に沿った制限写像の単射性は、Nisnevich・シャーファイケーションの下でも保たれる。
• Milnor–Witt対応においてNisnevich切除が成り立ち、局所的セクションの制御が可能になる。
• 前層の茎とそのNisnevich・シャーファイケーションの茎との同型は、関連する制限写像に沿っても保たれる。
• 主結果は、Milnor–Witt設定においてホモトピー不変性がNisnevich・シャーファイケーションの下でも保存されることを確認しており、Voevodskyの古典的定理を拡張する。
• 証明により、特性が0の体上でのホモトピー不変な前層にMilnor–Witt移動を備えたNisnevich・シャーファイケーションが、依然としてホモトピー不変であることが示された。