[論文レビュー] Strong approximation for the variety containing a torus

Dasheng Wei|arXiv (Cornell University)|Mar 5, 2014

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

この論文は、数体上の滑らかで幾何的整な多様体で、トーラスを含み、単数群条件 $\bar{k}[X]^\times = \bar{k}^\times$ を満たすものについて、1か所を除くエタール・ブラウアー＝マニン障害による強い近似性を確立する。さらに、基底拡大のピカール群が torsion-free である場合、代数的ブラウアー＝マニン障害が十分であることを示す。一方、そうでない場合には反例が存在するが、トーリック多様体についてはピカール群の torsion 性質に関係なく強い近似性が成り立つ。

ABSTRACT

Let X be a smooth and geometrically integral variety over a number field k. Suppose X contains a torus and \kbar[X]^ imes=\kbar^ imes, let W\subset X be a closed subset of codimension at least 2. In this note, we proved that X \setminus W satisfies strong approximation with \'etale algebraic Brauer-Manin obstruction off one place. Furthermore, if \Pic(\Xbar) is torsion free, then X \setminus W satisfies strong approximation with algebraic Brauer-Manin obstruction off one place; if \Pic(\Xbar) is not torsion free, a counterexample was given that does not satisfy strong approximation with Brauer-Manin obstruction off one place. On the other hand, if $X$ is a toric variety (maybe \Pic(\Xbar) is not torsion free), we also proved that X \setminus W satisfies strong approximation with algebraic Brauer-Manin obstruction off one place.

研究の動機と目的

• 数体上にトーラスを含む多様体について、特定の単数条件およびコhomオロジー的条件の下で強い近似性を調査すること。
• ピカール群が torsion-free である場合、代数的ブラウアー＝マニン障害が強い近似性を保証するかを同定すること。
• ピカール群に torsion がある場合の強い近似性の失敗を検討し、その場合の反例を構成すること。
• ピカール群が torsion を持つ場合でも、トーリック多様体についてその結果を拡張すること。
• トーラス構造をもつ多様体における強い近似性におけるブラウアー＝マニン障害の役割を明確にすること。

提案手法

• 多様体 $X$ がトーラスを含み、条件 $ar{k}[X]^\times = \bar{k}^\times$ を満たす構造を用いて有理点を分析する。
• エタールコhomオロジー技術を適用し、特にエタール代数的ブラウアー＝マニン障害に注目してブラウアー＝マニン障害を研究する。
• ピカール群 $ ext{Pic}(ar{X})$ を鍵となる不変量として用い、torsion-free と非 torsion-free の場合に分ける。
• $ ext{Pic}(ar{X})$ が torsion-free でない場合に反例を構成し、エタールブラウアー＝マニン障害がなければ強い近似性が失敗することを示す。
• トーリック幾何の結果を応用して、ピカール群の torsion 性質に関係なくトーリック多様体について強い近似性を証明する。
• 有理点の理論とブラウアー＝マニン障害を組み合わせ、強い近似性の成立または不成立を分析する。

実験結果

リサーチクエスチョン

• RQ1 数体 $k$ 上の滑らかで幾何的整な多様体 $X$ がトーラスを含み、$ar{k}[X]^\times = \bar{k}^\times$ を満たすとき、1か所を除くエタール代数的ブラウアー＝マニン障害による強い近似性が成り立つか？
• RQ2 $\text{Pic}\big(\bar{X}\big)$ にどのような条件が課されると、代数的ブラウアー＝マニン障害のみで強い近似性が保証されるか？
• RQ3 $\text{Pic}\big(\bar{X}\big)$ が torsion-free でない場合に、ブラウアー＝マニン障害が1か所を除いても強い近似性を失敗させる反例を構成可能か？
• RQ4 ピカール群に torsion がある場合でも、トーリック多様体 $X$ について強い近似性が成り立つか？
• RQ5 単数群条件 $ar{k}[X]^\times = \bar{k}^\times$ と codimension-2 部分集合 $W$ は、ブラウアー＝マニン障害にどのように影響を与えるか？

主な発見

• 数体 $k$ 上の滑らかで幾何的整な多様体 $X$ がトーラスを含み、$ar{k}[X]^\times = \bar{k}^\times$ を満たすとき、多様体 $X \backslash W$ は1か所を除くエタール代数的ブラウアー＝マニン障害による強い近似性を満たす。
• もし $\text{Pic}(\bar{X})$ が torsion-free であれば、$X \backslash W$ は1か所を除く代数的ブラウアー＝マニン障害による強い近似性を満たす。
• もし $\text{Pic}(\bar{X})$ が torsion-free でなければ、反例が存在し、ブラウアー＝マニン障害が1か所を除いても強い近似性が失敗することが示される。
• トーリック多様体 $X$ については、$ ext{Pic}(\bar{X})$ の torsion 状態に関係なく、$X \backslash W$ は1か所を除く代数的ブラウアー＝マニン障害による強い近似性を満たす。
• トーラスの存在と単数群条件 $ar{k}[X]^\times = \bar{k}^\times$ は、ブラウアー＝マニン障害による強い近似性の有効性を保証するために不可欠である。
• ブラウアー＝マニン条件を満たす限り、codimension-2 部分集合 $W$ は強い近似性を妨げない。