[論文レビュー] $(g,k)$-Fermat curves

Rubén A. Hidalgo|arXiv (Cornell University)|Feb 8, 2019

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

本稿では、商曲種が $g$ である $\mathbb{Z}_k^{2g}$ の自由作用をもつリーマン面として $(g,k)$-フェルマー曲線を定義し、それが非超楕円的であること、および $k$ が特定の素数べき条件を満たす場合に限り、そのような群が一意に存在することを証明する。この曲線は、双曲平面の正規部分群 $\Gamma_k$ による商としての双正則同型写像をもち、テイヒミュラー空間へのホロモルフィック埋め込みとモジュライ空間への写像を誘導する。また、モジュライ写像 $\Phi_k$ の単射性に関する十分条件を提示する。主な貢献は、$k$ における特定の数論的制約のもとで、$(g,k)$-フェルマー群の特徴付けと、関連するモジュライ写像の単射性の同定にある。

ABSTRACT

A group $H \cong {\mathbb Z}_{k}^{2g}$, where $g,k \geq 2$ are integers, of conformal automorphisms of a closed Riemann surface $S$ is called a $(g,k)$-Fermat group if it acts freely with quotient $S/H$ of genus $g$. We study some properties of these type of objects, in particular, we observe that $S$ is non-hyperelliptic and, if $k=p^{r}$, where $p>84(g-1)$ is a prime integer and $r \geq 1$, then $H$ is the unique $(g,k)$-Fermat group of $S$. Let $\Gamma$ be a co-compact torsion free Fuchsian group such that $S/H={\mathbb H}^{2}/\Gamma$. If $\Gamma_{k}$ is its normal subgroup generated by its commutators and the $k$-powers of its elements, then there is a biholomorphism between $S$ and ${\mathbb H}^{2}/\Gamma_{k}$ congugating $H$ to $\Gamma/\Gamma_{k}$. The inclusion $\Gamma_{k} < \Gamma$ induces a natural holomorphic embedding $\Theta_{k}:{\mathcal T}(\Gamma) \hookrightarrow {\mathcal T}(\Gamma_{k})$ of the corresponding Teichmuller spaces. Such an embedding induces a holomorphic map, at the level of their moduli spaces, $\Phi_{k}:{\mathcal M}(\Gamma) o {\mathcal M}(\Gamma_{k})$. As a consequence of the results on $(g,k)$-Fermat groups, we provide sufficient conditions for the injectivity of $\Phi_{k}$.

研究の動機と目的

• リーマン面上の $\mathbb{Z}_k^{2g}$ の自由な conformal 作用として $(g,k)$-フェルマー群を定義し、その特徴づけを行うこと。
• このような曲面の幾何学的および群論的性質、特に非超楕円的性を調査すること。
• 与えられた曲面に於いて $(g,k)$-フェルマー群が一意に存在する条件を同定すること。
• 商ファウクシャン群 $\Gamma$ と $\Gamma_k$ のテイヒミュラー空間およびモジュライ空間の関係を分析し、それらに誘導されるホロモルフィック埋め込みを研究すること。

提案手法

• $\Gamma$ をファウクシャン群とし、その正規部分群 $\Gamma_k$ を交換子と要素の $k$ 乗によって生成する。これにより、被覆 $S \to S/H$ をモデル化する。
• $S$ と $\mathbb{H}^2 / \Gamma_k$ 間の双正則同型写像を構成し、群 $H$ を $\Gamma / \Gamma_k$ に共役化する。
• $\Gamma_k$ が特徴的部分群としての構造を持つことを利用し、テイヒミュラー空間の自然なホロモルフィック埋め込み $\Theta_k: \mathcal{T}(\Gamma) \hookrightarrow \mathcal{T}(\Gamma_k)$ を誘導する。
• テイヒミュラー空間の埋め込みから、対応するモジュライ空間間のホロモルフィック写像 $\Phi_k: \mathcal{M}(\Gamma) \to \mathcal{M}(\Gamma_k)$ を導出する。
• $(g,k)$-フェルマー群に関する結果を応用し、$\Phi_k$ の単射性に関する十分条件を確立する。
• $k = p^r$ で $p > 84(g-1)$ が素数であるという数論的制約を用いて、群作用の一意性と構造的剛性を保証する。

実験結果

リサーチクエスチョン

• RQ1 与えられたリーマン面 $S$ に於いて、$(g,k)$-フェルマー群が一意に存在する条件は何か？
• RQ2 元のファウクシャン群 $\Gamma$ のテイヒミュラー空間とその正規部分群 $\Gamma_k$ のテイヒミュラー空間との関係は何か？
• RQ3 群論的構造 $\Gamma_k$ から、ホロモルフィック埋め込み $\Theta_k: \mathcal{T}(\Gamma) \hookrightarrow \mathcal{T}(\Gamma_k)$ がどのように生じるか？
• RQ4 モジュライ空間間の誘導写像 $\Phi_k: \mathcal{M}(\Gamma) \to \mathcal{M}(\Gamma_k)$ がいつ単射になるか？
• RQ5 $(g,k)$-フェルマー群の存在が示唆する幾何的性質（非超楕円的性など）は何か？

主な発見

• $(g,k)$-フェルマー群に付随するリーマン面 $S$ は非超楕円的である。
• $k = p^r$ で $p > 84(g-1)$ が素数かつ $r \geq 1$ ならば、$(g,k)$-フェルマー群 $H$ は $S$ に作用する唯一の such 群である。
• $S$ と $\mathbb{H}^2 / \Gamma_k$ 間の双正則同型写像が存在し、$H$ を $\Gamma / \Gamma_k$ に共役化する。これにより、商の幾何的実現が確立される。
• $\Gamma_k < \Gamma$ の包含関係から、テイヒミュラー空間のホロモルフィック埋め込み $\Theta_k: \mathcal{T}(\Gamma) \hookrightarrow \mathcal{T}(\Gamma_k)$ が誘導される。
• この埋め込みは、対応するモジュライ空間間のホロモルフィック写像 $\Phi_k: \mathcal{M}(\Gamma) \to \mathcal{M}(\Gamma_k)$ を誘導する。
• $\Phi_k$ の単射性に関する十分条件が、$(g,k)$-フェルマー群の構造的および数論的性質に基づいて提示されている。