Showing 1–32 of 32 results for author: Arzhantseva, G

Constraint stability in permutations and action traces

Authors: Goulnara Arzhantseva, Liviu Paunescu

Abstract: An action trace is a function naturally associated to a probability measure preserving action of a group on a standard probability space. For countable amenable groups, we characterise stability in permutations using action traces. We extend such a characterisation to constraint stability. We give sufficient conditions for a group to be constraint stable. As an application, we obtain many new exam… ▽ More An action trace is a function naturally associated to a probability measure preserving action of a group on a standard probability space. For countable amenable groups, we characterise stability in permutations using action traces. We extend such a characterisation to constraint stability. We give sufficient conditions for a group to be constraint stable. As an application, we obtain many new examples of groups stable in permutations, in particular, among free amalgamated products over a finite group. This is the first general result (besides trivial case of free products) which gives a wealth of non-amenable groups stable in permutations. △ Less

Submitted 12 December, 2024; v1 submitted 15 April, 2023; originally announced April 2023.

Comments: v2: revised version, 21 pages

MSC Class: 20Fxx; 20F05; 20F69; 20B30; 22F10

Spectral gap and origami expanders

Authors: Goulnara Arzhantseva, Dawid Kielak, Tim de Laat, Damian Sawicki

Abstract: We construct the first measure-preserving affine actions with spectral gap on surfaces of arbitrary genus $g > 1$. We achieve this by finding geometric representatives of multi-twists on origami surfaces. As a major application, we construct new expanders that are coarsely distinct from the classical expanders obtained via the Laplacian as Cayley graphs of finite quotients of a group. Our methods… ▽ More We construct the first measure-preserving affine actions with spectral gap on surfaces of arbitrary genus $g > 1$. We achieve this by finding geometric representatives of multi-twists on origami surfaces. As a major application, we construct new expanders that are coarsely distinct from the classical expanders obtained via the Laplacian as Cayley graphs of finite quotients of a group. Our methods also show that the Margulis expander, and hence the Gabber--Galil expander, is coarsely distinct from the Selberg expander. △ Less

Submitted 25 February, 2024; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: To appear in the Commentarii Mathematici Helvetici

MSC Class: 05C48 (20F65; 37A30; 37E30; 51F30; 57M60)

Quantifying metric approximations of discrete groups

Authors: Goulnara Arzhantseva, Pierre-Alain Cherix

Abstract: We introduce and systematically study a profile function whose asymptotic behavior quantifies the dimension or the size of a metric approximation of a finitely generated group $G$ by a family of groups $\mathcal{F}=\{(G_α, d_α, k_α, \varepsilon_{α})\}_{α\in I, }$ where each group $G_α$ is equipped with a bi-invariant metric $d_α$ and a dimension $k_α$, for strictly positive real numbers… ▽ More We introduce and systematically study a profile function whose asymptotic behavior quantifies the dimension or the size of a metric approximation of a finitely generated group $G$ by a family of groups $\mathcal{F}=\{(G_α, d_α, k_α, \varepsilon_{α})\}_{α\in I, }$ where each group $G_α$ is equipped with a bi-invariant metric $d_α$ and a dimension $k_α$, for strictly positive real numbers $\varepsilon_{α}$ such that $\inf_{α}\varepsilon_{α}>0$. Through the notion of a residually amenable profile that we introduce, our approach generalizes classical isoperimetric (aka Folner) profiles of amenable groups and recently introduced functions quantifying residually finite groups. Our viewpoint is much more general and covers hyperlinear and sofic approximations as well as many other metric approximations such as weakly sofic, weakly hyperlinear, and linear sofic approximations. △ Less

Submitted 29 August, 2020; originally announced August 2020.

Comments: 33 pages

MSC Class: 20E26; 20F69; 20C99; 03C20

Logarithmic girth expander graphs of $SL_n(\mathbb F_p)$

Authors: Goulnara Arzhantseva, Arindam Biswas

