Non-trivial Integer Solutions of $x^r+y^r=Dz^p$

기술 요약: $x^r + y^r = D z^p$의 비자명 정수해

문제 정의
본 논문은 계수 $D$를 갖는 일반화된 페르마 방정식 형태인 $(r, r, p)$ 시그니처의 방정식을 조사한다:
$$x^r + y^r = D z^p, \quad x, y, z \in \mathbb{Z}$$
여기서 $r \geq 5$는 고정된 유리 소수이며, $p$는 $r$과 다른 유리 소수이고, $\gcd(r, D) = 1$이다. 저자들은 충분히 큰 $p$에 대하여, 이 방정식이 비자명한 원시 정수해(primitive integer solutions, $\gcd(x,y,z)=1$ 및 $xyz \neq 0$인 경우)를 갖지 않음을 증명하고자 한다. 본 연구는 $x=1, D=\pm(1+y^r), z=\pm 1$의 형태를 제외함으로써 자명한 해(trivial solutions)의 정의를 확장한다.

방법론: 전실수체 위에서의 모듈러 방법(The Modular Method over Totally Real Fields)
저자들은 윌스(Wiles)가 페르마의 마지막 정리를 위해 개척하고 전실수체 위의 타원 곡선으로 적응시킨 전략인 모듈러 방법을 사용한다. 이 접근 방식은 세 가지 뚜렷한 단계로 진행된다:

1. 프레이 타원 곡선(Frey Elliptic Curve)의 구성:
   Freitas [Fre15]의 레시피를 따라, 저자들은 $K = \mathbb{Q}(\zeta_r + \zeta_r^{-1})$인 $r$차 원분체의 최대 전실수 부분체 위에 정의된 프레이 타원 곡선 $E$를 가상의 해 $(x,y,z)$와 연관시킨다. 이 곡선은 다음과 같은 방정식으로 주어진다:
   $$E: Y^2 = X(X - A)(X + B)$$
   여기서 $A, B, C$는 $K$ 위에서 $x^r + y^r$의 인수분해로부터 구성된다. 구체적으로, $A = (\alpha_1 - \alpha_2)f_0$, $B = (\alpha_2 - 2)f_1$, $C = (2 - \alpha_1)f_2$이며, 여기서 $f_i$는 거듭제곱 합의 이차 인자들이다. $E$의 판별식은 $\Delta_E = 16(ABC)^2$로 명시적으로 주어지며, 필요한 분기 성질(ramification properties)을 만족한다.

2. 모듈러성 및 레벨 낮추기(Modularity and Level Lowering):
   저자들은 Freitas와 Siksek [FS15a]가 확립한 전실수체 위의 타원 곡선에 대한 모듈러성 결과에 의존한다. 저자들은 충분히 큰 $p$에 대하여, 프레이 곡선 $E$가 모듈러이며 잔여 갈루아 표현(residual Galois representation) $\bar{\rho}_{E,p}$가 기약(irreducible)임을 증명한다. 레벨 낮추기 정리를 사용하여, 저자들은 $\bar{\rho}_{E,p}$가 평행 가중치 2와 레벨 $N_p$를 갖는 힐베르트 뉴폼(Hilbert newform) $f$에 부착된 표현 $\bar{\rho}_{f,p}$와 동형임을 도출한다. 이때 $N_p$는 특정 해 $(x,y,z)$가 아닌 $D$와 $r$에 의해서만 결정된다.

3. 가설을 통한 제거(Elimination via Conjectures):
   마지막 단계는 그러한 뉴폼 $f$가 존재할 가능성을 제거하는 것이다. 저자들은 힐베르트 뉴폼을 제거하는 문제를 특정 컨덕터(conductor)를 갖는 타원 곡선을 제거하는 문제로 변환한다. 이는 두 가지 주요 이론적 도구를 통해 달성된다:

• 아이클러-시무라 대응(Eichler–Shimura Correspondence): 특정 사례(정리 3.9에 상세 기술됨)에서, 유리 힐베르트 뉴폼은 $K$ 위의 타원 곡선에 대응한다.
• 약한 프레이-마주 추측(Weak Frey–Mazur Conjecture): 저자들은 고정된 타원 곡선 $E_0$에 대하여, 만약 $p$가 충분히 크다면 $\bar{\rho}_{E,p} \cong \bar{\rho}_{E_0,p}$를 만족하는 임의의 곡선 $E$가 $E_0$와 아이소제니(isogenous) 관계에 있다고 가정하는 추측(추측 3.10)을 채택한다.

주요 기여 및 결과
본 논문은 표준적인 가설들에 의거하여, 무수히 많은 경우에 대해 이 방정식의 비자명한 원시해가 존재하지 않음을 입증한다. 결과는 $r \pmod 4$의 합동 조건에 따라 나뉜다:

• 정리 1.1 (제1 주요 정리): 약한 프레이-마주 추측을 가정할 때:

  • 만약 $r \equiv 3 \pmod 4$이면, 모든 $p > B_{r,D}$에 대하여 방정식은 비자명한 원시해를 갖지 않는 상수 $B_{r,D}$가 존재한다. 이 경우 $K$의 $\mathbb{Q}$에 대한 차수가 홀수이므로 아이클러-시무라 대응이 무조건적으로 성립한다.
  • 만약 $r \equiv 1 \pmod 4$이면, 모든 $p > B'_{r,D}$에 대하여 방정식은 $r \mid z$인 비자명한 원시해를 갖지 않는 상수 $B'_{r,D}$가 존재한다. 이 경우는 정리 3.9(2)의 조건을 만족하기 위해 $r$ 위의 소 $\beta$에서의 관성 이미지(inertia image)에 대한 추가적인 분석을 필요로 한다.

• 정리 1.3 (제2 주요 정리): 약한 프레이-마주 추측과 아이클러-시무라 추측(추측 3.8)을 모두 가정할 때, $r \equiv 1 \pmod 4$인 경우에도 $r \mid z$라는 제한 없이 결과가 성립한다.

상수 $B_{r,D}, B'_{r,D}, B''_{r,D}$는 약한 프레이-마주 추측에 내재된 상수들에 의존하므로 비효과적(non-effective)이다.

의의 및 범위
저자들은 본 연구를 고정된 $r \geq 5$에 대한 일반화된 페르마 방정식 $(r,r,p)$의 해결을 완성하는 작업으로 규정하며, 이는 기존의 무조건적 결과들(표 1.1에 요약됨)에 남겨진 공백을 메우는 것이다. 본 논문은 그 주요 기여가 다음 두 가지임을 명시한다:

1. 강력하지만 표준적인 분야의 가설들을 가정함으로써 이러한 사례들에 대한 증명을 제공하는 것.
2. 전실수체 위에서의 모듈러 방법에 대한 간결한 조사를 제공하며, 특히 제거 단계에서 아이클러-시무라 대응과 프레이-마주 추측 사이의 상호작용을 강조하는 것.

저자들은 이 접근 방식이 전문가들에게는 익숙한 것이나, 타원 곡선을 제거하기 위해 아이클러-시무라 대응을 프레이-마주 추측과 결합하여 사용하는 구체적인 적용 방식은 기존 문헌에서 광범이하게 논의되지 않았음을 언급한다. 본 연구는 주어진 레벨에서의 모든 힐베르트 뉴폼을 명시적으로 계산하는 계산적 어려움을 피하는 대신, 특정 감소 성질(reduction properties)을 갖는 타원 곡선의 연구로 문제를 환원한다.