a86413c85dff7b83.tex
1: \begin{abstract}
2: We consider the braid groups $\mathbf{B}_n(X)$ on finite simplicial complexes $X$, which are generalizations of those on both manifolds and graphs that have been studied already by many authors.
3: We figure out the relationships between geometric decompositions for $X$ and their effects on braid groups, and provide an algorithmic way to compute the group presentations for $\mathbf{B}_n(X)$ with the aid of them.
4: 
5: As applications, we give complete criteria for both the surface embeddability and planarity for $X$, which are the torsion-freeness of the braid group $\mathbf{B}_n(X)$ and its abelianization $H_1(\mathbf{B}_n(X))$, respectively.
6: \end{abstract}
7: