No Arabic abstract
We prove that some classes of triangle-free Artin groups act properly on locally finite, finite-dimensional CAT(0) cube complexes. In particular, this provides the first examples of Artin groups that are properly cubulated but cannot be cocompactly cubulated, even virtually. The existence of such a proper action has many interesting consequences for the group, notably the Haagerup property, and the Baum-Connes conjecture with coefficients.
We show that a triangle Artin group $text{Art}_{MNP}$ where $Mleq Nleq P$ splits as an amalgamated product or an HNN extension of finite rank free groups, provided that either $M>2$, or $N>3$. We also prove that all even three generator Artin groups are residually finite.
Let $n, k geq 3$. In this paper, we analyse the quotient group $B_n/Gamma_k(P_n)$ of the Artin braid group $B_n$ by the subgroup $Gamma_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 $tau in N$ is such that $gcd(tau, 6) = 1$, we show that $B_n/Gamma_3 (P_n)$ possesses torsion $tau$ 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 $tau$ in $B_n/Gamma_3 (P_n)$ with those of elements of order $tau$ in the symmetric group $S_n$. We also exhibit a presentation for the almost-crystallographic group $B_n/Gamma_3 (P_n)$. Finally, we obtain some $4$-dimensional almost-Bieberbach subgroups of $B_3/Gamma_3 (P_3)$, we explain how to obtain almost-Bieberbach subgroups of $B_4/Gamma_3(P_4)$ and $B_3/Gamma_4(P_3)$, and we exhibit explicit elements of order $5$ in $B_5/Gamma_3 (P_5)$.
We study atomic right-angled Artin groups -- those whose defining graph has no cycles of length less than five, and no separating vertices, separating edges, or separating vertex stars. We show that these groups are not quasi-isometrically rigid, but that an intermediate form of rigidity does hold. We deduce from this that two atomic groups are quasi-isometric iff they are isomorphic.
A smooth five-dimensional s-cobordism becomes a smooth product if stabilized by a finite number n of $S^2xS^2x[0,1]$s. We show that for amenable fundamental groups, the minimal n is subextensive in covers, i.e., n(cover)/index(cover) has limit 0. We focus on the notion of sweepout width, which is a bridge between 4-dimensional topology and coarse geometry.
A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a surface group. We also give a simple representation-theoretic description of the structure of the abelianizations of these commutator subgroups and calculate their homology.