English

Square-section braid groups and Higman-Neumann-Neumann extensions

Geometric Topology 2025-10-21 v1 Algebraic Topology

Abstract

For positive integers nn, pp and qq with pqn>0pq-n>0, let UC(n,p×q)UC(n,p\times q) denote the configuration space of nn unlabelled hard unit squares in the rectangle [0,p]×[0,q][0,p]\times[0,q], and let Bn(p×q)B_n(p\times q) denote the corresponding fundamental group. It is known that, as pqnpq-n becomes large, UC(n,p×q)UC(n,p\times q) starts capturing homotopical properties of the classical configuration space of nn unlabelled pairwise-distinct points in the plane. At the start of this approximation process, UC(pq1,p×q)UC(pq-1,p\times q) is homotopy equivalent to a wedge of (p1)(q1)(p-1)(q-1) circles, while the only other general families of spaces UC(n,p×q)UC(n,p\times q) known to be aspherical are UC(n,p×2)UC(n,p\times2) for pnp\geq n, and UC(pq2,p×q)UC(pq-2,p\times q). The fundamental groups of the former family are known to be responsible for the ``right-angled'' relations in Artin's classical braid groups. We prove that the fundamental groups of the latter family have a minimal presentation all whose relators are commutators. In particular, after explaining how B2p2(p×2)B_{2p-2}(p\times2) arises as the right-angled Artin group (RAAG) associated to a certain meta-edge, we show that B3p2(p×3)B_{3p-2}(p\times3) is a Higman-Neumann-Neumann extension of the RAAG associated to the corresponding meta-square. We provide a geometric interpretation of the latter fact in terms of Salvetti complexes.

Keywords

Cite

@article{arxiv.2510.17707,
  title  = {Square-section braid groups and Higman-Neumann-Neumann extensions},
  author = {Omar Alvarado-Garduño and Jesús González},
  journal= {arXiv preprint arXiv:2510.17707},
  year   = {2025}
}

Comments

19 pages, 5 figures

R2 v1 2026-07-01T06:47:58.141Z