[논문 리뷰] Families of genus two curves with many elliptic subcovers

Tony Shaska|arXiv (Cornell University)|2012. 09. 03.

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 복소수체 위에서 차수 2 및 차수 3 타원 부분커브를 모두 갖는 종수 2 곡선을 분류하며, 그 집합이 정확히 세 개인 서로소인 1차원 종수 0 성분을 가짐을 증명한다. 이는 이러한 곡선과 그 부분커브에 대해 명시적인 유리수 매개변수화를 제공하며, 모든 부분커브가 유리수체 위에 정의된 바에 유한한 수의 such 곡선이 존재함을 보인다.

ABSTRACT

We determine all genus 2 curves, defined over $\mathbb C$, which have simultaneously degree 2 and 3 elliptic subcovers. The locus of such curves has three irreducible 1-dimensional genus zero components in $\mathcal M_2$. For each component we find a rational parametrization and construct the equation of the corresponding genus 2 curve and its elliptic subcovers in terms of the parameterization. Such families of genus 2 curves are determined for the first time. Furthermore, we prove that there are only finitely many genus 2 curves (up to $\mathbb C$-isomorphism) defined over $\mathbb Q$, which have degree 2 and 3 elliptic subcovers also defined over $\mathbb Q$.

연구 동기 및 목표

• 모든 복소수체 위의 종수 2 곡선 중에서 차수 2 및 차수 3 타원 부분커브를 모두 갖는 곡선을 결정하는 것.
• 모듈리 공간 𝒜₂ 내에서 이러한 곡선의 분류를 수행하며, 𝒟₂ ∩ 𝒟₃의 기하학적 성분을 식별하는 것.
• 이러한 가닥들에 대해 명시적인 유리수 매개변수화를 구성하고, 종수 2 곡선과 그 부분커브의 방정식을 유도하는 것.
• 모든 부분커브가 유리수체 위에 정의된 바에, 유리수체 위에 정의된 종수 2 곡선이 유한한 수임을 증명하는 것.
• 실제 응용에서 이러한 곡선을 식별하는 데 사용할 수 있는 계산 도구와 불변량을 제공하는 것.

제안 방법

• 모듈리 공간 𝒜₂ 내에서 𝒟₂ ∩ 𝒟₃의 세 개의 서로소 1차원 성분을 유리함수를 이용해 매개변수화하는 것.
• 매개변수 t를 사용하여 각 가닥 내 종수 2 곡선에 대한 명시적인 다항방정식을 유도하며, 계수를 t에 대한 함수로 표현하는 것.
• 차수 2 및 차수 3 타원 부분커브의 j-불변량을 각각 t에 대한 이차 및 삼차 유사 표현의 근으로 계산하는 것.
• Igusa 및 Shioda 불변량을 사용하여 모듈리 점을 계산하고, 곡선과 그 부분커브의 유리성 여부를 검증하는 것.
• Faltings의 정리를 곡선 z² = g(s₁,s₂)에 적용하여, 성분에 따라 종수 13, 13, 또는 23인 고종수 곡선에 대해 ℚ 위에서의 유한성을 증명하는 것.
• genus2 Maple 패키지를 활용하여 부분커브 존재성과 불변량의 유리성 여부를 계산적으로 검증하는 것.

실험 결과

연구 질문

• RQ1 복소수체 위의 종수 2 곡선 중에서 차수 2 및 차수 3 타원 부분커브를 모두 갖는 곡선의 집합에 대해, 몇 개인 서로소인 1차원 성분이 존재하는가?
• RQ2 모든 이러한 종수 2 곡선과 그 타원 부분커브에 대해 명시적인 유리수 매개변수화를 구성할 수 있는가?
• RQ3 종수 2 곡선의 방정식과 그 j-불변량은 단일 매개변수 t에 대해 어떻게 표현되는가?
• RQ4 모든 부분커브가 유리수체 위에 정의된 종수 2 곡선이, 모두 유한한 수인가?
• RQ5 이러한 곡선과 그 부분커브를 특징짓는 불변량(Igusa, Shioda, j-불변량)은 무엇인가?

주요 결과

• 차수 2 및 차수 3 타원 부분커브를 모두 갖는 종수 2 곡선의 집합은 모듈리 공간 𝒜₂ 내에서 정확히 세 개인 서로소인 1차원 종수 0 성분을 가진다.
• 각 성분에 대해 매개변수 t에 대한 유리수 매개변수화가 구성되며, 이로부터 종수 2 곡선의 명시적 방정식이 도출된다.
• 차수 2 타원 부분커브의 j-불변량은 계수 c₀ 및 c₁이 t에 대해 유리함수로 표현된 이차방정식의 근으로 주어진다.
• 차수 3 부분커브의 j-불변량은 t에 대한 명시적인 유리함수로 주어지며, 한 가닥에서는 부분커브가 서로 동형임을 보인다.
• 세 번째 가닥의 종수 2 곡선 방정식은 계수들이 t에 대한 유리함수인 x에 대한 두 개의 삼차다항식의 곱으로 표현된다.
• 고종수 곡선 z² = g(s₁,s₂)에 Faltings의 정리를 적용함으로써, 모든 부분커브가 ℚ 위에 정의된 종수 2 곡선이 ℚ 위에서 유한함을 증명한다. 이 곡선의 종수는 성분에 따라 13, 13, 또는 23이다.