$\alpha$-monogeneity of pure number fields: criterion and density

기술 요약: 순수 수체(Pure Number Fields)의 $\alpha$-단일성($\alpha$-Monogeneity)

문제 정의
본 논문은 $n \ge 2$이고 $m \in \mathbb{Z} \setminus \{0\}$인 기약 다항식 $X^n - m$의 근 $\alpha$에 대하여, 자연 차수(natural order) $\mathbb{Z}[\alpha]$가 최대 차수(maximal order, 즉 정수 환 $\mathcal{O}_K$)가 되는 조건인 순수 수체 $K = \mathbb{Q}(\alpha)$의 $\alpha$-단일성을 조사한다. 저자들은 이를 일반적인 체 단일성(field monogeneity, 어떤 $\theta$에 대해 $\mathcal{O}_K = \mathbb{Z}[\theta]$인 성질)과 구별하며, $\alpha$-단일성이 체 단일성을 함의하지만 그 역이 특정 생성원 $\alpha$에 대해 반드시 성립하는 것은 아님을 명시한다. 주요 목표는 $\alpha$-단일성에 대한 정밀한 기준을 확립하고, 주어진 차수의 순수 수체 가계 내에서 이 조건을 만족하는 매개변수 $m$의 자연 밀도(natural density)를 계산하는 것이다.

방법론
저자들은 대수적 수론과 해석적 수론의 결합된 방법을 사용한다:

