[논문 리뷰] Determining equations of families of cyclic curves

R. Sanjeewa, Tony Shaska|arXiv (Cornell University)|2013. 01. 19.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 26

한 줄 요약

이 논문은 홀수 특성의 대수적으로 닫힌 체 위에서 순환 대수적 곡선의 가닥에 대한 매개 방정식을 구하고자 하며, 감소된 자기동형군 $\bar{G}$와 고정체를 생성하는 유리 함수 $\phi(x)$를 사용한다. 주요 기여는 가능한 모든 $\bar{G}$에 대해 이러한 방정식의 완전한 분류를 제공하는 것으로, $A_5$, $S_4$, $A_4$, $D_{2m}$, $C_m$, 그리고 $PSL(2,q)$, $PGL(2,q)$, $K_m$와 같은 군들을 포함하며, 분지 서명과 허리츠 공간 차원 공식을 통해 명시적인 형태가 유도된다.

ABSTRACT

In previous work we determined automorphism groups of cyclic algebraic curves defined over fields of any odd characteristic. In this paper we determine parametric equations of families of curves for each automorphism group for such curves.

연구 동기 및 목표

• 대수적으로 닫힌 홀수 특성의 체 위에서 종수 $g \geq 2$인 순환 대수적 곡선의 모든 가능한 자동군 $G$를 분류하는 것.
• 감소된 자동군 $\bar{G} = G / \langle w \rangle$에 기반하여 이러한 곡선의 각 가닥에 대응하는 매개 방정식을 결정하는 것.
• 고정체 $k(x)^{\bar{G}}$를 생성하는 유리 함수 $\phi(x)$를 구성하고, 분지 서명과 허리츠 공간 차원 공식을 사용하여 각 가닥에 대한 명시적 방정식을 제공하는 것.
• 대칭 다항식과 $\bar{G}$와 관련된 불변량을 기반으로 모든 가능한 방정식을 체계적으로 나열하는 것. 이는 $A_5$, $S_4$, $A_4$, $D_{2m}$, $C_m$, 그리고 $PSL(2,q)$, $PGL(2,q)$와 같은 고전 군들을 포함한다.

제안 방법

• 방법은 $\bar{G} \leq PGL_2(k)$로 표현되는 감소된 자동군을 식별하고, 이 군이 유리 함수 체 $k(x)$에 작용함을 확인하며, 고정체 $k(x)^{\bar{G}}$를 생성하는 유리 함수 $\phi(x)$를 구하는 것으로 시작한다.
• 리만-허리츠 공식을 사용하여 커버 $\mathcal{X}_g \to \mathbb{P}^1$의 분지 서명 $\sigma$를 계산하고, 허리츠 공간 $\mathcal{H}(G,\sigma)$의 차원 $\delta$를 유도한다.
• 곡선 $\mathcal{X}_g$는 $y^n = F(x)$ 형태로 표현되며, $F(x)$는 커버의 분지점에서 구성되며, $F(x)$의 형태는 $\bar{G}$와 분지점 수 $\delta$에 따라 달라진다.
• 각 $\bar{G}$에 대해, $F(x)$는 대칭 다항식 또는 특수 불변량의 곱으로 구성된다. 예를 들어, $D_{2m}$의 경우 $F(x) = \prod_{i=1}^\delta (x^{2m} + \lambda_i x^m + 1)$이며, $PSL(2,q)$의 경우 $F(x) = \prod_{i=1}^\delta ((x^q - x)^{q-1} + 1 - \lambda_i (x^q - x)^{q(q-1)/2})$이다.
• 방정식은 계수 $\lambda_i$에 의해 매개화되며, 45개의 서로 다른 케이스로 분류되며, 표 6에 기재되어 있으며, 각 케이스는 특정한 $\bar{G}$와 $\delta$에 대응한다. 이들에 대해 $M(x)$, $\Lambda(x)$, $Q(x)$, $B(x)$, $\Delta(x)$, $\Omega(x)$의 명시적 형태가 제공된다.
• 이 구성은 결과 곡선이 종수 $g \geq 2$, 자동군 $G$, 그리고 $G$가 순환 정규부분군 $C_n$을 포함하여 몫 곡선이 종수 0임을 보장한다.

실험 결과

연구 질문

• RQ1 대수적으로 닫힌 홀수 특성의 체 위에서 종수 $g \geq 2$인 순환 대수적 곡선의 가능한 자동군 $G$는 무엇이며, 감소된 군 $\bar{G} = G / \langle w \rangle$를 통해 어떻게 분해되는가?
• RQ2 각 $\bar{G}$에 대해, 곡선 $\mathcal{X}_g$의 매개 방정식은 $y^n = F(x)$ 형태로 어떻게 표현되며, $F(x)$의 계수는 어떻게 결정되는가?
• RQ3 분지 서명 $\sigma$와 허리츠 공간 $\mathcal{H}(G,\sigma)$의 차원 $\delta$는 $F(x)$의 구조에 어떻게 영향을 미치는가?
• RQ4 예외적인 군들인 $A_5$, $S_4$, $A_4$, $PSL(2,q)$, $PGL(2,q)$, $K_m$에 대해 $F(x)$의 명시적 형태는 무엇이며, $D_{2m}$ 및 $C_m$의 경우와 어떻게 다를까?
• RQ5 고정체 $k(x)^{\bar{G}}$를 생성하는 유리 함수 $\phi(x)$는 어떻게 사용되어, 단순한 몰로디미와 분지점을 기반으로 곡선의 전체 방정식을 재구성할 수 있는가?

주요 결과

• 논문은 45개의 서로 다른 케이스가 표 6에 기재된 순환 곡선의 가닥에 대한 매개 방정식의 완전한 분류를 제공한다. 각 케이스는 특정한 감소된 자동군 $\bar{G}$에 대응한다.
• $\bar{G} \cong A_5$인 경우, 방정식은 $y^n = Q(x) \cdot \Lambda(x)$이며, $Q(x) = x^{30} + 522x^{25} - 10005x^{20} - 10005x^{10} - 522x^5 + 1$, $\Lambda(x)$는 표 6에 정의된 매개변수 $\lambda_i$에 따라 계수를 가지는 $x$에 대한 차수 60의 다항식이다.
• $\bar{G} \cong PSL(2,q)$인 경우, 방정식은 $y^n = ((x^q - x)^{q-1} + 1)^{\frac{q+1}{2}} - \lambda_i (x^q - x)^{\frac{q(q-1)}{2}}$이며, $\Delta(x)$는 $\delta$개의 이러한 항들의 곱이다.
• $\bar{G} \cong PGL(2,q)$인 경우, 방정식은 $y^n = ((x^q - x)^{q-1} + 1)^{q+1} - \lambda_i (x^q - x)^{q(q-1)}$이며, $\Omega(x)$는 $\delta$개의 항들의 곱이다.
• $\bar{G} \cong K_m$인 경우, 방정식은 $y^n = x \cdot \prod_{j=1}^{(p^t - 1)/m} (x^m - b_j) \cdot \Theta(x)$이며, $\Theta(x)$는 $H_t$에서 온 덧셈적 특성으로 구성된 $\delta$개의 항들의 곱이다.
• 모듈리 다양체 $\mathcal{H}(G,\sigma)$의 차원 $\delta$는 리만-허리츠 공식을 사용하여 각 케이스에 대해 명시적으로 계산되었으며, 매개변수 $\lambda_i$의 수가 $\delta$와 일치하여 가닥이 일반적으로 $\delta$차원임을 보장한다.