The minimal periodicity for integral bases of pure number fields

기술 요약: 순수 수체(Pure Number Fields)의 정수 기저에 대한 최소 주기성

문제 정의
본 논문은 $K_a = \mathbb{Q}(\theta)$ (여기서 $\theta^n = a$)인 순수 수체의 정수 환 $\mathcal{O}_{K_a}$를 결정하는 고전적인 문제를 다룬다. 구체적으로, 매개변수 $a$가 변함에 따라 정수 기저의 "형태(shape)"가 어떻게 변화하는지에 대한 주기성을 조사한다. 이전 연구들(예: 낮은 차수에 대한 Gaál–Remete, 일반적인 $n$에 대한 Jakhar–Khanduja–Sanggan)은 정수 기저의 구조가 $a$에 대해 주기적임을 확립하였으나, 모든 $n \ge 3$에 대해 이 주기성을 지배하는 정밀한 최소 모듈러스(minimal modulus)를 엄밀하게 결정하지는 못했다. 핵심 질문은 다음과 같다: 만약 $a \equiv a' \pmod{M(n)}$라면, $\mathbb{Q}(\sqrt[n]{a})$의 정수 기저 구조가 $\mathbb{Q}(\sqrt[n]{a'})$의 구조와 동일하게 만드는 가장 작은 모듈러스 $M(n)$은 무엇인가?

방법론
저자는 가설 (H)(여기서 $a$는 $n$제곱-자유(n-th power-free)이며 $n$을 나누는 소수들에 대해 특정 밸류에이션 조건을 만족해야 함) 하에서 Jakhar–Khanduja–Sanggan [JKS21]이 구축한 명시적인 $p$-진 불변량 및 정수 기저에 의존하는 "국소-전역(local-to-global)" 접근법을 사용한다.

1. 형태(Shape)의 정의: 본 논문은 정수 기저의 "형태"라는 개념을 공식화한다. 고정된 좌표계 $\{1, \theta, \dots, \theta^{n-1}\}$에서, 정수 기저는 유리스 계수를 가진 원소들의 집합으로 표현된다. 형태 $S(a)$는 각 $p \mid n$에 대한 국소 형태 $S_p(a)$의 튜플로 정의된다. 각 국소 형태 $S_p(a)$는 다음으로 구성된다:
   • 기저 원소들에 대한 $p$-진 분모 지수(denominator exponents) $k_{p,m}$의 수열.
   • $p^{k_{p,m}}$로 축약된 그에 대응하는 선형 보정 항(linear correction terms) $\beta_m$.
2. 국소 분석: 저자는 이러한 국소 불변량이 매개변수 $a$에 어떻게 의존하는지 분석한다. [JKS21]의 명시적 공식을 사용하여, 국소 $p$-형태는 불변량 $d_p(a) = \min\{v_p(a^{p-1}-1)-1, e\}$ (여기서 $p^e \parallel n$)와 $a \pmod{p^{k_{p,m}+1}}$의 잔여(residue)에 의해 결정됨을 보여준다.
3. 날카로움(Sharpness) 논증: 저자는 $p^e$에 대해서는 합동이지만 $p^{e+1}$에 대해서는 그렇지 않은 특정한 정수 쌍 $a, a'$를 구성하여, 국소 형태가 변함을 입증한다. 이는 국소 형태를 고정하기 위해 $p^{e+1}$의 정밀도가 필요하며 충분하다는 것을 증명한다.
4. 전역 합성: 중국인의 나머지 정리(Chinese Remainder Theorem)에 의해, 전역 형태는 $n$을 나누는 모든 소수에서의 국소 형태에 의해 결정된다. 따라서 최소 전역 모듈러스는 최소 국소 모듈러스들의 곱이다.

주요 결과

• 최소 모듈러스: 본 논문은 정수 기저 형태의 최소 주기가 다음과 같음을 증명한다:
  $$M(n) = \prod_{p^e \parallel n} p^{e+1} = n \cdot \text{rad}(n)$$
  여기서 $\text{rad}(n)$은 서로 다른 소인수들의 곱이다.
