We give a combinatorial proof of a theorem of Gromov, which extends the scope of small cancellation theory to group presentations arising from labelled graphs.
We generalize the graphical small cancellation theory of Gromov to a graphical small cancellation theory over the free product. We extend Gromov's small cancellation theorem to the free product. We explain and generalize Rips-Segev's construction of torsion-free groups without the unique product property by viewing these groups as given by graphical small cancellation presentations over the free product. Our graphical small cancellation theorem then provides first examples of Gromov hyperbolic groups without the unique product property. We construct uncountably many non-isomorphic torsion-free…
In these notes we detail the geometrical approach of small cancellation theory used by T. Delzant and M. Gromov to provide a new proof of the infiniteness of free Burnside groups and periodic quotients of torsion-free hyperbolic groups.
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 techni…
We give a new proof of the main theorem in the theory of C(6) small cancellation complexes. We prove the fundamental theorem of cubical small cancellation theory for C(9) cubical small cancellation complexes.
We explain and generalise a construction due to Gromov to realise geometric small cancellation groups over graphs of groups as fundamental groups of non-positively curved 2-dimensional complexes of groups. We then give conditions so that the hyperbolicity and some finiteness properties of the small cancellation quotient can be deduced from analogous properties for the local groups of the initial graph of groups.
We give a proof that groups satisfying the "uniform C'(1/6)" small cancellation condition admit a geometric action on a CAT(-1) space. It follows that random groups at density <1/12 are CAT(-1). The proof consists of a direct construction of a piecewise hyperbolic structure on the presentation complex of such a group, together with folding moves to make the complex negatively curved. The argument was originally suggested by Gromov.
The celebrated theorem of Gromov asserts that any finitely generated group with polynomial growth contains a nilpotent subgroup of finite index. Alternative proofs have been given by Kleiner and others. In this note, we give yet another proof of Gromov's theorem, along the lines of Shalom and Chifan--Sinclair, which is based on the analysis of reduced cohomology and Shalom's property H_FD.
We provide the details for Gromov's proof of Stallings' theorem on groups with infinitely many ends using harmonic functions. The main technical result of the paper is a compactness theorem for a certain family of harmonic functions.
We generalize the small cancellation theory over hyperbolic groups developed by Olshanskii to the case of relatively hyperbolic groups. This allows us to construct infinite finitely generated groups with exactly $n$ conjugacy classes for every $n\ge 2$. In particular, we give the affirmative answer to the well--known question of the existence of a finitely generated group $G$ other than $\mathbb Z/2\mathbb Z$ such that all nontrivial elements of $G$ are conjugate.
The aim of this paper is to introduce the notion of cornets, which form a particular subclass of ordered semigroups also equipped with a multiplication by natural numbers. The most important standard examples for cornets are the families of the nonempty subsets and the nonempty fuzzy subsets of a vector space. In a cornet, the convexity, nonnegativity, Archimedean property, boundedness, closedness of an element can be defined naturally. The basic properties related to these notions are established. The main result extends the Cancellation Principle discovered by Rådström in 1952.
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 satisf…
We give a new proof of Gromov's theorem that any finitely generated group of polynomial growth has a finite index nilpotent subgroup. Unlike the original proof, it does not rely on the Montgomery-Zippin-Yamabe structure theory of locally compact groups.
We give a cohomological characterization of Gromov relative hyperbolicity. As an application we prove a converse to the combination theorem for graphs of relatively hyperbolic groups given in a previous paper of the first author. We build upon, and follow the ideas of, the work of S. Gersten in ``Cohom. lower bounds for isoperim. funct. on groups'' (Topology 37, 1998) about the same topics in the classical Gromov hyperbolic setting.
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 …
This note is intended as an introduction to two previous works respectively by Dahmani, Guirardel, Osin, and by Cantat, Lamy. We give two proofs of a Small Cancellation Theorem for groups acting on a simplicial tree. We discuss the application to the group of plane polynomial automorphisms over any ground field.
We show that the space of harmonic functions on a finitely generated infinite group G is finite dimensional if, and only if, G has a finite-index subgroup isomorphic to the integers. A key tool is Wilkie and van den Dries's quantitative version of the linear-growth case of Gromov's theorem on groups of polynomial growth.
Walker's cancellation theorem says that if B+Z is isomorphic to C+Z in the category of abelian groups, then B is isomorphic to C. We construct an example in a diagram category of abelian groups where the theorem fails. As a consequence, the original theorem does not have a constructive proof even if B and C are subgroups of the free abelian group on two generators. Both of these results contrast with a group whose endomorphism ring has stable range one, which allows a constructive proof of cancellation and also a proof in any diagram category.
In this article we prove that the set of torsion-free groups acting by isometries on a hyperbolic metric space whose entropy is bounded above and with a compact quotient is finite. The number of such groups can be estimated in terms of the hyperbolicity constant and of an upper bound of the entropy of the space and of an upper bound of the diameter of its quotient. As a consequence we show that the set of non cyclic torsion-free $δ$-hyperbolic marked groups whose entropy is bounded above by a number $H$ is finite with cardinality depending on $δ$ and $H$ alone. From these results, we draw homo…
We show that for some absolute (explicit) constant $C$, the following holds for every finitely generated group $G$, and all $d >0$: If there is some $ R_0 > \exp(\exp(Cd^C))$ for which the number of elements in a ball of radius $R_0$ in a Cayley graph of $G$ is bounded by $R_0^d$, then $G$ has a finite index subgroup which is nilpotent (of step $<C^d$). An effective bound on the finite index is provided if "nilpotent" is replaced by 'polycyclic", thus yielding a non-trivial result for finite groups as well.
Given a Gromov-hyperbolic group $G$ endowed with a finite symmetric generating set, we study the statistics of counting measures on the spheres of the associated Cayley graph under linear representations of $G$. More generally, we obtain a weak law of large numbers for subadditive functions, echoing the classical Fekete lemma. For strongly irreducible and proximal representations, we prove a counting central limit theorem with a Berry--Esseen type error rate and exponential large deviation estimates. Moreover, in the same setting, we show convergence of interpolated normalized matrix norms alo…
We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of relatively hyperbolic groups that can be cubulated, and constitutes the first instance of a cubulability theorem for relatively hyperbolic groups which does not require any geometric assumption on the peripheral subgroups besides their cubulability. We do this by constructing appropriate wallspace structures for such groups, by combining walls of the free fac…
We find new bounds on the conformal dimension of small cancellation groups. These are used to show that a random few relator group has conformal dimension 2+o(1) asymptotically almost surely (a.a.s.). In fact, if the number of relators grows like l^K in the length l of the relators, then a.a.s. such a random group has conformal dimension 2+K+o(1). In Gromov's density model, a random group at density d<1/8 a.a.s. has conformal dimension $\asymp dl / |\log d|$. The upper bound for C'(1/8) groups has two main ingredients: $\ell_p$-cohomology (following Bourdon-Kleiner), and walls in the Cayley co…
We use bounded cohomology to define a notion of volume of an SO(n,1)-valued representation of a lattice SO(n,1) and, using this tool, we give a complete proof of the volume rigidity theorem of Francaviglia and Klaff in this setting. Our approach gives in particular a proof of Thurston's version of Gromov's proof of Mostow Rigidity (also in the non-cocompact case), which is dual to the Gromov--Thurston proof using the simplicial volume invariant.}