Abstract: We provide an explicit construction of finite 4-regular graphs $(Γ_k)_{k\in \mathbb N}$ with ${girth Γ_k\to\infty}$ as $k\to\infty$ and $\frac{diam Γ_k}{girth Γ_k}\leqslant D$ for some $D>0$ and all $k\in\mathbb{N}$. For each fixed dimension $n\geqslant 2,$ we find a pair of matrices in $SL_{n}(\mathbb{Z})$ such that (i) they generate a free subgroup, (ii)~their reductions $\bmod\, p$ generate… ▽ More We provide an explicit construction of finite 4-regular graphs $(Γ_k)_{k\in \mathbb N}$ with ${girth Γ_k\to\infty}$ as $k\to\infty$ and $\frac{diam Γ_k}{girth Γ_k}\leqslant D$ for some $D>0$ and all $k\in\mathbb{N}$. For each fixed dimension $n\geqslant 2,$ we find a pair of matrices in $SL_{n}(\mathbb{Z})$ such that (i) they generate a free subgroup, (ii)~their reductions $\bmod\, p$ generate $SL_{n}(\mathbb{F}_{p})$ for all sufficiently large primes $p$, (iii) the corresponding Cayley graphs of $SL_{n}(\mathbb{F}_{p})$ have girth at least $c_n\log p$ for some $c_n>0$. Relying on growth results (with no use of expansion properties of the involved graphs), we observe that the diameter of those Cayley graphs is at most $O(\log p)$. This gives infinite sequences of finite $4$-regular Cayley graphs of $SL_n(\mathbb F_p)$ as $p\to\infty$ with large girth and bounded diameter-by-girth ratio. These are the first explicit examples in all dimensions $n\geqslant 2$ (all prior examples were in $n=2$). Moreover, they happen to be expanders. Together with Margulis' and Lubotzky-Phillips-Sarnak's classical constructions, these new graphs are the only known explicit logarithmic girth Cayley graph expanders. △ Less

Submitted 23 August, 2022; v1 submitted 25 March, 2018; originally announced March 2018.

Comments: Title and content updated to reflect published version. Previous title: "Large girth graphs with bounded diameter-by-girth ratio"

MSC Class: 20G40; 05C25; 20E26; 20F65

Cogrowth for group actions with strongly contracting elements

Authors: Goulnara N. Arzhantseva, Christopher H. Cashen

Abstract: Let $G$ be a group acting properly by isometries and with a strongly contracting element on a geodesic metric space. Let $N$ be an infinite normal subgroup of $G$, and let $δ_N$ and $δ_G$ be the growth rates of $N$ and $G$ with respect to the pseudo-metric induced by the action. We prove that if $G$ has purely exponential growth with respect to the pseudo-metric then $δ_N/δ_G>1/2$. Our result appl… ▽ More Let $G$ be a group acting properly by isometries and with a strongly contracting element on a geodesic metric space. Let $N$ be an infinite normal subgroup of $G$, and let $δ_N$ and $δ_G$ be the growth rates of $N$ and $G$ with respect to the pseudo-metric induced by the action. We prove that if $G$ has purely exponential growth with respect to the pseudo-metric then $δ_N/δ_G>1/2$. Our result applies to suitable actions of hyperbolic groups, right-angled Artin groups and other CAT(0) groups, mapping class groups, snowflake groups, small cancellation groups, etc. This extends Grigorchuk's original result on free groups with respect to a word metrics and a recent result of Jaerisch, Matsuzaki, and Yabuki on groups acting on hyperbolic spaces to a much wider class of groups acting on spaces that are not necessarily hyperbolic. △ Less

Submitted 18 July, 2018; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: 9 pages, 3 figures; v2 11 pages, 3 figures adds some details, refactors proofs

MSC Class: 20F69; 37C35; 20F65; 20F67; 20F36

Journal ref: Ergod. Th. Dynam. Sys. 40 (2020) 1738-1754

Unrestricted wreath products and sofic groups

Authors: Goulnara Arzhantseva, Federico Berlai, Martin Finn-Sell, Lev Glebsky

Abstract: We show that the unrestricted wreath product of a sofic group by an amenable group is sofic. We use this result to present an alternative proof of the known fact that any group extension with sofic kernel and amenable quotient is again a sofic group. Our approach exploits the famous Kaloujnine-Krasner theorem and extends, with an additional argument, to hyperlinear-by-amenable groups. We show that the unrestricted wreath product of a sofic group by an amenable group is sofic. We use this result to present an alternative proof of the known fact that any group extension with sofic kernel and amenable quotient is again a sofic group. Our approach exploits the famous Kaloujnine-Krasner theorem and extends, with an additional argument, to hyperlinear-by-amenable groups. △ Less

Submitted 13 February, 2018; originally announced February 2018.

Comments: 10 pages

MSC Class: 20F65; 03C25

Constraint metric approximations and equations in groups

Authors: Goulnara Arzhantseva, Liviu Paunescu

Abstract: We introduce notions of a constraint metric approximation and of a constraint stability of a metric approximation. This is done in the language of group equations with coefficients. We give an example of a group which is not constraintly sofic. In building it, we find a sofic representation of free group with trivial commutant among extreme points of the convex structure on the space of sofic repr… ▽ More We introduce notions of a constraint metric approximation and of a constraint stability of a metric approximation. This is done in the language of group equations with coefficients. We give an example of a group which is not constraintly sofic. In building it, we find a sofic representation of free group with trivial commutant among extreme points of the convex structure on the space of sofic representations. We consider the centralizer equation in permutations as an instance of this new general setting. We characterize permutations $p\in S_k$ whose centralizer is stable in permutations with respect to the normalized Hamming distance, that is, a permutation which almost centralizes $p$ is near a centralizing permutation. This answers a question of Gorenstein-Sandler-Mills (1962). △ Less

