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
Damian Osajda
Damian Osajda 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
14works
6topics
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
14 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
Helly meets Garside and Artin
A graph is Helly if every family of pairwise intersecting combinatorial balls has a nonempty intersection. We show that weak Garside groups of finite type and FC-type Artin groups are Helly, that is, they act geometrically on Helly graphs. In particular, such groups act geometrically on spaces with convex geodesic bicombing, equipping them with a nonpositive-curvature-like structure. That structure has many properties of a CAT(0) structure and, additionally, it has a combinatorial flavor implying biautomaticity. As immediate consequences we obtain new results for FC-type Artin groups (in particular braid groups and spherical Artin groups) and weak Garside groups, including e.g.\ fundamental groups of the complements of complexified finite simplicial arrangements of hyperplanes, braid groups of well-generated complex reflection groups, and one-relator groups with non-trivial center. Among the results are: biautomaticity, existence of EZ and Tits boundaries, the Farrell-Jones conjecture, the coarse Baum-Connes conjecture, and a description of higher order homological and homotopical Dehn functions. As a mean of proving the Helly property we introduce and use the notion of a (generalized) cell Helly complex.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Quasi-Euclidean tilings over 2-dimensional Artin groups and their applications
We describe the structure of quasiflats in two-dimensio\-nal Artin groups. We rely on the notion of metric systolicity developed in our previous work. Using this weak form of non-positive curvature and analyzing in details the combinatorics of tilings of the plane we describe precisely the building blocks for quasiflats in all two-dimensional Artin groups -- atomic sectors. This allows us to provide useful quasi-isometry invariants for such groups -- completions of atomic sectors, stable lines, and the intersection pattern of certain abelian subgroups. These are described combinatorially, in terms of the structure of the graph defining an Artin group. As an important tool, we introduce an analogue of the curve complex in the context of two-dimensional Artin groups -- the intersection graph. We show quasi-isometric invariance of the intersection graph under natural assumptions. As immediate consequences we present a number of results concerning quasi-isometric rigidity for the subclass of CLTTF Artin groups. We give a necessary and sufficient condition for such groups to be strongly rigid (self quasi-isometries are close to automorphisms), we describe quasi-isometry groups, we indicate when quasi-isometries imply isomorphisms for such groups. In particular, there exist many strongly rigid large-type Artin groups. In contrast, none of the right-angled Artin groups are strongly rigid by a previous work of Bestvina, Kleiner and Sageev.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Small cancellation labellings of some infinite graphs and applications
We construct small cancellation labellings for some infinite sequences of finite graphs of bounded degree. We use them to define infinite graphical small cancellation presentations of groups. This technique allows us to provide examples of groups with exotic properties: - We construct the first examples of finitely generated coarsely non-amenable groups (that is, groups without Guoliang Yu's Property A) that are coarsely embeddable into a Hilbert space. Moreover, our groups act properly on CAT(0) cubical complexes. - We construct the first examples of finitely generated groups, with expanders embedded isometrically into their Cayley graphs - in contrast,in the case of the Gromov monster expanders are not even coarsely embedded. We present further applications.
0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv
Weakly modular graphs and nonpositive curvature
This article investigates structural, geometrical, and topological characterizations and properties of weakly modular graphs and of cell complexes derived from them. The unifying themes of our investigation are various `nonpositive curvature' and `local-to-global' properties and characterizations of weakly modular graphs and their subclasses. Weakly modular graphs have been introduced as a far-reaching common generalization of median graphs (and more generally, of modular and orientable modular graphs), Helly graphs, bridged graphs, and dual polar graphs occurring under different disguises in several seemingly-unrelated fields of mathematics: Metric graph theory, Geometric group theory, Incidence geometries and buildings, Theoretical computer science and combinatorial optimization. We give a local-to-global characterization of weakly modular graphs and their subclasses in terms of simple connectedness of associated triangle-square complexes and specific local combinatorial conditions. In particular, we revisit characterizations of dual polar graphs by Cameron and by Brouwer-Cohen. We also show that (disk-)Helly graphs are precisely the clique-Helly graphs with simply connected clique complexes. With $l_1$-embeddable weakly modular and sweakly modular graphs we associate high-dimensional cell complexes, having several strong topological and geometrical properties (contractibility and the CAT(0) property). Their cells have a specific structure: they are basis polyhedra of even $\triangle$-matroids in the first case and orthoscheme complexes of gated dual polar subgraphs in the second case. We resolve some open problems concerning subclasses of weakly modular graphs: we prove a Brady-McCammond conjecture about CAT(0) metric on the orthoscheme complexes of modular lattices; we answer Chastand's question about prime graphs for pre-median graphs.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Combinatorial negative curvature and triangulations of three-manifolds
We introduce and study local combinatorial conditions on a simplicial complex, implying Gromov hyperbolicity of its universal cover. We apply the theory to Thurston's problem on 5/6*-triangulations of 3-manifolds, providing a new proof and generalizing the original result. We indicate further applications.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Infinitely presented small cancellation groups have the Haagerup property
We prove the Haagerup property (= Gromov's a-T-menability) for finitely generated groups defined by infinite presentations satisfying the C'(1/6)-small cancellation condition. We deduce that these groups are coarsely embeddable into a Hilbert space and that the strong Baum-Connes conjecture holds for them. The result is a first non-trivial advancement in understanding groups with such properties among infinitely presented non-amenable direct limits of hyperbolic groups. The proof uses the structure of a space with walls introduced by Wise. As the main step we show that C'(1/6)-complexes satisfy the linear separation property.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
On asymptotically hereditarily aspherical groups
We undertake a systematic study of asymptotically hereditarily aspherical (AHA) groups - the class of groups introduced by Tadeusz Januszkiewicz and the second author as a tool for exhibiting exotic properties of systolic groups. We provide many new examples of AHA groups, also in high dimensions. We relate AHA property with the topology at infinity of a group, and deduce in this way some new properties of (weakly) systolic groups. We also exhibit an interesting property of boundary at infinity for few classes of AHA groups.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Graphical small cancellation groups with the Haagerup property
We prove the Haagerup property (= Gromov's a-T-menability) for finitely generated groups defined by infinite presentations satisfying the graphical C'(lambda)-small cancellation condition with respect to graphs endowed with a compatible wall structure. We deduce that these groups are coarsely embeddable into a Hilbert space and that the strong Baum-Connes conjecture and, hence, the Baum-Connes conjecture with arbitrary coefficients hold for them. As the main step we show that C'(lambda)-complexes satisfy the linear separation property. Our result provides many new examples and a general technique to show the Haagerup property for graphical small cancellation groups.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
A combinatorial non-positive curvature I: weak systolicity
We introduce the notion of weakly systolic complexes and groups, and initiate regular studies of them. Those are simplicial complexes with nonpositive-curvature-like properties and groups acting on them geometrically. We characterize weakly systolic complexes as simply connected simplicial complexes satisfying some local combinatorial conditions. We provide several classes of examples --- in particular systolic groups and CAT(-1) cubical groups are weakly systolic. We present applications of the theory, concerning Gromov hyperbolic groups, Coxeter groups and systolic groups.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Dismantlability of weakly systolic complexes and applications
The main goal of this paper is proving the fixed point theorem for finite groups acting on weakly systolic complexes. As corollaries we obtain results concerning classifying spaces for the family of finite subgroups of weakly systolic groups and conjugacy classes of finite subgroups. As immediate consequences we get new results on systolic complexes and groups. The fixed point theorem is proved by using a graph-theoretical tool - dismantlability. In particular we show that 1-skeleta of weakly systolic complexes, i.e. weakly bridged graphs, are dismantlable. On the way we show numerous characterizations of weakly bridged graphs and weakly systolic complexes.
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
preprint2010arXiv
A construction of hyperbolic Coxeter groups
We give a simple construction of Gromov hyperbolic Coxeter groups of arbitrarily large virtual cohomological dimension. Our construction provides new examples of such groups. Using this one can construct e.g. new groups having some interesting asphericity properties.
0 citations0 reviewsNo code linkedOpen access