[논문 리뷰] Finite subgroups of extended Morava stabilizer groups

Cédric Bujard|arXiv (Cornell University)|2012. 06. 09.

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

한 줄 요약

이 논문은 코homological 기법과 $p$-진 체 위의 분할 대수를 사용하여 확장된 Morava 안정자군 $Γ_n(u)$ 의 유한부분군을 동치류에 따라 분류한다. 특히 $p > 2$ 및 $p = 2$ 인 경우에 대해 $Γ_n(u)$ 의 최대 아벨 유한부분군의 확장을 위한 필요충분조건을 규명하며, 코homological 장벽과 군의 확장에 기반한 완전한 분류를 제시한다.

ABSTRACT

The problem addressed is the classification up to conjugation of the finite subgroups of the (classical) Morava stabilizer group S_n and the extended Morava stabilizer group G_n(u) associated to a formal group law F of height n over the field F_p of p elements. A complete classification in S_n is provided for any n and p. Furthermore, we show that the classification in the extended group also depends on F and its associated unit u in the ring of p-adic integers. We provide a theoretical framework for the classification in G_n(u), we give necessary and sufficient conditions on n, p and u for the existence in G_n(u) of extensions of maximal finite subgroups of S_n by the Galois group Gal(F_{p^n}/F_p), and whenever such extension exist we enumerate their conjugacy classes. We illustrate our methods by providing a complete and explicit classification in the case n=2.

연구 동기 및 목표

• 확장된 Morava 안정자군 $Γ_n(u)$ 의 모든 유한부분군을 동치류에 따라 분류하는 것.
• 최대 아벨 유한부분군의 확장 존재성을 위한 $n$, $p$, $u$ 에 대한 필요충분조건을 규명하는 것.
• Galois 군이 $Γ_n$ 에 작용하는 방식을 통해 $Γ_n(u)$ 내의 유한부분군의 구조를 분석하는 것.
• 체인 형태의 군 확장에 기반한 코homological 분류를 통해 $Γ_n(u)$ 내의 유한부분군을 분류하는 것.
• 특히 $p=2$ 인 경우에 $Q_8$ 를 포함하는 최대 유한부분군을 연구하는 것.

제안 방법

• 중앙 분할대수 $Δ_n$ (즉, $\mathbb{Q}_p$ 위에서 분수 $1/n$ 을 갖는) 에 대해 $Γ_n(u) \to Δ_n^\times / \langle pu \rangle$ 의 동형사상 이용.
• 군 코homology 를 포함한 코homological 기법을 활용하여 $Γ_n$ 의 유한부분군의 확장을 분류.
• 국소체 위의 분할대수와 그 단위원군의 구조를 이용하여 유한부분군을 분석.
• 코homological 프레임워크 내에서 특정 확장 체인과의 자연적 전단사 사상 활용.
• 국소 클래스체이론과 브라우어 군 이론을 적용하여 $Δ_n^\times$ 와 그 몫의 구조를 연구.
• Frobenius 원소 $\xi_F$ 에 의한 코너제이션을 통한 Galois 군 $\operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p) \cong \mathbb{Z}/n$ 이 $Γ_n$ 에 작용하는 방식 분석.

실험 결과

연구 질문

• RQ1 어떤 $n$, $p$, $u$ 에 대해 $Γ_n(u)$ 내에 최대 아벨 유한부분군 $G \subset Γ_n$ 을 확장하는 분할 확장 $1 \to G \to F \to \mathbb{Z}/n \to 1$ 을 갖는 유한부분군 $F$ 가 존재하는가?
• RQ2 코homological 불변량을 이용하여 $Γ_n(u)$ 의 유한부분군을 동치류에 따라 어떻게 분류할 수 있는가?
• RQ3 유한부분군이 퀼른버트형 Sylow 2-부분군을 포함하는 조건은 무엇인가?
• RQ4 홀수 $p$ 와 $p=2$ 인 경우에 대해 $Γ_n(u)$ 의 유한부분군의 $p$-부분은 어떻게 행동하는가?
• RQ5 $n=2$ 인 경우에 최대 유한부분군의 구조는 어떠한가?

주요 결과

• 유한부분군은 확장 체인에 기반한 코homological 분류 체계를 통해 $Γ_n(u)$ 내에서 동치류에 따라 분류된다.
• $p > 2$ 인 경우, $Γ_n$ 의 최대 아벨 유한부분군의 확장 존재성은 $H^2(\mathbb{Z}/n, G)$ 에서의 0이 되는 조건과 동치이다. 여기서 $G$ 는 최대 아벨 부분군이다.
• $p = 2$ 인 경우, 분류에는 $Q_8$ 이 Sylow 2-부분군으로 존재하고, $Γ_n(u)$ 내의 $2$-부분의 구조에 따라 달라진다.
• 논문은 $Γ_n(u)$ 의 유한부분군의 동치류와 특정 코homological 자료(유형 I, II, III 확장 포함) 사이에 자연적 전단사 사상을 확립한다.
• $n=2$ 인 경우, 논문은 $Γ_2(u)$ 의 최대 유한부분군을 명시적으로 계산하여, $u$ 에 따라 $O_{48}$ 또는 $SD_{16}$ 와 동형임을 보여준다.
• $Γ_n(u)$ 의 구조가 $\u0394_n^\times / \langle pu \rangle$ 로 표현됨에 따라, $\u0394_n$ 의 순서와 단위원군의 구조를 통해 유한부분군을 정확히 기술할 수 있다.