Computing p-adic heights on hyperelliptic curves

기술 요약: 하이퍼엘립틱 곡선에서의 $p$-진 높이(p-adic heights) 계산

문제 정의
본 논문은 $\mathbb{Q}$ 상의 하이퍼엘립틱 곡선 $X: y^2 = f(x)$에 대하여 로컬 콜레만-그로스(Coleman–Gross) $p$-진 높이 쌍 $h_p$를 결정하는 계산적 과제를 다룬다. 여기서 $p$는 좋은 환원(good reduction)을 갖는 소수이다. 전역적인 $p$-진 높이는 로컬 기여분들의 합이지만, $v \neq p$인 소수에서의 로컬 높이는 산술 곡면(arithmetic surfaces) 위의 교차 이론(intersection theory)을 통해 계산 가능하다. 그러나 $p$에서의 로컬 높이 $h_p$는 $p$-진 해석(콜레만 적분)을 필요로 한다.

기존에는 $h_p$를 계산하기 위해 사용 가능한 알고리즘이 발라키리쉬난(Balakrishnan)과 베서(Besser) [BB12]의 방법뿐이었다. 이 방법은 $\mathbb{Q}_p$ 상에서 **홀수 차수 모델(odd-degree model)**을 가진 곡선으로 제한되었다. 결과적으로, 이는 짝수 차수 모델을 가진 하이퍼엘립틱 곡선에 직접 적용될 수 없었으며, 정수 점(integral points)을 구하기 위한 이차 샤우다이(quadratic Chabauty) 방법이나 이러한 곡선들에 대한 $p$-진 버치-스위너튼-다이어(Birch and Swinnerton–Dyer, BSD) 추측의 수치적 검증과 같은 응용 범위를 제한했다.

방법론
저자들은 홀수 및 짝수 차수 모델 모두에서 작동하는, 특히 짝수 차수 경우에 최적화된 $h_p$ 계산을 위한 새로운 알고리즘을 제안한다. 핵심 전략은 $h_p(P-Q, R-S)$의 계산을 특정 미분 형식의 콜레만 적분 평가로 환원하는 것이다.

1. 짝수 차수로의 환원: 알고리즘은 곡선이 단항식(monic) $f$를 가진 짝수 차수 모델 $y^ce = f(x)$로 주어짐을 가정한다. 이는 무한대에서의 두 개의 서로 다른 점 $\infty^+$와 $\infty^-$의 존재를 보장하며, 무한대에서 지지되는 비자명한 차수 0의 디바이저(divisor) $D_\infty = \infty^- - \infty^+$를 생성한다.
2. 디바이저의 분해: 높이 쌍의 이중 선형성(bi-additivity)을 사용하여, 문제는 점들의 쌍에 대한 $h_p$를 계산하는 문제로 환원된다. 저자들은 두 가지 경우를 구분한다.
   • 경우 1: 하나의 디바이저가 $D_\infty$인 경우. $h_p(\infty^- - \infty^+, R-S)$의 계산은 미분 $\omega_g = \frac{x^g dx}{y}$의 콜레만 적분으로 환원된다. 저자들은 선택된 등방 부분 공간(isotropic subspace) $W$로 $D_\infty$와 관련된 미분을 투영하기 위해 프로베니우스 작용(Frobenius action)을 몬스키-워시니트(Monsky–Washnitzer) 코호몰로지에 활용하여 필요한 계수를 결정한다.
   • 경우 2: 아핀 점(Affine Points). 아핀 점들에 대한 $h_p(P-Q, R-S)$의 경우, 저자들은 디바이저 $P - \iota(P)$ (여기서 $\iota$는 하이퍼엘립틱 대칭)를 변환된 곡선 $C'$ 상의 $D_\infty$로 매핑하는 변수 변환 $\tau: C \to C'$를 사용한다. 이 변환은 아핀 사례를 "무한" 사례(경우 1)로 효과적으로 전환하여, $D_\infty$에 대한 효율적인 계산을 재사용할 수 있게 한다.
3. 구현 세부 사항: 알고리즘은 사전 계산된 데이터에 의존한다: $H^1_{dR}(C/\mathbb{Q}_p)$의 기저, 프로베니우스 작용 행렬, 컵 곱(cup product) 행렬, 그리고 등방 보충 부분 공간 $W$의 기저. 실제 높이 계산은 계수를 찾기 위한 선형 대수와 기존의 짝수 차수 곡선용 발라키리쉬난 구현을 이용한 콜레만 적분 평가를 포함한다.

