On $p-$Rationality of Cubic and Quartic Number Fields

논문 개요

이 논문은 대수적 수론의 중요한 주제인 **p-합리성 (p-rationality)**을 다루며, 특히 **복소 3 차 수체 (complex cubic number fields)**와 **순허수 4 차 수체 (pure imaginary quartic number fields)**에 대한 새로운 판정 기준을 제시합니다. 저자들은 p-분할성 (p-divisibility) 과 3 차 재귀 수열 (third-order recurrence sequence) 의 관계를 규명하고, 일반화된 abc 추측 (generalized abc-conjecture) 을 가정할 때 p-합리성을 만족하는 수체가 무한히 존재함을 증명하며, 이를 통해 Greenberg 의 일반화 추측 (GGC) 을 만족하는 구체적인 수체들을 구성합니다.

1. 연구 문제 (Problem)

• p-합리성의 정의: 수체 $F$가 $p$-합리적이라는 것은 $p$ 위의 모든 분기점 (places) 에서 분기되지 않는 최대 프로-$p$ 확장 $M_{S_p}(F)$의 갈루아 군 $G_{S_p}(F)$가 자유 프로-$p$ 군 (free pro-p group) 인 것을 의미합니다.
• 현재의 한계: 2 차 수체나 완전 실수체 (totally real fields) 에 대해서는 p-합리성에 대한 연구가 많이 진행되었으나, 복소 3 차 수체나 순허수 4 차 수체와 같이 실수/허수 무한소가 섞인 경우나 차수가 높은 경우, p-합리성을 판별하는 구체적인 기준과 예시 구성이 부족했습니다.
• 주요 난제:
  • Gras 의 추측: 충분히 큰 소수 $p$에 대해 모든 수체는 p-합리적일 것이다.
  • Greenberg 의 추측: 임의의 홀수 소수 $p$와 정수 $t$에 대해, $Gal(F/\mathbb{Q}) \cong (\mathbb{Z}/2\mathbb{Z})^t$인 p-합리적 갈루아 확장 $F$가 존재한다.
  • 이러한 추측들을 검증하기 위해 구체적인 수체 예시를 찾고, p-합리성을 효율적으로 판별하는 알고리즘이 필요합니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구를 활용하여 문제를 접근했습니다.

1. 재귀 수열을 이용한 판정 기준 도출:
   • 복소 3 차 수체 $K$의 기본 단위 (fundamental unit) $\varepsilon$의 최소 다항식 $f(x) = x^3 - a_2x^2 - a_1x - a_0$로부터 정의된 3 차 재귀 수열 $F_n$을 도입했습니다.
   • 소수 $p$가 $K$에서 어떻게 분해되는지 (완전 분해, 부분 분해, 불변) 에 따라 $F_n$의 항이 $p^2$로 나누어지는지 여부가 $\varepsilon$의 $p$-차 거듭제곱 잉여 성질 ($\varepsilon^{p^f-1} \not\equiv 1 \pmod{p^{e+1}}$) 과 직접적으로 연결됨을 증명했습니다.
2. 일반화된 abc 추측의 활용:
   • 수체 $K$에 대해 일반화된 abc 추측이 성립한다고 가정하고, 단위 $\varepsilon$의 거듭제곱에 대한 소수 이상 (prime ideal) 의 분포를 분석했습니다.
   • 이를 통해 $x \to \infty$일 때, $K$가 p-합리적인 소수 $p \le x$의 개수가 $c \log x$ 이상임을 증명했습니다.
3. 이와와 (Iwasawa) 이론 및 Greenberg 추측과의 연결:
   • CM 체 (Complex Multiplication field) 와 그 실수 부분체에 대한 Iwasawa 불변량 ($\lambda, \mu, \nu$) 의 소멸 조건과 p-합리성의 관계를 분석하여, p-합리성이 Greenberg 의 일반화 추측 (GGC) 을 함의함을 보였습니다.
4. 계산적 검증:
   • PARI/GP 와 LMFDB (L-functions and Modular Forms Database) 데이터를 활용하여 판별식 절댓값이 3000 미만인 복소 3 차 및 순허수 4 차 수체들에 대해 p-합리성을 직접 계산하고 검증했습니다.

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

주요 정리 (Theorems)

