[论文解读] Hasse Principle for Simply Connected Groups over Function Fields of Surfaces

Yong Hu|arXiv (Cornell University)|Mar 5, 2012

Algebraic Geometry and Number Theory参考文献 25被引用 10

一句话总结

本文證明了在具有有限剩余域的 $ p $-進曲面及局部 Hensel 曲面的函數域上，對型別 $^2A_n^*$、$B_n$ 和 $D_n^*$ 的單連通群，Hasse 原理成立。利用 Rost 不變量理論、上同調技巧以及對酉形式的局部-整體原則，作者證明：若一個 $ G $-torsor 在所有完備化處均有有理點，則其在基域上亦存在有理點，從而將 Colliot-Thélène–Parimala–Suresh 的猜想推廣至非擬分裂情形。

ABSTRACT

Let $K$ be the function field of a $p$-adic curve, $G$ a semisimple simply connected group over $K$ and $X$ a $G$-torsor over $K$. A conjecture of Colliot-Thélène, Parimala and Suresh predicts that if for every discrete valuation $v$ of $K$, $X$ has a point over the completion $K_v$, then $X$ has a $K$-rational point. The main result of this paper is the proof of this conjecture for groups of some classical types. In particular, we prove the conjecture when $G$ is of one of the following types: (1) ${}^2A_n^*$, i.e. $G=\mathbf{SU}(h)$ is the special unitary group of some hermitian form $h$ over a pair $(D, τ)$, where $D$ is a central division algebra of square-free index over a quadratic extension $L$ of $K$ and $τ$ is an involution of the second kind on $D$ such that $L^τ=K$; (2) $B_n$, i.e., $G=\mathbf{Spin}(q)$ is the spinor group of quadratic form of odd dimension over $K$; (3) $D_n^*$, i.e., $G=\mathbf{Spin}(h)$ is the spinor group of a hermitian form $h$ over a quaternion $K$-algebra $D$ with an orthogonal involution. Our method actually yields a parallel local-global result over the fraction field of a 2-dimensional, henselian, excellent local domain with finite residue field, under suitable assumption on the residue characteristic.

研究动机与目标

• 證明在具有有限剩余域的 $ p $-進曲面及局部 Hensel 曲面的函數域上，$ G $-torsor 的 Hasse 原理。
• 將 Colliot-Thélène–Parimala–Suresh 對經典型非擬分裂群的 Hasse 原理猜想予以推廣。
• 建立在具有對合的中心除法代數上酉形式與酉群的局部-整體原則。
• 驗證自然映射 $ H^1(K, G) \to \prod_v H^1(K_v, G) $ 的核為平凡，針對特定群型。
• 發展適用於具有有限剩余域的高維局部域的上同調工具。

提出的方法

• 利用 Rost 不變量映射檢測 $ H^3(K, \mathbb{Q}/\mathbb{Z}(2)) $ 中上同調類的平凡性，並利用其在某些情形下的單射性。
• 應用涉及 $ \mathbf{SU}(h) \to \mathbf{U}(h) \to R^1_{L/K}\mathbb{G}_m $ 的上同調正合序列，將 $ H^1 $-類與酉形式關聯。
• 運用 Morita 理論與奇數次擴張的基變換，將問題簡化至奇數指數或分裂代數的情形。
• 利用奇數次擴張下限制映射 $ W(D, \tau) \to W(D \otimes_L L' , \tau') $ 的單射性，實現形式平凡性的下移。
• 應用高維類域論及 Kato–Saito 的結果，以控制局部條件。
• 依賴於：若酉形式在局部為超曲面且判別式與 Rost 不變量均平凡，則其在整體上亦平凡。

实验结果

研究问题

• RQ1 在 $ p $-進曲面的函數域上，Hasse 原理是否對 $ G = \mathbf{SU}(h) $、$ \mathbf{Spin}(q) $ 及 $ \mathbf{Spin}(h) $ 成立？
• RQ2 能否在高維局部域上為非擬分裂的單連通群建立 Hasse 原理？
• RQ3 在何種條件下，$ G $-torsor 在所有完備化處均平凡，可推出其在基域上存在有理點？
• RQ4 Rost 不變量與上同調方法在具有對合的除法代數上酉形式的背景下如何互動？
• RQ5 殘留特徵值在這些群的 Hasse 原理有效性中扮演何種角色？

主要发现

• 對於 $ G = \mathbf{SU}(h) $，在 $ p $-進算術曲面及具有有限剩余域的局部 Hensel 曲面的函數域上，Hasse 原理成立，條件為 $ \mathrm{ind}(D) $ 為無平方因子，且若 $ \mathrm{ind}(D) $ 為偶數則 $ p \neq 2 $。
• 對於 $ G = \mathbf{Spin}(q) $（奇數維二次型），在相同域假設下，Hasse 原理已證明。
• 對於 $ G = \mathbf{Spin}(h) $（在具正交對合的四元數代數上），當 $ p \nmid \mathrm{ind}(D) $ 且殘留特徵值不為 2 時，Hasse 原理成立。
• 若 $ G $-torsor 在所有離散賦值處局部平凡，則其 Rost 不變量為平凡，進而對指定群型可推出整體平凡性。
• 在 $ (D, \tau) $ 上，偶數秩、判別式平凡且 Rost 不變量平凡的局部超曲面酉形式，其整體亦為超曲面，進而導出對應上同調類的平凡性。
• 對於指定群型，自然映射 $ H^1(K, \mathbf{SU}(h)) \to \prod_v H^1(K_v, \mathbf{SU}(h)) $ 的核為平凡，從而確認 Hasse 原理。