[論文レビュー] Zeros of Pairs of Quadratic Forms

D. R. Heath‐Brown|arXiv (Cornell University)|Apr 14, 2013

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

ひとこと要約

この論文は、任意の数体上での8変数の2次形式の非特異な交線に対して、ハッセの原理と弱近似を確立する。局所的-global的手法と、形式の線型族における放物面に関する新規な局所的結果を用いて、先行研究が未解決のまま残した主要な障害を解消し、n ≥ 6 におけるこのような多様体の分類を完成させる。

ABSTRACT

We prove the Hasse principle and weak approximation for varieties defined over number fields by the nonsingular intersection of pairs of quadratic forms in 8 variables. The argument develops work of Colliot-Thelene, Sansuc and Swinnerton-Dyer, and centres on a purely local problem about forms which split off 3 hyperbolic planes.

研究の動機と目的

• 数体上での8変数の2次形式の2つの非特異な交線に対して、ハッセの原理と弱近似を確立すること。
• Colliot-Thélène, Sansuc, および Swinnerton-Dyer の方法における8変数の場合の重要な局所的障害を解消すること。
• 局所的-global原理を n ≥ 9 から n = 8 に拡張し、この場合の予想を確認すること。
• すべての完備化において非自明な共通零点が存在するならば、非特異性のもとでそれがグローバル解をもたらすことを示すこと。
• Colliot-Thélène らの結果を用いて、このような多様体において弱近似が自動的に成り立つことを示すこと。

提案手法

• 非アーチメデス的完備化において、残渣体の位数が ≥ 32 であるとき、非特異な共通零点が存在すれば、その線型族内のある形式が少なくとも3つの放物面を含む、重要な局所定理（定理2）を証明すること。
• 局所的結果を用いて、適切な拡大体への基底変換により、グローバル問題を関数体の設定に還元すること。
• すべての素イデアルのノルムが ≥ 32 であるような k の q 次拡大体 k' を構成すること。
• 関数体上の形式に関するスプリンガーの定理を適用し、k'(T) 上の点から k(T) 上の有理点の存在を導出すること。
• Amer–Brumer の定理を適用して、k(T) 上の有理点を k 上の同時零点へと持ち上げること。
• Colliot-Thélène, Sansuc, および Swinnerton-Dyer の定理 3.11 を活用し、弱近似が成り立つことを結論づけること。

実験結果

リサーチクエスチョン

• RQ1 数体上での8変数2次形式の2つの非特異な交線に対して、ハッセの原理は成り立つか？
• RQ2 n ≥ 9 の結果を n = 8 に拡張するのを妨げる局所的障害は、解消可能か？
• RQ3 このような交線が非特異であるとき、弱近似は成立するか？
• RQ4 2次形式の線型族内の形式が、何らかの条件下で複数の放物面を含むのはどのような場合か？
• RQ5 局所的可解性と精緻な局所的解析から、有理点のグローバル存在をどのように導けるか？

主な発見

• 任意の数体上での8変数2次形式の2つの非特異な交線に対して、ハッセの原理が成り立つ。
• Colliot-Thélène, Sansuc, および Swinnerton-Dyer の結果から、このような多様体において弱近似が成り立つ。
• 重要な局所的結果（定理2）は、非アーチメデス的完備化において残渣体の位数が ≥ 32 で非特異な共通零点が存在するならば、その線型族内のある形式が少なくとも3つの放物面を含むことを確立する。
• グローバル結果は、局所条件を満たす適切な拡大体への基底変換により得られ、その後スプリンガーの定理とAmer–Brumerの定理を適用することで導かれる。
• 特異な交線ではこの手法は失敗するため、非特異性の仮定が不可欠であることが示唆される。
• 証明は、変数の数が8に減少しても、すべての完備化において有理点が存在するならば、グローバルな点が存在することを示している。