[논문 리뷰] Curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12

Gabriel Cardona, Jordi Quer|ArXiv.org|2002. 03. 17.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 6

한 줄 요약

이 논문은 특성 ≠ 2인 완전체(또는 D₁₂의 경우 ≠ 2,3) 위에서 종 2 곡선을 D₈ 또는 D₁₂의 자동사상군을 가진 것으로 분류하며, 모듈리 공간 M₂의 일차원 부분다양체의 k-유리점들을 통해 k-동형류를 매개변수화한다. Galois 코hom로 H¹(Gₖ, Aut(C))를 이용해 모든 k--twist를 계산하고, 체 매개변수에 따라 변형된 일반적인 초타원곡선 모형을 제공하며, ℚ 위에서 이러한 곡선의 타원적 몫은 정확히 차수 2(각각 D₈에 대해) 또는 3(D₁₂에 대해)인 ℚ-곡선임을 보여준다. 또한, 절댓값 불변량이 특정 코homological 조건을 만족할 때에만 그의 야곱시안이 GL₂-형이 된다.

ABSTRACT

In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism. As an application of the classification of curves of genus 2 obtained, we get precise arithmetic information on their elliptic quotients and on their jacobians. Over the field k=Q, we show that the elliptic quotients of the curves with automorphisms D_8 and D_{12} are precisely the Q-curves of degrees 2 and 3, respectively, and we determine which curves have jacobians of GL_2-type.

연구 동기 및 목표

• 대수적으로 닫힌 체 위에서의 이전 분류를 확장하여, 완전체 k 위에서 자동사상군이 D₈ 또는 D₁₂인 종 2 곡선을 분류하는 것.
• 모듈리 공간 M₂의 일차원 준아핀 부분다양체의 k-유리점들을 통해 이러한 곡선의 k-동형류를 매개변수화하는 것.
• 각 곡선의 모든 k--twist를 명시적으로 결정함으로써 Galois 코호몰로지 집합 H¹(Gₖ, Aut(C))를 계산하는 것.
• 명시적인 초타원곡선 모형과 GL₂(k̄) 내에서 자동사상군의 행렬 표현을 제공하여 구체적인 산술적 연구를 가능하게 하는 것.
• ℚ 위에서 야곱시안이 GL₂-형인 곡선은 무엇이며, 그들의 타원적 몫은 어떤 ℚ-곡선인지 확인하는 것.

제안 방법

• 모듈리 공간 M₂의 준아핀 일차원 부분다양체의 k-유리점들을 통해 D₈ 또는 D₁₂ 자동사상군을 가진 종 2 곡선의 k-동형류를 매개변수화하는 것.
• 자기사상군을 GL₂(k̄)의 부분군으로 표현하고, Galois 강하를 이용해 k-구조를 분류하는 것.
• Galois 코호몰로지 집합 H¹(Gₖ, Aut(C))를 계산하여 각 곡선의 모든 k--twist를 분류하는 것. 이때 H¹(Gₖ, GL₂(k̄))가 자명하다는 사실을 이용한다.
• 감소된 자동사상군 A′ = Aut(C)/⟨ι⟩와 초타원적 반사 ι를 포함하는 코호몰로지의 장점 정렬 시퀀스를 사용하여 H¹(Gₖ, Aut(C))의 구조를 분석하는 것.
• 모든 k-동형류를 실현하는 매개변수에 따라 k 위에서 정의된 명시적 초타원곡선 모형 Y² = F(X)를 구성하는 것.
• 제한 체의 보편 성질과 코호몰로지 기준(예: Br₂(ℚ) 내의 (h,2) 및 (w,−1) 클래스)을 적용하여 야곱시안과 타원적 몫을 분석하는 것.

실험 결과

연구 질문

• RQ1 특성 ≠ 2,3인 완전체 k 위에서 자동사상군이 D₈ 또는 D₁₂인 종 2 곡선은 무엇이며, 어떻게 k 위에서 매개변수화할 수 있는가?
• RQ2 Galois 코호몰로지 H¹(Gₖ, Aut(C))를 이용해 이러한 곡선의 모든 k--twist를 어떻게 명시적으로 계산할 수 있는가?
• RQ3 ℚ 위에서 이러한 곡선 중 야곱시안이 GL₂-형인 것은 무엇이며, 그들의 타원적 몫의 산술적 구조는 어떠한가?
• RQ4 이러한 곡선의 타원적 몫은 ℚ-곡선과 어떻게 관련되어 있으며, 그 차수는 무엇인가?
• RQ5 특정 체들, 예를 들어 K(√−2)는 코호몰로지 조건이 만족되는 것처럼 보일지라도, 왜 D₈-곡선의 야곱시안의 내부자기사상 체에 나타나지 않는가?

주요 결과

• 모든 자동사상군이 D₈ 또는 D₁₂인 곡선 C/k에 대해, k-동형류는 M₂의 일차원 준아핀 부분다양체의 k-유리점들로 매개변수화된다.
• 이러한 곡선의 모든 k--twist는 코호몰로지 집합 H¹(Gₖ, Aut(C))를 통해 계산되며, 이 집합의 구조는 A′과 ⟨ι⟩를 포함하는 장점 정렬 시퀀스를 통해 분석된다.
• ℚ 위에서 자동사상군이 D₈인 곡선의 타원적 몫은 정확히 차수 2인 ℚ-곡선이며, 자동사상군이 D₁₂인 곡선의 타원적 몫은 차수 3인 ℚ-곡선이다.
• ℚ 위에서 이러한 곡선의 야곱시안이 GL₂-형이 되는 것은 절댓값 불변량 t가 (t, −2) = 1을 만족하고, Galois 작용이 유형 C₄일 때에 한하여 성립한다.
• 차수 2 또는 3인 타원곡선 E를 4차 체 K 위에서 정의할 때, 제한 체 Res_{K/ℚ}(E)는 ℚ 위에서 이소지니에 의해 두 개의 비이sovolumetric인 GL₂-형 아벨 곡면의 곱으로 분해되며, 내부자기사상환은 각각 ℚ(√−1) 또는 ℚ(√−3)이다.
• K(√−2)는 ℚ 위의 D₈-곡선의 야곱시안의 내부자기사상 체에 나타나지 않는다. 이는 해당 2-코호몰로지 원소가 Ext(K/ℚ, {±1})에 속하지 않기 때문에, GL₂-형 성분이 존재하지 않기 때문이다.