[논문 리뷰] Modularity and integral points on moduli schemes

Rafael von Känel|arXiv (Cornell University)|2013. 10. 27.

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

한 줄 요약

이 논문은 모듈러리티 정리, 아라켈로프 이론, 등주 추정을 사용하여 타원곡선과 GL₂-형 아벨 다양체의 모듈리 스킴 위의 정수점에 대한 효과적인 유한성 결과를 확립한다. 디오판틴 근사에 의존하지 않고 S-단위 및 모델 레크로스 방정식의 해에 대한 명시적 높이 상한을 제공하며, 시무라-타니야마 추측과 세르의 모듈러리티 추측에 기반한 새로운 효과적인 방법을 제시한다.

ABSTRACT

The purpose of this paper is to give some new Diophantine applications of modularity results. We use the Shimura-Taniyama conjecture to prove effective finiteness results for integral points on moduli schemes of elliptic curves. For several fundamental Diophantine problems (e.g. $S$-unit and Mordell equations), this gives an effective method which does not rely on Diophantine approximation or transcendence techniques. We also combine Faltings' method with Serre's modularity conjecture, isogeny estimates and results from Arakelov theory, to establish the effective Shafarevich conjecture for abelian varieties of (product) GL$_2$-type. In particular, we open the way for the effective study of integral points on certain higher dimensional moduli schemes.

연구 동기 및 목표

• 모듈러리티 정리를 사용하여 타원곡선 모듈리 스킴 위의 정수점에 대한 효과적인 유한성 결과를 확립한다.
• 디오판틴 근사나 초월수 이론에 의존하지 않고 S-단위 및 모델 레크로스 방정식을 효과적으로 해결하는 방법을 제공한다.
• 팔링스의 방법, 세르의 모듈러리티 추측, 등주 추정을 통해 GL₂-형 아벨 다양체에 대한 효과적 유한성을 확장한다.
• 힐베르트 모듈리 다양체와 같은 고차원 모듈리 스킴 위의 정수점에 대한 효과적 연구의 길을 열어 놓는다.

제안 방법

• 시무라-타니야마 추측을 사용하여 S-단위 방정식의 해에 대한 효과적 높이 상한을 도출한다.
• P¹에서 세 점을 뺀 곡선에 매개변수화된 타원곡선의 수준 구조를 무시함으로써 파르신의 구성법을 적용한다.
• 팔링스의 방법을 세르의 모듈러리티 추측과 아라켈로프 이론을 결합하여 안정적인 팔링스 높이를 제어한다.
• 등주 추정과 윌리엄슨 제약을 사용하여 수체 위의 아벨 다양체를 Q 위의 GL₂-형 아벨 다양체로 연결한다.
• rad(N_S)를 통한 도수 및 판별식 제어를 통해 관련 아벨 다양체의 팔링스 높이를 제한한다.
• 실버버그의 GL₂-형 아벨 다양체 결과를 사용하여 문제를 기존의 효과적 높이 상한으로 축소한다.

실험 결과

연구 질문

• RQ1 모듈러리티 정리로부터 타원곡선 모듈리 스킴 위의 정수점에 대한 효과적 유한성 결과를 도출할 수 있는가?
• RQ2 디오판틴 근사나 초월수 이론에 의존하지 않고 S-단위 방정식을 효과적으로 해결할 수 있는가?
• RQ3 모듈러리티 이론과 아라켈로프 이론을 사용하여 GL₂-형 아벨 다양체에 대한 효과적 샤파레비치 추측을 확립할 수 있는가?
• RQ4 힐베르트 모듈리 다양체와 같은 고차원 모듈리 스킴 위의 정수점 연구를 어떻게 효과적으로 수행할 수 있는가?

주요 결과

• S-단위 방정식의 임의의 해 (x,y) 는 h(x), h(y) ≤ (3/2)n_S(log n_S)² + 65 를 만족하며, 여기서 n_S = 2⁷N_S 이다.
• 모델 레크로스 방정식 y² = x³ + a 의 모든 해는 h(x), h(y) ≤ h(a) + 4a_S(log a_S)² 를 만족하며, 여기서 a_S = 2⁸3⁵N_S²∏p^{min(2,ord_p(a))} 이다.
• Q 위의 GL₂-형 아벨 다양체에 대해 효과적 샤파레비치 추측이 성립하며, 높이 상한은 도수와 차수에 따라 효과적으로 결정된다.
• 높이 상한의 상수는 차수 d와 차원 g에 대해 이중지수적으로 증가하지만, 특수한 경우에서는 지수적 증가로 줄일 수 있다.
• 핵심 정리를 새로운 팔링스 높이에 대한 효과적 상한으로 대체함으로써, 이 방법은 비단순 아벨 다양체로 일반화될 수 있다.