[论文解读] Patching and local-global principles for homogeneous spaces over function fields of p-adic curves

Jean-Louis Colliot-Thélène, R. Parimala+1 more|ArXiv.org|Dec 16, 2008

Algebraic Geometry and Number Theory参考文献 23被引用 3

一句话总结

该论文利用Harbater、Hartmann和Krashen发展的黏合技术，建立了p进域上曲线函数域上齐次空间的有理点的局部-整体原则。证明了在奇特征下，光滑二次型（smooth quadrics）以及满足特定基扩张条件的半单代数群的主齐次空间，若在所有完备化处均有有理点，则其在整体域上也存在有理点，从而解决了此背景下Hasse原理的关键情形。

ABSTRACT

This is the final version, to appear in Commentarii Mathematici Helvetici.

研究动机与目标

• 建立函数域 F = K(X) 上齐次空间有理点的局部-整体原则，其中 K 是 p进域，X 是光滑射影曲线。
• 研究对所有离散赋值 v，F_v-点的存在性是否蕴含 F-有理点的存在性。
• 利用现代黏合方法，推广二次型的超曲性与伽罗瓦上同调类平凡性的已知结果。
• 为 p进域上一个变量的函数域上分裂的单连通群的 Rost 不变量核提供无需分类的证明。

提出的方法

• 将 Harbater、Hartmann 和 Krashen 发展的黏合技术应用于 p进域上曲线的函数域。
• 利用函数域 F 的上同调维数为 3 的事实，从而控制伽罗瓦上同调群。
• 依赖 Rost 不变量与 Katô 定理，分析伽罗瓦上同调中限制映射的核。
• 应用 Bruhat-Tits 理论研究离散赋值环上半单群及其基变换。
• 将问题约化为分析上同调中余值映射的核，特别是 H^3 与 H^2 群。
• 通过涉及 G_m、M' 与 M 的正合列，运用下降论证，将上同调障碍与局部点联系起来。

实验结果

研究问题

• RQ1 对 F 上光滑射影二次型，若对所有离散赋值 v，F_v-点存在，是否蕴含 F-有理点存在？
• RQ2 对 F = K(X) 上的半单群 G，限制映射 H^1(F, G) → ∏_v H^1(F_v, G) 是否为单射？
• RQ3 当所有局部不变量为零时，F 上分裂的单连通群的 Rost 不变量核是否平凡？
• RQ4 Hasse 原理是否对 K 的整环上群的基扩张所导出的半单群主齐次空间成立？
• RQ5 能否从所有完备化 F_v 上的二次型超曲性，推出 F 上至少三元的二次型的超曲性？

主要发现

• 对任意非退化二次型 q ∈ F = K(X)，若在至少三个变量上，且对所有离散赋值 v，q 在 F_v 上超曲，则当 K 的剩余特征不为 2 时，q 在 F 上也超曲。
• 对 K 的整环 A 上的纤维连通半单 A-群 G，限制映射 H^1(F, G) → ∏_v H^1(F_v, G) 的核为平凡。
• Hasse 原理对 K 的整环上群的基扩张所导出的半单群主齐次空间成立。
• 当所有局部不变量为零时，F 上分裂的单连通群的 Rost 不变量核为平凡，且无需假设不包含 E_8 因子。
• 本文提供了 Rost 不变量核平凡性的无需分类的证明，推广了以往需逐案分析的结果。