Submitted 2 August, 2017; originally announced August 2017.

Comments: 19 pages

MSC Class: 20Fxx; 20F05; 20B30; 15A27

A characterization for asymptotic dimension growth

Authors: Goulnara Arzhantseva, Graham A. Niblo, Nick Wright, Jiawen Zhang

Abstract: We give a characterization for asymptotic dimension growth. We apply it to CAT(0) cube complexes of finite dimension, giving an alternative proof of N. Wright's result on their finite asymptotic dimension. We also apply our new characterization to geodesic coarse median spaces of finite rank and establish that they have subexponential asymptotic dimension growth. This strengthens a recent result o… ▽ More We give a characterization for asymptotic dimension growth. We apply it to CAT(0) cube complexes of finite dimension, giving an alternative proof of N. Wright's result on their finite asymptotic dimension. We also apply our new characterization to geodesic coarse median spaces of finite rank and establish that they have subexponential asymptotic dimension growth. This strengthens a recent result of J. Spakula and N. Wright. △ Less

Submitted 6 January, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

MSC Class: 20F65; 20F67; 20F69; 51F99

Journal ref: Algebr. Geom. Topol. 18 (2018) 493-524

Admitting a coarse embedding is not preserved under group extensions

Authors: Goulnara Arzhantseva, Romain Tessera

Abstract: We construct a finitely generated group which is an extension of two finitely generated groups coarsely embeddable into Hilbert space but which itself does not coarsely embed into Hilbert space. Our construction also provides a new infinite monster group: the first example of a finitely generated group that does not coarsely embed into Hilbert space and yet does not contain a weakly embedded expan… ▽ More We construct a finitely generated group which is an extension of two finitely generated groups coarsely embeddable into Hilbert space but which itself does not coarsely embed into Hilbert space. Our construction also provides a new infinite monster group: the first example of a finitely generated group that does not coarsely embed into Hilbert space and yet does not contain a weakly embedded expander. △ Less

Submitted 3 October, 2017; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: 15 pages; Proposition 3.3(v1) was modified following a comment of D. Sawicki; Theorem 2(v3) is new and gives an extension of finitely generated groups

MSC Class: 46B85; 20F69; 22D10; 20E22

Acylindrical hyperbolicity of cubical small-cancellation groups

Authors: Goulnara N. Arzhantseva, Mark F. Hagen

Abstract: We provide an analogue of Strebel's classification of geodesic triangles in classical $C'(\frac16)$ groups for groups given by Wise's cubical presentations satisfying sufficiently strong metric cubical small cancellation conditions. Using our classification, we prove that, except in specific degenerate cases, such groups are acylindrically hyperbolic. We provide an analogue of Strebel's classification of geodesic triangles in classical $C'(\frac16)$ groups for groups given by Wise's cubical presentations satisfying sufficiently strong metric cubical small cancellation conditions. Using our classification, we prove that, except in specific degenerate cases, such groups are acylindrically hyperbolic. △ Less

Submitted 6 April, 2021; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: Revised according to referee comments. This version accepted in Algebraic and Geometric Topology

MSC Class: 20F06; 20F65; 20F67

Journal ref: Algebr. Geom. Topol. 22 (2022) 2007-2078

Negative curvature in graphical small cancellation groups

Authors: Goulnara N. Arzhantseva, Christopher H. Cashen, Dominik Gruber, David Hume

Abstract: We use the interplay between combinatorial and coarse geometric versions of negative curvature to investigate the geometry of infinitely presented graphical $Gr'(1/6)$ small cancellation groups. In particular, we characterize their 'contracting geodesics', which should be thought of as the geodesics that behave hyperbolically. We show that every degree of contraction can be achieved by a geodesi… ▽ More We use the interplay between combinatorial and coarse geometric versions of negative curvature to investigate the geometry of infinitely presented graphical $Gr'(1/6)$ small cancellation groups. In particular, we characterize their 'contracting geodesics', which should be thought of as the geodesics that behave hyperbolically. We show that every degree of contraction can be achieved by a geodesic in a finitely generated group. We construct the first example of a finitely generated group $G$ containing an element $g$ that is strongly contracting with respect to one finite generating set of $G$ and not strongly contracting with respect to another. In the case of classical $C'(1/6)$ small cancellation groups we give complete characterizations of geodesics that are Morse and that are strongly contracting. We show that many graphical $Gr'(1/6)$ small cancellation groups contain strongly contracting elements and, in particular, are growth tight. We construct uncountably many quasi-isometry classes of finitely generated, torsion-free groups in which every maximal cyclic subgroup is hyperbolically embedded. These are the first examples of this kind that are not subgroups of hyperbolic groups. In the course of our analysis we show that if the defining graph of a graphical $Gr'(1/6)$ small cancellation group has finite components, then the elements of the group have translation lengths that are rational and bounded away from zero. △ Less

