[論文レビュー] Obstructions to integral points on affine Châtelet surfaces

Jennifer Berg|arXiv (Cornell University)|Oct 22, 2017

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

ひとこと要約

本稿は、数体上での $x^2 - ay^2 = P(t)$ で定義されるアフィン・シャトー表面に対する整数点へのブラウアー＝マニン障害を調査する。コンパクト化とは異なり、これらの表面はクォaternion代数によって生成されないブラウアー群を有することがあり、$\mathbb{Q}$ 上で局所的に点をもち、有理点も存在するが整数点が存在しない明示的な例を提示する。このような場合、$\mathbb{Z}[1/2]$ 上でもブラウアー＝マニン障害では説明できない。主な貢献は、非巡回ブラウアー類の構成と、ガロアコhomologyにおけるコサイクルの上昇を用いた、局所不変量を効果的に計算するアルゴリズムの開発である。

ABSTRACT

We consider the Brauer-Manin obstruction to the existence of integral points on affine surfaces defined by $x^2 - ay^2 = P(t)$ over a number field. We enumerate the possibilities for the Brauer groups of certain families of such surfaces, and show that in contrast to their smooth compactifications, the Brauer groups of these affine varieties need not be generated by cyclic (e.g. quaternion) algebras. Concrete examples are given of such surfaces over $\mathbb{Q}$ which have solutions in $\mathbb{Z}_{p}$ for all $p$ and solutions in $\mathbb{Q}$, but for which the failure of the integral Hasse principle cannot be explained by a Brauer-Manin obstruction. The methods of this paper build on the ideas of several recent papers in the literature: we study the Brauer groups (modulo constant algebras) of affine Châtelet surfaces with a focus on explicitly representing, by central simple algebras over the function field of $X$, a finite set of classes of the Brauer group which generate the quotient. Notably, we develop techniques for constructing explicit representatives of non-cyclic Brauer classes on affine surfaces, as well as provide an effective algorithm for the computation of local invariants of these Brauer classes via effective lifting of cocycles in Galois cohomology.

研究の動機と目的

• アフィン・シャトー表面（整数点と有理点が異なる非コンパクトな代数的多様体）における整数点へのブラウジャー＝マニン障害を調査すること。
• このような表面において、有理点とすべての $p$-進点が存在する状況で、整数ハッセの原理の失敗がブラウジャー＝マニン障害によって説明可能かどうかを特定すること。
• 特に、巡回代数（例えばクォaternion代数）によって生成されるかどうかを含め、アフィン・シャトー表面のブラウアー群 $\operatorname{Br}X/\operatorname{Br}_0X$ の構造を分析すること。
• ガロアコhomologyとコサイクルの上昇を用いて、非巡回クラスを含むブラウジャー類の局所不変量を効果的に計算する技術を開発すること。
• 実点のコンパクト性が整数点の存在の唯一の障害でないことを、$\mathbb{Z}[1/2]$ 上でブラウジャー＝マニン障害がないが整数点が存在しない例を構成することで示すこと。

提案手法

• 本稿は、$P(t)$ が分離的で $a$ が平方でないときのアフィン・シャトー表面 $x^2 - ay^2 = cP(t)$ のブラウアー群に注目し、特に $\operatorname{Br}X/\operatorname{Br}_0X$ を研究する。
• 特に非分岐拡大とノルム形式の文脈において、ガロアコホモロジーにおける2-コサイクルを用いて、非巡回ブラウジャー類の明示的代表元を構成する。
• 非分岐 $\mathbb{Q}_p$ への拡大上でのガロアコホモロジーにおけるコサイクルの上昇を用いて、ブラウジャー類の局所不変量を計算する効果的なアルゴリズムを開発する。
• 関数体へのガロア群作用の分析と、特に位数8のクラスに対して、$\operatorname{Br}X/\operatorname{Br}_0X$ 内のクラスの自明性をテストするノルム関係を用いる。
• $p=2$ での局所的可解性を確認するため、基点を変更し、$\frac{1}{4}\mathbb{Z}/\mathbb{Z}$ への不変量写像の全射性を検証するための特殊なアルゴリズムを適用する。これにより、ブラウジャー＝マニン集合が空でないことが確認される。
• 代数の分裂条件を用い、分裂の存在を、特に $K/K^{\langle gh\rangle}$ における $-1$ がノルムとして現れるかどうかに還元する。

実験結果

リサーチクエスチョン

• RQ1 有理点とすべての $p$-進点が存在する場合、アフィン・シャトー表面における整数ハッセの原理の失敗がブラウジャー＝マニン障害によって説明可能か？
• RQ2 アフィン・シャトー表面のブラウジャー群は常に巡回（例えばクォaternion）代数によって生成されるのか、それとも非巡回クラスを含むことがあるか？
• RQ3 ガロアコホモロジーを用いて、特に非巡回クラスのブラウジャー類の局所不変量を効果的に計算できるか？
• RQ4 $\mathbb{Z}[1/2]$ 上で実点のコンパクト性の障害を除去しても、$S$-整数ハッセの原理の失敗は継続するか？
• RQ5 実領域が非コンパクトである場合、整数点の不在がブラウジャー＝マニン障害によって十分に説明可能か？

主な発見

• 特定のアフィン・シャトー表面のブラウジャー群は巡回代数によって生成されない。本稿では位数8の非巡回ブラウジャー類の明示的例を構成する。
• 方程式 $x^2 + y^2 + t^4 = 22$ で定義される表面 $X_{22}$ に対して、有理点とすべての $p$-進点が存在するが、$\mathbb{Z}$ 上には整数点が存在せず、ブラウジャー＝マニン障害でもこの失敗を説明できない。
• $\mathbb{Q}$ において平方でも四乗でもない $m$ に対して $X_m$ を用いた例から、$\mathbb{Z}[1/2]$ 上でもブラウジャー＝マニン障害では $S$-整数ハッセの原理の失敗を説明できないことが示された。
• 非分岐 $\mathbb{Q}_p$ への拡大上で、ガロアコホモロジーにおけるコサイクルの上昇を用いて、ブラウジャー類の局所不変量を計算する効果的なアルゴリズムを提供する。
• 表面 $X_{22}$ に対して、$p=2$ における局所不変量写像は $\frac{1}{4}\mathbb{Z}/\mathbb{Z}$ に全射であり、整数点が存在しないにもかかわらずブラウジャー＝マニン集合が空でないことが確認された。
• ブラウジャー類 $\mathcal{A}$ の分裂の存在は、$\mathbb{Q}(\sqrt[4]{22}(1+i))$ の拡大において $-1$ がノルムとして現れることと同値であり、すべての場所（$v=2$ を含む）で局所不変量が自明であるため、成立する。