[논문 리뷰] A survey of Galois theory of curves in characteristic p

Rachel Pries, Katherine Stevenson|arXiv (Cornell University)|2010. 04. 13.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 3

한 줄 요약

이 서베이는 특성 p에서의 곡선에 대한 갈로아 이론을 탐구하며, 복소대수기하학에선 존재하지 않는 고유한 현상들—예를 들어 야생 브랜치와 비순환 분해군—을 강조한다. 본서는 두 가지 새로운 결과를 제시한다: 무한대에서만 분기된 G-Galois 커브의 위상수학적 성질에 대한 종수 공식과, 아벨 곡선의 p- torsion 군 스킴의 정확한 분해로, 뉴턴 다각형의 기울기가 0, 1/2, 1임을 보여준다.

ABSTRACT

This survey is about Galois theory of curves in characteristic p, a topic which has inspired major research in algebraic geometry and number theory and which contains many open questions. We illustrate important phenomena which occur for covers of curves in characteristic p. We explain key results on the structure of fundamental groups. We end by describing areas of active research and giving two new results about the genus and p-rank of certain covers of the affine line.

연구 동기 및 목표

• 양의 특성 p를 가진 체 위에서의 곡선 갈로아 이론의 기초 및 고급 주제를 서베이하며, 복소대수기하학과의 차이점을 강조한다.
• 특성 p에서의 기본군과 브랜치의 구조를 명확히 하며, 특히 야생 커브의 맥락에서 분석한다.
• 갈로아 커브의 아벨 곡선에서의 산술 불변량—예를 들어 p-랭크, 뉴턴 다각형, p- torsion 군 스킴—의 구조를 조사한다.
• 통합 문제와 특정 불변량을 갖는 커브의 존재성과 관련된 열린 문제를 다룬다.
• 아핀 선 위의 갈로아 커브에 대한 종수와 p-랭크에 관한 두 가지 새로운 결과를 제시하며, 아벨 곡선의 p- torsion의 구체적 분해를 제시한다.

제안 방법

• 특성 p에서의 행동을 설명하기 위해 Kummer 및 Artin-Schreier 커브를 핵심 예시로 사용한다.
• 갈로아 커브의 종수와 p-랭크를 계산하기 위해 Riemann-Hurwitz 공식을 적용한다.
• L이 랭크 a = ord_p(ℓ)인 ℓ-군일 때, G = L ⋊ Z/p의 반직렬 곱을 통해 갈로아 커브를 구성한다.
• Grothendieck, Harbater, Raynaud의 결과를 활용하여 특성 p에서의 기본군과 통합 문제를 다룬다.
• 이소지니 이론과 보통 및 초특수 성분의 행동을 이용해 J_W[p]의 p- torsion 군 스킴을 분석한다.
• 목표로 하는 p-랭크와 뉴턴 다각형의 구조를 갖는 커브를 생성하기 위해 초특수 곡선의 무분기 ℓ-Galois 커브를 이용한다.

실험 결과

연구 질문

• RQ1 특성 0과 특성 p에서의 갈로아 커브 커브 간의 구조적 차이는 무엇인가?
• RQ2 특성 p에서 무한대에서만 분기된 프로젝티브 라인의 커브에 대해 어떤 유한군이 갈로아 군으로 나타날 수 있는가?
• RQ3 특성 p에서 G-Galois 커브의 아벨 곡선에 대해 p-랭크와 뉴턴 다각형이 가질 수 있는 가능한 값은 무엇인가?
• RQ4 주어진 p- torsion 군 스킴 분해를 갖는 G-Galois 커브를 구성할 수 있는가?
• RQ5 브랜치와 군의 구조는 이러한 커브의 종수와 p-랭크에 어떤 제약을 가하는가?

주요 결과

• G = L ⋊ Z/p이고 L ≅ (Z/ℓ)^a일 때, G-Galois 커브 φ: W → P¹_k에 대해 최소 종수는 g_W = 1 + |L|(p-3)/2이다.
• L ≅ (Z/ℓ)^a일 경우, W의 아벨 곡선이 p-랭크 s_W = (ℓ^a - 1)(p - 3)/2를 갖도록 W를 구성할 수 있다.
• p- torsion 군 스킴 J_W[p]는 s_W개의 Z/p ⊕ μ_p와 (p-1)/2개의 E_ss[p]로 분해되며, 이는 초특수 타원곡선의 p- torsion이다.
• J_W의 뉴턴 다각형은 기울기 0, 1/2, 1만을 가지며, 이는 드문 것으로서 중요한 구성이다.
• 이 구성은 y^p - y = x^2인 초특수 곡선 Y의 무분기 ℓ-Galois 커브에 기반하며, 그 아벨 곡선은 초특수이며 모든 기울기가 1/2이다.
• 이러한 커브의 갈로아 폐쇄는 주어진 종수와 p-랭크를 갖는 G-Galois 커브를 얻으며, p- torsion의 구조는 이소지니와 군 작용에 대해 유지된다.