Hello, this is beta version of diophantus. If you want to report about a mistake, please, write to hello@diophantus.org

Minasyan Ashot | Minasyan V. N. | Minasyan A. | Minasyan Edgar | Minasyan Arshak | Minasyan Gevorg M.

04 Jun 2020
math.GR
arxiv.org/abs/2006.02727

A group $G$ is invariably generated (IG) if there is a subset $S \subseteq G$ such that for every subset $S' \subseteq G$, obtained from $S$ by replacing each element with a conjugate, $S'$ generates $G$. $G$ is finitely invariably generated (FIG) if, in addition, one can choose such a subset $S$ to be finite. In this note we construct a FIG group $G$ with an index $2$ subgroup $N \lhd G$ such that $N$ is not IG. This shows that neither property IG nor FIG is stable under passing to subgroups of finite index, answering questions of Wiegold and Kantor, Lubotzky, Shalev. We also produce the first examples of finitely generated IG groups that are not FIG, answering a question of Cox.

04 Nov 2019
math.GR math.LO
arxiv.org/abs/1911.01137

We use basic tools of descriptive set theory to prove that a closed set $\mathcal S$ of marked groups has $2^{\aleph_0}$ quasi-isometry classes provided every non-empty open subset of $\mathcal S$ contains at least two non-quasi-isometric groups. It follows that every perfect set of marked groups having a dense subset of finitely presented groups contains $2^{\aleph_0}$ quasi-isometry classes. These results account for most known constructions of continuous families of non-quasi-isometric finitely generated groups. They can also be used to prove the existence of $2^{\aleph_0}$ quasi-isometry classes of finitely generated groups having interesting algebraic, geometric, or model-theoretic properties.

08 Jul 2019
math.GR
arxiv.org/abs/1907.03515

We show that the commensurator of any quasiconvex abelian subgroup in a biautomatic group is small, in the sense that it has finite image in the abstract commensurator of the subgroup. Using this criterion we exhibit groups that are CAT(0) but not biautomatic. These groups also resolve a number of other questions concerning CAT(0) groups.

05 Oct 2018
math.GR
arxiv.org/abs/1810.02654

If $G$ is a group, a virtual retract of $G$ is a subgroup which is a retract of a finite index subgroup. Most of the paper focuses on two group properties: property (LR), that all finitely generated subgroups are virtual retracts, and property (VRC), that all cyclic subgroups are virtual retracts. We study the permanence of these properties under commensurability, amalgams over retracts, graph products and wreath products. In particular, we show that (VRC) is stable under passing to finite index overgroups, while (LR) is not. The question whether all finitely generated virtually free groups satisfy (LR) motivates the remaining part of the paper, studying virtual free factors of such groups. We give a simple criterion characterizing when a finitely generated subgroup of a virtually free group is a free factor of a finite index subgroup. We apply this criterion to settle a conjecture of Brunner and Burns.

11 Aug 2016
math.GR
arxiv.org/abs/1608.03482

In this paper we study conjugacy separability of subdirect products of two free (or hyperbolic) groups. We establish necessary and sufficient criteria and apply them to fibre products to produce a finitely presented group $G_1$ in which all finite index subgroups are conjugacy separable, but which has an index $2$ overgroup that is not conjugacy separable. Conversely, we construct a finitely presented group $G_2$ which has a non-conjugacy separable subgroup of index $2$ such that every finite index normal overgroup of $G_2$ is conjugacy separable. The normality of the overgroup is essential in the last example, as such a group $G_2$ will always posses an index $3$ overgroup that is not conjugacy separable. Finally, we characterize $p$-conjugacy separable subdirect products of two free groups, where $p$ is a prime. We show that fibre products provide a natural correspondence between residually finite $p$-groups and $p$-conjugacy separable subdirect products of two non-abelian free groups. As a consequence, we deduce that the open question about the existence of an infinite finitely presented residually finite $p$-group is equivalent to the question about the existence of a finitely generated $p$-conjugacy separable full subdirect product of infinite index in the direct product of two free groups.

02 Apr 2015
math.GR
arxiv.org/abs/1504.00613

We prove that any word hyperbolic group which is virtually compact special (in the sense of Haglund and Wise) is conjugacy separable. As a consequence we deduce that all word hyperbolic Coxeter groups and many classical small cancellation groups are conjugacy separable. To get the main result we establish a new criterion for showing that elements of prime order are conjugacy distinguished. This criterion is of independent interest; its proof is based on a combination of discrete and profinite (co)homology theories.

10 Jul 2014
math.GR
arxiv.org/abs/1407.2820

For each natural number $d$ we construct a $3$-generated group $H_d$, which is a subdirect product of free groups, such that the cohomological dimension of $H_d$ is $d$. Given a group $F$ and a normal subgroup $N \lhd F$ we prove that any right angled Artin group containing the special HNN-extension of $F$ with respect to $N$ must also contain $F/N$. We apply this to construct, for every $d \in \mathbb{N}$, a $4$-generated group $G_d$, embeddable into a right angled Artin group, such that the cohomological dimension of $G_d$ is $2$ but the cohomological dimension of any right angled Artin group, containing $G_d$, is at least $d$. These examples are used to show the non-existence of certain "universal" right angled Artin groups. We also investigate finitely presented subgroups of direct products of limit groups. In particular we show that for every $n\in \mathbb{N}$ there exists $\delta(n) \in \mathbb{N}$ such that any $n$-generated finitely presented subgroup of a direct product of finitely many free groups embeds into the $\delta(n)$-th direct power of the free group of rank $2$. As another corollary we derive that any $n$-generated finitely presented residually free group embeds into the direct product of at most $\delta(n)$ limit groups.

05 Mar 2014
math.GR
arxiv.org/abs/1403.1149

We construct the first example of a finitely generated group which has Serre's property (FA) (i.e., whenever it acts on a simplicial tree it fixes a vertex), but admits a fixed point-free action on an $\mathbb{R}$-tree with finite arc stabilizers. We also give a short and elementary construction of finitely generated groups that have property (FA) but do not have (F$\mathbb{R}$).

31 Oct 2013
math.GR math.GT
arxiv.org/abs/1310.8605

We prove that the outer automorphism group $Out(G)$ is residually finite when the group $G$ is virtually compact special (in the sense of Haglund and Wise) or when $G$ is isomorphic to the fundamental group of some compact $3$-manifold. To prove these results we characterize commensurating endomorphisms of acylindrically hyperbolic groups. An endomorphism $\phi$ of a group $G$ is said to be commensurating, if for every $g \in G$ some non-zero power of $\phi(g)$ is conjugate to a non-zero power of $g$. Given an acylindrically hyperbolic group $G$, we show that any commensurating endomorphism of $G$ is inner modulo a small perturbation. This generalizes a theorem of Minasyan and Osin, which provided a similar statement in the case when $G$ is relatively hyperbolic. We then use this result to study pointwise inner and normal endomorphisms of acylindrically hyperbolic groups.

23 Oct 2013
math.GR math.GT
arxiv.org/abs/1310.6289

We provide new examples of acylindrically hyperbolic groups arising from actions on simplicial trees. In particular, we consider amalgamated products and HNN-extensions, 1-relator groups, automorphism groups of polynomial algebras, 3-manifold groups and graph products. Acylindrical hyperbolicity is then used to obtain some results about the algebraic structure, analytic properties and measure equivalence rigidity of groups from these classes.