Extending Goldberg's Exact Sequence to Braid Groups of Graphs and Simplicial Complexes
For a finite connected simplicial complex $X$, the strand map $ι_\ast$, from $\mathbb{P}_n(X)$ to $\prod_{i=1}^nπ_1(X,x_i^0)$, sends a pure braid to the homotopy classes of its strands. A theorem of Goldberg (1973) computes its kernel when $X$ is a closed surface other than $S^2$ and $\mathbb{RP}^2$: the kernel is the normal closure of the pure braids supported in an embedded disc. We extend this picture to arbitrary finite connected simplicial complexes. Call $X$ $\textit{weakly Goldberg}$ if some contractible subcomplex $X_0\subseteq X$ realises Goldberg's description,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.14350
curl -X POST /api/v1/records/arxiv/2608.14350/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.14350/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'