Source author record

Goulnara Arzhantseva

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.FA math.MG math.LO math.CO math.DS math.GT math.RA

Catalog footprint

Research overview

12works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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

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.

preprint2020arXiv

On approximation properties of semidirect products of groups

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.

preprint2020arXiv

Quantifying metric approximations of discrete groups

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.

preprint2016arXiv

Relative expanders

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.

preprint2015arXiv

Almost commuting permutations are near commuting 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.

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.

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.

preprint2012arXiv

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

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.

preprint2012arXiv

Isomorphism versus commensurability for a class of finitely presented groups

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.

preprint2012arXiv

Linear sofic groups and algebras

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.

preprint2011arXiv

Coarse non-amenability and coarse embeddings

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.

preprint2010arXiv

Coarse non-amenability and covers with small eigenvalues

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.

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.

Goulnara Arzhantseva

Research overview

Is this your work?

12 publications

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

On approximation properties of semidirect products of groups

Quantifying metric approximations of discrete groups

Relative expanders

Almost commuting permutations are near commuting permutations

Infinitely presented small cancellation groups have the Haagerup property

Graphical small cancellation groups with the Haagerup property

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

Isomorphism versus commensurability for a class of finitely presented groups

Linear sofic groups and algebras

Coarse non-amenability and coarse embeddings

Coarse non-amenability and covers with small eigenvalues

See the researcher in context

Building this map preview

Goulnara Arzhantseva

Research overview

Is this your work?

12 publications

Logarithmic girth expander graphs of SLn(Fp)SL_n(\mathbb F_p)SLn​(Fp​)

On approximation properties of semidirect products of groups

Quantifying metric approximations of discrete groups

Relative expanders

Almost commuting permutations are near commuting permutations

Infinitely presented small cancellation groups have the Haagerup property

Graphical small cancellation groups with the Haagerup property

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

Isomorphism versus commensurability for a class of finitely presented groups

Linear sofic groups and algebras

Coarse non-amenability and coarse embeddings

Coarse non-amenability and covers with small eigenvalues

See the researcher in context

Building this map preview

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