[논문 리뷰] The number of imaginary quadratic fields with a given class number

K. Soundararajan|ArXiv.org|2007. 07. 02.

Advanced Topology and Set Theory참고 문헌 1인용 수 5

한 줄 요약

이 논문은 주어진 분류수 $ h $ 를 가진 허수 이차체의 수에 대한 渐近 공식을 수립하며, 분류수 $ H $ 이하의 이러한 체의 합이 $ \frac{3\zeta(2)}{\zeta(3)}H^2 + O(H^2(\log H)^{-1/2+\epsilon}) $ 로 증가함을 보여준다. 또한 $ \mathcal{F}(h) \ll h^2(\log\log h)^4 / \log h $ 와 같은 비자명한 상한을 제시하고, $ \mathcal{F}(h) \asymp h / \log h $ 라는 추측을 내세우며, $ h $ 의 소인수에 따라 편향이 존재할 수 있음을 밝힌다. 본 결과는 분류수의 홀수 부분에 관한 질문을 해결하고, 분류수 분포에 대한 이해를 정교화한다.

ABSTRACT

We investigate the number ${\Cal F}(h)$ of imaginary quadratic fields with class number $h$. We establish an asymptotic formula for the average value of ${\Cal F}(h)$. We also establish a modest non-trivial upper bound for ${\Cal F}(h)$ and give an application to a question of Rosen and Silverman on the odd part of the class number. Finally, we speculate on the asymptotic nature of ${\Cal F}(h)$.

연구 동기 및 목표

• 큰 $ h $ 에 대해 분류수 $ h $ 를 가진 허수 이차체의 수 $ \mathcal{F}(h) $ 의 渐近 행동을 규명하는 것.
• 랜드-시겔 제로 문제에 의존하지 않는 $ \mathcal{F}(h) $ 에 대한 비자명한 상한을 제공하는 것.
• $ \mathcal{F}(h) $ 의 평균 순서를 조사하고, 합 $ \sum_{h \leq H} \mathcal{F}(h) $ 에 대한 渐近 공식을 유도하는 것.
• 로젠과 실버먼이 제기한, 분류수의 홀수 부분이 유계인 체의 수에 관한 질문에 응하는 것.
• $ \mathcal{F}(h) $ 의 크기와 산술적 구조, 특히 작은 소수들에 대한 나누어떨어짐에 따른 편향을 추측하는 것.

제안 방법

• 분류수 공식과 $ L(1, \chi_{-d}) $ 값의 분포를 이용하여 $ \sum_{h \leq H} \mathcal{F}(h) $ 에 대한 渐近 공식을 유도한다.
• $ L(1, \chi_{-d}) $ 를 랜덤 변수로 간주하고, 소수에서 독립적인 오일러 인자로 $ L(1, \mathbb{X}) $ 를 모델링한다.
• 메린 변환과 경로 적분을 이용하여 할당에 대한 합을 $ L(1, \mathbb{X})^{-s} $ 에 대한 기댓값과 연결한다.
• 타투자와의 정리를 적용하여 할당의 합을 $ d \leq H^2 \log\log H $ 로 제한하고, 작은 $ L $-값을 가진 예외적 할당을 통제한다.
• 부분 합과 $ L $-값의 추정을 적용하여 오차 항 $ O(H^2(\log H)^{-1/2+\epsilon}) $ 을 도출한다.
• $ L^1 $-형 추정을 통해 $ \mathcal{F}(H) $ 를 분리하는 스무딩된 페론형 적분과 커프오프 함수를 사용하여 상한을 이끌어낸다.

실험 결과

연구 질문

• RQ1 분류수 $ h \to \infty $ 일 때, 분류수 $ h $ 를 가진 허수 이차체의 수의 渐近 성장률은 무엇인가?
• RQ2 랜드-시겔 제로 문제에 의존하지 않는 $ \mathcal{F}(h) $ 에 대한 비자명한 상한을 확립할 수 있는가?
• RQ3 $ \mathcal{F}(h) $ 의 분포는 $ h $ 의 소인수 분해, 특히 2의 거듭제곱과 작은 홀수 소수에 따라 어떻게 달라지는가?
• RQ4 기본 할당 $ -d \leq X $ 중 분류수의 홀수 부분이 $ \leq C $ 인 체의 수 $ N(C; X) $ 의 渐近 행동은 무엇인가?
• RQ5 $ \mathcal{F}(h) $ 의 평균 순서를 사용하여 $ \mathcal{F}(h) $ 의 일반적인 크기를 예측할 수 있으며, 그 분포에 기대되는 편향은 무엇인가?

주요 결과

• 합 $ \sum_{h \leq H} \mathcal{F}(h) $ 는 $ \frac{3\zeta(2)}{\zeta(3)}H^2 + O(H^2(\log H)^{-1/2+\epsilon}) $ 로 渐近적으로 근사되며, 정확한 상수와 함께 예상되는 제곱형 성장임을 확인한다.
• 분류수 $ H $ 를 가진 허수 이차체의 수는 $ \mathcal{F}(H) \ll H^2(\log\log H)^4 / \log H $ 를 만족하며, 큰 $ H $ 에 대해 비자명한 상한을 제공한다.
• $ \mathcal{F}(h) $ 의 평균값은 $ \frac{3\zeta(2)}{\zeta(3)}H^2 $ 로 渐近적으로 근사되며, $ H=100 $ 일 때 주요 항은 약 41,053 으로, 와이트킨스의 정확한 계산값 42,272 와 가까운 값을 가진다.
• 논문은 $ \mathcal{F}(h) \asymp h / \log h $ 라는 추측을 내세우며, $ h $ 가 3 또는 5 와 같이 작은 소수로 나누어떨어질 경우에 다중적 편향이 존재할 수 있음을 제기한다.
• 고정된 $ C $ 에 대해, 분류수의 홀수 부분이 $ \leq C $ 인 할당의 수 $ N(C; X) $ 는 $ N(C; X) \ll X(\log\log X)^6 / \log X $ 를 만족하며, $ N(C; X) = o(X) $ 를 확인한다.
• 합 $ \sum_{h \leq H} \mathcal{F}(h) $ 의 渐近 공식에서 오차 항은 정교한 기법을 통해 $ O(H^2(\log H)^{-1+\epsilon}) $ 으로 개선될 수 있으나, 현재 방법으로는 상한에서 $ \log h $ 의 거듭제곱 지수를 향상시키지 못한다.