모듈러 야코비안 표면과 genus2 곡선 방정식 계산

초록

이 논문은 Shimura가 새롭게 정규화된 새폼 f에 대해 부여한 차원 2의 아벨리안 다양체 A_f가 Jacobian인 genus 2 곡선의 유리 방정식을 찾는 효율적인 알고리즘을 제시한다.  odd Theta‑null값과 주기 행렬을 이용해 A_f가 원시적으로 편광된 경우를 판별하고, 네 단계의 계산 절차를 통해 F(x)∈ℚ

상세 분석

논문은 먼저 Shimura 연관을 통해 새폼 f∈S₂(Γ₀(N))에 대응하는 아벨리안 다양체 A_f가 정의역 ℚ에 존재하고, 차원은 새폼의 계수체 E_f의 차수와 일치한다는 사실을 이용한다. A_f가 원시적으로 편광(principally polarized)된 경우, 즉 Jacobian으로서의 구조를 가질 때는 even Theta‑null값이 모두 영이 아니어야 함을 Proposition 2에서 증명한다. 이때 odd Theta‑null값의 미분값이 제공하는 선형 방정식 시스템을 풀어, 곡선 C_F: y²=F(x)의 근 α₁,…,α₆을 구한다.

Theorem 1은 주기 행렬 Ω와 그로부터 얻은 정규화 행렬 Z를 사용해 α_k를 구하는 구체적인 식을 제시한다. 특히 2‑torsion 점 w₁,…,w₆에 대한 미분값 ∂θ/∂z_i(w_k)와 Ω⁻¹₁의 곱을 0으로 두는 6개의 선형 방정식이 α_k를 비율 형태로 결정한다. 이후 α_k를 이용해 단항 다항식 F₀(x)=∏(x−α_k) 를 만든 뒤, Theorem 1(b)에서 제시된 판별식 관계를 통해 a₆∈ℚ를 구한다. a₆의 10제곱근을 선택해 F₁(x)=a₆·F₀(x) 를 얻고, 마지막으로 ζ∈{±1}을 결정해 최종 방정식 F(x)=ζ·F₁(x) 를 만든다. ζ는 Eichler‑Shimura 합동식과 좋은 감소 소수 p에서의 점 개수 차이를 이용해 판별한다.

알고리즘은 네 단계로 정리된다. 1) A_f의 주기 행렬을 선택하고, symplectic basis를 구성한다. 2) 위의 선형 시스템을 풀어 α_k를 얻는다. 3) 판별식으로부터 a₆를 계산하고, 10제곱근을 선택한다. 4) ζ를 결정해 최종 곡선 방정식을 만든다.

구현 측면에서 저자들은 Magma와 Stein의 modular symbols 패키지를 활용해 새폼의 Fourier 계수와 주기 행렬을 정확히 계산하였다. 이후 odd Theta‑null값을 직접 구해 위 절차를 자동화했으며, 모든 N≤500에 대해 A_f가 원시적으로 편광되는 경우를 탐색하였다. 결과적으로 300여 개의 genus 2 곡선 방정식이 도출되었고, 대부분은 ℤ