[論文レビュー] Affine representability results in A^1-homotopy theory III: finite fields and complements

Aravind Asok, Marc Hoyois+1 more|arXiv (Cornell University)|Jul 9, 2018

Algebraic Geometry and Number Theory参考文献 15被引用数 6

ひとこと要約

本稿は、無限体からの拡張に依存する既存の結果を踏まえ、有限体上の等方的再帰的群 G に対する G- torsor の A¹-表現可能性を確立する。有限体上での精密化された Gabber の提示補題を用いて、Nisnevich コホロロジーの A¹-不変性を証明し、その結果、モチビック球面が再帰的群の同次空間として特定可能となる。具体的には、Spin₉/Spin₇ ≅ Q₁₅ および SO₂ₙ₊₁/SO₂ₙ ≅ Q₂ₙ が得られる。

ABSTRACT

We give a streamlined proof of ${\mathbb A}^1$-representability for $G$-torsors under "isotropic" reductive groups, extending previous results in this sequence of papers to finite fields. We then analyze a collection of group homomorphisms that yield fiber sequences in ${\mathbb A}^1$-homotopy theory, and identify the final examples of motivic spheres that arise as homogeneous spaces for reductive groups.

研究の動機と目的

• 無限体に依存する既存の A¹-表現可能性結果を、有限体へ拡張すること。
• 最近の Hogadi と Kulkarni が証明した有限体上での精密化された提示補題を用いて、有限体上での等方的再帰的群 G に対して H¹_Nis(X, G) の A¹-不変性を確立すること。
• 特徴が 2 でない体上の再帰的群の同次空間として生じるモチビック球面を分類すること。
• このような同次空間の最初の非自明な A¹-ホモトピー層の構造を同定し、その連結性を分析すること。
• 関連する torsor の Zariski 局所自明性を用いて、特徴が 2 でない体上での Q₂ₙ が A¹-自明であることを証明すること。

提案手法

• Hogadi と Kulkarni が最近証明した有限体上での精密化された Gabber の提示補題を適用し、H¹_Nis(X, G) の A¹-不変性を確立する。
• 有限体上ではすべての再帰的群が quasi-split であり、したがって等方的であることを利用し、[AHW18] の結果を拡張する。
• A¹-ホモトピー圏における Singular 構成 Sing^A¹ と fibrant な置換を用いて、コホロロジー的不変量とマッピング空間を関連付ける。
• 特にスピン群とオクタニオンを用いた古典的群論的構成により、モチビック球面を同次空間として特定する。
• Witt のキャンセレーション定理を適用し、torsor G → G/H が Zariski 局所自明であることを検証する。これにより A¹-不変性および表現可能性が得られる。
• 既知の A¹-弱同値：Q₂ₙ ≃ Sⁿ ∧ Gₘ^∧n および Q₂ₙ₋₁ ≃ Sⁿ⁻¹ ∧ Gₘ^∧n を用いて、同次空間がモチビック球面として特定可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 等方的再帰的群 G に対する G- torsor の A¹-表現可能性を、無限体から有限体へ拡張することは可能か？
• RQ2 どの同次空間 G/H が A¹-ホモトピー論においてモチビック球面と同型であるか？
• RQ3 等方的再帰的群 G に対して、同次空間 G/H の最初の非自明な A¹-ホモトピー層の構造は何か？
• RQ4 特徴が 2 でない体上では、二次曲面 Q₂ₙ は A¹-自明であるか？
• RQ5 特定された同次空間 G/H ≅ Q₂ₙ または Q₂ₙ₋₁ に対して、torsor G → G/H は Zariski 局所自明か？

主な発見

• 等方的再帰的群 G に対して、有限体上では、精密化された Gabber の提示補題を用いて、関手 X ↦ H¹_Nis(X, G) が A¹-不変であることが示される。
• G が等方的であれば、すべての滑らかでアフィンな k-スキーム X に対して、H¹_Nis(X, G) ≅ [X, BG]_A¹ の双対性が成り立つ。これは有限体上でも成立する。
• スピン表現をオクタニオンに適用することで、商 Spin₉/Spin₇ は 15 次元のモチビック球面 Q₁₅ と同型である。
• 商 SO₂ₙ₊₁/SO₂ₙ は Q₂ₙ と同型であり、この torsor は Zariski 局所自明である。これにより、特徴が 2 でない体上での A¹-自明性が得られる。
• 同次空間 SLₙ/SLₙ₋₁、SO₂ₙ/SO₂ₙ₋₁、Sp₂ₘ/Sp₂ₘ₋₁（n=2m のとき）および Spin₇/G₂ はすべて Q₂ₙ₋₁ と同型である。
• 特定されたすべての同次空間に対して、torsor G → G/H は Zariski 局所自明であり、これは A¹-不変性および表現可能性の根拠となる。