[논문 리뷰] The Fermat-type equations x^5 + y^5 = 2z^p or 3z^p solved through Q-curves

Luís Dieulefait, Nuno Freitas|arXiv (Cornell University)|2011. 03. 28.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 $\mathbb{Q}$-곡선과 일반화된 모듈러성 기법을 사용하여 특정 무한한 소수 집합에서 페르마 유형 방정식 $x^5 + y^5 = 2z^p$와 $x^5 + y^5 = 3z^p$를 해결한다. 고전적 모듈러성 기법이 실패하는 경우에도, $d=2$의 경우 $p > 13$이고 $p \equiv 1 \pmod{4}$, $p \equiv \pm 1 \pmod{5}$인 소수에 대해 비자명한 원시적 해가 존재하지 않음을 증명하며, $d=3$의 경우 $p > 73$이고 $p \equiv 1 \pmod{4}$인 소수에 대해서도 동일한 결론을 이끌어내며, 갈루아 표현 이론과 새로운 모듈러형 형태 제거 기법을 활용한다.

ABSTRACT

We solve the Diophantine equations $x^5 + y^5 = dz^p$ with $d=2, 3$ for a set of prime numbers of density 1/4, 1/2, respectively. The method consists in relating a possible solution to another Diophantine equation and solving the later by using Q-curves and a generalized modular technique as in work of Ellenberg and Dieulefait-Jimenez along with some new techniques for eliminating newforms.

연구 동기 및 목표

• 고전적 모듈러성 기법이 실패하는 특정 무한한 소수 집합에서 $x^5 + y^5 = 2z^p$와 $x^5 + y^5 = 3z^p$의 디오판틴 방정식을 해결하는 것.
• 기존에 표준 타원곡선 기법으로는 해결이 어려웠던 $d=2$와 $d=3$의 경우에 대해, $\mathbb{Q}$-곡선과 일반화된 모듈러성 기법을 활용한 모듈러 접근법을 확장하는 것.
• 해결 가능한 $\mathbb{Q}$-곡선의 맥락에서 새로운 모듈러형 형태를 제거하기 위한 새로운 기법을 개발하고 적용하는 것.
• 갈루아 표현 이론과 체론 이론 도구를 사용하여, 밀도 $1/4$($d=2$)와 $1/2$($d=3$)인 소수 집합에서 비자명한 원시적 해가 존재하지 않음을 증명하는 것.

제안 방법

• $x^5 + y^5 = dz^p$의 해를 $\phi(a,b) = c^p$ 또는 $\phi(a,b) = 5c^p$의 해로 연결하며, 여기서 $\phi(a,b) = a^4 - a^3b + a^2b^2 - ab^3 + b^4$이며, 서로소 성질과 5진 정수 성질을 활용한다.
• $\omega = (-1 + \sqrt{5})/2$인 $\mathbb{Q}(\omega)$ 위에 정의된 프레이 $\mathbb{Q}$-곡선 $E$를 구성한다. 이 곡선은 $y^2 = x^3 + 2(a+b)x^2 - \bar{\omega}\phi_1x$로 정의되며, 갈루아 수반이 자신과 2-이소ogeny를 가지므로 $\mathbb{Q}$-곡선의 구조를 확인한다.
• $K = \sqrt[1]{\frac{1}{2}(5 + \sqrt{5})}$ 위에서 곡선의 트위스트 $E_\gamma$를 정의하며, $\gamma = 2\theta^2 - \theta - 5$로 설정하여, 위임 표현이 $GL_2$-유형 아보일리안 다양체로 분해되도록 보장한다.
• Ellenberg의 작업을 일반화하여 실이차수 체 위에서 이러한 표현의 전성(-surjectivity)을 확보함으로써, 갈루아 표현에 기반한 일반화된 모듈러성 기법을 적용한다.
• $\mathbb{Q}(\sqrt{5}, \sqrt{-2})$에서의 클래스 체론과 코사이클 계산을 통해 임베딩 문제를 해결하며, 이는 분포수 20인 분할 특성의 특성으로서의 $\gamma$의 명시적 구성으로 이어진다.
• 지역적 및 전역적 갈루아 정보를 활용하여, 해에 대응할 수 있는 잠재적 모듈러형 형태를 제거하기 위해 새로운 모듈러형 형태 제거 기법을 일반화하고 적용한다.

실험 결과

연구 질문

• RQ1 어떤 무한한 소수 집합 $p$에 대해 방정식 $x^5 + y^5 = 2z^p$가 비자명한 원시적 해를 가지지 않는가?
• RQ2 표준 모듈러성 기법이 실패하는 경우, $\mathbb{Q}$-곡선을 통한 모듈러성 기법을 $d=2,3$의 경우인 $x^5 + y^5 = dz^p$에 확장할 수 있는가?
• RQ3 일반화된 페르마 방정식을 해결할 때, $\mathbb{Q}$-곡선 맥락에서 새로운 모듈러형 형태를 제거하기 위해 어떤 새로운 기법이 필요한가?
• RQ4 비자명한 해를 배제하기 위해, 갈루아 표현의 전성 조건을 실이차수 확장으로 일반화할 수 있는가?
• RQ5 방정식 $x^5 + y^5 = 2z^p$와 $x^5 + y^5 = 3z^p$가 비자명한 해를 가지지 않는 소수의 정확한 밀도는 얼마인가?

주요 결과

• 모든 소수 $p > 13$에 대해 $p \equiv 1 \pmod{4}$이고 $p \equiv \pm 1 \pmod{5}$인 경우, $\gamma$가 $l \not\equiv 1 \pmod{5}$인 소수로만 나누어지는 조건에서, $x^5 + y^5 = 2\gamma z^p$는 비자명한 원시적 해가 존재하지 않는다.
• 모든 소수 $p > 73$에 대해 $p \equiv 1 \pmod{4}$인 경우, 동일한 $\gamma$ 조건 하에 $x^5 + y^5 = 3\gamma z^p$는 비자명한 원시적 해가 존재하지 않는다.
• 작도체 $K = \sqrt[1]{\frac{1}{2}(5 + \sqrt{5})}$ 위에서 $\mathbb{Q}$-곡선의 트위스트 $E_\gamma$를 구성하였으며, $\gamma = 2\theta^2 - \theta - 5$로 명시적으로 정의되며, 이는 $K$ 위에서 완전히 정의되고 스카우어 클래스가 자명하다.
• 해결은 실이차수 체 위에서 전성 조건이 확보된 갈루아 표현을 기반으로 한 일반화된 모듈러성 기법에 의존하며, 분포수 20인 특성과 차수 4인 특성으로 일반화된 결과를 도출한다.
• 논문은 $\mathbb{Q}$-곡선 맥락에서 새로운 모듈러형 형태를 제거하기 위한 새로운 기법을 도입하고 적용하였으며, 명시적 코사이클 계산과 이중이차 체에서의 임베딩 문제 해결을 통해 이를 실현하였다.
• 비자명한 해가 존재하지 않는 소수의 밀도는 $d=2$의 경우 $1/4$, $d=3$의 경우 $1/2$이며, 이는 제시된 합동 조건 하에서 성립한다.