[논문 리뷰] Supersingular genus-two curves over fields of characteristic three

Everett W. Howe|arXiv (Cornell University)|2006. 04. 19.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 3

한 줄 요약

이 논문은 특성 3인 유한체 위의 초특이 종수 2 곡선의 Weil 다항식을 분석함으로써, j-불변량 0인 초특이 타원곡선으로의 도수 3 사상에 기반하여 분류한다. 모듈리 공간 기법과 명시적 모델을 사용하여, $ y^2 = x^5 + 1 $를 제외한, $ \mathbb{F}_3 $의 대수적 폐쇄 위의 모든 초특이 종수 2 곡선이 이 타원곡선으로 정확히 20개의 비동형 도수 3 사상을 갖는다는 것을 보이며, 이는 모든 $ \mathbb{F}_q $ ($ q = 3^d $) 에서 발생하는 Weil 다항식의 완전한 결정을 이끈다.

ABSTRACT

Let C be a supersingular genus-2 curve over an algebraically closed field of characteristic 3. We show that if C is not isomorphic to the curve y^2 = x^5 + 1 then up to isomorphism there are exactly 20 degree-3 maps phi from C to the elliptic curve E with j-invariant 0. We study the coarse moduli space of triples (C,E,phi), paying particular attention to questions of rationality. The results we obtain allow us to determine, for every finite field k of characteristic 3, the polynomials that occur as Weil polynomials of supersingular genus-2 curves over k.

연구 동기 및 목표

• 특성 3인 유한체 위의 아벨 표면 이소지니 클래스 중에서 양각을 포함하는 것에 대한 분류의 격차를 메운다. 특히 초특이 이소지니 클래스에 대해 중점을 둔다.
• 이전에 $ d \leq 1 $ 인 경우에 완료되지 않았던, $ \mathbb{F}_q $ ($ q = 3^d $) 에서의 초특이 종수 2 곡선에 대한 Weil 다항식의 분류를 완성한다.
• 특성 3에서 j = 0인 초특이 타원곡선으로의 도수 3 사상에 대해 초특이 종수 2 곡선의 모듈리 이론적 프레임워크를 구축한다.
• 이러한 사상의 근본 모듈리 공간에 대한 명시적 방정식과 유리성 결과를 제공함으로써, 발생하는 Weil 다항식의 분류를 가능하게 한다.
• 특성 $ > 3 $ 라는 가정이 있었던 이전 연구를 완성하여, 특성 3에서의 초특이 이소지니 클래스의 경우를 해결한다.

제안 방법

• 논문은 삼중체 $ (C, E, \varphi) $ 의 근본 모듈리 공간 $ \mathcal{A} $ 를 구성한다. 여기서 $ C $ 는 초특이 종수 2 곡선, $ E $ 는 j = 0 인 초특이 타원곡선이며, $ \varphi: C \to E $ 는 도수 3 사상이다.
• 2- torsion의 구조와 Weil 쌍형을 사용하여, $ \mathcal{A} $ 와 쌍대체 $ (C, G) $ 의 근본 모듈리 공간 $ \mathcal{B} $ (여기서 $ G $ 는 $ (\operatorname{Jac} C)[2] $ 에서 비동형인 순서 4 부분군임) 사이의 동형사상을 확립한다.
• 모듈리 공간 $ \mathcal{A} $ 와 $ \mathcal{B} $ 에 대한 명시적 모델을 제공하며, $ \mathcal{A} $ 가 한 점을 제외한 아핀 직선과 동형임을 보이며, $ \mathcal{A} \to \mathcal{S} $ (초특이 종수 2 곡선의 모듈리 공간으로의 사상) 는 도수 20를 갖는다.
• Igusa 불변량 $ [J_2 : J_4 : J_6 : J_8 : J_{10}] $ 를 사용하여 특성 3에서 초특이 종수 2 곡선를 조건 $ J_2 = J_4 = J_8 = 0 $ 으로 특성화하며, $ \mathcal{S} \cong \mathbb{A}^1 $ 이라는 것을 보인다.
• Galois 군의 작용을 분석함으로써 유리성 문제를 다루며, 특히 함수 $ F(z) = \frac{(z^9 - z)^5}{(z^9 - z)^{36}} $ 를 사용하여 유한체 위에서의 분할 행동을 증명한다.
• 특히 $ z^r - z - c $ 와 $ (z^{r-1} + 1)^{(r+1)/2} - e z^{r(r-1)/2} $ 와 같은 다항식의 추적과 분할에 관한 핵심 보조정리들을 사용하여, 유리성과 해의 존재성을 확립한다.

