Bull. Math. Sci. (2011) 1:277-364 DOI 10.1007/s13373-011-0008-1

Asymptotic invariants, complexity of groups and related problems

Mark Sapir

Received: 12 December 2010 / Accepted: 12 March 2011 / Published online: 29 March 2011 © The Author(s) 2011. This article is published with open access at SpringerLink.com

Abstract We survey results about computational complexity of the word problem in groups, Dehn functions of groups and related problems.

Keywords Word problem ■ Conjugacy problem ■ Computational complexity ■ Dehn function ■ Higman embedding ■ Asymptotic cone

Mathematics Subject Classification (2000) Primary 20F65; Secondary 20F69 ■ 20F38 ■ 22F50

Contents

1 Introduction........................................................................................278

2 Algorithmic problems in groups....................................................................279

2.1 Van Kampen diagrams........................................................................280

2.2 The computational complexity and algebraic systems ......................................286

2.3 Diagrams on surfaces, quadratic equations and Poincare conjecture........................293

2.4 Isoperimetric and isodiametric functions of groups..........................................296

2.5 Filling length functions and the space complexity ..........................................298

2.6 Two examples of Dehn functions............................................................299

2.7 Isoperimetric functions of geodesic metric spaces: different area functions................302

2.8 Cayley complexes and metric spaces........................................................304

2.9 The Dehn functions of groups acting on metric spaces......................................305

Communicated by E. Zelmanov.

The research was supported in part by NSF grant DMS-0700811.

M. Sapir (B)

Department of Mathematics, Vanderbilt University, Nashville, TN 37240, USA e-mail: m.sapir@vanderbilt.edu

2.10 Asymptotic cones of metric spaces and groups....................... 306

2.11 Asymptotic cones and Dehn functions ........................... 308

3 Isoperimetric functions of important groups............................ 310

3.1 Hyperbolic groups and asymptotic cones.......................... 310

3.2 Nilpotent groups....................................... 323

3.3 Semihyperbolic groups ................................... 327

4 Dehn functions and algorithmic properties of groups....................... 329

4.1 The zoo of groups with quadratic Dehn functions...................... 329

4.2 The conjugacy problem for groups with quadratic Dehn functions.............. 334

4.3 A description of isoperimetric functions > n4........................ 337

4.4 NP-complete and coNP-complete groups.......................... 338

4.5 The isoperimetric spectrum.................................. 339

4.6 Groups with polynomial-non-recursive and quadratic-non-recursive Dehn functions .... 339

5 Higman embedding ........................................ 341

5.1 A characterization of groups with word problem in NP and other time complexity classes. 341

5.2 The space functions of Turing machines and the filling functions of groups ........ 344

5.3 Collins' problem....................................... 345

5.4 A finitely presented non-amenable group without free subgroups.............. 346

6 Methods: ^-machines and related constructions.......................... 348

6.1 The definition......................................... 348

6.2 The conjugacy problem.................................... 350

6.3 The word problem...................................... 350

6.4 The embedding........................................ 351

7 Open problems........................................... 351

References............................................. 352

Index................................................ 362

1 Introduction

The word and conjugacy problems are the most classical algorithmic problem for groups going back to the work of Dehn and Tietze at the beginning of the twentieth century. These very basic problems are interesting by themselves and because of applications to other areas of mathematics, especially topology (where the analogs of these problems are problems of existence of pointed or free homotopy between loops). There are very many papers devoted to these problems for various classes of groups. Different aspects of these problems are discussed in many books and surveys (see, for example, [24,35,50,72,78,91,137,147,162,181,187,207,208]). Still there are very many new results and ideas that appeared after the last of these surveys was published. We can mention, for example, the construction of finitely presented groups with polynomial-non-recursive and even quadratic-non-recursive Dehn functions [182], finding a nilpotent finitely generated group with Dehn function not of the form na for any a [235], the proof that all groups SLn (Z), n > 5, the R. Thompson group F, extensions of finitely generated free groups by cyclic groups, have quadratic Dehn functions [36,111,239], the description of all FFFL (space) functions of finitely presented groups and the algebraic characterization of groups with PSPACE word problem [183], solving the isomorphism problem for arbitrary hyperbolic groups [65] and many others. Several new methods are used in the proofs of these results and our goal in this survey is to give as gentle as possible an introduction to these results and methods. To this end, we often present not the results in their full generality but their

easier to explain approximations. In this regard, this survey is similar to our survey [137] with Olga Kharlampovich.

Another feature of this survey is the emphasis on "related problems". For example we consider hyperbolic groups (Sect. 3.1). This is the class of groups with the smallest possible (linear) Dehn functions. The word problem in a hyperbolic group can be solved in linear time (in fact by a real time Turing machine [123]). We mention that this class is very large: almost all finitely presented groups are hyperbolic. This leads us to the discussion of various probabilistic models used to clarify the words "almost all", to small cancelation conditions (including coarse small cancel-ation conditions over hyperbolic group), to different ways of constructing hyperbolic groups, Gromov-Olshanskii theory of quotients of hyperbolic groups and various combination theorems, to various monsters constructed as limits of hyperbolic groups and to Gromov's random groups. We also discuss various weakening of the linear isoperimetric inequality including Wenger's result from [234] and Cartan-Hadamard local-to-global type theorems of Gromov [98] and others. Similarly, when we consider groups with quadratic Dehn functions (Sect. 4), we describe the very diverse zoo of examples of these groups, present ideas of the proofs of results from [111,239] and others. Then we notice that all known groups with quadratic Dehn functions (except for automatic groups) are known to have solvable conjugacy problem although the solvability of conjugacy problem was proved by very different methods in different classes of groups. So we formulate and discuss a general problem (due to Rips).

Most of the paper is devoted to the Dehn functions which measure the time complexity of the word problem. One can argue that after the growth function (first introduced by Svarc [226], and later by Milnor [164]) which counts the number of different elements of the group that can be represented by products of generators of length < n, this is possibly the most important and basic geometric invariant of a group.1 We also discuss the space complexity and the recent results of Olshanskii [183]. We present an algebraic characterization of groups with word problem in NP from [22] and groups with word problem in PSPACE from [183], discuss examples of groups with NP-complete [210] and coNP-complete [21] word problems.

Note that we could not survey all aspects of complexity of the word and conjugacy problems in groups. For example we do not talk about the average case complexity, generic solutions of algorithmic problems, search problems and other complexity related issues used in group based cryptography [168]. Fortunately, there is a nice recent survey by Shpilrain [219] where at least some of these topics are discussed.

2 Algorithmic problems in groups

Let X be a set. A word over X is a sequence of elements of X .A group word over X is a sequence of elements of X and their inverses, i.e. symbols x-1, x e X. The length of a word W is denoted by | W|. A group word is called reduced if it does not

1 Dehn functions are possibly even more important than growth functions because the set of Dehn functions is much more diverse than the set of growth functions (see Sect. 4), so Dehn functions capture more information about a group.

contain subwords of the form xx-1 and x-1 x, x e X. Every group word can be made reduced by removing all subwords of these forms. The set F( X) of all reduced group words over X is equipped with the binary operation: the product UV of two reduced group words U, V is the result of reducing the concatenation of U and V. With this operation, the set F (X) turns into a group which is called the free group over X. The identity element of that group is the empty word denoted by 0. For every group G, any map X ^ G extends uniquely to a homomorphism F(X) ^ G: any word is mapped to the product of the images of its letters. In particular, every group G generated by at most | X | elements is ahomomorphic image of F (X) so that the image of X generates G. Let 0 be one of these (surjective) homomorphisms.

The word problem in G (related to 0) is the following

Problem 2.1 (The word problem).

Input: A reduced group word W over X.

Output: "Yes" if 0(W) = 1 in G and "No" otherwise.

Let us also introduce a "close cousin" of the word problem, the conjugacy problem. We say that two elements a, b of a group G are conjugate if there exists an element t (called a conjugator) such that tat-1 = b.

The conjugacy problem in G (related to 0) is the following

Problem 2.2 (The conjugacy problem).

Input: Two reduced group words U, V over X.

Output: "Yes" if 0(U) and 0(V) are conjugate in G and "No" otherwise.

In principle, the existence of an algorithm to solve Problem 2.1 or 2.2 depends not only on G but also on 0. There is, however, an important case when 0 does not matter. Suppose that X is finite. Then G = 0(F (X)) is called finitely generated. Let N be the kernel of 0. It is a normal subgroup of F(X). Suppose that N is generated as a normal subgroup by a finite set R ("generated as a normal subgroup" means that every element of N is a product of conjugates of elements of R and their inverses). Then we say that G has a finite presentation (X | R). For finitely presented groups the solvability of the word or conjugacy problem (i.e. the existence of the needed algorithm) does not depend on the choice of 0 or even on the choice of the finite set X (as long as 0 is surjective).

Note that the conjugacy problem is stronger than the word problem, that is if the conjugacy problem is solvable in G, then the word problem is also solvable. Indeed, only the identity element can be a conjugate of the identity element.

2.1 Van Kampen diagrams

2.1.A The definition. Let G be a finitely presented group given by a finite set of generators X and a finite set of relators R,0 is a homomorphism from F (X) onto G, N is the kernel of this homomorphism. Then words in N are precisely products of generators of G and their inverses that are equal to 1 in G. The word problem for G is then the membership problem in N for the elements of F (X). Note that if the product u v is in N then vu is also in N (as a conjugate of uv). The word vu is called a cyclic shift of

Fig. 1 Using lollipops to build a van Kampen diagram Fig. 2 Reducing the boundary

uv. We shall always assume (without loss of generality) that R consists of cyclically reduced words, that is group words all of whose cyclic shifts are reduced. Since N is generated by R as a normal subgroup, a reduced group word W from F (X) is in N if and only if W can be represented in the free group as a product of conjugates of elements of R and their inverses:

w = n ^V

where si e F(X), ri e R.

The minimal number m in all representations (1) of W is called the area of W for the reasons explained below. For every representation (1), we can draw a planar diagram, a bouquet of "lollipops" which is a planar labeled graph. Each "lollipop" corresponds to one of the factors siris-1, it has a stem, a path labeled by si (i.e. the stem is subdivided into edges labeled by the letters of si), and a candy, a cycle path labeled by ri (see Fig. 1).

Going counterclockwise around the "lollipop" starting and ending at the tip of the stem, we read siris-1. Thus going counterclockwise around the diagram which is the bouquet of "lollipops", we read the word which is the right hand side of (1).

In order to make the word W from this word, we need to reduce the boundary of the bouquet of "lollipops" (the boundary is traced counterclockwise): every time we see a pair of consecutive edges on the boundary of the diagram, which have the same label and the same initial or terminal vertex (see Fig. 2), we identify these two edges

Fig. 3 A van Kampen diagram without labels

(if the edges have both vertices in common, we identify the two edges and remove the whole subgraph bounded by them on the plane). This amounts to removing a subwords xx-1 and x-1 x from the right hand side of (1). The resulting picture is a van Kampen diagram for W over the presentation (X | R), that is a planar graph with edges labeled by elements of X, the boundary of each cell (i.e. the closure of a bounded connected components of the plane minus the graph) labeled by words from R±1, and the boundary of the whole graph (i.e. the boundary of the infinite component of the plane minus the graph) is labeled by W (see [147] for a slightly different definition and [175] for another one).

Figure 3 shows how a typical van Kampen diagram may look like. One can see that the cells may be of different sizes and shapes, a cell can touch itself, etc. It is important also that a diagram itself may not be an embedded disc: several pieces as on Fig. 3 can be connected by paths to form a tree of discs (as the bouquet of lollipops in Fig. 1). Nevertheless it is a planar graph, and there are various general methods to study van Kampen diagrams (the whole book [175] is essentially about the study of van Kampen diagrams used to construct groups with extreme properties such as infinite bounded torsion groups, Tarski monsters, etc.).

Thus we have shown

Lemma 2.3 (The first half of the van Kampen lemma) If a reduced group word W over the alphabet X is equal to 1 in G, then there exists a van Kampen diagram over the presentation of G with boundary label W.

This is a half of the so called van Kampen lemma [35,147,175]. The converse statement (that the boundary label of every van Kampen diagram is equal to 1 in G) constitutes the second half. In order to prove it, we have to "undo" the construction of van Kampen diagram above, and, given a van Kampen diagram, produce an equality of the form (1). The proof is by cutting a van Kampen diagram along the edges, to produce a tree of "lollipops". It is obvious that this can be done somehow. In [187], we presented a useful and economical way to cut a van Kampen diagram (so that every edge is used at most four times). Since cutting van Kampen diagrams into nice pieces is the main ingredient of many proofs involving van Kampen diagrams (see Sect. 4.6 below, for example), we reproduce the proof here.

Note that if a word W can be represented in the free group in the form

u\r\u2 ... umrmum+1

where uiu2 ... um+i = 1 in the free group, then W is equal (in the free group) to

(u iriu-1)(uiu 2r2u-1u-1) ...(ui ... umrmu-1 . . . u-1 )ui . . . um«m+1 = (uiriu-1)(uiu2r2u-1u-1) ...(u 1 ... umrmu-1 . . . u-1)

and so W e N. The converse statement is obvious.

Proposition 2.4 (The second half of the van Kampen lemma) Let A be a vanKampen diagram over a presentation (X | R) where X = X-1, R is closed under cyclic shifts and inverses. Let W be the boundary label of A. Then W is equal in the free group to a word of the form u1r1u2r2 ... umrdum+1 where:

(1) Each ri is a cyclic shift of a word from R±1;

(2) u 1 u2 ... um+1 = 1 in the free group;

(3) Zm=i1 lu I < 4e where e is the number of edges of A.

In particular, W is in the normal subgroup N and is equal to 1 in G.

Proof If A has an internal edge (i.e. an edge which belongs to the boundaries of two cells) then it has an internal edge f one of whose vertices belongs to the boundary. Let us cut A along f leaving the second vertex of f untouched. We can repeat this operation until we get a diagram A1 which does not have internal edges. It is easy to see that the boundary label of A1 is equal to W in the free group. The number of edges of A1 which do not belong to contours of cells (let us call them edges of type 1) is the same as the number of such edges in A and the number of edges which belong to contours of cells in A1 (edges of type 2) is at most twice the number of such edges of A (we cut each edge from a contour of a cell at most once, after the cut we get two external edges instead of one internal edge).

Suppose that a cell n in A1 has more than one edge which has a common vertex with n but does not belong to the contour of n.

Take any point O on2 9(n) which belongs to one of the edges not on 9(n). Let p be the boundary path of A1 starting at O and let q be the boundary path of n starting at O. Consider the path qq-1 p. The subpath q-1 p bounds a subdiagram of A1 containing all cells but n. Replace the path q in qq-1 p by a loop q' with the same label starting at O and lying inside the cell n. Let the region inside q' be a new cell n'. Then the path q'q-1 p bounds a diagram whose boundary label is equal to W in the free group F(X). Notice that n' has exactly one edge having a common vertex with n' and not belonging to the contour of n' (see Fig. 4). Thus this operation reduces the number of cells n such that more than one edge of the diagram has a common vertex with n but does not belong to the contour of n.

After a number of such transformations we shall have a diagram A2 which has the form of a tree T with cells hanging like leaves (each has exactly one common vertex with the tree).

The number of edges of type 1 in A2 cannot be bigger than the number of all edges in A1, so it cannot be more than two times bigger than the total number of edges in A.

2 We use d to denote boundaries of cells, diagrams, subgraphs, etc.

Fig. 4 Cutting n' inside n

Fig. 5 0-cells

The boundary label of A2 is equal to W in the free group, and it has the form

where m is the number of cells in A, uiu2 ... um+i is the boundary label of a tree (traced counterclockwise), so u\u2 ... um+\ = 1 in the free group. The sum of lengths of ui is at most four times the number of edges in A because the word u1u2 ... um+1 is written on the tree T, and when we travel along the tree, we pass through each edge

2.1.B The 0-cells. One can modify van Kampen diagrams to make all cells embedded discs (so that the boundary of a cell does not touch itself) and to make the whole diagram an embedded disc by introducing the so-called 0-cells [175], i.e. cells corresponding to relations 1 ■ 1 = 1 and 1 ■ a ■ 1 ■ a-1 = 1 (see Fig. 5).

The edges labeled by 1 are called 0-edges. Indeed, adding these relations does not change the group. Now, for every cell in the van Kampen diagram (the cell is drawn with thick lines on Fig. 6), we draw an embedded disc inside the cell, label its boundary by the same word which labels the boundary of the original cell, and connect every vertex of the boundary of the new cell with the corresponding vertex of the boundary of the original cell by a 0-edge. Thus we replace every cell of the original diagram by a new cell with the same boundary label and several 0-cells. The new van Kampen diagram will have all cells embedded discs. Similarly, if a diagram is not an embedded disc, say, it consists of two disc subdiagrams connected by a path which is a part of the boundary of the diagram, we can replace that path by a sequence of 0-cells. As a result, we can make the whole diagram an embedded disc. When we count the number of cells (edges) in a diagram we usually do not count 0-cells (0-edges). In particular 0-edges do not affect the calculation of the length of a path in a van Kampen diagram.

u 1?ij u2Ti2 . . . um?im um+1

twice.

Fig. 6 Inscribing an embedded cell inside a non-embedded cell of a van Kampen diagram

The 0-cells were introduced by Olshanskii [175] in order to make his proofs cleaner, but they proved to be a very useful technical tool. Let us mention just two applications. First, 0-cells were used in solving quadratic equations in free groups in [174] (see 2.3.B) and subsequent papers (there are no non-0-relations in the standard presentation of the free group). Second, a natural generalization of 0-cells was a crucial tool in constructing a finitely presented non-amenable group without free subgroups [188] (see 5.4).

2.1.C Van Kampen diagrams and tilings. An elementary school problem and its non-elementary solution. As an easy application of van Kampen diagrams, consider the following elementary problem.

Example 2.5 Let P be the standard 8 x 8 chess board with two opposite squares removed (Fig. 7). Prove that P cannot be tiled by the standard 2 x 1 dominos.

Proof The elementary solution of this problem is well known. Color squares of P in black and white in the usual (chessboard) way. Then the number of squares of one color (black or white) in P differs from the number of squares of the other color by 2. Since each domino covers exactly one white and exactly one black square, P cannot be tiled by dominos.

Here is a solution which, although less elementary, can be applied to many regions of the plane square grid for which the elementary proof above does not work; it also applies to regions of non-square (say, hexagonal) lattices on the plane. This solution first appeared in a paper by Thurston [227]. The ideas of that paper have many applications in several areas of mathematics from combinatorics to probability to mathematical physics.

Let us label horizontal edges pointed rightward in P by the letter a and vertical edges pointed upward by the latter b. Then the (counterclockwise) boundary of P has label W = a1b1 a-lba-1 b-1ab. Every domino can be placed either vertically or horizontally. In the first case its boundary label is ab2a-1 b-2, and in the second case

