[논문 리뷰] Galois representations attached to Q-curves and the generalized Fermat equation A^4 + B^2 = C^p

Jordan S. Ellenberg|ArXiv.org|2003. 11. 27.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 8

한 줄 요약

이 논문은 $p \geq 211$ 일 때 일반화된 페르마 방정식 $A^4 + B^2 = C^p$ 가 비자명한 서로소 정수 해를 가지지 않음을 증명한다. 이를 위해 허수 정수환 위의 $\mathbb{Q}$-곡선에 부착된 모듈로 $p$ 갈루아 표현의 상연성 결과를 확립하며, 평균 $L$-함수 특수값의 해석적 추정을 사용하여 악한 감소 조건과의 모순을 통해 해가 존재하지 않음을 규명한다.

ABSTRACT

We show that the mod p Galois representations attached to a Q-curve E of degree d over an imaginary quadratic number field K are surjective for all p larger than some constant M_{K,d}, if E has potentially multiplicative reduction at any prime not dividing 6. The proof uses Mazur's formal immersion method, a result of Darmon and Merel on non-split modular curves, and an analytic argument showing that Jacobians of certain twisted modular curves admit quotients with Mordell-Weil rank 0. In combination with a previous theorem of the author and Skinner on modularity of Q-curves, the surjectivity result allows one to show that the generalized Fermat equation A^4 + B^2 = C^p has no nontrivial primitive solutions for p >= 211.

연구 동기 및 목표

• 허수 정수환 위의 $\mathbb{Q}$-곡선에 대한 모듈로 $p$ 갈루아 표현의 상연성 정리를 확립하여, 모듈러 타원곡선에 사용된 기법들을 확장한다.
• 일반화된 페르마 방정식 $A^4 + B^2 = C^p$ 가 $p \geq 211$ 일 때 원시적 비자명 해를 가지지 않음을 증명한다.
• $\mathbb{Q}$-곡선의 산술과 페르마의 마지막 정리 증명에 사용된 모듈러성 방법 사이의 격차를 메운다.
• 모든 소수 $p > M_{K,d}$ 에 대해, 모듈로 $p$ 갈루아 표현이 상사적이거나 곡선이 모든 소수에서 잠재적으로 양호한 감소를 갖는다. 이를 만족하는 효과적 상한 $M_{K,d}$ 를 제공한다.
• 남은 경우들, 즉 $p < 211$ 일 때는 특정 모듈러 형식이 $L$-값이 0이 아니라는 가정 하에 유한한 계산으로 해결 가능함을 보인다.

제안 방법

• 마줄, 모모세, 다르몬, 메렐의 기하 기법을 허수 정수환 위의 $\mathbb{Q}$-곡선에 적용한다.
• 이전 연구에서 C. 스키너와 함께 확립한 $\mathbb{Q}$-곡선에 대한 모듈러성 정리를 적용하여 $A^4 + B^2 = C^p$ 의 해에 갈루아 표현을 부착한다.
• 문헌 [14] 에서 제시된 $L$-함수 특수값의 평균 해석적 추정을 사용하여, 새로운 형식의 공간에서 특정 내적의 0이 아님을 보인다.
• 프리케 호환과 변형된 모듈러 곡선 $X_0^s(m;p)$ 및 $X_0^{ns}(m;p)$ 를 사용하여 갈루아 표현의 구조를 분석한다.
• 사영 모듈로 $p$ 갈루아 표현 $\mathbb{P}\bar{\rho}_{E,p}$ 의 상을 분석하여, $p \geq 211$ 일 때 이 표현의 상이 비분할 카르탕 부분군의 정규화군 안에 있음을 보인다.
• 이 상 분석 결과를 바탕으로 모순 증명을 수행한다: 만약 상이 비분할 카르탕 부분군의 정규화군 안에 있다면, $E$ 는 모든 소수에서 잠재적으로 양호한 감소를 가져야 하는데, 이는 $p$ 의 소수 위에서 알려진 악한 감소 조건과 모순된다.

실험 결과

연구 질문

• RQ1 어느 소수 $p$ 에 대해 방정식 $A^4 + B^2 = C^p$ 가 비자명한 서로소 정수 해를 가지지 않는가?
• RQ2 허수 정수환 $K$ 위의 $\mathbb{Q}$-곡선에 부착된 모듈로 $p$ 갈루아 표현이 언제 상사적인가?
• RQ3 레벨이 $p^2$ 또는 $2p^2$ 인 새로운 형식에 부착된 $L$-함수의 해석적 성질을 사용하여 일반화된 페르마 방정식의 해를 배제할 수 있는가?
• RQ4 레벨이 $d$ 인 $\mathbb{Q}$-곡선에 대해, 모듈로 $p$ 갈루아 표현이 보장적으로 상사적이게 되는 최소의 $p$ 는 무엇인가?
• RQ5 모든 $17 \leq p < 211$ 인 경우는 특정 모듈러 형식이 $L$-값이 0이 아니라는 사실을 확인함으로써 유한한 계산으로 해결할 수 있는가?

주요 결과

• 방정식 $A^4 + B^2 = C^p$ 는 $p \geq 211$ 일 때 비자명한 서로소 정수 해를 갖지 않는다.
• 모든 소수 $p > M_{K,d}$ 에 대해, $\mathbb{Q}$-곡선 $E/K$ 의 모듈로 $p$ 갈루아 표현 $\mathbb{P}\bar{\rho}_{E,p}$ 는 $E$ 가 $6$ 을 나누지 않는 모든 소수에서 잠재적으로 양호한 감소를 갖지 않는 한 상사적이다.
• $M_{K,d}$ 는 $K$ 와 $d$ 에 따라 달라지지만, $E$ 의 선택과 무관하며, 효과적이다.
• $p \geq 211$ 일 때 $\mathbb{P}\bar{\rho}_{E,p}$ 의 상은 $\mathrm{PGL}_2(\mathbb{F}_p)$ 의 비분할 카르탕 부분군의 정규화군 안에 있으며, 이는 $p$ 에서의 악한 감소와의 모순을 초래한다.
• 레벨이 $p^2$ 인 새로운 형식 $f$ 에 대해 $w_p f = f$ 이고 $L(f \otimes \chi, 1)$ 이 0이 아니면, 그러한 $p$ 에 대해 해가 존재하지 않음을 의미한다.
• $p > 13$ 일 때, $S_2(\Gamma_0(2p^2))$ 에서 $w_p f = f$ 이고 $w_2 f = -f$ 를 만족하는 새로운 형식이 존재하면, 이 역시 비자명한 해가 존재하지 않음을 의미한다.