[논문 리뷰] Profinite Groups with a Cyclotomic $p$-Orientation

Claudio Quadrelli, Thomas Weigel|arXiv (Cornell University)|2018. 11. 06.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 12

한 줄 요약

이 논문은 절대 갈루아 군의 순환 캐릭터를 일반화한 코homological 조건인 순환 $p$-방향성을 지닌 프로유한군을 도입하고 연구한다. 이들 군이 강한 티츠 대체성(Strong Tits Alternative)을 만족하고, 표준적인 아벨 정규부분군 위의 반직접곱으로 분해된다는 것을 증명하며, 추가 조건 하에 $p=2$의 경우까지 기존 결과를 확장한다.

ABSTRACT

Let $p$ be a prime. A continuous representation $ heta\colon G o\mathrm{GL}_1(\mathbb{Z}_p)$ of a profinite group $G$ is called a cyclotomic $p$-orientation if for all open subgroups $U\subseteq G$ and for all $k,n\geq1$ the natural maps $H^k(U,\mathbb{Z}_p(k)/p^n) o H^k(U,\mathbb{Z}_p(k)/p)$ are surjective. Here $\mathbb{Z}_p(k)$ denotes the $\mathbb{Z}_p$-module of rank 1 with $U$-action induced by $ heta\vert_U^k$. By the Rost-Voevodsky theorem, the cyclotomic character of the absolute Galois group $G_{\mathbb{K}}$ of a field $\mathbb{K}$ is, indeed, a cyclotomic $p$-orientation of $G_{\mathbb{K}}$. We study profinite groups with a cyclotomic $p$-orientation. In particular, we show that cyclotomicity is preserved by several operations on profinite groups, and that Bloch-Kato pro-$p$ groups with a cyclotomic $p$-orientation satisfy a strong form of Tits' alternative and decompose as semi-direct product over a canonical abelian closed normal subgroup.

연구 동기 및 목표

• . 프로유한군 위의 순환 $p$-방향성의 개념을 도입하고 분석한다.
• . 이러한 방향성이 역극한, 자유곱, 섬유곱과 같은 주요 군론적 구성에서 보존됨을 확립한다.
• . 순환 $p$-방향성을 지닌 블로흐-카토 프로-$p$ 군이 티츠의 대체성의 강한 형태를 만족함을 증명한다.
• . 이러한 군의 구조, 특히 반직접곱으로서의 분해를 조사한다.
• . 결과들이 최대 프로-$p$ 갈루아 군에 대한 원소적 유형 추측과 어떻게 관련되는지 논의한다.

제안 방법

• . 연속 준동형사상 $\theta: G \to \mathbb{Z}_p^\times$를 $p$-방향성으로 정의하고, 이로부터 왜곡된 모듈 $\mathbb{Z}_p(k)$를 유도한다.
• . 모든 열린 부분군 $U$에 대해 코homology 사상 $H^k(U, \mathbb{Z}_p(k)/p^n) \to H^k(U, \mathbb{Z}_p(k)/p)$ 의 상사상성에 의해 $k$-순환성의 개념을 도입한다.
• . 로스트-보에보드스키 정리를 활용하여 절대 갈루아 군이 순환 $p$-방향성을 지닌다는 것을 보인다.
• . 연속 코chain 코hom올로지와 $p$-완전군의 성질을 활용하여 $\theta$-중심과 핵의 구조를 분석한다.
• . 가상 프로-$p$ 군 이론과 보완을 적용하여 코homological 유한성 조건 하에서 분해 정리를 증명한다.
• . 짧은 정확열 $1 \to Z_\theta(G) \to G \to \bar{G} \to 1$ 에서 $\theta$-중심 $Z_\theta(G)$ 의 역할을 활용하여 분해 결과를 도출한다.

실험 결과

연구 질문

• RQ1 . 프로유한군에 대한 순환 $p$-방향성 조건이 강한 형태의 티츠 대체성, 즉 비아벨 자유 프로-$p$ 부분군을 포함하거나 $\theta$-아벨이 되는지를 유도하는가?
• RQ2 . 순환 $p$-방향성을 지닌 블로흐-카토 프로-$p$ 군에 대해 짧은 정확열 $1 \to Z\_\theta(G) \to G \to \bar{G} \to 1$ 이 어떤 조건에서 분해되는가?
• RQ3 . 순환 $p$-방향성을 지닌 블로흐-카토 프로-$p$ 군의 집합이 역극한, 자유곱, 분할된 $\theta$-아벨 군과의 섬유곱에 대해 닫혀 있는가?
• RQ4 . 최대 프로-$p$ 갈루아 군에 대한 원소적 유형 추측이 순환 $p$-방향성을 지닌 블로흐-카토 프로-$p$ 군의 구조로부터 유도되는가?
• RQ5 . $p=2$의 경우, 강한 티츠 대체성이 성립하기 위해 추가 가정 $\operatorname{im}(\theta) \subseteq 1 + 4\mathbb{Z}_2$ 가 필수적인가?

주요 결과

• . 순환 $p$-방향성을 지닌 블로흐-카토 프로-$p$ 군은 강한 형태의 티츠 대체성을 만족한다: 비아벨 자유 프로-$p$ 부분군을 포함하거나 $\theta$-아벨이 된다.
• . $p=2$의 경우, 추가 가정 $\operatorname{im}(\theta) \subseteq 1 + 4\mathbb{Z}_2$ 가 성립할 때 강한 티츠 대체성이 성립하며, 이 조건이 필수적임이 반례를 통해 입증된다.
• . $G$ 가 프로-$p$, 가상 프로-$p$, 또는 $\bar{G}$ 가 순환 $p$-방향성과 블로흐-카토 조건을 만족하고 $\operatorname{cd}_p(G) < \infty$ 이면, 짧은 정확열 $1 \to Z_\theta(G) \to G \to \bar{G} \to 1$ 이 분해된다.
• . 순환 $p$-방향성을 지닌 블로흐-카토 프로-$p$ 군의 집합은 사영 구조 사상이 존재하는 역극한, 자유곱, 분할된 $\theta$-아벨 군과의 섬유곱, 그리고 $\ker(\theta)$ 내에 포함된 $p$-완전 정규부분군에 대한 몫에 대해 닫혀 있다.
• . $\theta$-중심 $Z_\theta(G)$ 는 표준적인 아벨 닫힌 정규부분군이며, 분해 조건이 성립할 경우 $G \simeq Z_\theta(G) \rtimes \operatorname{im}(\theta)$ 로 반직접곱으로 분해된다.
• . 모든 유한 생성, 토크션 없는 순환 $p$-방향성을 지닌 블로흐-카토 프로-$p$ 군이 확장된 의미에서 원소적 유형을 가진다는 추측은 아직 미해결이지만, 이는 에프라트의 원소적 유형 추측보다 더 강력한 것이다.