Dimension of the Torelli group for Out(F_n)

Abstract

Let T_n be the kernel of the natural map from Out(F_n) to GL(n,Z). We use combinatorial Morse theory to prove that T_n has an Eilenberg-MacLane space which is (2n-4)-dimensional and that H_{2n-4}(T_n,Z) is not finitely generated (n at least 3). In particular, this recovers the result of Krstic-McCool that T_3 is not finitely presented. We also give a new proof of the fact, due to Magnus, that T_n is finitely generated.

27 pages, 9 figures

Cited by in corpus (5)

• The integral cohomology of the group of loops
• The Dimension of the Torelli group
• On the Andreadakis-Johnson filtration of the automorphism group of a free group
• Uniform difference between the length spectra of Out(F2) and the genus two handlebody group
• Higher incoherence of the automorphism groups of a free group