[Paper Review] On symmetric commutator subgroups, braids, links and homotopy groups

J. Y. Li, Jie Wu|arXiv (Cornell University)|Feb 2, 2010

Geometric and Algebraic Topology8 references3 citations

TL;DR

This paper establishes a deep connection between symmetric commutator subgroups in group theory and higher homotopy groups of topological spaces, particularly link and braid groups. By proving that the intersection of certain normal subgroups modulo their symmetric commutator subgroups is isomorphic to homotopy groups, it generalizes classical results and provides a new algebraic framework linking geometric topology and homotopy theory.

ABSTRACT

In this paper, we investigate some applications of commutator subgroups to homotopy groups and geometric groups. In particular, we show that the intersection subgroups of some canonical subgroups in certain link groups modulo their symmetric commutator subgroups are isomorphic to the (higher) homotopy groups. This gives a connection between links and homotopy groups. Similar results hold for braid and surface groups.

Motivation & Objective

• To establish a novel algebraic connection between symmetric commutator subgroups and higher homotopy groups in geometric topology.
• To generalize known isomorphisms between homotopy groups and quotient groups of intersection subgroups, particularly extending results from [19] to broader classes of spaces.
• To clarify the structure of fat commutator subgroups by proving they coincide with symmetric commutator subgroups in general settings.
• To apply these results to braid groups and link groups, showing that homotopy groups of configuration spaces of spheres are isomorphic to specific quotient groups.
• To provide a systematic framework using cofibrant partitions and K(π,1) conditions to derive homotopy group isomorphisms in a topological setting.

Proposed method

• Define the symmetric commutator subgroup [[R₁,R₂],…,Rₙ]ₛ as the product over all permutations σ ∈ Σₙ of iterated commutators [[g₁,g₂],…,gₙ] with gᵢ ∈ Rₛ(ᵢ).
• Prove that the fat commutator subgroup [[R₁,…,Rₙ]] is equal to the symmetric commutator subgroup [[R₁,R₂],…,Rₙ]ₛ, resolving a structural ambiguity in earlier work.
• Introduce the concept of a cofibrant n-partition (A₁,…,Aₙ) of a space X relative to A, ensuring homotopical control over unions of subspaces.
• Use Van Kampen’s theorem and Fadell-Neuwirth fibrations to analyze fundamental groups of configuration spaces F(S²,m) and their subspaces.
• Establish isomorphisms πₖ(X) ≅ (⋂ᵢ∈I Rᵢ · ∏ⱼ∉I Rⱼ) / ( [[Rᵢ₁,…,Rᵢₖ]]ₛ · ∏ⱼ∉I Rⱼ ) under K(π,1) and epimorphism conditions on fundamental groups.
• Apply the general theorem to the configuration space F(S²,m), showing πₙ(F(S²,m)) ≅ (R₁ ∩ ⋯ ∩ Rₙ) / [[R₁,R₂],…,Rₙ]ₛ for specific subgroups Rᵢ defined by punctured spheres.

Experimental results

Research questions

• RQ1 Can the fat commutator subgroup in a group be characterized as a symmetric commutator subgroup?
• RQ2 Under what topological conditions does the intersection of normal subgroups modulo their symmetric commutator subgroup yield the higher homotopy group πₖ(X)?
• RQ3 How can the homotopy groups of configuration spaces of points on S² be algebraically described using commutator subgroups?
• RQ4 What is the role of cofibrant partitions and K(π,1) conditions in deriving homotopy group isomorphisms?
• RQ5 How do the results generalize the Brown-Loday theorem and [19, Theorem 1.7] to braid and link groups?

Key findings

• The fat commutator subgroup [[R₁,…,Rₙ]] is equal to the symmetric commutator subgroup [[R₁,R₂],…,Rₙ]ₛ, resolving a structural ambiguity in group-theoretic constructions.
• For any proper subset I ⊂ {1,…,n}, the intersection Rᵢ₁ ∩ ⋯ ∩ Rᵢₖ is isomorphic to the symmetric commutator subgroup [[Rᵢ₁,Rᵢ₂],…,Rᵢₖ]ₛ.
• The higher homotopy group πₖ(X) is isomorphic to the quotient (⋂ᵢ∈I Rᵢ · ∏ⱼ∉I Rⱼ) / ( [[Rᵢ₁,…,Rᵢₖ]]ₛ · ∏ⱼ∉I Rⱼ ) under the given cofibrant and K(π,1) conditions.
• In particular, πₙ(F(S²,m)) ≅ (R₁ ∩ ⋯ ∩ Rₙ) / [[R₁,R₂],…,Rₙ]ₛ, where Rᵢ is the kernel of π₁(F(ℝ²,m)) → π₁(Aᵢ).
• The kernel of the inclusion-induced map π₁(F(ℝ²,m)) → π₁(Bᵢ) is the normal closure ⟨⟨A₀,ᵢ⟩⟩^{Pₘ}, and for multiple indices, it is the product of such normal closures.
• The configuration space F(S²,m) admits a cofibrant n-partition relative to F(ℝ²,m), and each proper union Aᵢ is a K(π,1)-space, enabling the homotopy group computation.