[논문 리뷰] On the holomorph of a discrete group

Maria S. Voloshina|ArXiv.org|2003. 02. 11.

Geometric and Algebraic Topology참고 문헌 18인용 수 6

한 줄 요약

이 논문은 유한 아벨 p-군, 특히 ℤ_{p^r}의 헬로모르를 구조적 군 분해를 통해 구성하여 정수 계수 호모로지와 mod p 코호몰로지 링을 계산한다. ⊕_n ℤ_{p^r}의 헬로모르가 GL(n+1, ℤ_{p^r})의 부분군으로 식별되며, p^r ≥ 8일 때 그 mod p 코호몰로지에 대한 Lyndon-Hochschild-Serre 스펙트럴 시퀀스가 E₂에서 붕괴하지 않음을 증명하고, 합동 부분군의 보크슈타인 호모모르피즘을 계산한다. 주요 기여로는 고전적 결과인 '유일한 삽입 가능한 군은 자명군 뿐이다'라는 사실에 대한 새로운 짧은 증명이 제시된다.

ABSTRACT

The holomorph of a discrete group $G$ is the universal semi-direct product of $G$. In chapter 1 we describe why it is an interesting object and state main results. In chapter 2 we recall the classical definition of the holomorph as well as this universal property, and give some group theoretic properties and examples of holomorphs. In particular, we give a necessary and sufficient condition for the existence of a map of split extensions for holomorphs of two groups. In chapter 3 we construct a resolution for $Hol(Z_{p^r})$ for every prime $p$, where ${\mathbb Z}_m$ denotes a cyclic group of order $m$, and use it to compute the integer homology and mod $p$ cohomology ring of $Hol(Z_{p^r})$. In chapter 4 we study the holomorph of the direct sum of several copies of $Z_{p^r}$. We identify this holomorph as a nice subgroup of $GL(n+1, Z_{p^r})$, thus its cohomology informs on the cohomology of the general linear group which has been of interest in the subject. We show that the LHS spectral sequence for $H^*(Hol(\bigoplus_n Z_{p^r}); F_p)$ does not collapse at the $E_2$ stage for $p^r\ge 8$. Also, we compute mod $p$ cohomology and the first Bockstein homomorphisms of the congruence subgroups given by $Ker (Hol(\bigoplus_n Z_{p^r}) o Hol(\bigoplus_n Z_p)).$ In chapter 5 we recall wreath products and permutative categories, and their connections with holomorphs. In chapter 6 we give a short proof of the well-known fact due to S. Eilenberg and J. C. Moore that the only injective object in the category of groups is the trivial group.

연구 동기 및 목표

• 모든 소수 p와 r ≥ 1에 대해 ℤ_{p^r}의 헬로모르의 정수 계수 호모로지와 mod p 코호몰로지 링을 계산하는 것.
• ⊕_n ℤ_{p^r}의 헬로모르가 GL(n+1, ℤ_{p^r})의 부분군으로 식별되어 일반선형군의 코호몰로지와 관련지을 수 있도록 하는 것.
• ⊕_n ℤ_{p^r}의 헬로모르에 대한 Lyndon-Hochschild-Serre 스펙트럴 시퀀스의 행동을 분석하여, p^r ≥ 8일 때 E₂에서 붕괴하지 않음을 보이는 것.
• Hol(⊕_n ℤ_{p^r}) → Hol(⊕_n ℤ_p)의 사상의 핵으로 정의된 합동 부분군의 mod p 코호몰로지와 첫 번째 보크슈타인 호모모르피즘을 계산하는 것.
• 가환 군 G에 대해 {Hol(G^n)}과 {Aut(G^n)}의 가족이 순열 카테고리 구조를 지닐 수 있음을 보이며, 이는 무한 루프 공간의 구조를 가능하게 한다.
• 군의 범주에서 유일한 삽입 가능한 대상은 자명군이라는 고전적 결과에 대한 간결한 증명을 제공하는 것.

제안 방법

