[논문 리뷰] $(g,k)$-Fermat curves

Rubén A. Hidalgo|arXiv (Cornell University)|2019. 02. 08.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 $\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}$의 자유 등각 작용으로서 $(g,k)$-페르마 군을 정의하고 특성화하기.
• 특히 그 비초월성과 같은 기하학적 및 군론적 성질을 연구하기.
• 주어진 곡면에서 $(g,k)$-페르마 군이 유일해지는 조건을 규명하기.
• 원래 푸앵카레 군 $\Gamma$와 그 정규부분군 $\Gamma_k$의 테이히뮐러 공간과 모듈리 공간 간의 관계를 분석하고, 이로부터 유도되는 호로모르픽 임베딩을 연구하기.

제안 방법

• 커터너와 원소의 $k$-거듭제곱을 생성자로 갖는 정규부분군 $\Gamma_k$를 포함하는 푸앵카레 군 $\Gamma$를 사용하여 $S \to S/H$의 쌍대표를 모델링하기.
• 군 $H$를 $\Gamma / \Gamma_k$로 쌍대하는 $S$와 $\mathbb{H}^2 / \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$의 단사성에 대한 충분조건을 확립하기.
• 소수 $p > 84(g-1)$이고 $k = p^r$일 경우, 군 작용의 유일성과 구조적 강성 확보를 위해 $k$에 대한 수론적 제약 조건을 적용하기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 주어진 리만 곡면 $S$ 위에 작용하는 $(g,k)$-페르마 군이 유일한가?
• RQ2 원래 푸앵카레 군 $\Gamma$의 테이히뮐러 공간과 그 정규부분군 $\Gamma_k$의 테이히뮐러 공간 사이의 관계는 무엇인가?
• RQ3 군론적 구조에 기반하여 $\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$ 위에 작용하는 유일한 그러한 군이다.
• 군 $H$를 $\Gamma / \Gamma_k$로 쌍대하는 $S$와 $\mathbb{H}^2 / \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)$-페르마 군의 구조적 및 수론적 성질에 기반하여 $\Phi_k$의 단사성에 대한 충분조건이 제공된다.