[論文レビュー] Proof of a conjecture of Colliot-Thélène

Jan Denef|Lirias (KU Leuven)|Aug 31, 2011

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

ひとこと要約

この論文は、p進有理点の全射性に関するColliot-Thélèneの予想を、独創的なディオファントス的除去定理を用いて証明する。主な結果は、被覆のファイバーにおける幾何的整域性および多重度1条件が、除数的付値に対して成り立つ場合、ほとんどすべての素数 p に対して X(ℚₚ) → Y(ℚₚ) の写像が全射であることを示している。これにより、モデル理論的手法を用いない、新しい代数幾何的証明が得られ、p進形式に関するAx-Kochen定理が再証明される。

ABSTRACT

We prove a conjecture of Colliot-Thélène that implies the Ax-Kochen Theorem on p-adic forms. We obtain it as an easy consequence of a diophantine excision theorem whose proof forms the body of the present paper.

研究の動機と目的

• ℚ 上の代数的多様体の支配的準同型 f:X→Y に対して、p進有理点の写像 X(ℚₚ) → Y(ℚₚ) がほとんどすべての素数 p に対して全射である条件を証明すること。
• 数学的論理の手法を用いずに、p進形式に関するAx-Kochen定理を純粋に代数幾何学的手法で再証明すること。
• 準同型のすべての修正および終域多様体上のすべての素イデアルに対して条件を課えることで、予想のより強い形を確立すること。
• 中心的な技術的道具としてのディオファントス的除去定理を導入し、その証明を行うこと。
• 予想の仮定が、主定理におけるより強い条件を含意することを示し、従来の結果を一般化すること。

提案手法

• 証明は、あるディオファントス的除去定理（定理5.1）に依拠しており、特定の部分多様体を除去することで ℤ_p 上の有理点を構成しつつ、有理点性の条件を保つことを可能にする。
• この手法は、Tameの定理（定理4.1）を用い、特定の準同型が基底変換および特異点の解消に関して良好に振る舞うことを保証する。
• ヘンゼルの補題およびグリーンバーグの定理を適用し、特に擬代数的閉体上で、剰余体から形式的べき級数環への点の持ち上げを実行する。
• 特異点を制御するために、ℤ 上の滑らかモデルへの帰着を図り、修正および正規化パラメータを用いる。
• 代替的証明として、Ax-Kochen-Eršovの転送原理を適用するが、この方法はより強い主定理に拡張できない。
• 中心的な技術的アプローチは、準同型を ℤ_p に沿って基底変換したときの挙動を分析し、付値環上の正則平坦モデルの存在を用いて、ファイバーの幾何を保つことである。

実験結果

リサーチクエスチョン

• RQ1 ℚ 上の代数的多様体の支配的準同型 f:X→Y に対して、ほとんどすべての素数 p に対して誘導写像 X(ℚₚ) → Y(ℚₚ) が全射であるための幾何的条件は何か？
• RQ2 モデル理論的手法を用いずに、p進形式に関するAx-Kochen定理を代数幾何学的手法のみで証明できるか？
• RQ3 f のすべての修正が、多重度1の幾何的整域成分をもつファイバーを持つという条件は、ℚₚ 有理点上の f の全射性を意味するか？
• RQ4 除数的付値は、多様体族における p進体上での有理点の存在を制御するために果たす役割は何か？
• RQ5 ディオファントス的除去定理は、F[[t]] 上の局所データから ℤ_p 上の有理点を構成するためにどのように用いられるか？

主な発見

• 主定理は、f のすべての修正が、多重度1の幾何的整域成分をもつファイバーを持つならば、すべての十分大きな素数 p に対して X(ℚₚ) → Y(ℚₚ) が全射であることを示している。
• Colliot-Thélèneの予想は、この定理の推論として証明され、正則平坦モデルが存在し、特殊ファイバーが幾何的整域かつ多重度1であるならば、p進全射性が成立することを示している。
• ディオファントス的除去定理は、中心的な技術的道具として証明され、部分多様体を除去しながら有理点の存在を保つことにより、ℤ_p 上の有理点の構成を可能にする。
• 証明は、モデル理論的手法（例：Ax-Kochen-Eršovの転送原理）を一切用いずに、p進形式に関するAx-Kochen定理の新しい純粋代数幾何的証明を提供する。
• 結果は、ある N ∈ ℕ に対してすべての素数 p > N に対して一様に成り立ち、この N は元のAx-Kochen定理と同様に、超曲面の次数 d のみに依存する。
• この手法は、n ≥ d² である射影 n 次元空間内の次数 d の超曲面族に拡張可能であり、このような族はすべて十分大きな p に対して ℚₚ-有理点をもつことが確認される。