[논문 리뷰] Large p-groups actions with a p-elementary abelian second ramification group

Magali Rocher|ArXiv.org|2008. 01. 24.

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

한 줄 요약

이 논문은 특성 $p > 0$ 인 대수적으로 닫힌 체 위의 종수 $g \geq 2$ 곡선에 대한 $p$-군의 큰 작용을 분류하며, 두 번째 분할군 $G_2$ 가 $p$-초등 아벨인 경우에 집중한다. 추가 다항식이 생성하는 $k$-대수와 분할 필터링을 분석함으로써 구조 정리와 최대 분할점의 점프를 가진 경우에 대한 보편 가중치를 구축한다. 이는 $G$ 의 중심이 순서 $p$ 의 순환군임을 드러내며, $G$ 가 유도 부분군의 필터링을 통해 능동 가능한 군들과 관련되어 있음을 보여준다.

ABSTRACT

Let $k$ be an algebraically closed field of characteristic $p>0$ and $C$ a connected nonsingular projective curve over $k$ with genus $g \geq 2$. Let $(C,G)$ be a "big action", i.e. a pair $(C,G)$ where $G$ is a $p$-subgroup of the $k$-automorphism group of $C$ such that$\frac{|G|}{g} >\frac{2 p}{p-1}$. We denote by $G_2$ the second ramification group of $G$ at the unique ramification point of the cover $C o C/G$. The aim of this paper is to describe the big actions whose $G_2$ is $p$-elementary abelian. In particular, we obtain a structure theorem by considering the $k$-algebra generated by the additive polynomials. We more specifically explore the case where there is a maximal number of jumps in the ramification filtration of $G_2$. In this case, we display some universal families.

연구 동기 및 목표

• 특성 $p > 0$ 인 대수적으로 닫힌 체 위의 종수 $g \geq 2$ 인 곡선 $C$ 와 그 자명군 $G \leq \mathrm{Aut}_k(C)$ 에 대해 $|G|/g > 2p/(p-1)$ 이고 $G_2$ 가 $p$-초등 아벨인 큰 작용 $(C, G)$ 를 분류하는 것.
• 추가 다항식 $k[X]$ 에서 생성하는 $k$-대수를 통해 이러한 작용의 구조를 이해하는 것.
• 두 번째 분할군 $G_2$ 의 상한 분할점 수를 가지는 경우, 즉 $G/G_2$ 가 $G_2$ 에 비자명한 표현을 가지는 경우를 특성화하는 것.
• 특히 $p=5$, $n \leq p-1$, $\dim_{\mathbb{F}_p} V = 2$ 인 경우에 이러한 큰 작용을 매개하는 보편 가중치를 구축하는 것.
• 군 $G$ 를 능동 가능한 군들과 연결하고 중심과 유도 계열의 구조를 규명하는 것.

제안 방법

• 추가 다항식의 최대 $t$ 개의 곱으로 생성되는 $k$-대수 $\Sigma_t$ 를 사용하여 아르틴-슈라이어 방정식 $W_i^p - W_i = f_i(X)$ 의 형태를 제약하는 것.
• 분할 필터링을 분석하기 위해 아르틴-슈라이어 쌍대화와 관련된 유도 표현 $\phi: G/G_2 \to \mathrm{GL}_n(\mathbb{F}_p)$ 를 사용하는 것.
• 정확한 수열 $0 \to G_2 \to G \to V \to 0$ 과 함께 임베딩 문제를 해결함으로써 보편 가중치를 구성하는 것. 여기서 $G_2 \simeq (\mathbb{Z}/p\mathbb{Z})^n$ 이다.
• 기저 치환 $X \to \lambda X$ 를 적용하여 서로 다른 가중치를 연결하고 보편 가중치 내의 부분가중치를 식별하는 것.
• 아르틴-슈라이어 설정에서 $f$ 가 $p$-거듭제곱 자유이고 잘 정의되도록 하는, $\wp(k[X])$ 모듈로의 축소된 표현 $\mathrm{red}(f)$ 를 사용하는 것.
• 분할 구조에 의해 유도되는 군 $G$ 의 필터링 $\Lambda_i(G)$ 를 연구하며, $\Lambda_{n-1}(G)$ 는 $G_2$ 의 지수 $p$ 부분군임.

실험 결과

연구 질문

• RQ1 두 번째 분할군 $G_2$ 가 $p$-초등 아벨인 큰 작용의 구조는 어떠한가?
• RQ2 아르틴-슈라이어 방정식 $W_i^p - W_i = f_i(X)$ 에서의 함수 $f_i(X)$ 는 추가 다항식의 $k$-대수 $\Sigma_t$ 와 어떻게 관련이 있는가?
• RQ3 다항식의 가중치 $f_i \in \Sigma_{i+1} - \Sigma_i$ 가 유효한 큰 작용을 유도하기 위한 조건은 무엇인가?
• RQ4 분할 필터링에서 점프의 수가 최대일 경우 군론적 구조 $G$ 는 어떠한가?
• RQ5 보편 가중치는 이러한 큰 작용을 어떻게 매개하며, 그 매개 공간의 연결 성분은 무엇인가?

주요 결과

• 두 번째 분할군 $G_2 \simeq (\mathbb{Z}/p\mathbb{Z})^n$ 과 $f_i \in \Sigma_{i+1} - \Sigma_i$ 인 큰 작용에 대해, 군 $G$ 의 중심 $Z(G)$ 는 순서 $p$ 의 순환군이다.
• $G/\Lambda_i(G)$ 는 $i \in \{1, \dots, n\}$ 에 대해 모두 능동 가능한 군이며, 이는 이전 연구 결과의 일반화이다.
• $n < 4$ 이고 $p = 5$ 인 경우, 보편 가중치의 매개 공간은 선형 아핀 공간의 조각적 닫힘 부분집합이므로 기약적이고 연결되어 있다.
• $n = 4$ 인 경우, 조건 $b_0^{96} = 1$ 로 인해 매개 공간이 연결되어 있지 않으며, 이는 비자명한 성분 구조를 나타낸다.
• $s_1 = 1$ 인 보편 가중치와 관련된 군 $G$ 는 $\lambda \in \mathbb{F}_{25}^\times$ 를 만족할 경우 기저 치환을 통해 특수 케이스에서 얻어진 군과 동형이다.
• $s_1 = 1$, $n < p-1$, $\dim_{\mathbb{F}_p} V = 2$ 인 경우 보편 가중치는 존재하며 기약적이다. 그러나 $n = p-1$ 일 때 매개 공간의 구조는 여전히 열려있다.