[논문 리뷰] Galois group at Galois point for genus-one curve

Mitsunori Kanazawa, Hisao Yoshihara|arXiv (Cornell University)|2011. 05. 09.

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

한 줄 요약

이 논문은 특이점을 가진 종수 1 곡선에 대한 외부 갈로아 점에서 가능한 모든 갈로아 군을 분류하며, 아벨 갈로아 군의 순서는 최대 9이며, 비아벨 군의 경우 순서가 유계가 아닐 수 있음을 보여준다. 아벨 군인 경우, 갈로아 점에서의 사영으로 유도되는 체 확장과 격자 구조 및 군 작용을 통한 타원곡선의 자기동형사상 군 분석을 통해 곡선의 명시적 정의 방정정식을 제공한다.

ABSTRACT

We show all the possible structures of finite subgroups of the automorphism groups of elliptic curves. Here the automorphism means the biholomorphic transformation. Using the result, we determine every Galois group G at outer Galois point for genus-one curve with singular points. In particular, if G is abelian, then its order is at most nine. However if not so, the order is unbounded. Furthermore, we give every defining equation of the curve with the Galois point in the case where G is abelian.

연구 동기 및 목표

• 타원곡선의 자기동형사상 군의 모든 유한부분군을 분류하는 것.
• 특이점을 가진 종수 1 곡선에 대해 외부 갈로아 점에서의 갈로아 군의 구조를 규명하는 것.
• 갈로아 군이 아벨일 경우, 해당 곡선의 명시적 정의 방정식을 제공하는 것.
• 갈로아 군의 순서가 유계인지 여부를 조사하며, 특히 아벨과 비아벨 경우를 구분하는 것.
• 기존의 갈로아 점 결과를 매끄러운 곡선에서 특이점을 가진 종수 1 곡선으로 확장하는 것.

제안 방법

• 이동과 복소수 승법의 반직접곱 구조를 통해 타원곡선의 자기동형사상 군을 분석한다.
• 정확한열 $1 \to T(E) \to A(E) \to A(E)_0 \to 1$ 을 사용하여 갈로아 군을 이동 성분과 승수 성분으로 분해한다.
• 체 확장 기법을 적용: 갈로아 점 $P$ 에 대해 확장 $k(C)/\bar{\pi}_P^*(k(\mathbb{P}^1))$ 을 분석하여 갈로아 군 $G$ 를 결정한다.
• 군 작용에 대한 불변량을 찾아 정의 방정식을 구성한다. 예를 들어 $s = u^2$ 와 $t = 1/y$ 를 사용하여 함수체를 생성한다.
• 명시적 유리 매개변수화와 인수 계산을 통해 체의 등식 $\mathbb{C}(x,y) = \mathbb{C}(s,t)$ 를 검증한다.
• 특정 곡선 예시를 사용하여 방정식을 유도한다: $y^2 = x^3 + x$, $y^2 = x^3 + 1$, $y^2 = x(x-1)(x-b)$ 등으로 아벨 갈로아 군에 대한 방정식을 유도한다.

실험 결과

연구 질문

• RQ1 복소수체 $\mathbb{C}$ 위의 타원곡선에 대해, 그 자기동형사상 군의 가능한 모든 유한부분군은 무엇인가?
• RQ2 특이점을 가진 종수 1 곡선에 대해, 외부 갈로아 점에서의 갈로아 군의 가능한 구조는 무엇인가?
• RQ3 갈로아 군이 아벨일 경우, 최대 가능한 순서는 얼마이며, 곡선의 정의 방정식은 무엇인가?
• RQ4 갈로아 점에서의 비아벨 갈로아 군의 순서는 유계가 아닐 수 있는가?
• RQ5 어떻게 종수 1 곡선의 아벨 갈로아 군을 가진 갈로아 점에서의 정의 방정식을 명시적으로 구성할 수 있는가?

주요 결과

• 특이점을 가진 종수 1 곡선에 대해 외부 갈로아 점에서의 갈로아 군은 순서가 최대 9인 아벨 군이거나, 순서가 무한히 클 수 있는 비아벨 군일 수 있다.
• 타원곡선의 자기동형사상 군의 가능한 모든 유한부분군이 분류되며, $A(E)_0$ 는 순서 2, 4, 또는 6인 순환군이다.
• 아벨 갈로아 군의 경우, $s = u^2$ 와 $t = 1/y$ 와 같은 불변량을 이용한 명시적 정의 방정식이 제공되며, 예를 들어 $G \cong \mathbb{Z}_2 \oplus \mathbb{Z}_4$ 인 경우 $s(s-2)^2y^4 = (y^4 + s)^2$ 와 같은 방정식이 유도된다.
• 군 $G$ 는 $G_T \rtimes G_0$ 의 반직접곱 구조를 가지며, $G_T$ 는 이동 부분군이고 $G_0$ 는 승수 부분군이다.
• $G \cong \mathbb{Z}_3^2$ 인 경우, 정의 방정식은 $s^2x^6 = (x^3 + 1)(x^3 - 8)^2$ 로, 불변량 $s = -y(y^2 - 9)/(y^2 - 1)$ 에서 유도된다.
• $G \cong \mathbb{Z}_2^3$ 인 경우, 정의 방정식은 $(4t^4 + 5st^2 - 1)^2 = st^2(s + 8t^2)^2$ 로, $t = 1/y$ 와 $s = u^2$, $u = (x^2 - 1)/y$ 를 사용하여 유도된다.