arXiv subjects

Damian Osajda

Publications and source records attributed to Damian Osajda.

At least 37 records · Page 2Linked to original sources

arXiv2019

Large-type Artin groups are systolic

We prove that Artin groups from a class containing all large-type Artin groups are systolic. This provides a concise yet precise description of their geometry. Immediate consequences are new results concerning large-type Artin groups: biautomaticity; existence of $EZ$-boundaries; the Novikov conjecture; descriptions of finitely presented subgroups, of virtually solvable subgroups, and of centralizers for infinite order elements; the Burghelea conjecture; existence of low-dimensional models for classifying spaces for some families of subgroups.

math.GR↗

arXiv2019

Two-Dimensional Systolic Complexes Satisfy Property A

We show that 2-dimensional systolic complexes are quasi-isometric to quadric complexes with flat intervals. We use this fact along with the weight function of Brodzki, Campbell, Guentner, Niblo and Wright to prove that 2-dimensional systolic complexes satisfy Property A.

math.MG↗

arXiv2019

Metric systolicity and two-dimensional Artin groups

We introduce the notion of metrically systolic simplicial complexes. We study geometric and large-scale properties of such complexes and of groups acting on them geometrically. We show that all two-dimensional Artin groups act geometrically on metrically systolic complexes. As direct corollaries we obtain new results on two-dimensional Artin groups and all their finitely presented subgroups: we prove that the Conjugacy Problem is solvable, and that the Dehn function is quadratic. We also show several large-scale features of finitely presented subgroups of two-dimensional Artin groups, lying background for further studies concerning their quasi-isometric rigidity.

math.GR↗

arXiv2019

Residually finite non-exact groups

We construct the first examples of residually finite non-exact groups. The construction is based on author's earlier construction of groups containing isometrically expanders using a graphical small cancellation.

math.GR↗

arXiv2018

Classifying spaces for families of subgroups for systolic groups

We determine the large scale geometry of the minimal displacement set of a hyperbolic isometry of a systolic complex. As a consequence, we describe the centraliser of such an isometry in a systolic group. Using these results, we construct a low-dimensional classifying space for the family of virtually cyclic subgroups of a group acting properly on a systolic complex. Its dimension coincides with the topological dimension of the complex if the latter is at least four. We show that graphical small cancellation complexes are classifying spaces for proper actions and that the groups acting on them properly admit three-dimensional classifying spaces with virtually cyclic stabilisers. This is achieved by constructing a systolic complex equivariantly homotopy equivalent to a graphical small cancellation complex. On the way we develop a systematic approach to graphical small cancellation complexes. Finally, we construct low-dimensional models for the family of virtually abelian subgroups for systolic, graphical small cancellation, and some CAT(0) groups.

math.GR↗

arXiv2017

Group cubization (with an appendix by Mikael Pichot)

We present a procedure of group cubization: It results in a group whose some features resemble the ones of a given group, and which acts without fixed points on a CAT(0) cubical complex. As a main application we establish lack of Kazhdan's property (T) for Burnside groups.

math.GR↗

arXiv2017

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.

math.MG↗

arXiv2015

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.

math.GR↗

arXiv2015

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.

math.GR↗

arXiv2015

On two conjectures of Maurer concerning basis graphs of matroids

We characterize 2-dimensional complexes associated canonically with basis graphs of matroids as simply connected triangle-square complexes satisfying some local conditions. This proves a version of a (disproved) conjecture by Stephen Maurer (Conjecture 3 of S. Maurer, Matroid basis graphs I, JCTB 14 (1973), 216-240). We also establish Conjecture 1 from the same paper about the redundancy of the conditions in the characterization of basis graphs. We indicate positive-curvature-like aspects of the local properties of the studied complexes. We characterize similarly the corresponding 2-dimensional complexes of even $Δ$-matroids.

math.CO↗

arXiv2015

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.

math.GR↗

arXiv2014

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.

math.GR↗

arXiv2013

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.

math.GR↗

arXiv2013

Bucolic Complexes

We introduce and investigate bucolic complexes, a common generalization of systolic complexes and of CAT(0) cubical complexes. They are defined as simply connected prism complexes satisfying some local combinatorial conditions. We study various approaches to bucolic complexes: from graph-theoretic and topological perspective, as well as from the point of view of geometric group theory. In particular, we characterize bucolic complexes by some properties of their 2-skeleta and 1-skeleta (that we call bucolic graphs), by which several known results are generalized. We also show that locally-finite bucolic complexes are contractible, and satisfy some nonpositive-curvature-like properties.

math.CO↗

arXiv2012

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.

math.GR↗

arXiv2012

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).

math.GT↗

arXiv2010

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.

math.GR↗

arXiv2008

Boundaries of systolic groups

For all systolic groups we construct boundaries which are EZ--structures. This implies the Novikov conjecture for torsion--free systolic groups. The boundary is constructed via a system of distinguished geodesics in a systolic complex, which we prove to have coarsely similar properties to geodesics in CAT(0) spaces.

math.GR↗