[論文レビュー] The 0-th stable A^1-homotopy sheaf and quadratic zero cycles

Aravind Asok, Christian Haesemeyer|arXiv (Cornell University)|Aug 18, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用数 10

ひとこと要約

本稿は、特性 ≠ 2 の体上の滑らかで固有な多様体の 0-番目の安定 A¹-ホモトピー層と、1次元の 0-サイクルの存在との間の明確な関係を確立する。ねじれた Chow-Witt 群と Milnor-Witt K-理論を用いて、有理点が安定 A¹-ホモトピーに関して存在するための必要十分条件が、1次元の 0-サイクルの存在であることを証明する。これにより、このホモトピー的条件が有理点の存在に対するモチーフ的ホモロジー的障害として特定される。

ABSTRACT

We study the 0-th stable A^1-homotopy sheaf of a smooth proper variety over a field k assumed to be infinite, perfect and to have characteristic unequal to 2. We provide an explicit description of this sheaf in terms of the theory of (twisted) Chow-Witt groups as defined by Barge-Morel and developed by Fasel. We study the notion of rational point up to stable A^1-homotopy, defined in terms of the stable A^1-homotopy sheaf of groups mentioned above. We show that, for a smooth proper k-variety X, existence of a rational point up to stable A^1-homotopy is equivalent to existence of a 0-cycle of degree 1.

研究の動機と目的

• 特性 ≠ 2 の体 k 上の滑らかで固有な多様体の 0-番目の安定 A¹-ホモトピー層を理解すること。
• 安定 A¹-ホモトピーに関して有理点が存在するという概念を導入することにより、有理点の存在に対するホモトピー的障害を明確化すること。
• ねじれた Chow-Witt 群と Milnor-Witt K-理論を用いて、0-番目の安定 A¹-ホモトピー層の明示的記述を提供すること。
• 安定 A¹-ホモトピーに関して有理点が存在することと、1次元の 0-サイクルが存在することとの間の正確な同値関係を確立すること。
• 古典的なモチーフ的双対性と Hurewicz 型写像を、二次形式および非向き付けられたコホモロジー理論の文脈に一般化すること。

提案手法

• 著者たちは、安定 A¹-ホモトピー圏とモチーフ的球面スペクトルを用いて、0-番目の安定 A¹-ホモトピー層を Spec k 上の Nisnevich 層のセクションとして定義する。
• 代数的サイクルと二次形式を組み合わせたねじれた Chow-Witt 群を用いて、0-番目の安定 A¹-ホモトピー層を明示的に記述する。
• 主な技術的道具は、安定 A¹-導来圏における Atiyah の双対性であり、これはホモトピー層を Milnor-Witt K-理論層を係数に持つコホモロジーと関連付ける。
• Milnor-Witt K-理論層の Gersten 分解を適用してコホモロジー群を計算し、それらを 0-サイクル上の次数写像に関連付ける。
• 証明では、GW(k) = ℤ ×_{ℤ/2} W(k) のファイバー積構造を用い、k が形式的に実であるか否かに分ける。
• Witt 群における転送写像を分析し、Scharlau の定理を用いて、奇数次元の拡大に対して転送が分解可能全射であることを示し、次数写像の分解を構成する。

実験結果

リサーチクエスチョン

• RQ1 特性 ≠ 2 の体上の滑らかで固有な多様体の 0-番目の安定 A¹-ホモトピー層の正確な構造は何か？
• RQ2 安定 A¹-ホモトピーに関して有理点が存在するという概念は、1次元の 0-サイクルといった古典的算術不変量とどのように関係するか？
• RQ3 ねじれた Chow-Witt 群を用いて、二次形式データと代数的サイクルを用いて 0-番目の安定 A¹-ホモトピー層を記述できるか？
• RQ4 安定 A¹-ホモトピーに関して有理点が存在することは、1次元の 0-サイクルが存在することと同値か？
• RQ5 Milnor-Witt K-理論と Witt 群の転送写像は、次数写像を分解全射として実現するために果たす役割は何か？

主な発見

• 滑らかで固有な k-多様体 X の 0-番目の安定 A¹-ホモトピー層は、仮定のもとで、X の正則バンドルに関するねじれた Chow-Witt 群の層と同型である。
• 安定 A¹-ホモトピーに関して有理点が存在するための必要十分条件は、X 上に 1次元の 0-サイクルが存在することである。
• CH₀(X) → ℤ である次数写像が分解全射であるための必要十分条件は、0-番目の安定 A¹-ホモトピー層上の押し出し写像が分解することである。
• 有限次拡大 L/k が奇数次元のとき、Scharlau の転送 s_*: W(L) → W(k) は分解全射であり、これは分解の構成に不可欠である。
• 証明は、GW(k) のファイバー積構造と、残差体の次数が互いに素であるとき、GW(k) 内の次数写像の像が分解に引き上げられることに依存する。
• 0-番目の安定 A¹-ホモトピー層から 0-番目の Suslin ホモロジー層への層化された Hurewicz 同型は、次数写像と整合的であり、有理点の障害を二次形式データとして特定するのに役立つ。