[论文解读] Cyclic curves over the reals

Milagros Izquierdo, Tony Shaska|arXiv (Cornell University)|Jan 7, 2015

Algebraic Geometry and Number Theory参考文献 15被引用 5

一句话总结

本文对奇素数 $p$ 的实 cyclic $p$-gonal 曲线的自同构群进行了分类，扩展了此前对双曲曲线的研究。通过使用扩展自同构群 $\mathrm{Aut}^\pm(X)$ 和 $G$ 中对称性的正规化子，确定了实曲线 $X/\langle\sigma\rangle$ 的自同构群，为包括 $D_p \times A_5$、$C_{2p} \times A_5$ 在内的多种情形提供了明确的群结构，以及涉及 $\Sigma_4$ 和 $A_4$ 商群的例外情形。

ABSTRACT

In this paper we study the automorphism groups of real curves admitting a regular meromorphic function $f$ of degree $p$, so called real cyclic $p$-gonal curves. When $p=2$ the automorphism groups of real hyperelliptic curves where given by Bujalance et al. in \cite{BCGG}.

研究动机与目标

• 将实曲线自同构群的分类从双曲情形（$p=2$）扩展至奇素数 $p$-gonal 曲线。
• 通过分析 $\mathrm{Aut}^\pm(X)$ 中的对称性及其正规化子，确定实 cyclic $p$-gonal 黎曼曲面的自同构群。
• 为 $G = \mathrm{Aut}^\pm(X)$ 中对称性共轭类所生成的实曲线提供明确的群结构，包括涉及 $A_5$、$\Sigma_4$ 和 $A_4$ 的例外情形。
• 建立实 $p$-gonal 曲线的定义方程在复共轭下不变，从而确保实子簇能被代数方式捕捉。

提出的方法

• 本研究使用黎曼曲面 $X$ 的扩展自同构群 $\mathrm{Aut}^\pm(X)$，通过 Fuchsian 群和 NEC 群构造。
• 将实 cyclic $p$-gonal 曲线建模为商曲面 $X/\langle\sigma\rangle$，其中 $\sigma$ 是与 $p$-gonal 映射可交换的对称性（反共形对合）。
• 实曲线的自同构群通过 $\mathrm{Aut}^\pm(X)$ 中 $\langle\sigma\rangle$ 的正规化子计算得出，确保共轭不变性。
• 应用 Riemann-Hurwitz 公式和轨道丛指标，计算双曲面积和群指标，建立拓扑与代数结构之间的联系。
• 根据不动点集分量和商曲面的可定向性，按种类对称性进行分类：$0$、$+k$ 或 $-k$。
• 对 $p=3$ 和 $p \equiv 1 \mod 6$ 的例外情形进行分析，使用半直积如 $(C_2 \times C_2) \rtimes_3 C_9$ 和 $C_p \times C_2 \times C_2 \rtimes_3 C_6$。

实验结果

研究问题

• RQ1 对于奇素数 $p$，实 cyclic $p$-gonal 曲线的自同构群是什么？
• RQ2 在 $\mathrm{Aut}^\pm(X)$ 中，对称性的共轭类如何决定相应实曲线的自同构群？
• RQ3 涉及 $A_5$、$\Sigma_4$ 和 $A_4$ 的例外情形中，自同构群的群结构是什么？
• RQ4 $p$-gonal 映射的分歧如何影响实 $p$-gonal 曲线的定义方程？
• RQ5 为何 $p$-gonal 模空间的实子簇在复共轭下保持不变？这与代数方程有何关联？

主要发现

• 当 $G = D_p \times A_5$ 或 $C_{2p} \times A_5$ 时，与中心对称 $\sigma$ 关联的实曲线的自同构群为 $G$；而对于 $\sigma\tau$，其自同构群为 $D_p \times C_2$ 或 $C_{2p} \times C_2$，具体取决于 $\langle\varphi,\sigma\rangle$。
• 当 $G = D_p \times \Sigma_4$ 或 $C_{2p} \times \Sigma_4$ 时，$\sigma$ 对应的自同构群为 $G$，而 $\sigma\tau$ 和 $\sigma(\tau\alpha)^2$ 分别对应 $D_p \times C_2^3$ 和 $C_{2p} \times C_2^3$。
• 在 $p=3$ 且 $\bar{G} = \Sigma_4$ 的例外情形中，中心对称 $\sigma$ 的自同构群为 $D_3 \times C_2 \times C_2$，而 $\sigma\widehat{\varphi}^3\tau_1$ 的自同构群为 $(C_6 \times C_2) \rtimes C_2$，其正规化子不同。
• 当 $p \equiv 1 \mod 6$ 且 $\bar{G} = A_4 \times C_2$ 时，中心对称 $\sigma$ 的自同构群为 $G = (C_p \times C_2 \times C_2) \rtimes_3 C_6$，而 $\sigma\tau_1$ 的自同构群为 $(C_p \times C_2) \times C_2 \times C_2$，同样通过正规化子确定。
• 当 $\bar{G} = \Sigma_4 \times C_2$ 时，三个对称性共轭类分别对应自同构群 $G$、$(C_6 \times C_2 \times C_2) \rtimes C_2$ 和 $D_3 \times C_2^3$。
• 该 $p$-gonal 映射的分歧集在复共轭下不变，确保为 $X$ 推导出的代数方程能定义 $p$-gonal 模空间的实子簇。