[논문 리뷰] On a conjecture of Serre on abelian threefolds

Gilles Lachaud, Christophe Ritzenthaler|ArXiv.org|2007. 10. 17.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 7

한 줄 요약

이 논문은 체 $K$ 위의 분해 불가능한 주로 극화된 아벨 3차곡선에 대해 세르의 추측을 증명한다. 즉, $\chi_{18}(A,\lambda)$라는 정준 불변량이 존재하며, 이는 정확히 해당 곡선이 히퍼에일리프틱일 때에만 0이 된다는 것을 보이며, 그 제곱근은 곡선의 모델에 대한 갈루아 작용을 결정한다. 저자들은 이 결과를 3차원의 아벨 3차곡선의 가군군(즉, 3개의 타원 곡선의 곱과 동형인) 가군군을 통해 증명하며, 타우 특성과 모듈라 형식을 사용하여 해석적 및 대수적 판별식을 연결한다.

ABSTRACT

In this article, we give a reformulation of a result from Howe, Leprevost and Poonen on a three dimensional family of abelian threefolds. We also link their result to a conjecture of Serre on a precise form of Torelli theorem for genus 3 curves.

연구 동기 및 목표

• 분해 불가능한 주로 극화된 아벨 3차곡선에 대해 체 $K$ 위에서 정준 불변량 $\chi_{18}(A,\lambda)$의 존재를 다루는 세르의 2003년 추측을 해결하는 것.
• 해당 3차곡선이 체 $K$ 상에서 히퍼에일리프틱 또는 비히퍼에일리프틱 곡선의 아벨-자코비안으로서 나타나는지 여부를 결정하는 것.
• 비히퍼에일리프틱 곡선과 관련된 이차 문자 $\varepsilon$를 $\chi_{18}$의 제곱근에 대한 갈루아 작용을 통해 명시적으로 계산하는 것.
• 관련된 4차 곡선의 판별식을 통해 모듈라 형식 $\chi_{18}$에 대한 정확한, 명시적인 공식을 제공하며, 정확한 상수 $c = (1/2\pi)^{54}$를 포함하는 것.
• 하우, 레브로스트, 푸누의 3차원 가군군 가족에 대한 결과를 타우 특성과 모듈라 불변성을 사용하여 재구성하고 확장하는 것.

제안 방법

• 하우, 레브로스트, 푸누의 구성 방식을 재해석하여, 그들의 불변량 $\mathsf{T}$를 3개의 타원 곡선의 2차 토피아점으로 구성된 행렬의 행렬식으로 해석하는 것.
• 균일화를 사용하여 $\mathsf{T}$를 복소수 위에서의 타원 곡선의 타우널바이트(Theta characteristics)로 표현하는 것.
• 타우 함수의 배수 및 모듈라 변환 공식을 적용하여, 모듈라 형식 $\chi_{18}(A,\lambda)$를 동일한 타우널바이트로 표현하는 것.
• 두 표현식인 $\mathsf{T}$와 $\chi_{18}$을 비교하여 그 대수적 및 해석적 동치성을 확립하는 것.
• 시겔 모듈라 형식 이론과 교차부군 $\Gamma_g^0(2)$를 사용하여 $\chi_k(\frac{1}{2}\tau)$의 모듈라성을 증명하며, 그 군 작용에 대해 올바르게 변환됨을 보이는 것.
• 클라인의 고전적 결과를 활용하여 $\chi_{18}$이 4차 곡선의 판별식의 제곱과 관련됨을 보이고, 정확한 상수 $c = (1/2\pi)^{54}$를 통해 이를 정밀화하는 것.

실험 결과

연구 질문

• RQ1 분해 불가능한 주로 극화된 아벨 3차곡선 $(A,\lambda)$에 대해 체 $K$ 위에서 $\chi_{18}(A,\lambda) = 0$이 되는 것이 정확히 해당 곡선이 히퍼에일리프틱일 때에만 성립하는 정준 불변량 $\chi_{18}(A,\lambda)$가 존재하는가?
• RQ2 비히퍼에일리프틱 종수 3 곡선과 관련된 갈루아 문자 $\varepsilon$는 $\chi_{18}(A,\lambda)$의 제곱근에 대한 갈루아 작용으로 복원될 수 있는가?
• RQ3 3개의 타원 곡선의 곱과 동형인 가군군에 속하는 아벨 3차곡선의 3차원 가군군으로 제한된 모듈라 형식 $\chi_{18}$은 정확한 상수를 포함하여 타우 특성과 판별식으로 표현될 수 있는가?
• RQ4 클라인의 고전적 공식이 $\chi_{18}$을 4차 곡선의 판별식의 제곱과 연결하는 것을 정확한 상수 $c = (1/2\pi)^{54}$를 포함하여 명시적으로 만들 수 있는가?
• RQ5 하우, 레브로스트, 푸누의 불변량 $\mathsf{T}$는 모듈라 형식 $\chi_{18}$과 어떻게 관련되어 있으며, 이를 행렬의 행렬식으로 재해석할 수 있는가?

주요 결과

• 논문은 3개의 타원 곡선의 곱과 동형인 가군군을 가진 아벨 3차곡선의 3차원 가군군에 대해 세르의 추측을 긍정적으로 증명한다.
• 이를 통해 $\chi_{18}(A,\lambda) = 0$이 되는 것이 정확히 해당 곡선이 히퍼에일리프틱일 때라는 것을 입증하며, 세르의 추측의 첫 번째 부분을 확인한다.
• 세르의 산술 토렐리 정리에서의 이차 문자 $\varepsilon$가 정확히 $\chi_{18}(A,\lambda)$의 제곱근에 대한 갈루아 작용임을 보이며, 추측의 두 번째 부분을 확인한다.
• 저자들은 클라인의 공식을 정밀하게 유도한다: $\chi_{18}(\Omega) = (1/2\pi)^{54} \cdot \operatorname{Disc}(Q)^2$, 여기서 $Q$는 곡선을 정의하는 4차 곡선이다.
• 하우, 레브로스트, 푸누의 불변량 $\mathsf{T}$는 3개의 타원 곡선의 2차 토피아점으로 구성된 행렬의 행렬식으로 재해석된다.
• $\chi_{18}(\frac{1}{2}\tau)$가 무게 18인 교차부군 $\Gamma_g^0(2)$에 대한 모듈라 형식임을 증명하며, 군의 생성자를 사용한 완전한 모듈라성 증명이 제시된다.