[논문 리뷰] An Arakelov-Theoretic Approach to Naïve Heights on Hyperelliptic Jacobians

David Holmes|arXiv (Cornell University)|2012. 07. 25.

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

한 줄 요약

이 논문은 초타원형 야코비안에서 계산 가능한 나이브 높이를 정의하기 위해 아라켈로프 이론적 방법을 도입한다. 이 나이브 높이는 네론-타이트 높이와 유계된 상수의 차이를 보이며, 이는 유계된 네론-타이트 높이를 가진 모든 점을 '원칙적으로' 계산할 수 있는 알고리즘을 가능하게 한다. 주요 기여는 정규 모델과 교차 이론을 통한 실용적인 유계 계산으로, 함수체 위에서 종수 11 이하의 곡선에 대해 이를 구현하였다.

ABSTRACT

We use Arakelov theory to define a height on divisors of degree zero on a hyperelliptic curve over a global field, and show that this height has computably bounded difference from the Néron-Tate height of the corresponding point on the Jacobian. We give an algorithm to compute the set of points of bounded height with respect to this new height. This provides an `in principle' solution to the problem of determining the sets of points of bounded Néron-Tate heights on the Jacobian. We give a worked example of how to compute the bound over a global function field for several curves, of genera up to 11.

연구 동기 및 목표

• 초타원형 야코비안에서 네론-타이트 높이와 유계된 상수의 차이를 보이는 계산 가능한 나이브 높이를 정의하는 것.
• 초타원형 곡선의 야코비안에서 유계된 네론-타이트 높이를 가진 모든 점을 결정하는 알고리즘적 프레임워크를 제공하는 것.
• 높은 종수에서 전통적인 사영 임베딩 방법의 계산 불가능성을 극복하기 위해 아라켈로프 이론과 정규 모델을 사용하는 것.
• 특히 무리 함수체에서 종수 11 이하의 곡선에 대해, 특히 무한대에 유리 웨이어스트라스 점을 가진 곡선에 대해, 높이 유계 계산의 가능성과 실현 가능성을 보여주는 것.

제안 방법

• 논문은 2θ-선다발을 통한 사영 임베딩과 연결된, 분할점의 x좌표에서 0이 되는 다항식의 로그 높이를 사용하여 나이브 높이를 정의한다.
• 아라켈로프 이론을 적용하여, 비아르키메데스적 및 아르키메데스적 자리에서의 국소 기여를 통해 나이브 높이와 네론-타이트 높이 사이의 차이를 유계로 제한한다.
• 이 방법은 곡선의 정규 모델을 통해 유도되며, 매끄러운 중심에서의 블로우업을 통해 구성되며, 특별한 섬유의 교차 행렬의 모라-펜로즈 가역행렬을 사용한다.
• 함수체의 경우, 유도된 유계는 가역행렬의 최대 성분과 연속된 블로우업의 최장 체인 길이로부터 유도되며, 명시적인 상수를 제공한다.
• 계산은 도널리의 정규 모델 함수를 사용한 MAGMA에서 구현되었으며, 특별한 섬유의 구조와 모델의 기하학적 성질로부터 유도된 유계를 사용한다.
• 최종 유계는 log p와 g² 항의 선형 조합으로 표현되며, F_p(t) 위에서 종수 2, 4, 11 곡선에 대해 명시적인 수치가 계산되었다.

실험 결과

연구 질문

• RQ1 아라켈로프 이론적 접근을 통해 초타원형 야코비안에서 네론-타이트 높이와 유계된 상수의 차이를 보이는 계산 가능한 나이브 높이를 도출할 수 있는가?
• RQ2 특히 함수체 위에서 높은 종수의 초타원형 곡선에서 나이브 높이와 네론-타이트 높이 사이의 차이는 어느 정도인가?
• RQ3 정규 모델과 교차 이론을 사용하여 종수 3를 초월하는 곡선에 대해 이러한 유계를 명시적으로 계산하는 것이 가능한가?
• RQ4 이 방법은 실용적으로 효율적으로 구현될 수 있으며, 계산의 난이도가 유계 계산에서 점 탐색으로 이동하는가?
• RQ5 양의 특성에서 종수와 체 크기의 변화에 따라 유계는 어떻게 척도가 변하는가?

주요 결과

• F_3(t) 위의 종수 2 곡선에 대해, 모든 q ∈ Jac_C(K)에 대해 h^†(q) ≤ ĥ(q) + 86 log 3 이다.
• F_5(t) 위의 종수 4 곡선에 대해, 유계는 h^†(q) ≤ ĥ(q) + 417 log 5 이다.
• F_101(t) 위의 종수 11 곡선에 대해, 유계는 h^†(q) ≤ ĥ(q) + 5790 log 101 이다.
• 종수 11의 경우, MAGMA에서 유계 계산에 60초 미만이 소요되어 실용적 가능성을 보였다.
• 사용된 연속된 블로우업의 최장 체인은 종수 11에서 12, 종수 2에서 10, 종수 4에서 7이었으며, 종수 11의 특별한 섬유에는 49개의 기약 성분이 있었다.
• 교차 행렬의 모라-펜로즈 가역행렬의 최대 성분은 4.102…, 최소 성분은 -8.076…였으며, 이는 최종 유계 계산에 기여하였다.