[논문 리뷰] Plane curves possessing two outer Galois points

Satoru Fukasawa, Pietro Speziali|arXiv (Cornell University)|2018. 01. 10.

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

한 줄 요약

이 논문은 두 개의 외부 갈루아 점을 가지며, 해당 갈루아 군들이 반직접곱을 이루는 특성 또는 0이 아닌 소수인 특성의 대수적으로 닫힌 체 위의 평면 대수곡선을 분류한다. 핵심 결과는 이러한 곡선이 모두 특정 가닥들과 프로젝티브 동치임을 규명하며, 페르마 곡선, 이면군과 순환군을 갖는 새로운 가닥, 계수와 차수에 제약 조건이 있는 다항식 방정식으로 정의된 두 가지 새로운 가닥을 포함한다. 이 가닥들에 대해 종수와 특이점 수가 명시적으로 계산되어 있다.

ABSTRACT

We classify plane curves $\mathcal{C}$ possessing two Galois points $P_1$ and $P_2 \in \mathbb{P}^2 \setminus \mathcal{C}$ such that the associated Galois groups $G_{P_1}$ and $G_{P_2}$ generate the semidirect product $G_{P_1} times G_{P_2}$. New examples of plane curves with two Galois points are also presented.

연구 동기 및 목표

• 두 개의 외부 갈루아 점을 가지며 갈루아 군들이 반직접곱을 이루는 평면 곡선을 분류하는 것.
• 두 개의 외부 갈루아 점에서의 갈루아 군들이 생성하는 군의 정확한 구조를 규명하는 것.
• 특히 주요 정리의 (c) 및 (d)의 경우에서 두 개의 외부 갈루아 점을 가진 새로운 평면 곡선의 예를 제시하는 것.
• 종수, 특이점, 자동형 구조 등을 포함한 기하학적 및 군론적 성질을 분석하는 것.
• 반직접곱 조건을 중심으로 다수의 갈루아 점을 가진 곡선의 보다 광범위한 분류 문제를 다루는 것.

제안 방법

• 외부 점에서의 사영을 통해 갈루아 군 $G_{P_1}$ 및 $G_{P_2}$를 정의하기 위해 갈루아 이론을 적용하는 것.
• $G = \nolink{G_{P_1} \rtimes G_{P_2}}$의 구조와 곡선 위의 작용을 분석하기 위해 군론적 기법을 적용하는 것.
• 순열 표현 $\varphi: G \to S_d$의 핵을 유계화하기 위해 리만-허리츠 공식을 활용하는 것.
• 계수에 대한 재귀 관계를 통한 제약 조건을 가진 (b), (c), (d)의 경우에 대해 구체적인 다항식 방정식을 구성하는 것.
• 동차좌표에서의 표준형으로의 분류를 단순화하기 위해 프로젝티브 동치를 활용하는 것.
• 페르마 곡선과 허미션 곡선의 자동형 군에 관한 기존 결과를 활용하여 특정 경우에서의 유일성 및 존재하지 않음을 규명하는 것.

실험 결과

연구 질문

• RQ1 어떤 평면 곡선이 두 개의 외부 갈루아 점을 가지며, 갈루아 군들이 반직접곱을 이룰 수 있는가?
• RQ2 그러한 곡선의 기하학적 및 군론적 불변량(종수, 특이점, 자동형 구조)은 무엇인가?
• RQ3 페르마 곡선 이외의 새로운 곡선 가닥을 명시적으로 구성할 수 있는가?
• RQ4 두 갈루아 군이 직접곱 또는 반직접곱이 되지 않는 조건은 무엇인가?
• RQ5 직접곱의 순환군을 생성하는 두 개의 외부 갈루아 점을 가진 곡선으로서 페르마 곡선은 유일한가?

주요 결과

• 두 개의 외부 갈루아 점을 가지며 $G_{P_1} \rtimes G_{P_2}$를 생성하는 평면 곡선이 존재하는 것은, 정확히 네 가지 가닥 중 하나와 프로젝티브 동치일 때에만 가능하다: (a) $x^d + y^d + 1 = 0$, (b) 짝수인 $d$에 대해 $x^d + x^{d/2}(x^{d/2} + 1) = 0$, (c) 특정 계수 제약 조건을 가진 $y^d + x^2(x^2 + 1)g(x^2)^2 = 0$, 또는 (d) 유사한 제약 조건을 가진 $y^d + (x^2 + 1)g(x^2)^2 = 0$.
• 경우 (b), (c), (d)의 곡선들에 대해 종수는 $(d-2)^2/4$이며, (b)의 경우 특이점 수는 1개, (c) 및 (d)의 경우 $d/2 - 1$개이다.
• 만약 $d$가 짝수이고 $d/2$도 짝수이면, (b) 및 (c)의 비특이 모델은 서로 동형이다. $d/2$가 홀수이면, (b) 및 (d)의 비특이 모델은 서로 동형이다.
• 모든 경우에서 $G_{P_1}$는 이면군이고 $G_{P_2}$는 순환군이며, $G_{P_1} \rtimes G_{P_2}$는 전체 군 구조이다.
• 홀수인 $d$에 대해서는 오직 페르마 곡선 $X^d + Y^d + Z^d = 0$만 존재하며, 이는 (a)의 경우에 해당한다.
• 군 $G = \nolink{G_{P_1} \rtimes G_{P_2}}$는 $d$개의 점 위에서 추이적으로 작용하며, 순열 표현의 핵의 크기는 최대 $d$이며, 등호는 비특이 페르마 곡선일 때에만 성립한다.