[논문 리뷰] Coleman-Gross height pairings and the $p$-adic sigma function

Jennifer S. Balakrishnan, Amnon Besser|arXiv (Cornell University)|2012. 01. 29.

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

한 줄 요약

이 논문은 탄성 곡선 위의 Mazur-Tate 및 Coleman-Gross $p$-adic 높이 쌍대화 간의 직접적 연결을 확립한다. 이는 탄성 곡선의 공통 점에서의 탄성 벡터를 사용하여 Coleman-Gross 쌍대화를 비분리된 인수로 확장함으로써 이루어지며, 불변 미분에서 유도된 표준 탄성 벡터를 사용할 때 $p$-adic 국소 높이가 $p$-adic 시그마 함수의 로그와 일치함을 증명한다. 이는 두 가지 $p$-adic 높이 구성 방식을 통합하는 결과이며, Kim의 정수점 정리에 대한 새로운 단순화된 증명을 제공하고, 탄성 기저점에서의 이중 Coleman 적분에 대한 공식을 도출한다.

ABSTRACT

We give a direct proof that the Mazur-Tate and Coleman-Gross heights on elliptic curves coincide. The main ingredient is to extend the Coleman-Gross height to the case of divisors with non-disjoint support and, doing some $p$-adic analysis, show that, in particular, its component above $p$ gives, in the special case of an ordinary elliptic curve, the $p$-adic sigma function. We use this result to give a short proof of a theorem of Kim characterizing integral points on elliptic curves in some cases under weaker assumptions. As a further application, we give new formulas to compute double Coleman integrals from tangential basepoints.

연구 동기 및 목표

• 탄성 곡선 위의 Mazur-Tate 및 Coleman-Gross $p$-adic 높이 쌍대화 간의 직접적 비교를 수립하기 위해.
• 공통 점에서의 탄성 벡터를 사용하여 Coleman-Gross 높이 쌍대화를 비분리된 인수로 확장하기 위해.
• 불변 미분에서 유도된 표준 탄성 벡터 선택을 사용할 때 $p$-adic 국소 높이가 $p$-adic 시그마 함수의 로그와 일치함을 보여주기 위해.
• 이 식별을 활용하여 Kim의 정수점에 관한 정리의 더 짧은 증명을 제시하고, Tate-Shafarevich 군의 $p$-부분의 유한성에 대한 가정을 제거하기 위해.
• 확장된 높이 쌍대화 프레임워크를 사용하여 탄성 기저점에서의 이중 Coleman 적분을 계산하는 데 사용할 수 있는 새로운 공식을 유도하기 위해.

제안 방법

• 공통 점에서의 탄성 벡터를 할당하여 Coleman-Gross 높이 쌍대화를 비분리된 인수로 확장함으로써, 국소 항의 합이 벡터 선택에 영향을 받지 않도록 보장한다.
• $p$-adic Arakelov 이론을 사용하여 곡선의 탄성 벡터장 위의 국소 높이 함수를 분석하며, 특히 탄성 곡선의 경우에 중점을 둔다.
• 탄성 곡선 위의 표준 불변 미분을 활용하여 자연스러운 탄성 벡터 선택을 정의함으로써 잘 정의된 국소 높이 함수를 도출한다.
• 일반적인 탄성 곡선에서 유도된 국소 높이 함수가 $p$-adic 시그마 함수의 로그와 본질적으로 일치함을 증명한다.
• 이 식별을 활용하여 국소 $p$-adic 항들을 직접 비교함으로써, Mazur-Tate 및 Coleman-Gross 높이 쌍대화 간의 등가성을 도출한다.
• 확장된 쌍대화와 $p$-adic 시그마 함수를 사용하여 탄성 기저점에서의 이중 Coleman 적분에 대한 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 Coleman-Gross 높이 쌍대화가 탄성 벡터를 통해 비분리된 인수로 확장될 때, 고전적 쌍대화와 동일한 전역 쌍대화를 얻는가?
• RQ2 불변 미분에서 유도된 표준 탄성 벡터를 사용할 때 탄성 곡선 위의 $p$-adic 국소 높이가 $p$-adic 시그마 함수의 로그와 같은가?
• RQ3 전체적인 논증에 의존하지 않고 국소 $p$-adic 항들을 비교하여 Mazur-Tate 및 Coleman-Gross 높이 쌍대화의 등가성을 증명할 수 있는가?
• RQ4 국소 높이와 $p$-adic 시그마 함수의 식별을 활용하여 Kim의 정수점 정리의 증명을 단순화할 수 있는가?
• RQ5 탄성 기저점에서의 이중 Coleman 적분에 대한 명시적 공식은 무엇이며, 확장된 높이 쌍대화를 통해 어떻게 계산할 수 있는가?

주요 결과

• 일반적인 탄성 곡선에서 불변 미분에서 유도된 탄성 벡터를 사용할 때 $p$-adic 국소 높이는 $p$-adic 시그마 함수의 로그와 같다.
• 탄성 벡터를 사용하여 비분리된 인수로 확장된 Coleman-Gross 높이 쌍대화는 대칭적이며, 벡터 선택에 영향을 받지 않으며, 고전적 쌍대화를 일반화한다.
• Mazur-Tate 및 Coleman-Gross 높이 쌍대화 간의 등가성은 전역적으로 성립하며, 이제 국소 $p$-adic 항들의 직접 비교를 통해 증명되었다.
• 국소 높이와 $p$-adic 시그마 함수의 식별은 Kim의 정수점 정리에 대한 새로운 단순화된 증명을 제공하며, 이제 Tate-Shafarevich 군의 $p$-부분의 유한성에 대한 가정 없이도 성립한다.
• 확장된 높이 쌍대화와 $p$-adic 시그마 함수를 사용하여 탄성 기저점에서의 이중 Coleman 적분에 대한 새로운 공식이 도출되었다.
• 수치적 예제들은 공식의 일관성을 확인하였으며, 적분의 명시적 $7$-adic 전개와 탄성 곡선의 $3$-torsion 점 좌표를 포함한다.