[논문 리뷰] Hyperelliptic curves in characteristic 2

Jasper Scholten, Hui June Zhu|ArXiv.org|2000. 12. 19.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 $n \geq 2$ 인 $2^n - 1$의 종수를 가진 초타원형 초특이 곡선이 $\overline{\mathbb{F}}_2$ 상에 존재하지 않음을 증명하며, 이러한 곡선의 뉴턴 다각형의 첫 번째 기울기가 $h = \lfloor \log_2(g+1) + 1 \rfloor$ 에 대해 최소 $1/h$임을 보인다. 또한 초타원형 초특이 곡선의 모듈리 공간은 종수 $g$ 에 대해 최대 $g-2$ 차원이며, 종수 4일 경우 등호가 성립한다. 이 경우 모든 곡선은 특정 정규형 $y^2 - y = x^9 + c_5x^5 + c_3x^3$ 을 갖는다. 결과들은 계수의 $2$-진 분석과 뉴턴 다각형의 경계를 이용해 도출된다.

ABSTRACT

In this paper we prove that there are no hyperelliptic supersingular curves over F_2bar of genus 2^n-1 for any integer n>1. Let g be a natural number, and h=floor(log_2(g+1)+1). Let X be a hyperelliptic curve over F_2bar of genus g>2 and 2-rank zero, given by an affine equation y^2-y=c_{2g+1} x^{2g+1} +...+ c_1 x. We prove that the first slope of the Newton polygon of X is bigger than or equal to 1/h. We also prove that the equality holds if (I) g<2^h-2, c_{2^h-1} is nonzero; or (II) g=2^h-2, c_{2^h-1} or c_{3(2^{h-1})-1} is nonzero. We prove that genus-4 hyperelliptic curve over F_2bar are precisely those with equations y^2 - y = x^9 + a x^5 + b x^3.

연구 동기 및 목표

• 초타원형 초특이 곡선이 $\overline{\mathbb{F}}_2$ 상에 종수 $2^n - 1$ 인 경우 존재하는지 결정하는 것.
• $\overline{\mathbb{F}}_2$ 상의 초타원형 곡선이 $2$-랭크 0일 때 뉴턴 다각형의 첫 번째 기울기에 하한을 설정하는 것.
• $g \geq 3$ 인 초타원형 초특이 곡선의 모듈리 공간 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ 의 차원을 결정하는 것.
• 모든 종수 4 초타원형 초특이 곡선을 정규형을 제공함으로써 분류하는 것.

제안 방법

• 저자들은 뉴턴 다각형 기울기를 결정하는 계수의 합동 조건을 유도하기 위해 방정정식 $y^2 - y = \sum_{i=1}^{2g+1} c_i x^i$ 의 계수 $c_i$ 에 대한 $2$-진 분석을 사용한다.
• 그리고 $h = \lfloor \log_2(g+1) + 1 \rfloor$ 를 정의하고, $\overline{\mathbb{F}}_2$ 상의 $2$-랭크 0 초타원형 곡선에 대해 뉴턴 다각형의 첫 번째 기울기가 최소 $1/h$ 임을 증명한다.
• 등식 $\mathrm{NP}_1(X) = 1/h$ 는 특정 계수 조건에서 성립한다: $g < 2^h - 2$ 이면 $c_{2^h - 1} \neq 0$, 또는 $g = 2^h - 2$ 이면 $c_{2^h - 1} \neq 0$ 이나 $c_{3 \cdot 2^{h-1} - 1} \neq 0$ 이다.
• 증명은 Deuring–Shafarevich 공식과 곡선의 동형사상에 기반하여, 계수를 $c_{2g+1} = 1$ 인 홀수 차수 단항식으로 정규화하고, 일부 계수를 좌표 변환으로 제거한다.
• 종수 4의 경우, 저자들은 뉴턴 다각형 분석에서 유도된 계수의 영성 조건을 사용하여 모든 초특이 곡선이 $y^2 - y = x^9 + c_5x^5 + c_3x^3$ 의 형태여야 함을 보였다.
• 특히 $c_7 \neq 0$ 이면 $\mathrm{NP}_1(X) > 1/3$ 이므로 초특이 곡선은 반드시 $c_7 = 0$ 이어야 하며, 이로 인해 정규형이 도출된다.

실험 결과

연구 질문

• RQ1 $\overline{\mathbb{F}}_2$ 상에 종수 $2^n - 1$ 인 초타원형 초특이 곡선이 존재하는가?
• RQ2 $\overline{\mathbb{F}}_2$ 상의 $2$-랭크 0 초타원형 곡선에 대해 뉴턴 다각형의 첫 번째 기울기의 최소 가능한 값은 무엇인가?
• RQ3 $g \geq 3$ 인 초타원형 초특이 곡선의 모듈리 공간 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ 의 차원은 얼마인가?
• RQ4 모든 종수 4 초타원형 초특이 곡선은 하나의 정규형으로 기술될 수 있는가?

주요 결과

• $n \geq 2$ 인 정수 $n$ 에 대해 $\overline{\mathbb{F}}_2$ 상에 종수 $2^n - 1$ 인 초타원형 초특이 곡선은 존재하지 않으며, 이는 뉴턴 다각형 기울기 경계와 계수 조건에 의해 증명된다.
• $g \geq 3$ 인 초타원형 곡선이 $2$-랭크 0일 때 $\overline{\mathbb{F}}_2$ 상에서 뉴턴 다각형의 첫 번째 기울기는 $h = \lfloor \log_2(g+1) + 1 \rfloor$ 에 대해 최소 $1/h$ 이다.
• 등식 $\mathrm{NP}_1(X) = 1/h$ 는 $g < 2^h - 2$ 이고 $c_{2^h - 1} \neq 0$ 이거나, $g = 2^h - 2$ 이고 $c_{2^h - 1} \neq 0$ 이나 $c_{3 \cdot 2^{h-1} - 1} \neq 0$ 이면 성립한다.
• 모듈리 공간 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ 는 $g \geq 3$ 에 대해 최대 $g - 2$ 차원이며, $h \geq 3$ 이면 $g = 2^h - 2$ 일 경우 최대 $g - 3$ 차원이다.
• 종수 4일 경우 모듈리 공간 $\mathcal{HS}_4/\overline{\mathbb{F}}_2$ 는 기약이며 차원이 2이며, 모든 곡선은 어떤 $c_5, c_3 \in \overline{\mathbb{F}}_2$ 에 대해 $y^2 - y = x^9 + c_5x^5 + c_3x^3$ 의 형태를 가진다.
• 모든 종수 4 초타원형 초특이 곡선에서 계수 $c_7$ 는 반드시 0이 되어야 하며, $c_7 \neq 0$ 이면 $\mathrm{NP}_1(X) > 1/3$ 이 되어 초특이성과 모순된다.