실험 결과

연구 질문

• RQ1 특성 3인 유한체 위의 초특이 종수 2 곡선에 대해 발생하는 Weil 다항식은 무엇인가?
• RQ2 특성 3에서 j-불변량 0인 초특이 타원곡선으로의 비동형 도수 3 사상은 $ y^2 = x^5 + 1 $ 를 제외한 초특이 종수 2 곡선에 대해 몇 개인가?
• RQ3 이러한 도수 3 사상의 근본 모듈리 공간의 구조는 무엇이며, 초특이 종수 2 곡선의 모듈리 공간과 어떻게 관련이 있는가?
• RQ4 유한체 위에서의 유리성 조건은 어떤 이소지니 클래스가 양각을 포함하는지를 결정하는 데 어떻게 사용될 수 있는가?
• RQ5 2- torsion 부분군과 Weil 쌍형은 이러한 사상과 곡선을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 모든 $ \mathbb{F}_q $ ($ q = 3^d $) 에 대해, 이 논문은 초특이 종수 2 곡선에 대해 발생하는 Weil 다항식의 완전한 목록을 제공하며, $ d $ 가 홀수인지 짝수인지에 따라 달라진다.
• 만약 $ d $ 가 홀수이면, Weil 다항식은 다음과 같다: $ (x^2 + q)(x^2 - s x + q) $ ($ s = \pm \sqrt{3q} $), $ (x^2 + q)^2 $ ($ q > 3 $ 인 경우), $ x^4 + q^2 $, $ x^4 + q x^2 + q^2 $, 그리고 $ x^4 - 2q x^2 + q^2 $ ($ q > 3 $ 인 경우).
• 만약 $ d $ 가 짝수이면, Weil 다항식은 다음과 같다: $ (x^2 - 2s x + q)(x^2 + s x + q) $ ($ s = \pm \sqrt{q} $), $ (x^2 - s x + q)^2 $ ($ s = 0, \pm \sqrt{q} $), $ (x^2 - 2s x + q)^2 $ ($ s = \pm \sqrt{q} $, $ q > 9 $ 인 경우), $ x^4 + q^2 $, 그리고 $ x^4 - s x^3 + q x^2 - s q x + q^2 $ ($ s = \pm \sqrt{q} $).
• $ y^2 = x^5 + 1 $ 를 제외한, $ \mathbb{F}_3 $ 의 대수적 폐쇄 위의 모든 초특이 종수 2 곡선은 j = 0 인 초특이 타원곡선으로 정확히 20개의 비동형 도수 3 사상을 갖는다.
• 이러한 사상의 근본 모듈리 공간 $ \mathcal{A} $ 는 $ \mathbb{A}^1 \setminus \{0\} $ 과 동형이며, 자연스러운 사상 $ \mathcal{A} \to \mathcal{S} $ (초특이 종수 2 곡선의 모듈리 공간으로의 사상) 는 도수 20를 갖는다.
• 특성 3에서 초특이 종수 2 곡선의 모듈리 공간 $ \mathcal{S} $ 는 아핀 직선 $ \mathbb{A}^1 $ 과 동형이며, 초특이 조건은 Igusa 불변량에서 $ J_2 = J_4 = J_8 = 0 $ 으로 특성화된다.