• 국소-전역 원리 (정리 3.1):
  • 국소 결정성: $p \mid n$이고 $p^e \parallel n$인 각 소수 $p$에 대하여, 국소 형태 $S_p(a)$는 $a \pmod{p^{e+1}}$의 잔여 클래스에 의해서만 결정된다.
  • 국소 날카로움: 모듈러스 $p^{e+1}$은 최적이다; $p^e$는 형태를 결정하기에 불충분하다.
  • 전역 최소성: 전역 형태 $S(a)$는 $M(n)$에 대해 주기적이며, $M(n)$은 최소인 그러한 모듈러스이다. 만약 $a \equiv a' \pmod{M(n)}$이면, $S(a) = S(a')$이다.
• 이전 연구와의 비교:
  • $n$이 제곱-자유(squarefree)인 경우, $M(n) = n^2$이 되어, 낮은 차수에 대해 Gaál–Remete [GR17]가 관찰했던 $n^2$-주기성을 회복한다.
  • $n$이 제곱-자유가 아닌 경우, $M(n) < n^2$이며, $n^2$ 경계가 타당하지 않은 지점을 정확히 짚어낸다.
• 계산적 결과 (정리 3.5): $a \pmod{M(n)}$에 의해 인덱싱되는 유한한 룩업 테이블(lookup table) $T(n)$의 존재가 확립된다. 이 테이블을 통해 국소 불변량을 재계산할 필요 없이 임의의 유효한 $a$에 대한 정수 기저 형태를 즉각적으로 결정할 수 있으며, 이는 [JKS21]의 레시피를 사용하여 순수하게 국소적으로 채울 수 있다.
• 상대적 주기성 (명제 3.6): 이 결과는 $\gcd(n, \Delta_L) = 1$인 수체 $L/\mathbb{Q}$에 대한 상대 확장 $L(\sqrt[n]{a})/L$로 확장되며, 동일한 최소 주기 $M(n)$을 유지한다.

응용 및 의의

본 논문은 이 최소 주기성으로부터 파생되는 몇 가지 즉각적인 응용을 주장한다:

1. 날카로운 국소 인덱스 테스트: 결과는 인덱스 $[\mathcal{O}_{K_a} : \mathbb{Z}[\theta]]$의 $p$-부분에 대한 정밀한 기준을 제공한다. 구체적으로, $p \parallel n$일 때, 인덱스가 $p$로 나누어질 필요충분조건은 $a^{p-1} \equiv 1 \pmod{p^2}$ (Wieferich 유형 조건)이다. 본 논문은 이를 결정하는 불변량이 $a \pmod{p^e}$가 아니라 $a \pmod{p^{e+1}}$에 대한 지식(즉, $d_p(a)$)을 요구한다는 점을 명확히 한다.
2. 명시적 판별식 도약(Discriminant Jumps): $a$가 변함에 따라 판별식 $d_{K_a}$의 $p$-진 밸류에이션이 어떻게 변하는지 분석한다. $a$가 $p^e$에서 $p^{e+1}$로 넘어가는 임계값을 지날 때 "최종 도약"이 발생함을 보여줌으로써 모듈러스의 최소성을 확인한다.
3. 계수 및 밀도: 형태가 $a \pmod{M(n)}$의 클래스 함수이기 때문에, 본 논문은 등분포(equidistribution) 결과를 확립한다. $n$-제곱-자유 정수들 사이에서 특정 정수 기저 형태가 나타나는 빈도에 대한 점근 공식과 자연 밀도를 제공한다. 전역 밀도는 $p^{e+1}$에 대한 잔여 클래스에 부착된 국소 비율들의 곱으로 인수분해된다.

의의
본 논문의 주요 기여는 순수 수체에서 나타나는 주기성 현상을 통합하고 공식화하는 것이다. "형태"라는 개념을 도입하고 최소 모듈러스 $M(n) = n \cdot \text{rad}(n)$을 증명함으로써, 정수 기저를 결정하기 위해 얼마나 많은 $p$-진 정보가 엄격히 필요한지에 대한 질문을 해결한다. 이 연구는 $n$에 포함된 $p$의 지수보다 "하나 더 많은 $p$-진 자릿수"가 필요한 정확한 임계치임을 보여주며, 순수 체들의 계열에서 관찰되는 규칙성에 대한 날카로운 국소-전역적 설명을 제공한다. 이는 낮은 차수에서 사용되었던 임시방편적인 사례별 분석에 대한 통일된 대안을 제시한다.