[论文解读] Plane curves possessing two outer Galois points

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

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

一句话总结

本文分类了在特征为零或与次数互素的代数闭域上，具有两个外伽罗瓦点且其关联伽罗瓦群生成半直积的平面曲线。关键结果表明，所有此类曲线在射影等价意义下均属于特定族：费马曲线、具有二面体群与循环群的新一类曲线，以及由多项式方程定义的两个新族，其系数与次数受约束，且显式计算了亏格与奇点数。

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}}$ 的结构及其在曲线上的作用。
• 应用 Riemann–Hurwitz 公式以限制置换表示 $\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$，仅当为非奇异费马曲线时取等。