[논문 리뷰] Cyclic curves over the reals

Milagros Izquierdo, Tony Shaska|arXiv (Cornell University)|2015. 01. 07.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 5

한 줄 요약

이 논문은 홀수 소수 $p$에 대해 실수 순환 $p$-각형 곡선의 자기동형군을 분류하며, 이는 이전의 쌍곡선 곡선에 대한 연구를 확장한다. 확장된 자기동형군 $\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$-각형 곡선으로 확장한다.
• Riemann 표면 $X$의 $\mathrm{Aut}^\pm(X)$ 내에서 대칭과 그 정규화군을 분석하여 실수 순환 $p$-각형 Riemann 표면의 자기동형군을 결정한다.
• 군 $G = \mathrm{Aut}^\pm(X)$ 내의 대칭의 공轭류로부터 유도되는 실수 곡선의 명시적 군 구조를 제공하며, 이는 $A_5$, $\Sigma_4$, $A_4$를 포함한 예외적 경우도 포함한다.
• 실수 $p$-각형 곡선의 정의 방정식이 복소수 켤리션에 관해 불변임을 입증하여 실수 부분류가 대수적으로 포괄됨을 보장한다.

제안 방법

• 논문은 Riemann 표면 $X$의 확장된 자기동형군 $\mathrm{Aut}^\pm(X)$를 Fuchsian 및 NEC 군을 통해 구성한다.
• 실수 순환 $p$-각형 곡선을 대칭(역등각적 반전) $\sigma$에 의해 생성되는 $X/\langle\sigma\rangle$의 몫으로 모델링하며, 이는 $p$-각형 사상과 가환한다.
• 실수 곡선의 자기동형군은 $\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$에 대해 실수 순환 $p$-각형 곡선의 자기동형군은 무엇인가?
• RQ2 $\mathrm{Aut}^\pm(X)$ 내의 대칭의 공轭류는 대응하는 실수 곡선의 자기동형군을 어떻게 결정하는가?
• RQ3 $A_5$, $\Sigma_4$, $A_4$를 포함한 예외적 경우에서 자기동형군의 군 구조는 무엇인가?
• RQ4 $p$-각형 사상의 분기화는 실수 $p$-각형 곡선의 정의 방정식에 어떻게 영향을 주는가?
• RQ5 왜 실수 $p$-각형 계류의 실수 부분류는 복소수 켤리션에 대해 보존되며, 이는 대수적 방정식과 어떻게 관련되는가?

주요 결과

• $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$인 경우, 대칭의 세 공轭류는 각각 자기동형군 $G$, $(C_6 \times C_2 \times C_2) \rtimes C_2$, $D_3 \times C_2^3$를 유도한다.
• $p$-각형 사상의 분기 집합은 복소수 켤리션에 대해 불변이며, 이는 $X$에 대해 유도된 대수적 방정식이 $p$-각형 계류의 실수 부분류를 정확히 기술함을 보장한다.