Showing 1–13 of 13 results for author: Sapir, M V

Algorithmic problems in groups with quadratic Dehn function

Authors: A. Yu. Olshanskii, M. V. Sapir

Abstract: We construct and study finitely presented groups with quadratic Dehn function (QD-groups) and present the following applications of the method developed in our recent papers. (1) The isomorphism problem is undecidable in the class of QD-groups. (2) For every recursive function $f$, there is a QD-group $G$ containing a finitely presented subgroup $H$ whose Dehn function grows faster than $f$. (3) T… ▽ More We construct and study finitely presented groups with quadratic Dehn function (QD-groups) and present the following applications of the method developed in our recent papers. (1) The isomorphism problem is undecidable in the class of QD-groups. (2) For every recursive function $f$, there is a QD-group $G$ containing a finitely presented subgroup $H$ whose Dehn function grows faster than $f$. (3) There exists a group with undecidable conjugacy problem but decidable power conjugacy problem; this group is QD. △ Less

Submitted 18 December, 2020; originally announced December 2020.

Comments: 45 pages. arXiv admin note: text overlap with arXiv:1809.00280

MSC Class: 20F05; 20F06; 20F65; 03D10

Conjugacy problem in groups with quadratic Dehn function

Authors: Alexandr Yu. Olshanskii, Mark V. Sapir

Abstract: We construct a finitely presented group with quadratic Dehn function and undecidable conjugacy problem. This solves E. Rips' problem formulated in 1992. v2: misprints corrected. v3: lemmas 4.7, 4.10 corrected, more misprints fixed. We construct a finitely presented group with quadratic Dehn function and undecidable conjugacy problem. This solves E. Rips' problem formulated in 1992. v2: misprints corrected. v3: lemmas 4.7, 4.10 corrected, more misprints fixed. △ Less

Submitted 24 October, 2019; v1 submitted 1 September, 2018; originally announced September 2018.

Comments: 83 pages. arXiv admin note: text overlap with arXiv:1710.00550

On flat submaps of maps of non-positive curvature

Authors: A. Yu. Olshanskii, M. V. Sapir

Abstract: We prove that for every $r>0$ if a non-positively curved $(p,q)$-map $M$ contains no flat submaps of radius $r$, then the area of $M$ does not exceed $Crn$ for some constant $C$. This strengthens a theorem of Ivanov and Schupp. We show that an infinite $(p,q)$-map which tessellates the plane is quasi-isometric to the Euclidean plane if and only if the map contains only finitely many non-flat verti… ▽ More We prove that for every $r>0$ if a non-positively curved $(p,q)$-map $M$ contains no flat submaps of radius $r$, then the area of $M$ does not exceed $Crn$ for some constant $C$. This strengthens a theorem of Ivanov and Schupp. We show that an infinite $(p,q)$-map which tessellates the plane is quasi-isometric to the Euclidean plane if and only if the map contains only finitely many non-flat vertices and faces. We also generalize Ivanov and Schupp's result to a much larger class of maps, namely to maps with angle functions. △ Less

Submitted 27 February, 2017; originally announced February 2017.

Comments: v1: 25 pages

On $k$-free-like groups

Authors: A. Yu. Olshanskii, M. V. Sapir

Abstract: A $k$-free like group is a $k$-generated group $G$ with a sequence of $k$-element generating sets $Z_n$ such that the girth of $G$ relative to $Z_n$ is unbounded and the Cheeger constant of $G$ relative to $Z_n$ is bounded away from 0. By a recent result of Benjamini-Nachmias-Peres, this implies that the critical bond percolation probability of the Cayley graph of $G$ relative to $Z_n$ tends to… ▽ More A $k$-free like group is a $k$-generated group $G$ with a sequence of $k$-element generating sets $Z_n$ such that the girth of $G$ relative to $Z_n$ is unbounded and the Cheeger constant of $G$ relative to $Z_n$ is bounded away from 0. By a recent result of Benjamini-Nachmias-Peres, this implies that the critical bond percolation probability of the Cayley graph of $G$ relative to $Z_n$ tends to $1/(2k-1)$ as $n\to \infty$. Answering a question of Benjamini, we construct many non-free groups that are $k$-free like for all sufficiently large $k$. △ Less

Submitted 12 November, 2008; v1 submitted 10 November, 2008; originally announced November 2008.

Comments: 7 pages

Some group theory problems

Authors: M. V. Sapir

Abstract: This is a survey of some problems in geometric group theory which I find interesting. The problems are from different areas of group theory. Each section is devoted to problems in one area. It contains an introduction where I give some necessary definitions and motivations, problems and some discussions of them. For each problem, I try to mention the author. If the author is not given, the probl… ▽ More This is a survey of some problems in geometric group theory which I find interesting. The problems are from different areas of group theory. Each section is devoted to problems in one area. It contains an introduction where I give some necessary definitions and motivations, problems and some discussions of them. For each problem, I try to mention the author. If the author is not given, the problem, to the best of my knowledge, was formulated by me first. △ Less

Submitted 22 April, 2007; originally announced April 2007.

Comments: 25 pages

A 2-generated 2-related group with no non-trivial finite factors

Authors: A. Yu. Ol'shanskii, M. V. Sapir

Abstract: We construct a 2-generated 2-related group without non-trivial finite factors. That answers a question of J. Button. We construct a 2-generated 2-related group without non-trivial finite factors. That answers a question of J. Button. △ Less

Submitted 22 April, 2007; originally announced April 2007.

Comments: 3 pages

