[논문 리뷰] Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

Nuno Freitas, Alain Kraus외 1명|arXiv (Cornell University)|2020. 12. 23.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 7

한 줄 요약

이 논문은 전적으로 국소적 조건—특히 소수 2와 3의 분해 및 분열 행동에 기반하여—전체 실 수체 위에서의 점점 더 큰 페르마의 마지막 정리(FLT)를 위한 기준을 설정한다. 만약 2가 분리되거나 전체로 분해되고 3가 완전히 분해되거나, 2가 전체로 분해되고 3가 완전히 분해되는 경우, 점점 더 큰 FLT가 성립함을 증명한다. 핵심적 혁신은 전역 디오판틴 방정식 문제를 소수 분해에 대한 국소 조건으로 환원하는 데 있다.

ABSTRACT

Let F be a totally real number field of odd degree. We prove several purely local criteria for the asymptotic Fermat's Last Theorem to hold over F, and also for the non-existence of solutions to the unit equation over F. For example, if 2 totally ramifies and 3 splits completely in F, then the asymptotic Fermat's Last Theorem holds over F.

연구 동기 및 목표

• 전체 실 수체 위에서 점점 더 큰 페르마의 마지막 정리가 성립하기 위한 충분조건을, 소수 분해 데이터에만 의존하는 국소 조건으로 설정하는 것.
• 한 수체 위에서 단위 방정식의 해가 존재하지 않는다는 사실이 소수 2와 3의 차수 및 분해 정도에 대한 전적으로 국소적 조건에 의해 결정될 수 있음을 증명하는 것.
• 모듈랑성 기반 방법의 적용 범위를 전역 클래스군 또는 갈루아군 제약 조건을 초월하여 확장하는 것.
• 표준 Langlands 추측에 기반해 결과를 일반 수체로 추측적으로 확장하는 것.

제안 방법

• S = {q}인 S-단위 방정식을 사용하여 점점 더 큰 FLT 문제를 q에서의 순서 값에 대한 국소 제약 조건으로 환원한다. 여기서 q는 2 위에 유일하게 존재하는 소수이다.
• 일반적인 S-단위 해를 제어 가능한 q-진 순서 값을 가진 정수 해로 환원하기 위해 단순화 보조정리를 적용한다.
• 국소 클래스 체 이론과 특성다항식 추론을 통해 차수의 서로소 조건 하에서 p 모듈로 단위가 λ ≡ ±1 (mod p)를 만족함을 보인다.
• 3이 완전히 분해되고 차수가 3으로 나누어지지 않는 체에서 단위 방정식에 대한 Triantafillou의 정리를 활용한다.
• 이전 연구에서의 정리 6을 활용하며, 특정 순서 값 범위를 만족할 경우 S-단위 방정식의 해가 점점 더 큰 FLT의 성립성과 관련됨을 보인다.
• Serre의 모듈랑성 추측과 새로운 형식에 대응하는 타당하거나 가짜 타당 타원곡선의 존재를 가정하여 결과를 비전형적인 실 수체로 추측적으로 확장한다.

실험 결과

연구 질문

• RQ1 소수 2와 3의 분해에 대한 국소적 자료만을 사용하여 전체 실 수체 위에서 점점 더 큰 페르마의 마지막 정리가 보장될 수 있는가?
• RQ2 수체 위에서 단위 방정식이 해를 가지지 않는다는 조건이 소수 2와 3의 차수 및 분해 정도에 대해 어떤 전적으로 국소적 조건을 만족해야 하는가?
• RQ3 모듈랑스 승격 정리와 S-단위 방정식 제약 조건을 사용하여 전역 불변량(예: 클래스 수)에 의존하지 않고 점점 더 큰 FLT를 증명할 수 있는 범위는 어느 정도인가?
• RQ4 표준 Langlands 프로그램의 추측에 기반해 전체 실 수체에 대한 결과를 일반 수체로 확장할 수 있는가?

주요 결과

• F가 홀수 차수의 전체 실 수체이고, 2가 F에서 전체로 분해되며, 3이 F에서 완전히 분해된다면, F 위에서 점점 더 큰 페르마의 마지막 정리가 성립한다.
• F가 차수 n ≡ 1 또는 5 (mod 6)인 전체 실 수체이고, 2가 F에서 분리되며, 3이 F에서 완전히 분해된다면, F 위에서 점점 더 큰 페르마의 마지막 정리가 성립한다.
• 소수 p ≥ 5에 대해, F의 차수 n이 gcd(n, p−1) = 1이고 p가 F에서 전체로 분해된다면, 단위 방정식 λ + µ = 1은 O×F에서 해를 가지지 않는다.
• 2가 F에서 분리되어 있을 경우, S = {q}인 S-단위 방정식은 max{|ordq(λ)|, |ordq(µ)|} > 4인 해를 가지지 않으며, 이는 F가 홀수 차수이고 λµ의 곱에 추가로 합동 조건이 성립할 때 성립한다.
• 논문은 두 가지 표준 추측—Serre의 모듈랑성 추측의 약한 형태와 정수 고유값을 가진 새로운 형식이 타당 또는 가짜 타당 타원곡선과 관련됨을 가정하는 것—하에 정리 1과 정리 3을 일반 수체로 추측적으로 확장한다.
• 증명 전략은 점점 더 큰 FLT 문제를 S-단위의 q-진 순서 값에 대한 유계 조건으로 환원하는 데 기반하며, 이는 국소 대수적 수론과 단위군의 구조를 통해 달성된다.