Coxeter groups are biautomatic
We prove that Coxeter groups are biautomatic. From our construction of the biautomatic structure it follows that uniform lattices in isometry groups of buildings are biautomatic.
Source author record
Piotr Przytycki
Piotr Przytycki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
16works
3topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
16 published item(s)
preprint2022arXiv
Torsion groups do not act on $2$-dimensional $\mathrm{CAT}(0)$ complexes
We show, under mild hypotheses, that if each element of a finitely generated group acting on a $2$-dimensional $\mathrm{CAT}(0)$ complex has a fixed point, then there is a global fixed point. In particular all actions of finitely generated torsion groups on such complexes have global fixed points. The proofs rely on Masur's theorem on periodic trajectories in rational billiards, and Ballmann-Brin's methods for finding closed geodesics in $2$-dimensional locally $\mathrm{CAT}(0)$ complexes. As another ingredient we prove that the image of an immersed loop in a graph of girth $2π$ with length not commensurable with $π$ has diameter $> π$. This is closely related to a theorem of Dehn on tiling rectangles by squares.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
Acylindrical actions for two-dimensional Artin groups of hyperbolic type
For a two-dimensional Artin group $A$ whose associated Coxeter group is hyperbolic, we prove that the action of $A$ on the hyperbolic space obtained by coning off certain subcomplexes of its modified Deligne complex is acylindrical. Moreover, if for each $s\in S$ there is $t\in S$ with $m_{st}< \infty$, then this action is universal. As a consequence, for $|S|\geq 3$, if $A$ is irreducible, then it is acylindrically hyperbolic. We also obtain the Tits alternative for $A$, and we classify the subgroups of $A$ that virtually split as a direct product. A key ingredient in our approach is a simple criterion to show the acylindricity of an action on a two-dimensional $\mathrm{CAT}(-1)$ complex.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
A note on acylindrical hyperbolicity of Mapping Class Groups
The aim of this note is to give the simplest possible proof that Mapping Class Groups of closed hyperbolic surfaces are acylindrically hyperbolic, and more specifically that their curve graphs are hyperbolic and that pseudo-Anosovs act on them as loxodromic WPDs.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Cocompactly cubulated 2-dimensional Artin groups
We give a necessary and sufficient condition for a 2-dimensional or a three-generator Artin group $A$ to be (virtually) cocompactly cubulated, in terms of the defining graph of $A$.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Systolizing buildings
We introduce a construction turning some Coxeter and Davis realizations of buildings into systolic complexes. Consequently groups acting geometrically on buildings of triangle types distinct from $(2,4,4)$, $(2,4,5)$, $(2,5,5)$, and various rank $4$ types are systolic.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Cocompactly cubulated graph manifolds
Let M be a graph manifold. We show that π_1M is the fundamental group of a compact nonpositively curved cube complex if and only if M is chargeless. We also prove that in that case π_1M is virtually compact special.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Mixed 3-manifolds are virtually special
Let M be a compact oriented irreducible 3-manifold which is neither a graph manifold nor a hyperbolic manifold. We prove that the fundamental group of M is virtually special.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Slim unicorns and uniform hyperbolicity for arc graphs and curve graphs
We describe unicorn paths in the arc graph and show that they form 1-slim triangles and are invariant under taking subpaths. We deduce that all arc graphs are 7-hyperbolic. Considering the same paths in the arc and curve graph, this also shows that all curve graphs are 17-hyperbolic, including closed surfaces.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Graph manifolds with boundary are virtually special
Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there is a "sufficient" collection of surfaces in M, then the fundamental group of M is virtually the fundamental group of a special nonpositively curved cube complex. We provide a sufficient collection for graph manifolds with boundary thus proving that their fundamental groups are virtually special, and hence linear.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Realisation and dismantlability
We study dismantling properties of the arc, disc and sphere graphs. We prove that any finite subgroup H of the mapping class group of a surface with punctures, the handlebody group, or Out(F_n) fixes a filling (resp. simple) clique in the appropriate graph. We deduce realisation theorems, in particular the Nielsen Realisation Problem in the case of a nonempty set of punctures. We also prove that infinite H have either empty or contractible fixed point sets in the corresponding complexes. Furthermore, we show that their spines are classifying spaces for proper actions for mapping class groups and Out(F_n).
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Square complexes and simplicial nonpositive curvature
We prove that each nonpositively curved square VH-complex can be turned functorially into a locally 6-large simplicial complex of the same homotopy type. It follows that any group acting geometrically on a CAT(0) square VH-complex is systolic. In particular the product of two finitely generated free groups is systolic, which answers a question of Daniel Wise. On the other hand, we exhibit an example of a compact non-VH nonpositively curved square complex, whose fundamental group is neither systolic, nor even virtually systolic.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Bipolar Coxeter groups
We consider the class of those Coxeter groups for which removing from the Cayley graph any tubular neighbourhood of any wall leaves exactly two connected components. We call these Coxeter groups bipolar. They include both the virtually Poincare duality Coxeter groups and the infinite irreducible 2-spherical ones. We show in a geometric way that a bipolar Coxeter group admits a unique conjugacy class of Coxeter generating sets. Moreover, we provide a characterisation of bipolar Coxeter groups in terms of the associated Coxeter diagram.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Contractibility of the Kakimizu complex and symmetric Seifert surfaces
Kakimizu complex of a knot is a flag simplicial complex whose vertices correspond to minimal genus Seifert surfaces and edges to disjoint pairs of such surfaces. We discuss a general setting in which one can define a similar complex. We prove that this complex is contractible, which was conjectured by Kakimizu. More generally, the fixed-point set (in the Kakimizu complex) for any subgroup of an appropriate mapping class group is contractible or empty. Moreover, we prove that this fixed-point set is non-empty for finite subgroups, which implies the existence of symmetric Seifert surfaces.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
The ending lamination space of the five-punctured sphere is the Noebeling curve
We prove that the ending lamination space of the five-punctured sphere is homeomorphic to the Noebeling curve.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
Twist-rigid Coxeter groups
We prove that two angle-compatible Coxeter generating sets of a given finitely generated Coxeter group are conjugate provided one of them does not admit any elementary twist. This confirms a basic case of a general conjecture which describes a potential solution to the isomorphism problem for Coxeter groups.
0 citations0 reviewsNo code linkedOpen access