[논문 리뷰] 4-ranks and the general model for statistics of ray class groups of imaginary quadratic number fields

Carlo Pagano, Efthymios Sofos|arXiv (Cornell University)|2017. 10. 20.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 4

한 줄 요약

이 논문은 허수 제곱 수체의 레이 클라스 군에 대해 Cohen–Lenstra 및 Gerth 히ュ리스틱을 확장하여, 그 2-부분의 구조를 갈루아 모듈의 정확한 수열로 모델링한다. 혼합 모멘트의 점근적 추정을 통해 4-랭크의 추측된 분포를 증명하며, 일반화된 2-군에 대한 무작위 모델과 일관된, 주어진 4-랭크를 가진 분야의 밀도에 대한 정확한 공식을 수립한다.

ABSTRACT

We extend the Cohen-Lenstra heuristics to the setting of ray class groups of imaginary quadratic number fields, viewed as exact sequences of Galois modules. By asymptotically estimating the mixed moments governing the distribution of a cohomology map, we prove these conjectures in the case of $4$-ranks.

연구 동기 및 목표

• 허수 제곱 수체의 레이 클라스 군에 대해 이전에 일반적인 모델이 없었던 Cohen–Lenstra 및 Gerth 히ュ리스틱을 확장한다.
• 클래스 군의 4-랭크에 대한 Fouvry와 Klüners의 결과를 일반화하여, 레이 클라스 군의 4-랭크에 대한 추측된 분포를 제시한다.
• 모듈로 $c$의 국소 링의 구조에 기반하여, 홀수 소수 $p$에 대해 레이 클라스 군의 $p$- torsion의 평균 크기를 예측할 수 있는 프레임워크를 제공한다.
• 갈루아 모듈 이론과 점근적 분석을 사용하여, 4-랭크의 분포와 코homology 사상의 모멘트 사이의 엄밀한 연결 고리를 확립한다.

제안 방법

• 갈루아 모듈의 정확한 수열로 레이 클라스 군의 2-부분을 모델링하여, 일반화된 Cohen–Lenstra 프레임워크 내에서 무작위 대상으로 간주한다.
• 혼합 모멘트를 통해 코homology 사상이 4-랭크의 분포를 지배하며, 수론적 및 군론적 기법을 사용하여 점근적으로 추정한다.
• 생성함수와 오일러乘수를 사용하여 모멘트 역전을 적용하며, 특히 $F(t) = \prod_{n=0}^\infty (1 - t 2^{-n})$를 사용하여 모멘트에서 분포를 재구성한다.
• 콤���트성과 대각선 논증을 적용하여, 판별식이 증가함에 따라 $\mathbf{m}_\chi(D)$, 즉 클래스 군 불변량의 2-adic 값의 극한 분포를 추출한다.
• 극한 분포 $\mathbf{m}_\chi(D)$가 일반화된 Cohen–Lenstra 모델에서 유도된 예측 측도 $\mu(\mathbf{m})$와 일치함을 증명한다.
• 점근적 수렴과 모멘트 매칭을 사용하여, 밀도 함수 $d_\mathbf{v}(X)$가 $X \to \infty$일 때 예측 측도 $\mu(\mathbf{v})$로 수렴함을 확립한다.

실험 결과

연구 질문

• RQ1 허수 제곱 수체의 레이 클라스 군에 대해 Cohen–Lenstra 및 Gerth 히ュ리스틱을 올바르게 일반화하는 방법은 무엇인가?
• RQ2 고정된 도함수 $c$를 가진 허수 제곱 수체 $K$가 변할 때, 레이 클라스 군 $\operatorname{Cl}(K,c)$와 $\operatorname{Cl}(K)$의 4-랭크는 어떻게 분포하는가?
• RQ3 레이 클라스 군의 $p$- torsion의 평균 크기를, $c$에서 소수의 분할 행동을 고려한 정교한 모델로 예측할 수 있는가?
• RQ4 주어진 $\operatorname{rk}_4(\operatorname{Cl}(K)) = j_1$ 및 $\operatorname{rk}_4(\operatorname{Cl}(K,c)) = j_2$를 가진 허수 제곱 수체 $K$의 자연적 밀도에 대한 정확한 공식은 무엇인가?
• RQ5 모멘트 생성함수를 어떻게 사용하여 점근적 모멘트 자료에서 갈루아 모듈 불변량의 분포를 재구성할 수 있는가?

주요 결과

• 논문은 정리 1.1을 증명한다: $\operatorname{rk}_4(\operatorname{Cl}(K)) = j_1$ 및 $\operatorname{rk}_4(\operatorname{Cl}(K,c)) = j_2$인 허수 제곱 수체 $K$의 자연적 밀도는 $\eta_{\infty}(2)$, $\eta_{j_1}(2)^2$, 및 주어진 랭크를 가진 $\mathbb{F}_2$-선형 사상의 수의 비율을 포함하는 공식으로 주어진다.
• 밀도 공식은 $\#\{\varphi \in \operatorname{Hom}_{\mathbb{F}_2}(\mathbb{F}_2^{j_1}, \mathbb{F}_2^{\#S_3}) : \operatorname{rk}(\varphi) = \#S - (j_2 - j_1)\}$를 포함하며, 이는 주어진 상사원의 차원을 가진 선형 사상의 수를 세는 데 사용된다.
• 홀수 소수 $p$에 대해, 레이 클라스 군의 $p$-랭크에 대한 유사한 공식을 추측하며, 이는 $\mathbb{F}_p$-선형 사상과 오일러乘수 $\eta_{\infty}(p)$에 유사한 의존성을 가진다.
• 소수 $p$에 대해 $\#\operatorname{Cl}(K,c)[p]$의 평균 크기는 $p^2 \nmid c$일 때 $p^{\#\{l|c, l \equiv 1 \pmod{p}\}} \left(1 + \left(\frac{p+1}{2}\right)^{\#\{l|c, l \equiv \pm 1 \pmod{p}\}}\right)$이며, $p^2 \mid c$일 경우 수정된 형태로 주어진다.
• 저자는 $\mathbf{m}_\chi(D)$의 2-adic 값의 극한 분포가 예측된 측도 $\mu(\mathbf{m})$와 일치함을 증명하며, $X \to \infty$일 때 밀도 함수 $d_\mathbf{v}(X)$가 $\mu(\mathbf{v})$로 수렴함을 확립한다.
• 증명은 생성함수를 통한 모멘트 역전과 $\widetilde{F}(\mathbf{z}) = \prod_{\chi} F(z_\chi)$의 사용에 기반하며, 여기서 $F(t) = \prod_{n=0}^\infty (1 - t 2^{-n})$이며, 점근적 모멘트 자료에서 분포를 재구성한다.