<1- 1- »- •- t- •- »- (

b b , ,,

1 ►„ 1 J r~t:— » ► < < 1» - 1 b r b, ► „ 1r

Fig. 7 The chess board with two squares removed and two dominos

its boundary label is a2ba-2b-1. Now consider the group G with the presentation (a, b | ab2a-1b-2 = 1, a2ba-2b-1 = 1>. Suppose that P can be tiled by the dominos. Then every such tiling turns P into a van Kampen diagram over the presentation of G. Hence, by the van Kampen lemma (more precisely by Proposition 2.4), the word W would be equal to 1 in G. But consider the 6-element symmetric group S3 and two permutations a = (1, 2), j = (2, 3) in it. Clearly both relations of G hold if we replace a by a and b by j. Hence the map a ^ a, b ^ j extends to a homomorphism G ^ S3. Note that W(a, j) = (aj)4 = aj is the permutation (1, 3, 2) which is not trivial. Hence W is not equal to 1 in G, a contradiction. □

This example shows a similarity between the word problem in groups and the tiling problem. Indeed, by the van Kampen lemma, a word W is equal to 1 in G = (X | R> if and only if we can tile a disc with boundary labeled by W by pieces whose boundaries are labeled by words from R. Nevertheless the word problem differs from the tiling problem as in Example 2.5 because, as we have seen, when we draw a van Kampen diagram, we do not fix the shapes or sizes of the tiles, only the labels of the boundaries of them, so one can view a general van Kampen diagram as a tiling of a disc by tiles made of soft rubber, while the traditional tiling problems such as Example 2.5 are about tiles made of hard plastic.

2.2 The computational complexity and algebraic systems

2.2.A Solvability of algorithmic problems: theory and practice. The solvability of an algorithmic problem does not mean that the problem can be solved in practice. First of all the existence of an algorithm does not mean that it is readily available. For example, the word problem in every finite group is certainly decidable. But there is no algorithm that, given a finite set of relations r = 1, i = 1,...,n, and a relation r = 1 over a finite alphabet X, would decide whether every finite group generated by

X where the relations ri = 1 hold (i = 1,..., n) also satisfies r = 1. That is a result of Slobodskoj [221]. Thus there is no uniform algorithm solving the word problem in all finite groups at once. In general we usually ask for existence of an algorithm solving certain algorithmic problem but not for a procedure to find this algorithm. (In most concrete cases, if an algorithmic problem in a given group is decidable, we are able to write down an algorithm that solves the problem.)

Another, more important, obstacle is that the algorithm can be too slow. For example, if a finitely presented group G is residually finite,3 then the word problem can be solved by the so called McKinsey algorithm [156]: list all finite quotients of G (that is consider all finite groups H one by one, consider every map $ from the set of generators of G into H, and check if this map takes all ri to 1, and whether the images of generators of G generate H; if yes, then include the pair (H, $) in the list of quotients), and at the same time list all the corollaries of the defining relations of G (say, list all products of conjugates of ri's and their inverses). Every word r is either in the list of corollaries or is not trivial in one of the finite quotients. In the first case r = 1in G, in the second case, r = 1 in G, and after some time we will surely know which of this options holds. It is clear that in general this algorithm is very slow. Even for a short word r it would take a lot of time to decide, using this algorithm, if r = 1 in a given residually finite group.

2.2.B Computational complexity. Thus the next thing to do, after we find out that an algorithmic problem is decidable, is to find the computational complexity of this problem.

To make this more precise let us present here some concepts from the Computational Complexity Theory.

Any decision problem D may be considered as a membership problem for elements of some set BD in a subset SD. For example if D is the word problem for a group G = (X | R}, then BD is the set of all reduced group words in the alphabet X, and SD is the set of products of conjugates of elements of R and their inverses in the free group over X (i.e. the normal subgroup of the free group over X generated by R).

With any element x in BD one associates a number which is called the size of this element. Usually the size is roughly the minimal space which is needed to write x down. For example the size of a word is typically its length.

The size depends on the way we choose to represent the elements. For example if x is a natural number then we can represent x as x units. Then the size of x will be equal to x. If we represent x as a sequence of binary digits then the size of x will be approximately log2 (x).

Algorithms may be realized by Turing machines (for a formal definition see below). We can assume that this machine is equipped with a voice synthesizer and can say two words "Yes" and "No". An algorithm solving the decision problem D starts working with an element x of BD written on the tape of the machine. When it ends, it says "Yes" if x e SD or "No" if x £ SD. There are also different kinds of algorithms that say "Yes" when x e SD and work indefinitely long without saying anything if

3 A group is residually finite if the intersection of all its subgroups of finite index is trivial.

x e SD. Note that if there is an algorithm that recognizes the "yes" part and there is an algorithm recognizing the "no" part of D, then there exists an algorithm solving D.

2.2.C Turing machines (a formal definition). Recall one of the many equivalent definitions of a Turing machine.

A multi-tape Turing machine has k tapes and k heads observing the tapes. One can view it as a quadruple

M = (I, Y, Q, ©}

where I is the input alphabet, Y is the tape alphabet (I c Y,) Q = u Qi, i = 1,...,k is the set of states4 of the heads of the machine, © is a set of commands. Some (recognizing) Turing machines also have two distinguished vectors of state letters: s1 is the k-vector of start states, s0 is the k-vector of accept states.

The leftmost square on every tape is always marked by a, the rightmost square is always marked by m. The head is placed between two consecutive squares on the tape. A configuration of a tape of a Turing machine is a word auqvm where q is the current state of the head of that tape, u is the word in Y to the left of the head and v is the word in Y to the right of the head, and so the word written on the entire tape is uv.

At every moment the head of each tape observes two letters on that tape: the last letter of u (or a) and the first letter of v (or m).

A configuration U of a Turing machine is the word

U1U2 ...Uk

where Ui is a configuration of tape i.

Assuming that the Turing machine is recognizing, we can define input configurations and accepted (stop) configurations. An input configuration is a configuration where the word written on the first tape is in I+, all other tapes are empty, the head on the first tape observes the right marker m, and the states of all tapes form the start vector s1. An accept (or stop) configuration is any configuration where the state vector is s0, the accept vector of the machine. We shall always assume (as can be easily achieved) that in the accept configuration every tape is empty.

A command of a Turing machine is determined by the states of the heads and some of the 2k letters observed by the heads. As a result of a transition we replace some of these 2k letters by other letters, insert new squares in some of the tapes and may move the heads one square to the left (right) with respect to the corresponding tapes. For example in a one-tape machine every transition is of the following form:

uqv ^ u'q'v'

where u, v, uv' are letters (could be end markers) or empty words. The only constraint is that the result of applying the substitution uqv ^ u'qV to a configuration

4 u denotes disjoint union.

word must be a configuration word again, in particular the end markers cannot be deleted or inserted.

This command means that if the state of the head is q, u is written to the left of q and v is written to the right of q then the machine must replace u by u', q by q' and v by v'.

For a general k-tape machine a command is a vector

[U1 ^ Vu...,Uk ^ Vk]

where U ^ Vi is a command of a 1-tape machine, the elementary commands (also called parts of the command) U ^ Vi are listed in the order of tape numbers. In order to execute this command, the machine first checks if every Ui is a subword of the configuration of tape i (i = 1,...,k), and then replaces all U by Vi.

A computation is a sequence of configurations C1 ^ ••• ^ Cn such that for every i = 1,..., n -1 the machine passes from Ci to Ci+1 by applying one of the commands from ©. A configuration C is said to be accepted by a machine M if there exists at least one computation which starts with C and ends with an accept configuration.

A word u e X* is said to be accepted by the machine if the corresponding input configuration is accepted. The set of all accepted words over the alphabet X is called the language accepted (recognized) by the machine

Let C = C1 ^ ••• ^ Cn be a computation of a machine M such that for every j = 1,...,g - 1 the configuration Cj+1 is obtained from Cj by a command 0 j from ©. Then we call the word 01... 0n-1 the history of this computation. The number n will be called the time (or length) of the computation. Let pi (i = 1,..., g) be the sum of the lengths of the configurations of the tapes in the configuration Ci. Then the maximum of all pi will be called the space of the computation.

We do not only consider deterministic Turing machines, for example, we allow several transitions with the same left side.

Note that Turing machines can also be viewed as rewriting systems where objects are the configurations and substitution rules are the commands of the machine. This point of view allows one to use the tools of the string rewriting theory, normal forms, confluence, etc. One can also view Turing machines as semigroups of partial transformations of the set of configurations generated by the transformations induced by the commands. This point of view allows to explore dynamics properties of Turing machines (say, periodic computations). That is often needed when one tries to simulate a Turing machine by a group [188].

2.2.D The time and space functions. With every Turing machine A one can associate two important functions: the time function and the space function.

The time (space ) function tA (n) (resp. sA (n)) of a Turing machine A is the minimal number of steps of the machine (resp. number of cells on the tape visited by the machine) to decide that any element x e SD of size < n is indeed in SD.

We can compare the time (space) functions of algorithms as follows. If f, g: N ^ N, we write f < g if for some constant C we have f (n) < Cg(Cn) + Cn + C for every n e N. We say that f and g are equivalent, if f < g and g < f. Thus every

sublinear function is equivalent to n, functions n5 and 2n5, 2x and 3x are equivalent, but functions n3.1 and n3.2 are not.

The following relation is clear:

sA (n) < tA (n).

Indeed, even if at every step the algorithm used a new tape cell, sA (n) would be only equivalent to tA (n) (since the number of cells used by the machine at every step is bounded). In reality sA(n) is almost always less than tA(n). On the other hand the following relation also holds [83]:

tA(n) < 2sA(n)

2.2.E A very rarely accepting Turing machine. Turing machines, like groups, can have some extreme properties. It is well known, for example, that a Turing machine can have undecidable halting problem, that is there is no algorithm that checks whether the machine will ever stop starting with a given input configuration. This is obviously equivalent to the property that the time and space functions of this Turing machine are bigger than any given recursive function (i.e. a function N ^ N whose graph and its complement can be recognized by a Turing machine). In Sect. 4.6 we shall need a Turing machine with even stronger property.

Let X be a recursively enumerable language in a 2-letter alphabet, i.e. a set of binary words recognized by a (non-deterministic) Turing machine M .If x e X then the time of x (denoted time(x) or timeM (x)) is, by definition, the minimal time of an accepting computation of M with input x. For any increasing function h: N ^ N, a real number m is called h-good for M if for every w e X, | w| < m implies h(time(w)) < m.

Let h (n) = expexp(n).

Theorem 2.6 (Olshanskii, Sapir [182]) There exists a Turing machine M recognizing a recursively enumerable non-recursive set X such that the set of all h-good numbers for M is infinite.

It is easy to observe that the set G of h-good numbers of M cannot be recursively enumerable. Moreover it cannot contain any infinite recursively enumerable subset. Indeed, if G contained an infinite recursively enumerable subset R, then for every input configuration C of M we would start the Turing machine enumerating R, and wait till we get a number r from R that is bigger than the size of C. Then to check if M halts on C, we would check all (finitely many) computations of M starting with C and having length less than log log r. The Turing machine M halts starting with C if one of these computations ends with the accept configuration. Hence the set X would be recursive. On the other hand, the complement of G is recursively enumerable because in order to verify that r is not an h-good number, one needs only to start M and wait till it accepts an input configuration C of size < r but time(C) > log log r. Thus G is an immune set and its complement is simple in terminology of [154]. Note that the very existence of simple and immune sets was a non-trivial problem solved by Muchnik and Friedberg using the famous priority argument, answering a question of Post (see

[154,222] for details). Our proof of Theorem 2.6 also uses the priority argument and Matiyasevich's solution of the Hilbert tenth problem [158].

2.2.F The complexity classes. If there exists an algorithm A which solves the "yes" part of problem D and tA (n) is bounded from above by a polynomial in n then we say that D can be solved in polynomial time. The solvability in exponential time, polynomial space, exponential space, etc. is defined similarly.

It is worth mentioning that if we modernize the Turing machine by, say, adding more tapes or heads, we won't change the complexity of the problem much. For example a non-polynomial time (space) problem cannot become polynomial as a result of that. The class of all problems which can be solved in polynomial time is denoted by P.

If in the definition of the time complexity, we replace the deterministic Turing machines by non-deterministic Turing machines, then we obtain definitions of the solvability in non-deterministic polynomial time, non-deterministic exponential time, etc. Recall that a non-deterministic Turing machine is more intelligent than a deterministic one: it does not blindly obey the commands of the program, but, at every step, guesses itself what the next step should be. Roughly speaking a problem D can be solved in non-deterministic polynomial time if for every element x e BD there exists a proof (usually called witness) that x belongs to SD and the length (size) of this proof is bounded by a polynomial of the size of x. The class of all problems which can be solved in polynomial time by a non-deterministic Turing machine is denoted by NP. It is not known if P = NP. This is one of the central problems in Theoretical Computer Science.

In order to prove that a problem is solvable in polynomial time it is enough to find a polynomial time algorithm solving this problem.

We have mentioned that the complexity of the McKinsey algorithm presented in 2.2 is very high, but we do not know any finitely presented residually finite group with really hard word problem. Thus we formulate

Problem 2.7 Is there (time or space) complexity bound for the word problem in a finitely presented residually finite group. More precisely, what is the highest class in the time complexity hierarchy [83] where the word problem in every finitely presented residually finite group belongs? An even more bold question: is the word problem of every finitely presented residually finite group in NP?

2.2.G Reducing one problem to another. In order to prove that a problem D cannot be solved in polynomial (exponential, etc.) time one has to take another problem Q which is known to be "hard" and reduce it to D.

There are several kinds of reductions used in the Computer Science literature. One of them, the polynomial reduction in the sense of Karp [83], is the following. A reduction of a problem Q to a problem D is a function $ from Bq to BD such that

• An element x from Bq belongs to Sq if and only if $(x) belongs to SD.

• The element $(x) can be computed in polynomial time, in particular the size of

$(x) is bounded by a polynomial of the size of x.

It is clear that if Q is "hard" and Q can be reduced to D then D is "hard" as well.

Notice that, when we prove the undecidability of a problem D, we usually also reduce a problem Q known to be "hard" (which in this case means undecidable), to D. In order to reduce Q to D we find a similar mapping but we do not care about the size of $ (x). The "basic hard" problem is usually the halting problem of a Turing machine (or some other kind of machine such as Minsky machines). But it could be a different kind of undecidable problem such as the Hilbert's 10th problem (see [137, Section 6] for details) or a membership in the range of a general recursive function as in McKenzie-Thompson [155].

2.2.H An NP-complete problem. Many known problems A are such that A is in NP and every other NP-problem polynomially reduces to A. Such problems are called NP-complete. One of these problems is the following exact bin packing problem [83, Page 226; 135, Page 255]:

Problem 2.8 (Exact bin packing problem)

• Input: A k-tuple of positive integers (r1,...,rk) and positive integers B, N.

• Output: "Yes" if there exists a partition of {1k} into N subsets {1,...,k } = S1 u ... u SN such that for each i = 1,..., N we have

X rj = B-

2.2.I Complexity classes and algebraic systems. A deep connection between Computer Science and algebra was found by Fagin [79]. He proved, in particular, the following amazing model-theoretic characterization of classes of finite algebras whose membership problem can be solved in non-deterministic polynomial time. Recall that an algebraic system is by definition a set with certain operations and predicates of various arities [154]. For example, a linearly ordered group is an algebraic system with one binary operation (product), one unary operation (taking inverses), one nullary operation (the identity element) and one binary predicate giving the order relation.

Theorem 2.9 (Fagin [79]) The membership problem for an abstract (i.e. closed under isomorphisms) class of finite algebraic systems is in NP if and only if it is the class of all finite models of a second-order formula of the following type:

3Q13 Q2 ...3 Qn (©)

where Qi is a predicate, and © is a first-order formula.

Basically this theorem means that the membership problem of a class of finite algebraic systems is in NP if and only if we can describe the structure of algebraic systems of this class in terms of functions and relations. Since all known methods of studying the structure of algebraic systems are based on studying functions (homomorphisms, polynomial functions, etc.) and relations (congruences, orders, etc.) we can conclude that for the membership problem of a class of finite algebras being in NP is equivalent to admitting a reasonable structure description.

Note that a word in an alphabet with k letters can be considered as an algebraic system as well: a word is a linearly ordered finite set (say, {1, 2,..., n}) with k unary predicates Lx indexed by the letters of the alphabet such that Lx (p) holds if the pth letter in the word is x. The set of all words in the k-letter alphabet can be defined by obvious axioms involving these k + 1 predicates (the order predicate should satisfy the axioms of linear order, plus for every p = 1, 2,...,n one and only one of the statements Lx ( p) holds). Reduced group words can also be defined using similar axioms, etc. Hence being able to solve the word problem in a group in non-deterministic polynomial time means, by Fagin's theorem, that we can find algebraic description of words that are equal to 1 in the group.

Note that classes where the membership problem has other types of computational complexity have similar model theoretic characterizations. Classes with membership problem in P have been characterized by Immerman [127], Sazonov [213,214] and Vardi [230]. Classes with exponential time membership problem were characterized by Fagin [79]. Classes with non-deterministic exponential time membership problem have been characterized by Fagin [79] and Jones and Selman [132]. For a detailed survey of these results see [80].

2.2.J Van Kampen diagrams as witnesses. Now let again G = (X | R) be a finitely presented group. Suppose that a word w in X is equal to 1 in G. Then by Lemma 2.3 of van Kampen, w labels the boundary of a van Kampen diagram A over the presentation of G. Let us consider that van Kampen diagram as a witness for the equality w = 1. Since a van Kampen diagram cannot be drawn on a tape of a Turing machine, we need to replace it by an equivalent object which is a word. Such an object is given by Proposition 2.4. Instead of A, we should consider the (non-reduced) product

u1 ■ r1 ■ u2 ■ r2.....um ■ rd ■ um+1 (2)

from that proposition. By Proposition 2.4, the length of that word is—up to a constant multiple—the number of cells in A plus |w|. Since we identify functions that differ by a constant factor or linear summand, we can say that the size of A is the number of cells, i.e. the area of A. Clearly given a word of the form (2), i.e. a word subdivided into subwords ui, rj, it takes linear time (in the length of the word) to check if it indeed satisfies conditions of Proposition 2.4. Thus we obtain the following

Proposition 2.10 (See the proof of Theorem 1.1 [210]) Suppose that for every word w that is equal to 1 in G there exists a van Kampen diagram over the presentation of G with at most f (|w|) cells and boundary label w. Then the "yes part" of the word problem of G can be solved in non-deterministic time at most f (n). In particular if f is bounded by a polynomial, then the "yes" part of the word problem of G is in NP.

2.3 Diagrams on surfaces, quadratic equations and Poincare conjecture

2.3.A The definition. Let S = Sg,n be a (possibly non-oriented) surface of genus g with n boundary components. Let again P = (X | R) be a finite group presentation. A diagram on S is a tessellation of S by a labeled graph with all edges labeled by letters

of X and all cells (regions) being discs with boundaries labeled by words from R±1 .In fact, a diagram on a surface can be obtained from a usual (disc) van Kampen diagram as follows. Let A be a disc diagram whose boundary is a polygon where some pairs of sides are labeled by the same or mutually inverse words. If we identify these pairs of sides, we get a diagram on a surface (with possibly non-empty boundary). Conversely, given a diagram on a surface S, we can cut the surface by simple closed curves and arcs following edges of the diagram so that we obtain a polygon with some pairs of sides (corresponding to the cutting curves) labeled by the same or mutually inverse words). The result is an ordinary van Kampen diagram. For example, if we want to find out whether an element represented by a word u is a product of g commutators5 [x1, y1]... [xg, yg] in a group G = (X | R), we need to check whether there exists a van Kampen diagram on an oriented surface of genus g with one boundary component labeled by u. In general, one can consider van Kampen diagrams on surfaces with boundaries when one tries to solve any quadratic equation w(x1, ...,xk) = 1 in G. Here w is a word in the alphabet X U{x1, ...,xk} (letters from X are called coefficients, xi are called unknowns), and for every i, the word w has exactly two occurrences of the form xf1 (hence the term quadratic). If the equation w = 1 does not have any coefficients, say, w = [x1, y1][x2, y2]... [xn, yn], then solutions of w = 1 in a group G are in one-to-one correspondence with homomorphisms from the surface group ^(S) to G.

2.3.B The complexity of solving quadratic equations. Using van Kampen diagrams on surfaces Olshanskii proved:

Theorem 2.11 (Olshanskii [174], see also Grigorchuk andKurchanov [94], Griorchuk and Lysenok [95], and Lysenok [149]) For every n, the solvability problem for quadratic equations in n variables in any free group is in P (the size of the input of the problem is the sum of lengths of the coefficients).

Note that the solvability of that problem was first proved by Cromerford and Edmunds [56].

Recently Kharlampovich, Lysenok, Myasnikov and Touikan [135] proved that the uniform solvability problem (when the number of variables is not fixed) is harder. They also use diagrams on surfaces and results from [174], plus some clever arguments reducing NP-complete exact bin packing problem (Problem 2.8) to the problem of filling (tesselating) a surface with a van Kampen diagram over the presentation consisting of 0-cells.

Theorem 2.12 (Kharlampovich, Lysenok, Myasnikov,Touikan [135]) The (uniform problem of) solvability of quadratic equations in the free group in NP-complete (the input of that problem is an equation, the output is "yes", if the equation has a solution in a free group).

Note that the fact that solvability of quadratic equations over free monoids is NP-hard was proved before [135] by Diekert and Robson [69]. It is still not known whether that (seemingly easier) problem is NP-complete. As Volker Diekert told us,

5 [x, y] denotes xyx 1 y 1. ¿1 s

the NP-completeness in the case of monoids would imply Theorem 2.12, and so the case of monoids is very interesting.

2.3.C Quadratic equations and the Poincare conjecture. Note that quadratic equations even without coefficients (i.e. homomorphisms from the surface group) are closely related to the Poincare conjecture. There are several reformulations of the Poincare conjecture in terms of homomorphisms of surface groups onto the direct product of two free groups (see [131,174,225]). Here is the reformulation from Hempel [119]. Since the Poincare conjecture has now been proved by Perelman [197,198], we formulate that reformulation as a theorem.

Theorem 2.13 (Hampel [119], Perelman [197,198]) Let S be a closed oriented surface, n1 (S) be its fundamental group. Suppose that and are two homomorphisms from n1 (S) onto the direct product of two free groups Fn x Fn. Then there is an automorphism a of n1 (S) and an automorphism j of Fn x Fn such that a$1j = $2.

This theorem means that there exists essentially at most one "maximal" solution of the equation [x1; y1 ]... [xg, yg] = 1 in Fn x Fn for every n. 2.3.D A link between Poincare conjecture and NP. The proof of Poincare conjecture implies that certain algorithmic problems are in NP. For example, consider the following problem

Problem 2.14 (Triviality of the fundamental group of a 3-manifold).

Input. A compact 3-manifold M without boundary represented as a union of tetrahedra.

Output. "Yes" if the fundamental group of M is trivial and "no" otherwise.

Note that the triviality problem is a part of the uniform word problem (see 2.2.A): given a presentation of a group we need to decide if each generator is equal to 1 in the group. Note also that giving a triangulation of M, we can easily find the presentation of n1(M) which is of a comparable size as M.

That Problem 2.14 is in NP follows from the fact that simply connected compact 3-manifolds are homeomorphic to the 3-sphere (the Poincare conjecture) and the result of Ivanov [129] that the problem of recognizing a 3-sphere is in NP.

2.3.E Other equations in free groups. Arbitrary equations in free groups correspond to diagrams on more complicated 2-dimensional complexes than surfaces and the solvability problem for them is much harder. A very non-trivial result of Makanin shows that this problem is decidable.

Theorem 2.15 (Makanin [151]) There exists an algorithm to check whether a system of equations over a free group has a solution.

Note that for some relatively easy groups the problem of solvability of systems of equations is undecidable (this is so for, say, a finitely generated nilpotent group, see 3.2.A).

Makanin's algorithm is very complicated and its complexity is known to be a tower of many exponents. Later, Makanin's algorithm was simplified and clarified by Razborov [201,202]. Razborov also gave a description of all solutions. Still the exact

complexity of solving equations in free groups was an open problem till the following relatively recent result.

Theorem 2.16 (Diekert, Gutierrez, Hagenah [70]) The problem of solvability of an equation in a free group is in PSPACE, that is it can be solved by a deterministic Turing machine using polynomial amount of space (in terms of the size of the equation).

Other results from [70] show that PSPACE most probably cannot be improved because a very similar problem of deciding the existential theory of a free group (i.e. solving systems of equations and inequations of the form w = 1) turned out to be PSPACE-complete (the solvability of systems of equations and inequations in a free group was proved to be decidable by Makanin [152]). See also 3.1.G below.

2.3.F The conjugacy problem and annular diagrams. Note that the conjugacy problem is about solvability of the (quadratic) equations of the form xux-1 = v where u,v are coefficients and x is an unknown. Thus by 2.3, we need to consider diagrams on an annulus. So let the surface S be an annulus (i.e. the surface S0,2), P be a presentation of some group G, and u,v be two group words over the generating set of this presentation. Then u and v are conjugate in G if and only if there exists a diagram A on S over a presentation P with boundary labels u, v (that was first noticed by Schupp and appeared in [163], hence annular diagrams are sometimes called Schupp diagrams).

2.4 Isoperimetric and isodiametric functions of groups

2.4.A The isoperimetric functions. Thus with every finite presentation P of group G we associate the following important function: f (n) is the smallest number such that every word w that is equal to 1 in G, | w| < n, labels the boundary of a van Kampen diagram over the presentation of G with at most f (n) cells. This function is called the Dehn function of P. It is easy to see that the Dehn functions of different finite presentations of the same group are equivalent, hence we can talk about the Dehn function of a finitely presented group. Every function g: N ^ N with f < g is called an isoperimetric function of G. The Dehn functions of groups were introduced (under different names) by Computer Scientists Madlener and Otto [150] studying complexity of the word problem in groups, and by Gromov [98] as a geometric invariant of groups (see also Gersten [86] where the name "Dehn function" was introduced).

As a direct consequence of Proposition 2.10, we get

Theorem 2.17 (See [210, Theorem 1.1]). Every Dehn function of a finitely presented group G is (equivalent to) the time function of a Turing machine solving (non-deterministically) the "yes" part of the word problem in G.

Hence we have

Theorem 2.18 (Madlener, Otto [150], Gersten [86]) The word problem in a finitely presented group is solvable if and only if the Dehn function (or one of the isoperimetric functions) is recursive.

Being a geometric invariant means, in particular, that if two finitely presented groups are quasi-isometric, then their Dehn functions are equivalent. Recall that if M1, M2 are metric spaces with distance functions d1, d2, then a partial function $: M1 ^ M2 is called quasi-isometry between M1, M2 if there exist three constants A > 1, B > 0, C > 0 such that

A d2($(x), $(y)) - B < d1(x, y) < A d2($(x), $(y)) + B (3)

for all x, y e M1 and every point in M1 is at distance at most C from the domain of $, while every point in M2 is at distance at most C from the range of $. In this case we call $(A, B, C)-quasi-isometry. If C = 0, we call $ an (A, B)-quasi-isometry, and if B = C = 0, then $ is an A-bi-Lipschitz map. Finally if B = C = 0 and we only have the second of the two inequalities in (3), then $ is an A-Lipschitz map.

We say that $: M1 ^ M2 is a quasi-isometry (bi-Lipschitz map or Lipschitz map) from M1 to M2 if this map is a quasi-isometry (bi-Lipschitz map or Lipschitz map) between M1 and $(M1).

The spaces M1 and M2 are called quasi-isometric if there exists a quasi-isometry between M1 and M2. For example, any two Cayley graphs (see 2.8 for a definition) of a group with respect to two finite generating sets are quasi-isometric as metric spaces (the distance between two vertices is the length of a shortest path connecting them). Moreover any isomorphism between any subgroup of finite index in one group and a subgroup of finite index of another group induces a quasi-isometry of the Cayley graphs of these groups (that was a starting point of a proof of the celebrated Mostow rigidity theorem). Two finitely generated groups are called quasi-isometric if their Cayley graphs (with respect to finite generating sets) are quasi-isometric. It is not difficult to observe that two quasi-isometric groups have equivalent Dehn functions. In particular, if one of the two quasi-isometric groups has solvable word problem, the other group must also have solvable word problem (by Theorem 2.18).

2.4.B The conjugacy problem and quasi-isometry. Note that the analogous statement is not true for the conjugacy problem: there exist two pairs of groups A1 > B1 and B2 > A2, each extension is of index 2, such that A1; A2 have solvable conjugacy problem which B1; B2 have unsolvable conjugacy problem (see Gorjaga-Kirkinskii [93] and Collins-Miller [55]).

2.4.C The isodiametric function. Another important function associated with van Kampen diagrams is the isodiametric function: for every word w that is equal to 1 in the group G = (X | R), let di(w) be the minimal diameter of a van Kampen diagram with boundary label w. Then di(n) is the maximal value of di(w) for all w with |w| < n,w =G 1. The area of a van Kampen diagram with boundary label w gives the number of factors in a representation of w as a product of conjugates of elements of R and their inverses (by Proposition 2.10). The diameter is roughly the maximal size of a conjugator used in this representation. It is easy to see that the isodiametric function does not depend (up to equivalence) on the finite presentation of G. It is known [20,52,85,90] that for every finitely presented group G the Dehn function f (n) and isodiametric function g(n) satisfy the following double exponential

inequality:

f (n) < abg(n)

for some constants a, b. This immediately implies that the word problem in G is solvable if and only if the isodiametric function is recursive. It is still an open problem whether one can reduce the number of exponents to one.

Problem 2.19 (Cohen [52], also attributed to Stallings) Is it true that for every finitely presented group G there exists a constant a > 1 such that

f (n) < ag(n)

where f, g are, respectively, the Dehn function and the isodiametric function of G?

2.5 Filling length functions and the space complexity

If G = {X | R},w = 1 in G, then there is a sequence of transformations

w ^ w1 ^ ■■■ ^ 1 (4)

where at every step we either insert a relation from R±1, insert or delete a subword of the form xx-1, x e X±1 [150]. The area of w is equivalent to the minimal length of any such sequence. We can also estimate the space needed by a Turing machine in order to recognize words which are equal to 1 in G by looking at the sizes of the intermediate words wi. The minimum for all sequences (4) of the maximal length of wi is called the filling length of w. One can follow Gromov [98] and define the filling length function FL(l) of a group using the filling length of words in the usual way. Gromov [99, Page 100] noticed that in many finitely presented groups FL(l) is at most a constant factor of the isodiametric function of G, and asked if it is so for all finitely presented groups.

FL is probably the most obvious way to define the space function for a group, but it turned out not to be the most natural function, or, more precisely, unlike in the case of Dehn functions, different natural definition of the space function give drastically different results. In particular, as suggested in Bridson-Riley [39], one can allow taking cyclic shifts of words and splitting a word wi into a pair of words (ui ,vi) each equal to 1 in the group. The resulting function is called the fragmenting free filling length function of a group denoted FFFL (l) [39] or the space function of a group [183]. Both Gromov's filling length function FL and Bridson-Riley fragmented filling length function FFFL have nice geometric interpretation in terms of the transformation of van Kampen diagrams. Computing the filling length amounts to removing cells of the diagram one by one without changing the base point on the boundary and looking at the lengths of the boundaries of the resulting diagrams. When computing fragmenting free filling length function of a group, we are also allowed to change the base point, and divide a diagram into two subdiagrams (and then taking the sums of lengths of

the boundaries of the pieces). It is proved in [39] that these functions behave differently for some finitely presented group G, for instance, the function FFFL can grow linearly while FL has exponential growth. Since cutting van Kampen diagrams is the main tool in studying them, the function FFFL seems to be the most natural group theory analog of the space function of a Turing machine (see Olshanskii [183]). As in the case of Dehn functions, the function FFFL does not depend on the presentation of a group (up to equivalence), and for every finitely presented group G there exists a non-deterministic Turing machine recognizing the word problem in G whose space function is equivalent to FFFL (this "diagram eating" Turing machine is essentially described in [210, Section 3, Proof of Theorem 1.1]). Thus the function FFFL is in general closer to the space complexity function of the word problem of a finitely presented group than FL.

Note that similarly to Theorem 2.17, but easier, one can establish the following

Proposition 2.20 (Olshanskii [183]) The space function of a finitely presented group G is equivalent to the space function of a non-deterministic Turing machine. The language accepted by this machine coincides with the set of words equal to 1 in the group.

2.6 Two examples of Dehn functions

2.6.A Two concrete groups. We shall give two standard examples of group presentations where the Dehn function is computed explicitly.

Example 2.21 The Dehn function of Z2 = {a, b | ab = ba) is at most quadratic (in fact it is exactly quadratic by, say, 2.9 or 3.2.A, but we shall prove only the upper bound).

Example 2.22 The Dehn function of the Baumslag-Solitar group BS(1, 2) = {a, b | bab-1 = a2) is at least exponential (in fact it is exactly exponential by, say, Groves and Hermiller [104], but we shall prove only the lower bound).

2.6.B HNN-extensions. Both examples are HNN-extensions (of the cyclic group). Recall [147] that if G is a group, A, B are isomorphic subgroups of G, and $: A ^ B is an isomorphism, then the HNN-extension of G with free letter t and associated subgroups A, B is the group

HNN(G; A, B, $) = {G, t | tat-1 = $(a) for every a e A.)

That is the presentation of that group is obtained by adding letter t to the generating set, keeping the defining relations of G, and adding the HNN-relation tat-1 = $(a) for every a e A. In fact it is enough to add HNN-relation for every generator of A. Hence if G is finitely presented, A, B are finitely generated, then HNN(G; A, b, is finitely presented. We shall also use multiple HNN-extensions. These correspond to a group G, and a collection of pairs of isomorphic subgroups Ai, Bi, i = 1,...,n and

Fig. 8 AnHNN-cell

isomorphisms $,: A, ^ Bi. The corresponding multiple HNN-extension of G has the following presentation

HNN(G; (A,), (B,), ($,)) = {G, t1..., tn | tlat-1 = $, (a) for every a e A,, i = 1,..., n).

A cell corresponding to an HNN-relation looks like a quadrangle (see Fig. 8) with edges labeled by ti on the opposite sides pointing the same way; a and $i (a) there are words representing the corresponding elements of Ai and Bi respectively.

If A is a van Kampen diagram over this presentation, and n is an HNN-cell inside it, then each edge of n labeled by ti must be an edge of another HNN-cell, hence HNN-cells with ti -edges form ti-bands (also called ti-corridors), that is sequences of cells n1,.. ,,nk where every two consecutive cells share a ti -edge. Bands are the main tools for studying van Kampen diagrams over multiple HNN-extensions. The following basic lemma was essentially proved in [163].

Lemma 2.23 Let A be a diagram over an HNN-extension presentation. Suppose that A is minimal, i.e. has the smallest number of HNN-cells among all diagrams with the same boundary label. Then no ti-band is an annulus (i.e. one of the ti-edges of the first cell in the band does not coincide with any other ti-edge of the band).

Proof Indeed, suppose a ti -band T is an annulus. Suppose for convenience that the ti -edges of that band point inside the annulus (the other case is similar). We can also assume that the subdiagram A' bound by the inner boundary component of T is a smallest (under inclusion) among all subdiagrams bounded by inner boundaries of tj-annuli. Then A' cannot contain any tj-annuli. Since the boundary of A' does not contain any tj -edges, it cannot contain any HNN-cells except for the cells from T. Hence, by the van Kampen lemma (more precisely by Proposition 2.4) the boundary label of A' is equal to 1 in G. Since $i is an isomorphism, then the label of the outer boundary component of T is equal to 1 in G. Hence we can replace the annulus T together with A' by a van Kampen diagram over G (by Lemma 2.3). This reduces the number of HNN-cells in the diagram without changing the boundary label, a contradiction. □

Lemma 2.23 immediately implies the main property of HNN-extensions

Corollary 2.24 The group G naturally embeds into HNN(G; (Ai), (Bi), (ti)).

Proof Suppose that the natural homomorphism from G to the HNN-extension

HNN(G; (a,), (Bi), (tt))

has a word w in the kernel. Then by Lemma 2.3 there exists a van Kampen diagram A over the presentation of HNN(G; (Ai), (Bi), (ti)) with boundary label w. We can assume that A is minimal. By Lemma 2.23 it does not contain ti -annuli. Hence every maximal ti -band in A must start and end on the boundary of A. But the boundary of A does not have ti -edges. Hence A does not have HNN-cells, and it is a diagram over the presentation of G. By Proposition 2.4, w is 1 in G. Thus the kernel of the natural homomorphism is trivial. □

2.6.C Proofs of Examples 2.21, 2.22. Now Examples 2.21, 2.22 are easy to prove.

Example 2.21. The group Z2 can be considered as an HNN-extension in two different ways: we can consider a or b as a free letter (indeed ab = ba is equivalent to aba-1 = b and to bab-1 = a). Hence we can consider a-bands and b-bands. Let A be a van Kampen diagram over the presentation of Z2 with minimal number of cells among all diagrams with the same boundary label. It is easy to see (the proof is similar to the proof of Lemma 2.23) that every a-band can intersect every b-band in A only once. Since there are no a-and b-annuli in A (by Lemma 2.23), every maximal a-and b-band starts and ends on the boundary of A. Hence if l is the length of the boundary of A, then there are at most l /2 maximal a-bands and at most l/2 maximal b-bands in A. Since every cell in A is the intersection of an a-band and a b-band, the area of A is at most 12/4 and the Dehn function is at most quadratic.

Example 2.22. We are going to use the fact that the cyclic subgroup {a) is exponentially distorted in the Baumslag-Solitar group BS(1, 2): bnab-n = a2" (so the element a2 has linear in n length in BS(1, 2) and exponential length in {a)).

Consider a diagram A over the presentation of the Baumslag-Solitar group with boundary label ab-"a-1b"a-1b-"a-1b" as on Fig. 9. For simplicity suppose that n is odd. Again we can assume that A has the smallest number of cells among all diagrams with the same boundary label.

Since b is a free letter, we can consider b-bands in A. The length of the boundary of A is 4n+4. Consider the b-band that starts at a b-edge on one of the four sides labeled by bn. It must end on one of the other two sides labeled by bn where the direction of b-edges is opposite (we trace the boundary counterclockwise). Since b-bands do not intersect, the b-band B staring at the middle b-edge (here we use the fact that n is odd) must end at the middle b-edge of the other side of the diagram (see Fig. 9). It is not difficult to show that the b-band can only be horizontal (so only one of the two possibilities on Fig. 9 can occur). Let u be the label of the shorter side p of the b-band labeled by a power of a. Then the path p cuts off a subdiagram A' with boundary label

b(n-1)/2 ab^Wu-1. By Lemma 2.3, that word must be equal to 1 in BS(1, 2). Note that

b("-1>/2ab-("-1>/2 = a2(n-1)/2

in that group. Hence u = a2" 1)/2. By Corollary 2.24, then u has length at least 2(n-1)/2. But that means that the length of B is at least 2(n-1)/2, hence the area of A

Fig. 9 A diagram with boundary label

ab-na-1bna-1b-na-1bn over the presentation of the Baumslag-Solitar group BS(1, 2)

is at least 2(n 1)/2 while the perimeter is linear in n. Since A is a minimal diagram, the Dehn function of the BS(1, 2) is at least exponential.

2.7 Isoperimetric functions of geodesic metric spaces: different area functions

The notion of the area of a loop is well defined in the setting of Riemannian manifolds as well as in finitely presented groups (see for instance [37, Chapter 1, Section 8.1.4]). It also can be defined for geodesic metric spaces. In fact there are several kinds of definitions of area in that case. Below, we shall mention the definition of Bowditch [28, Sections 2.3, 5; 29] Gromov's definition from of coarse area function from [99, 5.F] and a definition using metric currents [5,234,235]. In all these definitions (X, dist) is a geodesic metric space. By a loop in X we shall always assume a Lipschitz (hence rectifiable) map from the unit circle S1 to X. Let ^ be the set of all loops in X. Each definition of an area defines a function A: ^ ^ R+. Then we define the corresponding isoperimetric function as the function A(l) such that A(l) = max{ A(y) | Y e \ Y| < l}. Sometimes we shall call any function f >- A also an isoperimetric function of X.

2.7.A The definition of Bowditch. For every curve a: [0, 1] ^ X,by-a we denote the curve a(1 -1) (that is the same curve traced in the opposite direction). Let a0, a1, a2 be three Lipschitz curves [0, 1] ^ X connecting points A, B e X. Then we can form three loops ai U (-at+i) where i = 0, 1, 2, and +1 is understood modulo 3. Whenever three loops are obtained this way, one says that they form a 0-loop. Now

let ^ be the set of all loops in X.6 Let A be a function from ^ to R+ satisfying the following two conditions

(B1) [The triangle inequality for 0-loops.] For every three loops y1,y2, y3 e ^ forming a 0-loop, we have A(y1) < A(y2) + A(y3). (B2) [The quadrangle inequality.] Suppose that y e ^ is split into four subpaths a1,

a2, a3, a4. Then A(y) >kd1d2 where d1 = dist(a1, a3) and d2 = dist(a2, a4), k is a constant.

2.7.B The coarse definition of area function by Gromov. A S-filling of a loop y is a pair consisting of a triangulation of the planar unit disk D2 and of an injective map f from the set of vertices of the triangulation to X such that the restriction of f to the points on d D2 = S1 coincides with y. The image of the map f is called a filling disk of y . We can join the images of the vertices of each triangle of the triangulation of D2 by geodesics. If two of these vertices are on dD2, we replace the geodesic by the arc of y(S1) connecting these points. Thus we obtain a finite number of triangles (some sides are geodesics, some sides are arcs in y(S1). These triangles are called bricks. The length of a brick is the sum of the lengths of its sides. The maximum of the lengths of the bricks in a partition is called the mesh of the partition. The partition is called S-filling partition of y if its mesh is at most S. The corresponding filling disk is called S-filling disk of y. The S-area of y is the minimal number of triangles in a triangulation associated to a S-filling partition of y. We denote it by As(y). If no S-filling partition of the loop y exists, we put As(y) = to. Given the definition of a S-area of a loop, we can naturally define the S-isoperimetric function AS(l) as the supremum of S-areas of all loops of length at most l. Note that AS (l) may be equal to even if the As(y) < to for every y. The corresponding isoperimetric function will be denoted by AS(l). We shall always assume that our space X is /¿-simply connected for some / > 0, that is A^(l) < to for every l. In this case all functions AS, S > / are equivalent (see [72]). Note that if two metric spaces X and Y are quasi-isometric, and /-simply connected, then their AS-functions are equivalent for S > /.

Note that the coarse area function AS satisfies the Bowditch conditions (B1), (B2).

2.7.C The metric currents definition. This definition was used to obtain remarkable results in [234,235]. Since it is more complicated than the other two definitions, we present only some ideas it is based on, referring the reader to [5,43]. First let M be an n-dimensional Riemannian manifold. Let D2 be a 2-dimensional disc in R2 equipped with the Euclidean coordinate system, and f be a differentiable map from D2 to M. Then for every x e D2 we have two derivatives fx = (a1,...,an) and fy = (b1,..., bn), vectors in the tangent space Tf(x)(M) corresponding to the two basic directions in D2. Then the Jacobian of f at x is the number

J(x) = Z « ft aj )

i <j x 7

6 In fact it is enough to assume that ^ is a set of loops closed under the operation of cutting a loop into two loops by a geodesic segment connecting two points on the loop. Thus the area function can be defined even for some non-simply connected spaces.

(see [43, Section 15]) Integrating J(x) over D gives the area of the map f. If f is not differentiable but only Lipschitz, then by the classical Rademacher's theorem (see [43]), f is differentiable almost everywhere with respect to the Lebesques measure, so J(x) is defined for almost all x, and we still can integrate J(x) over D. So areas are defined for Lipschitz maps too. This allows one to define a Lipschitz area function L (n) in every Riemannian manifold M.

Now if M is not a Riemannian manifold but just a metric space, and f is a Lipschitz map from D2 to M then in order to define an area of f, we need to use, for example, the Hausdorff measure (one can use other measures as well, such as the inner Hausdorff measure of Busemann [43] or mass* measure of Gromov [97, Section 4.1]). Recall, that if E is a subset of M, then the 2-dimensional Hausdorff measure of E is, up to a scalar multiple, the limit as e ^ 0 of the infimum of sums H2(E) = £ diam(Ei)2 for all covers of E by countably many balls Ei of diameters < e. Then the area of the map f is the H2-measure of f (D2). Note that for Riemannian manifolds M this definition coincides (up to a constant factor) with the previous definition.

Unfortunately this definition behaves badly if we try to estimate area functions of limits of metric spaces, say, asymptotic cones: the area of a limit is not the limit of areas. In order to overcome that we need to further generalize the Lipschitz maps.

A singular Lipschitz chain is a finite formal combination C = Xi mif where f is a Lipschitz map from some region in R2 to the metric space X. The area of a chain C is X mi Area( f) (see [97]). The boundary of one Lipschitz map f: D2 ^ X is the restriction of f to d D2. The boundary of a linear combination is the linear combination of boundaries which can be viewed as an element of the first homology group of X. Thus we can define a (homological) area of a loop y as the smallest area of a singular Lipschitz chain with boundary Y.7

One can introduce a metric on the space of all singular Lipschitz chains from R2 to X. It can be, say, the flat metric (the definition goes back to Witney [236]), similar to the well-known Gromov-Hausdorff metric [103]. Then one can complete the space of singular Lipschitz chains with respect to this metric and obtain the space of 2-dimensional integral metric currents. The area of an integral metric current is the limit of areas of the corresponding singular Lipschitz chains. Thus one can view 2-dimensional integral metric currents as infinite linear combinations of Lipschitz maps from D2 into X.

2.8 Cayley complexes and metric spaces

Let P = (X \ R} be a presentation of a group G with X finite, X = X-1. Consider the Cayley graph V = TX (G) (i.e. G as the set of vertices and {(g, gx) \ x e X, g e G} as the set of edges. If we label every edge of V by the corresponding element x e X, we get a labeled Cayley graph. The graph is directed but each edge (g, gx) has the

7 Note that a homological version of the Dehn function of groups can be defined in a similar way [86]. The homological Dehn function is easier to compute, and it bounds the ordinary Dehn function from below. It has been studied, for example, in [15].

inverse (gx, x). Thus when we travel from g to gx, we read x, when we travel from gx to g, we read x-1.

Every group word w in X labels unique path in the labeled Cayley graph starting from any vertex g e G .It ends at the vertex gw. In particular the equality w = 1 is true in G if and only if that path labels a loop starting from any vertex of G. For every r e R, let us consider all loops y in T labeled by r and let us glue in a disc Dy to T with d Dy = y . This way we obtain an (edge-labeled) CW-complex C T(P), the Cayley complex of G corresponding to the presentation P. Note that every simplicial loop in that complex (i.e. loop consisting of edges of T) is labeled by a group word W in X which is equal to 1 in G. By the van Kampen lemma, there exists a van Kampen diagram over P with boundary label W. That van Kampen diagram is a tesselated disc D2, and the labels of its edges give us a map from D2 to the labeled graph C T(P) such that the image of d D2 is y . This immediately implies that,

• if P is finite then A^(l) for CT(P) is always finite for, say, / = max{|r | | r e R}, i.e. CT(P) /-simply connected;

• the Dehn function of G is equivalent to AS for every sufficiently large S and satisfies Bowditch's conditions (B1), (B2) with 1 equal to the square of the maximal length of a defining relator.

Notice the following important topological properties of the Cayley complex. (C1) The Cayley complex is simply connected.

(C2) The group presentation is finite if and only if the corresponding Cayley complex is locally compact.

2.9 The Dehn functions of groups acting on metric spaces

Geometric group theory studies groups acting by isometries on metric spaces. We say that the action of G on X is geometric if it is co-compact, and properly discontinuous. Here co-compact means that there exists a compact subset Y c X such that X = G ■ Y; properly discontinuous means that for every point x e X there exists a neighborhood U 3 x such that y ■ U n U = 0 for every y e G\{1}. For example the fundamental group of a compact Riemannian manifold M acts geometrically on the universal cover of M.

It is easy to observe (see Gromov [99]) that if a finitely presented group acts geometrically on a simply connected metric space with the coarse space function AS (see 2.7.B), then the Dehn function of G is equivalent to AS.

For Riemannian manifolds, the fact that the Riemannian area function (see 2.7.C) is equivalent to AS is not obvious, although it is a part of "folklore". It was proved in all details by Bridson [35].

Theorem 2.25 (Bridson [35]) If a finitely presented group acts geometrically on a simply connected Riemannian manifold, then the Dehn function of the group and the corresponding filling function of the manifold are equivalent.

Since Z2 acts geometrically on the Euclidean plane R2 by translations, and, as we learned in Real Analysis (and ancient Greeks knew without any Real Analysis), the area function of R2 is , we finally deduce that the Dehn function of Z2 is quadratic.

2.10 Asymptotic cones of metric spaces and groups

2.10.A The definition. Let X be a metric space with distance function dist, say, a Cayley graph of a finitely generated group. Consider a non-decreasing sequence of numbers d = (di) with lim di = to, called scaling constants and the sequence of metric spaces X/di where W/n denotes the space W with distance function dp (dist is the distance function in W). We want to define a limit of this sequence of spaces. One of the reasons is that we want to "forget" about local properties of X in favor of global properties. In particular, we want to study properties of configurations of points in X which are satisfied by configurations with arbitrary large pairwise distances between points, and do not want to be disturbed by properties which only hold for configurations of small diameter. The limit space is supposed to have the global properties of X while the local properties may disappear. One way to define a limit was proposed by Gromov [96]. The limit is called the Gromov-Hausdorff limit but that definition can only be applied when the spaces X/di are uniformly locally compact which is true in the case of Cayley graphs of groups of polynomial growth but not true in general. A much more universal definition (which coincides with Gromov's when his definition applies) was given by van der Dries and Wilkie [229]. The limit is called an asymptotic cone of X and is defined as follows. In fact we shall define a limit of any sequence of spaces (Xi, dist;). As usual for definitions of boundaries and completions of different sorts, the limit will consist of sequences (x; ), x; e Xi. Thus consider the direct product Z = n X; . The most obvious way to define a distance function on Z is coordinate-wise:

dist ((x; ), (yi)) = limdisti (x; , yi).

The problem is that the limit may not exist (we ignore the issue that the limit can be to for now). To circumvent this problem, let us pick a non-principle ultrafilter on N. that is a set m of subsets of N which is closed under intersections, super-sets, does not contain finite subsets, and with every set U c N either U or N\U is in m. The sets from m are called big, the other sets are small. We can also view m as a finitely additive measure on the set of all subsets of N which has only two values 0, 1, and m(N) = 1 while m(0) = 0. If A; is a sequence of statements and A; holds for all i from a big subset, we say that A; holds m-almost surely.

To prove the existence of ultrafilters one needs the Axiom of Choice (or, more precisely, a slightly weaker hypothesis, the so called Boolean prime ideal theorem [57]), so although we believe that ultrafilters exist, one cannot actually define an explicit ultrafilter using only axioms of Zermelo and Frenkel. Anyway, as soon as we fix an ultrafilter m, we can modify the definition of the limit of a sequence of numbers, introducing the definition of the m-limit. It is almost exactly the same as the standard calculus definition: if bi is a sequence of real numbers, then

limm(bi) = b means that for every e > 0 the set of indices i such that \bi - b\ < e is big.

So the only difference with the standard definition of a limit is that we replaced the words "for almost all indices i" by "the set of indices i is big". The fact that m is an ultrafilter immediately implies—exercise—that any sequence of numbers has unique

«-limit (it may be equal to ±to). For example the limit of the sequence 1, 0, 1, 0, 1,... is 0 if the set of even numbers is big, and 1 otherwise.

Now we have a "distance" function on the set nXi: dist((x;), (yi)) = lim® distj (xi, yi). Clearly the triangle inequality is satisfied. Since this function can take infinite values, we consider a "connected component". Namely, pick a point o = (oi) in nXi, and let nbXi be the set of all points at finite distance from o. This restriction of the "distance function" to nbXi is a quasi-distance, because different points can be at distance 0. For example, if two points (xi), (yi) are such that xi = yi for all i from a big set, then the distance between these points is 0. The relation (xi) ~ (yi) iff dist((x;), (yi)) = 0 is an equivalence relation and the quotient nbXi/ ~ is a metric space with the induced metric. That metric space is called the «-limit of Xi corresponding to the observation point (oi).

Definition 2.26 The asymptotic cone of a metric space X corresponding to an ultrafilter ®, an observation point o = (oi), oi e X, and a sequence di as above is the «-limit of spaces X/di corresponding to the observation point o. It is denoted by Con®(X,(dn), o).

Asymptotic cones of a group endowed with some metric (say, a finitely generated group with the word metric8 or a Lie group with Riemanian metric) are asymptotic cones of the corresponding metric space.

2.10.B Some properties of asymptotic cones. Here are some basic properties of asymptotic cones that can be found in [72,99,229] and other papers. Some of these properties are quite easy to prove, for other properties we provide references.

(1) If the metric space X is homogeneous (say, X is the Cayley graph of a group), then asymptotic cones of X do not depend on the choice of the observation point (so we shall always assume, if X is a Cayley graph, that the observation point is (e) and we shall omit it from the notation for an asymptotic cone of a group).

(2) If two metric spaces X and Y are quasi-isometric, then their asymptotic cones corresponding to the same ultrafilters, same scaling constants and appropriately chosen observation points are bi-Lipschitz equivalent, hence homeomorphic. In particular, the asymptotic cones (with the same parameters) corresponding to two Cayley graphs of the same finitely generated group but different finite generating sets are bi-Lipschitz equivalent.

(3) For every group G the set nbG is a group (with coordinate-wise multiplication) acting transitively on any asymptotic cone Con®(G, (di)) by left multiplication.

(4) Any asymptotic cone is a complete metric space.

(5) For every sequence of paths pi: [0, li ] ^ X parameterized by their lengths (li > 0), the function p: [0, lim® li ]^Con®(X, (di), (oi)) (wheredist(o;, pi (0)) = O(di)) is a path parameterized by its length. Moreover if pi is an (A, Bi)-quasi-geodesic (i.e. it is a (A, Bi)-quasi-geodesic map from the interval onto its image), Bi = o(di), or an A-Lipschitz path, then p is an A-bi-Lipschitz path or

8 That is the metric on the Cayley graph corresponding to a finite generating set.

A-Lipschitz path respectively (i.e. an A-bi-Lipschitz or an A-Lipschitz map from an interval to X).

(6) In particular, the m-limit of every sequence of geodesic paths in X is a geodesic path in C = Conm(X; (di), (o;)) (it can be infinite or a point or empty). It is not true that every geodesic path in C is an m-limit of geodesic paths in X but if g is a geodesic in C, then for every e > 0 there exists a piecewise geodesic path g' with k = k(e) geodesic pieces that is an m-limit of k-piecewise geodesic paths in X, and g' (resp g) is in e-neighborhood of g (resp. g') [74], i.e. the Hausdorff distance between g, g' is at most e.

(7) Suppose that C = Conm(X; (di), (o;)) contains a simple geodesic triangle T. Then for every e, there exists a k = k(e) and a sequence of geodesic k-gons n in X such that n = limm n is at Hausdorff distance at most e from T, contains the midpoints of the three sides of T, and each n is thick, that is the middle third of each side of n is far from the union of the other sides, and every vertex of n is far from the vertices not adjacent to it (a precise definition of thick geodesic polygons can be found in [74]).

(8) An asymptotic cone of a finitely generated group may depend on the ultrafilter, and the scaling constants (di) [74,140,228]. If the Continuum Hypothesis is false, then there exists a group (an uniform lattice in SLn (R)) with the set of non-homeomorphic asymptotic cones 22^0. On the other hand if the Continuum Hypothesis is true then the set of all asymptotic cones of all countable metric spaces is of cardinality continuum [140], and there exists one finitely generated (and recursively presented) group with continuum pairwise non-^-equivalent (hence non-homeomorphic) asymptotic cones [74]. There are also finitely presented groups with two non-^-equivalent asymptotic cones [193].

2.11 Asymptotic cones andDehn functions

We have mentioned that asymptotic cones of finitely generated groups capture asymptotic properties of groups, i.e. properties that manifest themselves on configurations of elements of arbitrary large diameters. For example, working with hyperbolic groups (that is groups all whose asymptotic cones are R-trees (see 3.1.A) it is convenient to remember that configurations of elements with large diameter in a hyperbolic group behave like points on a tree with similar pairwise distances.

In particular, asymptotic cones of a group reflect the properties of the Dehn function.

Theorem 2.27 (Gromov [99]) Suppose that all asymptotic cones of a group G are simply connected. Then G is finitely presented, has polynomial isoperimetric function and linear isodiametric function.

Proof The proof of this remarkable statement is very easy. Indeed, if, say, the Dehn function f of G grows faster than any polynomial, then for every k > 1 f satisfies inequality f (n) > kf(n/2) for infinitely many n. For each k let Yk be a loop in the Cayley complex of G such that Area(Yk) > kf(\Yk\/2). Let dk be the length of Yk. For some ultrafilter m, consider the asymptotic cone C = Conm(G, (dk)), and the m-limit y of Yk in C. Then y has length 1. Since C is simply connected by assumption,

there exists a continuous map $: D2 ^ C with d(g) = y . Since $ is continuous, and D2 is compact, $ is uniformly continuous. Hence there exists an e > 0 and a decomposition of D2 into, say, n triangles of A1,..., An such that the perimeter of each $(Ai) is at most 1/3. By Property 6 of asymptotic cones from 2.10.B, it follows, that we can assume that the sides of all curvy triangles $(Ai) except for the sides contained in g(dD2), are «-limits of geodesics from the Cayley graph of G. Therefore each $(Ai) is an «-limit of some sequence of loops Slm, m = 1,..., in the Cayley graph. But that means a disc bounded by the loop Ym can be decomposed into n loops Slm of length < dm/3 + o(dm) «-almost surely for all m > 1. Hence Area(Ym) < nf (dm/2) «-almost surely for all m, a contradiction. □

Riley [203] proved that under the assumptions of Theorem 2.27, the group also has linear FL function (and hence linear FFFL function as well).

The converse statement of Theorem 2.27 is not true. In [192], we showed that the group (a multiple HNN-extension of a free group)

{a, b, t1, t2 I tiat-1 = ab, t\b = bti, i = 1, 2)

has cubic Dehn function, linear isodiametric function and non-simply connected asymptotic cones. The "cubic" in that statement can be improved to as low as n2 log n by modifying the group using the method from [191]. It is impossible, though, to have an example with quadratic Dehn function.

Theorem 2.28 (Papasoglu [196]) All asymptotic cones of a finitely presented group having quadratic Dehn function are simply connected.

As Theorem 2.27, this is a very important fact, but the idea of the proof is not that difficult. We take a van Kampen diagram A over the presentation of our group G, and start removing layers of cells one by one from the outside in, peeling the diagram as an apple, so that each layer is 1-cell wide. The fact that the area is quadratic lets us estimate the number of layers and their lengths. This allows us to decompose the diagram into a constant, say, c, number of subdiagrams whose perimeters are at most half of the perimeter of A. That, in turn, implies that every loop y in any asymptotic cone of G can be decomposed into O (1) loops of length |y/2|. This implies simple connectivity of the asymptotic cone.

An analysis of Gromov's proof of Theorem 2.27 allowed Papasoglu to obtain the following useful result.

Theorem 2.29 (Papasoglu [73]) Suppose that all asymptotic cones of G are simply connected and have Gromov coarse area function AS (l) bounded by lc. Then the Dehn function of G is bounded by nc+e for every e > 0.

That result was used by Drutu [73] (see also 3.2.A and 4.1.A below).

Note that Theorem 2.28 does not give metric properties of asymptotic cones, only the topological property of being simply connected. In a simply connected asymptotic cone even of a nice nilpotent group, a Lipschitz loop does not necessarily bound a Lipschitz 2-disc or even an integral 2-current (it can be deduced from [6] for the Heisenberg group H3, for other examples see Wenger [235], and 3.2.C). But for groups with quadratic Dehn functions, the asymptotic cones are much nicer.

Theorem 2.30 (Wenger [235]) Let G be a finitely presented group with quadratic Dehn function. Then every asymptotic cone of G admits a quadratic isoperimetric inequality in terms of 2-currents, that is for some constant C, every Lipschitz loop y bounds an integral 2-current of area < C \y\2.

3 Isoperimetric functions of important groups

3.1 Hyperbolic groups and asymptotic cones

3.1.A The definition and a characterization. There are several equivalent definitions of 5-hyperbolic (in other terminology, word hyperbolic) metric spaces and groups [98]. Rips' definition is the following.

Definition 3.1 A geodesic metric space X is 5-hyperbolic for some 5 > 0 if every geodesic triangle9 in X is 5-thin, that is every side of it is in the closed 5-neighborhood of the union of the other two sides. A finitely generated group G is 5-hyperbolic if its Cayley graph is 5-hyperbolic. A geodesic metric space (a finitely generated group) is hyperbolic if it is 5-hyperbolic for some 5 > 0.

This property is obviously invariant under quasi-isometry, so, in particular, hyperbolicity of a finitely generated group does not depend on the choice of a (finite) generating set.

Note that if X is 5-hyperbolic, then for every real d > 0 we have that X/d is 5/d-hyperbolic. This and Properties 6, 7 from 2.10.B immediately imply that every asymptotic cone of a hyperbolic geodesic metric space is 0-hyperbolic. Hence in every geodesic triangle in the asymptotic cone every side is contained in the union of the other two sides. This means that every asymptotic cone of a hyperbolic geodesic metric space is an R-tree. Thus all asymptotic cones of a hyperbolic group are complete R-trees.

The converse statement is true also. Thus we have

Theorem 3.2 (Gromov [98,99]) A finitely generated group G is hyperbolic if and only if every asymptotic cone of G is an R-tree.

It turns out that the R-trees that can appear as asymptotic cones of groups are of three kinds only because of the following recent theorem of Sisto.

Theorem 3.3 (Sisto [220, Corollary 5.9]) If an R-tree T is an asymptotic cone of a group, then it is a point, a line or an R-tree with valency 2^° at each point (i.e. removing every point of the tree separates the tree into 2^0 connected components).

Remark 3.4 In view of [77,159,169], by Theorem 3.3 there are three possible isom-etry types of R-trees appearing as asymptotic cones of groups: the point, the line, the tree with valency 2^0 at every point.

9 That is a triangle where all three sides are geodesics.

Remark 3.5 By [74, Proposition 6.1], an asymptotic cone of a group is a line if and only if the group is virtually cyclic.10 It is obvious that an asymptotic cone is a point if and only if the group is finite.

3.1.B First examples of hyperbolic groups. Finite and free groups, and more generally free products of finite and cyclic groups are examples of hyperbolic groups.

The classical (motivating) examples of hyperbolic groups are fundamental groups of compact negatively curved Riemannian manifolds. In particular co-compact lattices in Lie groups SOn,1 (R) are hyperbolic because these are fundamental groups of compact Riemannian manifolds of constant negative curvature. Hence if the genus of a closed oriented surface Sg is at least 2, then the fundamental group of Sg is hyperbolic. It has the presentation

{x1, y1,..., xg, yg | [x1, y1]... [xg, yg ] = 1)

found by Dehn. It is easy to see that no two cyclic shifts of the relator or its inverse have a common prefix of length more than 1. Thus this presentation satisfies the small cancelation condition C'(4^—1).

3.1.C The small cancelation conditions.

Definition 3.6 Let k > 0, and let P = {X | R) be a group presentation. We say that P satisfies the condition C'(k) if the length of any common prefix of any two different cyclic shifts of words r1, r2 e R±1 (called a piece) is strictly less than k min(|r11, |r21) (recall that all words in R are cyclically reduced by our assumption (see 2.1.A), so cyclic shifts of these words and their inverses are reduced words).

The main property of C'(k)-presentations is the following Greendlinger Lemma [147], proved by Dehn in the case of n1(Sg), g > 2.

Theorem 3.7 (See Lyndon, Schupp [147]) Let P = {X | R) be a group presentation satisfying C'(k),k < 1 /6, then every minimal van Kampen diagram A over P either has no cells or has a cell n with d(n) = uv with u > | v |, and u is a subpath of d A (this cell is called a Greendlinger cell).

Theorem 3.7 implies that in every group where the (finite) presentation P satisfies C'(6) the word problem can be solved by the following Dehn algorithm. Take a reduced word w. If a cyclic shift w' of w contains more than a half of a cyclic shift of a defining relation r or its inverse (r' = uv, w" = uw", u > |v|), then replace uw" by v_1w" and reduce the resulting word. The new words is equal to 1 modulo P if and only if w = 1 modulo P. Since v~lw" is shorter than w, we can continue until we either get the empty word (in which case we conclude that w = 1 modulo P) or we get a non-empty word for which the shortening is no longer possible (in which case we conclude that w = 1 modulo P).

Note that every group possessing a finite presentation for which Dehn's algorithm works (we shall call this a Dehn presentation) has linear Dehn function because remov-

10 Recall that a group possesses a property P virtually if it has a finite index subgroup possessing P.

ing Greendlinger cells from a minimal van Kampen diagram reduces the length of the boundary (hence the area of the diagram cannot exceed the perimeter).

3.1.D The linear isoperimeric inequality. Gromov proved that every hyperbolic group has linear Dehn function and in fact possesses a finite Dehn presentation. Here is a relatively short proof of this fact using asymptotic cones.

Theorem 3.8 (Gromov [98]) Every hyperbolic group is finitely presented and has a finite Dehn presentation, and hence linear Dehn function. (Thus a group is hyperbolic if and only if it has a finite Dehn presentation.)

Proof We present here a proof that illustrates the usefullness of asymptotic cones. Let G be a hyperbolic group. We need the following statement first. A path y :[0,1r in the Cayley graph r of a group G is called a bump if the length l of the path is at least three times bigger than the distance between its end points.

Lemma 3.9 There exists a constant C such that every bump of length l > C contains a sub-bump of length at most 11.

Proof Suppose that such a constant does not exist. Then for every n = 1, 2,... there exists a bump Yn of length dn > n which does not contain sub-bumps of length < dn/3. Pick an ultrafilter m and consider the asymptotic cone C = Conm(G, (di)). The space C contains the m-limit y of paths Yi. Then by Property (5) of asymptotic cones from 2.10.B y is a path of length 1 and the distance between its endpoints is at most 1/3. Recall that C is an R-tree (Theorem 3.2). A path of length 1 on a tree with endpoints at distance < 1/3 must have a subpath of arbitrary small (but non-zero!) length which is a loop. Let a be that loop of length at most 1, a be the beginning (= the end) point of that loop. Then a is a double point on y : a = y(p) = Y(p + e) where e < 1. That means the distance between y; (p) and y; (p + e) is o(di) while the length of the subpath y; between p and p + e is O(di) and at most 4di + o(di) < 1 di m-almost surely. Therefore for infinitely many values of i the subpath y; (p, p + e) is a bump of length at most |di, a contradiction. □

Now Theorem 3.8 can be deduced as follows. Let G be a hyperbolic group. Let C be the constant from Lemma 3.9. Let R be the (finite) set of all words in the generators X of G which are of length < 2C and equal to 1 in G. Lemma 3.9 immediately implies that every loop in the Cayley graph of G has a subpath that is a bump of length at most C (note that a loop is a bump too). The bump together with a geodesic connecting its endpoints is a loop of length at most C + |C < 2C. Therefore every group word in the alphabet X that is equal to 1 in G contains more than a half (in fact, at least |) of a relator from R. This implies that (X \ R} is a finite presentation of G satisfying the Dehn property. □

The converse statement for Theorem 3.8 is also true and well-known:

Theorem 3.10 (Gromov [98]) A finitely generated group is hyperbolic if and only if it has linear isoperimetric inequality.

Exercise 3.11 Prove the "if" part of Theorem 3.10 using asymptotic cones. (Hint: use Property 7 from 2.10.B.)

Exercise 3.12 Prove all other basic properties of hyperbolic groups from [98] using asymptotic cones. (Asymptotic cones do not give precise values of constants so you should replace estimates like 400V500 by "some constant".)

3.1.E Equations in hyperbolic groups. Several other algorithmic problems have nice solutions in hyperbolic groups too. For example, Theorem 2.11 about solvability of quadratic equations is true if we replace there "free" by "hyperbolic" [174]. All solutions of quadratic equations without coefficients in a hyperbolic group can be described by the following

Theorem 3.13 (Lysenok [148]) Let S be a closed surface. For every hyperbolic group G there exist only finitely many homomorphisms of n1 (S) to G up to the action by the mapping class group of n1 (S) and the action of Aut (G) on G.

The proof of this theorem is relatively elementary comparing with the similar looking Theorem 2.13.

An analog of Makanin's Theorem 2.15 for free groups is also true for torsion-free hyperbolic groups in general.

Theorem 3.14 (Rips, Sela [205]) There exists an algorithm to check whether a system of equations over a given torsion-free hyperbolic group has a solution.

3.1.F The language theory point of view. A language is a set of words in a finite alphabet X. An automaton is a finite labeled directed graph (labels are taken from a finite alphabet X) with two distinguished subsets of vertices S (start) and F (finish) [50]. For example, any finite subgraph of a labeled Cayley graph becomes an automaton if we choose the start and finish vertices. A language L is recognized by an automaton M if it consists of all words that can be read on M starting from a start vertex and ending at a finish vertex. Such languages are called regular.

It is easy to see that the language of all group words in generators of a finitely generated group that are equal to 1 in that group (let us denote it by W (G)) is regular if and only if the group is finite. For a bigger class of context-free languages, i.e. languages recognized by more advanced pushdown automata (for the definition see [125]), the situation is already different as shown by the following non-trivial theorem.

Theorem 3.15 (Muller, Schupp [166]) Let G be a finitely generated group. G is free if and only ifW (G) is context-free and G is torsion-free. G is virtually free if and only ifW (G) is context-free and accessible.

Recall that a group G is called inaccessible if it contains an infinite sequence of subgroups G > G1 > G2 > ... and a sequence of actions by isometries on simplicial trees11 T; such that G; is the stabilizer of a vertex in T; and all stabilizers of edges are finite. An inaccessible finitely generated group was constructed by Dunwoody [75]. A

11 A simplicial tree is just a loopless connected graph in the sense of Serre [218].

group is accessible if it is not inaccessible. All finitely presented groups are accessible [76].

By Holt [123], the word problem in every hyperbolic group is real time recognizable, which, informally, means that it can be recognized by the Turing machine that reads its input at a constant rate, and stops at the end of the input (regular and context-free languages are real time recognizable). This implies, in particular,

Theorem 3.16 (See, for example, Holt [123]) The word problem in every hyperbolic group can be solved in linear time by a (multi-tape) Turing machine.

Note that the fact that the Dehn function is linear directly implies only that the word problem can be recognized in linear time by a non-deterministic Turing machine. The proof of Theorem 3.16 uses the fact that every hyperbolic group has a Dehn presentation (Theorem 3.8). In [124], Holt and Rees used the fact that nilpotent and some relatively hyperbolic groups have so-called generalized Dehn presentations introduced earlier by Cannon, Goodman and Shapiro. They prove that groups from these classes also have real time recognizable word problem.

For more information about groups with word problem from some more complicated language classes see Gilman [91].

3.1.G The isomorphism problem for hyperbolic groups. The isomorphism problem for hyperbolic groups12 is decidable. This is a very strong theorem proved in the torsionfree case by Sela (see [217] for a weaker result, and [63] by Dahmani and Groves for the full proof) and in the general case by Dahmani and Guirardel [65].

Here we present a short description of the solution of isomorphism problem which is a somewhat modified text sent to us by François Dahmani.

Let G = (X | ri, ...,rm ) and G ' = (X ' | r[,..., r'n} be two hyperbolic groups. Suppose first that every action of each of the groups G, G' on a simplicial tree is trivial, i.e. fixes a point. Every homomorphism 0 : G ^ G' induces an action of G on the Cayley graph of G': a g = 0(a)g. Let be the maximal number such that every vertex of the Cayley graph of G' is moved by at least by some generator of G under this action. It is easy to check that if a sequence of homomorphisms 02,... consists of pairwise non-conjugate in G' homomorphisms, then the sequence of numbers d^ is unbounded, hence G acts non-trivially on the asymptotic cone of G' corresponding to the scaling sequence (d^ ) which is an R-tree by Theorem 3.2. In fact one can deduce (as in Sela [217, Theorem 9.1] using Rips' theory of groups acting on R-trees and its generalizations) that in this case G acts non-trivially on a simplicial tree as well. Hence we can assume that any set of pairwise non-conjugate homomorphisms G ^ G' and G' ^ G is finite.

Therefore in order to decide whether G and G' are isomorphic we need to compute a finite list of homomorphisms containing a representative of each of the homo-morphisms G ^ G' (up to conjugacy), and a similar finite list of homomorphisms G' ^ G. Assuming that this can be done, one checks whether a composition of a homomorphism from the first (second) list with a homomorphism from the second

12 This problem has as the input two presentations of groups that are known to be hyperbolic, and asks whether the groups are isomorphic.

(first) list is conjugate to the identity map, that is whether the images of the generators of G (of G') under this composition are conjugate to the generators of G (of G') by the same conjugator. It is a system of quadratic equations (with one variable—the conjugator) and can be solved essentially as one quadratic equation (see 3.1.E), or using the general technique by Rips and Sela [205].

There is an obvious infinite procedure to write down these lists: check all maps X ^ G' and X' ^ G one by one, and verify which maps induce homomorphisms. The problem is to understand when to stop: that is when a list contains representatives of all conjugacy classes of homomorphisms. For this, the key idea is to solve systems of equations. Indeed, morphisms G ^ G' are in 1:1 correspondence with solutions in G' of the system of equations

' n = 1

rm = 1

with generators of G viewed as unknowns. Adding certain inequations (of the form w = 1), one can encode the property of being different from homomorphisms that are already on the list. Thus we can easily write a system of equations and inequations that has no solution if and only if we have collected a finite list containing representatives of all homomorphisms. The difficulty here is that we want not only that the solution be different from the recorded morphisms, but we want that it is not conjugated to any of them. For that, we record only homomorphisms G ^ G' that are short meaning that one cannot shorten the total length of the images of x e X by "obvious" conjugations in G' (such as cyclic shifts). The key points are that, first, shortness can be interpreted as the membership in a regular language (we view a homomorphism $: G ^ G' as one large word containing all words $(x), x e X separated by special symbols); that membership is called a regular constraint, and, second, that the number of short homomorphisms is finite. The fact that some kind of shortness of a homomorphism can be recognized by an automaton is similar to Lemma 3.9 above which characterizes words in a hyperbolic group without arbitrary bumps as words which do not contain bumps of at most constant length. It is easy to see that for every finite set of words W, the set of all words in a finite alphabet that do not contain subwords from W is regular. Thus the certificate for completeness of our list of homomorphisms is unsolvability of the system of equations and inequations subject to the regular constraint described above. Thus one needs to generalize Makanin's Theorem 2.15 and Rips and Sela's Theorem 3.14 to systems of equations and inequations subject to regular constraints in not necessarily torsion-free groups. This has been done in a long series of papers including [62,64,70,143,152,215].

If the groups G, G' may act on simplicial trees without fixed points, the strategy is to find a canonical action on a tree where the vertex stabilizers are in a sense the smallest possible for both G and G' (the so-called JSJ-decomposition introduced by Rips and Sela [204]), and then study vertex stabilizers as in the previous paragraph.

3.1.H More examples of hyperbolic groups. As we have seen, every group having a presentation with the small cancelation condition C'(1/6) is hyperbolic (see 3.1.D).

Moreover almost every finitely presented group is hyperbolic [98]. That statement was proved in [11,98,102,176], but although the statements proved there have basically the same formulations, the results are different because of different meanings of the words "almost every", or, more precisely, different choices of the probabilistic model.

3.1.H1 Few relator model.

In the few relator model (also known as the asymptotic density model or Arzhantseva-Olshanskii model introduced by Gromov [98] and Olshanskii in late 1980s, we choose an alphabet of generators A and a number of relations k, and then for every n > 1 choose k group words r1,...,rk of length < n in the alphabet A, and consider the group given by the presentation {A | r1 = 1,...,rk = 1). Let N (n) be the number of all presentations we get this way, and Nh (n) be the number of presentations of hyperbolic groups among them. Then the quotient N") tends to 1 very rapidly with n (see Arzhantseva-Olshanskii [11]). In fact, as proved in [11], in the few relator model, we can count even the number of presentations with small cancelation C'(k) for any fixed k > 0, and the quotient will tend to 1 almost as rapidly. Note that in [11], Arzhantseva and Olshanskii proved that almost all groups having presentations with m generators and k relators have the property that all their (m - 1)-generator subgroups are free (that strengthened a previous result of Guba about 2-generated subgroups of 1-related groups with at least four generators [108]). The same or similar models were used by Arzhantseva and Champetier [7-9,47,48] where other generic properties of groups in the few relator model were found.

3.1.H2 Different lengths model.

If we allow lengths of different relators satisfy different length restrictions, we obtain a stronger theorem.

Theorem 3.17 (Formulated by Gromov [98], proved by Olshanskii [176]) Let A be an alphabet, | A^ k > 2.Letd > 0 and let (n1, ...,nd) be an increasing sequence of positive integers. Let N = N (k, i, n1,..., nd) be the number of group presentations G = Ar1, ...,rd) such that r1,...,rd are reduced group words in the alphabet A such that the length of rj isnjfor j = 1, 2,...,i. IfNh is the number of infinite hyperbolic groups in this collection, then for every e > 0 there exists n = n(e, d) such that for every choice ofk, n1 > n, n1 < ■■■ < nd the quotient n^"1'"''"^ exceeds 1 - e.

The probabilistic model used in this theorem is very different from the few relator model. In particular, the probability of having a small cancelation presentation tends to 0 in that model (say, if we assume that nd & exp n1).

3.1.H3 Gromov's random groups model.

If we also allow varying the number of relations d, we obtain one of the probabilistic models used by Gromov in constructing his random groups [102] (see also Gromov [99] and Arzhantseva-Delzant [10]).

Here is the definition of the Gromov's random groups model.

Let T = (V, E) be an oriented graph and X be a finite set. A labelling of T is a map a: E ^ X U X-1. Let W be the normal subgroup of the free group n1(T, p) (where p e V) generated by all words that label a loop in T based at p. Let Ga be the factor-group n1(T, p)/ W.

This map obviously defines a homomorphism a* from the free group ^(T, p) to Ga, where p is a vertex in V. The kernel of that map is generated (as a normal subgroup) by all words that label loops of r. Note that by construction there exists a natural homomorphism a+ from the graph T to the Cayley graph of G induced by a. The general questions to ask about G is whether G is infinite and hyperbolic, whether a+ is "almost an isometric embedding", and whether a* is injective on a large enough ball in the Cayley graph of the free group ^1(T, p). The set of all labellings (X U X-1)E has a natural uniform probability measure, and a random choice of a labelling a gives a random group Ga.

In particular, if T is a disjoint union of finite number of circles of lengths n1; ...,nd, we get a random model similar to the different lengths model only the number of relations may be big comparing to the lengths of them. In fact, if the total number of possible labelings is exp Cn, where n is the maximal length of a cycle, for some constant C, and ni do not differ very much from n, then d can be chosen as large as exp aCn for some 0 < a < 1. The number a is called the density. If the density is > 1 /2, then the random group is trivial with probability close to 1 (assuming that n ^ to), but if a < 2, then the group is infinite and non-virtually cyclic hyperbolic with probability tending to 1 as n ^to.

It is important to note that, as with the case of small cancelation presentations, we can impose the random relations not only on the free group, but on any non-virtually cyclic hyperbolic group. Thus if T; is a sequence of graphs, we obtain a sequence of random non-virtually cyclic hyperbolic groups and surjective homomorphisms

G ^ G1 ^----► Gn (5)

similarly to 3.1.J.

Particularly strong results are obtained in [102] when the graph T runs over an expander sequences of graphs, that is £-regular finite graphs having the following property: the second highest eigenvalues of their adjacency matrices is bounded away from the highest eigenvalue.13 If the expander sequence is chosen well enough, the Cayley graph of the inductive limit G of the sequence 5 contains "almost isometric" copy of the union of T; , and so G cannot be coarsely embedded into a Hilbert space, every action of G on a CAT(0) manifold has a global fixed point, etc. For more details see the book by Ollivier [172] and Kapovich and Schupp [133].

3.1.I Almost all 1-related groups are residually finite. Note that for 1-related groups all three models give the same results. A random 1-relator group with at least two generators is infinite and hyperbolic. The following theorem says that these groups have some other nice properties as well at least when the number of generators is > 3.

Theorem 3.18 (Sapir, Spakulova [211]) A random 1-related group with at least three

generators is

(1) residually finite;

13 Equivalently, an expander sequence of graphs can be defined as a sequence of ^-regular graphs T; = (Vi, E;) such that for every subset M C V; of vertices of T; with |M | < | V; |/2, > k for some

constant k > 0 [144]. Here dM is the set of edges with one vertex in M and the other in V\M.

(2) virtually residually (finite p-)group14 for all but finitely many primes p (i.e. it has a finite index subgroup whose homomorphisms onto finite p-groups separate all elements);

(3) coherent (i.e. all finitely generated subgroups are finitely presented).

The proof employs facts from different areas of mathematics: properties of Brownian motions in Rk [61]; some dynamical properties of polynomial maps over finite fields (existence of periodic quasi-fixed points) [25] and p-adic completions of number fields [26]; existence of dense free subgroups in p-adic Lie groups [32]; the congruence extension property of subgroups of the free groups generated by sets of words satisfying some small cancelation condition [180]; the fact that every ascending HNN-extension of a free group is coherent [81], and a characterization of 1-related groups with two generators that are ascending HNN-extensions of free groups [41]. It turned out also that in Theorem 3.18 one can count not just presentations but groups up to isomorphism (which is obviously harder) due to a very strong result of Kappovich, Shpilrain, Schupp [134]. See [209] for more details.

Note that Theorem 3.18 gives many examples of residually finite hyperbolic groups because random 1-related groups are hyperbolic (and even have small cancelation presentations). But we still do not know if all hyperbolic (and even small cancelation) groups are residually finite [98,99]. The general belief is that the answer is "no", and there are many potential counterexamples (see, say, [130]), but it is very hard to show that a particular hyperbolic group is not residually finite because hyperbolic groups typically have many quotients.

3.1.J Quotients of hyperbolic groups. One of the key properties of hyperbolic groups discovered by Gromov [98] is that they behave similar to the free groups as far as the multitude of quotients is concerned.

For example, Delzant and Olshanskii independently proved the following

Theorem 3.19 (Delzant [67],Olshanskii [180]) Every non-virtually cyclic hyperbolic group G is SQ-universal, that is every countable group embeds into a quotient of G.

A version of the following very useful theorem was stated in [98] in a slightly wrong form. It was corrected and proved in full generality in [179]. We give a not the strongest formulation here.

Theorem 3.20 (Olshanskii [179, Theorem 2]) Let G be a hyperbolic group and H1,... H" be non-virtually cyclic subgroups of G which do not normalize non-trivial finite subgroups ofG, Ma finite subset of G. Then there exists a non-virtually cyclic hyperbolic quotient G1 of the group G such that the natural map G ^ G1 is surjective on each H1,..., Hn and injective on M.

It is easy to deduce from Theorem 3.20 that every noncyclic torsion-free hyperbolic group has a quotient which is a torsion-free Tarski monster (i.e. it is torsion-free and all proper subgroups are cyclic); every non-virtually cyclic hyperbolic group has an

14 A group is called residually (finite p-) group, p a prime, if the intersection of all its subgroups with indexes powers of p is trivial.

infinite torsion quotient; every noncyclic torsion-free hyperbolic group has an infinite quotient all of whose proper subgroups are finite (see [98]). These groups with "extreme" properties are obtained as inductive limits of hyperbolic groups and surjec-tive homomorphisms

G ^ G1 ^----> Gn ^ •••

similar to 3.1.H3.

It is also easy to deduce that every two non-virtually cyclic hyperbolic groups H1, H2 have a common non-virtually cyclic quotient [98, 5.5.A] (consider the free product G = H1/E(H1) * H2/E(H2) where E(H) is the maximal finite normal subgroup of H). It was observed by Osin, that it implies, by induction, that there exists a finitely generated non-virtually cyclic infinite group Gto that is a common quotient of all non-virtually cyclic hyperbolic groups. One can easily see that Gto has Kazhdan property (T), is generated by an element of order 2 and an element of order 3, and also by two elements of orders p and q for any two primes with pq > 6 (since Gto is a quotient of the free product Z/pZ * Z/qZ). In particular Gto is not residually finite, and in fact does not have any non-trivial finite homomorphic image G0 (otherwise G0 would contain an element of order p > | G01 which is impossible). Note that Gto is not unique, and depends, in particular, on how we enumerate all hyperbolic groups. Still since the set of all finite hyperbolic group presentations is recursively enumerable, we can assume, using [179], that Gto has a recursive presentation.

Theorem 3.20 also allows one to construct a finitely generated infinite torsion group (and even with all proper subgroups cyclic), see [98]. It does not allow to get a bound on the exponents of elements of that group. It was done in papers by Olshanskii [178] (odd exponents) and Ivanov and Olshanskii [130, Theorem A, Lemma 19] (even exponents) where the following remarkable theorem was proved.

Theorem 3.21 (Olshanskii [178], Ivanov, Olshanskii [130]) For every non-cyclic torsion-free hyperbolic group G there exists an odd integer m = m(G) > 0 and a integer n = n(G) > 0, such that the following hold. (a) The quotient groups G / Gm, G/G2" are infinite.15 (b) The word and conjugacy problems are solvable in G/Gm, G/G2 .

That result was the strongest in the very important series of results on the bounded Burnside problem including the celebrated Novikov-Adian's solution for odd exponents [1,171], and extremely involved Ivanov's solution for even exponents [128].

3.1.K. The small cancelation once more. The main ingredient in the proofs of Theorems 3.19, 3.20 and the results in [102] is small cancelation over hyperbolic groups. The following coarse version of small cancelation from Olshanskii-Osin-Sapir [184] is close to the ones used in papers [67,179,180].

Definition 3.22 Let H be a group generated by a set X. Let R be a symmetrized set of reduced words in X±1 (that is a set of words closed under taking cyclic shifts and

15 Recall that Gk denotes the (normal) subgroup of G generated by all kth powers of elements of G; hence G / Gk has exponent dividing k.

inverses). For e > 0, a subword U of a word R e R is called a e-piece if there exists a word R' e R such that:

(1) R = UV, R' = U'Vfor some V, UV';

(2) U' = YUZ in H for some words Y, Z such that max{|Y|, |Z\} < e;

(3) YRY-1 = R' in the group H.

Note that if U is an e-piece, then U' is an e-piece as well.

Definition 3.23 Let e > 0,/ e (0, 1), and p > 0. We say that a symmetrized set R of words over the alphabet X±1 satisfies the small cancelation condition C (e, p) over a hyperbolic group H = (X), if

(C1) All words from R label geodesics in the Cayley graph of H corresponding to X;

(C2) |R\ >p for any R e R;

(C3) The length of any e-piece contained in any word R e R is smaller than |г|R|.

Figure 10 shows the difference between the usual small cancelation (see Definition 3.6) and the coarse version of it. The key feature of the coarse version of small cancelation is the coarse Greendlinger Lemma (see [184, Lemma 4.6]). The role of that lemma is very similar to the role of the usual Greendlinger Lemma (Theorem 3.7)—see [179,180,184] for more details.

3.1.L Combination theorems for hyperbolic groups. Another way to construct new hyperbolic groups is to use various combination theorems. Suppose that a finitely generated group G acts by automorphisms on a simplicial tree T and there are no invariant proper subtrees for this action. From the Bass-Serre theory [218], the group G is a multiple HNN-extension of the stabilizer of a vertex with associated subgroups isomorphic to stabilizers of edges if and only if the action is transitive on vertices; and G is an amalgamated product of stabilizers of two vertices with the stabilizer of an edge as an amalgamated subgroup if and only if the action has two orbits of vertices and two orbits of edges. In general, G can be composed from the stabilizers of vertices using HNN-extensions and amalgamated products. A statement saying that some property P holds for G provided it holds for stabilizers of vertices of the action of G on T (plus some condition on the stabilizers of edges) is called a combination theorem. For example, the statement "if all stabilizers of vertices are torsion-free, then G is torsion-free" is such a theorem.

A very general combination theorem for hyperbolic groups is proved by Bestvina andFeighn [17,18]. There are several other versions proved in [92,136,160] and other

papers. Here we present the "greatest common divisor" of all these statements. It was proved in each of these papers, and reflects the nature of all combination theorems.

Theorem 3.24 If G is a hyperbolic group, A and B isomorphic virtually cyclic subgroups, $: A ^ B is an isomorphism between these subgroups, then the HNN-exten-sion H = HNN(G; A, B, $) is hyperbolic if and only if for every g e G the set A n gBg-1 is finite.

3.1.M The subquadratic isoperimetric inequality. The "if part" of Theorem 3.10 can be strengthened significantly: one can prove that even a quadratic isoperimetric inequality with small enough coefficient of the square implies hyperbolicity [98].

Theorem 3.25 (Gromov [98,6.8], Olshanskii [177], Bowditch [29], Papasoglu [195]). There exists a universal constant u such that the following holds. Let G = (X | R} be a group presentation, p = max(|r |, r e R). If theDehn function f of G satisfies

f (n) < -Jn p2

for all sufficiently large n, then G is hyperbolic.

One can actually estimate the universal constant u by analyzing the proof of Bowditch [28], for example. The estimate would be far from optimal, though. Stefan Wenger informed us that one can take any u < 2: it follows from his paper [234]. It is an interesting question to find exact value of u or at least a good approximation. Note that for the free Abelian group Z2 with the standard presentation (x, y | [x, y] = 1}, the Dehn function is f (n) = 116n2 (it essentially follows from 2.6.C) and p = 4. So u cannot be bigger than 1.

Bowditch [29] proved actually a much more general result about all geodesic metric spaces with area functions satisfying Conditions (B1) and (B2) from 2.7.A (the role of 1/p2 is played by the constant k from (B2)). Wenger's results in [234] are also much more general and apply to arbitrary geodesic metric spaces as well. In fact he proves that the isoperimetric inequality of the Euclidean plane,

Area (l) < — l2 4^

is optimal in the sense that every geodesic metric space with stronger isoperimetric inequality (for some natural area function) is hyperbolic. The crucial tool in his proof is metric currents as in 2.7.C.

3.1.N The Cartan-Hadamard type theorem. Cartan-Hadamard type theorems are "local-to-global" statements in group theory: we deduce information about the global structure of a group G by looking at one (sufficiently large) ball in the Cayley graph of G .16

16 Recall that the original Cartan-Hadamard theorem states that the universal cover of a Riemannian manifold of non-negative sectional curvature (a local property) is diffeomorphic to a Euclidean space (a global property).

Theorem 3.26 (See Gromov [98, 6.8M], Bowditch [28, Theorem 8.1.2]) There are constants C1, C2, and C3 with the following property. Let V be the Cayley graph of a finitely presented group where the length of every defining relation is at most d and every ball of radius C2d in V is C1d-hyperbolic. Then V is C3d-hyperbolic.

An analogous result for metric spaces is also true (see [98]). The proof in [98] is based on the fact that Theorem 3.25 remains true even if restrict the assumption to relatively short loops: if every relatively short loop in V has quadratic area with sufficiently small coefficient, then the group is hyperbolic.

This theorem and its variations are very important in the theory of hyperbolic groups. A version of it from [101] is used in the paper by Gromov and Delzant [68] (see also Coulon [60]) to provide possibly the most conceptually easy proof of the theorem of Novikov-Adian [171] and Olshanskii [178]. Another version of Theorem 3.26 for CAT(0) spaces is proved in Bridson and Haefliger [37]. A yet another version was recently proved by Shalom and Tao [216]: it significantly strengthens the polynomial growth result of Gromov [96] (mentioned in 3.2.A).

Theorem 3.27 (Shalom, Tao [216]) For some constant C, the following holds for every finitely generated group G, andalld > 0. If there is some R0 > exp(exp(CdC)) for which the number of elements in a ball of radius R0 in a Cayley graph of G is bounded by then G has a finite index subgroup which is nilpotent (of nilpotency class < Cd).

Problem 3.28 It would be interesting to find a common cause of all these (and other) theorems of Cartan-Hadamard type. Perhaps a recent model theoretic approach of Hrushovski will give such a common cause (see [126, Section 7]).

3.1.O Lacunary hyperbolic groups. It was observed by M. Kapovich and Kleiner (see the Appendix to [184]) that Theorem 3.26 almost immediately implies the following stronger version of Theorem 3.2.

Theorem 3.29 (See [184]) Let G be a finitely presented group with one asymptotic cone an R-tree. Then G is hyperbolic (and hence all asymptotic cones of G are R-trees).

Indeed, if one of the asymptotic cones Con«(G, (di)) is an R-tree, then the ball in the Cayley graph of G or radius di is o(di)-hyperbolic for «-almost all i, and it remains to apply Theorem 3.26 since di ^ to.

Theorem 3.29 is far from true for infinitely presented groups. The first example of a finitely generated infinitely presented (hence non-hyperbolic) group was constructed by Thomas and Velickovic [228]. Their group is given by an infinite small cancelation presentation such that the lengths of relators form a very lacunary (sparse) sequence of numbers. As an almost direct application of Greendlinger's Lemma (see Theorem 3.7), one can prove that any cone Con«(G, (di)) is an R-tree if di is far from the length of relators, and is not an R-tree if di is the length of the relator number i.

Accordingly, in [184], we introduced a class of groups some of whose asymptotic cones are R-trees, and called these lacunary hyperbolic groups. It is easy to deduce from Theorem 3.26, that every lacunary hyperbolic groups is an inductive limit of

hyperbolic groups and surjective homomorphisms. A converse statement is also true if one imposes certain restrictions on the "injectivity radia" of these surjective homomorphisms. Tarski monsters, infinite finitely generated torsion groups, etc. can be constructed as lacunary hyperbolic groups. Surprisingly, some amenable (see 5.4.A) non-virtually cyclic groups turned out to be lacunary hyperbolic as well. For more details and results see [184].

3.2 Nilpotent groups

3.2.A The asymptotic cones and the c + 1-problem. Let G be a nilpotent group of class c (that is the cth member of its lower central series, Gc, is the identity; Gn is defined by G0 = G, Gn+1 = [Gn, G], n = 0, 1,...). Every finitely generated nilpotent group is finitely presented. Algorithmic properties of nilpotent groups have been studied extensively, and this class can be considered relatively "tame". Note that the word, conjugacy and even the isomorphism problem are solvable for nilpotent groups [106,107]. Still some natural algorithmic problems are known to be undecidable in some nilpotent groups. For example, there exists a finitely generated nilpotent group with undecidable endomorphic reducibility problem: given two elements of a group find out if one of them is an endomorphic image of another [206]. In particular, for some finitely generated nilpotent group, the problem of solvability of systems of equations in that group is undecidable. Indeed, G = (x1,...,xm | r1 = 1,...,rn = 1}, is a finitely presented group, then the endomorphic reducibility of u to v is equivalent to the solvability of the following system of equations with respect to unknowns W1,..., wm:

r1(W1, ..., Wm) = 1

rn (W1, ..., Wm) = 1 u(w1,..., wm) = v

Among nilpotent groups, particularly nice ones are graded nilpotent groups (sometimes also called homogeneous). Recall that a nilpotent group is called graded if for every x e Gk\Gk+1, y e Gl\Gi+1, the commutator [x, y] belongs to Gk+l\Gk+l+1 or is equal to 1 (in a non-graded nilpotent group, the commutator [x, y] can belong to any G" , n > k+l). With every nilpotent group G, one can associate a graded nilpotent group Ggr as follows Ggr is generated by the union of all sets Gk/ Gk+1 subject to all possible relations of the form [xGk, yGl] = [x, y]Gk+l.

The growth function of a nilpotent group is always equivalent to a polynomial and its degree can be computed explicitly using the following formula:

Theorem 3.30 (Guivarc'h [115], Bass [13]) If G is a finitely generated nilpotent group, and ys (n) its growth function for some generating set S, then there are constants A, B > 0 such that And < ys(n) < Bnd for all n > 1, where d = d(G) = >1 hrh, rh is the torsion-free rank ofthe Abelian group Gh /Gh+1.

In fact by the famous result of Gromov [96], groups having nilpotent subgroups of finite index are precisely the finitely generated groups whose growth functions are

bounded by polynomial. The paper [96] was the first paper where asymptotic cones of nilpotent groups were studied. It was proved later by Pansu [194] that all asymptotic cones of any nilpotent group are isometric to a graded Lie group canonically associated to G. Here is the description. Let tor(G) be the finite normal subgroup of G generated by all elements of finite order (the fact that tor (G) is finite can be found, say, in [116]). The nilpotent group G = G/tor(G) is without torsion, hence it can be embedded, according to Malcev [153], as a uniform (co-compact) lattice in a nilpotent Lie group. The corresponding graded nilpotent group G is also a Lie group. That group equipped with the so-called Carnot-Caratheodory metric17(see, for example, [100]) is isometric to all asymptotic cones of G. In particular, all asymptotic cones of a nilpotent group are simply connected, and by Theorem 2.27, every nilpotent group has polynomial isoperimetric function. That result was strengthened by Gersten [84]: he proved that G admits a polynomial isoperimetric inequality of degree 2h , where h is the Hirsch length of G i.e. the sum of torsion-free ranks of all Abelian groups Gi /Gi+1. The degree was improved to 2 ■ 3c by Conner [58], and then to 2c by Hidber [120]. One can deduce the bound c + 1 + e for every e > 0 by the following argument. Pittet [199], proved that a lattice in a simply connected graded nilpotent Lie group of class c admits a polynomial coarse area function A& of degree c + 1. Hence by the result of Pansu [194], every asymptotic cone of any nilpotent group of class c has isoperimetric function nc+i. It remains to apply Theorem 2.29 of Papasoglu. It is not clear how to remove e from the estimate. The methods of Drutu [73] are based on the fact that the asymptotic cones in her situation were buildings. The first proof of the polynomial bound of degree c + 1 was outlined by Gromov [99, 5.A5]. A complete combinatorial proof was found in [89].

Theorem 3.31 (Gersten, Holt, Riley [89]) Every finitely generated nilpotent group of class c has isoperimetric function that is polynomial of degree c + 1 .

The isoperimetric inequality nc+1 is the best possible bound for some nilpotent groups of class c. For example if G is a free nilpotent group of class c with at least two generators, then its Dehn function is polynomial of degree c + 1 (see [15] or [87] for the lower bound and [199] for the upper bound, see also [38] for other examples of nilpotent groups with maximal possible Dehn functions). Moreover, the following general theorem is proved in [15,99].

Theorem 3.32 (Gromov [99], Baumslag, Miller, Short [15]) Let G be a nilpotent group of class c and let Gc-i be the (c - 1)st term of its lower central series. If Gc-1 contains an infinite cyclic subgroup; then the quotient group G/Gc-i is a nilpotent group of class c - 1 and has the Dehn function nc.

17 In order to define that metric, consider the tangent space Tx at every point x of G. It is isomorphic to the Lie algebra g = G/Gi © Gi/G2 © ... (with the natural commutator product) corresponding to G, and we can identify Tx with g in a smooth way with respect to x. The elements of the first summand, G/G1, generate g. The corresponding directions in G are called horizontal. A horizontal path on G is any path that has horizontal direction at every point. Every two points of G are connected by a horizontal path, and the length of a shortest such path connecting two points is the Carnot-Caratheodory distance between these two points.

In particular, Z2 is the factor-group of the Heisenberg group H3 by its derived subgroup which contains an infinite cyclic group. Hence we get another proof that the Dehn function of Z2 is n2.

3.2.B The Heisenberg groups. Nevertheless nc+1 is not the smallest isoperimetric function for many nilpotent groups:

Theorem 3.33 (Allcock [3], Olshanskii-Sapir [185]) The 2n+1-dimensional integral Heisenberg groups admit quadratic isoperimetric functions for n > 1; these groups are all nilpotent of class 2.

Definition 3.34 Recall that the 3-dimensional Heisenberg group has presentation H3 = (x, y, c | [x, y] = c, [c, x] = [c, y] = 1}. Its center is generated by c. The 2n + 1-dimensional Heisenberg group H2n+1 is the nth central power of H3. In general, the central power of a group G is the factor-group of the nth direct power G x ... x G by the normal (moreover, central) subgroup consisting of all vectors (c1, ...,cn) with c1 c2 ...cn = 1, where all c; belong to the center of G.

The proof of Theorem 3.33 from [185] is relatively simple but it has some features in common with very complicated computations of Dehn functions (say, [111,238,239]), so we provide some details here.

In order to describe the proof of Theorem 3.33, let n = 2, that is let us consider the group

H5 = (x1, x2, y1, y2, c | [x1, x2] = [y1, y2] = c, [x;, yj] = 1, [c, x;] = [c, yi] = 1, i, j e {1, 2}}.

Consider a word w in the generators x1, x2, y1, y2. Suppose that w = 1 in H5. We need to show that applying the relations of H5 we can reduce the word to 1 so that the number of steps is O(|w|2). First notice that we can use the commutativity relations [x;, yj] = 1 and rewrite w as wx wy where wx is a word in x1, x2,wy is a word in y1, y2. We need O (|w|2) steps to do that. Now the proof consists of several reductions.

Reduction 1 Note that if u(x1, x2) is a product of commutators, then w(x1, x2) = w(y1, y2) in H5. We prove that using at most O (|u|2) steps we can transform u(x1, x2) to u(y1, y2). Therefore we can restrict ourselves to words u(x1, x2) in two variables only (but we use the other two generators for auxiliary transformations).

Reduction 2 Every word u(x1, x2) can be drawn on the (x1, x2)-planar square grid: x1 labels horizontal edges, x2 labels vertical edges (similar to 2.1.C). A word u is a product of commutators if and only if it labels a loop. Then it is easy to see that in H5, u is equal to ca for some a called the symplectic area of the region spanned by the curve. In particular u equals 1 in H5 if and only if its symplectic area is 0.

Reduction 3 Now let us define a symplectic area of any word u(x1, x2), not necessarily a product of commutators. Let k;, i = 1, 2 be the sum of exponents of x; in u. Then the word C(u) = ux-klx-k2 is a product of commutators. Then the symplectic area of u is, by definition, the symplectic area of C (u).

Reduction 4 A rectangular word R(p, q) where p, q > 0 are integers is, by definition [xp, x2q]. Its symplectic area is pq. Our goal is for every word u(xi, x2), reduce the word C (u) to a rectangular word of the same area in number of steps quadratic in |u|. If u = 1 in H5, then the rectangular word is empty, and we are done.

Reduction 5 We are using the "division in halves" trick shown on Fig. 11. The word u is represented as a product of two subwords ui, u2 with lui | « |u|/2. Note that the loop corresponding to the word C(u) on Fig. 11 is decomposed into three loops: the loops corresponding to C(ui), C(u2) and a rectangular word R with sides < |u|. Then in order to reduce C(u) to a rectangular word, we need to be able to reduce C(ui) to a rectangular word Ri, reduce C(u2) to a rectangular word R2, and then reduce the product of three rectangular words Ri RR2 to a rectangular words. The first two tasks can be done arguing by induction on the length of the words. Hence it remains to consider products of rectangular words. That is done by cutting and pasting (using Reduction 1).

Note that Reduction 1 is crucial in this proof. Here we use the fact that H5 has two extra generators yi, y2 which we use as a temporary storage. Say, in order to transform u(xi, x2 )v(xi, x2) to v(x]_, x2)u (xi, x2) where u, v are products of commutators, we first transform u(xi, x2) into u(yi, y2) then use commutativity of generators and transform u(xi, x2)v(yi, y2) to v(yy2)u(xi, x2) and then transform v(yi, y2) back into v(x]_, x2). This transformation is used in many places in the proof. Note that H3 has cubic Dehn function (proved in [78]).

3.2.C Other central products. The central powers of nilpotent groups of class 2 have very small Dehn functions. The following result is mentioned in our paper with Olshanskii [185]. Its proof is essentially the same as the proof for the Heisenberg group H2n+i. Another proof is given in Young [237]. Young's approach is in a sense a combination of approaches from [3,185].

Theorem 3.35 ([185, Remark on page 927]) Let G be any finitely generated nilpotent group of class 2. Then

(a) The central square of G admits isoperimetric function n2 log n.

(b) Some central power of G has quadratic isoperimetric function.

We were unable to show that the central square of every nilpotent group of class 2 has quadratic isoperimetric function. More concretely, let FN(2, 10) be the free nilpotent group of class 2 generated by ai, bi,...,a5, b5 (it is given by all the defining

relations of the form [[x, y], z] = 1, where x, y, z e {a1, ...,a5, b1,..., b5}). Let G10 be the factor-group of FN(2, 10) by the central cyclic subgroup generated by [a1, b1]... [a5, b5]. Then we were not able to prove that the central square of G10 has quadratic Dehn function (this example and the question can be found in [237, Section 5]).

3.2.D Wenger's result. Recently Wenger [235] showed that in fact central squares of nilpotent groups of class 2 often do not admit quadratic isoperimetric inequality. In particular, he proved

Theorem 3.36 (Wenger [235]) The Dehn function of the central square of G10 is strictly greater than quadratic.

The idea of the proof is the following. Let H be the central square of G10. Suppose that H has quadratic Dehn function. Then by Theorem 2.30, in the asymptotic cone of H, every Lipschitz loop y must bound an integral 2-current of area c Y |2 for some constant c. Wenger gets a contradiction by finding a loop that does not bound an integral 2-current at all. In the proof, he essentially uses Pansu's description of asymptotic cones of nilpotent groups as nilpotent Lie groups with a Carnot-Carateodory metric (see [194] and 3.2.A). Assuming that his loop bounds an integral 2-current Z, he approximates Z by singular Lipschitz chains. He then uses the fact that every Lipschitz map from a disc D2 to a Carnot-Caratheodory space is differentiable almost everywhere (Pansu [194]).

Therefore Wenger obtained the first example of a finitely generated nilpotent group whose Dehn function is not equivalent to apolynomial (compare with Guivarc'h-Bass' Theorem 3.30 about the growth functions).

Problem 3.37 Find a combinatorial proof of Theorem 3.36. Is the Dehn function of the central square of G10 equivalent to n2 log n?

3.2.E Other nilpotent groups. Note also that Young [238] constructed nilpotent groups of arbitrary class with quadratic Dehn functions.

3.3 Semihyperbolic groups

Semihyperbolic groups were defined by Gromov [98] and with more precision by Alonso and Bridson [4]. Let X be a metric space. Let A > 1, B > 0 be two numbers. A discrete (A, B)-path in X is any (A, B)-quasi-isometry f from an interval of natural numbers [0, Tf ] into X. We shall extend f to the whole N by f (n) = f (Tf) for n > Tf. Suppose that for some A, B we can choose a discrete (A, B)-path pa,b between any pair of points a, b e X in such a way that for every four points a, b, a', b' and every t e N we have the combing condition:

dist(pa,b(t), pa',b'(t)) < C1 max(dist(a, a'), dist(b, b')) + C2 (6)

for some constants C1, C2. Then we say that X is semihyperbolic. It is easy to prove that every hyperbolic metric space is semihyperbolic (exercise: prove that using asymptotic cones) and that a metric space that is quasi-isometric to a semihyperbolic space is

semihyperbolic space itself. A finitely generated group G is called semihyperbolic if its Cayley graph with respect to some (equivalently, any) finite generating set is semi-hyperbolic and pga,gb = gpa,b for every g, a, b e G .In that case we can consider the language of words labeling the paths piib for all b e G .If that language is regular, then the semihyperbolic group is called bi-automatic. If the language is regular, but we only assume that the combing property (6) holds provided a = a', then the group is called automatic [78].

3.3.A CAT(0)-spaces. Let X be a geodesic metric space, ABC be a geodesic triangle in X with side lengths p, q, r. We can construct the triangle A'B'C' in the Euclidean space R2 with the same side lengths. If a, b are points on the sides AB, BC of the triangle ABC, let a', b' be the corresponding points on the sides A'B' and B'C' of A'B'C'. If for every choice of the triangle ABC and points a, b we have dist(a, b) < dist(a', b'), then X is called a CAT(0) space [37,99]. In every CAT(0) space there exists unique geodesic px,yconnecting any two points x, y. These geode-sics satisfy the combing property (6) (see [37]). Hence every CAT(0) metric space is semihyperbolic. The class of CAT(0) spaces includes all hyperbolic spaces, complete simply connected Riemannian manifolds all of whose sectional curvatures are nonpositive (that is, Hadamard manifolds), including symmetric spaces of non-compact type, Euclidean buildings (see [42]).

Every group acting properly discretely and co-compactly on a CAT(0)-space is semihyperbolic. This implies that many non-hyperbolic groups are semihyperbolic. For example:

(1) All Coxeter groups [4] (the fact that these groups are automatic was proved in [40]).

(2) Right angled Artin groups18 and many other Artin groups (see [49]) including the direct product of two free groups (see 2.3.C).

(3) The mapping class group19 of a surface with genus g and n punctures provided 3g - 3 + n > 2 (the fact that these groups are automatic was proved by Mosher [165], the bi-automaticity was proved by Hamenstadt [117]).

(4) All co-compact lattices in SLn (R) (and many other Lie groups) because the corresponding symmetric space SLn (R)/SOn (R) is CAT(0).

(5) All lattices in SOn, i (R) [37].

3.3.B Semihyperbolic metric spaces have quadratic isoperimetric inequality. Indeed, consider every loop y of length l and point a on that loop. Subdivide the loop into a sequence of subarcs of length 8 (for some constant 8)bypoints bi, ...,b", and connect a with bi,...,b" by the (A, B) -quasi-geodesics pa^bi. The length of each of these quasi-geodesics is at most O (l). Then by the combing property (6) for every t e N the distance between pa,bi (t) and pa,bi+1 (t) is bounded by some constant C = C (8). Thus we obtain a collection of points pa,bi (t), t e N, containing the points bi,..., bn, hav-

18 A right angled Artin group is a group given by a presentation of the form (ai,...,an | aiaj = ajai for some i, j e{ 1, ...,"})

19 The mapping class group of a surface S is the group of all isotopy classes of orientation preserving self-homeomorphisms of S. This group is finitely presented for every S.

ing mesh O (1). The number of points in that set is at most O (l2). Hence the Gromov coarse area function As(l) is bounded by O(l2) for a sufficiently large 5.

A very similar proof shows that automatic groups have quadratic isoperimetric functions too.

3.3.C The conjugacy problem in semihyperbolic groups. Another key property of semihyperbolic group is the following

Theorem 3.38 (Alonso-Bridson [4]) Every semihyperbolic group has solvable conjugacy problem.

Proof Let G be a semihyperbolic group, u,v e G. Suppose that x-1 ux = v for some x e G, and the length | x| of x is the smallest possible. Clearly it is enough to bound ^| as some recursive function in u + |v|. We show that one can take an exponential function exp(c(|u | + |v|) for some constant c. Indeed, let x = a1a2 ...am be a product of generators and their inverses. Note that in the Cayley graph of G we have two paths p1 , p2 labeled by x, p1 connecting 1 and x, and p2 connecting u and ux. Since xv = ux, the initial points of p1 and p2 are at distance u from each other and the terminal points are at distance | v | from each other. By the combing property (6), then there exist paths q;, i = 1,...,m connecting a1 ...a; with ua1 ...a; of length < C (|u| + |v|) for some constant C .If m is larger than the number of different words in the generators of G of length C(u + |v|) (which is exp(c(|u| + |v|) for some constant c), then two of these paths, say q;, q;+j have the same labels. Then let y = a1... a;a;+j+1... am. It is easy to see that y-1uy = v which contradicts the minimality of x. □

Geometrically this proof can be described as follows. Cut a minimal annular diagram A by a simple path p connecting the boundary components. Using the combing property (6), for every vertex of p we can find a (non-null-homotopic) loop in A based at that point and having length at most C times the sum of lengths of the boundary components. We can assume that these loops do not cross each other. If p is too long, two of these loops will have the same label. Cutting off the annular subdiagram bounded by these two loops from A, we obtain another, smaller, annular van Kampen diagram with the same boundary labels (see also the proof of Lemma 4.8 below).

4 Dehn functions and algorithmic properties of groups

4.1 The zoo of groups with quadratic Dehn functions. We have already mentioned that automatic and semihyperbolic groups have quadratic isoperimetric functions. In fact the set of finitely presented groups with quadratic isoperimetric functions is quite diverse.

Theorem 4.1 The following groups have quadratic Dehn functions: (1) Drutu's examples of polycyclic20non-nilpotent groups from [73] (see also [99, Section 5.A.9U

20 A group G is called polycyclic if it has a series of subnormal subgroups G = G0 ^ G1 l> ••• l> Gn = {1} with cyclic factors G; / G;+1.

(2) Cornulier-Tessera examples of non-polycyclic metabelian groups with quadratic Dehn functions (some of these groups contain the Baumslag-Solitar group BS(1, 2)j [59].

(3) The Heisenberg groups of rank > 5, sufficiently large central power of any (infinite) finitely generated nilpotent group of class 2, some finitely generated nilpotent groups of arbitrary nilpotency class [3,185,237,238].

(4) All extensions of finitely generated free groups by cyclic groups [36].

(5) The Stallings group [224] (the kernel of the homomorphismfrom the direct product of three free groups of rank 2 to Z that sends all generators to the generator of Z) [71].21

(6) The groups SL(n, Z), n > 5 [239].

(7) The Thompson group F [111].22

The proofs of the quadratic isoperimetric inequality for each of these classes of groups is quite complicated and quite different.

4.1.A Drutu's groups from Part (1) of the theorem are uniform lattices in solvable Lie groups of class 2. She proves quadratic isoperimetric inequality for these Lie groups using asymptotic cones (these are horoballs in direct products of Euclidean buildings) and Theorem 2.29.

4.1.B Nilpotent groups from part (2) have been discussed already in Sect. 3.2.

4.1.C The proof for free-by-cyclic groups is very long and complicated. Here is a short description of that proof sent to us by Daniel Groves.

Let G = Fn x^ Z be a free-by-cyclic group, with natural HNN-presentation

P = (X1, ...,Xn, t | txit-1 = $(xi)).

Let A be a minimal diagram over this presentation. Consider the maximal t-bands in A. By Lemma 2.23, every maximal t-band starts and ends on the boundary of A. Every HNN-cell has a top side (corresponding to a letter xi) and a bottom side (corresponding to $(xí )). Passing from the bottom to the top corresponds to applying the automorphism 0. It is easy to see that a pair of HNN-cells cannot be glued along their bottoms in a minimal A, so each 2-cell can be traced backwards through A via the edge on the bottom sides of HNN-cells until it hits an edge on the boundary of A. If such an edge e e dA is fixed, then all the 2-cells corresponding to e form a single color (and there are fewer than | d A | colors). The proof involves a detailed investigation of the two transverse structures coming from bands and colors. The evolution of a color

21 Note that Stallings' group was the first example of a finitely presented group which is not of type FP3. Thus by [71] and a previous results of Riley [203] and Papasoglu [196] this group is the first example of a finitely presented group with simply connected but not 2-connected asymptotic cones.

22 The R. Thompson group F consists of all piecewise-linear increasing bijective functions [0, 1]^ [0, 1] whose derivatives have finitely many dyadic break points and the slopes of linear pieces are powers of 2. The operation: composition of functions. That remarkable group has a presentation with two generators and two defining relations [46].

and of different colors is closely related to the dynamics of words in Fn under iterates of 0, although the interaction of bands complicate this substantially.

4.1.D The proof of quadratic isoperimetric inequality of the Stallings group is purely combinatorial. The authors in [71] present an algorithm of creating a van Kampen diagram with quadratic area and a given boundary label.

4.1.E The problem of whether the Dehn function of SLn (Z) is quadratic for large enough n was open for quite some time. The group SL2 (Z) is hyperbolic (in fact virtually free), so its Dehn function is linear. It was proved in [78] that SL3 (Z) has exponential Dehn function. The fact that the Dehn function of SLn (Z) is at most exponential for every n was stated in Gromov [99, 5.A7] and fully proved by Leuzinger [142]. The book [78] contains a statement attributed to Thurston that for n > 4 the Dehn function is quadratic. Recently Robert Young proved in [239] that the Dehn function is quadratic for n > 5. The case n = 4 is still open.

To explain Young's proof, we need some preliminaries. Note that SLn (R) is quasi-isometric to the symmetric space SLn (R)/SOn (R), and the word metric in SLn (Z) is quasi-isometric to the restriction of the Riemannian metric on SLn (R) to SLn (Z) by Lubotzky-Mozes-Raghunathan [145]. The action of SLn(Z) on the symmetric space SL" (R)/SOn (R) is not co-compact. The typical case is when n = 2. In that case the symmetric space SL2(R)/SO2(R) is just the Hyperbolic plane H2, say the upper half of the complex plane with the hyperbolic metric. The group SL2 (R) acts on H2 by the Mobius transformations:

(a b\ _ az + b \ c d) ' z = Cz + d '

Then the action SL2(Z) on H2 has a fundamental domain which is an ideal triangle (with one vertex at infinity). Consider the set Hœ of all z e H2 with imaginary part at least 1 (the number 1 can be replaced by any real number > 0). It is a horoball in H2. Note that Hœ is stable under the action of the subgroup of SL2 (R) consisting of upper

uni-uppertriangular matrices from SL2 (R) of the form ^ ^ ^ ^. The orbit of Hœ under

the action of the group SL2 (Z) consists of horoballs too. The union of these horoballs is the thin part of the symmetric space H2. The complement of the thin part is the thick part. The thick part is clearly invariant under the action of SL2(Z) and the action is co-compact. A similar picture exists if n > 3. The symmetric space SLn(R)/SOn(R) has a horoball Hœ. The union of the horoballs SLn (Z) ■ Hœ is called the thin part of the symmetric space, its complement is the thick part, and the action of SLn (Z) on the thick part is co-compact. Thus it is natural to consider "equivalent objects": the group SLn(Z) and the thick part of the corresponding symmetric space.

These preliminaries should be enough to understand a short description of the proof from [239] sent to us by Robert Young. Every word w that is equal to 1 in SLn (Z) corresponds to a loop in the symmetric space SLn (R)/SOn (R). The basic idea of the proof is to use fillings of loops in the symmetric space SL( p; R)/SO( p) (which has quadratic

area function being semihyperbolic) as templates for fillings loops in the Cayley graph of SL" (Z). Fillings which lie in the thick part of SLn (R)/SOn (R) correspond directly to fillings in SL" (Z), but in general, an optimal filling of a curve which is contained in the thick part may have to go deep into the thin part. The proof uses both geometric and algebraic points of view. Different horoballs in the thin part correspond to different parabolic subgroups of SLn (Z) (each of these subgroups is conjugate to some group of block upper triangular matrices), so one key step was to develop geometric techniques to cut the quadratic filling of a loop in the symmetric space into pieces (subdiscs) with each piece lying in one horoball. The word corresponding to the boundary of each piece is a product of three words, each of which represents an element of the parabolic subgroup (these elements are determined by the geometry of the filling). Each of these three words can be written as a product of a block diagonal matrix and a unitriangular matrix. The uni-triangular matrix can be written as a product of boundedly many elementary matrices (one non-zero off-diagonal entry) where the off-diagonal entry may be of exponential size. The elementary matrices can be replaced by relatively short (linear length) words in SLn (Z) (shortcuts) using the technique from Lubotzky-Mo-zes-Raghunathan [145]. For this purpose Young includes the elementary matrices in some solvable subgroups with quadratic Dehn functions where the cyclic subgroups generated by these elements are exponentially distorted. This is not very mysterious. We have already seen (see 2.6.C) that the cyclic group generated by a is exponentially distorted in BS(1, 2). The group BS(1, 2) is metabelian and has the following matrix

representation b = , a = ^o1). Note that a is an elementary matrix in

this representation. Of course as we have seen (Example 2.22), the Baumslag-Solitar group has exponential Dehn function. But Drutu [73], and later Cornulier and Tessera [59] have shown that metabelian groups of higher ranks can have quadratic Dehn functions. The key property of Young's solvable subgroups is the freedom of choosing them. This is similar to having two commuting copies of the Heisenberg group H3 in H5 in the proof from 3.2.B and this is why Young's proof does not work in SL4(Z): there is simply not enough room to place several commuting solvable subgroups with quadratic Dehn functions. The shortcuts allow Young to reduce the problem of filling the original loop to the filling problem for loops in some subgroups of block-diagonal matrices (which are just direct products of matrix groups of smaller sizes). Repeatedly applying these geometric and combinatorial techniques breaks the original word into pieces which lie in smaller and smaller subgroups of SLn (Z) and ultimately to a quadratic filling.

4.1.F The result that the R. Thompson group F has quadratic Dehn function [111] was quite unexpected. It was conjectured by Gersten [88] that the Dehn function of F is exponential. It was proved to be at most exp(log2 n) in our paper with Guba [112]. For some time we thought that exp(log2 n) is equivalent to the Dehn function of F because we had a concrete sequence of loops in the Cayley graph of F for which we could not find fillings with smaller areas. A big breakthrough was achieved by Guba [109] where a polynomial isoperimetric function was found. Still it was hard to believe that the Dehn function is quadratic because the polynomial fillings used in [109] seemed optimal.

Recall that the R. Thompson group F has infinite presentation

(X0, xi,... | x-1XjXi = Xj+iVi < j}. (7)

It is also generated by x0, xo subject to two defining relations. It turned out that instead of dealing with a finite presentation of F one is better off working with the infinite presentation obtained from (7) by considering only those relations where j - i < 5. It is not difficult to prove that this (infinite) presentation defines F and the quadratic isoperimetric inequality for this presentation is equivalent to a quadratic inequality for a finite presentation of F. (In defining an isoperimetric inequality for the infinite presentation, one needs to modify the notion of length of a word; Guba uses a notion of complexity of a word which is the length plus the difference between the highest and the lowest indices of letters occurring in the word.) Guba's proof is in a sense similar to the proof from [185] outlined in 3.2.B. He also introduces normal forms of elements in F (in the case of H5 these were the rectangular words R(p, q)), and considers the process of reducing a word to its normal form rather than reducing a word that is equal to 1 in F to the empty word. Using a trick similar to the "division in halves trick" from 3.2.B, Guba reduces the problem to finding the filling area of words of the form uv where u,v are normal forms. These are called the triangular words in [111]. He then transforms these words to words of different shapes (rectangular, vertical, horizontal). In order to do that Guba uses various elaborate cutting and pasting techniques. Some of these amount to dividing a word into three parts which are of approximately (but not quite) equal lengths. Instead of three pieces as on Fig. 11, Guba gets eight pieces, and the following recurrent formula for the isoperimetric function f (n):

f (n) < 8f (n/3) + O(n2).

The fact that the coefficient of f(n/3) in that formula is smaller than 9 = 32 plays crucial role. It turns out that the reduction procedure described in [111] not always decreases the complexity of a word. In order to make increases rare enough, one needs to cut the words into three parts of not quite equal lengths and the required freedom is allowed by the fact that 8 < 9.

4.1.G Rips' question. Note that the following problem formulated by Rips in 1994 is still open.

Problem 4.2 (Rips) Is F automatic?

It is known [112] that F admits a regular language of (unique) normal forms. But that set of normal forms does not satisfy the combing property (6).

Also note that in [110], Guba proved that the simple R. Thompson groups T and V [46] have polynomial isoperimetric functions (these groups are finitely presented by [121]). Exact Dehn functions of these groups are unknown. Simple finitely presented groups with quadratic Dehn functions (and even bi-automatic) are known (see [44,45]).

Problem 4.3 Is F semihyperbolic?

4.2 The conjugacy problem for groups with quadratic Dehn functions. Semihyperbolic groups and all the groups mentioned in Theorem 4.1 have one thing in common: the conjugacy problem in any of these groups is solvable. For semihyperbolic groups the proof is easy (see Theorem 3.38). The proofs for the different classes of groups mentioned in Theorem 4.1 are quite different, and sometimes very complicated.

4.2.A For polycyclic (in particular, nilpotent) groups, solvability of the conjugacy problem was proved by Formanek [82] using representation of these groups by matrices.

4.2.B For finitely presented metabelian groups, the solvability of conjugacy problem was proved by Noskov [170] using the Magnus representation of metabelian groups by matrices over commutative rings, and some very non-trivial commutative algebra (finding groups of units of commutative rings, in particular).

4.2.C For free-by-cyclic groups it was proved by Bogopolski, Martino, Maslakova and Ventura [23] using some deep properties of the dynamics of free group automorphisms, in particular, Bestvina-Feighn-Handel train tracks [19].

4.2.D For the Stallings group, the solvability of conjugacy problem is proved by Brid-son [34]. He applies the following nice result (we weaken the formulation a little bit in order not to introduce new terminology).

Theorem 4.4 (Bridson [34]) Let G be a bi-automatic group and let N < G be a normal subgroup. If the membership problem for finitely generated subgroups of G/N is solvable, then N has a solvable conjugacy problem.

Recall that the input of the membership problem for finitely generated subgroups of a group G is a tuple of elements of G (given as words in generators) u 1,...,un, v. The output is "yes" if v belongs to the subgroup generated by u1,...,un.

4.2.E For the group SL (n, Z), the solvability of conjugacy problem was proved independently by Grunewald [105] and Sarkisyan [212]. The diversity of methods used in these papers is reflected by the following paragraph taken from Roger Lyndon's review of [105] in Math Reviews: "The arguments, given explicitly, are long and intricate but appear for the most part to use hardly more than standard ideas from the theory of linear groups and their modules, from number theory, and, from the theory of groups, coset representations and the Reidemeister-Schreier theorem."

4.2.F The conjugacy problem in the R. Thompson group F was first solved by Guba and Sapir [113] using the diagram group representation of F .More recently a different solution was found by Belk and Matucci [16].

4.2.G Rips' problem. These results justify the following general problem which was formulated in 1994 as a conjecture (before most of the above results confirming this conjecture appeared):

Problem 4.5 (E. Rips) Is the conjugacy problem solvable in every finitely presented group with quadratic Dehn function?

The fact that this problem is difficult is shown by the diversity of methods used in proving solvability of the conjugacy problem mentioned above, and the following "quasi-proof" from our paper with Olshanskii [191].

In order to formulate the statement, we shall need the well known constructive version of a limit of a sequence of numbers. In fact we are going to use that definition only in the case when the limit is 0.

Definition 4.6 Let g: N ^ R be a function. We say that the constructive limit of g(n) as n ^ to is 0 if for every integer A > 0 there exists N = N(A) such that for every n > N, | f (n)l < 1/A, and the function N(A) is recursive. In that case we shall write g(n) = 0. It is easy to see that g(n) = 0 if and only if there

exists an increasing recursive function f (n) such that g(k) < 1 for every k > f (n).

Quasi-Theorem 4.7 Let d (n) be the Dehn function of a finite group presentation P. Suppose that J("g" = 0. Then P has decidable conjugacy problem.

Proof We shall need the following lemma.

Lemma 4.8 Let A be a minimal annular diagram with boundary components p, p' over a finite group presentation P. Let x be a shortest path connecting p and p'. Then the area of A is at least C lx | log lx | for some constant C depending on P.

Proof Consider the following construction. Let p0 = p (considered as a cyclic path) be the inner contour of the diagram A. Suppose that we have constructed a cyclic path pi surrounding the hole of the diagram in A such that pi does not have common vertices with p'. Let K be the annulus bounded by p0 and pi. Let Mi+i be the set of cells of A outside Ki that have common vertices with pt. Then let Ki+i be the minimal annular subdiagram of A with simple contours that contains Ki and all cells from Mi+o. Let pi+o be the outer contour of Ki (the inner contour of Ki is p = p0).

It follows that every edge of the path pi+o belongs to the contour of one of the cells of M i+i. Hence every vertex of pi+i can be connected with a vertex of pi by a path such that

(0) the length of the path is bounded by a constant,

(1) it can be connected with p0 by a path of length at most O (i) and

(2) the number of cells in Mi+i is at least O(|pi+i |).

From (1), it follows that the number of subdiagrams Ki is O(|x|). Furthermore, more than a half of the paths pi have length at most logc | x| where c is, say, four times the number of letters in the alphabet of the presentation P. Indeed, otherwise we would have two paths pi and pj, i = j with the same labels, and we could remove the annular subdiagram between pi and p j reducing the area of A (that would contradict the minimality of A), see an analogous trick in the proof of Theorem 3.38 above.

From (2), it follows that at least half of the subsets Mi contain at least O (log ^ |) cells each. Since these sets do not intersect, the number of cells in A is at least OQx| log |x|). □

Now the "quasi-proof" of the Quasi-Theorem 4.7 proceeds as follows. Suppose that P is a finite presentation with undecidable conjugacy problem. Suppose that the

constructive limit of J^gn is 0. Then, in particular, d(n) is bounded from above by a recursive function, and P has solvable word problem.

Note that if an annular diagram A with boundary labels u and v has a simple path x with label t connecting the boundary components, then we can cut A along x and obtain a disc van Kampen diagram with boundary label t±1utT1v-1. So if \t \ is recursively bounded in terms of \u\ and \v\ (for every u and v that are conjugate modulo P) then the conjugacy of u and v can be algorithmically verified.

Pick an increasing recursive function f (n) with ^i^g k < 1 for every k > f (n) where C is the constant from Lemma 4.8 (as in Definition 4.6). Since the conjugacy problem for P is undecidable, there exists a minimal annular diagram A with contours p, p' such that any path in A connecting p and p' has length at least f (\p\ + \p'\). Let n = \p\ + \p/\. Let x be a shortest path connecting p and p'. Thus

\x \ > f (n), (8)

and so

d(3\x\) 1

^ -. (9)

C|x|2 log |x| n

Since x is a shortest path connecting p and p', x is simple. Let us cut A along x and obtain a disc diagram T with boundary label zuz-1v-1 where z is the label of x±1. By Lemma 4.8, the area of T is at least C\x \ log \x \.

Now we can take an integer m between x - 1 and x. We attach m copies of T consecutively to each other along the sides labeled by z to get a van Kampen diagram n with boundary label zumz-1v-m. The perimeter r of n is between 2\x\ and 3\x\, and the area is m times the area of A. So, by Lemma 4.8, the area of n is at least W^m. By (9), we can deduce that the area of n is bigger than d (r). This contradicts the definition of Dehn function of a group presentation. □

Remark 4.9 The only gap in the preceding argument is contained in the last phrase. We cannot guarantee that n has minimal area among all diagrams with the same boundary label, and, in principal, the area of a minimal diagram with this boundary label may be even quadratic in terms of the perimeter r. Still we do not know any groups for which this proof does not work. Note that we do not need n to be minimal: only that the minimal diagram with the same boundary label does not have too few cells compared to n. Also note that n cannot be "obviously" non-minimal. For example, it is easy to see that n cannot contain two cells that share an edge and are mirror images of each other (if such a pair of cells existed, we would replace their union by a diagram with no cells, reducing the number of cells). Also we have freedom of choosing u, v, A and x. We do not need x to be a minimal length path connecting the boundary components of A. We only need that the area of A exceeds O(\x\ log \x\) divided by a recursive function in n (depending only on the presentation). In addition, the number m should only be O (\u\++}\v \). Thus Quasi-Theorem 4.7 seems true for a very large class of groups and possibly for all finitely presented groups.

4.2.H The sharp bound of n2 log n. It is shown in [191] that Quasi-Theorem 4.7 is true for groups that are multiple HNN-extensions of free groups (for the definition see 2.6.B).

Theorem 4.10 (See [191]) Letd (n) be the Dehn function of a multiple HNN-extension

d(n) n2 log "

of a free group. Suppose that d^g n = 0. Then P has decidable conjugacy

problem.

The bound n2 log n in Theorem 4.10 turned out to be sharp. Theorem 4.11 (See [191]) There exists a finitely presented group that

• is a multiple HNN-extension of a free group,

• has undecidable conjugacy problem,

• has Dehn function n2 log n.

It is pointed out in [191] and [36] that Theorem 4.10 and the results of [36] give an alternative prove of solvability of the conjugacy problem in free-by-cyclic groups (originally proved in [23]).

4.2.I The conjugacy problem in automatic groups. It is still unknown whether the conjugacy problem is decidable in every automatic group although it is decidable in every bi-automatic group (by Theorem 3.38 since these groups are semihyperbolic).

Problem 4.12 Can the quasi-proof above and, specifically, Remark 4.9 be applied to prove that automatic groups have decidable conjugacy problem? Is it possible to apply the quasi-proof to groups from Theorem 4.1 in order to obtain a unified proof of the solvability of conjugacy problem for these groups?

4.3 A description of isoperimetric functions > n4. It is most probable that the class of Dehn functions > n2 log n is as wide as the class of time functions of Turing machines with the same restriction. The next theorem confirms that conjecture in the case of Dehn functions >n4.

4.3.A Superadditivity. We call a function f superadditive if for all natural numbers m, n we have f (m + n) > f (m) + f (n). The problem of whether all Dehn functions of finitely presented groups are superadditive (up to equivalence) is still open. We conjectured in [210] that the answer is "yes". In [114] Guba and myself proved that every free product G * H where G and H are non-trivial finitely presented groups, has a superadditive Dehn function. For example, for every group G the free product G * Z has a superadditive Dehn function (here Z is the infinite cyclic group). In fact the Dehn function of G * Z is the superadditive closure of the Dehn function of G, i.e. the smallest superadditive function exceeding the Dehn function of G. Thus if there was an example of a finitely presented group G with non-superadditive Dehn function, it would be also an example of a group G whose Dehn function is not equivalent to the Dehn function of G * Z. Note that a presentation of G * Z is obtained from the presentation of G by adding one new generator and no extra relations. The problem of superadditivity of all Dehn functions is similar in nature to the problem of whether the quasi-proof from 4.2 works for all groups with quadratic Dehn functions. A counterexample is hard to imagine, let alone construct.

4.3.B The theorem.

Theorem 4.13 (See Sapir-Birget-Rips [210, Theorem 1.2]) 1. Let D4 be the set of all Dehn functions d(n) > n4 of finitely presented groups. Let T4 be the set of time functions t (n) > n4 of arbitrary (non-deterministic) Turing machines. Let T4 be the set of superadditive functions which are fourth powers of time functions. Then

T4 c D4 c T4.

2. For every non-deterministic Turing machine T with time function T(n) such that T4(n) is superadditive there exists a finitely presented group G with Dehn function T4(n) and the isodiametric function T3(n) such that the problem recognized by T reduces polynomially to the word problem in G (see 2.2.G).

Note that we do not know if

• Every time function of a non-deterministic Turing machine is equivalent to a superadditive function.

• The square root of a time function of a non-deterministic Turing machine is equivalent to the time function of a non-deterministic Turing machine.

If one or both of these statements were true, it would be (obviously) possible to simplify the formulation of Theorem 4.13.

4.4 NP-complete and coNP-complete groups

4.4.A NP-complete groups. Now let us take a non-deterministic Turing machine M recognizing some NP-complete problem, say, the exact bin packing Problem 2.8. Let G be the group from Theorem 4.13 that corresponds to M. Then G has polynomial Dehn function, hence its word problem is in NP (by 2.2.J). On the other hand since the problem recognized by M polynomially reduces to the word problem in G, the word problem in G is NP-complete. Hence we get

Corollary 4.14 (See [210, Corollary 1.1]) There exists a finitely presented group with NP-complete word problem.

4.4.B CoNP-complete groups Theorem 4.13 only treats the "yes" part of the word problem. Van Kampen diagrams are not witnesses of the "no" part (i.e. inequalities w = 1). Nevertheless we have the following

Theorem 4.15 (Birget [21]) There exists a finitely presented group G whose word problem is coNP-complete.

Birget reduces a known coNP-complete problem, namely the circuit equivalence problem23 to the word problem in a concrete finitely presented subgroup of the Thompson-Higman group V [46] (denoted by G2,1 in Higman [121]).

23 A boolean circuit [232] is a "device" built of elementary circuits connected by wires; each elementary circuit represents abasicoperationfromlogic: AND, OR, NOT and FORK. Every circuit has input wires and output wires. Every time we send signals 0 or 1 through input wires, we get a combination of signals 0 or 1 coming through the output wires. Hence every circuit represents a boolean function. The circuit equivalence problem asks, given two (acyclic) boolean circuits, do they have the same input-output function?

That group, as all Thompson groups, consists of (partial) transformations of the set of infinite binary words. One of the simple key ideas is that if G is a group of transformations of a set X, then a witness to the inequality f = g for f, g e G is just an element x e X such that f (x) = g(x). We have mentioned already in 2.2.G that the group V has been used before in constructing finitely presented groups with undecidable word problem by McKenzie-Thompson [155]. They used V to simulate a construction of arbitrary recursive functions from simple building blocks (somewhat similar to boolean circuits).

4.5 The isoperimetric spectrum. The isoperimetric spectrum consists of all numbers a > 1 such that na is equivalent to the Dehn function of a finitely presented group. By Theorem 3.25, the intersection of the isoperimetric spectrum with the open interval (1, 2) is empty. The next theorem gives an almost complete description of all numbers in the isoperimetric spectrum that are > 4.

Theorem 4.16 (Sapir [210]) The isoperimetric spectrum contains all numbers a > 4 whose nth binary approximation24 can be computed by a deterministic Turing machine in time less than 22 . On the other hand, Theorem 2.17 implies that if a is in the isoperimetric spectrum then the nth binary approximation of a can be computed in time < 22 .

The difference in the number of 2's in these expressions, is the difference between P and NP in Computer Science (if P = NP then there should be two 2's in both expressions).

All "constructible" numbers (rational numbers, algebraic numbers, values of relatively easy computable analytic functions at rational points such as e + 2,n + 1, 10 sin 4, etc.) which are > 4 satisfy the condition of Theorem 4.16. In fact, these and most other familiar numbers can be computed by very fast quasilinear algorithms (see [27]).

The intersection of the isoperimetric spectrum with the interval [2,4] is less known, although it is known that it is dense, contains all rational and many transcendental numbers from that interval [30,31,33]. The advantage of the snowflake construction and its modifications employed in these papers is that one obtains explicit and often quite short presentations of groups with prescribed Dehn functions of the form na while the groups from [210] are obtained by simulating Turing machines computing binary approximations of a (and so the number of generators and relators are usually quite large and writing explicit presentations is not a feasible task).

4.6 Groups with polynomial-non-recursive and quadratic-non-recursive Dehn functions. Let i\ow and i^igh be two classes of increasing functions N ^ N. We say that a function h: N ^ N is an F[ow-non-i^igh-function, if for some f e Flow, h(n) < f (n) for infinitely many n, and for every g e Fhigh, h(n) > g(n) for infinitely many n. For example, a function h is polynomial-non-recursive if h is not bounded above by any recursive function, but is smaller than some fixed polynomial f (n) for infinitely many values of n. Similarly we can define the class of functions which are quadratic-non-recursive, etc.

24 That is a rational diadic number f = a/2" which is within O (2 n) from a.

4.6.A Polynomial-non-recursive.

Theorem 4.17 (Olshanskii, Sapir [182]) There exists a finitely presented group with polynomial-non-recursive Dehn function.

Proof We shall sketch a proof showing how to deduce Theorem 4.17 from the results of [210]. It shows a general strategy of estimating Dehn functions of groups from [210] corresponding to the so called S-machines (see Sect. 6). Let M be the Turing machine from Theorem 2.6, that is M has undecidable halting problem and infinitely many h-good numbers where h(n) = exp exp n. In [210], it is shown how for every Turing machine M, one can construct a group G = G (M). The fact that M has undecidable halting problem, and [210, Propositions 4.1, 12.1] imply that G has undecidable word problem. The presentation of G from [210] shows that G is obtained from some special multiple HNN-extension of a free group (called an S-machine) with free letters 01 ,...,6m by imposing one relation which is called the hub (see 6.3).

To estimate the Dehn function of G, we need to estimate the areas of van Kampen diagrams over the presentation of G from [210]. Let A be a van Kampen diagram over that presentation with boundary label w of length l. We assume that A is minimal.

By [210, Proposition 11.1] we can do the so called snowman decomposition of A, to obtain three sequences of diagrams E1,..., Es, r1;..., rs-1, n1;..., ns-1, with the following properties:

(51) Es = A.

(52) E1 contains no hubs, i.e. E1 is a diagram over G'.

(53) For every i = 1,..., s - 1, we have that Ei+1 is a union of subdiagrams T, Ei, n having no common cells, and n is either empty or contains exactly one hub cells and no 0j -edges on its boundary.

This implies that we can glue together the diagrams E1; r1;..., Ts—1; n1,.... ns-1 so as to obtain a diagram with boundary label w. Therefore in order to find the upper bound for the area of A we need to estimate the sum of the areas of E1,r1,...,Ts-1,n1,...,ns-1.

By [210, Lemma 11.21] for every i = 1,..., s — 1,

| d(Ei)| < | d(Ei+1) | .

Therefore

|d(Ei)|< |w|, i = 1.....s,

and s < |w|.

The diagram E1 and for every i the diagram T contain no hubs. So by [210, Lemma 8.1],

Area (T) < c^dT)|3

Area(E1) < c1|d(E1)|3

for some constant co. We also know that |9(Eo)| < |w| and by [210, Lemma 11.21] 19(Fj)| < c2^(Ei+1)| < c2|w|, for i = 1,..., s - 1 and some constant c2. Therefore

Area(Ei) + Area(Fi) + ... + Area(Fs-i) < Cl|д(Ei)|3 + ^(Fi)3 + Cl|д(F2)|2 + ■■■ + Cl|д(Fs-l)|3 < ccs|w|3 < c3|w|4.

for some constant c3.

It remains to estimate the area of n. Let n be one of the n, i = 1,..., s - 1. Let W be the word written on the boundary of n. Note that W| < c5l for some constant c5 because the union of Ei, Fj, n is Ei+1 by property (S3) and the estimates of the length ^(Ei)|, ^(Fi)| above.

We can assume that n is a minimal diagram. Then by [210, Propositions 4.1] some subword w of the boundary label of n is an accepted configuration of M and the area of n is bounded from above by c6time(w)2 for some constant c6. Moreover time(w) is either bounded by ciW or does not exceed c8time(w') for some input configuration w' with < |w| and some constants c7, c8. Now suppose < l < b for some h-good number b ^ 1. Then < |w| < b. Hence time(w') < logb < l. Thus the area of n is bounded by c9l2 for some constant c9. Thus the area of A is bounded by some polynomial in l. Since the set of h-good numbers of M is infinite by the choice of M, the group G has polynomial-non-recursive Dehn function. □

4.6.B Quadratic-non-recursive. The following theorem which is much stronger than Theorem 4.17 was proved in [182].

Theorem 4.18 (Olshanskii [182]) There exists a finitely presented group with quadratic-non-recursive Dehn function.

Comparing with4.6.A, the proof of Theorem 4.18 requires significantly new ideas. It is easy to see that the proof from 4.6.A does not give quadratic upper bound for infinitely many values of n (for instance, the S-machines usually have cubic Dehn functions [210], so one cannot hope to bound the area of even Eo by a quadratic function). The proof of Theorem 4.18 involves

• A new construction of an S-machine simulating the Turing machine from Theorem 2.6.

• A new way of decomposing a diagram over the presentation of the S-machine plus the hub. Several parameters of diagrams and several cutting and pasting operations on diagrams are introduced. One of the parameters is the area, another one is the perimeter, and there are several others. Every cutting operation reduces certain expression involving the parameters which makes the induction possible.

5 Higman embedding

5.1 A characterization of groups with word problem in NP and other time complexity classes. The fundamental result of Higman [122] gave an algebraic characterization of groups with recursively enumerable word problem (i.e. recursively enumerable set of words that are equal to 1 in the group).

Theorem 5.1 (Higman [122]) The word problem in a finitely generated group G is recursively enumerable if and only ifG is a subgroup of a finitely presented group.

There are several different proofs of Theorem 5.1. See, for example, Rotman's book [207] and Manin's book [157] (where you can also find an interesting discussion of the philosophical significance of that theorem). See also 6.4 below.

After [122], there were several results showing that embedding into a finitely presented group can preserve or even improve the algorithmic properties of the group. First results have been obtained by Clapham [51] and Valiev [231] (see [189] for the history of these results): they proved that the solvability (even r.e. degree) of the word problem and the level in the polynomial hierarchy of the word problem is preserved under some versions of Higman embedding.

By Theorem 2.18 the Dehn function of a finitely presented group is recursive if and only if the group has decidable word problem. Moreover by Proposition 2.10 for every finitely presented group G with Dehn function T(n) there exists a nondeterministic Turing machine M(G) which solves the word problem in G and has time function equivalent to T (n). Roughly speaking, this Turing machine takes a word w over the generators of G and just inserts relators of G. It stops and accepts w when it gets 1. Clearly this machine solves the word problem in every finitely generated subgroup of G as well. Therefore if a finitely generated group G is a subgroup of a finitely presented group with polynomial isoperimetric function then the word problem in G is in NP (i.e. it can be solved by a non-deterministic Turing machine with polynomial time function).

The drawback is that the word problem in a group G can be easy to solve but the Dehn function of G can be huge. A typical example is the Baumslag-Solitar group BS(1, 2) = (a, b | bab-1 = a2}. This group has exponential Dehn function (see Example 2.22). But we have mentioned in 4.1.E that this group is a subgroup of GL(2, Q) so the word problem in BS(1, 2) can be solved in at most quadratic time: it is easy to see that the word problem of every finitely generated group of matrices over a field of rational numbers can be solved in at most quadratic time by a deterministic Turing machine. In fact it is possible to solve the word problem there in time n(log n)2 (log log n) (this follows from the fact that the product of two n-digit numbers can be computed in time n log n log log n [141]).

Nevertheless, the following theorem shows that every finitely generated group G with word problem in NP can be embedded into a finitely presented group H with polynomial isoperimetric function. Thus if we can solve the word problem in G using a very clever and fast Turing machine, then we can use the simple-minded but almost as fast Turing machine M(H) to solve the word problem in G.

Theorem 5.2 (Birget, Olshanskii, Rips, Sapir [22]) Let G be a finitely generated group with word problem solvable by a non-deterministic Turing machine with time function < T(n) such that T(n)4 is superadditive (that is T(m + n)4 > T(m)4 + T(n)4 for every m, n). Then G can be embedded into a finitely presented group H with isoperi-metric function equivalent to n2 T (n2)4. In particular, the word problem of a finitely generated group is in NP if and only if this group is a subgroup of a finitely presented group with polynomial isoperimetric function.

For matrix groups over rationals, Theorem 5.2 implies that every such group is embedded into a finitely presented group with Dehn function at most n10+e for every e > 0. Young's result from [239] (see 4.1.E) implies that for matrix groups over Z one can reduce the exponent 10 + e to 2.

Problem 5.3 Is it true that every finitely generated matrix group over a field (in particular, the field of rational numbers) embeds into a finitely presented group with quadratic Dehn function?

Theorem 5.2 immediately implies

Corollary 5.4 The word problem of a finitely generated group G is in NP if and only if G embeds into a finitely presented group with polynomial isoperimetric function.

By Fagin's Theorem 2.9 this corollary gives an algebraic characterization of groups where the word problem admits an algebraic description.

Using Corollary 5.4 (and the proof of Theorem 5.2), in order to embed a finitely generated group with word problem in NP into a finitely presented group with polynomial isoperimetric function, one needs first construct a Turing machine which solves the word problem, then convert it into an S-machine, then convert the S-machine into a group. As a result the group we construct will have a relatively complicated set of relations. In some particular cases like the free Burnside groups Bm,n, the free solvable groups, etc., it is possible to modify this construction and get simple presentations of groups with polynomial isoperimetric functions where these groups embed [186]. For the Baumslag-Solitar group BS(1, 2) it was done in [186] too, and an even much simpler presentation was found by Cornulier and Tessera [59] (see also Theorem 4.1, part (2)).

Theorem 5.2 is also interesting from the logic point of view. One can consider a group as a logical system where the defining relations are axioms, and the inference rules are constructing step by step van Kampen diagrams. The van Kampen diagrams are then proofs of their boundary labels. Then the Dehn function becomes the syntactic complexity of proofs. The computational complexity of the word problem is the complexity in the metaworld of the group theory. The embedding of groups becomes a conservative extention of theories.

With this vocabulary, the result means that the complexity of proofs in the outer world of groups (that is, in its metamathematical semantics) after appropriate conservative extension to a finitely axiomatized theory becomes the complexity of proofs in the syntactical sense (up to a polynomial correction).

In this formulation, one can ask a similar question for any logical system. Several results of this type for general logical systems can be found in [139].

By Theorem 2.27 the class of groups with polynomial isoperimetric functions is a subclass of the class of groups with simply connected asymptotic cones. Hence we formulate

Problem 5.5 Does every finitely generated group with word problem in NP embed into a group all of whose asymptotic cones are simply connected? Equivalently (by Theorem 5.2): does every finitely presented group with polynomial isoperimetric function embed into a group all of whose asymptotic cones are simply connected?

Note that by Theorem 2.27, groups with simply connected asymptotic cones have linear isodiametric functions. On the other hand, for every k > 4 there are groups with Dehn function nk and isodiametric function n3k by [210]. Thus if the embedding as in Problem 5.5 exists, it must distort lengths at least polynomially. The embeddings in [22] distort lengths linearly (see [22]), so a quite different construction should be used.

5.2 The space functions of Turing machines and the filling functions of groups.

The results about space functions of Turing machines and the FFFL functions of groups [183] are similar to the results about time functions and isoperimetric functions obtained in [22,210]. On the one hand the situation is simpler because it is easier to control the space function than the time function of a machine. Also the issues with superadditivity does not appear in this situation. Indeed, if we want to check if two words are equal to 1 using a Turing machine, then the time spent will be the sum of times needed to checking each word (hence we need superadditivity of the Dehn function) but the storage space is approximately the maximal of the spaces needed for each word because after we proved that one of these words is 1, we can clean the tape and start proving that the other word is equal to 1 (so superadditivity is not needed). On the other hand, the descriptions are more finalized which requires more detailed consideration of geometry of van Kampen diagrams. If in [22,210], for example, we just cut the diagram into pieces and estimate the number and the areas of the pieces, here one needs to carefully examine the lengths of the cuts. Also working with time and Dehn functions, we could modify Turing and S-machines by adding artificial tapes which can potentially by very long, but serve as a "temporary storage space". Dealing with space and FFFL functions, we cannot do that which adds to the complexity of the situation.

Nevertheless the following complete description of FFFL functions of groups was obtained by Olshanskii.

Theorem 5.6 (Olshanskii [183]) Every space function f (n) of a Turing machine is equivalent (as in 2.2.D) to the FFFL function of some finitely presented group.

Since space functions of Turing machines can be "arbitrarily complicated" (similar to time functions), we obtain finitely presented groups with "arbitrary complicated" FFFL functions.

Also similar to the isoperimetric spectrum one can define the space spectrum of finitely presented groups as the set of all a such that na is equivalent to the FFFL function of a finitely presented group. Since the problem with non-determinism vs determinism is not an issue, we have a complete description of the space spectrum.

Theorem 5.7 (Olshanskii [183], compare with Theorem 4.16) For a real number a > 1, the function na is equivalent to the FFFL function of a finitely presented group if and only if the nth binary approximation of a is computable by a deterministic Turing machine using space < 22n .

An analog of Theorem 5.2 also was obtained in [183]. Note that by Proposition 2.20, the space complexity of the word problem in a finitely presented group G does not exceed the FFFL function of G. It follows from [53,150] that the converse statement fails. An easier example is given by the Baumslag 1-relator group from [14]

G = (a, b | (aba-1 )b (aba-1)-1 = b2). Its FFFL function is not bounded from above by any multi-exponential function (see Gersten [86] and Platonov [200]) while the space complexity of the word problem for G is polynomial (see [167]).

Theorem 5.8 (Olshanskii [183]) Let G be a finitely generated group such that the word problem for G is decidable by a deterministic Turing machine with space function f (n). Then G embeds into a finitely presented group with FFFL function equivalent to f (n).

Similarly to Corollary 5.4 one immediately deduces

Corollary 5.9 (Olshanskii [183]) The word problem of a finitely generated group G belongs to PS PACE if and only if G embeds into a finitely presented group with polynomial FFFL function.

5.3 Collins' problem. The conjugacy problem turned out to be much harder to preserve under embeddings. We have already mentioned the results of Collins and Miller [55] and Gorjaga and Kirkinskil[93]: even subgroups of index 2 of finitely presented groups do not inherit solvability or unsolvability of the conjugacy problem (see 2.4.B).

In 1976 Collins [138] posed the following question (problem 5.22): Does there exist a version of the Higman embedding theorem in which solvability of the conjugacy problem is preserved? The solution is given by the following two theorems.

Theorem 5.10 (Olshanskii, Sapir [189]) A finitely generated group H has solvable conjugacy problem if and only if it is Frattini embedded into a finitely presented group G with solvable conjugacy problem.

Theorem 5.11 (Olshanskii, Sapir [190]) Every countable recursively presented group with solvable word and power problems is embeddable into a finitely presented group with solvable conjugacy and power problem.

Recall that a subgroup H of a group G is Frattini embedded in G if every two elements of H that are conjugate in G are also conjugate inside H. It is clear that if H is Frattini embedded into G and G has solvable conjugacy problem, then H also has solvable conjugacy problem. We say that G has solvable power problem if there exists an algorithm which, given u,v in G says if v = u" for some n = 0.

Theorem 5.11 is a relatively easy application of Theorem 5.10.

In the same Problem 5.22 of [138] Collins asked whether a version of Higman embedding can preserve the recursively enumerable hierarchy (the recursive sets are at the bottom of that hierarchy). The affirmative answer is also given in [189].

The construction in [189] is much more complicated than in [22] or [183]. First we embed H into a finitely presented group Ho preserving the solvability of the word problem (say, one can use [22]). Then we use the Miller S-machine M(Ho) (see 6.1A) to solve the word problem in H. In order to overcome technical difficulties, we needed certain parts of words appearing the computation to be always positive.25 The standard

25 A word is called positive if it does not contain inverses of the alphabet letters.

positivity checkers do not work because they are S-machines as well, and can insert negative letters. So we used some ideas from the original Boone-Novikov proofs. That required introducing new generators, x-letters (in addition to the a-, q-, and 0-letters in S-machines) and Baumslag-Solitar relations (as in Example 2.22). In addition, to analyze the conjugacy problem in G, we had to consider annular diagrams which are more complicated than van Kampen disc diagrams. Different types of annular diagrams (spirals, roles, etc.) required different treatment.

We do not have any reduction of the complexity of the conjugacy problem in H to the complexity of the conjugacy problem in G. In particular, solving the conjugacy problem in G, in some cases required solving systems of equations in free groups (i.e. the Makanin-Razborov algorithm, see 2.3.E).

5.4 A finitely presented non-amenable group without free subgroups. One of the

most important applications of our versions of Higman embeddings so far was the construction of a finitely presented counterexample to the von Neumann problem, i.e. a finitely presented non-amenable group without non-Abelian free subgroups [188].

5.4.A Short history of the problem. Suppose that a group G acts on a metric space X by isometries. We say that the action is paradoxical if X can be decomposed as a disjoint union A1 u ... u Am u B1 u ... u B" (m, n > 1) such that for some g1,...,gm, h1,...,hn of G we have X = g1 A1 U ...U gmAm = h1 B1 U ...U h"B". Hausdorff [118] proved that the action of SO(3) on the unit sphere minus a countable set of points is paradoxical: one can subdivide the 2-sphere minus a countable set of points into 3 parts A, B, C, such that the union of any two of these parts can be obtained by rotating the third part (hence we can cut a sphere into a finite number of pieces, rotate these pieces and obtain two spheres of the same radius). Banach and Tarski [12] generalized Hausdorff's result and proved what is now known as Banach-Tarski paradox. Von Neumann [233] noticed that the cause of the paradoxes is the structure of the group G. In particular the cause of the Hausdorff paradox is that SO3(R) contains a non-Abelian free subgroup. He called the groups that cannot act paradoxically amenable. Von Neumann showed that the class of amenable groups contains Abelian groups, finite groups and is closed under taking subgroups, extensions, and infinite unions of increasing sequences of groups. Day [66] and Specht [223] showed that this class is closed under homomorphic images. The class of groups without non-Abelian free subgroups is also closed under these operations and contains Abelian and finite groups.

The problem of existence of non-amenable groups without non-Abelian free subgroups probably goes back to von Neumann and became known as the "von Neumann problem" in the fifties.

First counterexamples to the von Neumann problem were constructed by Olshanskii [173]. He proved that the Tarski monsters, both torsion-free and torsion (see [175]), are not amenable. Later Adian [2] showed that the non-cyclic free Burnside group of odd exponent n > 665 with at least two generators, that is the group given by the presentation

(a1,... ,am | u" = 1, for all group words u in the alphabet {a1,..., am}},

is not amenable. Recently Luck and Osin [146] constructed the first example of resid-ually finite non-amenable torsion group.

All these examples are not finitely presented. For the Tarski monsters and Burn-side groups this is because these groups are not hyperbolic but are inductive limits of hyperbolic groups (see 3.1.J), a similar argument applies to the groups of Luck and Osin. The question about existence of finitely presented counterexample to von Neumann's problem was explicitly formulated by Grigorchuk [138] and by Cohen [54]. There exists one finitely presented group without non-Abelian free subgroups for which the problem of amenability is non-trivial: it is the R. Thompson's group F (for the definition of F look in Sect. 2.1.A). The question of whether F is not amenable was formulated by R. Thompson in the beginning of the 1970s (unpublished), and, in print, by R. Geoghegan in 1979. A considerable amount of work has been done to answer this question but it is still open.

5.4.B The result. Together with A. Olshanskii, we proved the following theorem.

Theorem 5.12 (Olshanskii, Sapir [188]) For every sufficiently large odd n, there exists a finitely presented group G which satisfies the following conditions.

(1) G is an HNN-extension of a finitely generated infinite group of exponent n.

(2) G is an extension of a group of exponent n by an infinite cyclic group.

(3) G contains a subgroup isomorphic to the free Burnside group of exponent n with 2 generators.

(4) G is a non-amenable finitely presented group without free non-cyclic subgroups.

By a theorem of Adian [2], part (3) implies that G is not amenable. Thus parts (1) and (3) imply part (4).

5.4.C The proof. Let us present the main ideas of our construction. We first embed the free Burnside group B(m, n) = (B) of odd exponent n ^ 1 with m > 1 generators {b1,...,bm } = B into a finitely presented group G' = (C | R) where B c C. This is done as in [22,187] using an explicitly constructed S-machine. Then we take a copy A = {ao,..., am} of the set B, and a new generator t, and consider the group given by generators C U A U{t} and the following three sets of relations.

(1) the set R of the relations of the finitely presented group G';

(2) (u-relations) y = uy, where uy, y e C, is a certain word in A satisfying the small cancelation condition C'(X) for a very small X;

(3) (HNN-relations) t-1ait = bi, i = 1,...,m; these relations make (A) a conjugate of its subgroup of exponent n (of course, the group (A) gets factorized).

The resulting group G is obviously generated by the set A U{t} and is an HNN-extension of its subgroup (A) with the stable letter t. Every element in (A) is a conjugate of an element of (B), so (A) is an m-generated group of exponent n. This immediately implies that G is an extension of a group of exponent n (the union of increasing sequence of subgroups ts (A)t-s, s = 1, 2,...) by a cyclic group. It turns down that (A) contains a copy of the free Burnside group B(2, n). Thus the group is non-amenable by Adian [2] (see [188,208] for details).

6 Methods: S-machines and related constructions

Several theorems discussed in this survey have been proved using S-machines, a natural blend of Turing machines and groups (see Theorems 4.11,4.13,4.16,4.17,4.18, 5.2, 5.6, 5.8, 5.10, 5.12). Here we shall present a short introductions to S-machines.

6.1 The definition. There are several ways to look at S-machines introduced in [210]. One can view them as a version of Turing machines (see 2.2.C), as rewriting systems (as in [210]), as groups that are certain multiple HNN-extensions of free groups (see [191]) or as semigroups of partial 1:1-transformations of the set of admissible words as in [188]. For different applications, one needs different points of view. Probably the easiest way to introduce S-machines is by defining them as multiple HNN-extension of a free group.

6.1.A The Miller machine. Let us start with an example that we call the Miller machine. This important example is due to Miller [161]. Let G = (X | R} be a finitely presented group. The Miller machine is the group M(G) generated by X U {q} U {0x | x e X}U{0r | r e R} subject to the following relations

0 x = x 0, 0xxq = qx0x, 0rq = qr0r

where 0 is any letter in © = {0x | x e X}U{0r | r e R}. Clearly, this is an HNN-extension of the free group (X, q} with free letters 0 e ©. The main feature of M (G) discovered by Miller is that M (G) has undecidable conjugacy problem provided G has undecidable word problem. In fact it is easy to see that q w is conjugated to q in M(G) if and only if w = 1 in G.

To see that M (G) can be viewed as a version of a Turing machine, consider any word uqv where u, v are words in X U X-1. If we conjugate uqv by 0r, we get the word uqrv because 0rq = qr0r and 0r commutes with u and v (here and below we do not distinguish words that are freely equal). Hence conjugation by 0r amounts to executing a command [q ^ qr]. Similarly, conjugation by 0x amounts to executing a command [q ^ x-1qx]. If u ends with x, then executing this command means moving q one letter to the left. Thus conjugating words of the form uqv by 0's and their inverses, we can move the "head" q to the left and to the right, and insert relations from R.

The work of the Miller machine M (G) can be drawn in the form of a van Kampen diagram (see Fig. 12) that we call a trapezium. It consists of horizontal 0 -bands. The bottom side of the boundary of the trapezium is labeled by the first word in the computation (uqv), the top side is labeled by the last word in the computation (q), the left and the right sides are labeled by the history of computation, the sequence of 0 's and their inverses corresponding to the commands used in the computation uq v ^ ■■■ ^ q. The words written on the top and bottom sizes of the 0-bands are the intermediate words in the computation. We shall always assume that they are freely reduced. Viewed as a Turing machine, the Miller machine has one tape and one state letter.

6.1.B The formal definition. Like Turing machine (see 2.2.C) general S-machines can have many tapes and many state letters. Here is a formal definition.

qr ^ x

Fig. 12 Trapezium of the Miller machine for a deduction uqv ■

• ^ q. Here u = y • • • x, v =

Let F(Q, Y) be the free group generated by two sets of letters Q = uN^ Qi and Y = uN=r11Yi where Qi are disjoint and non-empty (below we always assume that Qn +1 = Q1, and Yn = Y0 = 0).

The set Q is called the set of q-letters, the set Y is called the set of a-letters.

In order to define an HNN-extension, we consider also a collection © of N-tuples of 0-letters. Elements of © are called rules. The components of 0 are called brothers 01 ,...,0N. We always assume that all brothers are different. We set 0N+1 = 01.

With every 0 e ©, we associate two sequences of elements in F(Q U Y): B(0) = [U1,Un], T(0) = [V1,Vn], and a subset Y(0) = UYi(0) of Y, where Yi (0) C Yi.

The words Ui, Vi satisfy the following restriction: (*) For every i = 1,..., N, the words Ui and Vi have the form

Ui = vi _1Mi, Vi = v'i_1k'i ui

where ki, k[ e Qi, ui and ui are words in the alphabet Y±1,vi_1 and vi_1 are words in the alphabet Y—.

Now we are ready to define an S-machine S by generators and relations. The generating set X of the S-machine S consists of all q-, a- and 0-letters. The relations are:

Ui 0i+1 = 0iVi, i = !,..., s, 0ja = a0 j

for all a e Yj (0).

Every S-rule 0 = [U1 ^ V1,...,Us ^ Vs] has an inverse 0-1 = [V1 ^ U1,...,Vs ^ Us ]; we set Yi (0-1) = Yi (0).

Remark 6.1 Every S-machine is indeed an HNN-extension of the free group F (Y, Q) with finitely generated associated subgroups. The free letters are 01 for every 0 e ©. We leave it as an exercise to find the associated subgroups.

6.1.C Turing machines as S-machines. Every Turing machine T (see the definition in 2.2.C) can be considered as an S-machine S'(T) in the natural way: the generators

of the free group are all tape letters and all state letters. The commands of the Turing machine are interpreted as rules of the S-machine. The main problem in that conversion is the following: there is a much bigger freedom in applying S-rules than in executing the corresponding commands of the Turing machine. Indeed, a Turing machine is in general not symmetric (i.e. if [U ^ V] is a command of the Turing machine then [V ^ U] is usually not) while every S-machine is symmetric. Another—more important—difference is that Turing machines work only with positive words, and S-machines work with arbitrary group words. This, for example, means that the rules [aqb ^ cqd] and [q ^ a-1cqdb-1 ] are equivalent (the corresponding group presentations are equivalent). Hence an S-machine is blind: it decides which rule to apply based solely on the state letters of the configuration, it does not "see" the content of the tape (unlike the Turing machine which takes into account the tape letters observed by the head). Hence the language accepted by S'(T) is usually much bigger than the language accepted by T.

Nevertheless, it can be proved that if T is symmetric, and a computation w1 ^ w2 ^ ■■■ of the S-machine S'(T) involves only positive words, then that is a computation of T.

This leads to the following idea of converting any Turing machine T to an S-machine S(T). First we construct a symmetric Turing machine T' that is equivalent to T (recognizes the same language). That is a fairly standard Computer Science trick (see [210]).

The second step is to compose the S-machine S'(T') with a machine that checks positivity of a word. That machine starts working after every step of S'(T'). That is if an application of a rule of S'(T') gives a non-positive (reduced) word, then the checking machine does not allow the machine S'(T') to proceed to the next step.

There are several checking machines. One of them—the adding machine—is very simple but its time function is exponential (see [191]). Another one is very complicated but it has a quadratic time function (it was first constructed in [210] and used in [210,22]).

6.2 The conjugacy problem. If a Turing machine M has undecidable halting problem, then the S-machine S(M') (where M' is a symmetric Turing machine that is equivalent to M) has undecidable conjugacy problem [210]. It is easy to see that the Dehn function of any S-machine is at most cubic. The adding machine used for checking positivity of admissible words exponentially slows down the machine. A nice consequence is that the Dehn function of the resulting S-machine is n2 log n [191] which is the minimal possible for multiple HNN-extensions of free groups having undecidable conjugacy problem by 4.2.H. Note that although the upper bound of n2 log n is easy to anticipate, a proof of it involves very non-trivial combinatorics of van Kampen diagrams (some Vassiliev-type invariants of chord diagrams are used, see [191]).

6.3 The word problem. To obtain a group with undecidable word problem and, more generally, with a prescribed Dehn function, we do the following. Take an S-machine S, with many tapes. In order to make the number of tapes large enough, just glue the copies of the same S-machine side-by-side so that the trapezia of the new S-machine are glued from copies of trapezia of the old S-machine as in 4.2.G. Let h be the accept word of the S-machine (all tapes are empty, all state letters are in the accept state).

Let the presentation of the group G (S) be obtained from the presentation of S by adding one hub relation h = 1. Now if W is an admissible word accepted by S, we can take the corresponding trapezium A, identify the left and right sides of it (labeled by the history of computation) to obtain an annulus with W on the outside boundary component and h on the inside boundary component, then glue the cell corresponding to the hub relation to the inside boundary component to obtain a disc A'. This van Kampen diagram shows that if W is accepted by S, it is equal to 1 in G(S). The fact that if W = 1 in G(S) then W is accepted by S is proved by some small cancelation argument using the fact that the number of tapes is large. Thus, for example, if S has undecidable halting problem, then G (S) has undecidable word problem. Proving that the Dehn function of G polynomial in terms of the time function of S is much harder [210] and requires the snowman decomposition discussed in 4.6.A.

6.4 The embedding. Let now P = {X | R) be a finitely generated group with recursively enumerable set of relators R. Take an S-machine S that recognizes the language R. We can assume that S has sufficiently many tapes, and in tape 1 (between the state letters k1, k2) we have the input word in the input configuration. Consider now another S-machine S' which is a copy of S (with copies of the state letters) but it does not do anything in the input sector, so during the work of Si the input sector is always empty. We can also assume that the state letters of the input configurations in S, Si do not appear in the middle of (reduced) computations, the input state letters of S and Si coincide, all other state letters are different. Now let H be the amalgamated product of G(S) and G(Si) with the amalgamated subgroup generated by the input state letters and all tape letters. Let W(u) be the input configuration of S corresponding to the input word u. It has subword u between state letters k1 and k2. Let W(u)' be the word W(u) with this occurrence of u deleted. Then W(u) = 1 in G(S)(and thus u e R) and W'(u) = 1 in G(S'). Hence u = 1 in H. Therefore every u e R is equal to 1 in H and there exists a homo-morphism from P to H. It can be proved that this homomorphism is injective. This proves the Higman embedding theorem. Proving that H has isoperimetric function that polynomially depends on the time function of S is of course more complicated (see [187]). Again it involves cutting diagrams into pieces which are treated separately.

7 Open problems

Here we collect the open problems mentioned in the text. It may be more convenient for the reader to have all the problems in one place.

Problem 7.1 (See 2.2.F) Is there (time or space) complexity bound for the word problem in a finitely presented residually finite group. More precisely, what is the highest class in the time complexity hierarchy [83] where the word problem in every finitely presented residually finite group belongs? An even more bold question: is the word problem of every finitely presented residually finite group in NP?

Problem 7.2 (Cohen [52], also attributed to Stallings, see 2.4.C) Is it true that for every finitely presented group G there exists a constant a > 1 such that

f (n) < ag(n)

where f, g are, respectively, the Dehn function and the isodiametric function of G.

Problem 7.3 (See 3.1.N) Find a common cause of the theorems of Cartan-Hadamard type from 3.I.N.

Problem 7.4 (See 3.2.D) Find a combinatorial proof of Theorem 3.36. Is the Dehn function of the central square of G 1o equivalent to n2 log n?

Problem 7.5 (Rips, see 4.1.G) Is F automatic?

Problem 7.6 (See 4.1.G) Is F semihyperbolic?

Problem 7.7 (E. Rips, see 4.2.G) Is the conjugacy problem solvable in every finitely presented group with quadratic Dehn function?

Problem 7.8 (See 4.2.I) Can Remark 4.9 be applied to prove that automatic groups have decidable conjugacy problem?

Problem 7.9 (See 5.1) Is it true that every finitely generated matrix group over a field (in particular, the field of rational numbers) embeds into a finitely presented group with quadratic Dehn function?

Problem 7.10 (See 5.1) Does every finitely generated group with word problem in NP embed into a group all of whose asymptotic cones are simply connected? Equivalently (by Theorem 5.2): does every finitely presented group with polynomial isoperimetric function embed into a group all of whose asymptotic cones are simply connected?

About the list of references. After each reference in the bibliography we put numbers of sections where we cite this reference. Each of the section numbers is the highest section number preceding the reference. Say, Section number 4.1 means that the reference appears in Sect. 4.1, before 4.1.A.

Acknowledgement I am grateful to Efim Zelmanov who inspired me to write this survey. Several people contributed with suggestions, comments and even pieces of text. I am especially grateful to Martin Bridson, François Dahmani, Daniel Groves, Victor Guba, Sergei Ivanov, Bruce Kleiner, Igor Lysënok, Alexander Olshanskii, Denis Osin, Tim Riley, Stefan Wenger and Robert Young.

Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.

References

1. Adian, S.I.: The Burnside problem and identities in groups. Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. 95. Springer, Berlin (1979). Section 3.1.J

2. Adian, S.I.: Random walks on free periodic groups. Izv. Akad. Nauk SSSR, Ser. Mat. 46, 1139-1149 (1982). Section 5.4.A

3. Allcock, D.: An isoperimetric inequality for the Heisenberg groups. Geom. Funct. Anal. 8(2), 219-233 (1998). Sections 3.2.B, 3.2.C, 4.1

4. Alonso, J.M., Bridson, M.R.: Semihyperbolic groups. Proc. Lond. Math. Soc. (3) 70(1), 56-114 (1995). Sections 3.3, 3.3.A, 3.3.C

5. Ambrosio, L., Kirchheim, B.: Currents in metric spaces, Acta Math. 185(1), 1-80 (2000). Sections 2.7, 2.7.C

6. Ambrosio, L., Kirchheim, B.: Rectifiable sets in metric and Banach spaces. Math. Ann. 318(3), 527-555 (2000). Section 2.11

7. Arzhantseva, G.N.: On groups in which subgroups with a fixed number of generators are free. (Russian) Fundam. Prikl. Mat. 3(3), 675-683 (1997). Section 3.1.H1

8. Arzhantseva, G.N.: Generic properties of finitely presented groups and Howson's theorem. Commun. Algebra 26(11), 3783-3792(1998). Section 3.1.H1

9. Arzhantseva, G.N.: A property of subgroups of infinite index in a free group. Proc. Am. Math. Soc. 128(11), 3205-3210 (2000). Section 3.1.H1

10. Arzhantseva, G.N., Delzant, T.: Examples of random groups (2008). Preprint. Section 3.1..H3

11. Arzhantseva, G.N., Olshanskii, Yu.A.: Generality of the class of groups in which subgroups with a lesser number of generators are free. Mat. Zametki 59(4), 489-496 (1996), 638; translation in Math. Notes 59(3-4), 350-355 (1996). Section 3.1.H1

12. Banach, S., Tarski, A.: Sur la décomposition de ensembles de points an parties respectivement congruentes. Fundam. Math 6, 244-277 (1924). Section 5.4.A

13. Bass, H.: The degree of polynomial growth of finitely generated nilpotent groups. Proc. Lond. Math. Soc. (3) 25, 603-614 (1972). Section 3.2.A

14. Baumslag, G.: A non-cyclic one-relator group all of whose finite quotients are cyclic. J. Austral. Math. Soc. 10, 497-498 (1969). Section 5.2

15. Baumslag, G., Miller, C.F. III, Short, H.: Isoperimetric inequalities and the homology of groups. Invent. Math. 113(3), 531-560 (1993). Sections 2.7.C, 3.2.A

16. Belk, J., Matucci, F.: Conjugacy in Thompson's Groups (2007). Preprint, arXiv:0708.4250. Section 3.2.A

17. Bestvina, M., Feighn, M.: A combination theorem for negatively curved groups. J. Differ. Geom. 35(1), 85-101 (1992). Section 3.1.L

18. Bestvina, M., Feighn, M.: Addendum and correction to: "A combination theorem for negatively curved groups" [J. Differential Geom. 35(1), 85-101 (1992)]. J. Differ. Geom. 43(4), 783-788 (1996). Section 3.1.L

19. Bestvina, M., Feighn, M., Handel, M.: The Tits alternative for Out(Fn). I. Dynamics of exponentially-growing automorphisms. Ann. Math. (2) 151(2), 517-623 (2000). Section 4.2.C

20. Birget, J.-C.: Functions on groups and computational complexity. Int. J. Algebra Comput. 14(4), 409-429 (2004). Section 2.4.C

21. Birget, J.-C.: Circuits, the groups of Richard Thompson, and coNP-completeness. Int.. J. Algebra Comput. 16(1), 35-90 (2006). Sections 1, 4.4.B

22. Birget, J.-C., Olshanskii, A. Yu., Rips, E., Sapir, M.V.: Isoperimetric functions of groups and computational complexity of the word problem. Ann. Math. (2) 156(2), 467-518 (2002). Sections 5.1, 5.2, 5.3, 5.4.C, 6.1.C

23. Bogopolski, O., Martino, A., Maslakova, O., Ventura, E.: Free-by-cyclic groups have solvable con-jugacy problem, Bull. Lond. Math. Soc 38, 787-794 (2006). Sections 4.2.C, 4.2.H

24. Boone, W.W., Cannonito, F.B., Lyndon, R.C. (eds.): Word problems. Decision problems and the Burnside problem in group theory. An outgrowth of the Conference on Decision Problems in Group Theory, University of California at Irvine, Calif., September 1965. Dedicated to the memory of Hanna Neumann (1914-1971). Studies in Logic and the Foundations of Mathematics, vol. 71. North-Holland, Amsterdam (1973). Section 1

25. Borisov, A., Sapir, M.: Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms. Invent. Math. 160(2), 341-356 (2005). Section 3.1.I

26. Borisov, A., Sapir, M.: Polynomial maps over p-adics and residual properties of mapping tori of group endomorphisms, Int. Math. Res. Not. 16, 3002-3015 (2009). Section 3.1.I

27. Borwein, J.M., Borwein, P.B.: On the complexity of familiar functions and numbers. SIAM Rev 30(4), 589-601 (1988). Section 4.5

28. Bowditch, B.H.: Notes on Gromov's hyperbolicity criterion for path-metric spaces. Group theory from a geometrical viewpoint (Trieste, 1990), pp. 64-167. World Scientific Publishing, River Edge (1991). Sections 2.7, 3.1.M, 3.1.N

29. Bowditch, B.H.: A short proof that a sub-quadratic isoperimetric inequality implies a linear one, Mich. J. Math 42, 103-107. (1995) Sections 2.7, 3.1.M, 3.1.N

30. Brady, N., Bridson, M.R.: There is only one gap in the isoperimetric spectrum. Geom. Funct. Anal. 10(5), 1053-1070 (2000). Section 4.5

31. Brady, N., Bridson, M.R., Forester, M., Shankar, K.: Snowflakegroups, Perron-Frobenius eigenvalues and isoperimetric spectra. Geom. Topol. 13(1), 141-187 (2009). Section 4.5

32. Breuillard, E., Gelander, T.: A topological Tits alternative. Ann. Math. (2) 166(2), 427-474 (2007). Section 3.1.I

33. Bridson, M.R.: Fractional isoperimetric inequalities and subgroup distortion. J. Am. Math. Soc. 12(4), 1103-1118 (1999). Section 4.5

34. Bridson, M.R.: On the subgroups of semihyperbolic groups. Essays on geometry and related topics, Vol. 1,2, 85-111. Monogr. Enseign. Math., vol. 38. Enseignement Math., Geneva, 2001. Section 4.2.D

35. Bridson, M.R.: The geometry of the word problem. Invitations to geometry and topology. Oxf. Grad. Texts Math., vol. 7, pp 29-91. Oxford University Press, Oxford (2002). Sections 1, 2.9

36. Bridson, M.R., Groves, D.: The quadratic isoperimetric inequality for mapping tori of free group automorphisms. Mem. Am. Math. Soc. 203(955), xii+152 pp (2010). Sections 1, 4.1, 4.2.H

37. Bridson, M.R., Hâfliger, A.: Metric Spaces of Non-positive Curvature. Springer, Berlin (1999). Sections 2.7, 3.1.N, 3.3.A

38. Bridson, M.R., Pittet, Ch.: Isoperimetric inequalities for the fundamental groups of torus bundles over the circle. Geom. Dedicata 49(2), 203-219 (1994). Section 3.2.A

39. Bridson, M.R., Riley, T.R.: Free and fragmenting filling length. J. Algebra 307(1), 171-190 (2007). Section 2.5.A

40. Brink, B., Howlett, R.: A finiteness property and an automatic structure for Coxeter groups. Math. Ann. 296(1), 179-190 (1993). Section 3.3.A

41. Brown, K.S.: Trees, valuations, and the Bieri-Neumann-Strebel invariant. Invent. Math. 90(3), 479-504 (1987). Section 3.1.I

42. Brown, K.S.: Buildings. Springer, New York (1990). Section 3.3.A

43. Burago, Yu.D., Zalgaller, V.A.: Geometric inequalities. Translated from the Russian by A. B. So-sinskii(. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 285. Springer Series in Soviet Mathematics. Springer, Berlin (1988). ISBN: 3-54013615-0. Section 2.7.C

44. Burger, M., Mozes, S.: Lattices in product of trees. Inst. Hautes Études Sci. Publ. Math. No. 92 (2000), 151-194 (2001). Section 4.1.G

45. Burger, M., Mozes, S.: Groups acting on trees: from local to global structure. Inst. Hautes Études Sci. Publ. Math. No. 92 (2000), 113-150 (2001). Section 4.1.G

46. Cannon, J.W., Floyd, W.J., Parry, W.R.: Introductory notes on Richard Thompson's groups. Enseign. Math. (2) 42(3-4), 215-256 (1996). Sections 4.1, 4.1.G, 4.4.B

47. Champetier, C.: Propriétés de génériques des groupes de type fini, thése de doctorat, Université de Lyon, décembre (1991). Section 3.1.H

48. Champetier, C.: Propriétés statistiques des groupes de présentation finie. Adv. Math. 116(2), 197-262 (1995). Section 3.1.H

49. Charney, R.: An introduction to right-angled Artin groups. Geom. Dedicata 125, 141-158 (2007). Section 3.3.A

50. Chiswell, I.: A course in formal languages, automata and groups. Universitext. Springer, London (2009). Section 3.1.F

51. Clapham, C.R.J.: An embedding theorem for finitely generated groups. Proc. Lond. Math. Soc. (3), 17, 419-430 (1967). Section 5

52. Cohen, D.E.: Isodiametric and isoperimetric inequalities for group presentations. Int. J. Algebra Comput. 1(3), 315-320 (1991). Section 2.4.C, 7

53. Cohen, D.E., Madlener, K., Otto, F.: Separating the intrinsic complexity and the derivational complexity of the word problem for finitely presented groups. Math. Logic Q. 39(2), 143-157 (1993). Section 5.2

54. Cohen, J.M.: Cogrowth and amenability of discrete groups. J. Funct. Anal. 48(3), 301-309 (1982). Section 5.4.A

55. Collins, D.J., Miller, C.F. III: The conjugacy problem and subgroups of finite index. Proc. Lond. Math. Soc. (3) 34(3) 535-556 (1977). Sections 2.4.B, 5.3.

56. Comerford, L.P. Jr., Edmunds, C.C.: Quadratic equations over free groups and free products. J. Algebra 68(2), 276-297 (1981)

57. Comfort, W.W., Negrepontis, S.: The theory of ultrafilters. Die Grundlehren der mathematischen Wissenschaften, Band 211. Springer, New York (1974). Section 2.10.A

58. Conner, G.: Isoperimetric functions for central extensions. In: Charney, R., Davis, M., Shapiro, M. (eds.) Geometric Group Theory, vol. 3, pp. 73-77. Ohio State University, Math. Res. Inst. Publ., de Gruyter (1995). Section 3.2.A

59. Cornulier, Y., Tessera, R.: Metabelian groups with quadratic Dehn function and Baumslag-Solitar groups (2010). Preprint, arXiv: 1003.0148. Sections 4.1, 4.1.E, 5.1

60. Coulon, R.: Outer automorphisms of free Burnside groups. Preprint, arXiv:1008.4495. Section 3.1.N

61. Cranston, M., Hsu, P., March, P.: Smoothness of the convex hull of planar Brownian motion. Ann. Probab. 17(1), 144-150 (1989). Section 3.1.I

62. Dahmani, F.: Existential questions in (relatively) hyperbolic groups. Israel J. Math. 173, 91-124 (2009). Section 3.1.G

63. Dahmani, F., Groves, D.: The isomorphism problem for toral relatively hyperbolic groups. Publ. Math. Inst. Hautes Études Sci. 107, 211-290 (2008). Section 3.1.G

64. Dahmani, F., Guirardel, V.: Foliations for solving equations in groups: free, virtually free, and hyperbolic groups. J. Topol. 3(2), 343-404 (2010). Section 3.1.G

65. Dahmani, F., Guirardel V.: The isomorphism problem for all hyperbolic groups (2010). Preprint, arXiv:1002.2590. Sections 1, 3.1.G

66. Day, M.M.: Amenable semigroups. Ill. J. Math. 1, 509-544 (1957). Section 5.4.A

67. Delzant, T.: Sous-groupes distingués et quotients des groupes hyperboliques. (French) [Distinguished subgroups and quotients of hyperbolic groups] Duke Math. J. 83(3), 661-682 (1996). Section 3.1.J

68. Delzant, T., Gromov, M.: Courbure mésoscopique et théorie de la toute petite simplification. J. Topol. 1(4), 804-836 (2008). Section 3.1.N

69. Diekert, V., Robson, J.M.: Quadratic word equations. In: Jewels are Forever, pp. 314-326. Springer, Berlin (1999). Section 2.3.B

70. Diekert, V., Gutierrez, C., Hagenah, C.: The existential theory of equations with rational constraints in free groups is PSPACE-complete. Inf. Comput. 202(2), 105-140 (2005). Sections 2.3.E, 3.1.G

71. Dison, W., Elder, M., Riley, T., Young, R.: The Dehn function of Stallings' group. Geom. Funct. Anal. 19(2), 406-422 (2009). Sections 4.1, 4.1.D

72. Drutu, C.: Quasi-isometry invariants and asymptotic cones. Int. J. Algebra Comput. 12(1-2), 99-135 (2002). Sections 1, 2.7.B, 2.10.B

73. Drutu, C.: Filling in solvable groups and in lattices in semisimple groups. Topology 43(5), 983-1033 (2004). Sections 2.11, 3.2.A, 4.1, 4.1.E

74. Drutu, C., Sapir, M.: Tree-graded spaces and asymptotic cones of groups. With an appendix by Denis Osin and Mark Sapir. Topology 44(5), 959-1058 (2005). Sections 2.10.B, 3.1.A

75. Dunwoody, M.J.: An inaccessible group. Geometric group theory, Vol. 1 (Sussex, 1991), 75-78. London Math. Soc. Lecture Note Ser., vol. 181, Cambridge University Press, Cambridge (1993). Section 3.1.F

76. Dunwoody, M.J.: The accessibility of finitely presented groups, Invent. Math. 81, 449-457 (1985). Section 3.1.F

77. Dyubina, A., Polterovich, I.: Explicit constructions of universal R-trees and asymptotic geometry of hyperbolic spaces. Bull. Lond. Math. Soc. 33, 727-734 (2001). Section 3.1.A

78. Epstein, D.B.A., Cannon, J.W., Holt, D.F., Levy, S.V.F., Paterson, M.S., Thurston, W.P.: Word Processing in Groups. Jones and Bartlett, Boston (1992). Sections 1, 3.2.B, 3.3, 4.1.E

79. Fagin, R.: Generalized first-order spectra and polynomial-time recognizable sets. In Complexity of Computation. SIAM-AMS Proc. vol. 7, pp. 43-73 (1974). Section 2.2.I

80. Fagin, R.: Finite model theory—a personal perspective. Theoret. Comput. Sci. 116, 3-31, 1993. Section 2.2.I

81. Feighn, M., Handel, M.: Mapping tori of free group automorphisms are coherent. Ann. Math. (2) 149, 1061-1077 (1999). Section 3.1.I

82. Formanek, E.: Matrix techniques in polycyclic groups, Thesis, Rice University (1970). Section 4.2.A

83. Garey, M.R., Johnson, D.S.: Computers and Intractability. A Guide to the Theory of NP-Completeness. A Series of Books in the Mathematical Sciences. Freeman, New York (1979). Sections 2.2.F, 2.2.G,

84. Gersten, S.M.: Isodiametric and isoperimetric inequalities in group extensions. University of Utah. Preprint, 1991. Section 3.2.A

85. Gersten, S.M.: The double exponential theorem for isodiametric and isoperimetric functions. Int.. J. Algebra Comput. 1(3), 321-327 (1991). Section 2.4.C

86. Gersten, S.M.: Dehn functions andl1-norms of finite presentations. In: Baumslag, G., Miller, C. (eds.) Algorithms and Classification in Combinatorial Group Theory (Berkeley, CA, 1989). Math. Sci. Res. Inst. Publ., vol. 23, pp. 195-224. Springer, Berlin (1992). Sections 2.4.A, 2.7.C, 5.2

87. Gersten, S.M.: Isoperimetric and isodiametric functions of finite presentations. In: Niblo, G., Roller, M. (eds.) Geometric Group Theory, I. London Math. Soc. Lecture Notes, vol. 181, pp. 79-96. Cambridge University Press, Cambridge (1993). Section 3.2.A

88. Gersten, S.M.: Thompson's group F is not combable. Preprint. Section 4.1.F

89. Gersten, S.M., Holt, D.F., Riley, T.R.: Isoperimetric inequalities for nilpotent groups. Geom. Funct. Anal. 13(4), 795-814 (2003). Section 3.2.A

90. Gersten, S.M., Riley, T.R.: The gallery length filling function and a geometric inequality for filling length. Proc. Lond. Math. Soc., 92(3), 601-623 (2006). Section 2.4.C

91. Gilman, R.H.: Formal languages and their application to combinatorial group theory. In: Groups, languages, algorithms. Contemp. Math., vol. 378, pp. 1-36. Am. Math. Soc., Providence (2005). Section 3.1.F

92. Gitik, R.: On the combination theorem for negatively curved groups. Internat. J. Algebra Comput. 6, 751-760 (1996). Corrected reprint, Internat. J. Algebra Comput. 7 (1997) 267-276; Errata, Internat. J. Algebra Comput. 7(265) (1997). Section 3.1.I

93. Gorjaga, A.V., Kirkinskii, A.S.: The decidability of the conjugacy problem cannot be transferred to finite extensions of groups. Algebra i Logika 14(4), 393-406 (1975). Sections 2.4.B, 5.3

94. Grigorchuk, R.I., Kurchanov, P.F.: On quadratic equations in free groups. In: Proceedings of the International Conference on Algebra, Part 1 (Novosibirsk, 1989). Contemp. Math., vol. 131, pp. 159-171. Amer. Math. Soc., Providence (1989). Section 2.3.B

95. Grigorchuk, R.I., Lysenok, I.G.: A description of solutions of quadratic equations in hyperbolic groups. Int. J. Algebra Comput. 2(3), 237-274 (1992). Section 2.3.B

96. Gromov, M.: Groups of polynomial growth and expanding maps. Inst. Hautes Etudes Sci. Publ. Math. No. 53, 53-73 (1981). Sections 2.10.A, 3.1.N, 3.2.A

97. Gromov, M.: Filling Riemannian manifolds. J. Diff. Geom. 18, 1-147 (1983). Section 2.7.C

98. Gromov, M.: Hyperbolic groups. Essays in group theory. Math. Sci. Res. Inst. Publ., vol. 8, pp. 75-263. Springer, New York (1987). Sections 1, 2.4.A, 2.5, 3.1.A, 3.1.D, 3.1.H, 3.1.H2, 3.1.I, 3.1.J, 3.1.M, 3.1.N, 3.2.E

99. Gromov, M.: Asymptotic invariants of infinite groups. In: Niblo, G.A., Roller, M.A. (eds.) Geometric Group Theory, Vol. 2. London Math. Soc. Lecture Notes Ser., vol. 182, pp. 1-295 (1993). Sections 2.5, 2.7, 2.9, 2.10.B, 2.11, 3.1.H3, 3.2.A, 3.3.A, 4.1, 4.1.E

100. Gromov, M.: Carnot-Caratheodory spaces seen from within. Sub-Riemannian geometry. Progr. Math., vol. 144, pp. 79-323. Birkhauser, Basel (1996). Section 3.2.A

101. Gromov, M.: Mesoscopic curvature and hyperbolicity. Global differential geometry: the mathematical legacy of Alfred Gray (Bilbao, 2000). Contemp. Math., vol. 288, pp. 58-69. Amer. Math. Soc., Providence (2001). Section 3.1.N

102. Gromov, M.: Random walk in random groups. Geom. Funct. Anal. 13(1), 73-146 (2003). Sections 3.1.H3, 3.1.K

103. Gromov, M.: Metric structures for Riemannian and non-Riemannian spaces. Modern Birkhauser Classics. Birkhauser, Boston (2007, english edition). Based on the 1981 French original, With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates. Section 2.7.C

104. Groves, J., Hermiller, S.: Isoperimetric inequalities for soluble groups. Geom. Dedicata 88, 239-254 (2001). Section 2.6.A

105. Grunewald, F.J.: Solution of the conjugacy problem in certain arithmetic groups. Word problems, II (Conf. on Decision Problems in Algebra, Oxford, 1976). Stud. Logic Foundations Math., vol. 95, pp. 101-139. North-Holland, Amsterdam (1980). Section 4.2.E

106. Grunewald F., Segal D.: Some general algorithms. 1. Arithmetic groups. Ann. Math., 112, 531-583 (1980). Section 3.2.A

107. Grunewald, F., Segal, D.: Some general algorithms. 2. Nilpotent groups. Ann. Math., 112(3), 585-617, (1980). Section 3.2.A

108. Guba, V.S.: Conditions under which 2-generated subgroups in small cancelation groups are free. Izv. Vyssh. Uchebn. Zaved. Mat., (7), 12-19 (1986). Section 3.1.H1

109. Guba, V.S.: Polynomial upper bounds for the Dehn function of R. Thompson's group F. J. Group Theory 1, 203-211 (1998). Section 4.1.F

110. Guba, V.S.: Polynomial Isoperimetric Inequalities for Richard Thompson's Groups F, T, and V. In: Birget, J.-C. et al. (eds.) Algorithmic Problems in Groups and Semigroups, pp. 91-120. Birkhäuser, Boston (2000). Section 4.1.G

111. Guba, V.S.: The Dehn function of Richard Thompson's group F is quadratic. Invent. Math. 163(2), 313-342. (2006) Sections 1, 3.2.B, 4.1, 4.1.F

112. Guba, V.S., Sapir, M.V.: The Dehn function and a regular set of normal forms for R. Thompson's group F. J. Austral. Math. Soc. (Ser. A) 62, 315-328 (1997). Sections 4.1.F, 4.1.G

113. Guba, V.S., Sapir, M.V.: Diagram groups. Mem. Am. Math. Soc. 130 (620), viii+117 pp (1997). Section 4.2.F

114. Guba, V.S., Sapir, M.V.: On Dehn functions of free products of groups. Proc. Am. Math. Soc. 127(7), 1885-1891 (1999). Section 4.3.A

115. Guivarc'h, Y.: Groupes de Lie a croissance polynomiale. C. R. Acad. Sci. Paris Ser. A-B 271, 1970 A237-A239. Section 3.2.A

116. Hall, M. Jr.: The Theory of Groups. Macmillan, New York (1959). Section 3.2.A

117. Hamenstädt, U.: Geometry of the mapping class group II: a biautomatic structure (2009). Preprint, arXiv:0912.0137. Section 3.3.A

118. Hausdorff, F.: Grunzüge der Mengenlehre. Leipzig, vol. 1914. Section 5.4.A

119. Hempel, J.: 3-Manifolds. Princeton University Press/University of Tokyo Press, Princeton/New Jersey (1976). Section 2.3.C

120. Hidber, C.: Isoperimetric functions of finitely generated nilpotent groups. J. Pure Appl. Algebra 144(3), 229-242 (1999). Section 3.2.A

121. Higman, G.: Finitely presented infinite simple groups. Notes on Pure Mathematics, vol. 8 (The Australian National University, Canberra, 1974). Sections 4.1.G, 4.4.B

122. Higman, G.: Subgroups of finitely presented groups. Proc. R. Soc. Lond. Ser. A 262,455-475 (1961). Section 5

123. Holt, D.F.: Word-hyperbolic groups have real-time word problem. Int. J. Algebra Comput. 10(2), 221-227 (2000). Sections 1, 3.1.F

124. Holt, D.F., Rees S.: Solving the word problem in real time. J. Lond. Math. Soc. (2) 63(3), 623-639 (2001). Section 3.1.F

125. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addition-Wesley, Reading, Mass (1979). Section 3.1.F

126. Hrushovski, E.: Stable group theory and approximate subgroups (2009). Preprint, arXiv:0909.2190. Section 3.1.N

127. Immerman, N.: Relational queries computable in polynomial time. Inf. Control 68, 76-98 (1986). Section 2.2.I

128. Ivanov, S.V.: The free Burnside groups of sufficiently large exponents. Int. J. Algebra Comput. 4(1-2), 1-308 (1994). Section 3.1.J

129. Ivanov, S.V.: Recognizing the 3-sphere. Ill. J. Math. 45(4), 1073-1117 (2001). Section 2.3.D

130. Ivanov, S.V., Olshanskii, A.Yu.: Hyperbolic groups and their quotients of bounded exponents. Trans. Am. Math. Soc. 348(6), 2091-2138 (1996). Sections 3.1.I, 3.1.J

131. Jaco, W.: Heegaard splitting and splitting homomorphisms. Trans. Am. Math. Soc., 144, 365-379 (1969). Section 2.3.C

132. Jones, N.D., Selman, A.L.: Turing machines and the spectra of first-order formulas with equality. J. Symbolic Logic 28, 139-150 (1974). Section 2.2.I

133. Kapovich, I., Schupp, P.: On group-theoretic models of randomness and genericity. Groups Geom. Dyn. 2(3), 383-404 (2008). Section 3.1.H3

134. Kapovich, I., Schupp, P., Shpilrain, V.: Generic properties of Whitehead's algorithm and isomorphism rigidity of random one-relator groups. Pac. J. Math. 223(1), 113-140 (2006). Section 3.1.I

135. Kharlampovich, O., Lysenok, I.G., Myasnikov, A.G., Touikan, N.W.: The solvability problem for quadratic equations over free groups is NP-complete. Theory Comput. Syst. 47(1), 250-258 (2010). Sections 2.2.H, 2.3.B

136. Kharlampovich, O., Myasnikov, A.: Hyperbolic groups and free constructions. Trans. Am. Math. Soc. 350(2), 571-613 (1998). Section 3.1.L

137. Kharlampovich, O., Sapir, M.: Algorithmic problems in varieties. Int. J. Algebra Comput. 5(4-5), 379-602 (1995). Sections 1, 2.2.G

138. Kourovka Notebook. Unsolved Problems in Group Theory, 5th edn. Novosibirsk (1976). Sections 5.3, 5.4.A

139. Krajicek, J.: Bounded arithmetic, propositional logic, and complexity theory. Cambridge University Press, Cambridge (1995). Section 5.1

140. Kramer, L., Shelah, S., Tent, K., Thomas, S.: Asymptotic cones of finitely presented groups. Adv. Math. 193(1), 142-173 (2005). Section 2.10.B

141. Knuth, D.E.: The art of computer programming, 2nd edn, vol. 2. Addison-Wesley, Reading (1981). Section 5

142. Leuzinger, E.: On polyhedral retracts and compactifications of locally symmetric spaces. Differ. Geom. Appl. 20(3), 293-318, (2004). Section 4.1.E

143. Lohrey, M., Senizergues, G.: Rational subsets in HNN-extensions and amalgamated products. Int. J. Algebra Comput. 18(1), 111-163 (2008). Section 3.1.G

144. Lubotzky, A.: Discrete groups, expanding graphs and invariant measures. With an appendix by Jonathan D. Rogawski. Reprint of the 1994 edition. Modern Birkhauser Classics. Birkhauser, Basel (2010). Section 3.1.H3

145. Lubotzky, A., Mozes, S., Raghunathan, M.S.: Cyclic subgroups of exponential growth and metrics on discrete groups. C. R. Acad. Sci. Paris Ser. I Math. 317(8), 735-740 (1993). Section 4.1.E

146. Luck, W., Osin, D.: Approximating the first L2-betti number of residually finite groups (2010). Preprint, arXiv:1011.4739. Section 5.4.A

147. Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Springer, Berlin (1977). Sections 1, 2.1.A, 2.6.B, 3.1.C

148. Lysenok, I.G.: Decision problems and quadratic equations in hyperbolic groups, candidate thesis, Moscow State University 1989 (in Russian). Section 3.1.E

149. Lysenok, I.G.: Some algorithmic properties of hyperbolic groups. Izv. Akad. Nauk SSSR Ser. Mat. 53(4), 814-832 (1989), 912; translation in Math. USSR-Izv. 35(1), 145-163 (1990). Section 2.3.B

150. Madlener, K., Otto, F.: Pseudo-natural algorithms for the word problem for finitely presented monoids and groups. J. Symbol. Comput. 1, 383-418 (1989). Sections 2.4.A, 2.5, 5.2

151. Makanin, G.: Decidability of universal and positive theories of a free group, (English translation) Mathematics of the USSR-Izvestiya 25, 75-88 (1985); original: Izvestiya Akademii Nauk SSSR, Seriya Matematicheskaya 48, 735-749 (1984). Sections 2.3.E, 3.1.G

152. Makanin, G.: Decidability of the universal and positive theories of a free group. Izv. Akad. Nauk SSSR Ser. Mat. 48, 735-749 (1984). Sections 2.3.E, 3.1.G

153. Mal'cev, A.I.: Two remarks about nilpotent groups. Mat. Sb., 37(3), 567-572 (1955). Section 3.2.A

154. Mal'cev, A.I.: Algorithms and recursive functions. Nauka, Moscow, 1965. Sections 2.2.E, 2.2.I

155. McKenzie, R., Thompson, R.J.: An elementary construction of unsolvable word problems in group theory. Word problems: decision problems and the Burnside problem in group theory (Conf., Univ. California, Irvine, Calif. 1969; dedicated to Hanna Neumann), Studies in Logic and the Foundations of Math., vol. 71, pp. 457-478. North-Holland, Amsterdam (1973). Sections 2.2.G, 4.4.B

156. McKinsey, J.C.C.: The decision problemfor some classes of sentences without quantifiers. J. Symbol. Logic 8(3), 61-76 (1943). Section 2.2.A

157. Manin, Yu.: Computable and Uncomputable (in Russian). Sovetskoye Radio, Moscow (1980). Section 5.1

158. Matiyasevich, Yu.V.: Hilbert's tenth problem. Translated from the 1993 Russian original by the author. With a foreword by Martin Davis. Foundations of Computing Series. MIT Press, Cambridge (1993). Section 2.2.E

159. Mayer, J., Nikiel, J., Oversteegen, L.: Universal spaces for R-trees, Trans. AMS, 334(1), 411-432 (1992). Section 3.1.A

160. Mikhajlovskii, K., Olshanskii, A.Yu.: Some constructions relating to hyperbolic groups. Geometry and cohomology in group theory (Durham, 1994). London Math. Soc. Lecture Note Ser., vol. 252, pp. 263-290. Cambridge University Press, Cambridge (1998). Section 3.1.I

161. Miller, C.F. III: On group-theoretic decision problems and their classification. Annals of Mathematics Studies, No. 68. Princeton University Press/University of Tokyo Press, Princeton/Tokyo (1971).

162. Miller, C.F. III: Decision problems for groups—survey and reflections. Algorithms and classification in combinatorial group theory (Berkeley, CA, 1989). Math. Sci. Res. Inst. Publ., vol. 23, pp. 1-59. Springer, New York (1992).

163. Miller, C.F. III, Schupp, P.E.: The geometry of Higman-Neumann-Neumann extensions. Collection of articles dedicated to Wilhelm Magnus. Commun. Pure Appl. Math. 26, 787-802 (1973). Sections 2.3.F, 2.6.B

164. Milnor, J.W.: Growth of finitely generated solvable groups. J. Differ. Geom. 2, 447-449 (1968). Section 1

165. Mosher, L.: Mapping class groups are automatic. Ann. Math. 142, 303-384 (1995). Section 3.3.A

166. Muller, D.E., Schupp, P.E.: Groups, the theory of ends, and context-free languages. J. Comput. System Sci. 26(3), 295-310 (1983). Section 3.1.F

167. Myasnikov, A.G., Ushakov, A., Won, D.W.: Power Circuits, Exponential Algebra, and Time Complexity (2010). Preprint, arXiv:1006.2570. Section 5.2

168. Myasnikov, A.G., Shpilrain, V., Ushakov, A.: Group-based cryptography. In: Advanced Courses in Mathematics. CRM Barcelona. Birkhauser, Basel (2008). Section 1

169. Nikiel, J.: Topologies on pseudo-trees and applications. Mem. AMS 416, (1989). Section 3.1.A

170. Noskov, G.A.: Conjugacy problem in metabelian groups. Mat. Zametki 31, 495-507 (1982). Section 4.2.B

171. Novikov, P.S., Adian, S.I.: On infinite periodic groups, I, II, III, Math. USSR Izvestiya 32, 212-244, 251-524, 709-731 (1968). Sections 3.1.J, 3.1.N

172. Ollivier, Y.: A January 2005 invitation to random groups. Ensaios Matemáticos [Mathematical Surveys], vol. 10. Sociedade Brasileira de Matemática, Rio de Janeiro (2005). ISBN: 85-85818-30-1. The updates for this book can be found here: http://www.yann-ollivier.org/rech/publs/rgupdates.pdf. Section 3.1.H3

173. Olshanskii, A.Yu.: On the question of the existence of an invariant mean on a group. Uspekhi Mat. Nauk 35(4(214)), 199-200 (1980). Section 5.4.A

174. Olshanskii, A.Yu.: Diagrams of homomorphisms of surface groups. Sib. Mat. Z. 30(6), 150-171 (1989). Sections 2.1.B, 2.3.B, 2.3.C, 3.1.E

175. Olshanskii, A.Yu.: The Geometry of Defining Relations in Groups. Kluwer, Dordrecht (1991). Sections 2.1.A, 2.1.B, 5.4.A

176. Olshanskii, A.Yu.: Hyperbolicity of groups with subquadratic isoperimetric inequalities. Int. J. Algebra Comput. 1, 282-290 (1991). Sections 3.1.H, 3.1.H2

177. Olshanskii, A.Yu.: Almost every group is hyperbolic. Int. J. Algebra Comput. 2(1), 1-17 (1992). Section 3.1.M

178. Olshanskii, A.Yu.: Periodic quotient groups of hyperbolic groups. Math. USSR Sbornik 72(2), 519541 (1992). Sections 3.1.J, 3.1.N

179. Olshanskii, A.Yu.: On residualing homomorphisms and G-subgroups of hyperbolic groups. Int. J. Algebra Comput. 3(4), 365-409 (1993). Sections 3.1.J, 3.1.K

180. Olshanskii, A.Yu.: SQ-universality of hyperbolic groups. (Russian) Mat. Sb. 186(8), 119-132 (1995); translation in Sb. Math. 186(8), 1199-1211 (1995). Sections 3.1.I, 3.1.J, 3.1.K

181. Olshanskii, A.Yu.: On the complexity of computations in groups. Soros Educ. J. (3), 118-123 (2000). http://www.pereplet.ru/nauka/Soros/pdf/0003_118.pdf. Section 1.

182. Olshanskii, A.Yu.: Groups with quadratic-non-recursive Dehn function (with an appendix by A.Yu. Olshanskii and M.V. Sapir) (2010). Preprint. Section 1, 2.2.E, 4.6.A, 4.6.B

183. Olshanskii, A.Yu.: Space functions of groups (2010). Preprint, arXiv:1009.3580. Sections 2.5, 5.2, 5.3

184. Olshanskii, A., Osin, D., Sapir, M.: Lacunary hyperbolic groups (with appendix by M. Kapovich and B. Kleiner). Geom. Topol. 13, 2051-2140 (2009). Sections 3.1.K, 3.1.O

185. Olshanskii, A.Yu., Sapir, M.V.: Quadratic isometric functions of the Heisenberg groups. A combinatorial proof. Algebra, 11. J. Math. Sci. (New York) 93(6), 921-927 (1999). Sections 3.2.B, 3.2.C, 4.1, 4.1.F

186. Olshanskii, A.Yu., Sapir, M.V.: Embeddings of relatively free groups into finitely presented groups. In: Combinatorial and computational algebra (Hong Kong, 1999). Contemp. Math., vol. 264, pp. 23-47. Amer. Math. Soc., Providence (2000). Section 5

187. Olshanskii, A.Yu., Sapir, M.V.: Length and area functions on groups and quasi-isometric higman embeddings. Int. J. Algebra Comput, 11(2), 137-170 (2001). Sections 1, 2.1.A, 5.4.C, 6.4

188. Olshanskii, A.Yu., Sapir, M.V.: Non-amenable finitely presented torsion-by-cyclic groups. Publ. Math. Inst. Hautes Études Sci. 96(2002), 43-169 (2003). Sections 2.2.C, 5.4.B, 5.4.C, 6

189. Olshanskii, A.Yu., Sapir, M.V.: The conjugacy problem and Higman embeddings. Mem. Am. Math. Soc. 170(804), viii+133 pp (2004). Sections 5.1, 5.3

190. Olshanskii, A.Yu., Sapir, M.V. : Subgroups of finitely presented groups with solvable conjugacy problem. Int. J. Algebra Comput. 15(5-6), 1075-1084 (2005). Section 5.3

191. Olshanskii, A.Yu., Sapir, M.V.: Groups with small Dehn functions and bipartite chord diagrams. Geom. Funct. Anal. 16(6), 1324-1376 (2006). Sections 2.11, 4.2.G, 4.2.H, 6.1, 6.1.C, 6.2

192. Olshanskii, A.Yu., Sapir, M.V.: Groups with non-simply connected asymptotic cones. Topological and asymptotic aspects of group theory. Contemp. Math., vol. 394, pp. 203-208. Amer. Math. Soc., Providence, (2006). Section 2.11

193. Olshanskii, A.Yu., Sapir, M.V.: A finitely presented group with two non-homeomorphic asymptotic cones. Internat. J. Algebra Comput. 17(2), 421-426 (2007). Section 2.10.B

194. Pansu, P.: Métriques de Carnot-Carathéodory quasiisométries des espaces symétriques de rang un. Ann. Math. 129, 1-60 (1989). Sections 3.2.A, 3.2.D

195. Papasoglu, P.: An algorithm detecting hyperbolicity. In: Geometric and computational perspectives on infinite groups (Minneapolis, MN and New Brunswick, NJ, 1994). DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 25, pp. 193-200. Amer. Math. Soc., Providence (1996). Section 3.1.M

196. Papasoglu, P.: On the asymptotic cone of groups satisfying a quadratic isoperimetric inequality. J. Differ. Geom. 44(4), 789-806 (1997). Sections 2.11, 4.1

197. Perelman, G.: The entropy formula for the Ricci flow and its geometric applications (2002). arXiv: math.DG/0211159. Section 2.3.C

198. Perelman, G.: Ricci flow with surgery on three-manifolds (2003). arXiv: math.DG/0303109. Section 2.3.C

199. Pittet, Ch.: Isoperimetric inequalities for homogeneous nilpotent groups. In: Charney, R., Davis, M., Shapiro, M. (eds.) Geometric Group Theory III, pp. 159-164. Ohio State University. Math. Res. Inst. Publ., de Gruyter (1995). Section 3.2.A

200. Platonov, A.N.: Isoperimetric function of the Baumslag-Gersten group. Vestnik Moskov. Univ. Ser. I Mat. Mekh., pp. 12-17 (2004)

201. Razborov, A.: On systems of equations in a free group. Math. USSR-Izv. 25, 115-162 (1985). Section 2.3.E

202. Razborov, A.: On systems of equations in a free group, PhD Thesis, Steklov Mathematical Institute, Moscow (1987). Section 2.3.E

203. Riley, T.R.: Higher connectedness of asymptotic cones. Topology 42, 1289-1352 (2003). Sections 2.11, 4.1

204. Rips, E., Sela, Z.: Cyclic splittings of finitely presented groups and the canonical JSJ decomposition. Ann. Math. (2) 146(1), 53-109 (1997). Section 3.1.G

205. Rips, E., Sela, Z.: Canonical representatives and equations in hyperbolic groups. Invent. Math. 120, 489-512 (1998). Section 3.1.G

206. Roman'kov, V.A.: Unsolvability of the problem of endomorphic reducibility in free nilpotent groups and in free rings. Algebra i Logika 16(4), 457-471 (1977). Section 3.2.A

207. Rotman, J.J.: An introduction to the theory of groups. In: Graduate Texts in Mathematics, 4th edn, vol. 148. Springer, New York (1995). Section 5.1

208. Sapir, M.V.: Algorithmic and asymptotic properties of groups. In: International Congress of Mathematicians. Vol. II, pp. 223-244, Eur. Math. Soc., Zürich (2006). Sections 1, 5.4.C

209. Sapir, M.V.: Residual properties of 1-relator groups. Preprint, arXiv:1001.2829 (2010). Section 3.1.I

210. Sapir, M.V., Birget, J.-C., Rips, E.: Isoperimetric and isodiametric functions of groups. Ann. Math. (2) 156(2), 345-466 (2002). Sections 2.2.J, 2.4, 2.5, 4.3.A, 4, 4.4.A, 4.5, 4.6.A, 5.1, 5.2, 6.1, 6.1.C, 6.2, 6.3

211. Sapir, M.V., Iva Spakulova (Kozakova): Almost all 1-related groups with at least 3 generators are residually finite. J. Eur. Math. Soc. (JEMS) 13(2), 331-343 (2011). Section 3.1.I

212. Sarkisyan, R.A.: The conjugacy problem for collections of integral matrices. Mat. Zametki 25(6):811-824(1979). Section 4.2.E

213. Sazonov, V.: A logical approach to the problem P = NP. Lect. Notes Comp. Sci. 88, 562-575 (1980). Section 2.2.I

214. Sazonov, V.: Polynomial computability and recursivity in finite domains. Electronische Informationverarbeitung und Kybernetik 16, 319-323 (1980). Section 2.2.I

215. Schulz, K.: Makanin's algorithm for word equations—two improvements and a generalization. In: Word equations and related topics (Tübingen, 1990). Lecture Notes in Comput. Sci., vol. 572, pp. 85-150. Springer, Berlin (1992). Section 3.1.G

216. Shalom, Y.: Tao T.: a finitary version of Gromov's polynomial growth theorem (2009). Preprint, arXiv:0910.4148. Section 3.1.N

217. Sela, Z.: The isomorphism problem for hyperbolic groups I. Ann. Math. (2) 141, 217-283 (1995). Section 3.1.G

218. Serre, J.-P.: Trees. Springer, Berlin (1980). Sections 3.1.F, 3.1.L

219. Shpilrain, V.: Search and witness problems in group theory (2010). Preprint, arXiv:1010.0382. Section 1

220. Sisto, A.: Separable and tree-like asymptotic cones of groups (2010.). Preprint, arXiv:1010.1199. Section 3.1.A

221. Slobodskoii, A.M.: Undecidability of the universal theory of finite groups. Algebra i Logika 20(2), 207-230 (1981). Section 2.2.A

222. Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, Berlin (1987). Section 2.2.E

223. Specht, W.: Zur Theorie der messbaren Gruppen. Math. Z. 74, 325-366 (1960). Section 5.4.A

224. Stallings, J.R.: A finitely presented group whose 3-dimensional integral homology is not finitely generated. Am. J. Math. 85, 541-543 (1963). Section 4.1

225. Stallings, J.R.: How not to prove the Poincare Conjecture. Topology Seminar Wisconsin, 1965. Ann. Math. Stud. 60, 83-88 (1966). Section 2.3.C

226. Svarc, A.S.: A volume invariant of coverings. Dokl. Akad. Nauk SSSR (N.S.) 105, 32-34 (1955). Section 1

227. Thurston, W.P.: Conway's tiling groups. Am. Math. Mon. 97(8), 757-773 (1990). Section 2.1.C

228. Thomas, S., Velickovic, B.: Asymptotic cones of finitely generated groups. Bull. Lond. Math. Soc. 32(2), 203-208 (2000). Sections 2.10.B, 3.1.O

229. van den Dries, L., Wilkie, A.J.: On Gromov's theorem concerning groups of polynomial growth and elementary logic. J. Algebra 89, 349-374 (1984). Sections 2.10.A, 2.10.B

230. Vardi, M.Y.: The complexity of relational query languages. In: Proc. 14th ACM Symp. on Theory of Computing, pp. 137-146 (1982). Section 2.2.I

231. Valiev, M.K.: On polynomial reducibility of the word problem under embedding of recursively presented groups in finitely presented groups. Mathematical foundations of computer science, 1975. Lecture Notes in Comput. Sci., vol. 32, pp. 432-438. Springer, Berlin (1975). Section 5.1

232. Vollmer, H.: Introduction to circuit complexity. A uniform approach. In: Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (1999). Section 4.4.B

233. von Neumann, J.: Zur allgemeinen Theorie des Masses. Fundam. Math. 13, 73-116 (1929). Section 5.4.A

234. Wenger, S.: Gromov hyperbolic spaces and the sharp isoperimetric constant. Invent. Math. 171(1), 227-255 (2008). Sections 1, 2.7, 2.7.C, 3.1.M

235. Wenger, S.: Nilpotent groups without exactly polynomial Dehn function (2010). Preprint, arXiv: 1004.2907. Sections 1, 2.7, 2.7.C, 2.11, 3.2.D

236. Whitney, H.: Geometric Integration Theory. Princeton University Press, Princeton (1957). Section 2.7.C

237. Young, R.: Filling inequalities and the geometry of nilpotent groups. Thesis (Ph.D.), The University of Chicago (2007). ISBN: 978-0549-02077-6. Sections 3.2.C, 4.1

238. Young, R.: Filling inequalities for nilpotent groups (2006). Preprint, arXiv:0608174. Sections 3.2.B, 3.2.E, 4.1

239. Young, R.: The Dehn function of SL(n; Z) (2009). Preprint, arXiv:0912.2697. Sections 1, 3.2.B, 4.1, 4.1.E

0-cell, 8 0-edge, 8 ^-machine, 72 rule of, 73 R-tree, 34

5-filling of a loop, 27 5-hyperbolic metric space, 34 ^-simply connected metric space, 27 «-almost surely, 30 «-limit, 31 13

0 -loop, 26 h -good number, 14

Accept configuration, 12 Action geometric, 29 co-compact, 29 properly discontinuous, 29 Adding machine, 74 Amalgamated product, 44 Asymptotic cone, 30 Automaton, 37

Band, 24

Bi-Lipschitz map, 21 Bi-Lipschitz path, 31 Big set, 30 Boolean circuit, 62 Brick, 27

length of, 27 Bump, 36

Carnot-Caratheodory metric, 48 Cartan-Hadamard theorem, 45 CAT(0) metric space, 52 Cayley complex, 29 Cayley graph, 28

labeled, 28 Central power of a group, 49 Circuit equivalence problem, 62 Combination theorem, 44 Command of a Turing machine, 13

Computation, 13

accepted, 13 Combing condition, 51 Configuration of a tape, 12 Configuration of a Turing machine, 12 Congruence extenson property, 42 Conjugacy problem, 4 Constructive limit of a sequence, 59

Dehn algorithm, 35 Dehn function, 20 Dehn presentation, 35

generalized, 38 Discrete path, 51

Endomorphic reducibility problem, 47 Equation, 18 coefficients of, 18 quadratic, 18 unknowns of, 18 Equivalent functions, 13 Exact bin packing problem, 16

Filling disk of a loop, 27 Filling length (FL) function, 22 Filling length of a word, 22 Fragmenting free filling length (FFFL)

function, 22 Frattini embedded subgroup, 69 Free Burnside group, 70

Geodesic triangle, 34

thin, 34 Greendlinger cell, 35 Greendlinger lemma, 35

coarse, 44 Group 5-hyperbolic, 34 accessible, 38 amenable, 70 automatic, 52 Baumslag, 68

Baumslag-Solitar BS(1, 2), 23

bi-automatic, 52 coherent, 42 finitely generated, 4 finitely presented, 4 free, 4

free nilpotent of class 2, 50 graded nilpotent, 47 inaccessible, 37 lacunary hyperbolic, 46 nilpotent, 47 polycyclic, 53 random, 40

residually (finite p-), 42 residually finite, 11 right angled Artin, 52 semihyperbolic, 52 virtually cyclic, 35 Group word, 3

reduced, 3 Growth function, 3

Hadamard manifold, 52

Halting problem, 14

Hausdorff measure, 28

Hirsch length of a nilpotent group, 48

History of computation, 13

HNN-extension, 23

multiple, 23 HNN-relation, 23 Horizontal path, 48 Horoball, 55 Hub, 75

Immune set, 14

Inequation, 20

Integral metric current, 28

Isodiametric function, 21

Isomorphism problem for hyperbolic

groups, 38 Isoperimetric function, 20 Isoperimetric spectrum, 63

Jacobian of a map, 27

Language, 37 accepted (recognized) by a

Turing machine, 13 context-free, 37 real time recognizable, 38 regular, 37 Lipschitz area function, 28 Lipschitz map, 21 Lipschitz path, 31 Loop, 26

Lower central series, 47

Mapping class group, 52 Membership problem for finitely

generated subgroups, 58 Mesh of a partition, 27 Miller machine, 72

Non-principle ultrafilter, 30 NP-complete problem, 16

Part of a command, 13 Piece, 35

e -piece, 44 Polynomial time, 15 Power problem, 69 Probability model different lengths, 40 few relator, 40 random groups, 40

Quasi-isometric groups, 21 Quasi-isometric spaces, 21 Quasi-isometry, 21

Regular constraint, 39

Scaling constants, 30 Schupp diagram, 20 Semihyperbolic metric space, 51 Simple set, 14 Simplicial tree, 37 Singular Lipschitz chain, 28 Small cancelation condition C'(A.), 35 C(e, i, p), 44

Small set, 30

Snowman decomposition, 64 Space function of a group, 22 Space function of a Turing

machine, 13 Space of computation, 13 Space spectrum, 68 Superadditive function, 61 Symmetric space, 55 thick part of, 55 thin part of, 55 Symplectic area of a loop on the square grid, 49

Time function of a Turing machine, 13 Time of computation, 13 Trapezium, 72 Turing machine, 12 deterministic, 13 multi-tape, 12 non-deterministic, 15 recognizing, 12 symmetric, 74

Uniform algorithm, 11

Van Kampen diagram, 6 boundary of, 6 cell of, 6 minimal, 24 on a surface, 17 Van Kampen lemma, 6

Witness, 15 Word, 3

accepted by a Turing machine, 13 area of, 5 cyclic shift of, 4 cyclically reduced, 4 positive, 69 Word metric on a group, 31 Word problem, 4