Algorithms for hyperelliptic Mumford Curves $p$-adic Uniformization, $p$-adic integrals and $p$-adic heights

기술 요약: 하이퍼엘립틱 멈드 곡선(Hyperelliptic Mumford Curves)을 위한 알고리즘

문제 정의
본 논문은 멈드 곡선(Mumford curves)에 대한 알고리즘적 도구의 부족 문제를 다룬다. 멈드 곡선은 분할 곱셈적 축약(split multiplicative reduction)을 갖는 타테 타원곡선(Tate's elliptic curves)의 유니포미제이션(uniformization)을 일반화한 $p$-진 리만 곡면의 $p$-진 아날로그이다. 타테 유니포미제이션은 알고리즘적으로 잘 이해되어 있는 반면, 멈드 곡선(속성 $g \geq 2$, 분할 퇴화 축약)은 효율적인 계산 방법을 갖추지 못했다. 이러한 격차는 $p$-진 아벨 적분, $p$-진 높이(heights), 이소제니(isogenies), 그리고 샤보티 유형(Chabauty-type) 방법론을 통한 유리점 계산과 같은 산술적 응용을 저해한다. 구체적으로, 곡선 방정식으로부터 기저가 되는 스코틀리 군(Schottky group)을 계산하는 기존 알고리즘들은 고정점들이 "강한(strong)" 기하학적 위치에 있어야 한다는 제약(Kadziela의 알고리즘)이 있었거나, 테타 함수(theta functions)의 지수 시간 근사법에 의존했다.

방법론
저자들은 $\mathbb{Q}_p$ ($p \neq 2$)의 유한 확장체 위에서 정의된 하이퍼엘립틱 멈드 곡선을 위한 일련의 알고리즘을 개발한다. 방법론은 크게 두 가지 방향으로 나뉜다:

1. 곡선에서 유니포미제이션으로 (스코틀리 군 계산):

   • Kadziela 알고리즘의 확장: 저자들은 스코틀리 군 생성원의 고정점을 계산하기 위한 Kadziela의 자릿수별(digit-by-digit) 근사법을 확장한다. 이들은 고정점에 대한 기하학적 제약을 "강한 Kadziela 위치"에서 "약한(weak) Kadiela 위치"로 완화하여, 알고리즘이 더 넓은 클래스의 곡선(특정 안정적 축약 유형을 포함하는 곡선들)을 처리할 수 있도록 한다.
   • 헨젤 리프팅(Hensel Lifting): 하이퍼엘립틱 커버의 분기점(branch points)으로부터 고정점을 계산하기 위해 다변수 헨젤 리프팅을 사용하는 새로운 방법을 도입한다. 이 접근법은 테타 함수 곱의 길이 0과 1인 단어만을 고려하는 야코비 행렬의 거친 근사를 활용하여 선형 수렴을 달성한다. 이 방법은 자릿수별 방식보다 실제 계산에서 훨씬 빠르다.
   • 테타 함수 구축: 저자들은 휘태커 군(Whittaker groups, 불연속 군의 지수 2 부분군)을 사용하여 명시적인 리지드 해석적 유니포미제이션을 구축한다. 이들은 $p$-진 상반평면을 곡선으로 매핑하는 테타 함수 $F$와 $H$의 구축을 상세히 기술하며, 곡선 방정식과 점의 리프팅에 대한 명시적인 공식을 제공한다.

2. 유니포미제이션에서 산술적 응용으로:

   • 아벨 적분: 저자들은 멈드 곡선의 야코비안 상에서 $p$-진 아벨 적분을 계산하는 알고리즘을 정의한다. 이는 아벨 로그를 $p$-진 테타 함수로 표현하는 것에 기반한다. 핵심적인 기술적 기여는 곱셈적 토러스 $(K^\times)^g$ 상에서의 로그의 주기성 결여를 보정하기 위해 주기 행렬 $Q_W$로부터 유도된 "나이브(naive)" $L$-불변량 행렬을 구성하는 것이다.
   • $p$-진 높이: 저자들은 베르너(Werner)의 공식을 구현하여 로컬 $p$-진 슈나이더 높이(Schneider heights)를 계산한다. 고차수(high genus)의 경우 모델을 구하기 어려운 기존 방법들과 달리, 이 알고리즘은 리지드 유니포미제이션 상에서 직접 작동한다. 이는 가산적 반주기 행렬(additive half-period matrix)을 계산하고 디바이저(divisor) 상의 테타 페어링을 평가하는 과정을 포함한다.

주요 기여

• 일반화된 스코틀리 군 계산: 본 논문은 고정점이 "약한 Kadiela 위치"에 있는 하이퍼엘립틱 멈드 곡선을 위한 최초의 실용적인 스코틀리 군 계산 알고리즘을 제공하며, 이는 이전의 테스트를 통과하지 못했던 많은 곡선들을 포함한다.
• 효율적인 헨젤 리프팅: 고정점을 결정하기 위한 헨젤 리프팅 기술을 도입함으로써, 기존의 지수 시간 또는 자릿수별 방식보다 계산적으로 우월한 선형 수렴 방법을 제시한다.
• 모델 불필요 산술(Model-Free Arithmetic): 아벨 적분과 슈나이더 높이를 위한 알고리즘은 전적으로 리지드 해석적 유니포미제이션을 통해 정식화된다. 이는 곡선의 전역적 대수 모델을 찾는 의존성을 제거하며, 이는 나쁜 축약(bad reduction)이나 높은 차수의 곡선에서 큰 장점이 된다.
• 구현: 모든 알고리즘은 $p$-진 테타 함수(Masdeu-Xarles) 패키지와 로컬 높이 계산(Magma) 패키지를 활용하여 SageMath에 구현되었다.

결과
저자들은 다음과 같은 수치적 예시를 통해 알고리즘을 검증한다:

• 이전 연구의 검증: 고정점이 강한 위치에 있지 않아 Kadziela의 원래 알고리즘으로는 계산할 수 없었던 6개의 종수 2 곡선에 대해 스코틀리 군과 주기 행렬을 성공적으로 재계산하였다.
• 일관성 체크: $\mathbb{Q}_5$ 위의 종수 2 곡선에 대하여, 아벨 적분이 토션 점(torsion points)에서 0이 됨을 확인하였고(이론적 예측과 일치), Katz와 Kaya의 기존 알고리즘과 결과를 대조하여 검증하였다.
• 슈나이더 높이: 종수 2 및 종수 3 곡선(모듈러 곡선 $X_0(39)$ 포함)에 대해 로컬 및 글로벌 슈나이더 높이를 계산하였다. $X_0(39)$의 경우, 높이 페어링이 토션 디바이저에 대해 소멸함을 확인하여 구현의 정확성을 입증하였다.
• 레귤레이터 계산: 종수 2 모듈러 아벨 다양체에 대해 슈나이더 레귤레이터를 성공적으로 계산하여 높이 페어링의 이차성(quadraticity)을 확인하였다.

의의 및 주장
본 논문은 멈드 곡선을 "알고리즘적으로 더 접근 가능하게 만드는 데 있어 중요한 진전"을 이루었다고 주장한다. 주요 의의는 $p$-진 유니포미제이션의 이론적 이론과 실질적인 산술 기하학 사이의 간극을 메우는 데 있다. 모델이 필요 없는 아벨 적분 및 $p$-진 높이 알고리즘을 제공함으로써, 저자들은 전역적 대수 모델 없이도 멈드 곡선에 샤보티-콜메이(Chabauty–Coleman) 및 샤보티-킴(Chabauty–Kim) 방법론을 적용할 수 있게 하였다. 저자들은 이러한 도구들이 특히 분할 퇴화 축약을 보이는 경우가 많은 모듈러 곡선 및 쉬무라(Shimura) 곡선에 매우 유용하다고 명시한다. 또한, 이 알고리즘들이 버치-스위너턴-다이어(Birch and Swinnerton-Dyer) 추측의 고차원 $p$-진 아날로그에 대한 수치적 증거를 제공할 가능성이 있다고 언급한다. 본 연구는 기초적인 단계로서, 슈퍼엘립틱(superelliptic) 곡선으로의 일반화는 기대되지만 본 텍스트에서 아직 완전히 개발되지는 않았음을 밝히고 있다.