On the number of binary quadratic forms having discriminant $1-4p$, $p$ prime

この論文「ON THE NUMBER OF BINARY QUADRATIC FORMS HAVING DISCRIMINANT 1 −4p, p PRIME（素数 $p$ に対して判別式が $1-4p$ となる二次形式の数について）」は、数論的対象である二次形式の類数と、結び目理論におけるトポロジー的対象との深い関連性を探求し、特定の判別式を持つ二次形式の集合の漸近挙動を厳密に決定した研究です。

以下に、論文の技術的概要を問題設定、手法、主要な貢献、結果、そして意義に分けて詳細にまとめます。

1. 問題設定 (Problem)

著者たちは、以下の数論的問いに答えることを目的としています。

• 問い: 判別式が $1-4p$（ここで $p$ は素数）であり、かつ絶対値が $X$ 以下に制限された、正定値の整数係数二元二次形式の $SL_2(\mathbb{Z})$-同値類の総数はどれくらいか？
• 背景: 以前の研究 [10] において、1 次種数（genus 1）の単純な $(4a+1)$-結び目と、判別式 $1-4m$ を持つ二次形式の間には全射が存在することが示されました。特に $m=\pm p$（$p$ は素数）の場合、この対応は単射となり、結び目の同値類の数が二次形式の類数に直接対応します。
• 直前の予想: 以前の論文 [10] では、素数 $p$ に対する類数 $H(1-4p)$ の総和は、すべての整数 $m$ に対する総和 $H(1-4m)$ と同じ漸近挙動 $X^{3/2}$ を持つと予想されていました（ただし、定数は未決定でした）。しかし、実際には素数という制約が平均的な振る舞いに影響を与える可能性が示唆されていました。

2. 手法とアプローチ (Methodology)

著者たちは、解析的類数公式（Analytic Class Number Formula）と篩法（Sieve method）、そして確率的モデルを組み合わせた手法を用いています。

A. 解析的類数公式の適用

判別式 $D < 0$ に対する Hurwitz 類数 $Hur(D)$（あるいは$H(D)$）は、Dirichlet $L$-関数を用いて表すことができます。
$$Hur(D) = \frac{1}{\pi} |D|^{1/2} L(1, \chi_D)$$
ただし、ここでは非原始形式も含めて数える必要があるため、原始形式の類数 $h(D)$ との関係を考慮し、$D$ の平方因子 $d^2$ について和をとる形式に変換します。
$$\sum_{p \le X} H(1-4p) = \sum_{d \ge 1} \sum_{\substack{p \le X \\ d^2 | 1-4p}} \frac{1}{\pi d} L(1, \chi_{(1-4p)/d^2}) \left| \frac{1-4p}{d^2} \right|^{1/2}$$

B. 二重線形指標和の評価

上記の和を評価するために、$L(1, \chi)$ を級数展開し、以下のような重み付けされた二重線形指標和（bilinear character sum）の評価に帰着させます。
$$T_d(X) = \sum_{\substack{p \le X \\ d^2 | 1-4p}} \sum_{n \ge 1} \frac{1}{n} \left( \frac{(1-4p)/d^2}{n} \right)$$
この和を評価する際、以下の戦略をとります。

1. 区間分割: $n$ の範囲を $[1, b]$、$[b, B]$、$[B, \infty)$ に分割します。
2. 小範囲 ($n \le b$): Siegel-Walfisz 定理を用いて、素数 $p$ に関する和を主項と誤差項に分解します。ここで、算術関数 $A(n, d)$ の生成関数を解析し、主項の係数を導出します。
3. 中範囲 ($b < n \le B$): 二項指標和に対する制限のない評価（Lemma 4.2: 二項指標和の無制限な評価）を用いて、誤差項を制御します。これは Friedlander-Iwaniec や Nagoshi の手法を拡張したものです。
4. 大範囲 ($n > B$): 自明な評価により誤差項が十分小さいことを示します。

C. 確率的オイラー積モデル

結果の定数部分（Artin 定数）の直感的理解のために、ランダムなオイラー積モデルを構築しました。

