[논문 리뷰] A census of all genus 4 curves over the field with 2 elements

Xavier Xarles|arXiv (Cornell University)|2020. 07. 15.

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

한 줄 요약

이 논문은 유한체 $\mathbb{F}_2$ 위에서의 모든 종수 4 대수곡선에 대한 완전한 분류를 제시하며, 다항식에 대한 군 작용과 대수기하 기법을 통해 초타원곡선 및 삼각곡선의 경우를 모두 계산한다. 주요 기여는 $\mathbb{F}_2$ 위에서 종수 4 곡선의 16개의 동형류를 명시적으로 나열한 것으로, 점 수 및 Weil 다항식과 같은 상수들을 포함한 구체적인 방정식을 제공하며, 일부 곡선은 확장 체에서 최대 점 수를 달성한다.

ABSTRACT

We explain how we computed equations for all genus 4 curves defined of the field with 2 elements, up-to-isomorphism, and some of the data we obtained. We give descriptions also of nice models for genus 4 curves over characteristic 2 fields, in both the hyperelliptic case and the trigonal case.

연구 동기 및 목표

• 정의된 $\mathbb{F}_2$ 위에서 종수 4 곡선의 모든 동형류를 계산하는 것.
• 대수기하 기법을 사용하여 $\mathbb{F}_2$ 위에서 초타원곡선과 삼각곡선을 분류하는 것.
• 각 동형류에 대해 명시적인 방정식과 불변량(예: Weil 다항식, 점 수)을 제공하는 것.
• $k=1,\dots,5$ 에 대해 $\mathbb{F}_{2^k}$ 에서 최대 유리 점 수를 달성하는 곡선을 식별하고 그 성질을 규명하는 것.

제안 방법

• 초타원곡선의 표준 모델 사용: $q(x)$ 가 모닉이고 차수 제약 조건을 만족하는 $y^2 + q(x)y = p(x)$.
• $\operatorname{PGL}(2,\mathbb{F}_2)$-작용을 다항식에 적용하여 동형류를 분류: $\psi_n(A)(q) = (cx+d)^n q\left(\frac{ax+b}{cx+d}\right)$.
• $\operatorname{PGL}(2,\mathbb{F}_2)$ 작용 하에서 차수 5 다항식의 궤도 분해를 통해 $\overline{\mathbb{F}_2[x]_5}$ 의 대표자를 계산.
• $\mathbb{P}^3$ 내에서 이차곡선과 삼차곡선의 완전 교차로 삼각곡선을 열거하고 기하학적 불변량을 사용.
• Weil 다항식과 $\mathbb{F}_{2^k}$ 위에서의 점 수 계산을 통해 이소지 클래스를 구분하고 최대 곡선을 탐지.
• 초타원곡선 모델에서 $p(x)$ 와 $q(x)$ 의 차수 및 계수 분석을 통해 동형비동형성을 검증.

실험 결과

연구 질문

• RQ1 몇 개인가? $\mathbb{F}_2$ 위에서 종수 4 곡선의 동형류는 얼마나 있으며, 그 정의 방정식은 무엇인가?
• RQ2 어느 종수 4 곡선이 $k=1,\dots,5$ 에 대해 $\mathbb{F}_{2^k}$ 에서 최대 유리 점 수를 달성하는가?
• RQ3 이소지적 임의의 아벨 다양체를 가진 곡선이 서로 다른 정의 방정식을 가질 수 있으며, 만약 그렇다면 몇 개인가?
• RQ4 최대 점 수를 달성하는 곡선의 임의의 아벨 다양체의 2- torsion 부분군의 구조는 무엇인가?
• RQ5 동일한 Weil 다항식을 가진 서로 비동형인 곡선이 존재하는가? 만약 그렇다면 기하학적으로 어떻게 관련되어 있는가?

주요 결과

• 총 16개의 동형류가 존재하며, 이는 4개의 초타원곡선과 12개의 삼각곡선으로 구성된다.
• 4개의 초타원곡선은 동일한 Weil 다항식을 공유하므로 임의의 아벨 다양체가 이소지적이며, $p(x)$ 의 상수항을 제외하고는 방정식이 다를 뿐이다.
• 한 곡선은 $\mathbb{F}_{2^5}$ 에서 최대 71개의 점을 가지며, $a_5 = 14$ 를 만족하는 $\mathbb{F}_2$ 에 정의된 유일한 곡선이다.
• $|C(\mathbb{F}_2)| = 1$ 이고 $|C(\mathbb{F}_{2^4})| = 45$ 인 곡선은 $\mathbb{F}_{2^4}$ 에서 가능한 최대 점 수를 달성하는 유일한 종수 4 곡선이다.
• 서로 다른 이차곡선 성분을 가진 두 개의 서로 비동형인 삼각곡선이 이소지적 임의의 아벨 다양체를 가지며, 초타원곡선의 임의의 아벨 다양체는 네 개의 서로 다른 삼각곡선과 이소지적이다.
• 모수 $a_1 = 3$, $a_2 = 3$, $a_3 = 2$, $a_4 = 3$ 인 곡선의 임의의 아벨 다양체의 2- torsion 부분군은 $\mathbb{Z}/30\mathbb{Z}$ 와 동형이다.