[论文解读] $(g,k)$-Fermat curves

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

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文引入了$(g,k)$-Fermat曲线作为具有自由作用的$\mathbb{Z}_k^{2g}$的黎曼曲面，证明其为非双椭圆的，并在$k$满足特定素数幂条件时，证明其存在唯一的此类群。建立了曲面与双曲平面关于正规子群$\Gamma_k$的商之间的双全纯同构，诱导出陶氏空间的全纯嵌入及模空间上的映射，并给出了模映射$\Phi_k$的单射性充分条件。主要贡献在于在特定数论约束下对$(g,k)$-Fermat群的刻画及其相关模映射的单射性。

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}$.

研究动机与目标

• 定义并刻画$(g,k)$-Fermat群为在黎曼曲面上具有自由共形作用的$\mathbb{Z}_k^{2g}$，且商曲面的亏格为$g$。
• 研究此类曲面的几何与群论性质，特别是其非双椭圆性。
• 确定在何种条件下$(g,k)$-Fermat群在给定曲面$S$上是唯一的。
• 分析原始Fuchsian群$\Gamma$与它的正规子群$\Gamma_k$的陶氏空间与模空间之间的关系，并研究由此诱导的全纯嵌入。

提出的方法

• 使用Fuchsian群$\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)$-Fermat群的结果，建立$\Phi_k$单射性的充分条件。
• 利用对$k = p^r$（其中$p > 84(g-1)$为素数）的数论约束，确保群作用的唯一性与结构刚性。

实验结果

研究问题

• RQ1 在何种条件下，$(g,k)$-Fermat群是在给定黎曼曲面$S$上唯一的此类群？
• RQ2 原始Fuchsian群$\Gamma$的陶氏空间与其中正规子群$\Gamma_k$的陶氏空间之间存在何种关系？
• RQ3 陶氏空间的全纯嵌入$\Theta_k: \mathcal{T}(\Gamma) \hookrightarrow \mathcal{T}(\Gamma_k)$如何从$\Gamma_k$的群论结构中产生？
• RQ4 何时诱导的模空间映射$\Phi_k: \mathcal{M}(\Gamma) \to \mathcal{M}(\Gamma_k)$是单射的？
• RQ5 由$(g,k)$-Fermat群的存在所蕴含的几何性质（如非双椭圆性）有哪些？

主要发现

• 与$(g,k)$-Fermat群相关的黎曼曲面$S$是非双椭圆的。
• 若$k = p^r$，其中$p > 84(g-1)$为素数且$r \geq 1$，则$(g,k)$-Fermat群$H$是在$S$上唯一的此类群。
• 存在一个$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)$。
• 基于$(g,k)$-Fermat群的结构与数论性质，提供了$\Phi_k$单射性的充分条件。