• Wall의 방법을 일반화한 버전을 사용하여 Hol(ℤ_{2^r})에 대한 분해를 구성함으로써, 그 정수 계수 호모로지와 mod 2 코호몰로지를 계산한다.
• 홀수 소수 p에 대해 Wall의 분해 기법을 적용하여 Hol(ℤ_{p^r})에 대한 분해를 유도함으로써, 그 mod p 코호몰로지 링을 계산한다.
• 행렬 표현을 통해 ⊕_n ℤ_{p^r}의 헬로모르가 GL(n+1, ℤ_{p^r})의 부분군으로 식별되며, 이는 GL(n+1, ℤ_{p^r})과의 코호몰로지 비교를 가능하게 한다.
• 분할 확장의 사상 존재성을 이용하여 H*(Hol(⊕_n ℤ_{p^r}); ℱ_p)에 대한 Lyndon-Hochschild-Serre 스펙트럴 시퀀스를 분석하고, p^r ≥ 8일 때 E₂에서 붕괴하지 않음을 보인다.
• Hol(⊕_n ℤ_{p^r}) → Hol(⊕_n ℤ_p)의 감마화 사상의 핵으로 정의된 합동 부분군의 코호몰로지에서 첫 번째 보크슈타인 호모모르피즘을 계산한다.
• 원판의 쌓음 공간의 커버링 공간 이론을 활용하여 군 준동형사상의 단사성을 증명함으로써, 삽입 가능한 군의 자명성에 대한 증명의 기초를 마련한다.

실험 결과

연구 질문

• RQ1 ℤ_{p^r}의 헬로모르의 구조는 어떻게 되며, 그 정수 계수 호모로지와 mod p 코호몰로지는 어떻게 명시적으로 계산할 수 있는가?
• RQ2 ⊕_n ℤ_{p^r}의 헬로모르에 대한 Lyndon-Hochschild-Serre 스펙트럴 시퀀스는 어떻게 행동하며, E₂ 단계에서 붕괴하는가?
• RQ3 Hol(⊕_n ℤ_{p^r}) → Hol(⊕_n ℤ_p)의 사상의 핵으로 정의된 합동 부분군의 mod p 코호몰로지와 첫 번째 보크슈타인 호모모르피즘은 무엇인가?
• RQ4 유한 아벨 p-군 G에 대해 {Hol(G^n)}과 {Aut(G^n)}의 가족은 가환 카테고리의 구조를 지닐 수 있는가?
• RQ5 군의 범주에서 유일한 삽입 가능한 대상이 자명군인 이유는 무엇이며, 이는 위상수학적 및 군론적 도구를 통해 간결하게 증명할 수 있는가?

주요 결과

• Wall의 방법을 일반화한 분해를 통해 Hol(ℤ_{2^r})의 정수 계수 호모로지와 mod 2 코호몰로지 링이 명시적으로 계산되었다.
• 홀수 소수 p에 대해, Hol(ℤ_{p^r})의 mod p 코호몰로지 링은 분해 구성법을 통해 유도되었으며, 이는 다항식 대수와 외적 대수의 텐서곱 형태로 나타남을 드러냈다.
• p^r ≥ 8일 때, H*(Hol(⊕_n ℤ_{p^r}); ℱ_p)에 대한 Lyndon-Hochschild-Serre 스펙트럴 시퀀스는 E₂ 단계에서 붕괴하지 않으며, 이는 비자명한 확장 문제를 암시한다.
• Hol(⊕_n ℤ_{p^r}) → Hol(⊕_n ℤ_p)의 사상의 핵으로 정의된 합동 부분군은 비자명한 mod p 코호몰로지와 첫 번째 보크슈타인 호모모르피즘을 지니며, 이는 명시적으로 계산되었다.
• G = ℤ_{p^r}일 때, {Hol(G^n)}과 {Aut(G^n)}의 가족은 순열 카테고리 구조를 지니며, 이는 무한 루프 공간의 구조를 이끌어낸다.
• 고전적 결과인 '유일한 삽입 가능한 군은 자명군 뿐이다'에 대한 새로운 짧은 증명이 제시되었으며, 이는 커버링 공간 이론과 F[a,b]에서 F[c,d]로의 단사 군 준동형사상을 활용한다.