Counting Frobenius extensions over local function fields

1. 연구 문제 (Problem)

이 논문은 특성 $p$인 국소 함수체 (local function fields) 위에서, 주어진 갈루아 군 (Galois group) 을 가지며 판별식 (discriminant) 이 특정 상한 $X$ 이하인 확대체 (field extensions) 의 개수를 점근적으로 분석하는 문제를 다룹니다.

• 배경: 수체 (number fields) 에서는 갈루아 군과 판별식으로 확장체를 세는 문제 (Malle 추측) 가 활발히 연구되고 있으나, 특성 $p$인 함수체에서 $p$가 군의 크기를 나누는 경우 (wild ramification, 즉 $p \mid |G|$) 에 대한 연구는 상대적으로 부족합니다.
• 주요 대상: 갈루아 군이 아핀 군 $AGL_1(p)$의 부분군인 경우, 혹은 더 일반적으로 순환 확장 $C_d$ ($p \nmid d$) 위에 순환 확장 $C_p$를 쌓아 올린 타워 (tower) 에서 발생하는 군들을 다룹니다. 이는 $S_3$, 이면체군 (dihedral groups of order $2p$), 그리고 많은 프뢰베니우스 군 (Frobenius groups) 을 포함합니다.
• 목표: 판별식 지수 (discriminant exponent) 를 기준으로 확장체의 수 $Z(k, G; X)$가 $X \to \infty$일 때 어떻게 행동하는지 (점근적 성장률) 를 결정하는 것입니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구를 체계적으로 활용하여 문제를 해결했습니다.

2.1. 아틴 - 슈라이어 이론 (Artin-Schreier Theory)

• 특성 $p$인 체 $L$의 $p$-원시적 확장 (elementary $p$-extensions) 은 아틴 - 슈라이어 연산자 $\wp(x) = x^p - x$의 공핵 (cokernel) $L/\wp(L)$의 부분공간과 일대일 대응됩니다.
• $L/F$가 순환 확장 ($Gal(L/F) \cong C_d$, $p \nmid d$) 일 때, $L/\wp(L)$은 $F_p[C_d]$-모듈 구조를 가집니다. 저자들은 이 모듈 구조를 분석하여 갈루아 군과 판별식을 결정했습니다.

2.2. 모듈 구조와 갈루아 군의 분류

• $L/\wp(L)$을 $F_p[C_d]$-모듈로 분해하기 위해, 다항식 $X^d - 1$을 $\mathbb{F}_p[X]$에서 기약인자 $f_1, \dots, f_r$로 분해합니다.
• 부분집합 $I \subseteq \{1, \dots, r\}$에 대해, $Y_I$라는 부분공간을 정의하고 이에 해당하는 갈루아 군 $G_p(d, I) \cong M_I \rtimes C_d$를 구성합니다. 여기서 $M_I$는 특정 다항식에 의해 정의된 $p$-군 부분입니다.
• Proposition 3.5: 아틴 - 슈라이어 생성자 $\alpha$가 속한 부분공간 $Y_I$의 구조가 확장체의 갈루아 군을 결정함을 보였습니다.

2.3. 판별식 계산

• 단일 생성자: $\alpha \in Y_i$인 경우, 판별식 지수는 $\alpha$의 valuation $|\nu_L(\alpha)|$에 비례합니다.
• 복합 생성자: $\alpha = \sum \alpha_i$인 경우 (여러 $Y_i$의 합), 확장체의 판별식은 각 성분의 valuation 순서에 따라 결정됩니다. Proposition 3.6과 Lemma 5.6을 통해 valuation 의 정렬 (sorting) 에 따른 판별식 지수 공식을 유도했습니다.

2.4. 점근적 분석 (Asymptotic Analysis)

• Dirichlet 급수: 확장체의 개수를 세기 위해 Dirichlet 급수 $\Phi(s) = \sum q^{-\text{disc}(M/F)s}$를 구성했습니다.
• 합의 분해: 급수를 부분합으로 분해하고, **Potthast [Pot26]**의 기법을 차용하여 유리함수 (rational function) 형태로 표현했습니다.
• 극점 분석: 생성 함수의 가장 오른쪽 극점 (critical pole) 을 찾아 점근적 성장률을 도출했습니다. 이는 **Lemma 5.12 (Potthast)**를 사용하여 수행되었습니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

이 논문의 핵심 결과는 Theorem 1.1로 요약되며, 두 가지 관점 (치환군으로서의 차원) 에서 점근적 행동을 제시합니다.

3.1. 주된 정리 (Theorem 1.1)