Lacunary hyperbolic groups

Authors: A. Yu. Olshanskii, D. V. Osin, M. V. Sapir

Abstract: We call a finitely generated group lacunary hyperbolic if one of its asymptotic cones is an R-tree. We characterize lacunary hyperbolic groups as direct limits of Gromov hyperbolic groups satisfying certain restrictions on the hyperbolicity constants and injectivity radii. Using central extensions of lacunary hyperbolic groups, we solve a problem of Gromov by constructing a group whose asymptoti… ▽ More We call a finitely generated group lacunary hyperbolic if one of its asymptotic cones is an R-tree. We characterize lacunary hyperbolic groups as direct limits of Gromov hyperbolic groups satisfying certain restrictions on the hyperbolicity constants and injectivity radii. Using central extensions of lacunary hyperbolic groups, we solve a problem of Gromov by constructing a group whose asymptotic cone C has countable but non-trivial fundamental group (in fact C is homeomorphic to the direct product of a tree and a circle, so π_1(C)=Z). We show that the class of lacunary hyperbolic groups contains elementary amenable groups, groups with all proper subgroups cyclic, and torsion groups. This allows us to solve two problems of Drutu and Sapir, and a problem of Kleiner about groups with cut-points in their asymptotic cones. We also construct a finitely generated group whose divergence function is not linear but is arbitrarily close to being linear. This answers a question of Behrstock. △ Less

Submitted 29 April, 2009; v1 submitted 15 January, 2007; originally announced January 2007.

Comments: 69 pages; v2: added an Appendix by M. Kapovich and B. Kleiner; v3 accepted in Geometry and Topology, misprints fixed

A finitely presented group with two non-homeomorphic asymptotic cones

Authors: A. Yu. Olshanskii, M. V. Sapir

Abstract: We give an example of a finitely presented group $G$ with two non-$π_1$-equivalent asymptotic cones. We give an example of a finitely presented group $G$ with two non-$π_1$-equivalent asymptotic cones. △ Less

Submitted 17 April, 2005; originally announced April 2005.

Comments: 6 pages

Subgroups of finitely presented groups with solvable conjugacy problem

Authors: A. Yu. Olshanskii, M. V. Sapir

Abstract: We prove that every countable group with solvable power problem embeds into a finitely presented 2-generated group with solvable power and conjugacy problems. We prove that every countable group with solvable power problem embeds into a finitely presented 2-generated group with solvable power and conjugacy problems. △ Less

Submitted 17 May, 2004; originally announced May 2004.

Comments: 8 pages

MSC Class: 20E07; 20F06

Diagram groups and directed 2-complexes: homotopy and homology

Authors: V. S. Guba, M. V. Sapir

Abstract: We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of the previous results from this point of view. In particular, we show that the so… ▽ More We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of the previous results from this point of view. In particular, we show that the so called rigidity of the R.Thompson's group $F$ and some other groups is similar to the flat torus theorem. We find several finitely presented diagram groups (even of type F_\infty) each of which contains all countable diagram groups. We show how to compute minimal presentations and homology groups of a large class of diagram groups. We show that the Poincare series of these groups are rational functions. We prove that all integer homology groups of all diagram groups are free Abelian. △ Less

Submitted 10 May, 2003; v1 submitted 20 January, 2003; originally announced January 2003.

Comments: 42 pages

The Conjugacy Problem and Higman Embeddings

Authors: A. Yu. Olshanskii, M. V. Sapir

Abstract: For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable conjugacy problem. Moreover G and H have the same r.e. Turing degrees of the conjugacy problem. This solves a problem by D. Collins. For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable conjugacy problem. Moreover G and H have the same r.e. Turing degrees of the conjugacy problem. This solves a problem by D. Collins. △ Less

Submitted 16 December, 2002; originally announced December 2002.

Non-amenable finitely presented torsion-by-cyclic groups

Authors: A. Yu. Olshanskii, M. V. Sapir

Abstract: We construct a finitely presented non-amenable group without free non-cyclic subgroups thus providing a finitely presented counterexample to von Neumann's problem. Our group is an extension of a group of finite exponent n >> 1 by a cyclic group, so it satisfies the identity [x,y]^n = 1. We construct a finitely presented non-amenable group without free non-cyclic subgroups thus providing a finitely presented counterexample to von Neumann's problem. Our group is an extension of a group of finite exponent n >> 1 by a cyclic group, so it satisfies the identity [x,y]^n = 1. △ Less

Submitted 29 August, 2002; originally announced August 2002.

MSC Class: 20F05; 20F50; 20F65

Embeddings of relatively free groups into finitely presented groups

Authors: A. Yu. Olshanskii, M. V. Sapir

Abstract: We construct easy embeddings of relatively free groups (say the free Burnside group, the free solvable group) into finitely presented groups. We introduce a concept of verbal isoperimetric function of a group variety. We prove that if the verbal Dehn function of a relatively free group is bounded by a polynomial then the group can be embedded quasi-isometrically into a finitely presented group w… ▽ More We construct easy embeddings of relatively free groups (say the free Burnside group, the free solvable group) into finitely presented groups. We introduce a concept of verbal isoperimetric function of a group variety. We prove that if the verbal Dehn function of a relatively free group is bounded by a polynomial then the group can be embedded quasi-isometrically into a finitely presented group with polynomial isoperimetric function. We also construct an easy embedding of any Baumslag-Solitar solvable group into a finitely presented group with polynomial Dehn function. △ Less

Submitted 11 May, 2000; originally announced May 2000.