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

이 논문은 정수 계수를 갖는 양의 정부호 이차 형식 (positive definite binary quadratic forms) 의 $SL_2(\mathbb{Z})$ 동치류 개수에 대한 점근적 공식을 유도하는 것을 목표로 합니다. 특히, 판별식 (discriminant) 이 $1-4p$ ($p$는 소수) 형태인 경우를 다룹니다. 저자들은 이 수학적 결과가 위상수학, 특히 고차원 매듭 (knots) 이론과 밀접하게 연결되어 있음을 밝히고, 이를 통해 Hurwitz 클래스 수의 분포에 대한 새로운 확률 모델을 제시합니다.

다음은 논문의 주요 내용, 방법론, 기여도 및 결과에 대한 상세한 기술적 요약입니다.

---

1. 문제의 정의 및 배경 (Problem Statement)

• 주요 질문: 판별식이 $1-4p$ ($p$는 소수) 형태이고, 그 절댓값이 $X$ 이하로 제한된 정수 계수 양의 정부호 이차 형식의 $SL_2(\mathbb{Z})$ 동치류 개수는 얼마인가?
• 수학적 표현: 이 문제는 $\sum_{p \le X} H(1-4p)$를 추정하는 문제로 귀결됩니다. 여기서 $H(D)$는 판별식 $D$를 갖는 이차 형식의 $SL_2(\mathbb{Z})$ 동치류 개수 (Hurwitz 클래스 수와 유사하지만 자동사상군을 가중치로 두지 않음) 입니다.
• 배경:
  • 이 문제는 1 차원 (genus 1) 단순 매듭 (simple knots) 의 분류와 직접적으로 연결됩니다. Alexander 다항식이 $\Delta_p(t) = pt^2 + (1-2p)t + p$ 형태인 매듭들은 $1-4p$ 판별식을 갖는 이차 형식과 일대일 대응됩니다.
  • 이전 연구 [10] 에서는 $m$이 소수가 아닌 모든 정수에 대한 $H(1-4m)$의 합이 $X^{3/2}$에 비례한다고 추측했으나, 소수 $p$로 제한했을 때의 통계적 행동이 어떻게 변하는지 명확하지 않았습니다.

