English

Intersection of subgroups in free groups and homotopy groups

Group Theory 2010-09-01 v1 Algebraic Topology

Abstract

We show that the intersection of three subgroups in a free group is related to the computation of the third homotopy group π3\pi_3. This generalizes a result of Gutierrez-Ratcliffe who relate the intersection of two subgroups with the computation of π2\pi_2. Let KK be a two-dimensional CW-complex with subcomplexes K1,K2,K3K_1,K_2,K_3 such that K=K1K2K3K=K_1\cup K_2\cup K_3 and K1K2K3K_1\cap K_2\cap K_3 is the 1-skeleton K1K^1 of KK. We construct a natural homomorphism of π1(K)\pi_1(K)-modules π3(K)R1R2R3[R1,R2R3][R2,R3R1][R3,R1R2], \pi_3(K)\to \frac{R_1\cap R_2\cap R_3}{[R_1,R_2\cap R_3][R_2,R_3\cap R_1][R_3,R_1\cap R_2]}, where Ri=ker{π1(K1)π1(Ki)},i=1,2,3R_i=ker\{\pi_1(K^1)\to \pi_1(K_i)\}, i=1,2,3 and the action of π1(K)=F/R1R2R3\pi_1(K)=F/R_1R_2R_3 on the right hand abelian group is defined via conjugation in FF. In certain cases, the defined map is an isomorphism. Finally, we discuss certain applications of the above map to group homology.

Keywords

Cite

@article{arxiv.0804.1999,
  title  = {Intersection of subgroups in free groups and homotopy groups},
  author = {Hans-Joachim Baues and Roman Mikhailov},
  journal= {arXiv preprint arXiv:0804.1999},
  year   = {2010}
}
R2 v1 2026-06-21T10:30:11.251Z