[論文レビュー] 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

ひとこと要約

本稿は、p進体上の曲線の関数体上の同次空間における有理点の局所的・大域的原理を、Harbater, Hartmann, Krashen が開発したパッチング技法を用いて確立する。特筆すべきは、奇数の標数における滑らかな二次形式（quadrics）および特定の基本拡張を伴う再帰的群（reductive groups）の主同次空間が、すべての完備化において点を持つならば、大域的にも有理点を持つこと、すなわち、この文脈におけるハッセの原理の重要なケースを解決している。

ABSTRACT

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

研究の動機と目的

• K が p進体で X が滑らかで射影的な曲線であるとき、F = K(X) 上の同次空間における有理点の局所的・大域的原理を確立すること。
• すべての離散付値 v に対して F_v-点が存在することは、F-有理点の存在を意味するかを検討すること。
• 現代的なパッチング法を用いて、二次形式の同相性およびガロアコホモロジー類の自明性に関する既知の結果を拡張すること。
• p進体上の1変数関数体上の分岐しない単純連結群に対して、ロスト不変量の核の自明性を分類に依存しない証明で示すこと。

提案手法

• Harbater, Hartmann, Krashen が開発したパッチング技法を、p進体上の曲線の関数体に適用する。
• 関数体 F がコhomological次元 3 を持つという事実を用い、ガロアコホモロジー群の制御を可能にする。
• ロスト不変量と Katô の定理を用いて、ガロアコホモロジーにおける制限写像の核を分析する。
• Bruhat-Tits 理論を用いて、離散付値環上の再帰的群およびその基本拡張を研究する。
• 問題を、特に H^3 および H^2 群におけるコホモロジーの剰余写像の核に還元する。
• G_m, M', M を含む完全系列を用いた降下法を用い、コホモロジー的障害と局所的点を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 F = K(X) 上の滑らかで射影的な二次形式 q が、すべての離散付値 v に対して F_v-点を持つならば、q は F 上でも同相であるか？
• RQ2 F = K(X) 上の再帰的群 G に対して、写像 H^1(F, G) → ∏_v H^1(F_v, G) は核が自明か？
• RQ3 すべての局所不変量が消えるとき、F 上の分岐しない単純連結群に対するロスト不変量の核は自明か？
• RQ4 K の整数環上の群の基本拡張である再帰的群 G に関する主同次空間に対して、ハッセの原理が成り立つか？
• RQ5 F 上の3変数以上の二次形式が、すべての完備化 F_v で同相であるならば、F 上でも同相であると結論づけられるか？

主な発見

• K の残渣標数が 2 でない限り、F = K(X) 上の非退化な二次形式 q が3変数以上であるとき、すべての離散付値 v に対して F_v で同相ならば、F 上でも同相である。
• K の整数環 A の上のファイブワイズ連結な再帰的 A-群 G に対して、写像 H^1(F, G) → ∏_v H^1(F_v, G) の核は自明である。
• K の整数環上の再帰的群の基本拡張である再帰的群 G に関する主同次空間に対して、ハッセの原理が成り立つ。
• すべての局所不変量が消えるとき、F 上の分岐しない単純連結群に対するロスト不変量の核は自明であり、E_8 要素の存在を仮定しないでも成り立つ。
• 本稿は、分類に依存しない証明により、ロスト不変量の核の自明性を示し、従来の個別ケースの解析を要する結果を拡張している。