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.
Researcher profile
Damian Osajda
Damian Osajda contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
5topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
7 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
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