$F$를 특성 $p$인 국소 함수체라 하고, $G_p(d, I)$를 위에서 정의한 군이라 합시다. $x \to \infty$일 때, 판별식 지수가 $x$ 이하인 확장체의 수 $Z(x)$는 다음과 같은 형태를 가집니다.

1. $pd$ 개의 점에서의 치환군으로 간주할 때 (비정규 확장 포함):
   $$Z_{pd}(F, G_p(d, I); x) \sim \beta_I(x) q^{ax}, \quad a = \frac{\ell(I)}{pd}$$
   여기서 $\ell(I) = \sum_{i \in I} \deg(f_i)$이며, $\beta_I(x)$는 $(p-1)pd$-주기 함수입니다.

2. $dp\ell(I)$ 개의 점에서의 치환군으로 간주할 때 (갈루아 확장, 즉 분해체):
   $$Z_{dp\ell(I)}(F, G_p(d, I); x) \sim \tilde{\beta}_I(x) q^{\tilde{a}x}, \quad \tilde{a} = \frac{p-1}{pd} \cdot \frac{\ell(I)}{p\ell(I)-1}$$
   여기서 $\tilde{\beta}_I(x)$는 $(p\ell(I)-1)pd$-주기 함수입니다.

3.2. 주요 발견 사항

• 점근적 지수의 구조: 점근적 성장률의 지수 $a$와 $\tilde{a}$는 군의 크기 $dp\ell(I)$와 부분군 구조 ($I$에 의해 결정된 $\ell(I)$) 에만 의존합니다.
• 진동 함수 (Oscillating Function): Malle 추측의 일반적인 형태와 달리, 상수항이 아닌 주기 함수가 곱해집니다. 이는 국소 함수체에서의 wild ramification 현상과 모듈 구조의 주기성 ($p^e$ 주기성) 에서 기인합니다.
• 특수한 군들의 해결:
  • $|I|=1$인 경우 (예: $S_3$, $D_{2p}$ 등) 에는 기존에 알려진 결과가 있었으나, 일반 $I$에 대해 증명되었습니다.
  • $p=2$인 경우 $A_4$, $C_2^3 \rtimes C_7$ 등 비아벨 군에 대한 결과를 포함합니다.
• Malle 추측과의 비교: 특성 $p$가 군의 크기를 나누는 경우, Malle 추측이 예측하는 지수 $a(G)$와는 다른 지수가 나타남을 보였습니다. 특히, $C_2 \times C_2$와 같은 elementary abelian $p$-군의 경우 로그 항이 하나 더 추가되는 등 Malle 추측과 다른 양상을 보입니다.

4. 의의 (Significance)

1. Malle 추측의 함수체 버전 확장: 수체와 tame case (특성 $p$가 군 크기와 서로소) 에서는 Malle 추측이 검증되었으나, wild case ($p \mid |G|$) 에서는 명확한 결과가 부족했습니다. 이 논문은 국소 함수체에서의 wild ramification이 있는 비아벨 군에 대한 첫 번째 체계적인 점근적 결과를 제공합니다.
2. 비정규 확장의 계수: 갈루아 확장뿐만 아니라, 갈루아 폐포의 갈루아 군이 주어진 비정규 확장 (non-normal extensions) 의 수도 함께 계수하여, 갈루아 군을 치환군으로 해석하는 관점을 정립했습니다.
3. 구체적인 계산 도구 제공: 아틴 - 슈라이어 생성자의 모듈 구조와 valuation 분포를 정밀하게 분석하여, 복잡한 비아벨 군의 판별식 분포를 계산할 수 있는 구체적인 알고리즘과 공식을 제시했습니다.
4. 주기 함수의 등장: 점근적 식에 주기 함수가 곱해지는 현상을 증명함으로써, 국소 함수체에서의 확장체 분포가 단순한 멱함수 (power law) 가 아니라 더 복잡한 진동 패턴을 가짐을 보였습니다.

결론

이 논문은 특성 $p$인 국소 함수체 위에서, 아핀 군의 부분군 및 관련 프뢰베니우스 군을 갈루아 군으로 갖는 확장체들의 판별식 분포를 완전히 규명했습니다. 저자들은 아틴 - 슈라이어 이론과 모듈 이론을 결합하여 갈루아 군과 판별식을 연결하고, Dirichlet 급수의 극점 분석을 통해 정확한 점근적 공식을 유도했습니다. 이는 수체와 함수체, tame 및 wild ramification에 대한 Malle 추측 연구의 중요한 연결고리를 제공합니다.