2. 주요 결과 (Key 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's constant)**입니다:
$$C_{\text{Art}} = \prod_{\ell \ge 2} \left(1 - \frac{1}{\ell(\ell-1)}\right)$$

의미:

• 소수 $p$에 대한 클래스 수의 합은, 모든 정수 $m$에 대한 합 ($\sim \frac{2\pi}{9}X^{3/2}$) 보다 $C_{\text{Art}}$배만큼 작습니다.
• 이는 소수 $p$에 대한 판별식 $1-4p$가 특정 소수 $\ell$에 대한 이차 잉여 (quadratic residue) 조건을 만족할 확률이 일반적인 정수 $m$의 경우와 다르기 때문에 발생합니다. 즉, 소수 제한이 평균 클래스 수 크기에 영향을 미쳐 아르틴 상수라는 인자가 등장합니다.

Corollary 1.2 (위상수학적 적용):
Alexander 다항식이 $pt^2 + (1-2p)t + p$ ($p \in [1, X]$ 소수) 인 $2 \times 2$ Seifert 행렬 $P$의 $S$-동치류 개수는 $X \to \infty$일 때 다음과 같이 점근합니다:
$$\sim C_{\text{Art}} \frac{4\pi}{9} \frac{X^{3/2}}{\log X}$$

3. 방법론 (Methodology)

논문의 증명 과정은 해석적 클래스 수 공식 (Analytic Class Number Formula) 을 기반으로 하며, 다음과 같은 단계로 진행됩니다.

3.1. Hurwitz 클래스 수와 L-함수의 연결

• $H(D)$를 Hurwitz 클래스 수 $Hur(D)$로 대체하여 오차항을 흡수합니다.
• $Hur(D)$는 Dirichlet L-함수 $L(1, \chi_D)$와 관련이 있으며, 비기본 판별식 (non-fundamental discriminant) 인 경우에도 확장된 공식을 사용합니다.
• 합을 $d$ (이차 형식의 내용, content) 에 따라 분해하여 $Q_d(X)$를 정의하고, 이를 $L(1, \chi_{(1-4p)/d^2})$의 합으로 표현합니다.

3.2. 가중치 이차 형식 합 (Weighted Bilinear Character Sums)

• 핵심 난제는 $L(1, \chi_D)$를 디리클레 급수로 전개한 후, 소수 $p$에 대한 합을 추정하는 것입니다. 이는 다음과 같은 가중치 이차 형식 합으로 귀결됩니다.
  $$T_d(X) = \sum_{p \le X, d^2 | 1-4p} \sum_{n \ge 1} \frac{1}{n} \left( \frac{(1-4p)/d^2}{n} \right)$$
• 구간 분할 (Dyadic Decomposition): $n$의 범위를 세 구간으로 나눕니다.
  1. 작은 $n$ ($n \le (\log X)^B$): Siegel-Walfisz 정리를 적용하여 주항 (main term) 을 추출합니다.
  2. 중간 $n$ ($( \log X)^B < n < X^{1/2+\epsilon}$): 이차 형식 합 (bilinear character sums) 에 대한 무제한 상한 (unrestricted bound, Lemma 4.2) 을 적용하여 오차항으로 처리합니다.
  3. 큰 $n$ ($n \ge X^{1/2+\epsilon}$): 급수의 수렴성을 이용해 무시할 수 있는 오차항으로 처리합니다.

3.3. 무제한 이차 형식 합 상한 (Unrestricted Bound)

• 기존 연구 (Friedlander-Iwaniec, Nagoshi) 와 달리, 이 논문은 비기본 판별식과 비원시 (imprimitive) 형식을 포함해야 하므로 더 복잡한 합을 다룹니다.
• Lemma 4.2 를 통해 제곱인수 없는 수 (squarefree numbers) 로 제한되지 않은 일반 정수에 대한 이차 형식 합 상한을 증명하여, 로그 인자 ($\log X$) 손실을 감수하고도 원하는 정확도를 확보합니다.

3.4. 무한한 주항의 합 (Summing Infinitely Many Main Terms)

• Friedlander-Iwaniec 및 Nagoshi 의 연구에서는 단일 주항이 나오지만, 이 논문에서는 $d$에 대한 합이 무한히 많은 주항을 생성합니다.
• $d$에 대한 합을 수행하여 최종 주항을 도출하는 과정에서, $d$가 홀수일 때의 계수 $c(d)$와 관련된 오일러 곱 (Euler product) 이 계산됩니다.
• 이 과정에서 $C_{\text{Art}}$가 자연스럽게 등장하게 됩니다. 이는 $1-4p$ 형태의 수가 소수 $\ell$에 대해 이차 비잉여 (non-residue) 일 확률이 일반 정수와 다르기 때문입니다.

4. 확률적 모델 (Random Euler Product Model)

• Zagier L-함수: Hurwitz 클래스 수는 표준적인 2 차 L-함수가 아닌 "Zagier L-함수"의 값과 관련이 있습니다.
• 모델링: 저자들은 Hurwitz 클래스 수의 분포를 예측하기 위해 랜덤 오일러 곱 모델을 제시합니다.
  • 각 소수 $\ell$에 대한 국소 인자 (local factor) 의 기대값을 계산합니다.
  • 판별식이 $1-4p$ ($p$는 소수) 로 제한될 때, 국소 인자의 평균값이 일반 경우와 어떻게 다른지 분석합니다.
  • 이 분석은 $C_{\text{Art}}$ 인자가 왜 등장하는지에 대한 직관적인 설명을 제공하며, 더 높은 모멘트 (higher moments) 예측에도 활용 가능함을 시사합니다.

5. 의의 및 기여 (Significance and Contributions)

1. 정밀한 점근적 공식: 소수 판별식을 갖는 이차 형식의 개수에 대한 첫 번째 정밀한 점근적 공식을 제시했습니다. 이전의 상한 추정 ($O(X^{3/2}/\log X)$) 을 넘어, 정확한 상수 (Arithmetical constant) 를 구했습니다.
2. 아르틴 상수의 등장: 소수 제한이 클래스 수의 평균 크기에 $C_{\text{Art}}$ 인자를 통해 영향을 미친다는 것을 증명했습니다. 이는 소수 분포와 이차 잉여 성질 사이의 깊은 관계를 보여줍니다.
3. 위상수학적 연결: 고차원 매듭 이론 (simple knots) 과 저차원 위상수학 (Seifert matrices) 에 대한 새로운 통찰을 제공했습니다. Alexander 다항식의 계수가 소수인 매듭들의 수가 전체 매듭 수에서 차지하는 비율을 정량화했습니다.
4. 방법론적 발전: Siegel-Walfisz 정리와 이차 형식 합 상한을 결합하여, 비기본 판별식과 비원시 형식을 포함하는 복잡한 합을 처리하는 새로운 기법을 개발했습니다.

결론

이 논문은 정수론, 해석적 수론, 위상수학의 교차점에 위치한 문제를 해결했습니다. 저자들은 $1-4p$ 형태의 판별식을 갖는 이차 형식의 개수가 $X^{3/2}/\log X$에 비례하며, 그 계수에 아르틴 상수가 곱해진다는 것을 증명함으로써, 소수 제한이 클래스 수 분포에 미치는 미세하지만 중요한 영향을 규명했습니다. 이는 매듭 이론의 분류 문제에도 직접적인 영향을 미치는 중요한 결과입니다.