Class numbers and integer points on some Pellian surfaces

技術要約：ペル曲面における類数と整数点

問題設定
本論文は、有界領域内におけるペル曲面、具体的には $t^2 - du^2 = 1$ で定義される曲面上の非自明な整数点の分布を調査するものである。中心的な研究対象は、$\max(|t|, |d|, |u|) \le B$ かつ $u \neq 0$ を満たす整数三つ組 $(t, d, u)$ を数え上げる計数関数 $N(B)$ である。$N(B)$ の成長率は、ペル方程式の基本解 $\varepsilon_d$ の大きさに本質的に結びついている。

本論文は、以下の2つの主要な問いに取り組む：

1. $N(B)$ の漸近的挙動はどうなるか？
2. log K3 曲面上の整数点に関する予想を仮定した場合、特定の $d$ の族に対する基本解 $\varepsilon_d$ の典型的な大きさおよび平均類数 $h(d)$ について、何が推論できるか？

手法
著者は、解析的数論、幾何学的数論、および算術幾何学の組み合わせを用いている。

• 分解と計数: $N(B)$ の無条件の上界を得るために、本論文ではペル方程式 $(t+1)(t-1) = du^2$ の「初期分解」を利用する。これにより、問題は $t$ の偶奇と $d$ の可除性に基づくケースに分割される。著者は、補助的な方程式 $d_1 u_1^2 - d_2 u_2^2 = \theta$ の解の数を抑えるために、近似決定体法（approximate determinant method）を用いた Fouvry および Jouve と Reuss の結果を適用している。
• log K3 曲面と $A_1$ 曲線: 論文の焦点は、曲面 $U$（$t^2 - (z^2+3)u^2 = 1$、あるいは同値な $2uyz = y^2 - 3u^2 - 1$）へと移行する。元のペル曲面上の整数点は、しばしば「$A_1$ 曲線」（$\mathbb{Z}$ 上で定義された有理曲線）上に存在することが著者によって特定されている。これらの点を排除することで、部分集合 $U^\circ$ を研究する。
• 仮定の枠組み: 解析は、Browning および Wilsch による予想 1.2 に大きく依存している。これは、滑らかな log K3 曲面 $U$ に対して、$A_1$ 曲線に含まれない整数点の数は対数的に成長することを予測している：$N^\circ_U(B) \ll (\log B)^{\rho_U + b}$。ここで、$\rho_U$ は Picard 数、$b$ は境界因子（boundary divisor）の実成分の数である。
• 幾何学的計算: Browning-Wilsch 予想を適用するために、著者は $k=3$ の場合の曲面 $U$ の不変量を明示的に計算している。これには、Picard 数 $\rho_U = 2$ と境界成分の数 $b=2$ を決定するための特異点（具体的には $A_2$ 特異点）の解消が含まれ、指数 4 が導かれる。
• 類数公式: 論文は、ディリクレの類数公式を介して、基本単数と類数を結びつけている：$h(d) \log \varepsilon_d = \sqrt{d} L_d(1)$。

主な貢献と結果

1. 整数点 $N(B)$ の評価:

   • 定理 1.1: 著者は、Hooley の基本解の密度に関する定理から導かれる下界 $N(B) \gg B^{1/2}(\log B)^2$ を確立している。
   • 無条件の上界: 未解決の予想を仮定せずに、本論文は $N(B) \ll_\epsilon B^{7/12 + \epsilon}$ を証明している。これは、初期分解と近似決定体法を組み合わせることで、従来の無条件の推定値を改善するものである。
   • 条件付きの上界: $\alpha = 3/2$ に対する Hooley の予想 (1.7) を仮定すると、著者は $N(B) \ll B^{1/2}(\log B)^2$ となり、下界と一致することを示す。

2. 基本解の下界:

   • 定理 1.3: 特定の log K3 曲面 $U$ に対する Browning-Wilsch 予想を仮定することで、本論文は、ほとんどすべての $z$（ただし $3 \nmid z$ かつ $z^2+3$ が平方フリーであるもの）に対して、基本解が $\log \varepsilon_{d(z)} \gg d(z)^{1/8 - \epsilon}$ を満たすことを証明している。
   • これは、もし基本解がより小さければ、曲面上の整数点の数が予想される対数的境界を超えてしまうことから導かれる。
   • 系 1.5: これは、$\log \varepsilon_K \gg \Delta_K^{1/8 - \epsilon}$ を満たす判別式 $\Delta_K$ を持つ実二次体 $K$ が無限に存在することを意味する。

3. 類数の平均:

   • 定理 1.6: Browning-Wilsch 予想を仮定することで、本論文は、$3 \nmid z$ かつ平方フリーな値における $h(z^2+3)$ の平均に対する改良された上界を与える。具体的には：
     $$\sum_{\substack{z \le Z \\ 3 \nmid z \\ \mu^2(z^2+3)=1}} h(z^2+3) \ll Z^{9/5} (\log Z)^{3/5}$$
   • これは、同じ和に対して $Z^2 (\log Z)^{-2}$ のオーダーの境界を与える Yamamoto の定理から導かれる自明な境界を改善している。

意義と主張
本論文は、ペル方程式の算術と log K3 曲面の幾何学との間の溝を埋めることを主張している。

• 逆方向のプロセス: 主要な貢献は、log K3 曲面（特に $A_1$ 曲線上に乗らないもの）上の整数点の希薄さに関する予想を用いて、基本単数の大きさの下界を導き出すという「逆プロセス」である。
• 境界の精緻化: 本研究は、$N(B)$ の計数関数に対する初の無条件の上界 $B^{7/12+\epsilon}$ を提供し、これらの曲面上の整数点がどのように分布しているかについての理解を深めている。
• 条件付きの改善: Browning-Wilsch 予想を仮定することにより、本論文は、平方フリーな $d$ に対して、基本解（基本単数）がこれまで知られていたよりも大幅に大きいこと、および $h(z^2+3)$ の平均が標準的な $Z^2$ の速度よりも遅く成長することを実証している。

著者は、基本解に関する結果は Browning-Wilsch 予想に依存しているものの、$N(B)$ に関する無条件の評価は厳密であることを注記している。本論文は Browning-Wilsch 予想自体を証明することを目的としているのではなく、むしろ標準的な解析的手法のみでは到達困難な算術情報を抽出するためのツールとして、同予想を利用している。