Submitted 25 May, 2018; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: 40 pages, 14 figures, v2: improved introduction, updated statement of Theorem 4.4, v3: new title (previously: "Contracting geodesics in infinitely presented graphical small cancellation groups"), minor changes, to appear in Groups, Geometry, and Dynamics

MSC Class: 20F06 (Primary) 20F65; 20F67 (Secondary)

Journal ref: Groups Geom. Dyn. 13 (2019), no.2, 579-632

Characterizations of Morse quasi-geodesics via superlinear divergence and sublinear contraction

Authors: Goulnara N. Arzhantseva, Christopher H. Cashen, Dominik Gruber, David Hume

Abstract: We introduce and begin a systematic study of sublinearly contracting projections. We give two characterizations of Morse quasi-geodesics in an arbitrary geodesic metric space. One is that they are sublinearly contracting; the other is that they have completely superlinear divergence. We give a further characterization of sublinearly contracting projections in terms of projections of geodesic segme… ▽ More We introduce and begin a systematic study of sublinearly contracting projections. We give two characterizations of Morse quasi-geodesics in an arbitrary geodesic metric space. One is that they are sublinearly contracting; the other is that they have completely superlinear divergence. We give a further characterization of sublinearly contracting projections in terms of projections of geodesic segments. △ Less

Submitted 8 June, 2017; v1 submitted 8 January, 2016; originally announced January 2016.

Comments: 24 pages, 5 figures. v2: 22 pages, 5 figures. Correction in proof of Thm 7.1. Proof of Prop 4.2 revised for improved clarity. Other minor changes per referee comments. To appear in Documenta Mathematica

MSC Class: 20F06; 20F65; 20F67

Almost commuting permutations are near commuting permutations

Authors: Goulnara Arzhantseva, Liviu Paunescu

Abstract: We prove that the commutator is stable in permutations endowed with the Hamming distance, that is, two permutations that almost commute are near two commuting permutations. Our result extends to $k$-tuples of almost commuting permutations, for any given $k$, and allows restrictions, for instance, to even permutations. We prove that the commutator is stable in permutations endowed with the Hamming distance, that is, two permutations that almost commute are near two commuting permutations. Our result extends to $k$-tuples of almost commuting permutations, for any given $k$, and allows restrictions, for instance, to even permutations. △ Less

Submitted 21 March, 2015; v1 submitted 9 October, 2014; originally announced October 2014.

Comments: Corrected the definition of the Loeb space; more details in the proof of the main result, Journal of Functional Analysis, Available online 2015

MSC Class: 20Fxx; 20F05; 20B30; 15A27

Rips construction without unique product

Authors: Goulnara Arzhantseva, Markus Steenbock

Abstract: Given a finitely presented group $Q,$ we produce a short exact sequence $1\to N \hookrightarrow G \twoheadrightarrow Q \to 1$ such that $G$ is a torsion-free Gromov hyperbolic group without the unique product property and $N$ is without the unique product property and has Kazhdan's Property (T). Varying $Q,$ we show a wide diversity of concrete examples of Gromov hyperbolic groups without the uniq… ▽ More Given a finitely presented group $Q,$ we produce a short exact sequence $1\to N \hookrightarrow G \twoheadrightarrow Q \to 1$ such that $G$ is a torsion-free Gromov hyperbolic group without the unique product property and $N$ is without the unique product property and has Kazhdan's Property (T). Varying $Q,$ we show a wide diversity of concrete examples of Gromov hyperbolic groups without the unique product property. As an application, we obtain Tarski monster groups without the unique product property. △ Less

Submitted 9 July, 2014; originally announced July 2014.

Comments: 22 pages

Journal ref: Pacific J. Math. 322 (2023) 1-9

Graphical small cancellation groups with the Haagerup property

Authors: Goulnara Arzhantseva, Damian Osajda

Abstract: 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 con… ▽ More 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. △ Less

Submitted 15 October, 2014; v1 submitted 27 April, 2014; originally announced April 2014.

Comments: 29 pages, minor modifications to v1

Relative expanders

Authors: Goulnara Arzhantseva, Romain Tessera