• Hurwitz 類数は、Zagier $L$-関数（通常の二次 $L$-関数とは異なる）の特殊値として表現されます。
• 判別式 $D$ が「任意の整数」の場合と「$1-4p$（$p$ は素数）」の場合で、局所因子の平均値が異なることを示しました。
• 特に、$D = 1-4p$ という制約は、各素数 $\ell$ における二次剰余の分布に偏りをもたらし、その結果として平均値に Artin 定数 $C_{\text{Art}}$ の因子が現れることをモデル化しました。

3. 主要な貢献と結果 (Key Contributions & Results)

主定理 (Theorem 1.1)

$X \ge 2$ に対して、以下の漸近公式が成立します。
$$\sum_{p \le X} H(1-4p) = C_{\text{Art}} \cdot \frac{2\pi}{9} \cdot \frac{X^{3/2}}{\log X} + O\left( \frac{X^{3/2}}{(\log X)^2} \right)$$
ここで、$C_{\text{Art}}$ はArtin 定数であり、オイラー積で定義されます。
$$C_{\text{Art}} = \prod_{\ell \ge 2} \left( 1 - \frac{1}{\ell(\ell-1)} \right) \approx 0.373955$$

定数に関する発見

• 以前の予想（[10]）では、素数 $p$ に対する和はすべての整数 $m$ に対する和と同じ漸近挙動を持つと考えられていました。
• しかし、この論文は、素数という制約が平均的な大きさに影響を与え、Artin 定数 $C_{\text{Art}}$ 倍だけ小さくなることを証明しました。
• 具体的には、$\sum_{m \le X} H(1-4m) \sim \frac{2\pi}{9} X^{3/2}$ であるのに対し、素数に制限すると $C_{\text{Art}}$ が掛かります。これは、$1-4p$ という形の数が、他の素数 $\ell$ に対して「非剰余」である確率が「剰余」である確率よりもわずかに高いこと（$1 \pmod \ell$ の密度が 0 になる効果）に起因します。

結び目理論への応用 (Corollary 1.2 & 2.2)

• 1 次種数の単純な $(4a+1)$-結び目で、Alexander 多項式が $\Delta_p(t) = pt^2 + (1-2p)t + p$ （$p$ は素数）となるものの同値類の数は、$X \to \infty$ で以下のように漸近します。
  $$\sim C_{\text{Art}} \frac{4\pi}{9} \frac{X^{3/2}}{\log X}$$
• また、Seifert 行列の $S$-同値類の数についても同様の結果が得られました。

技術的進展

• 従来の Friedlander-Iwaniec や Nagoshi の手法は「単一の主項」を導出するものでしたが、この論文では非原始形式を含めるため、無限個の主項（$d$ に関する和）を生成し、それらを総和して最終的な主項を得る必要があります。
• この無限和を収束させ、任意の対数べきの誤差項（任意の $A$ に対して $O(X^{3/2}(\log X)^{-A})$）を得ることに成功しました。

4. 意義 (Significance)

1. 数論的定数の明確化: 特定の判別式を持つ二次形式の数の漸近公式において、Artin 定数が現れることを初めて厳密に証明しました。これは、素数という条件が類数の統計的分布にどのように影響するかを示す重要な事例です。
2. 結び目理論との架け橋: 高次元結び目の分類問題（Alexander 多項式を持つ単純な結び目）に対して、数論的な結果を直接的に適用し、その数の漸近挙動を決定しました。これにより、トポロジーと数論の間の深い関連性がさらに裏付けられました。
3. Zagier $L$-関数の確率モデル: 通常の $L$-関数ではなく、Hurwitz 類数に関連する Zagier $L$-関数に対して、ランダムなオイラー積モデルを構築し、その分布を予測する新しい枠組みを提供しました。
4. 手法の一般化: 非原始形式を含む場合の類数和の評価において、無限個の主項を処理する技術的な手法を開発し、類似の問題（例えば、他の特定の多項式形式を持つ判別式など）への応用可能性を示唆しています。

結論として、この論文は、素数という制約が二次形式の類数の平均値に「Artin 定数」という因子を通じて影響を与えることを証明し、結び目理論における重要な開問題を解決するとともに、数論的対象の分布に関する新しい確率的モデルを提示した画期的な研究です。