[论文解读] Galois group at Galois point for genus-one curve

Mitsunori Kanazawa, Hisao Yoshihara|arXiv (Cornell University)|May 9, 2011

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文對具有奇點的虧格一曲線在外部伽羅瓦點處的所有可能伽羅瓦群進行分類，表明阿貝爾伽羅瓦群的階至多為九，而非阿貝爾群的階則可能無界。論文為阿貝爾伽羅瓦群的情形提供了曲線的顯式定義方程，方法是利用伽羅瓦點引進的域擴張，並透過格結構與群作用分析橢圓曲線的自同構群。

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 \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 對於具有奇點的虧格一曲線，其在外部伽羅瓦點處的伽羅瓦群可能具有何種結構？
• RQ3 若伽羅瓦群為阿貝爾，其最大可能階數為何？此曲線的定義方程為何？
• RQ4 伽羅瓦點處的非阿貝爾伽羅瓦群的階數是否可能無界？
• RQ5 如何顯式構造在伽羅瓦點處具有阿貝爾伽羅瓦群的虧格一曲線的定義方程？

主要发现

• 具有奇點的虧格一曲線在外部伽羅瓦點處的伽羅瓦群，要麼是階至多為九的阿貝爾群，要麼是非阿貝爾群且階數無界。
• 所有可能的橢圓曲線自同構群的有限子群均已被分類，其中 $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$。