[논문 리뷰] An image of inertia argument for abelian surfaces and Fermat equations of signature (13,13,n)

Nicolas Billerey, Iimin Chen외 3명|arXiv (Cornell University)|2018. 02. 12.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 1

한 줄 요약

이 논문은 모든 $n \geq 2$ 에 대해 $x^{13} + y^{13} = 3z^n$ 의 비자명한 정수해가 존재하지 않음을 증명한다. 2차 곡선의 양류에 대한 7-torsion에서 발생하는 갈루아 모듈러 장애를 해결함으로써, 저자들은 모듈러성의 활용을 통해 모듈러 아벨 곡면에 대한 '자기 사영 성질'을 적용하여 해를 제거한다.

ABSTRACT

Building on previous work, we show that, for any integer $n \geq 2$, the equation $$x^{13} + y^{13} = 3 z^n$$ has no non-trivial solutions. For this, we need to deal with the obstruction which arises from the fact that the $7$-torsion of one of the Frey curves associated to this equation is a Galois submodule of the $7$-torsion of the Jacobian of a certain genus $2$ hyperelliptic curve~$C$. We remove this obstruction by combining the modularity of the Jacobian of $C$ with an `image of inertia argument' applied to that surface.

연구 동기 및 목표

• $x^{13} + y^{13} = 3z^n$ 과 관련된 프레이 곡선의 7-torsion이 2차 곡선의 양류의 갈루아 모듈러 장애를 해결하기 위해.
• 일반화된 페르마 방정식의 맥락에서 아벨 곡면에 대한 모듈러성 기법을 확장하기 위해.
• 비자명한 갈루아 작용이 토션 점에 영향을 미쳐 전통적인 모듈러성 승격 정리가 실패하는 상황을 극복하기 위해.
• 기하학적 및 갈루아 이론적 방법을 통해 주어진 디오판틴 방정식에 대한 비자명한 해의 존재하지 않음을 입증하기 위해.

제안 방법

• 2차 곡선 $C$ 의 양류의 모듈러성을 활용하여 갈루아 표현에 접근하기 위해.
• 프레이 곡선의 7-torsion의 구조와 그 곡선의 양류에 대한 갈루아 부분모듈로서의 관계를 분석하기 위해.
• 아벨 곡면의 모듈러 표현에 대한 '자기 사영 성질'을 적용하여, 모듈로 7 갈루아 표현의 상을 제어하기 위해.
• 갈루아 표현의 일관성과 아벨 곡면의 모듈러성 간의 관계를 활용하여 비자명한 해를 배제하기 위해.
• 장애 분석과 관련된 프레이 곡선의 구조를 결합하여 비자명한 해가 존재할 경우 모순을 이끌어내기 위해.
• 프레이 곡선의 7-torsion 이 곡선 $C$ 의 양류의 7-torsion 에 임베딩됨을 이용하여 전역 갈루아 이론적 제약 조건을 적용하기 위해.

실험 결과

연구 질문

• RQ1 프레이 곡선의 7-torsion 이 2차 곡선의 양류의 갈루아 부분모듈러로 존재할 경우, 이에 따른 장애를 디오판틴 응용에서 극복할 수 있는가?
• RQ2 아벨 곡면의 모듈러성은 일반화된 페르마 방정식에서 갈루아 모듈러 장애를 어떻게 해결할 수 있는가?
• RQ3 자기 사영 성질이 $x^{13} + y^{13} = 3z^n$ 의 해를 배제하는 데 어떤 역할을 하는가?
• RQ4 $n \geq 2$ 인 모든 정수 $n$ 에 대해 방정식 $x^{13} + y^{13} = 3z^n$ 이 비자명한 정수해를 갖는가?
• RQ5 모듈러성과 자기 사영 성질의 조합이 다른 페르마형 방정식의 서명에 체계적으로 적용될 수 있는가?

주요 결과

• 모든 정수 $n \geq 2$ 에 대해 방정식 $x^{13} + y^{13} = 3z^n$ 은 비자명한 정수해를 갖지 않는다.
• 프레이 곡선의 7-torsion 이 2차 곡선의 양류의 갈루아 부분모듈러로 존재하는 장애는 자기 사영 성질을 통해 성공적으로 제거된다.
• 2차 곡선 $C$ 의 양류의 모듈러성이 갈루아 표현을 제어하고 주장의 가능성을 보장하는 데 핵심적이다.
• 자기 사영 성질은 가능한 갈루아 표현을 효과적으로 제약하여 비자명한 해가 존재할 경우 모순을 이끌어낸다.
• 이 방법은 모듈러성과 국소 갈루아 데이터를 결합하여 고차수의 일반화된 페르마 방정식을 공격하는 새로운 길을 제공한다.
• 결과는 아벨 곡면의 모듈러성이 고전적인 장애 메커니즘을 극복하는 데 효과적임을 보여준다.