[論文レビュー] Comparing descent obstruction and Brauer-Manin obstruction for open varieties

Yang Cao, Cyril Demarche+1 more|arXiv (Cornell University)|Apr 10, 2016

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

ひとこと要約

本稿は、数体上の開な多様体に対して、降下障害とブラウアー＝マニン障害の間の明確な関係を確立し、既知の滑らかで射影的多様体に対する等価性を滑らかで準射影的多様体へ拡張する。torsor が連結な線形代数的群またはトーラスの下で定義される場合、Br₁(X) や Br(X) に関するブラウジャー＝マニン集合が、ねじれた torsor のアデール的点の和集合に一致することを証明し、強近似を介した有理点および整数点の研究に向けた洗練された道具を提供する。

ABSTRACT

We provide a relation between Brauer-Manin obstruction and descent obstruction for torsors over open varieties under a connected linear algebraic group or a group of multiplicative type is given. Such a relation is further refined for torsors under a torus. As an appliaction, we prove that the semi-simple part of a connected linear algebraic group will satisfy strong approximation with Brauer-Manin obstruction if G iteself satisfies strong approximation with Brauer-Manin obstruction.The equivalence between descent obstruction and etale Brauer-Manin obstruction for smooth projective varieties is extended to smooth quasi-projective varieties, which provides the perspective to study integral points.

研究の動機と目的

• 滑らかで射影的な多様体から滑らかで準射影的な多様体へ、降下障害とエタールブラウジャー＝マニン障害の既知の等価性を拡張すること。
• 連結な線形代数的群または乗法的型の群の下での開多様体上の torsor に対して、降下障害とブラウジャー＝マニン障害の明確な関係を確立すること。
• 特にトーラスの下での torsor に対してこの関係を洗練させ、強近似および整数点への応用を可能にすること。
• アデール的条件と torsor のねじれを用いた、開多様体上の整数点を研究するための枠組みを提供すること。

提案手法

• 数体上の開多様体における torsor 及びそのねじれを分析するため、[BD]、[CT08]、[CTX]、[D]、[Ha08]、[HS05] の算術的道具を用いる。
• 定理1.1で鍵となる等式を確立するために、$f_{\tau}^*$ の引き戻し写像を用いて、ねじれた torsor $Y^\tau$ のブラウアー群と基底多様体 $X$ のブラウジャー群を関連付ける。
• サンスークの研究からの完全系列を用いて、$G$ がトーラスのときの関係を洗練させ、定理1.2を導出する。
• gerbe理論的構成とコホホロジー的障害（$H^2(k, T^\tau)$ を通じて）を用いて、命題7.4の証明における1-コサイクルの持ち上げ条件を証明する。
• exact sequence における $H^1(X', T^\sigma)$ と $\operatorname{Hom}_k(\widehat{T^\sigma}, KD'(X'))$ の間の写像 $\partial$ の全射性を適用し、$\partial(\lambda_\sigma') = 0$ を示し、コサイクルの持ち上げを可能にする。
• 一般化された [D09, 命題5] を用いて、開多様体へ拡張することで、$X(\mathbf{A}_k)^{\text{ét, Br}} \subseteq X(\mathbf{A}_k)^{\text{desc}}$ の包含関係を証明する。

実験結果

リサーチクエスチョン

• RQ1 降下障害とエタールブラウジャー＝マニン障害の等価性は、滑らかで射影的から滑らかで準射影的多様体へ拡張可能か？
• RQ2 非固有または開構造を持つ多様体に対して、ブラウジャー＝マニン障害はねじれた torsor を用いてどのように表現できるか？
• RQ3 torsor がトーラスの下にあるとき、ブラウジャー＝マニン集合 $X(\mathbf{A}_k)^{\text{Br}_1(X)}$ とねじれた torsor のアデール的点との明確な関係は何か？
• RQ4 ブラウジャー＝マニン障害による強近似の十分条件が、洗練された障害枠組みを用いて必要条件であることを示せるか？

主な発見

• 任意の数体 $k$ 上の連結な線形代数的群 $G$ の下での torsor $f: Y \to X$ に対して、$A \supseteq \ker(f^*)$ である $X(\mathbf{A}_k)^A$ は、すべてのねじれ $Y^\sigma$ に対する $f_\sigma^*$ によるアデール的点の和集合に一致する。これは定理1.1で述べられている。
• $G$ がトーラスのとき、$X(\mathbf{A}_k)^{\text{Br}_1(X)} = \bigcup_{\sigma \in H^1(k,G)} f_\sigma(Y^\sigma(\mathbf{A}_k)^{\text{Br}_1(Y^\sigma)})$ であり、これは $\text{Br}_1$-群を用いた障害の洗練を示している。
• 完全なブラウジャー群に対しては、$X(\mathbf{A}_k)^{\text{Br}} = \bigcup_{\sigma \in H^1(k,G)} f_\sigma(Y^\sigma(\mathbf{A}_k)^{\text{Br}_1(Y^\sigma) + f_\sigma^}(\text{Br}(X))})$ であり、完全な障害がねじれた torsor によって捉えられていることを示している。
• $X(\mathbf{A}_k)^{\text{ét, Br}} \subseteq X(\mathbf{A}_k)^{\text{desc}}$ の包含関係は、すべての数体上の滑らかで幾何学的に整な多様体に対して成り立ち、[D09] の結果を開多様体へ拡張したものである。
• [D] で確立されたブラウジャー＝マニン障害による強近似の十分条件が、定理1.4で洗練された障害枠組みを用いて必要条件であることが示されている。
• 証明は $H^2(k, T^\sigma)$ におけるコホホロジー的障害に依拠し、1-コサイクル $\sigma \in H^1(k,F)$ が $H^1(k,G)$ に持ち上がることの条件は $\partial(\lambda_\sigma') = 0$ であることが示され、これは関連する exact sequence における $\partial$ の全射性により成立する。