[論文レビュー] Strong approximation for a family of norm varieties

Yang Cao, Dasheng Wei+1 more|arXiv (Cornell University)|Mar 29, 2018

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

ひとこと要約

本稿は、数体上でのノルム方程式 $ N_{L/k}(x) = \textstyle\bigotimes_{i=1}^n p_i(t) $ に対して、ファイブレーションの方法で生じるブラウアー群の無限トーショントラブラーを克服するためのトーラス作用を用いて、ブラウアー＝マニン障害を伴う強い近似を確立する。$ L $ がすべての $ i $ に対して $ k[t]/(p_i(t)) $ に埋め込まれるとき、結果は条件なしに成立する。$ L/k $ が巡回拡大の場合、シニツェルの予想の下で条件付きで成立する。

ABSTRACT

We study strong approximation of the equation N_{L/k}(x) = \prod_{i=1}^n p_i(t) where L/k is a finite extension of number fields and p_i(t)'s are distinct irreducible polynomials over k. We prove this equation satisfies strong approximation with Brauer-Manin obstruction when L can be imbedded in k[t]/(p_i(t)) over k for all 1\leq i\leq n. Under Schinzel's hypothesis, we prove that the same result is true without assuming that L can be imbedded in k[t]/(p_i(t)) for all 1\leq i\leq n when L/k is cyclic.

研究の動機と目的

• 数体上でのノルム方程式 $ N_{L/k}(x) = \textstyle\bigotimes_{i=1}^n p_i(t) $ に対する強い近似を確立すること。
• 特別なファイバーのブラウアー群が無限トーショントラブラーを示すという困難を克服するため、ファイブレーション手法における鍵となる障害を解消すること。
• シニツェルの予想の下での条件付き結果を、トーラス作用と降下技法を用いて条件なしの結果へと拡張すること。
• シャトー・サーフェスおよびノルム多様体に関する弱い近似と強い近似の先行結果を一般化すること。
• トーラスの幾何とブラウアー＝グロタンディーク障害を用いて、有限個の場所を除く強い近似の枠組みを提供すること。

提案手法

• 一般ファイバーのブラウアー群の有限部分群を構成するために、トーラス $ \text{Res}_{L/k}^1(\bbG_m) $ の作用を利用する。
• この作用を用いて、特別なファイバーへのブラウアー類の制限を通じてファイバー上の有理点をテストする。
• ファイブレーション $ f: W \to \bbP^1 $ を用いるファイブレーション法を採用する。ここで $ W $ はウェイル制限の積である $ \text{ker}(\rho) $ に関するトーラスである。
• ホッシャイルド–セールのスペクトル系列を用いて $ \text{Br}_1(W) = \text{Br}(k) $ および $ \text{Pic}(W_{\bar{k}}) = 0 $ を計算し、Picard群が自明であることを保証する。
• $ \bar{k}[W]^\times = \bar{k}^\times $ であるという事実を用いて単位元を制御し、ブラウアー群の計算を単純化する。
• ハープァツとウィッテンバーグ [31] の予想 9.1 および 9.2 を適用し、有限個の場所を除く強い近似を導出する。

実験結果

リサーチクエスチョン

• RQ1 ブラウアー＝マニン障害を伴うノルム多様体 $ N_{L/k}(x) = \textstyle\bigotimes_{i=1}^n p_i(t) $ に対して、強い近似が成立するか。
• RQ2 ファイブレーションに基づくアプローチにおいて、ファイバー上の無限ブラウアー群障害（D1）をどのように克服できるか。
• RQ3 $ L/k $ および多項式 $ p_i(t) $ にどのような条件下で、強い近似が条件なしに成立するか。
• RQ4 シニツェルの予想を幾何的条件に置き換えることで、条件仮定を除去できるか。
• RQ5 ユニバーサルトーラスへのトーラス作用が、ファイバー間の有理点を制御するために果たす役割は何か。

主な発見

• すべての $ i $ に対して $ L $ が $ k[t]/(p_i(t)) $ に埋め込まれるとき、方程式 $ N_{L/k}(x) = \textstyle\bigotimes_{i=1}^n p_i(t) $ はブラウアー＝マニン障害を伴う強い近似を満たす。
• シニツェルの予想の下では、埋め込み仮定がなくても、巡回拡大 $ L/k $ に対して強い近似が条件なしに成立する。
• 多様体 $ W $ のブラウアー群は $ \text{Br}_1(W) = \text{Br}(k) $ であり、$ \text{Pic}(W_{\bar{k}}) = 0 $ である。これにより、障害理論が単純化される。
• 単位元群 $ \bar{k}[W]^\times = \bar{k}^\times $ であるため、非自明な単位元がブラウアー＝グロタンディーク障害を複雑にしない。
• ファイブレーション $ f: W \to \bbP^1 $ は $ \text{ker}(\rho) $ に関するトーラスである。ファイバー上の有理点はトーラス作用によって制御される。
• 系 5.6 は、予想 9.1 [31] が成立するならば、強い近似が有限個の場所 $ S_0 $ を除いて成り立ち、$ S_0 $ は $ S $ とは独立に一様に有界であることを示している。