[논문 리뷰] Automorphisms groups for $p$-cyclic covers of the affine line

Claus Lehr, Michel Matignon|ArXiv.org|2003. 07. 02.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 7

한 줄 요약

이 논문은 정수형 특성 $p>0$를 가진 대수적으로 닫힌 체 위에서 아핀 선의 $p$-순환 쌍대를 위한 자기동형군의 $p$-부분군을 분류하며, 이들이 정확히 중심을 포함하는 초특수 $p$-군들과 그 부분군임을 증명한다. 아르틴-슈라이어 방정식으로부터 이러한 군을 계산하는 알고리즘을 제공하여, 덧셈 다항식과 관성군 분석을 통한 명시적 구성과 구조적 특성화를 이룬다.

ABSTRACT

Let $k$ be an algebraically closed field of positive characteristic $p>0$ and $C o {\mathbb P}^1_k$ a $p$-cyclic cover of the projective line ramified in exactly one point. We are interested in the $p$-part of the full automorphism group $Aut_k C$. First we prove that these groups are exactly the extra-special $p$-groups and groups G which are subgroups of an extra-special group E such that $Z(E) \subseteq G$. The paper also describes an efficient algorithm to compute the $p$-part of $\Aut_k C$ starting from an Artin-Schreier equation for the cover $C o {\mathbb P}^1_k$. The interest for these objects initially came from the study of the stable reduction of $p$-cyclic covers over the $p$-adics. There the covers $C o {\mathbb P}^1_k$ naturally arise and their automorphism groups play a major role in understanding the arithmetic monodromy. Our methods rely on previous work by Stichtenoth whose approach we have adopted.

연구 동기 및 목표

• 정수형 특성 $p>0$에서 아핀 선의 $p$-순환 쌍대에 대해 무한대에서의 야생 관성군 $G_{\notinfty,1}(f)$의 구조를 규명하는 것.
• 주어진 아르틴-슈라이어 방정식 $W^p - W = f(X)$로부터 $G_{\notinfty,1}(f)$를 계산하는 구축적 알고리즘을 제공하는 것.
• 이러한 쌍대의 자기동형군의 가능한 모든 $p$-부분군을 $p$-군의 동형류로 특성화하는 것.
• 자기동형군의 구조와 $p$-순환 쌍대의 $p$-진 안정 환원에서의 산술 모노드로미를 연결하는 것.

제안 방법

• 다음 조건을 만족하는 $y \in k$의 집합 $S(f)$에 대해 $\mathrm{Ad}_f(Y)$를 다항식 $\prod_{y \in S(f)} (Y - y)$로 정의한다: $f(X+y) - f(X) - f(y) \in \mathrm{Im}(\mathrm{Id} - F)$.
• 다항식 나눗셈과 프로베니우스 모듈로 연산을 사용하여 $f(X+y) - f(X) - f(y) = (\mathrm{Id} - F)P(X,y)$를 만족하는 $P(X,y)$를 구성한다.
• 다음 조건을 만족하는 자동형사상 집합을 식별하기 위해 $\mathrm{Ad}_f(Y)$의 근을 사용한다: 무한대 점을 고정하고 쌍대의 구조를 유지한다.
• 특성 $p$에서의 반복적 알고리즘을 적용하여 $f(X)$를 단순화하고, 모듈로 다항식 축소 및 GCD 계산을 통해 $\mathrm{Ad}_f(Y)$를 계산한다.
• 다음 조건을 만족하는 군 $G_{\infty,1}(f)$의 구조를 $\mathrm{Ad}_f(Y)$의 구조를 이용해 결정한다: 동형류 및 지수.
• 자기동형군의 원소들의 교환관계와 순서 분석을 통해 군의 구조를 검증한다.

실험 결과

연구 질문

• RQ1 정수형 특성 $p>0$에서 아핀 선의 $p$-순환 쌍대에 대해 야생 관성군 $G_{\infty,1}(f)$의 가능한 동형류는 무엇인가?
• RQ2 주어진 아르틴-슈라이어 방정식 $W^p - W = f(X)$로부터 $G_{\infty,1}(f)$를 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ3 $f(X)$에 어떤 조건이 성립하면 $G_{\infty,1}(f)$가 비아벨이거나 더 높은 $p$-군 랭크를 가지는가?
• RQ4 모든 초특수 $p$-군(또는 중심을 포함하는 부분군)은 어떤 $f$에 대해 $G_{\infty,1}(f)$로 실현될 수 있는가?
• RQ5 함수 $f$의 도수와 $G_{\infty,1}(f)$의 크기 또는 구조 사이의 정확한 관계는 무엇인가?

주요 결과

• 아핀 선의 $p$-순환 쌍대에 대해 체 $k$ 위에서의 자기동형군 $\mathrm{Aut}_k C$의 $p$-부분군은 정확히 중심을 포함하는 초특수 $p$-군들과 그 부분군들로 이루어져 있다.
• 특히 $\mathrm{Ad}_f(Y) = Y^4 + Y$ 이고 $p=2$일 때, 야생 관성군 $G_{\infty,1}(f)$는 $D_8$과 동형이며, 순서 4인 원소가 두 개 존재한다.
• 만약 $f(X) = X^m$ 이고 $m-1 = p^s$ 이면, $|G_{\infty,1}(f)| = p^{2s+1}$ 이며, 이는 도수의 $p$-거듭제곱에 대해 지수적 증가를 보여준다.
• 만약 $m-1 = \ell p^s$ 이고 $\ell > 1$, $p>2$ 이면, $|G_{\infty,1}(f)| \leq p^{s+1}$ 이며, 이 경계는 날카롭고 최적이다.
• 만약 $|G_{\infty,1}(f)| / g(f) > p/(p-1)$ 이면, $f(X) = X R(X)$ 를 만족하는 덧셈 다항식 $R(X)$ 가 존재하며, 이는 군의 크기와 덧셈 구조 사이의 연결고리를 제공한다.
• 알고리즘은 모듈로 축소와 GCD 기법을 통해 $\mathrm{Ad}_f(Y)$를 계산하여, $f$로부터 $G_{\infty,1}(f)$의 명시적 구성이 가능하게 한다.