Several good references dedicated to hyperbolic groups have been written until 1990, including:
-
Hyperbolic groups, written by M. Gromov.
-
Géométrie et théorie des groupes : les groupes hyperboliques de Gromov, written by M. Coornaert, A. Papadopoulos and T. Delzant.
-
Sur les groupes hyperboliques de M. Gromov, edited by E. Ghys and P. de la Harpe.
Since then, fundamental tools have been introduced to study hyperbolic groups. For instance, I have in mind JSJ decompositions. Are there textbooks or surveys on the subject?
What are good references dedicated to modern developments on hyperbolic groups?
By "modern", I mean subjects not contained in the references mentioned above. I am particularly interested in progresses made in the study of outer automorphism groups of hyperbolic groups.
Edit: I am aware that the ideas involved in the study of hyperbolic groups have lots of applications, so that covering them in just a few references is hopeless. Consequently, it would be better to focus on hyperbolic themselves, excluding generalisations (such as relatively / acylindrically hyperbolic groups) or specific examples (such as right-angled Coxeter groups, (automorphisms of) free groups or (automorphisms of) surface groups).
Best Answer
I think this is a great question, as there is still a need for an authoritative reference about (word-)hyperbolic groups. Since the textbook doesn't exist, I'd like to take the question in a slightly different direction by listing some of the material I think it should cover. (This is inevitably a personal and biased account.) I'll try to include the best references I can think of.
The seminal article of Gromov's mentioned in the question contained many assertions about hyperbolic groups, often extensions of Thurston's famous theorems about hyperbolic manifolds. Probably the simplest such statement (which is fundamental in the study of outer automorphism groups of free groups) is now known as Paulin's theorem (cf. 5.4.A of Hyperbolic groups).
Another such statement is 5.3.C' from Gromov's article.
In Hyperbolic groups, Gromov suggests that statements like these can be proved using a generalisation of Thurston's arguments using the geodesic flow. Even the problem of constructing a candidate geodesic flow over a hyperbolic group is notoriously difficult. The problem was eventually solved by Mineyev but, to the best of my knowledge, no one so far been able to use Mineyev's geodesic flow to give the Thurstonian proofs of these result that Gromov suggested.
Instead, the key tool in proving these results turned out to be the Rips machine: Rips' classification of certain actions of groups on real trees. For actions of finitely presented groups, the Rips machine was developed by Bestvina—Feighn. An account was also given by Misha Kapovich in his book, so the interested reader could look at either of the following.
For some applications, one needs the Rips machine for finitely generated groups. This was developed initially by Sela and corrected and refined by Guirardel, so the relevant references here are:
The link with hyperbolic groups is made via what Sela called the Bestvina—Paulin method. Given infinitely many actions of a group $G$ on a suitably nice $\delta$-hyperbolic space $X$, one can pass to a limiting action on a space which is either $X$ itself or a real tree $T$, and in the latter case Rips’ machine applies. As well as Paulin’s original paper, another account of the proof, also modulo the Rips machine, was given by Bridson—Swarup (who corrected a small mistake in Paulin’s proof), and Bestvina gave a very useful account in his survey article on $\mathbb{R}$-trees. So one could look at:
For Paulin’s theorem, the only thing one needs from the Rips machine is that it promotes a (nice) action on a real tree to a (nice) action on a simplicial tree. Deeper applications, such as the Subgroup Rigidity Theorem, tend to require a notorious trick called the shortening argument. The idea is that if the actions of $G$ on $X$ were all chosen to be `shortest’ in their conjugacy classes then either $G$ is a free product or the limiting action of $G$ on $T$ isn’t faithful. This trick is notoriously, er, tricky.
The first reference is Rips—Sela’s original paper in which they prove the Subgroup Rigidity Theorem in the torsion-free case. (The case with torsion was later handled by Delzant.)
The shortening argument is Theorem 4.3, and the Subgroup Rigidity Theorem is Theorem 7.1. I gave an account of the shortening argument in Theorem 5.1 of
Another account of the shortening argument (and many of the theorems mentioned here) adapted to the setting of toral relatively hyperbolic groups was given by Groves in:
This toolkit has some further spectacular consequences for the structure of hyperbolic groups. The two biggest are probably the Hopf property and the isomorphism problem.
Recall that a group $G$ is said to be non-Hopfian if there is a non-injective epimorphism $G\to G$. In
Sela proved the Hopf property for all torsion-free hyperbolic groups. The case with torsion is treated in a preprint of Reinfeldt—Weidmann.
Sela solved the isomorphism problem for torsion-free rigid hyperbolic groups (such as the hyperbolic 3-manifold groups) in
To extend this to the non-rigid case, one needs JSJ theory for groups, which was introduced by Rips—Sela in
As is already apparent from Ian’s answer, this theory has been developed a great deal, and the more recent approaches are frankly a lot simpler than the original Rips—Sela version. In the end, the torsion-free non-rigid case (as well as the toral relatively hyperbolic case) was dealt with in
while the case with torsion was dealt with in
Both of these papers followed Sela’s outline, although major technicalities needed to be overcome.
NWMT has alreay said in comments that all this is too difficult for a textbook. In total this is true, but I can imagine an advanced reference book that describes the Rips machine, the Bestvina—Paulin method and the shortening argument, and gives Paulin’s theorem and the Subgroup Rigidity theorem as applications. These are still some of the most amazing and beautiful arguments in the theory of hyperbolic groups, and I’m a little concerned that a lot of current research seems to be moving away from them, rather than attempting to simplify or extend them.