Statistics of the Genus Number of $S_3 \times C_2$ and $D_4$-fields

기술적 요약: $S_3 \times C_2$ 및 $D_4$-체들의 종수 통계

문제 제기
본 논문은 판별식에 따라 정렬된 다양한 수체 계열에서 종수 $g_K$의 통계적 분포를 조사한다. 종수는 종체 $K^*$의 $K$에 대한 차수로 정의되며, 분기가 이상류군에 기여하는 정도를 측정한다. 2 차체 (고정된 종수가 밀도 0 으로 발생) 와 특정 3 차 및 5 차체 (특정 종수 값이 양의 밀도로 발생) 에 대해서는 종수의 분포가 잘 알려져 있으나, 일반적인 이분법은 여전히 불명확하다. 핵심 문제는 고정된 종수에 대해 "양의 비율" 현상을 보이는 수체 계열과 "영밀도" 현상을 보이는 계열을 구분하는 것이다.

방법론
저자들은 점근적 수체 계수 기법, 특히 특정 국소 분기 조건을 가진 수체의 점근적 계수 기법을 활용한다. 주요 방법론적 구성 요소는 다음과 같다:

1. 종수 이론 분해: 이시다, 가우스, 프뢸리히의 결과를 활용하여 종체를 분해하고, 종수를 분기 소수와 그들의 국소적 행동 (예: 온순 분기 대 야만 분기) 의 관점에서 표현한다.
2. 합성체 분석: $L = KF$(여기서$K$와$F$는 선형적으로 서로소) 형태의 체의 경우, 종체가 개별 종체들의 합성체 ($L^* = K^F^$) 임이 증명되어 종수를 인수분해할 수 있게 한다.
3. 계수 공식: 논문은 특정 분기 제약 조건을 가진 3 차체 (Taniguchi-Thorne) 와 $D_4$-체 (Cohen-Diaz y Diaz-Olivier, McGown-Tucker 에 의해 정교화됨) 에 대한 점근적 공식에 의존한다.
4. 확장 매개변수화: $D_4$-체의 경우, 저자들은 2-Selmer 군과 ray class 군을 통해 2 차 기저 체 위의 2 차 확장을 매개변수화하여 특정 상대 판별식을 가진 체들을 계수한다.
5. 직관적 논증: 마지막 섹션에서 저자들은 판별식 내 소인수 분포에 기반한 직관적 추론을 사용하여 영밀도 계열에 관한 가설을 지지한다.

주요 기여 및 결과

1. $S_3 \times C_2$ 체 (6 차체)
저자들은 고정된 종수 $g_K = 2^k 3^\ell$을 가진 $S_3 \times C_2$ 체의 수에 대한 정확한 점근적 공식을 수립한다.

• 정리 1.1: 정수 $k, \ell \ge 0$에 대해, 판별식이 $\le X$인 그러한 체들의 수는 $|Q^2_{k,\ell}(X)| = A(k)B(\ell)\zeta(2)^{-1}\sqrt{X} + O(X^{8/17+\epsilon})$로 주어진다.
• 의의: 이 결과는 모든 허용 가능한 종수가 $S_3 \times C_2$ 체의 양의 비율에 의해 달성됨을 보여준다. 논문은 명시적 상수 $A(k)$와 $B(\ell)$를 제공하며 수치적 비율의 표를 제시한다 (예: 그러한 체들의 약 45% 가 종수 1 을 가짐).

2. $S_3 \times C_q$ 체 ($q \ge 5$ 소수)
$S_3 \times C_q$ 체로 분석을 확장하면, 종수는 $g_K = 3^\ell q^k$ 형태를 띤다.

• 정리 1.2: 저자들은 임의의 소수 $q \ge 5$와 음이 아닌 정수 $k, \ell$에 대해, 그러한 체들의 계수가 $|Q^q_{k,\ell}(X)| = C_q(k, \ell) X^{1/q} + O(X^{16/17q})$임을 증명한다.
• 의의: $q=2$ 경우와 유사하게, 이는 이 계열에서 임의의 허용 가능한 종수가 양의 비율의 체들에 의해 달성됨을 확인한다.

3. $D_4$-체 (4 차체)
본 논문은 갈루아 폐포가 $D_4$인 4 차체를 분석한다.

• 정리 1.3: 모든 $a \in \mathbb{Z}_{\ge 0}$에 대해, 종수 $2^a$를 가지며 판별식이 $\le X$인 $D_4$-체의 수는 $\delta_a X$에 점근하며, 여기서 $\delta_a > 0$이다.
• 의의: 이는 $S_3 \times C_q$ 계열과 마찬가지로, $D_4$-체 계열이 모든 허용 가능한 종수에 대해 양의 비율 현상을 보임을 확립한다.

4. 순수 4 차체
저자들은 $D_4$-체의 하위 계열인 순수 4 차체 $K = \mathbb{Q}(\sqrt[4]{a})$를 조사한다.

• 정리 1.5: 일반적인 $D_4$ 계열과 대조적으로, 임의의 고정된 종수 $2^a$에 대해, 이 종수를 달성하는 순수 4 차체의 비율은 $X \to \infty$일 때 0 으로 수렴한다.
• 의의: 이는 양의 밀도를 가진 체들의 하위 계열임에도 불구하고 영밀도 현상이 발생하는 구체적인 계열을 식별한다.

5. 모멘트 및 가설

• 모멘트: 논문은 $S_3 \times C_q$ 체에 대한 종수의 평균 및 고차 모멘트 공식을 유도하며 (섹션 7), 고차 모멘트에서 분포가 1 에서 크게 치우쳐 있음을 보여준다.
• 가설 1.4: 관찰된 이분법 (비아벨형 확장에 대한 양의 밀도 대 아벨형 또는 순수체에 대한 영밀도) 에 기반하여, 저자들은 임의의 유한군 $G$에 대해, 만약 체 계열이 아벨 확장의 타워를 허용한다면, 고정된 종수를 가진 체들의 밀도는 0 이 될 것이라고 추측한다.
• 직관적 지지: 섹션 8 은 8 차 $D_4$-체와 갈루아 군이 $C_7 \rtimes C_3$인 체들을 사용하여 이 가설에 대한 직관적 증거를 제시하며, 특정 합동류의 분기 소수를 피하는 제약이 밀도를 0 으로 강제한다고 논증한다.

연구의 의의
본 논문은 여러 주요 수체 계열에 걸친 종수의 포괄적인 통계적 그림을 제공한다. 주요 기여는 3 차 및 5 차체에서 관찰되었던 "양의 비율" 현상이 $S_3 \times C_q$ 및 일반적인 $D_4$-체로 확장됨을 엄밀하게 증명한 것이다. 반면, 이 행동이 보편적이지 않으며 순수 4 차체에서 영밀도 현상이 발생함을 강조한다. 제안된 가설 (1.4) 은 갈루아 군의 구조 (특히 아벨 타워의 존재) 와 종수의 통계적 분포를 연결하는 잠재적 통일 원리를 제공하며, "아벨에 가까운" 계열에서 고정된 종수가 희귀해지는 경향이 있음을 시사한다.