Abstract: We exhibit a finitely generated group $G$ and a sequence of finite index normal subgroups $N_n\trianglelefteq G$ such that for every finite generating subset $S\subseteq G$, the sequence of finite Cayley graphs $(G/N_n, S)$ does not coarsely embed into any $L^p$-space for $1\leqslant p<\infty$ (moreover, into any uniformly curved Banach space), and yet admits no weakly embedded expander. The reaso… ▽ More We exhibit a finitely generated group $G$ and a sequence of finite index normal subgroups $N_n\trianglelefteq G$ such that for every finite generating subset $S\subseteq G$, the sequence of finite Cayley graphs $(G/N_n, S)$ does not coarsely embed into any $L^p$-space for $1\leqslant p<\infty$ (moreover, into any uniformly curved Banach space), and yet admits no weakly embedded expander. The reason why our examples do not coarsely embed is a new phenomenon called relative expansion, which we define in terms of Poincaré inequalities. △ Less

Submitted 3 May, 2016; v1 submitted 6 February, 2014; originally announced February 2014.

Comments: 24 pages, new title, Theorem 1.3 is new, more details in proofs of Lemma 2.5 and Theorem 7.3, final revised version

MSC Class: 46B85; 20F69; 22D10; 20E22

Journal ref: Geometric and Functional Analysis (GAFA), 25 (2015), no. 2, 317-341

Growth Tight Actions

Authors: Goulnara N. Arzhantseva, Christopher H. Cashen, Jing Tao

Abstract: We introduce and systematically study the concept of a growth tight action. This generalizes growth tightness for word metrics as initiated by Grigorchuk and de la Harpe. Given a finitely generated, non-elementary group $G$ acting on a $G$--space $\mathcal{X}$, we prove that if $G$ contains a strongly contracting element and if $G$ is not too badly distorted in $\mathcal{X}$, then the action of… ▽ More We introduce and systematically study the concept of a growth tight action. This generalizes growth tightness for word metrics as initiated by Grigorchuk and de la Harpe. Given a finitely generated, non-elementary group $G$ acting on a $G$--space $\mathcal{X}$, we prove that if $G$ contains a strongly contracting element and if $G$ is not too badly distorted in $\mathcal{X}$, then the action of $G$ on $\mathcal{X}$ is a growth tight action. It follows that if $\mathcal{X}$ is a cocompact, relatively hyperbolic $G$--space, then the action of $G$ on $\mathcal{X}$ is a growth tight action. This generalizes all previously known results for growth tightness of cocompact actions: every already known example of a group that admits a growth tight action and has some infinite, infinite index normal subgroups is relatively hyperbolic, and, conversely, relatively hyperbolic groups admit growth tight actions. This also allows us to prove that many CAT(0) groups, including flip-graph-manifold groups and many Right Angled Artin Groups, and snowflake groups admit cocompact, growth tight actions. These provide first examples of non-relatively hyperbolic groups admitting interesting growth tight actions. Our main result applies as well to cusp uniform actions on hyperbolic spaces and to the action of the mapping class group on Teichmueller space with the Teichmueller metric. Towards the proof of our main result, we give equivalent characterizations of strongly contracting elements and produce new examples of group actions with strongly contracting elements. △ Less

Submitted 9 March, 2015; v1 submitted 2 January, 2014; originally announced January 2014.

Comments: 29 pages, 4 figures v2 added references v3 40 pages, 6 figures, expanded preliminary sections to make paper more self-contained, other minor improvements v4 updated bibliography, to appear in Pacific Journal of Mathematics

MSC Class: 20F67; 20F65; 37C35; 20E06; 57Mxx

Journal ref: Pacific J. Math. 278 (2015) 1-49

On approximation properties of semidirect products of groups

Authors: Goulnara Arzhantseva, Światosław R. Gal

Abstract: Let R be a class of groups closed under taking semidirect products with finite kernel and fully residually R-groups. We prove that R contains all R-by-{finitely generated residually finite} groups. It follows that a semidirect product of a finitely generated residually finite group with a surjunctive group is surjunctive. This remained unknown even for direct products of a surjunctive group with t… ▽ More Let R be a class of groups closed under taking semidirect products with finite kernel and fully residually R-groups. We prove that R contains all R-by-{finitely generated residually finite} groups. It follows that a semidirect product of a finitely generated residually finite group with a surjunctive group is surjunctive. This remained unknown even for direct products of a surjunctive group with the integers Z. △ Less

Submitted 27 August, 2020; v1 submitted 30 December, 2013; originally announced December 2013.

Comments: 6 pages, no figures

MSC Class: 20E26; 20E22; 20E25; 37B05; 37B10

Journal ref: Annales Mathématiques Blaise Pascal, Tome 27 (2020) no. 1, pp. 125-130

Linear sofic groups and algebras

Authors: Goulnara Arzhantseva, Liviu Paunescu

Abstract: We introduce and systematically study linear sofic groups and linear sofic algebras. This generalizes amenable and LEF groups and algebras. We prove that a group is linear sofic if and only if its group algebra is linear sofic. We show that linear soficity for groups is a priori weaker than soficity but stronger than weak soficity. We also provide an alternative proof of a result of Elek and Szabo… ▽ More We introduce and systematically study linear sofic groups and linear sofic algebras. This generalizes amenable and LEF groups and algebras. We prove that a group is linear sofic if and only if its group algebra is linear sofic. We show that linear soficity for groups is a priori weaker than soficity but stronger than weak soficity. We also provide an alternative proof of a result of Elek and Szabo which states that sofic groups satisfy Kaplansky's direct finiteness conjecture. △ Less

