Graph 4-braid groups and Massey products

DOI10.1016/J.TOPOL.2015.10.010MaRDI QIDQ897983zbMATH OpenOpenAlexFDO

Authors Ki Hyoung Ko, Joon Hyun La, Hyo Won Park

Publication date 8 December 2015

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.3723

zbMATH Keywords

discrete Morse theorygraph braid groupMassey product

Mathematics Subject Classification ID

Braid groups; Artin groups (20F36) Topological methods in group theory (57M07) Relations of low-dimensional topology with graph theory (57M15)

Abstract: We first show that the braid group over a graph topologically containing no $Theta$-shape subgraph has a presentation related only by commutators. Then using discrete Morse theory and triple Massey products, we prove that a graph topologically contains none of four prescribed graphs if and only if its 4-braid groups is a right-angled Artin group.

Review text

Let \(\Gamma\) be a graph viewed as a \(1\)-dimensional CW complex, and denote by \(\mathrm{UD}_n\Gamma\) the unordered discrete configuration space of \(n\) objects on \(\Gamma\). Suppose that the unordered topological configuration space of \(n\) objects on \(\Gamma\) deformation retracts onto \(\mathrm{UD}_n\Gamma\). Define the graph \(n\) braid group \(\mathrm{B}_n\Gamma:= \pi_1(\mathrm{UD}_n\Gamma)\), the fundamental group of \(\mathrm{UD}_n\Gamma\). The goal of the paper under review is to study \(\mathrm{B}_n\Gamma\) when \(\Gamma\) does not contain certain \(n\)-nuclei. Specifically, an important question is when \(\mathrm{B}_n\Gamma\) is a right-angled Artin group. The authors give two main theorems in the paper. Theorem 1.2 says that when \(\Gamma\) does not contain a certain set of \(n\)-nuclei, then \(\mathrm{B}_n\Gamma\) is right-angled Artin, while Theorem 1.3 gives certain \(n\)-nuclei in \(\Gamma\) which guarantee that \(\mathrm{B}_n\Gamma\) is not right-angled Artin. These results use a variety of techniques and are computationally intense. Theorem 1.3 involves the use of triple Massey products. Section 2 of the paper is devoted to developing the results needed concerning these triple products in order to prove Theorem 1.3. In Section 3, the tools found in discrete Morse theory are utilized to compute a certain presentation of \(\mathrm{B}_n\Gamma\). These computations and calculations are applied to prove these results found in Sections 4 and 5.

Recommendations

• Graph braid groups and right-angled Artin groups.
• On braid groups and right-angled Artin groups
• Tree groups and the 4-string pure braid group
• Characteristics of graph braid groups
• Discrete Morse theory and graph braid groups.

Cites work

• Algebraic invariants for right-angled Artin groups.
• Basic Commutators and Minimal Massey Products
• Characteristics of graph braid groups
• Cohomology rings and nilpotent quotients of real and complex arrangements
• Discrete Morse theory and graph braid groups.
• Finding Topology in a Factory: Configuration Spaces
• Graph braid groups and right-angled Artin groups.
• Massey Products and Lower Central Series of Free Groups
• Massey products of complex hypersurface complements
• Morse theory for cell complexes
• On the cohomology rings of tree braid groups.

Cited in

(5)

• Quasi-isometry invariants of weakly special square complexes
• Edge stabilization in the homology of graph braid groups
• The 4-string braid group B₄ has property RD and exponential mesoscopic rank.
• Cohomology ring of tree braid groups and exterior face rings
• An algorithmic discrete gradient field for non-colliding cell-like objects and the topology of pairs of points on skeleta of simplexes

This page was built for publication: Graph 4-braid groups and Massey products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897983)