[論文レビュー] Brauer-Manin obstruction for Markoff surfaces

Jean-Louis Colliot-Thélène, Dasheng Wei+1 more|arXiv (Cornell University)|Aug 5, 2018

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

ひとこと要約

本稿は、$x^2 + y^2 + z^2 - xyz = m$ で定義されるマーコフ面における整数ハッセの原理および強近似へのブラウアー＝マニン障害を調査する。ブラウアー群およびブラウアー＝マニン集合の明示的計算を用いて、$m \neq 0,4$ の場合、強近似が成立せず、ブラウアー群が強近似を制御しないことが示され、これは再帰性を超えるより深い算術的障害を示している。

ABSTRACT

Ghosh and Sarnak have studied integral points on surfaces defined by an equation x^2+y^2+z^2-xyz= m over the integers. For these affine surfaces, we systematically study the Brauer group and the Brauer-Manin obstruction to the integral Hasse principle. We prove that strong approximation for integral points on any such surface, away from any finite set of places, fails, and that, for m eq 0, 4, the Brauer group does not control strong approximation.

研究の動機と目的

• マーコフ面における整数ハッセの原理および強近似の失敗が、ブラウチャー＝マニン障害によって説明されるかどうかを特定すること。
• マーコフ面 $U_m$ が $x^2 + y^2 + z^2 - xyz = m$ で定義されるとき、ブラウチャー群 $\mathrm{Br}(U_m)/\mathrm{Br}(\mathbb{Q})$ を計算すること。
• ブラウチャー＝マニン集合 $\mathcal{U}_m(A_\mathbb{Z})_\bullet^{\mathrm{Br}}$ の構造と整数点との関係を分析すること。
• 整数点 $\mathcal{U}_m(\mathbb{Z})$ の閉包がブラウチャー＝マニン集合に等しいかどうか、特に強近似の文脈で調査すること。

提案手法

• マーコフ面の方程式を、$(2z - xy)^2 - 4d = (x^2 - 4)(y^2 - 4)$ の形に変形し、$d = m - 4$ とおくことで、実および $p$-進幾何を分析する。
• $U_m(\mathbb{R})$ の連結成分の数 $\#\pi_0(U_m(\mathbb{R}))$ が、$m \geq 4$ のとき 1、$0 \leq m < 4$ のとき 5、$m < 0$ のとき 4 であることを示すため、位相的議論を適用する。
• ブラウチャー＝マニンペアリング $\mathcal{U}_m(A_\mathbb{Z})_\bullet \times \mathrm{Br}(U_m) \to \mathbb{Q}/\mathbb{Z}$ を用いて、ブラウチャー＝マニン集合 $\mathcal{U}_m(A_\mathbb{Z})_\bullet^{\mathrm{Br}}$ を定義する。
• ヴィエータの対合、符号の変更、置換から生成される自己同型群 $\Gamma$ の作用を用いて、軌道構造および成分の推移的性質を分析する。
• 連結性に関する補題 7.1 を適用し、$U_m(\mathbb{R})$ が $m \geq 4$ のとき連結であることを証明する。
• 実および $p$-進ファイバーの幾何を分析し、局所解が存在する条件およびそれがブラウチャー群と直交するかどうかを特定する。

実験結果

リサーチクエスチョン

• RQ1 どの $m \neq 0,4$ に対して、マーコフ面 $U_m$ 上でブラウチャー＝マニン障害が強近似を制御するか？
• RQ2 $\mathrm{Br}(U_m)/\mathrm{Br}(\mathbb{Q})$ は有限か？ すべての $m$ に対して明示的に計算可能か？
• RQ3 $\mathcal{U}_m(A_\mathbb{Z})_\bullet^{\mathrm{Br}}$ は、アデール位相における $\mathcal{U}_m(\mathbb{Z})$ の閉包に等しいか？
• RQ4 $m$ に対して、二次の再帰性では説明できないハッセの原理の反例が存在するか？ それらはブラウチャー＝マニン障害によってカバーされるか？
• RQ5 $U_m(\mathbb{R})$ の連結成分の数は $m$ に依存してどのように変化するか？ そして、アデール位相および強近似に与える影響は何か？

主な発見

• $m \neq 0,4$ のとき、マーコフ面 $U_m$ 上でブラウチャー群 $\mathrm{Br}(U_m)/\mathrm{Br}(\mathbb{Q})$ は強近似を制御しない。
• $m \neq 0,4$ のとき、任意の有限個の場所を除き、強近似が $\mathcal{U}_m(\mathbb{Z})$ が $\mathcal{U}_m(A_\mathbb{Z})_\bullet$ に稠密でないため失敗する。
• 実領域 $U_m(\mathbb{R})$ は、$m \geq 4$ のとき 1 つの連結成分、$0 \leq m < 4$ のとき 5 つ、$m < 0$ のとき 4 つである。後者の 4 つの成分は非有界であり、自己同型群 $\Gamma$ によって推移的に置き換えられる。
• $m < 0$ のとき、4 つの非有界成分は、それぞれ $\{(x,y,z) \in U_m(\mathbb{R}) : x \geq 2, y \geq 2\}$、$\{x \leq -2, y \geq 2\}$、$\{x \leq -2, y \leq -2\}$、$\{x \geq 2, y \leq -2\}$ である。
• $0 \leq m < 4$ のとき、5 つの成分には 4 つの非有界成分と 1 つの有界成分 $\{ -2 \leq x,y \leq 2 \}$ が含まれる。$m = 0$ のとき、これは $\{(0,0,0)\}$ に縮退する。
• 著者らは、ゴーシュとサルナックが発見したハッセの原理の反例がすべて再帰性では説明できないこと、ブラウチャー＝マニン障害が一部の事例においてより深い説明を提供することを確認したが、すべての事例をカバーするわけではない。