• 정리 1.3 (새로운 판정 기준):
  • 복소 3 차 수체 $K$의 기본 단위 $\varepsilon$에 대응하는 재귀 수열 $F_n$을 정의했습니다.
  • 소수 $p$가 $K$에서 분해되는 방식 (완전 분해, 분해, 불변) 에 따라 $F_{p^k-1} \not\equiv 0 \pmod{p^2}$ 조건이 성립하면, $\varepsilon^{p^f-1} \not\equiv 1 \pmod{p^{e+1}}$이 성립함을 보였습니다.
  • 또한 $p \nmid h(K)$ (클래스 수와 $p$가 서로소) 일 때, 이 조건이 p-합리성을 보장함을 증명했습니다. 이는 p-합리성을 판별하는 매우 실용적인 기준을 제공합니다.
• 정리 1.4 (점근적 존재성):
  • 일반화된 abc 추측이 성립한다고 가정하면, 임의의 복소 3 차 또는 순허수 4 차 수체 $K$에 대해, $K$가 p-합리적인 소수 $p$의 개수가 $x$까지 $c \log x$ 이상 존재함을 증명했습니다. 이는 p-합리적 수체가 매우 흔함을 시사합니다.

구체적 예시 및 계산 결과

• 예시 5.1: $K = \mathbb{Q}(\sqrt[3]{p^3-1})$ 형태의 수체들을 분석하여, $5 \le p \le 10000$ 범위에서 대부분의 소수 $p$에 대해 p-합리적임을 확인했습니다. 특히 $p=2791$을 제외한 모든 경우에 대해 p-합리성이 성립함을 보였습니다.
• 예시 5.2: $f(x) = x^4 - 2x^2 + 3$으로 정의된 순허수 4 차 수체 $K = \mathbb{Q}(\sqrt{1+\sqrt{-2}})$가 $p=5$에서 5-합리적임을 계산적으로 증명했습니다.
• Greenberg 추측 (GGC) 만족:
  • p-합리성과 GGC 의 관계를 규명하여, 특정 조건 (예: $p \nmid h(K)$) 하에서 p-합리적 수체가 GGC 를 만족함을 보였습니다.
  • $L = \mathbb{Q}(\sqrt[3]{p^2-4}, \sqrt{-1})$와 같은 6 차 수체들에 대해 무한히 많은 소수 $p$에 대해 GGC 가 성립함을 증명했습니다.

데이터베이스 (Tables)

• Table 1 & 2: 판별식 $|d_K| < 3000$인 419 개의 복소 3 차 수체와 147 개의 순허수 4 차 수체에 대해 $5 \le p \le 100$인 소수들을 대상으로 p-합리성을 계산했습니다.
• 대부분의 경우 p-합리성이 성립하며, p-합리성이 성립하지 않는 (또는 추가 검증이 필요한) 구체적인 다항식과 소수 $p$를 표로 정리하여 제공했습니다.

4. 의의 및 중요성 (Significance)

1. 새로운 판정 도구의 제공: 기존에 복잡했던 p-합리성 판정을, 수체의 기본 단위로부터 유도된 재귀 수열의 단순한 모듈로 조건으로 환원시킴으로써 계산 효율성을 크게 높였습니다.
2. 구체적 예시 확보: Gras 의 추측과 Greenberg 의 추측을 검증하기 위해, 복소 3 차 및 4 차 수체라는 새로운 영역에서 p-합리성을 만족하는 구체적인 무한한 수체족을 구성했습니다.
3. GGC 와의 연결: p-합리성이라는 국소적 성질이 Greenberg 의 일반화 추측 (전역적 성질) 을 함의할 수 있음을 보여주어, Iwasawa 이론과 수체론의 연결 고리를 강화했습니다.
4. 계산적 검증: 대규모 데이터베이스를 활용한 계산을 통해 이론적 결과를 실증적으로 뒷받침하며, 향후 연구에 대한 기준 데이터 (benchmark) 를 제공했습니다.

결론

이 논문은 p-합리성 연구의 지평을 2 차 및 완전 실수체를 넘어 복소 3 차 및 4 차 수체로 확장시켰습니다. 재귀 수열을 이용한 효율적인 판정 기준과 일반화된 abc 추측을 통한 존재성 증명, 그리고 구체적인 계산 예시들을 통해, p-합리성 이론의 발전과 Greenberg 추측의 검증에 중요한 기여를 했습니다.