Thue equations that simultaneously fail the Hasse principle

技術的要約：同時にヘッセの原理に失敗するトゥエ方程式

問題提起
本論文は、整数係数の次数 $n \geq 3$ の既約な二元形式 $F$ と正の整数 $h$ に関する、形 $F(x, y) = h$ のトゥエ方程式における整数のヘッセの原理（integral Hasse principle）を扱う。トゥエの定理は、$|F(x, y)| \leq m$ に対して整数解が有限個であることを保証しているが、整数のヘッセの原理とは、「もし方程式がすべての素数 $p$ において $p$ 進整数 $\mathbb{Z}_p$ で解を持つ（局所的解存在性）ならば、それは整数 $\mathbb{Z}$ においても解を持つ」という仮説である。

先行研究において、AkhtariとBhargavaは、正の割合のトゥエ方程式 $F(x, y) = m$ がこの原理に失敗することを示した。本論文で扱われる具体的な問題は、この構成を洗練させ、任意の固定された正の整数 $m$ に対して、すべての方程式 $F(x, y) = h$ （ただし $1 \leq h \leq m$）について、同時にヘッセの原理に失敗する二元形式 $F$ の正の割合が存在することを示すことである。

手法
著者は、係数の絶対値の最大値によって順序付けられた二元形式の高さに基づく、構成的な計数議論を用いている。戦略は、主に以下の3つの要素に基づいている：

1. 解の上限： 構成には、判別式 $|D(F)|$ が $M$ に対して十分に大きいとき、トゥエの不等式 $|F(x, y)| \leq M$ の原始的な整数解の上限を与えるGyöryの結果（定理2.1）を利用している。具体的には、$|D(F)| \geq (3nM)^{6(n-1)}$ である場合、原始的な解の数は高々 $32n + 11$ である。

2. 局所・大域的構成：

   • 局所的解存在性： 著者らは、あらゆる整数 $h \leq m$ を局所的にあらゆるところで（すべての $p$ について $\mathbb{Z}_p$ 上で）表現する形式を構成する。これは、形式が小さな素数 $p_i$ に対して単純根を持ち（ヘンゼルの補題による持ち上げを可能にする）、かつ大きな素数に対して特定の既約条件を満たす（関連する射影曲線が滑らかであることを保証し、Hasse-Weilの境界を適用する）ことを保証することで達成される。
   • 大域的不成立： 著者は、単一の「シード（種）」となる形式 $F$ から、大きな家族 $\{G_j\}$ を生成する。各 $G_j$ は、素数 $p_1, \dots, p_k$ （ここで $p_i < M$）を含む一連の線形変換を適用することによって導かれる。$G_j(x, y) = h$ の解の存在は、スケーリングされた方程式 $F$ に関する解を意味する。

3. 計数と密度：

   • 著者は、特定のガロア条件および合同条件（例：ガロア群 $S_n$、小さな素数に対する単純根）を満たす「シード」形式の集合 $\tilde{S}$ を定義する。
   • 各 $F \in \tilde{S}$ から、著者は $2^k$ 個の異なる形式 $G_j$ を構成する（ここで $k$ は $M$ 未満の素数の数である）。
   • 著者は、これらの $G_j$ 形式が互いに非同値であり、かつ極大（maximal）であることを証明する。
   • 与えられた高さの全形式に対する、構成された集合 $S$（ヘッセの原理に失敗する形式）の割合と比較することで、当該形式の割合の低次境界を導出する。

主要な貢献と結果
主要な結果は定理1.1である：

$m$ を正の整数とする。固定された次数 $n \geq 3$ の整数の二元形式が高さによって順序付けられるとき、正の割合の原始的な極大形式が、すべての正の整数 $h < m$ を局所的にあらゆるところで表現するが、大域的には表現しない。

この結果を支える主要な技術的ステップは以下の通りである：

• 同時失敗： 単一の $h$ に焦点を当てた従来の結果とは異なり、この構成は、同じ一連の形式に対して、範囲 $1 \leq h \leq m$ のすべての整数に対してヘッセの原理が同時に失敗することを保証する。
• 明示的な割合： 本論文は、構成された形式の数と、与えられた高さの全形式の数の比率から導かれる、当該の形式の割合に関する明示的な下限を与える。この境界は、素数の数 $k$ および判別式の増大に関連する項を含む。
• 極大性： 構成された形式は極大（他の形式の真の部分形式ではない）であることが示されている。これは、解の数に関する計数議論を有効にするために必要である。
• 一般化： 著者は、この構成が判別式によって順序付けられた三次形式や、不変量 $I$ および $J$ によって順序付けられた四次形式にも拡張可能であることを述べている。

意義と主張
本論文は、特定の $h$ に対してヘッセの原理が失敗する現象が、ターゲットとなる整数のスペクトラム全体にわたって、正の割合の形式に共通する堅牢な特性であることを示すことで、[2]（Akhtari and Bhargava）の構成を洗練させていると主張している。その意義は、整数のヘッセの原理の失敗が、特定の $h$ に対する孤立した現象ではなく、一連のターゲット整数に対して正の割合の形式に共有される性質であることを実証した点にある。

著者は、本研究は先行研究の構成の洗練であり、そのような同時失敗の特性を持つすべての形式を特徴付ける一般的な問題を解決しようとするものではないことを明示している。論文は、構成された集合の密度を検証するために、確立された篩法（Ekedahlの篩）およびディオファントス幾何学の境界（Györy、Hasse-Weil）に依拠している。