Submitted 30 December, 2012; originally announced December 2012.

Comments: 34 pages

MSC Class: 20E26; 20C07; 16N99; 03C20; 20F70

Geometry of infinitely presented small cancellation groups, Rapid Decay and quasi-homomorphisms

Authors: Goulnara Arzhantseva, Cornelia Drutu

Abstract: We study the geometry of infinitely presented groups satisfying the small cancelation condition C'(1/8), and define a standard decomposition (called the criss-cross decomposition) for the elements of such groups. We use it to prove the Rapid Decay property for groups with the stronger small cancelation property C'(1/10). As a consequence, the Metric Approximation Property holds for the reduced C*-… ▽ More We study the geometry of infinitely presented groups satisfying the small cancelation condition C'(1/8), and define a standard decomposition (called the criss-cross decomposition) for the elements of such groups. We use it to prove the Rapid Decay property for groups with the stronger small cancelation property C'(1/10). As a consequence, the Metric Approximation Property holds for the reduced C*-algebra and for the Fourier algebra of such groups. Our method further implies that the kernel of the comparison map between the bounded and the usual group cohomology in degree 2 has a basis of power continuum. The present work can be viewed as a first non-trivial step towards a systematic investigation of direct limits of hyperbolic groups. △ Less

Submitted 26 December, 2012; v1 submitted 20 December, 2012; originally announced December 2012.

Comments: 40 pages, 8 figures

Infinitely presented small cancellation groups have the Haagerup property

Authors: Goulnara Arzhantseva, Damian Osajda

Abstract: 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 a… ▽ More 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. △ Less

Submitted 9 January, 2015; v1 submitted 19 December, 2012; originally announced December 2012.

Comments: 16 pages, minor modifications to v3

MSC Class: 20F06; 20F67; 46B85; 46L80

Isomorphism versus commensurability for a class of finitely presented groups

Authors: Goulnara Arzhantseva, Jean-Francois Lafont, Ashot Minasyan

Abstract: We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability problem is solvable but the isomorphism problem is unsolvable. These are first examples of such a contrastive complexity behaviour with respect to the isomorphism p… ▽ More We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability problem is solvable but the isomorphism problem is unsolvable. These are first examples of such a contrastive complexity behaviour with respect to the isomorphism problem. △ Less

Submitted 10 July, 2012; v1 submitted 10 September, 2011; originally announced September 2011.

Comments: v. 2: 15 pages, a new section (5) has been added

MSC Class: 20F10 (Primary) 20F69; 03D40; 20F65 (Secondary)

Journal ref: J. Group Theory 17 (2014), pgs. 361-378

Coarse non-amenability and coarse embeddings

Authors: Goulnara Arzhantseva, Erik Guentner, Jan Spakula

Abstract: We construct the first example of a coarsely non-amenable (= without Guoliang Yu's property A) metric space with bounded geometry which coarsely embeds into a Hilbert space. We construct the first example of a coarsely non-amenable (= without Guoliang Yu's property A) metric space with bounded geometry which coarsely embeds into a Hilbert space. △ Less

Submitted 1 November, 2011; v1 submitted 10 January, 2011; originally announced January 2011.

Comments: Revised version, accepted for publication in Geometric and Functional Analysis (GAFA); 15 pages, 4 figures

MSC Class: 20F69 (Primary) 43A07; 05C25; 20F65; 46T99 (Secondary)

Coarse non-amenability and covers with small eigenvalues

Authors: Goulnara Arzhantseva, Erik Guentner

Abstract: Given a closed Riemannian manifold M and a (virtual) epimorphism from the fundamental group of M onto a free group of rank 2, we construct a tower of finite sheeted regular covers {M_n}_{n=0}^{\infty} of M such that the first non-zero eigenvalues λ_1(M_n) of the Laplacian converge to zero as n tends to infinity. This is the first example of such a tower which is not obtainable up to uniform quasi-… ▽ More Given a closed Riemannian manifold M and a (virtual) epimorphism from the fundamental group of M onto a free group of rank 2, we construct a tower of finite sheeted regular covers {M_n}_{n=0}^{\infty} of M such that the first non-zero eigenvalues λ_1(M_n) of the Laplacian converge to zero as n tends to infinity. This is the first example of such a tower which is not obtainable up to uniform quasi-isometry (or even up to uniform coarse equivalence) by the previously known methods where the fundamental group of M is supposed to surject onto an amenable group. △ Less

