[논문 리뷰] Explicit Coleman integration for hyperelliptic curves

Jennifer S. Balakrishnan, Robert Bradshaw외 1명|arXiv (Cornell University)|2010. 04. 28.

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

한 줄 요약

이 논문은 $p > 2$ 인 $\mathbb{C}_p$ 위의 양호한 감소를 갖는 초타원곡선에서 단일 Coleman 적분을 계산하는 알고리즘을 제시한다. 이는 Frobenius 등변성과 de Rham 코homology 계산을 활용한다. 이 방법은 Sage에서 명시적 $p$-진 적분을 가능하게 하며, 유리점, $p$-진 높이, $p$-진 조정자에의 응용을 포함한다.

ABSTRACT

Coleman's theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic curves). We describe an algorithm for computing Coleman integrals on hyperelliptic curves, and its implementation in Sage.

연구 동기 및 목표

• 초타원곡선에서 $\mathbb{C}_p$ 위에 $p > 2$ 이고 양호한 감소를 갖는 단일 Coleman 적분을 계산하는 알고리즘을 개발하는 것.
• 이 알고리즘을 실용적 계산을 위해 Sage 컴퓨터 대수 시스템에 구현하는 것.
• 산술기하학 분야의 응용, 즉 $p$-진 높이, Chabauty의 방법을 통한 유리점 계산, $p$-진 조정자를 가능하게 하는 것.
• 기존에 제한적으로 존재하던 0차원 이상의 곡선에 대한 $p$-진 적분의 범위를 확장하는 것.
• 고차원 곡선에서 반복 Coleman 적분과 비아벨리안 Chabauty 방법의 기초를 마련하는 것.

제안 방법

• Frobenius 등변성을 기반으로 한 Coleman의 $p$-진 적분 이론을 활용하여 초타원곡선 위의 적분을 정의하는 것.
• 세 번째 저자의 초타원곡선의 de Rham 코hom로지에 대한 Frobenius 작용 계산 알고리즘을 활용하는 것.
• Frobenius 등변성과 코hom로지적 자료로부터 유도된 선형계를 통해 Coleman 적분을 해법으로 표현하는 것.
• 구분자 $D_1$에 관련된 미분형식 $\omega_{D_1}$을 구성하여, Coleman-Gross의 $p$-진 높이 쌍대성 $h_p(D_1,D_2) = \int_{D_2} \omega_{D_1}$을 계산하는 것.
• Sage에 $p$-진 전개와 $\mathbb{Q}_p$ 위의 선형대수를 사용하여 알고리즘을 구현하는 것.
• 유리점에서의 적분 계산 및 Chabauty 유형 방법의 조건을 검증하기 위해 적용하는 것.

실험 결과

연구 질문

• RQ1 어떻게 Frobenius 등변성과 코hom로지적 자료를 이용하여 초타원곡선에서의 Coleman 적분을 명시적으로 계산할 수 있는가?
• RQ2 이러한 적분의 계산 복잡도는 무엇이며, 컴퓨터 대수 시스템에 구현하기 위해 어떻게 최적화할 수 있는가?
• RQ3 명시적 Coleman 적분을 이용하여 초타원곡선의 Jacobian에서의 $p$-진 높이를 계산할 수 있는가?
• RQ4 Coleman 적분은 고차원 곡선의 유리점 찾기에 Chabauty의 방법을 어느 정도 향상시킬 수 있는가?
• RQ5 반복 Coleman 적분은 어떻게 계산하고, 비아벨리안 Chabauty 및 $p$-진 $K$-이론에서 어떻게 활용할 수 있는가?

주요 결과

• 이 알고리즘은 $p > 2$ 인 $\mathbb{C}_p$ 위의 양호한 감소를 갖는 초타원곡선에서 단일 Coleman 적분의 명시적 계산을 가능하게 한다.
• Sage에 구현된 알고리즘은 유리점에서의 적분을 수치적으로 검증할 수 있게 하며, 예를 들어 3차 곡선에서 $Q = (3,6)$일 때 $\int_{\infty}^{Q} \omega = 0$ 와 같은 결과를 확인할 수 있다.
• 해법은 $h_p(D_1,D_2) = \int_{D_2} \omega_{D_1}$를 통해 $p$-진 높이 쌍대성을 성공적으로 계산하며, 명시적인 $p$-진 전개가 제공된다.
• 이 방법은 $p$-진 조정자와 $p$-진 다중로그 함수의 계산을 지원하며, 향후 수치적 탐색에 잠재력이 있다.
• 알고리즘은 유리점을 찾기 위해 잔여 원판 내 적분을 계산함으로써 Chabauty의 방법의 실현 가능성을 보여준다.
• 반복 적분과 더 큰 소수에 대한 확장은 이론적으로 가능하며, 특히 Harvey의 향상된 $p$-진 알고리즘을 고려할 경우 더욱 유망하다.