Commensurations of the Johnson kernel

Tara E Brendle, Dan Margalit

Published 2004-04-25, updated 2004-10-26Version 2

Let K be the subgroup of the extended mapping class group, Mod(S), generated by Dehn twists about separating curves. Assuming that S is a closed, orientable surface of genus at least 4, we confirm a conjecture of Farb that Comm(K), Aut(K) and Mod(S) are all isomorphic. More generally, we show that any injection of a finite index subgroup of K into the Torelli group I of S is induced by a homeomorphism. In particular, this proves that K is co-Hopfian and is characteristic in I. Further, we recover the result of Farb and Ivanov that any injection of a finite index subgroup of I into I is induced by a homeomorphism. Our method is to reformulate these group theoretic statements in terms of maps of curve complexes.