Searcharxiv⌕ Search

arXiv subjects

Oscar Ocampo

Publications and source records attributed to Oscar Ocampo.

25 records · Page 2Linked to original sources

The conjugacy problem and virtually cyclic subgroups in the Artin braid group quotient $B_n/[P_n,P_n]$

Let $n\geq 3$. In this paper we deal with the conjugacy problem in the Artin braid group quotient $B_n/[P_n,P_n]$. To solve it we use systems of equations over the integers arising from the action of $B_n/[P_n,P_n]$ over the abelianization of the pure Artin braid group $P_n/[P_n,P_n]$. Using this technique we also realize explicitly infinite virtually cyclic subgroups in $B_n/[P_n,P_n]$.

math.GR↗

Crystallographic groups and flat manifolds from surface braid groups

Let $M$ be a compact surface without boundary, and $n\geq 2$. We analyse the quotient group $B_n(M)/Γ_2(P_n(M))$ of the surface braid group $B_{n}(M)$ by the commutator subgroup $Γ_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)/Γ_2(P_n(M))$ is isomorphic rho $P_n(M)/Γ_2(P_n(M)) \rtimes_φ S_n$, and that $B_n(M)/Γ_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)/Γ_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)/Γ_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)/Γ_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)/Γ_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ähler manifold that admits Anosov diffeomorphisms.

math.GR↗

The R$_\infty$ property for pure Artin braid groups

In this paper we prove that all pure Artin braid groups $P_n$ ($n\geq 3$) have the $R_\infty$ property. In order to obtain this result, we analyse the naturally induced morphism $\operatorname{\text{Aut}}(P_n) \to \operatorname{\text{Aut}}(Γ_2 (P_n)/Γ_3(P_n))$ which turns out to factor through a representation $ρ\colon S_{n+1} \to \operatorname{\text{Aut}}(Γ_2 (P_n)/Γ_3(P_n))$. We can then use representation theory of the symmetric groups to show that any automorphism $α$ of $P_n$ acts on the free abelian group $Γ_2 (P_n)/Γ_3(P_n)$ via a matrix with an eigenvalue equal to 1. This allows us to conclude that the Reidemeister number $R(α)$ of $α$ is $\infty$.

math.GR↗

Bieberbach groups and flat manifolds with finite abelian holonomy from Artin braid groups

Let $n\geq 3$. In this paper we show that for any finite abelian subgroup $G$ of $S_n$ the crystallographic group $B_n/[P_n,P_n]$ has Bieberbach subgroups $Γ_{G}$ with holonomy group $G$. Using this approach we obtain an explicit description of the holonomy representation of the Bieberbach group $Γ_{G}$. As an application, when the holonomy group is cyclic of odd order, we study the holonomy representation of $Γ_{G}$ and determine the existence of Anosov diffeomorphisms and Kähler geometry of the flat manifold ${\cal X}_{Γ_{G}}$ with fundamental group the Bieberbach group $Γ_{G}\leq B_n/[P_n,P_n]$.

math.GT↗

Embeddings of finite groups in $B_n/Γ_k(P_n)$ for $k=2, 3$

Let $n \geq 3$. In this paper, we study the problem of whether a given finite group $G$ embeds in a quotient of the form $B_n/Γ_k(P_n)$, where $B_n$ is the $n$-string Artin braid group, $k \in \{2, 3\}$, and $\{Γ_l(P_n)\}_{l\in \mathbb{N}}$ is the lower central series of the $n$-string pure braid group $P_n$. Previous results show that a necessary condition for such an embedding to exist is that $|G|$ is odd (resp. is relatively prime with $6$) if $k=2$ (resp. $k=3$), where $|G|$ denotes the order of $G$. We show that any finite group $G$ of odd order (resp. of order relatively prime with $6$) embeds in $B_{|G|}/Γ_2(P_{|G|})$ (resp. in $B_{|G|}/Γ_3(P_{|G|})$). The result in the case of $B_{|G|}/Γ_2(P_{|G|})$ has been proved independently by Beck and Marin. One may then ask whether $G$ embeds in a quotient of the form $B_n/Γ_k(P_n)$, where $n < |G|$ and $k \in \{2, 3\}$. If $G$ is of the form $\mathbb{Z}_{p^r} \rtimes_θ \mathbb{Z}_d$, where the action $θ$ is injective, $p$ is an odd prime (resp. $p \geq 5$ is prime) $d$ is odd (resp. $d$ is relatively prime with $6$) and divides $p-1$, we show that $G$ embeds in $B_{p^r}/Γ_2(P_{p^r})$ (resp. in $B_{p^r}/Γ_3(P_{p^r})$). In the case $k=2$, this extends a result of Marin concerning the embedding of the Frobenius groups in $B_n/Γ_2(P_n)$, and is a special case of another result of Beck and Marin. Finally, we construct an explicit embedding in $B_9/Γ_2(P_9)$ of the two non-Abelian groups of order $27$, namely the semi-direct product $\mathbb{Z}_9 \rtimes \mathbb{Z}_3$, where the action is given by multiplication by $4$, and the Heisenberg group mod $3$.

math.GT↗

Almost-crystallographic groups as quotients of Artin braid groups

Let $n, k \geq 3$. In this paper, we analyse the quotient group $B\_n/Γ\_k(P\_n)$ of the Artin braid group $B\_n$ by the subgroup $Γ\_k(P\_n)$ belonging to the lower central series of the Artin pure braid group $P\_n$. We prove that it is an almost-crystallographic group. We then focus more specifically on the case $k=3$. If $n \geq 5$, and if $τ\in N$ is such that $gcd(τ, 6) = 1$, we show that $B\_n/Γ\_3 (P\_n)$ possesses torsion $τ$ if and only if $S\_n$ does, and we prove that there is a one-to-one correspondence between the conjugacy classes of elements of order $τ$ in $B\_n/Γ\_3 (P\_n)$ with those of elements of order $τ$ in the symmetric group $S\_n$. We also exhibit a presentation for the almost-crystallographic group $B\_n/Γ\_3 (P\_n)$. Finally, we obtain some $4$-dimensional almost-Bieberbach subgroups of $B\_3/Γ\_3 (P\_3)$, we explain how to obtain almost-Bieberbach subgroups of $B\_4/Γ\_3(P\_4)$ and $B\_3/Γ\_4(P\_3)$, and we exhibit explicit elements of order $5$ in $B\_5/Γ\_3 (P\_5)$.

math.GT↗

Quotients of the Artin braid groups and crystallographic groups

Let n be greater than or equal to 3. We study the quotient group B\_n/[P n,P\_n] of the Artin braid group B\_n by the commutator subgroup of its pure Artin braid group P\_n. We show that B\_n/[P n,P\_n] is a crystallographic group, and in the case n=3, we analyse explicitly some of its subgroups. We also prove that B\_n/[P n,P\_n] possesses torsion, and we show that there is a one-to-one correspondence between the conjugacy classes of the finite-order elements of B\_n/[P n,P\_n] with the conjugacy classes of the elements of odd order of the symmetric group S\_n, and that the isomorphism class of any Abelian subgroup of odd order of S\_n is realised by a subgroup of B\_n/[P n,P\_n]. Finally, we discuss the realisation of non-Abelian subgroups of S\_n of odd order as subgroups of B\_n/[P n,P\_n], and we show that the Frobenius group of order 21, which is the smallest non-Abelian group of odd order, embeds in B\_n/[P n,P\_n] for all n greater than or equal to 7.

math.GR↗