[논문 리뷰] Heuristics for $p$-class towers of imaginary quadratic fields, with an Appendix by Jonathan Blackhurst

Nigel Boston, Michael R. Bush외 1명|arXiv (Cornell University)|2011. 11. 20.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 6

한 줄 요약

이 논문은 허수 제곱근 분야의 비아벨 $p$-클래스 탑을 위한 코hen-레인스트라 히وري스틱을 확장하며, 갈루아 군 $G_K = \mathrm{Gal}(K_\infty/K)$인 $p$-클래스 탑 군에 대한 히وري스틱 분포를 제안한다. 이는 모든 유한한 슈어 $\sigma$-군이 무한히 많은 허수 제곱근 분야 $K$에 대해 $G_K$로 나타나며, 자동화군 크기의 역수로 가중치가 부여된다고 예측한다. 이는 고전적인 아벨 경우를 비아벨 $p$-군으로 일반화한다.

ABSTRACT

Cohen and Lenstra have given a heuristic which, for a fixed odd prime $p$, leads to many interesting predictions about the distribution of $p$-class groups of imaginary quadratic fields. We extend the Cohen-Lenstra heuristic to a non-abelian setting by considering, for each imaginary quadratic field $K$, the Galois group of the $p$-class tower of $K$, i.e. $G_K:=\mathrm{Gal}(K_\infty/K)$ where $K_\infty$ is the maximal unramified $p$-extension of $K$. By class field theory, the maximal abelian quotient of $G_K$ is isomorphic to the $p$-class group of $K$. For integers $c\geq 1$, we give a heuristic of Cohen-Lentra type for the maximal $p$-class $c$ quotient of $\G_K$ and thereby give a conjectural formula for how frequently a given $p$-group of $p$-class $c$ occurs in this manner. In particular, we predict that every finite Schur $σ$-group occurs as $G_K$ for infinitely many fields $K$. We present numerical data in support of these conjectures.

연구 동기 및 목표

• 허수 제곱근 분야의 비아벨 $p$-클래스 군에서 코헨-레인스트라 히وري스틱을 비아벨 $p$-클래스 탑 군으로 확장하는 것.
• 유한한 $p$-군이 $p$-클래스 탑 군으로 나타나는 빈도에 대한 히وري스틱 확률 측도를 자동화군 크기의 역수에 기반하여 정의하는 것.
• 모든 유한한 슈어 $\sigma$-군이 무한히 많은 허수 제곱근 분야 $K$에 대해 $G_K$로 나타나며, 고전적인 코헨-레인스트라 추측을 비아벨 $p$-군으로 일반화하는 것.
• 제시된 히وري스틱 분포가 $p$-클래스가 $c$인 $p$-클래스 탑 군에 대해 수치적 증거를 제공하는 것.

제안 방법

• 코헨-레인스트라 철학을 $p$-클래스가 $c$인 유한한 $p$-군의 범주에 적용하여, $|\mathrm{Aut}(G)|$의 역수 비례로 가중치를 할당하는 것.
• 특정 $p$-군 $G$의 발생 빈도를, 판별식에 따라 순서를 매긴 분야 중 $G_K \cong G$인 분야의 비율의 극한으로 정의하는 것.
• 클래스 체계 이론을 사용하여 $G_K^{\mathrm{ab}} \cong A_K$로 식별하고, 이는 $p$-클래스 탑의 고차원 단계로 확장하는 것.
• 최대 $p$-클래스가 $c$인 $G_K$의 몫에 대한 히وري스틱을 설정하며, 자동화군의 역수로 가중된 분포를 모델링하는 것.
• $p$-군 이론, 스템 확장, 핵을 이용하여 어떤 군이 $p$-클래스 탑 군으로 실현 가능한지 분석하는 것.
• $p$-커버링 군 구성과 중심 확장을 사용하여 슈어 승수와 핵을 분석하고, 이를 $G_K$로 실현 가능한지 연결하는 것.

실험 결과

연구 질문

• RQ1 고정된 홀수 소수 $p$에 대해, 허수 제곱근 분야 $K$의 $p$-클래스 탑 군 $G_K$의 분포를 모델링하는 데 자연스러운 유한한 $p$-군에 대한 확률 분포는 무엇인가?
• RQ2 어떤 유한한 $p$-군이 어떤 허수 제곱근 분야 $K$에 대해 $G_K = \mathrm{Gal}(K_\infty/K)$로 나타날 수 있는가?
• RQ3 모든 유한한 슈어 $\sigma$-군이 무한히 많은 허수 제곱근 분야 $K$에 대해 $G_K$로 나타나는가?
• RQ4 자동화군 크기의 역수인 $1/|\mathrm{Aut}(G)|$는 왜 $G_K \cong G$의 발생 빈도를 예측하는 데 자연스러운 가중치로 작용하는가?
• RQ5 $p$-군 $G$가 어떤 조건을 만족하면 허수 제곱근 분야의 $p$-클래스 탑 군으로 실현될 수 있는가?

주요 결과

• 논문은 허수 제곱근 분야의 $p$-클래스 탑 군 $G_K$에 대한 히وري스틱 분포를 제안하며, 자동화군 크기의 역수 비례로 가중치를 할당하여 고전적인 코헨-레인스트라 히وري스틱을 비아벨 설정으로 일반화한다.
• 모든 유한한 슈어 $\sigma$-군이 무한히 많은 허수 제곱근 분야 $K$에 대해 $G_K$로 나타나며, 고전적 추측을 비아벨 $p$-군으로 확장한다.
• 유한한 $p$-군 $G$의 핵이 비자명한 것은 $G$가 비자명한 스템 확장을 가질 때이고, 이는 $G$의 슈어 승수가 비자명하다는 것을 의미한다.
• $p$-커버링 군 구성은 $G$의 핵이 비자명할 경우 비자명한 스템 확장을 갖는다는 것을 보여주며, 슈어 승수 조건을 확인한다.
• 제안된 분포를 지지하는 수치적 자료가 제시되며, $p$-클래스 탑 군의 예측된 빈도와 강한 일치를 보인다.
• 논문은 $p$-군의 핵과 $p$-클래스 탑 군으로서의 실현 가능성 사이에 구조적 연결을 확립하며, 도함수군이 핵과 일치하는 중심 확장을 통해 이를 뒷받침한다.