주요 기여

• 짝수 차수로의 일반화: 주요 기여는 표준 발라키리쉬난-베서 알고리즘으로는 접근할 수 없었던 시나리오인, 짝수 차수 모델을 가진 하이퍼엘립칙 곡선에 대한 $p$-진 높이를 계산하는 알고리즘이다.
• 효율성 및 단순성: 제안된 방법은 [BB12] 방식보다 현저히 빠르고 단순하다. 이는 홀수 차수 곡선을 위해 $\mathbb{Q}_p$의 고차 확장 위에서 고정밀도 좌표를 사용하는 데 필요한 고정밀도 계산을 피하고, 대신 짝수 차수 모델과 무한대에서의 디바이저 구조를 활용한다.
• 정밀도 분석: 논문은 프로베니우스 및 컵 곱 행렬의 행렬식(determinant)을 고려하여 목표 정확도를 달성하기 위한 작업 정밀도를 확립함으로써 엄격한 정밀도 분석을 제공한다.
• SageMath 구현: 몬스키-워시니트 코호몰로지 및 콜레만 적분 라이브러리를 활용한 완전한 SageMath 구현이 제공된다.

결과
저자들은 다음과 같은 시간 비교를 통해 알고리즘의 우월성을 입증한다:

• $p=7$인 종수 2 곡선에 대해 10자리 정밀도에서, 새 알고리즘은 [BB12]의 7초에 비해 2초가 소요된다.
• 더 높은 정밀도(300자리)와 큰 소수(예: $p=503$)의 경우, [BB12] 구현은 일주일 내에 완료되지 못하지만, 새 알고리즘은 성공한다(예: $p=503$에서 4분).
• 알고리즘은 높은 종수(예시에서 최대 17까지)와 높은 정밀도를 성공적으로 처리하며, 이는 이전에는 다루기 불가능했던 영역이었다.

의의 및 응용
논문은 이 새로운 알고리즘에 의해 가능해진 세 가지 구체적인 응용 분야를 강조한다:

1. 유리 점을 위한 이차 샤우다이(Quadratic Chabauty): 이 방법은 모델-바일(Mordell–Weil) 계수가 종수와 같은 곡선에서의 유리 점 계산을 가속화한다. 이는 홀수 차수 모델 제한으로 인해 이전에는 사용할 수 없었던 작은 소수(예: $X_0^+(107)$에 대해 $p=7$)를 사용할 수 있게 하여, 계산 시간을 획기적으로 단ol 줄인다 (특정 예시에서 40분에서 47초로 단축).
2. 정수 점을 위한 이차 샤우다이: 이는 수체 상의 짝수 차수 하이퍼엘립틱 곡선에서 정수 점을 계산하기 위한 더 단순한 새로운 방법을 용이하게 한다. 이 접근법은 이전 방법들에서 요구되었던 $p$-진 아라켈로프 이론(Arakelov theory)과 이중 적분의 기술적 복잡성을 피하며, 이를 통해 이전에는 도달할 수 없었던 곡선들에 적용 가능하게 한다.
3. $p$-진 BSD에 대한 수치적 증거: 알고리즘은 연관된 곡선이 $\mathbb{Q}_p$ 상에서 홀수 차수 모델을 갖지 않는 $GL_2$-타입의 모듈러 아벨 다양체에 대한 $p$-진 버치-스윈너튼-다이어 추측의 수치적 검증을 가능하게 한다. 저자들은 이전 알고리즘을 적용할 수 없었던 사례인 $p=11$에서의 $X_0^+(67)$ 자코비안에 대해 이 추측을 검증한다.

저자들은 알고리즘이 (콜레만 적분의 구현 제한으로 인해) 점들이 $\mathbb{Q}_p$ 상에 정의되어 있다고 가정한다는 점을 언급하며, 그들의 주장이 겸손함을 나타내지만, 이론적 틀은 잠재적인 미래 확장을 허용한다. 저자들은 자신들의 연구가 명시적 디오판토스 기하학 및 $p$-진 추측 테스트의 범위를 확장하는 데 필요한 계산 도구를 제공한다는 점을 강조한다.