[논문 리뷰] The p-adic analytic subgroup theorem and applications

Tzanko Matev|arXiv (Cornell University)|2010. 10. 15.

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

한 줄 요약

이 논문은 수체 위의 교환 대수적 군에 대해 Wüstholz의 해석적 부분군 정리의 p진 수학적 대응을 수립하며, 대수적 점의 p진 로그가 리 대수의 유리수 부분공간에 속해 있다면 그 점은 그 부분공간에 포함된 리 대수를 가진 대수적 부분군에 속한다는 것을 증명한다. 핵심 응용은, Mordell-Weil 계수가 1인 고도 ≥2의 곡선이 그의 아벨-자코비안에 매장되어 있을 경우, 유리점의 p진 폐쇄가 곡선과 횡단적으로 만난다는 것을 보여주며, 이는 계수 1의 경우 Chabauty 방법에 대한 이론적 근거를 제공한다.

ABSTRACT

We prove a p-adic analogue of Wüstholz's analytic subgroup theorem. We apply this result to show that a curve embedded in its Jacobian intersects the p-adic closure of the Mordell-Weil group transversely whenever the latter has rank equal to 1. This allows us to give some theoretical justification to Chabauty techniques applied to finding rational points on curves whose Jacobian has Mordel-Weil group of rank 1.

연구 동기 및 목표

• 수체 위의 교환 대수적 군에 대해 Wüstholz의 해석적 부분군 정리의 p진 수학적 대응을 수립하는 것.
• 이 정리를 이용해 Chabauty 방법을 통해 대수적 곡선의 유리점 문제를 해결하는 데 응용하는 것.
• Mordell-Weil 계수가 1일 때 Chabauty 유형 알고리즘의 종료를 이론적으로 정당화하는 것.
• p진 로그 독립성의 맥락에서 단순하지만 절대적으로 단순하지 않은 아벨 다양체의 경우를 해결하는 것.
• Mordell-Weil 군 계수가 1인 곡선의 유리점들이 그 유리점 군의 p진 폐쇄와 겹치는 점이 고립되어 있음을 보여주는 것.

제안 방법

• 복소수 해석적 증명을 p진 설정으로 일반화하기 위해 지수 함수를 로그 함수로 대체하고, 복소수 추정 대신 p진 추정을 사용한다.
• 대수적 점에서 고차수의 영점을 가진 층 섹션을 구성하고, p진 설정에서의 다중도 추정을 통해 모순을 이끌어내는 것.
• 거듭제곱이 항등원에 수렴하는 점들에서 정의된 p진 로그 사상 함수를 사용하여 p진 설정에서의 전역 정의를 확보하는 것.
• Mahler의 정리(정수점에서의 p진 해석 함수의 크기를 추정하는 데 사용)를 적용하여 특정 함수의 p진 크기를 유계로 제한하고, p진 순서의 상한을 도출하는 것.
• Liouville의 부등식을 사용하여 보조 다항식의 영이 아닌 값들의 p진 크기의 하한을 도출하는 것.
• 한 점의 거듭제곱에서 평가된 함수의 p진 노름에 대한 상한과 하한을 결합하여, 점이 토르션 점이 아니면 모순이 발생함을 보여주는 것.

실험 결과

연구 질문

• RQ1 교환 대수적 군에 대해 Wüstholz의 해석적 부분군 정리의 p진 수학적 대응이 성립하는가?
• RQ2 이 p진 정리를 사용하여 곡선과 그 Mordell-Weil 군의 p진 폐쇄 간의 교차가 횡단적임을 정당화할 수 있는가?
• RQ3 p진 로그 독립성에 응용할 때, 단순하지만 절대적으로 단순하지 않은 아벨 다양체의 경우는 어떻게 되는가?
• RQ4 이전에 알려진 것보다 더 약한 조건 하에서도 Chabauty 유형 알고리즘의 종료를 보장할 수 있는가?
• RQ5 Mordell-Weil 계수가 1일 때, 곡선의 p진 완비화와 그 유리점 군의 p진 폐쇄 간의 교차가 횡단적인가?

주요 결과

• p진 해석적 부분군 정리가 성립한다: 만약 어떤 대수적 점의 로그가 리 대수의 유리수 부분공간에 속해 있다면, 그 점은 그 부분공간에 포함된 리 대수를 가진 대수적 부분군에 속한다.
• Q 위의 곡선 C가 그의 아벨-자코비안 J에 매장되어 있고, J가 단순하며 Mordell-Weil 계수가 1이라면, C는 J(Q)의 p진 폐쇄와 모든 유리점에서 횡단적으로 만난다.
• 곡선의 각 유리점은 p진 근방을 가지며, 그 근방에서 J(Q)의 p진 폐쇄와의 교차는 단일 점이다.
• Stoll의 주요 추측만을 가정하면, 계수 1인 곡선에 대한 수정된 Chabauty 알고리즘이 종료함을 보장할 수 있다. 추가 추측이 필요로 하지 않는다.
• 비토르션 점이 1차원 p진 리 부분군에 속해 있으면서도 그들이 토르션 부분군을 생성하지 않으면, 보조 함수의 추론 과정에서 모순이 발생함을 보여주는 증명이 이뤄진다.
• 보조 다항식의 p진 다중도 추정과 높이 추정이 결합되어, 비토르션 점이 로그 조건을 만족할 경우 모순이 발생함을 보여주며, 이는 주요 결과를 증명한다.