[論文レビュー] Étale Homotopy Obstructions of Arithmetic Spheres

Edo Arad, Shachar Carmeli+1 more|arXiv (Cornell University)|Feb 9, 2019

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿は、エタールホモトピー理論と算術幾何学との間の明確な関係を確立し、特に対角的二次形式 $X: \sum a_i x_i^2 = 1$ が体 $K$（特性 $\neq 2$）上で定義されるとき、その有理点の存在に対する最小の mod 2 エタールホモロジー的障害が、$H^*_{\text{ét}}(K, \mathbb{Z}/2)$ 内のカップ積 $[a_0] \cup \cdots \cup [a_n]$ に一致することを示している。このカップ積は、最高次のハッセ＝ウィット不変量に一致する。この結果は、単位球面バンドルに対するトポロジー的障害理論のエタールホモトピー的類似物である。

ABSTRACT

Let $K$ be a field of characteristic $ e 2$ and let $X$ be the affine variety over $K$ defined by the equation $$ X:\ a_0x_0^2 + \cdots + a_nx_n^2 = 1 $$ where $n\ge 0$ and $a_i\in K$. In this paper we compute the lowest mod 2 étale homological obstruction class to the existence of a $K$-rational point on $X$, and show that it is the cup product of the form $$ o_{n+1} = [a_0]\cup\cdots\cup[a_n]. $$ Our computation is an étale-homotopy analogue of the topological fact that Stiefel-Whitney classes are the homological obstructions to find a section to the unit sphere bundle of a real vector bundle.

研究の動機と目的

• 古典的な算術的不変量（特にハッセ＝ウィット類）を、現代のエタールホモトピー障害理論と結びつけること。
• 球面 $\sum a_i x_i^2 = 1$ 上の有理点の存在に対する最小の mod 2 エタールホモロジー的障害が、係数 $[a_i]$ のカップ積であることを確立すること。
• 古典的なヒルベルト記号とハッセ＝ウィット不変量を、エタールホモトピー論的解釈としての障害類として与えること。
• エタールホモトピー型の分類スタック $BO_{n,K}$ のホモトピー型を用いて、トポロジー的障害理論（スティーフェル＝ホイットニー類）を算術的設定に一般化すること。

提案手法

• 相対エタールホモトピー型とプロエタール層コホモロジーを用いて、$\operatorname{Pro} \mathrm{Shv}_\infty(\text{Spec } K, \mathbb{Z}/2)$ 内の障害類を定義する。
• $\infty$-トポスにおける高次障害理論を適用し、球面バンドルに関連する層の大域切断の障害を計算する。
• 普遍的球面バンドル $\widetilde{S}_{n+1} \to BO_{n+1,K}$ を構成し、そのエタールコホモロジーを計算する。その結果、$H^*_{\text{ét}}(BO_{n+1,K}, \mathbb{Z}/2)$ がハッセ＝ウィット類 $HW_1, \dots, HW_n$ によって生成される多項式代数であることを示す。
• 高次スタックにおけるベック＝チェヴァルの条件と滑らかな基本変換を用いて、スキームの準同型下での引き戻しの整合性を保証する。
• ハッセ＝ウィット類のホイットニー積公式を活用し、対角化された二次形式に対する障害をカップ積に分解する。
• 一般の場合を、$Q_1^{n+1} \to Q_{n+1}$ を通じた 1 次元の場合に還元することで、最初のハッセ＝ウィット類が $[a_i]$ に引き戻されることを示す。

実験結果

リサーチクエスチョン

• RQ1 アフィン二次曲面 $X: \sum a_i x_i^2 = 1$ 上に有理点が存在するためのエタールホモトピー的障害は何か？
• RQ2 mod 2 エタールホモロジー的障害が二次形式のハッセ＝ウィット不変量とどのように関係しているか？
• RQ3 トポロジー的障害（スティーフェル＝ホイットニー類）をエタールホモトピー理論を用いて算術的設定に持ち上げることは可能か？
• RQ4 カップ積 $[a_0] \cup \cdots \cup [a_n]$ は、球面上の有理点に対する $H^*_{\text{ét}}(K, \mathbb{Z}/2)$ 内の正確な障害類か？
• RQ5 エタール設定における球面バンドルの障害理論は、古典的なハッセ＝ウィット不変量 $HW_n(B)$ を回復するか？

主な発見

• 球面 $X: \sum_{i=0}^n a_i x_i^2 = 1$ 上に有理点が存在するための最小の mod 2 エタールホモロジー障害は、$H^*_{\text{ét}}(K, \mathbb{Z}/2)$ 内のカップ積 $[a_0] \cup \cdots \cup [a_n]$ に一致する。
• この障害類は、二次形式 $B = \sum a_i x_i^2$ の最高次のハッセ＝ウィット不変量 $HW_{n+1}(B)$ に一致する。
• この障害は、分類写像 $f_B: \mathrm{Spec}\,K \to Q_{n+1}$ を通じて、分類スタック $BO_{n+1,K}$ 従って $n$ 番目のスティーフェル＝ホイットニー類 $HW_n$ の引き戻しとして生じる。
• 1 次元球面 $ax^2 = 1$ に対して、障害 $f^*HW_1$ は、正確に $[a] \in H^1_{\text{ét}}(K, \mathbb{Z}/2) \cong K^\times / (K^\times)^2$ に一致する。
• エタール設定における球面バンドルの障害理論は引き戻しと整合性を持ち、ホイットニー積公式を満たすため、古典的なトポロジー的類似物と一貫性を保つ。
• 計算により、エタールホモトピー障害理論が、ヒルベルト記号およびハッセ＝ウィット不変量によって定義される古典的算術的障害を回復することが確認された。