[논문 리뷰] Recipes to Fermat-type equations of the form x^r + y^r = Cz^p

Nuno Freitas|arXiv (Cornell University)|2012. 03. 15.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 5

한 줄 요약

이 논문은 전체 실 수체 위의 모듈라 형식을 이용한 다중 프라이 곡선 전략을 개발하여, 충분히 큰 소수 $p$에 대해 $x^7 + y^7 = 3z^p$의 비자명한 원시 해가 존재하지 않음을 증명한다. $\mathbb{Q}(\zeta_7)^+$에서 관련 프라이 곡선의 모듈라성과 기약성을 증명하고, 관련 힐버트 및 고전적 새로운 형식들을 계산적으로 제거함으로써, $p > (1 + 3^{18})^2$일 때 이러한 해가 존재하지 않음을 입증한다. 이는 서명 $(7,7,p)$를 가진 방정식에 대한 모듈라 방법에서 중요한 진전을 이룬다.

ABSTRACT

We describe a strategy to attack infinitely many Fermat-type equations of signature $(r,r,p)$, where $r \geq 7$ is a fixed prime and $p$ is a prime allowed to vary. We use a variant of the modular method over totally real subfields of $\mathbb{Q}(ζ_r)$. In particular, to a solution $(a,b,c)$ of $x^r + y^r =Cz^p$ we will attach several Frey curves $E=E_{(a,b)}$. We prove modularity of all the Frey curves and the exsitence of a constant constant $M_r$, depending only on $r$, such that for all $p>M_r$ the representations $\barρ_{E,p}$ are absolutely irreducible. Along the way, we also prove modularity of certain elliptic curves that are semistable at all $v \mid 3$.\par Finally, we illustrate our methods by proving arithmetic statements about equations of signature $(7,7,p)$. Among which we emphasize that, using a multi-Frey technique, we show there is some constant $M$ such that if $p > M$ then the equation $x^7 + y^7 = 3z^p$ has no non-trivial primitive solutions.

연구 동기 및 목표

• 고정된 $r \geq 7$에 대해 $p$가 변하는 서명 $(r,r,p)$를 가진 무한히 많은 페르마 유사 방정식을 공격하기 위한 일반 전략을 개발하는 것.
• $x^r + y^r = Cz^p$ 형태의 방정식에 대해 $\mathbb{Q}(\zeta_r)$의 전체 실 부분체, 특히 $K^+ = \mathbb{Q}(\zeta_r)^+$로 모듈라 방법을 확장하는 것.
• $p > M_r$인 모든 $p$에 대해 잔여 갈루아 표현 $\bar{\rho}_{E,p}$의 모듈라성과 절대 기약성을 증명하여 수준 낮추기 논증을 가능하게 하는 것.
• $C=3$ 및 $r=7$의 구체적 경우에 적용하여, 큰 $p$에 대해 유한한 해만 존재함을 보이는 것.
• 모듈라 방법의 모순 단계를 완성하기 위해 관련 공간 내 모든 후보 새로운 형식을 제거하여 $x^7 + y^7 = 3z^p$의 경우를 해결하는 것.

제안 방법

• 서명 $(r,r,p)$의 방정식 $x^r + y^r = Cz^p$의 잠재적 원시 해 $(a,b,c)$에 대해, 전체 실 수체 $K^+ = \mathbb{Q}(\zeta_r)^+$ 위에 다중 프라이 곡선 $E_{(a,b)}^{(i,j,k)}$를 부착하는 것.
• 수준 낮추기 및 모듈라성 증명 올림프 정리 등을 이용하여 $K^+$ 위에서 모든 구성된 프라이 곡선의 모듈라성을 증명하는 것.
• 모든 $p > M_r$에 대해 $p$ 모듈로 갈루아 표현 $\bar{\rho}_{E,p}$의 절대 기약성을 확보하는 것. 여기서 $M_r$은 $r$에만 의존하는 값이며, 표현이 새로운 형식에 대응함을 보장한다.
• 힐버트 새로운 형식과 $\mathbb{Q}$ 위의 고전적 새로운 형식을 사용하여 프라이 곡선에서 유래하는 가능한 갈루아 표현을 분류하는 것.
• Magma를 사용하고 노름 200까지의 푸리에 계수 데이터를 활용하여, 수준 $2^s 3 \pi_7^t$ (여기서 $s \in \{0,1,3,4\}$, $t=1,2$)인 공간 내 후보 새로운 형식들을 계산적으로 제거하는 것.
• 남은 모든 새로운 형식을 제거하기 위해 13과 41 위의 소수를 이용한 모순 논증을 적용하여, $x^7 + y^7 = 3z^p$에 대한 모듈라 방법을 완성하는 것.

실험 결과

연구 질문

• RQ1 모듈라 방법은 고정된 $r \geq 7$에 대해 $p$가 변하는 서명 $(r,r,p)$를 가진 무한히 많은 페르마 유사 방정식에 확장될 수 있는가?
• RQ2 $x^7 + y^7 = 3z^p$에 대해, 모든 비자명한 원시 해가 존재하지 않는 상수 $M$이 존재하는가? ($p > M$일 때)
• RQ3 $K^+ = \mathbb{Q}(\zeta_7)^+$ 위의 다중 프라이 곡선을 사용하여 모듈라 방법을 강화하고 단일 곡선 접근의 한계를 극복할 수 있는가?
• RQ4 이 설정에서 충분히 큰 모든 $p$에 대해 $p$ 모듈로 갈루아 표현 $\bar{\rho}_{E,p}$는 절대 기약적인가?
• RQ5 부분적인 푸리에 계수 데이터를 사용하여 고차원 공간 내 힐버트 새로운 형식의 계산적 제거가 가능한가?

주요 결과

• 논문은 모든 $p > (1 + 3^{18})^2$에 대해 방정식 $x^7 + y^7 = 3z^p$가 비자명한 원시 해를 가지지 않음을 증명한다.
• 다중 프라이 곡선에 부착된 $p$ 모듈로 갈루아 표현 $\bar{\rho}_{E,p}$와 $\bar{\rho}_{E',p}$는 모든 $p > (1 + 3^{18})^2$에 대해 절대 기약적이다.
• 수준 $2^3 3 \pi_7$인 모든 56개의 유리 새로운 형식은 13과 41 위의 소수를 사용하여 계산적으로 제거되었으며, 이는 $p > 5$일 때 모순을 확인함으로써 뒷받침된다.
• 수준 $2^3 3 \pi_7^2$인 모든 152개의 유리 새로운 형식은 노름 200까지의 푸리에 계수 데이터를 사용하여 제거되었으며, 비유리 새로운 형식들은 이전 섹션에서와 동일한 논증으로 제거되었다.
• 모든 비자명한 원시 해가 존재하지 않는 상수 $M_3$의 존재가 입증되었으며, $M_3 = (1 + 3^{18})^2$이다.
• 모듈라성, 기약성, 고전적 및 힐버트 모듈라 형식에서의 새로운 형식의 계산적 제거를 통합함으로써, 이 방법은 $r=7$, $C=3$의 경우에 성공적으로 적용되었다.