Automorphism groups of hyperelliptic curves of $2$-rank zero

논문 요약: 2-계수가 0 인 초타원곡선의 자기동형군

1. 연구 배경 및 문제 정의

• 연구 주제: 표수 2 (characteristic 2) 인 대수적으로 닫힌 체 $K$ 위에서 정의된 2-계수 (2-rank) 가 0 인 초타원곡선 (hyperelliptic curve) 의 자기동형군 (automorphism group) 구조를 규명하는 것.
• 동기: Oort 의 추측 (Oort's conjecture) 은 일반화된 주극화 아벨 다양체 (generic principally polarized abelian variety) 의 자기동형군이 $\{ \pm 1 \} \simeq \mathbb{Z}_2$ 임을 예측합니다. 본 논문은 이 추측의 아날로그를 초타원곡선, 특히 2-계수가 0 인 경우 (또는 초특이 곡선, supersingular curve) 에 적용하여, genus $g \ge 2$ 인 일반적 곡선의 자기동형군이 $\mathbb{Z}_2$ 인지 여부를 검증하고자 합니다.
• 곡선의 형태: 2-계수가 0 인 초타원곡선은 Artin-Schreier 곡선 $y^2 - y = f(x)$ 형태로 표현되며, 여기서 $f(x)$ 는 다음과 같은 다항식입니다.
  $$f(x) = x(x^{2n} + a_{n-1}x^{2(n-1)} + \cdots + a_1x^2 + a_0)$$
  이 곡선의 genus 는 $n$ 입니다.

2. 방법론 (Methodology)

• 이론적 분석:
  • 곡선 $C$ 의 자기동형군 $Aut(C)$와 축소 자기동형군$RA(C) = Aut(C)/\langle \sigma \rangle$(여기서$\sigma$ 는 초타원 involutions) 의 구조를 분석합니다.
  • 좌표 변환 $x \mapsto \alpha x + \beta$, $y \mapsto y + \sum \gamma_i x^i$ 를 통해 자기동형이 성립하기 위한 필요충분 조건을 유도합니다.
  • 군의 확장 구조 (semidirect-product structure) 를 규명하기 위해 사상 $\rho_n$ ( $\alpha$ 에 해당) 과 $\tau_n$ ( $(\alpha, \beta)$ 에 해당) 을 정의하고, 이들의 핵 (kernel) 과 상 (image) 을 연구합니다.
• 계산적 접근:
  • 작은 genus ($n=1$ 부터 $n=6$ 까지) 에 대해 구체적인 군 구조를 계산하기 위해 컴퓨터 대수 시스템 Magma를 활용했습니다.
  • 좌표 변환이 자기동형이 되기 위한 조건에서 생성된 다항식 아이디얼의 Gröbner 기저 (Gröbner basis) 를 계산하여, $\alpha$ 와 $\beta$ 가 가질 수 있는 값의 개수와 조건식을 도출했습니다.
• 슈톨텐 - 주 (Scholten-Zhu) 곡선 분석: 표수 2 의 genus $\le 9$ 인 초특이 (supersingular) 곡선들에 대해서도 동일한 방법을 적용하여 자기동형군을 계산했습니다.

3. 주요 결과 (Key Results)

가. 일반적 구조 정리 (Theorem 1)

• $Aut(C)$는$\mathbb{Z}_2$ (hyperelliptic involution) 와 $RA(C)$ 로 확장됩니다.
• $RA(C)$ 는 기본 아벨 2-군 (elementary abelian 2-group) $U_n$ 과 순환군 $Z_{\#Im\rho_n}$ 의 반직곱 (semidirect product) 구조를 가집니다:
  $$RA(C) \simeq \mathbb{Z}_2^\ell \rtimes \mathbb{Z}_{\#Im\rho_n}$$
• $n$ 이 홀수이고 $n \ge 3$ 인 경우, $U_n$ 은 자명군 ($\{e\}$) 이 되어 $RA(C)$ 는 순환군이 됩니다.

나. 작은 genus 에 대한 구체적 분류 (Theorem 2)
Magma 계산을 통해 $n=1$ 부터 $6$까지의$RA(C)$구조와$Aut(C)$ 의 크기를 정리했습니다.

• 일반적 경우 (Generic case): 계수 $a_i$ 들이 일반적인 값을 가질 때 (특정 다항식 조건을 만족하지 않을 때), $RA(C)$는 자명군 ($Z_1$) 이며$Aut(C) \simeq \mathbb{Z}_2$ 입니다. 이는 Oort 추측의 아날로그가 $2 < g \le 6$ 에서 성립함을 의미합니다.
• 비일반적 경우 (Special cases): 계수들이 특정 조건 (예: $a_1=0$ 등) 을 만족할 때, $RA(C)$는 더 큰 군 ($\mathbb{Z}_2^k$, $\mathbb{Z}_p$, 또는 이들의 반직곱) 으로 커집니다.
  • 예: $n=2$ 일 때 $a_1=0$ 이면 $RA(C) \simeq \mathbb{Z}_2^4 \rtimes \mathbb{Z}_5$ (크기 160).
  • 예: $n=4$ 일 때 $a_3=a_2=a_1=0$ 이면 $RA(C) \simeq \mathbb{Z}_2^6 \rtimes \mathbb{Z}_9$ (크기 1152).

다. 슈톨텐 - 주 (Scholten-Zhu) 초특이 곡선 (Theorem 3)

• genus $g=1, 2, 4, 5, 6, 8, 9$ 에 해당하는 초특이 곡선들의 자기동형군을 계산했습니다.
• 발견: Oort 추측의 단순한 아날로그 ("모든 genus $\ge 2$ 인 일반적 초특이 초타원곡선은 $\mathbb{Z}_2$ 를 가진다") 는 거짓임이 밝혀졌습니다.
  • $g=2, 4, 8$ (즉, $2$의 거듭제곱) 인 경우, 특정 계수 조건 하에서 자기동형군이 매우 큽니다 (예:$g=8$ 일 때 최대 8704).
  • 반면, $g=5, 6, 9$ 등 $2$의 거듭제곱이 아닌 경우, 일반적 곡선은$\mathbb{Z}_2$ 를 가집니다.

4. 제안된 추측 (Conjectures)

실험 결과를 바탕으로 두 가지 정제된 추측을 제시했습니다.

1. Conjecture 1: 표수 2 에서 genus $g > 2$ 인 2-계수가 0 인 일반적 초타원곡선의 자기동형군은 $\{ \pm 1 \}$ 이다.
2. Conjecture 2: 표수 2 에서 genus $g$ 인 일반적 초특이 초타원곡선의 자기동형군은 $g$ 가 $2$의 거듭제곱이 **아닌** 경우에만${ \pm 1 }$ 이다. (더 강력하게, "if and only if"로 성립할 것으로 기대됨).

5. 의의 및 결론 (Significance)

• 이론적 기여: 표수 2 에서 2-계수가 0 인 초타원곡선의 자기동형군에 대한 완전한 분류를 작은 genus 에 대해 제공했습니다. 이는 기존 Igusa(genus 2) 나 Lercier-Ritzenthaler(genus 3) 의 결과를 특정 조건 (2-계수 0) 하에서 확장한 것입니다.
• Oort 추측에 대한 통찰: Oort 추측이 아벨 다양체 전체에 대해 성립할 수 있지만, 그 부분집합인 초타원곡선 (특히 2-계수 0 또는 초특이) 에서는 $g$ 가 $2$ 의 거듭제곱일 때 예외가 발생할 수 있음을 보여주었습니다. 이는 아벨 다양체 분류에서 초타원곡선이라는 더 좁은 범위의 연구가 왜 중요한지, 그리고 기존 추측이 어떻게 수정되어야 하는지에 대한 중요한 통찰을 제공합니다.
• 한계 및 향후 과제: 현재는 계산적 한계로 인해 $n \le 6$ 까지만 구체적으로 분류되었습니다. 더 큰 $n$ 에 대해서는 알고리즘 개선과 계산 환경 향상이 필요하며, 특히 $n$ 이 짝수일 때 $U_n$ 의 구조를 이론적으로 일반화하는 것이 향후 과제로 남았습니다.

이 논문은 계산 대수 기하학 (Computational Algebraic Geometry) 을 활용하여 구체적인 군 구조를 규명하고, 이를 바탕으로 수학적 추측을 정립한 성공적인 사례입니다.