Integers that are sums of two cubes in the cyclotomic $\mathbb{Z}_p$-extension

기술 요약: 원환적 $\mathbb{Z}_p$-확장에 있어서 두 세제곱수의 합인 정수

문제 정의
본 논문은 $n$이 세제곱 자유(cubefree) 자연수이고 $x, y$가 $\mathbb{Q}$의 특정 무한 대수적 확장에 속할 때, 디오판토스 방정식 $n = x^3 + y^3$의 가해성(solvability)을 조사한다. 두 유리 세제곱수의 합으로 표현 가능한 자연수의 밀도는 $1/2$로 추측되지만, 본 연구는 보완적인 경우, 즉 $n$이 두 유리 세제곱수의 합이 아니라고 가정할 때, 더 큰 체(field)에서 $n$이 여전히 두 세제곱수의 합으로 표현 불가능하기 위한 조건이 무엇인지에 초점을 맞춘다. 구체적으로 저자는 $\mathbb{Q}$의 원환적 $\mathbb{Z}_p$-확장인 $\mathbb{Q}^{(p)}_\infty$와 특정 소수 순환 확장을 연구한다.

방법론
접근 방식은 타원 곡선의 이와사와 이론(Iwasawa theory)과 셀머 군(Selmer group)의 산술에 의존한다.

1. 타원 곡선 대응: 방정식 $n = x^3 + y^3$은 $x^3 + y^3 = nz^3$인 타원 곡선 $E_n$과 연관되며, 이는 베이어슈트라스 형식(Weierstrass form) $y^2 = x^3 - 432n^2$와 동형이다. 체 $L$에서의 해의 존재는 $E_n$이 비자명한 유리 토션 점을 갖지 않는다는 가정하에, $E_n(L)$의 계수(rank)가 양수인 것과 동치이다.
2. 이와사와 이론: 저자는 원환적 $\mathbb{Z}_p$-확장을 정의하는 체의 탑(tower) 내에서 $E_n$의 계수 성장을 분석한다. 이는 $p$-주 원 셀머 군 $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$와 이와사 대수 $\Lambda = \mathbb{Z}_p[[T]]$ 상의 모듈로서의 그 폰트랴긴 쌍대(Pontryagin dual)를 연구하는 것을 포함한다.
3. 불변량 및 소멸: 핵심적인 기술적 메커니즘은 특정 소수 $p$에 대해 셀머 군의 이와사와 $\mu$- 및 $\lambda$-불변량이 소멸함을 보이는 것이다. 이러한 불변량의 소멸은 무한 확장 위에서의 셀머 군이 자명하거나(trivial) 유한함을 의미하며, 이는 결과적으로 무한 확장 위에서 타원 곡선의 계수를 0으로 강제한다.
4. 유한 확장으로의 하강: 무한 원환적 탑에서 유한 소수 순환 확장 $L/\mathbb{Q}$로 결과를 확장하기 위해, 본 논문은 $p$-확장에서 이와사와 불변량의 성장을 제어하기 위해 키다의 공식(Kida's formula, Hachimori와 Matsuno에 의한)의 유사체를 활용한다.

주요 기여 및 결과

• 정리 1.2 ($\mathbb{Q}^{(p)}_\infty$에서의 비가해성):
  $n$을 두 유리 세제곱수의 합으로 표현할 수 없는 세제곱 자유 자연수라고 하자. $S$를 다음을 만족하는 소수 $p \geq 5$의 집합이라 하자:
  (a) $E_n$이 $p$에서 선형 좋은 보통 축소(good ordinary reduction)를 가진다;
  (b) 타테-샤파레비치 군 $\text{X}(E_n/\mathbb{Q})[p]$의 $p$-토션이 자명하다;
  (c) $p$가 축소된 곡선의 차수 $\# \tilde{E}_n(\mathbb{F}_p)$를 나누지 않는다.

  본 논문은 $S$의 자연 밀도가 $1/2$임을 증명한다. 또한, $p \in S$인 모든 $p$에 대하여, $n$은 $x, y \in \mathbb{Q}^{(p)}_\infty$인 $x^3 + y^3$으로 표현될 수 없다. 이 결과는 타테-샤파레비치 군의 유한성과 셀머 군의 코토션(cotorsion) 성질에 관한 카토(Kato)와 루빈(Rubin)의 연구에 기초한다.

• 정리 1.3 (소수 순환 확장에서의 비가해성):
  저자는 갈루아 군 $G \simeq \mathbb{Z}/p\mathbb{Z}$ ($p > 7$ 및 $p \in S$)를 갖는 유한 갈루아 확장 $L/\mathbb{Q}$로 결과를 확장한다. 분기되는 소수 $\ell$이 $6pn$을 나누지 않고$\tilde{E}n(\mathbb{F}\ell)[p] = 0$을 만족한다는 조건 하에, 본 논문은$n$이$L$에서 두 세제곱수의 합이 아님을 단언한다. 이는$\mathbb{Q}^{(p)}\infty$에서$L^{(p)}\infty$로 리프팅할 때 이와사와 불변량이 자명하게 유지됨을 보여줌으로써 달성된다.

• 구체적인 예시:
  본 논문은 이론을 설명하기 위해 $n=3$을 예로 든다. $3$은 유리 세제곱수의 합이 아니며, 소수$p=7$이 정리 1.2의 조건(좋은 보통 축소, Sha의 $p$-토션 자명성, 그리고 $7 \nmid \#\tilde{E}_3(\mathbb{F}_7)$)을 만족하므로, 본 논문은 $3$이$\mathbb{Q}$의 원환적$\mathbb{Z}7$-확장 내에서 두 세제곱수의 합이 될 수 없다고 결론짓는다. 나아가 본 논문은$\mathbb{Q}(\mu{29})$에 포함된 특정$\mathbb{Z}/7\mathbb{Z}$-확장에 정리 1.3을 적용한다.

의의 및 주장
본 논문은 정수가 두 유리 세제곱수의 합으로 표현되지 않는 조건이 거대한 소수 순환 확장들과 원환적 $\mathbb{Z}_p$-확장 내에서 어떻게 보존되는지를 제공한다고 주장한다. 그 의의는 디오판토스 문제(세제곱수의 합)를 이와사와 이론에서의 셀머 군의 구조적 성질과 연결하는 데 있다.

저자는 곡선 $E_n$이 2와 3에서 나쁜 축소(bad reduction)를 가지므로 좋은 보통 축소를 위한 요구 조건상 $p \geq 5$ 가정이 필요하다고 언급한다. 본 논문은 자신의 기여를 모든 확장에 대한 보편적인 진술이라기보다, "특정 거대한 가족"의 확장들에 대해 비가해성을 확립하는 것으로 겸허하게 규정한다. 또한, 결과가 성립하는 소수의 집합이 (모든 소수의 집합 내에서) 밀도 $1/2$을 갖는다는 점은 복소 곱(complex multiplication)을 갖는 곡선들에 대한 좋은 보통 축소를 갖는 소수의 밀도로부터 직접적인 결과임을 강조한다. 본 연구는 모든 $n$ 또는 모든 확장에 대한 일반적인 문제를 해결한다고 주장하는 것이 아니라, 특정하고 잘 정의된 맥락에서 해를 배제하기 위해 이와사와 불변량을 사용하는 엄밀한 틀을 제공한다.