[論文レビュー] 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$ に対する $p$-gonal 曲線の自己同型群の分類を拡張すること。
• Riemann 空間 $X$ の $\mathrm{Aut}^\pm(X)$ 内の対称性とその正規化群を分析することで、実 cyclic $p$-gonal Riemann 空間の自己同型群を特定すること。
• 群 $G = \mathrm{Aut}^\pm(X)$ 内の対称性の共役類から生じる実曲線の自己同型群の明示的な群構造を提供すること、$A_5$、$\Sigma_4$、$A_4$ を含む例外的ケースも含む。
• 実 $p$-gonal 曲線の定義方程式が複素共役に関して不変であること、したがって実部分軌跡が代数的に捉えられることを確立すること。

提案手法

• Riemann 空間 $X$ の拡張自己同型群 $\mathrm{Aut}^\pm(X)$ を、Fuchsian 群および NEC 群を用いて構成する。
• 実 cyclic $p$-gonal 曲線を、$p$-gonal 溶媒と可換な対称性（反共形的対合）$\sigma$ による商 $X/\langle\sigma\rangle$ としてモデル化する。
• 実曲線の自己同型群は、$\mathrm{Aut}^\pm(X)$ 内での $\langle\sigma\rangle$ の正規化群として計算され、共役に関して不変であることを保証する。
• リーマン＝ハーウィッツの公式とオーロイド標識を用いて、双曲的面積と群の指数を計算し、位相的および代数的構造を結びつける。
• 固定点集合の成分と商の可定向性に基づいて、対称性を種類 $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$ に対しては $\langle\varphi,\sigma\rangle$ に依存して $D_p \times C_2$ または $C_{2p} \times C_2$ となる。
• $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$ の場合、対称性の3つの共役類が、それぞれ $G$、$(C_6 \times C_2 \times C_2) \rtimes C_2$、$D_3 \times C_2^3$ の自己同型群をもたらす。
• $p$-gonal 溶媒の分岐集合は複素共役に関して不変であり、$X$ に対して導出された代数的方程式が $p$-gonal 軌跡の実部分軌跡を正しく定義することを保証する。