We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GR

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Group Theory

Title: Crystallographic groups and flat manifolds from surface braid groups

Authors: Daciberg Lima Gonçalves (USP, IME), John Guaschi (LMNO, UNICAEN, NU, CNRS), Oscar Ocampo (UFBA), Carolina de Miranda E Pereiro (UFES)
Abstract: Let $M$ be a compact surface without boundary, and $n\geq 2$. We analyse the quotient group $B_n(M)/\Gamma_2(P_n(M))$ of the surface braid group $B_{n}(M)$ by the commutator subgroup $\Gamma_2(P_n(M))$ of the pure braid group $P_{n}(M)$. If $M$ is different from the $2$-sphere $\mathbb{S}^2$, we prove that $B_n(M)/\Gamma_2(P_n(M))$ is isomorphic rho $P_n(M)/\Gamma_2(P_n(M)) \rtimes_{\varphi} S_n$, and that $B_n(M)/\Gamma_2(P_n(M))$ is a crystallographic group if and only if $M$ is orientable. If $M$ is orientable, we prove a number of results regarding the structure of $B_n(M)/\Gamma_2(P_n(M))$. We characterise the finite-order elements of this group, and we determine the conjugacy classes of these elements. We also show that there is a single conjugacy class of finite subgroups of $B_n(M)/\Gamma_2(P_n(M))$ isomorphic either to $S_n$ or to certain Frobenius groups. We prove that crystallographic groups whose image by the projection $B_n(M)/\Gamma_2(P_n(M))\to S_n$ is a Frobenius group are not Bieberbach groups. Finally, we construct a family of Bieberbach subgroups $\tilde{G}_{n,g}$ of $B_n(M)/\Gamma_2(P_n(M))$ of dimension $2ng$ and whose holonomy group is the finite cyclic group of order $n$, and if $\mathcal{X}_{n,g}$ is a flat manifold whose fundamental group is $\tilde{G}_{n,g}$, we prove that it is an orientable K\"ahler manifold that admits Anosov diffeomorphisms.
Subjects: Group Theory (math.GR); Geometric Topology (math.GT)
Journal reference: Journal of Algebra, Elsevier, 2021, 293, pp.107560
DOI: 10.1016/j.topol.2020.107560
Cite as: arXiv:2107.03683 [math.GR]
  (or arXiv:2107.03683v1 [math.GR] for this version)

Submission history

From: John Guaschi [view email]
[v1] Thu, 8 Jul 2021 08:56:23 GMT (19kb,D)

Link back to: arXiv, form interface, contact.