Equations of genus $4$ curves from their theta constants

기술 요약: 테타 상수(Theta Constants)로부터 종수 4 곡선의 방정식 유도

문제 정의
본 연구의 주요 목적은 대수적으로 폐쇄된 체 $k$(표수가 0이거나 충분히 큰 $p$인 경우)에 대해, 주어진 대수적 테타 상수 값만을 이용하여 일반적인 종수 4 곡선 $C$의 방정식을 복구하는 명시적이고 폐쇄적인 공식(closed-formula)을 제공하는 것이다. 종수 2(Rosenhain)와 종수 3(Aronhold–Weber)의 경우 테타 상수로부터 곡선을 재구성하는 문제가 해결되었으나, 종수 4의 경우는 독특한 어려움을 안고 있다. 낮은 종수와 달리, 완전한 레벨 2 구조(full level 2 structure)를 가진 종수 4 곡선의 모듈라이 공간(moduli space)은 유리 대수적(unirational)임이 알려져 있지 않으며, 모든 주 정규화된 아벨 다양체(p.p.a.v.)가 야코비안인 것은 아니다(이는 쇼츠키 모듈러 형식(Schottky modular form)의 소멸 조건에 의해 결정된다). Lehavi와 같은 기존의 접근 방식은 2-토션 점 255개를 모두 구하기 위해 비선형 시스템을 풀어야 했으므로, 명시적인 재구성을 위한 계산 효율성이 떨어졌다.

방법론
저자들은 **프림 구성(Prym construction)**과 **입방 대칭체(cubic symmetroids)**에 관한 고전적 기하학적 결과를 활용하는 쇼츠키-융(Schottky–Jung) 접근법을 채택한다. 이 방법은 다음과 같은 논리적 단계를 거쳐 진행된다:

1. 프림 정준 사상(Prym Canonical Map) 및 대칭체: 일반적인 비쌍곡선(non-hyperelliptic) 종수 4 곡선 $C$와 비자명한 2-토션 점 $\eta \in \text{Jac}(C)[2]$에 대하여, 프림 정준 사상 $\phi_\eta: C \to \mathbb{P}^2$는 $C$를 특이 평면 육차 곡선(singular plane sextic)으로 사상한다. $\mathbb{P}^3$ 내에서의 $C$의 정준 임베딩(canonical embedding)의 상(image)은 이차 곡면 $Q$와 입방 대칭체 $\Gamma_\eta$의 교집합으로 복구된다. 정리 2.5는 비제로 2-토션 점들과 정준 이미지를 포함하는 기약 입방 대칭체 사이의 일대일 대응 관계를 확립한다.

2. 선형 사상 및 밀른의 전단사(Milne's Bijection): 재구성의 핵심은 선형 사상 $\phi: V_{C,\eta} \to S^2 H^0(C, \Omega_C(\eta))$에 달려 있으며, 여기서 $V_{C,\eta}$는 특정 이차 형식의 부분 공간이다. 이 사상은 밀른의 전단사(정리 2.10)와 연결되는데, 이는 $C$의 트리탄젠트 평면(tritangent planes) 쌍($\eta$에 의해 차이가 나는 것들)을 프림 다양체(Prym variety)인 종수 3 곡선 $X$의 바이탄젠트(bitangent) 직선과 연결한다.

   • 식 $\phi(HH') = \lambda \ell^2$는 $C$ 상의 트리탄젠트 평면 $H, H'$의 곱을 $X$ 상의 바이탄젠트 선 $\ell$의 제곱과 연결한다.
   • $X$의 바이탄젠트는 $C$의 테타 상수를 통해 유도된 $X$의 테타 상상에 적용된 고전적인 아론홀드-웨버(Aronhold–Weber) 공식을 사용하여 계산된다.

3. 테타 상수를 통한 명시적 계산:

   • 트리탄젠트 평면: 저자들은 일반화된 야코비 미분 항등식(정리 2.15)을 활용하여 트리탄젠트 평면의 방정식을 테타 상수의 순수 함수로 표현한다. 이들은 야코비 널값(Jacobian nullvalues)이 테타 상수의 다항식으로 표현될 수 있도록 보장하기 위해 특정 홀 테타 특성(odd theta characteristics) 세트를 선택한다(보조정리 3.1).
   • $\phi$ 구하기: 10개의 트리탄젠트 평면 쌍 $(H_i, H'_i)$와 그에 대응하는 바이탄젠트 $\ell_i$를 구성함으로써, 미지수인 스칼라 $\lambda_i$를 구하기 위한 동차 선형 시스템을 구축한다. 이를 통해 $\phi$를 나타내는 행렬을 명시적으로 계산할 수 있다.
   • 방정식 복구:
     • 이차 곡면 $Q$는 $\phi$의 커널(kernel)의 생성원으로서 구해진다(보조정리 3.5).
     • 입방체 $\Gamma_\eta$는 $\phi$의 우역원(right-inverse) $\psi$를 구성하고, $\psi$로부터 유도된 $\Delta$의 행렬식 $G = \det(\Delta)$를 계산함으로써 복구된다. $\Gamma_\eta$는 $G$의 제곱근이다(명제 3.7).

주요 기여 및 결과

• 명시적 공식: 본 논문은 일반적인 종수 4 곡선의 방정식을 테타 상수의 함수로 나타내는 최초의 폐쇄적 공식을 제공한다(정리 4.2).
• 대수적 복잡도: 이 방법은 오직 기초 산술, 제곱근 추출, 그리고 선형 시스템의 해법만을 요구한다. 이는 이전의 방식(예: Lehavi의 방식)에서 요구되었던 비선형 대수 시스템을 피한다.
• 특수 사례 처리: 이 프레임워크는 바이엘립틱(bielliptic) 케이스(프림 사상이 타원 곡선으로의 차수 2 사상으로 인수분해되는 경우)와 $X$가 쌍곡선인 경우(Remark 4.5)를 수용하며, 이 경우 바이탄젠트의 기하학적 해석을 조정한다.
• 수치적 구현: 저자들은 유한체 위에서의 이 방법의 실현 가능성(예시 5.1)과 수체(number field) 위에서의 실현 가능성(예시 5.2 및 5.3)을 입증한다. 수체의 경우, 주기 행렬(period matrices)로부터 유도된 테타 상수의 부동 소수점 근사치를 사용하고 LLL 격자 축소(lattice reduction)를 결합하여 정확한 유리수 계수를 복구한다.

의의 및 응용
저자들은 이 연구를 종수 4에 대한 쇼츠키 문제의 중요한 진전으로 규정한다. 테타 상도로부터 곡선을 재구성하는 능력은 다음과 같은 특수한 산술적 성질을 가진 곡선을 명시적으로 구축할 수 있게 한다:

• 야코비안이 저차원 아벨 다양체의 곱과 아이소제니(isogenous) 관계에 있는 곡선.
• 모듈러 형식(modular forms)과 연관된 모듈러 야코비안을 가진 곡선.
• 특정한 엔도모피즘 환(endomorphism rings) 또는 호지 텐서(Hodge tensors)를 가진 곡선.

본 논문은 이러한 공식들이 머드형드(Mumford type)의 새로운 종수 4 곡선 패밀리를 발견하기 위해 불변 이론적 기법과 결합되어 이미 사용되었음을 언급하며, 이는 PEL-타입이 아닌 최초의 시무라(Shimura) 패밀리 예시들을 제공하였다. 이 방법은 수치적 또는 기호적 방법으로는 이전에 접근할 수 없었던 예시들을 탐구할 수 있게 함으로써, 산술 및 복소 기하학을 위한 실용적인 도구로서 제시된다.

한계 및 향후 과제
저자들은 이 방법이 곡수가 일반적(generic)이라는 가정에 의존한다는 점을 인정한다(예를 들어, 트리탄젠트 공식의 분모가 0이 되거나 $H_i H'_i$의 선형 독립성이 깨지는 퇴화 현상은 다른 2-토션 점 $\eta$를 선택해야 할 수도 있다). 논문은 결론에서 종수 $g \geq 5$로의 일반화를 논의하며, $g=5$의 경우 선형 대수적 구조가 유지되지만, $g \geq 6$의 경우 야코비 널값을 테타 상수의 유리 함수로 복구하는 문제는 여전히 미해결 과제로 남아 있음을 밝힌다.