On montre dans cet article que, pour tout groupe G indécomposable pour le produit libre * et non isomorphe à Z, l'inclusion canonique Aut(G * n ) → Aut(G * n+1 ) induit un isomorphisme entre les groupes d'homologie Hi pour n ≥ 2i + 2, comme l'avaient conjecturé Hatcher et Wahl. En fait, on montre un peu plus -en particulier, le résultat vaut pour tout groupe G à condition de remplacer le groupe des automorphismes du produit libre par le sous-groupe des automorphismes symétriques. Nous nous appuyons pour cela sur des constructions et résultats d'acyclicité dus à McCullough-Miller et Chen-Glover-Jensen et sur des propriétés de fonctorialité qui nous permettent d'utiliser des méthodes classiques d'homologie des foncteurs.
AbstractWe show in this article that, for any group G indecomposable for the free product * and non-isomorphic to Z, the canonical inclusion Aut(G * n ) → Aut(G * n+1 ) induces an isomorphism between the homology groups Hi for n ≥ 2i + 2, as was conjectured by Hatcher and Wahl. In fact we show a little more -in particular, the result is true for any group G if we replace the automorphism group of the free product by the subgroup of symmetric automorphisms. For this purpose we use constructions and acyclicity results due to McCullough-Miller and Chen-Glover-Jensen and functoriality properties which allow us to apply classical methods in functor homology. théorème de F. Laudenbach montre que, pour V n = (S 2 × S 1 ) ♯n , l'application M CG(V n ) → Aut(π 1 (V n )) = Aut(Z * n ) est un épimorphisme dont le noyau est le sous-groupe distingué engendré par les twists de Dehn autour de copies de S 2 dans V n (la notation M CG(V ) désignant le groupe des difféotopies de V ). Dans [HW10], Hatcher et Wahl montrent des résultats plus généraux sur l'homologie des groupes de difféotopies, et en déduisent que α G n,i est un isomorphisme dès que n ≥ 2i + 2 pour G = Z/n avec n ∈ {2, 3, 4, 6} et pour G = π 1 (S) avec S une surface orientable compacte sans bord, ou S une variété hyperbolique de dimension 3, de volume fini, n'admettant pas d'isométrie inversant l'orientation. Ces auteurs conjecturent alors que α G n,i est un isomorphisme pour n ≥ 2i + 2 quel que soit le groupe G.Dans cet article, nous démontrons le résultat suivant.