[논문 리뷰] Large 2-groups of automorphisms of curves with positive 2-rank

Massimo Giulietti, Gábor Korchmáros|arXiv (Cornell University)|2011. 04. 27.

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

한 줄 요약

이 논문은 특성 2인 대수적으로 닫힌 체 위에서 2-랭크가 양수인 곡선을 구성하여, 2-군 자동사상에 대해 Nakajima의 경계 $4(g-1)$를 달성하며, 이 곡선들이 $γ = g$인 bielliptic이며, 어떤 점도 고정하지 않는 순서 $4(g-1)$의 이면군 자동사상군을 가짐을 증명한다. 또한 고정점이 없는 2-군의 분류를 수행하며, 그 군이 이면군이거나 기본 아벨군과 순환부분군을 포함하는 반직접곱임을 규명한다.

ABSTRACT

Let K be an algebraically closed field of characteristic 2, and let X be a curve over K of genus g>1 and 2-rank r>0. For 2-subgroups S of the K-automorphism group Aut(X) of X, the Nakajima bound is |S| < 4g-3. For every g=2^h+1>8, we construct a curve X attaining the Nakajima bound and determine its relevant properties: X is a bielliptic curve with r=g, and its K-automorphism group has a dihedral K-automorphism group of order 4(g-1) which fixes no point in X. Moreover, we provide a classification of 2-groups S of K-automorphisms not fixing a point of X and such that |S|> 2g-1.

연구 동기 및 목표

• 특성 2인 대수적으로 닫힌 체 위에서 2-랭크가 양수인 대수적 곡선을 구성하여, 자동사상군 $\mathrm{Aut}(\mathcal{X})$의 2부분군 $S$에 대해 $|S| \leq 4(g-1)$의 Nakajima 경계를 달성한다.
• 고정점이 없는 $\mathrm{Aut}(\mathcal{X})$의 2-군 $S$를 분류하며, $|S| > 2g - 1$인 경우, 특히 Nakajima 경계에 가까운 경우를 다룬다.
• 이러한 2-군의 구조에서 중심적 반전의 역할을 분석하며, 특히 몫 곡선을 통해 내림내림을 가능하게 하는 유도 중심 반전을 고려한다.
• Nakajima 경계를 달성하는 곡선의 기하학적 및 군론적 성질을 규명하며, 이는 biellipticity, 종수, 2-랭크, 자동사상군의 구조를 포함한다.

제안 방법

• 형식 $Y^2 + Y + X^{2^k+1} = 0$의 Artin-Schreier 방정식을 이용해 명시적인 곡선을 구성하여, $g = 2^h + 1 \geq 9$인 경우 Nakajima 경계를 실현하고, 이 곡선들이 $γ = g$인 bielliptic임을 보임.
• 중심 반전 $u \in Z(S)$를 통한 몫 곡선 분석을 통해 $S$의 구조를 분석하며, $\bar{\mathcal{X}} = \mathcal{X}/\langle u \rangle$ 및 $\bar{S} = S/\langle u \rangle$를 정의하고, 종수 경계 $g - 1 \geq 2(\bar{g} - 1)$를 적용함.
• 유도 중심 반전의 개념을 도입하여, $\bar{S}$가 크기와 고정점이 없는 조건을 그대로 유지함으로써, 연속적인 몫을 통한 유도 내림내림을 가능하게 함.
• Hurwitz 공식과 종수 감소 부등식을 적용하여 몫 곡선에 고정점이 존재하지 않음을 규명하며, 특히 $\mathbb{F}_{16}$에서의 유리점 수를 계산하여 고정점이 존재한다고 가정할 경우 모순을 이끌어냄.
• MAGMA 계산을 통해 명시적 예시의 종수, 2-랭크, 자동사상군의 구조를 검증하며, 종수 17인 곡선에 대해 순서 32인 반이면군 자동사상군을 포함함.
• 몫 곡선의 함수체를 분석하여 $\bar{\mathcal{X}}$가 타원곡선임을 보이고, 중심 반전이 유도적이지 않음을 증명함.

실험 결과

연구 질문

• RQ1 특성 2인 체 위에서 종수 $g \geq 2$이고 2-랭크 $\gamma > 0$인 곡선에 대해, 자동사상군 $\mathrm{Aut}(\mathcal{X})$의 2부분군 $S$ 중 고정점이 없는 경우의 최대 순서는 무엇인가?
• RQ2 고정점이 없고 $|S| > 2g - 1$인 $\mathrm{Aut}(\mathcal{X})$의 2-군 $S$는 어떤 것이 가능한가? 그들의 구조적 및 기하학적 성질은 무엇인가?
• RQ3 자기군 $S$의 중심 반전 $u$가 유도 몫군 $\bar{S}$를 유도할 수 있는 조건은 무엇이며, 이는 어떻게 이러한 군의 분류를 몫을 통해 가능하게 하는가?
• RQ4 Nakajima 경계 $|S| = 4(g - 1)$를 달성하는 곡선은 명시적으로 구성할 수 있는가? 그리고 biellipticity, 2-랭크 등의 기하학적 불변량은 무엇인가?
• RQ5 고정점이 없고 $|S| > 2g - 1$일 때, 2-랭크 $\gamma$는 자동사상군의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 $g = 2^h + 1 \geq 9$에 대해, 종수 $g$와 2-랭크 $\gamma = g$를 갖는 곡선 $\mathcal{X}$가 존재하며, 이는 $|S| = 4(g - 1)$의 Nakajima 경계를 달성하고, 순서 $4(g - 1)$의 이면군 $S$가 고정점 없이 작용한다.
• 이러한 곡선들은 bielliptic이며, 그 $\mathbb{K}$-자기동형군은 고정점이 없는 순서 $4(g - 1)$의 이면군 부분군을 포함한다. 이는 이러한 조건 하에서 Nakajima 경계가 날카로움을 확인한다.
• $|S| > 2g - 1$이면서 고정점이 없을 경우 자동사상군은 순서 $4(g - 1)$의 이면군 또는 $|S| = 2g + 2$인 반직접곱 $D \rtimes E$일 수 있으며, 여기서 $D$는 지수 2인 기본 아벨군이고 $E$는 순환군으로서 순서 2이다.
• 만약 $S$가 아벨이면서 조건을 만족한다면, 반드시 기본 아벨군이어야 하며, 이는 곡선 $\mathcal{X}$가 hyperelliptic임을 의미하여 군의 구조에 강력한 제약을 가한다.
• 종수 17, 2-랭크 9인 곡선의 예를 구성하였으며, 이는 순서 32인 반이면군 자동사상군을 포함한다. 그 중심 반전 $u$는 고정점이 없으며, 몫 $\bar{\mathcal{X}}$는 타원곡선이므로 $u$는 유도적이지 않다.
• 종수 17인 곡선의 자동사상군 $G = \mathrm{Aut}(\mathcal{X})$는 정확히 $|G| = 32 = 4(\gamma - 1)$를 만족하며, 이는 $\gamma = 9$일 때 Nakajima 경계가 날카로움을 보여준다.