Quantitative Oppenheim in signature $(2,2)$ via determinant values

技術的要約：シグネチャ (2, 2) における行列式の値による定量的オッペンハイム問題

問題設定
本論文は、シグネチャ $(2, 2)$ の不定符号二次形式に関する定量的オッペンハイム問題を扱う。古典的なオッペンハイム予想（Margulisによって証明された）は、無理数な不定符号二次形式の整数ベクトル上での値が実数 $\mathbb{R}$ において稠密であることを主張している。定量的洗練は、以下の計数関数 $N_Q(a, b; T)$ の $T \to \infty$ における漸近挙動を問うものである：
$$N_Q(a, b; T) := \#\{v \in \mathbb{Z}^n : \|v\| < T, a < Q(v) < b\}$$
この問題は、Dani–Margulis および Eskin–Margulis–Mozes (EMM) によって高次元のシグネチャに対して確立されているが、低次元のシグネチャ $(2, 1)$ および $(2, 2)$ では、有理形式に近似されすぎる格子を排除するための追加的なディオファントス条件が必要となる。$(2, 2)$ のケースは以前に Eskin–Margulis–Mozes によって証明されている。本論文は、問題を $M_2(\mathbb{R})$ における格子の行列式の値の問題へと書き換えることで、$(2, 2)$ のケースに対する新しい証明を提供する。

手法
著者らは、$\mathbb{R}^4$ を $M_2(\mathbb{R})$ と同一視し、二次形式を行列式として用いることで問題を再定式化する：
$$Q_0 \begin{pmatrix} x & y \\ z & w \end{pmatrix} = xw - yz.$$
これにより、問題は特定の区間の行列式の値を持つ格子点 $\Lambda < M_2(\mathbb{R})$ を数え上げる問題へと変換される。証明には、著者らが $(2, 1)$ のケースで行った研究で開発された、修正された高さと回避（modified-height and avoidance）戦略という力学的なアプローチが用いられる。

主要な手法構成要素は以下の通りである：

1. 力学的セットアップ: 問題は、単モジュラー格子 $X = SL_4(\mathbb{R})/SL_4(\mathbb{Z})$ 上で解析される。群 $H = SL_2(\mathbb{R}) \otimes SL_2(\mathbb{R})$ の作用は、$M_2(\mathbb{R})$ 上の自然な作用に対応する。
2. 修正された高さ関数: 標準的な高さ関数 $\alpha(\Delta)$ は、外積の最小の非ゼロベクトルの大きさを測るものであるが、準零（quasi-null）な有理平面が存在するため、臨界的な外積次数において必要な一様モーメント境界を満たさない。著者らは、Plücker ベクトルが「準零」（すなわち、例外的な部分加群 $M_c$ または $M_r$ に非常に近い）である有理二平面を除外した、修正された高さ $\tilde{\alpha}_{\eta, M}$ を導入する。
3. 補助的な高さと収縮: 修正された高さのモーメント境界を証明するために、補助的な高さ $\hat{\alpha}_{\eta, M, \theta}$ が導入される。この高さは、例外的な部分加群への近接をペナルティとして課す重み関数 $\phi_\theta$ を含んでおり、これにより、これらの部分空間付近での収縮推定の退化を補償する。
4. 例外集合の回避: 証明では、以下の組み合わせによる停止時間イテレーションを利用する：
   • 例外集合から離れた場所での収縮推定（補助的な高さが拡大ホロノルフィック部分群の作用下で収縮する）。
   • 非準零な有理平面が例外的な成分に極めて接近するように運ばれることを示すための、定量的非発散性およびディオファントス条件。
5. 特異な寄与の分離: 著者らは、行列式が恒等的にゼロとなる正確な有理等方的平面と、準零平面を区別する。行列式が無理数な格子の場合、正確な有理等方的平面は有限個しかないことを証明する。準零であるが等方的ではない平面の寄与は、極限において消失することが示される一方、正確な等方的平面は漸近公式に特異項をもたらす。

主要な貢献と結果
本論文は以下の主要定理（Theorem 1.1）を確立する：

$\Lambda < M_2(\mathbb{R})$ を、行列式に関して有理ではないディオファントス格子とする。任意のノルム $\|\cdot\|$ および $a < b$ に対して、非ゼロの行列式を持つ格子点の数は以下のようになる：
$$N^\times_\Lambda(a, b; T) \sim \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)} (b-a)T^2.$$
さらに、行列式がゼロとなる点の極限は存在する：
$$c^{\text{sing}}_\Lambda := \lim_{T \to \infty} T^{-2} \#\{v \in \Lambda : \|v\| < T, \det v = 0\}.$$
全計数関数は次のように与えられる：
$$N_\Lambda(a, b; T) \sim \left( \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)}(b-a) + c^{\text{sing}}_\Lambda \mathbf{1}_{\{0 \in (a, b)\}} \right) T^2.$$

具体的な技術的知見:

• 等方的平面の有限性: 行列式が有理的でない格子の場合、行列式が恒等的にゼロとなる有理二平面は高々4つ存在する（列等方的が2つ、行等方的が2つ）。この有限性は $2 \times 2$ ケースの特筆すべき特徴である。
• 特異定数: 定数 $c^{\text{sing}}_\Lambda$ は、行列式がゼロとなるランク2の $\mathbb{Z}$-部分加群を $\Lambda$ が含む場合に限り、厳密に正となる。これは、これら有限個の有理等方的平面の和として明示的に計算される。
• ディオファントス条件: この結果は、「スプリット・ディオファントス（split-Diophantine）」条件の下で成立する。これは、行列式形式が有理スプリット二次形式によって近似されすぎることを防ぐものである。これは Eskin–Margulis–Mozes によって使用された non-EWAS 条件と同等である。
• 代数的係数: 補足として、本定理は、行列式が有理的でない代数的成分を持つ任意の格子に適用される。これらは Liouville 型の不等式を通じて自動的にディオファントス条件を満たすためである。

意義と主張
本論文は、その主たる新規性が定理の記述自体ではなく、証明手法にあると主張している。

• 簡略化されたモデル: $2 \times 2$ の行列式設定で作業することで、著者らは修正された高さおよび回避法の「簡略化されたモデルケース」を提供している。この次元では、表現論や劣レベル推定は高次元のケースと比較して初等的であるが、主要な力学的メカニズムは依然として可視である。
• EMM の新しい証明: 本研究は、Eskin–Margulis–Mozes による $(2, 2)$ の定量的オッペンハイム定理を回収するものである。著者らは、彼らのアプローチが、直接 $K$-平均を用い、悪い集合を矩形によって近似する手法を用いた元の EMM の証明とは異なることを指摘している。対照的に、本論文は、必要な Margulis 型の不等式を満たすために、第二の補助的な修正された高さを導入し、悪い集合の直接的な近似を回避している。
• 高次元への基礎: 行列式の定式化は、著者らの随伴論文 [7] で研究されている高次元の行列式値問題の最も単純なメンバーとして提示されており、ここでの洞察が得られたことは、より複雑なシグネチャに対処するための基礎となることが示唆されている。

本論文は、数学的文脈（力学系および二次形式の定量的理論）を超えた新しい実験的応用や将来的な含意を提案することはない。それは、精緻化された力学的メソッドを通じて漸近計数公式を確立することに厳密に集中している。