[論文レビュー] Universal torsors and values of quadratic polynomials represented by norms

Ulrich Derenthal, Arne Smeets+1 more|arXiv (Cornell University)|Feb 16, 2012

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

ひとこと要約

この論文は、数体の四次拡大におけるノーマル形式として表現される二次多項式によって定義されるアフィン多様体に対するハッセの原理と弱近似の成立を調査する。ユニバーサル torsor とブローバー＝マニン障害の手法を用いて、拡大内で分解する既約な二次多項式に対してハッセの原理と弱近似が成り立つことを証明し、ℚ 上ではブローバー＝マニン障害が唯一の障害であることを示し、ブローラー群が非自明な場合の弱近似の反例を具体的に構成する。

ABSTRACT

Let $K/k$ be an extension of number fields, and let $P(t)$ be a quadratic polynomial over $k$. Let $X$ be the affine variety defined by $P(t) = N_{K/k}(\mathbf{z})$. We study the Hasse principle and weak approximation for $X$ in three cases. For $[K:k]=4$ and $P(t)$ irreducible over $k$ and split in $K$, we prove the Hasse principle and weak approximation. For $k=\mathbb{Q}$ with arbitrary $K$, we show that the Brauer-Manin obstruction to the Hasse principle and weak approximation is the only one. For $[K:k]=4$ and $P(t)$ irreducible over $k$, we determine the Brauer group of smooth proper models of $X$. In a case where it is non-trivial, we exhibit a counterexample to weak approximation.

研究の動機と目的

• P(t) が二次多項式で K/k が四次拡大であるとき、variety X が P(t) = N_{K/k}(z) で定義される条件下で、ハッセの原理と弱近似が成り立つ条件を同定すること。
• k = ℚ で K が任意の数体である場合、ハッセの原理と弱近似に対するブローバー＝マニン障害を分析すること。
• K/k が四次で P(t) が k 上で既約である場合、このような多様体の滑らかで固有なモデルのブローラー群を計算すること。
• 非自明なブローラー群の元から生じる弱近似の反例を明示的に構成すること。

提案手法

• X の開部分集合における有理点をパrametrizeするためにユニバーサル torsor を用い、降下法を可能にする。
• X を円錐上へのファイブレーションとして見たとき、底面とファイバーにハッセ＝ミンコフスキーの定理を適用し、分解する既約な二次多項式に対してハッセの原理と弱近似を証明する。
• Colliot-Thélène と Sansuc の降下法を用い、X 上の有理点を torsor 上の整数点に関連づけ、Browning と Heath-Brown の解析的数論の結果を活用する。
• ガロアコホホロジーと残留写像を用いて、滑らかで固有なモデルのブローラー群を計算し、特に Br(X^c)/Br₀(X^c) の構造を分析する。
• カップ積と局所体におけるノーマル残留写像を用いて、アデール点の明示的構成とブローラー＝マニン障害の局所不変量を計算する。
• ヘンゼルの補題と局所クラス体論を用いて、特に ℚ(√[4]{17}) の拡大において、ℚ₁₇ での不変量の非自明性を検証する。

実験結果

リサーチクエスチョン

• RQ1 P(t) が既約な二次多項式で [K:k] = 4 であるとき、方程式 P(t) = N_{K/k}(z) に対してハッセの原理が成り立つ条件は何か？
• RQ2 k = ℚ で K が任意の数体である場合、ハッセの原理と弱近似に対するブローラー＝マニン障害が唯一の障害であるか？
• RQ3 K/k が四次で P(t) が k 上で既約である場合、X の滑らかで固有なモデルのブローラー群の構造は何か？
• RQ4 非自明なブローラー群の元が、このような多様体における弱近似の失敗を引き起こす可能性はあるか？
• RQ5 非自明なブローラー＝マニン障害を示すために、局所不変量を明示的に計算する方法は何か？

主な発見

• 任意の数体 k と [K:k] = 4 に対して、P(t) が k 上で既約で K 内で分解する場合、X: P(t) = N_{K/k}(z) に対してハッセの原理と弱近似が成り立つ。
• ℚ 上では、任意の K と二次多項式 P(t) に対して、ハッセの原理と弱近似に対するブローラー＝マニン障害が唯一の障害である。
• K/k が四次で P(t) が k = ℚ 上で既約である場合、滑らかで固有なモデルのブローラー群は特定の状況で非自明であり、これにより弱近似が失敗する。
• K = ℚ(√[4]{17}) と P(t) = t² + 1 を用いて、非自明なブローラー類がガロアコホホロジー類から生じる弱近似の反例を明示的に構成した。
• アデール点 (7, z₁₇) における局所不変量は v = 17 で非ゼロであり、一方 (0,1) では消えるため、ブローラー＝マニン障害が非自明であることが証明された。
• 17 を法とする 9 が四乗剰剰剰余でないという事実を用い、ℚ₁₇(√[4]{17})/ℚ₁₇ において (7−α)² がノーマルでないことを検証することで、障害の非自明性が示された。