Submitted 10 September, 2010; originally announced September 2010.

Comments: 7 pages

MSC Class: 20F65 (Primary) 20F69; 58G25; 20F34 (Secondary)

Infinite groups with fixed point properties

Authors: G. Arzhantseva, M. R. Bridson, T. Januszkiewicz, I. J. Leary, A. Minasyan, J. Swiatkowski

Abstract: We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first examples of infinite finitely generated groups $Q$ with the property that for any action of $Q$ on any $X\in \mathcal{X}_{ac}$, there is a global fixed point. More… ▽ More We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first examples of infinite finitely generated groups $Q$ with the property that for any action of $Q$ on any $X\in \mathcal{X}_{ac}$, there is a global fixed point. Moreover, $Q$ may be chosen to be simple and to have Kazhdan's property (T). We construct a finitely presented infinite group $P$ that admits no non-trivial action by diffeomorphisms on any smooth manifold in $\mathcal{X}_{ac}$. In building $Q$, we exhibit new families of hyperbolic groups: for each $n\geq 1$ and each prime $p$, we construct a non-elementary hyperbolic group $G_{n,p}$ which has a generating set of size $n+2$, any proper subset of which generates a finite $p$-group. △ Less

Submitted 20 April, 2009; v1 submitted 27 November, 2007; originally announced November 2007.

Comments: Version 2: 29 pages. This is the final published version of the article

MSC Class: 20F65; 20F67; 57Sxx

Journal ref: Geom. Topol. 13 (2009) 1229-1263

Compression functions of uniform embeddings of groups into Hilbert and Banach spaces

Authors: Goulnara Arzhantseva, Cornelia Druţu, Mark Sapir

Abstract: We construct finitely generated groups with arbitrary prescribed Hilbert space compression αfrom the interval [0,1]. For a large class of Banach spaces E (including all uniformly convex Banach spaces), the E-compression of these groups coincides with their Hilbert space compression. Moreover, the groups that we construct have asymptotic dimension at most 3, hence they are exact. In particular, t… ▽ More We construct finitely generated groups with arbitrary prescribed Hilbert space compression αfrom the interval [0,1]. For a large class of Banach spaces E (including all uniformly convex Banach spaces), the E-compression of these groups coincides with their Hilbert space compression. Moreover, the groups that we construct have asymptotic dimension at most 3, hence they are exact. In particular, the first examples of groups that are uniformly embeddable into a Hilbert space (respectively, exact, of finite asymptotic dimension) with Hilbert space compression 0 are given. These groups are also the first examples of groups with uniformly convex Banach space compression 0. △ Less

Submitted 29 September, 2008; v1 submitted 13 December, 2006; originally announced December 2006.

Comments: 21 pages; version 3: The final version, accepted by Crelle; version 2: corrected misprints, added references, the group has asdim at most 2, not at most 3 as in the first version (thanks to A. Dranishnikov); version 3: took into account referee remarks, added references. the paper is accepted in Crelle

MSC Class: 20F69; 20F65; 20E06; 46B07

Construction of elements in the closure of Grigorchuk group

Authors: Goulnara Arzhantseva, Zoran Sunic

Abstract: We describe constraints that need to be satisfied ``near the top'' of the portraits of the elements in Grigorchuk group. These constraints, if satisfied by the portraits of all sections of some binary tree automorphism, guarantee that this automotphism belongs to the closure of Grigorchuk group in the pro-finite group of binary tree automorphisms. The constraints may be viewed as an effective ve… ▽ More We describe constraints that need to be satisfied ``near the top'' of the portraits of the elements in Grigorchuk group. These constraints, if satisfied by the portraits of all sections of some binary tree automorphism, guarantee that this automotphism belongs to the closure of Grigorchuk group in the pro-finite group of binary tree automorphisms. The constraints may be viewed as an effective version of a more conceptual description given earlier by Grigorchuk. △ Less

Submitted 31 July, 2006; v1 submitted 30 July, 2006; originally announced July 2006.

MSC Class: 20E08; 20E18

Relatively Hyperbolic Groups are $C^*$-simple

Authors: G. Arzhantseva, A. Minasyan

Abstract: We characterize relatively hyperbolic groups whose reduced $C^*$-algebra is simple as those, which have no non-trivial finite normal subgroups. We characterize relatively hyperbolic groups whose reduced $C^*$-algebra is simple as those, which have no non-trivial finite normal subgroups. △ Less

Submitted 13 March, 2006; originally announced March 2006.

Comments: 7 pages

MSC Class: Primary 20F65; Secondary 22D25

Journal ref: J. of Funct. Analysis 243 (2007), No. 1, pp. 345-351.

The SQ-universality and residual properties of relatively hyperbolic groups

Authors: G. Arzhantseva, A. Minasyan, D. Osin

