[논문 리뷰] Subvarieties of the hyperelliptic moduli determined by group actions

Tony Shaska|arXiv (Cornell University)|2013. 02. 16.

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

한 줄 요약

이 논문은 유한부분군의 표현과 리만-허리츠 공식을 이용하여 $g \geq 2$인 초타원곡선의 모든 가능한 자기동형군 $G$와 그에 해당하는 분기 유형 $\sigma$를 구하여, 초타원곡선의 통합 대수적 분류를 제시한다. 각 위치 $×_g(G,\sigma)$에 대한 명시적 방정식을 유도하고, 각 위치의 차원을 계산하며, 고정된 종수에 대해 이러한 위치들 간의 포함 관계를 완전한 격자로 구성한다. 이는 GAP 기반의 계산 구현을 통해 이루어진다.

ABSTRACT

Let $\mathcal H_g$ be the moduli space of genus $g$ hyperelliptic curves. In this note, we study the locus $\mathcal L$ in $\mathcal H_g$ of curves admitting a $G$-action of given ramification type $σ$ and inclusions between such loci. For each genus we determine the list of all possible groups, the inclusions among the loci, and the corresponding equations of the generic curve in $\mathcal L$. The proof of the results is based solely on representations of finite subgroups of $PGL_2 (\mathbb C)$ and the Riemann-Hurwitz formula.

연구 동기 및 목표

• 초타원곡선의 자기동형군을 대수적으로 닫힌 체에서 특성 0인 체 위에서 통합적인 대수적 프레임워크로 분류하는 것.
• 주어진 종수 $g \geq 2$에 대해 초타원곡선의 전체 자기동형군이 될 수 있는 모든 가능한 유한군 $G$를 결정하는 것.
• 군 작용의 서명에 기반하여 초타원모듈리공간 $×_g$ 내의 각 위치 $×_g(G,\sigma)$의 차원을 계산하는 것.
• 유리함수 분해를 이용하여 각 $×_g(G,\sigma)$ 위치에 속한 일반곡선의 매개변수 방정식을 유도하는 것.
• 고정된 종수 $g$에 대해 모든 such 위치 $×_g(G,\sigma)$의 완전한 포함 관계 격자를 계산군론을 이용해 구성하는 것.

제안 방법

• PGL_2(×)의 유한부분군의 표현을 사용하여, $×\overline{G}$로 표현되는 가능한 축소된 자기동형군을 분류하며, 이들은 $×_\mathbb{Z}_n$, $D_n$, $A_4$, $S_4$, 또는 $A_5$와 동형이다.
• 리만-허리츠 공식을 적용하여 군 작용의 서명에 기반해 각 위치 $×_g(G,\sigma)$의 차원을 계산한다.
• 고정된 체 $k(x)^{\overline{G}}$를 생성하는 유리함수 $\phi(x)$를 구성하며, 이는 $y^2 = f(x)$에서 다항식 $f(x)$의 분해 유형을 결정한다.
• 유리함수 $\phi(x)$를 $x^n$ 또는 $x^{n}+c$ 형태로 분해하여 $×_g(G,\sigma)$ 위치에 속한 일반곡선의 매개변수 방정식을 도출하며, 결과적으로 $y^2 = f(x^n)$ 형태의 방정식을 얻는다.
• GAP 기반 알고리즘을 구현하여 종수 $g$의 곡선에 대한 모든 자기동형군 $G$를 그 순서와 라이브러리 인덱스 순으로 나열하고, 부분군 포함 관계의 인cidencematrice를 계산한다.
• Weierstrass 점을 $\phi(x)$의 분지점 위의 섬유 $\phi^{-1}(\lambda)$로 사용하여 분기와 곡선의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 어떤 유한군 $G$가 종수 $g$인 초타원곡선의 전체 자기동형군이 될 수 있는가?
• RQ2 각 such 군 $G$에 대해, 곡선 위에서 $G$-작용의 가능한 분기 유형 $\sigma$는 무엇인가?
• RQ3 초타원모듈리공간 $×_g$ 내의 부분다양체 $×_g(G,\sigma)$의 차원은 얼마인가?
• RQ4 유리함수 분해를 통해 $×_g(G,\sigma)$ 위치에 속한 일반곡선의 방정식을 어떻게 명시적으로 기술할 수 있는가?
• RQ5 고정된 종수 $g$에 대해 모든 위치 $×_g(G,\sigma)$의 완전한 포함 관계 격자는 무엇이며, 부분군 포함 관계는 어떻게 위치 포함 관계로 번역되는가?

주요 결과

• 모든 종수 $g \geq 2$에 대해, 이 논문은 발생할 수 있는 모든 가능한 자기동형군 $G$를 나열하며, 전체 자기동형군 $G$는 $|G| \leq 8(g+1)$를 만족한다.
• 위치 $×_g(G,\sigma)$의 차원은 군 작용의 서명 $\sigma$에만 의존하며, 리만-허리츠 공식을 통해 계산된다.
• 위치 $×_g(G,\sigma)$에 속한 일반곡선은 $f(x)$가 $×\overline{G}$에 관련된 유리함수 $\phi(x)$의 분해로부터 구성된 $y^2 = f(x)$ 형태의 방정식을 가진다.
• 종수 4의 경우, 자기동형군의 격자에는 11개의 서로 다른 군이 포함되어 있으며, 이는 $\mathbb{Z}_2$, $V_4$, $\mathbb{Z}_4$, $\mathbb{Z}_6$, $D_8$, $G_2$, $D_{16}$, $\mathbb{Z}_2 \times D_{10}$, $\mathbb{Z}_{18}$, $SL_2(3)$, $U_8$로, 차원과 군 순서에 따라 정렬되어 있다.
• 논문은 32개의 곡선 가족에 대해 명시적 방정식을 제공하며, $y^2 = (x^8 + 14x^4 + 1) \cdot G(x)$ 및 $y^2 = (x^{20} - 228x^{15} + 494x^{10} + 228x^5 + 1) \cdot \Lambda(x)$ 형태의 방정식을 포함한다. 여기서 $\Lambda(x)$ 및 기타 기본 다항식은 재귀적으로 정의된다.
• 모든 초타원곡선에서 $|\mathrm{Aut}(\mathcal{X}_g)| > 2$이면 $I_4(f) = 0$이 성립하며, 이는 추가 자기동형군이 존재하기 위한 필요조건을 제공한다.