[논문 리뷰] The relative second Fox and third dimension subgroup of arbitrary groups

Manfred Hartl|arXiv (Cornell University)|2007. 07. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 5

한 줄 요약

이 논문은 임의의 군 $ G $, 부분군 $ K, H $ 및 가환환 $ R $ 에 대해 제3상대차원부하군 $ D_{3,R}^{u}(G,K) $ 와 제2상대포크부하군 $ G \cap (1 + I_R(K)I_R(H) + I_R^2(G)I_R(H)) $ 의 완전한 대수적 특성화를 제공한다. 군론적 구성, 교환자, $ p $- torsion, 부분군 필터링을 포함한 명시적 공식을 통해 저차원에서 오랫동안 미해결된 상대차원부하군 및 포크부하군 이론의 문제를 해결한다.

ABSTRACT

Let $I_R(G)$ denote the augmentation ideal of the group algebra $R(G)$ of a group $G$ with coefficients in a commutative ring $R$. We give a complete description of the third relative dimension subgroup $G\cap(1+I_R(K)I_R(G)+I^3_R(G))$ and the second relative Fox subgroup $G\cap(1+I_R(K)I_R(H)+I^2_R(G)I_R(H))$ for any subgroups $K$ and $H$ of $G$.

연구 동기 및 목표

• 임의의 부분군 $ K \leq G $ 와 계수환 $ R $ 에 대해 $ n=3 $ 인 상대차원부하군 문제를 해결함.
• $ n=2 $ 와 $ n=3 $ 에 대해 상대차원부하군과 상대포크부하군의 연구를 통합하기 위해 공통 프레임워크를 제공함.
• 임의의 부분군 $ H, K \leq G $ 에 대해 제2상대포크부하군 $ G \cap (1 + I_R(K)I_R(H) + I_R^2(G)I_R(H)) $ 를 계산함.
• 상대차원부하군 문제에서 등식이 성립하지 않는 정확한 조건을 규명하고, $ R = \mathbb{Z} $ 와 $ \mathcal{N} = \gamma $ 인 경우 순서 $ 2^6 $ 의 최소 반례를 제공함.
• 텐서 및 외적代수를 이용한 호모로지적이고 함의론적 방법을 통해 군대수의 필터링을 통한 군부하군 분석을 수립함.

제안 방법

• 군대수 $ R[G] $ 의 증강이deo $ I_R(G) $ 와 그 거듭제곱을 사용하여 $ n $-번째 차원부하군 및 포크부하군에 대응하는 필터링을 정의함.
• N-시리즈 $ \mathcal{N} = \{N_i\} $ 를 사용하여 $ I_R^{n,\mathcal{N}}(G) $, 즉 총 지수 합이 $ \geq n $ 인 $ (a_i - 1) $ 의 곱으로 생성되는 $ R $-부분모듈을 정의함.
• 호모로지 도구를 적용: 제2포크부하군은 사상 $ p_{2,R} \colon H_2(H) \to P_{2,R}(H) $ 를 통해 분석되며, 커널은 샌들링의 공식을 통해 $ D_3(H) $ 와 관련됨.
• 텐서 및 외적곱을 통한 $ H/H_2H^m $ 상의 정의된 부분군 $ T_m $ 을 도입하여 사상 $ i \otimes \text{id} \otimes R $ 의 커널과 상대포크부하군을 연결함.
• $ (G/KG_2) \otimes (H/H_2) \otimes R $ 과 $ G $ 의 몫을 통한 동형사상들을 사용하여 군론적 조건을 코homological 제약 조건으로 변환함.
• $ \sigma(R) $, 즉 $ p^n R = p^{n+1} R $ 를 만족하는 소수 $ p $ 의 집합의 구조를 적용하여 $ p $- torsion 부분군 $ t_p(G \mod U_0N_3) $ 를 정의함. 이는 최종 공식에 핵심적임.

실험 결과

연구 질문

• RQ1 임의의 부분군 $ K \leq G $ 와 N-시리즈 $ \mathcal{N} $ 에 대해 임의의 가환환 $ R $ 에서 제3상대차원부하군 $ D_{3,R}^\mathcal{N}(G,K) $ 의 정확한 구조는 무엇인가?
• RQ2 $ K_2 N_3 \subset D_{3,\mathbb{Z}}^\mathcal{N}(G,K) $ 는 항상 성립하는가? 그렇지 않다면 최소 반례는 무엇인가?
• RQ3 임의의 부분군 $ H, K \leq G $ 에 대해 제2상대포크부하군 $ G \cap (1 + I_R(K)I_R(H) + I_R^2(G)I_R(H)) $ 는 완전히 기술할 수 있는가?
• RQ4 저차원에서 상대차원부하군과 포크부하군의 구성은 어떻게 통합되며, 이러한 구조의 명시적 계산을 가능하게 하는 대수적 도구는 무엇인가?
• RQ5 $ p $- torsion 과 $ p $-거듭제곱 조건은 특히 $ R = \mathbb{Z} $ 인 경우 이러한 상대부하군의 구조에 어떤 역할을 하는가?

주요 결과

• 제3상대차원부하군은 $ D_{3,R}^\mathcal{N}(G,K) = U_0 N_3 Z_2 \prod_{p \in \sigma(R),\, p \text{ odd}} t_p(G \mod U_0 N_3) \cap (U_{p^e} N_3 G^{p^e}) $ 로 주어지며, 여기서 $ U_m $ 은 $ a^k, b^k \in K N_2 G^m $ 인 교환자 $ [a,b^k] $ 들로 생성됨.
• $ R = \mathbb{Z} $ 인 경우 상대차원부하군 $ D_{3,\mathbb{Z}}^\gamma(G,K) $ 는 항상 $ K_2 N_3 $ 와 같지 않으며, 최소 반례의 순서는 $ 2^6 $ 이다.
• 제2상대포크부하군 $ G \cap (1 + I_R(K)I_R(H) + I_R^2(G)I_R(H)) $ 는 $ H/H_2H^m $ 상에서 텐서 및 외적곱을 통해 정의된 부분군 $ T_m $ 의 이미지에 의해 완전히 결정됨.
• 만일 $ H $ 가 유한생성이라면 부분군 $ T_m^{fg} $ 는 사상 $ i \otimes \text{id} \otimes R $ 의 커널을 유한표현으로 제공하여 명시적 계산이 가능함.
• $ p_{2,R} \colon H_2(H) \to P_{2,R}(H) $ 의 커널은 $ V_H^{(m)} $ 에 포함되며, 이 커널은 정확히 $ D_3(H) $ 와 일치함. 이는 포크부하군 이론과 차원부하군 이론을 연결함.
• 제2상대포크부하군의 공식은 이전의 결과들, 즉 구파, 커르지오, 타라하–버마니–라자단의 결과들을 일반화하고 통합하며, 상대차원부하군 공식으로부터 유도될 수 없다.