Abstract: We study residual properties of relatively hyperbolic groups. In particular, we show that if a group $G$ is non-elementary and hyperbolic relative to a collection of proper subgroups, then $G$ is SQ-universal. We study residual properties of relatively hyperbolic groups. In particular, we show that if a group $G$ is non-elementary and hyperbolic relative to a collection of proper subgroups, then $G$ is SQ-universal. △ Less

Submitted 14 September, 2007; v1 submitted 24 January, 2006; originally announced January 2006.

Comments: 14 pages, no figures. Final version: a reference to T. Delzant added

MSC Class: 20F65; 20F67

Journal ref: J. of Algebra 315 (2007), No. 1, pp. 165-177

The true prosoluble completion of a group: examples and open problems

Authors: Goulnara Arzhantseva, Pierre de la Harpe, Delaram Kahrobaei

Abstract: The true prosoluble completion $P\Cal S (Γ)$ of a group $Γ$ is the inverse limit of the projective system of soluble quotients of $Γ$. Our purpose is to describe examples and to point out some natural open problems. We discuss a question of Grothendieck for profinite completions and its analogue for true prosoluble and true pronilpotent completions. 1. Introduction. 2. Completion with respec… ▽ More The true prosoluble completion $P\Cal S (Γ)$ of a group $Γ$ is the inverse limit of the projective system of soluble quotients of $Γ$. Our purpose is to describe examples and to point out some natural open problems. We discuss a question of Grothendieck for profinite completions and its analogue for true prosoluble and true pronilpotent completions. 1. Introduction. 2. Completion with respect to a directed set of normal subgroups. 3. Universal property. 4. Examples of directed sets of normal subgroups. 5. True prosoluble completions. 6. Examples. 7. On the true prosoluble and the true pronilpotent analogues of Grothendieck's problem. △ Less

Submitted 7 May, 2006; v1 submitted 12 December, 2005; originally announced December 2005.

Comments: 15 pages; A revised version: Proposition 1 was wrong in the first version of the paper

MSC Class: 20E18; 20F14; 20F22

Metrics on diagram groups and uniform embeddings in a Hilbert space

Authors: Goulnara Arzhantseva, Victor Guba, Mark Sapir

Abstract: We give first examples of finitely generated groups having an intermediate, with values in (0,1), Hilbert space compression (which is a numerical parameter measuring the distortion required to embed a metric space into Hilbert space). These groups include certain diagram groups. In particular, we show that the Hilbert space compression of Richard Thompson's group $F$ is equal to 1/2, the Hilbert… ▽ More We give first examples of finitely generated groups having an intermediate, with values in (0,1), Hilbert space compression (which is a numerical parameter measuring the distortion required to embed a metric space into Hilbert space). These groups include certain diagram groups. In particular, we show that the Hilbert space compression of Richard Thompson's group $F$ is equal to 1/2, the Hilbert space compression of the restricted wreath product $Z\wr Z$ is between 1/2 and 3/4, and the Hilbert space compression of $Z\wr (Z\wr Z)$ is between 0 and 1/2. In general, we find a relationship between the growth of $H$ and the Hilbert space compression of $Z\wr H$. △ Less

Submitted 19 April, 2005; v1 submitted 26 November, 2004; originally announced November 2004.

Comments: 20 pages, Theorem 1.13 and Lemma 3.7. are new

MSC Class: 20F65

Growth rates of amenable groups

Authors: Goulnara Arzhantseva, Victor Guba, Luc Guyot

Abstract: Let $F_m$ be a free group with $m$ generators and let $R$ be its normal subgroup such that $F_m/R$ projects onto $\zz$. We give a lower bound for the growth rate of the group $F_m/R'$ (where $R'$ is the derived subgroup of $R$) in terms of the length $ρ=ρ(R)$ of the shortest nontrivial relation in $R$. It follows that the growth rate of $F_m/R'$ approaches $2m-1$ as $ρ$ approaches infinity. This… ▽ More Let $F_m$ be a free group with $m$ generators and let $R$ be its normal subgroup such that $F_m/R$ projects onto $\zz$. We give a lower bound for the growth rate of the group $F_m/R'$ (where $R'$ is the derived subgroup of $R$) in terms of the length $ρ=ρ(R)$ of the shortest nontrivial relation in $R$. It follows that the growth rate of $F_m/R'$ approaches $2m-1$ as $ρ$ approaches infinity. This implies that the growth rate of an $m$-generated amenable group can be arbitrarily close to the maximum value $2m-1$. This answers an open question by P. de la Harpe. In fact we prove that such groups can be found already in the class of abelian-by-nilpotent groups as well as in the class of finite extensions of metabelian groups. △ Less

Submitted 15 June, 2004; v1 submitted 1 June, 2004; originally announced June 2004.

Comments: 6 pages

MSC Class: 20F65; 05C25