1. 데데킨트 지수 정리(Dedekind's Index Theorem)를 통한 국소적 기준: 핵심적인 대수적 도구는 데데킨트의 지수 기준이며, 이는 소수 $p$가 지수 $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$를 나누는 시점을 결정한다. 저자들은 이를 특정 다항식 $f(X) = X^n - m$에 적용한다.
2. 판별식-지수 항등식(Discriminant-Index Identity): 저자들은 $\text{disc}(f) = [\mathcal{O}_K : \mathbb{Z}[\alpha]]^2 \text{disc}(\mathcal{O}_K)$라는 항등식을 활용하여, 지수의 가능한 소수 약수들을 $mn$을 나누는 소수 집합으로 국소화한다.
3. 가치 분석(Valuation Analysis): $p$-진 가치($\nu_p$)를 포함하는 기초적인 보조정리들을 통해, $p|n$인 소수에 대한 지수 가분성 조건을 $m^p - m$의 거동(구체적으로 $\nu_p(m^p - m)$)으로 환원한다.
4. 밀도 계산: 해석적 구성 요소는 $m$의 조건을 만족하는 정수의 자연 밀도를 계산하는 것을 포함한다. 이는 제곱 자유(square-free) 개수를 세기 위한 뫼비우스 함수, 국소적 제약을 결합하기 위한 중국인 나머지 정리, 그리고 $n$을 나누는 소수들에 대한 포함-배제 원리를 활용한다. 또한 저자들은 이러한 결과들을 산술 급수로 정교화하고 매개변수 계수를 판별식 순서에 따른 체의 개수로 변환한다.

주요 기여 및 결과

1. 필요충분조건 (정리 1.2 및 2.7):
   본 논문은 다음을 만족할 필요충분조건에 대한 짧고 자기 완결적인 증명을 제공한다:

   • $m$은 제곱 자유(square-free)이다.
   • $n$을 나누는 모든 소수 $p$에 대하여, $\nu_p(m^p - m) = 1$이다.

   이 결과는 근호 확장(radical extensions)에 대한 스미스(Smith)의 상대적 기준을 순수 가계 $X^n - m$에 특화시킨 것이다. 저자들은 지수 $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$의 소수 지지 집합(prime support)을 다음과 같이 명시적으로 식별한다:
   $$\{p : \nu_p(m) \ge 2\} \cup \{p \mid n : \nu_p(m^p - m) \ge 2\}$$

2. $\alpha$-단일 매개변수의 자연 밀도 (정리 1.1 및 3.6):
   저자들은 $\mathbb{Z}[\alpha]$가 극대(maximal)가 되는 매개변수 $m$의 자연 밀도 $\delta_n$을 계산한다. 집합 $M_n^+(T) = \{1 \le m \le T : X^n - m \text{ 기약}, \mathbb{Z}[\alpha] = \mathcal{O}_K\}$에 대하여, 점근적 개수는 다음과 같다:
   $$M_n^+(X) = \delta_n X + O_n(X^{1/2})$$
   여기서 밀도는 다음과 같이 주어진다:
   $$\delta_n = \frac{6}{\pi^2} \prod_{p \mid n} \frac{p}{p+1}$$
   제곱 자유 양의 정수 집합에 대한 상대적 밀도는 $\prod_{p \mid n} \frac{p}{p+1}$이다.

3. 산술 급수 정교화 (따름정리 3.10):
   본 논문은 밀도 결과를 산술 급수 $m \equiv a \pmod q$로 확장한다. 저자들은 법 $q$의 $p$-진 가치와 잉여류 $a$에 따라 밀도를 조정하는 명시적인 국소 인자 $\lambda_p(q, a)$를 제공한다. 이를 통해 국소적 장애가 자동으로 충족되는 산술 급수를 식별할 수 있다(따름정리 3.12).

4. 국소적 장애의 독립성 (명제 3.15):
   저자들은 $n$을 나누는 서로 다른 소수들에 대한 국소적 장애 집합들이 제곱 자유 정수들의 집합 내에서 통계적으로 독립적임을 입증한다. 부분 집합 $T \subseteq \{p : p \mid n\}$에 속하는 소수들에 대한 특정 국소 조건을 실패하는 매개변수의 밀도는 각 개별 국소 실패 밀도의 곱이다.

5. 판별식 순서에 따른 체의 개수 (정리 1.4 및 3.13):
   $\mathbb{Z}[\alpha] = \mathcal{O}_K$가 체의 판별식이 다항식의 판별식과 같음을 의미한다는 사실을 활용하여, 저자들은 매개변수 계수를 판별식 $Y$에 의해 정렬된 동형 클래스(isomorphism classes)의 개수로 변환한다.
   $$N_n(Y) \sim \begin{cases} \delta_n X & \text{만약 } n \text{이 홀수이면} \\ 2\delta_n X & \text{만약 } n \text{이 짝수이면} \end{cases}$$
   여기서 $X = (Y/n^n)^{1/(n-1)}$이다.

6. 체 단일성과의 비교 (따름정리 1.3):
   본 논문은 $\alpha$-단일성과 일반적인 체 단일성 사이의 관계를 명확히 한다. $n=2$인 경우, 조건은 크게 다르다(예: $m \not\equiv 1 \pmod 4$). $n \ge 3$인 경우, 체는 단일하지만 $\mathbb{Z}[\alpha] \neq \mathcal{O}_K$인 제곱 자유 매개변수의 상대적 밀도는 제곱 자유 정수들 내에서 0이다. 따라서 $n \ge 3$에 대해 밀도 $\delta_n$은 진정한 체 단일성을 나타내는 밀도를 효과적으로 대변한다.

의의 및 주장
저자들은 자신들의 작업이 더 넓은 맥락에서 사용되는 더 복잡한 기구들을 피하고 오직 데데킨트의 지수 기준만을 사용하여 순수 가계에 대한 동치성을 입증하는 "짧은 증명"을 제공한다고 주장한다. 본 연구의 주요 의의는 일매개변수 가계 $X^n - m$에 대한 정확한 밀도 이론을 제공한다는 점에 있다. 특정 차수에 집중하거나 일반적인 근호 확장에 대한 상대적 기준을 사용했던 이전 연구들과 달리, 이 논문은 완전한 국소-전역(local-global) 기준과 $n$의 근호(radical)에만 의존하는 정밀한 밀도 공식을 전달한다.

저자들은 자신의 결과가 순수 가계에 국한되어 있지만, 이 부류에 대한 $\alpha$-단일성 문제를 완전히 해결했다고 겸허히 언급한다. 또한, "예외적인" 경우(체는 단일하지만 $\alpha$를 통해서는 그렇지 않은 경우)가 $n \ge 3$일 때 밀도 0을 가짐을 확립함으로써, 저자들은 자신들의 밀도 $\delta_n$이 $n \ge 3$인 순수 가계에서의 진정한 체 단일성에 대한 절대적인 양의 매개변수 밀도를 나타낸다고 주장한다. 이 연구는 또한 국소적 장애 패턴의 이해에 기여하며, 장애들이 독립적임을 보여주고 단일성이 보장되는 산술 급수를 구축하는 도구를 제공한다.