Cubic surfaces failing the integral Hasse principle

技術要約：整数型ハッセ原理に失敗する3次曲面

問題提起
本論文は、以下の式で定義される有理数体 $\mathbb{Q}$ 上の定義されたアフィン対角3次曲面の算術を調査する：
$$U : a_1 u_1^3 + a_2 u_2^3 + a_3 u_3^3 = a_0$$
ここで $a_i \in \mathbb{Z} \setminus \{0\}$ かつ $\gcd(a_1, a_2, a_3) = 1$ である。中心となる問題は、これらの曲面における**整数型ハッセ原理（integral Hasse principle）**の妥当性である。局所的な可解性（実数体 $\mathbb{R}$ およびすべての素数 $p$ における $p$ 進整数環 $\mathbb{Z}_p$ での点の存在）は、大域的な整数点の存在（$U(\mathbb{Z}) \neq \emptyset$）のための必要条件であるが、必ずしも十分ではない。著者らは、特に「3つの立方体の和」問題（$a_1=a_2=a_3=1$）という有名な特殊ケースを含む、対角アフィン3次曲面の整数点に関する局所・大域原理の空白について論じている。本研究以前には、これらの対角アフィン3次曲面における整数型ハッセ原理の反例は知られていなかったが、それは主にこれらの曲面のブラウアー群がこれほど一般的に理解されていなかったためである。

手法
著者らは、局所・大域原理の失敗を研究するために、Colliot-ThélèneとXuによって開発された**整数型ブラウアー–マネン障害（integral Brauer–Manin obstruction）**という手法を用いる。手法は以下の3段階で進行する：

1. ブラウアー群の計算： 著者らはまず、一般的な対角アフィン3次曲面に対するブラウアー群 $\text{Br}(U)$ の代数的および超越的部分を決定する。彼らは $\text{Br}(U)$ をその滑らかなコンパクト化 $X$ のブラウアー群に関連付ける。主要な技術的成果は、定数を除いた $\text{Br}(U)$ の完全な計算であり、代数的成分に加えて、$\mathbb{Z}/2\mathbb{Z}$ の因子（超越的部分）を含む条件を特定することである。
2. 局所不変量解析： 質問記号（Hilbert symbols）とブラウアー群の明示的な生成元（巡回代数から導出）を用いて、局所不変量写像 $\text{inv}_v: U(\mathbb{Z}_v) \to \mathbb{Q}/\mathbb{Z}$ を計算する。著者らは、これらの写像が全射であることを意味する十分条件（命題4.2および4.3）を確立し、特定の算術的構成においてブラウアー–マネン障害が存在しないことを示す。
3. 計数と構成： 著者らは、解析的数論（具体的にはLandau-Selberg-Delange法および約数和の評価）を利用して、ハッセ原理に失敗する曲面の頻度を数える。彼らは2つの異なる無限個の反例の族を構成する：
   • セクション6： 明示的なブラウアー元を用いて障害を実証する族。
   • セクション8： ブラウアー元の明示的な代表元を必要とせず、不変量の性質とコンパクト化上の有理点の存在に依拠して、障害が証明される族。

主要な貢献と結果

• 最初の反例： 本論文は、整数型ハッセ原理が失敗する対角アフィン3次曲面の最初の既知の例を提供している。具体的には、$U(\mathbb{A}_{\mathbb{Z}}) \neq \emptyset$（至る所で局所的に可解）であるが $U(\mathbb{Z}) = \emptyset$ となる曲面を構成しており、この失敗は整数型ブラウアー–マネン障害（$U(\mathbb{A}_{\mathbb{Z}})_{\text{Br}} = \emptyset$）によって説明される。
• 定理 1.1（ブラウアー群の構造）： 著者らは、$\text{Br}(U)$ の代数的成分が $\text{Br}(X)$ に同型であることを証明する。さらに、$a_1 a_2 a_3 \equiv 2 \pmod{\mathbb{Q}^{*3}}$ である場合に限り、$\text{Br}(U)$ が追加の $\mathbb{Z}/2\mathbb{Z}$ 因子を含むことを示す。これは、特定の部分族に対してのみ知られていた従来の知見を一般化するものである。
• 定量的評価（定理 1.2–1.4）： 論文は、3つの自然な計数家族におけるこれらの失敗の稀少性を定量化する：
  • 係数 ($a_1, a_2, a_3$) を固定し、$a_0$ を変化させる場合： 失敗は極めて稀であり、$O(B^{1/3})$ で抑えられる。$(1,1,1)$ や $(1,1,2)$ のような特定の場合、その数はゼロである。
  • $a_0$ を固定し、係数を変化させる場合： 失敗は $O(B^{3/2})$ で抑えられる。
  • すべての係数を変化させる場合： 整数型ハッセ原理に失敗する曲面の数 $N(B)$ は、$B^2 / \log B \ll N(B) \ll B^2 (\log B)^6$ を満たす。
• 整数強近似： 著者らはまた、$\infty$ から外れた整数強近似（integral strong approximation off $\infty$）を満たす曲面も数える。ハッセの失敗は固定係数の家族においては稀であるが、強近似を満たす曲面の集合も制約されていることを示し、その上限を提示している。
• 有理点との区別： 構成された反例は非自明である。それらの曲面は有理点（$U(\mathbb{Q}) \neq \emptyset$）を有しており、したがって、整数型ハッセ原理の失敗は有理点のハッセ原理の失敗に起因するものではない。

意義
本論文の意義は、主に3次曲面の算術における長年の障壁を打破したことにある。本研究以前は、対角アフィン3次曲面のブラウアー群に関する一般的な理解が欠けていたため、この設定における整数型ハッセの失敗を構成することができなかった。これらのブラウアー群を計算し、明示的な無限個の反例の族を提供することで、著者らは、対角アフィン3次曲面に対して整数型ハッセ原理が普遍的に成立しないことを示している。

さらに、本研究は家族における算術的性質の定量的研究にも貢献している。整数型ハッセの失敗は存在するものの、係数が固定されている家族では稀であり、すべての係数を変化させると（依然として低密度な部分集合ではあるものの）より一般的になることを確立している。また、本論文は、$\infty$ から外れた強近似の失敗（ハッセ原理自体の失敗とは異なる現象）を説明する上での、整数型ブラウアー–マネン障害の有用性を強調している。

著者らは、セクション8におけるアプローチが、明示的なブラウアー代表元を必要としないことから、代表元の計算が困難なケースにおいて障害を特定するための堅牢な手法を提供しており、他の対数K3曲面やアフィン・デル・ペッツォ曲面にも適用可能である可能性を示唆している。