Searcharxiv⌕ Search

arXiv subjects

M. V. Sapir

Publications and source records attributed to M. V. Sapir.

12 recordsLinked to original sources
arXiv2020

Algorithmic problems in groups with quadratic Dehn function

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.

math.GR↗
arXiv2017

On flat submaps of maps of non-positive curvature

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.

math.GR↗
arXiv2009

Lacunary hyperbolic groups

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.

math.GR↗
arXiv2008

On $k$-free-like groups

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$.

math.GR↗
arXiv2007

Some group theory problems

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.

math.GR↗
arXiv2003

Diagram groups and directed 2-complexes: homotopy and homology

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.

math.GR↗
arXiv2002

The Conjugacy Problem and Higman Embeddings

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.

math.GR↗
arXiv2002

Non-amenable finitely presented torsion-by-cyclic groups

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.

math.GR↗
arXiv2000

Embeddings of relatively free groups into finitely presented groups

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.

math.GR↗