Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is known that the mapping class group of a closed (orientable) surface is generated by elements of finite order. Is this also known to be true for $Out(F_n)?$ A related question is the following: The mapping class group is known to be a perfect group for $g\geq 3,$ that is, it is equal to its commutator. Is this known for $Out(F_n)?$ I can find references to the effect that the rational homology is trivial in low dimensions, but that's not quite the same...

share|improve this question
    
The abelianization is almost trivial: it's $\mathbb Z_2$. –  Jim Conant Oct 11 '11 at 14:52
    
@Jim: how do you show this? Is there a reference? –  Igor Rivin Oct 11 '11 at 15:10
    
It follows directly from the Nielsen presentation for $Out(F_n)$. Vogtmann has a survey, "Automorphisms of free groups and outer space," which covers this point. –  Jim Conant Oct 11 '11 at 15:22
    
And I should have mentioned $n>2$. –  Jim Conant Oct 11 '11 at 15:23
    
Cool, will check out KV's paper, tnx! –  Igor Rivin Oct 11 '11 at 15:30
add comment

4 Answers

up vote 12 down vote accepted

$Aut(F_2)$ is generated by torsion, and $Aut(F_n)$ is normally generated by $Aut(F_2)$, so $Aut(F_n)$ is generated by torsion, hence $Out(F_n)$.

share|improve this answer
    
That's a nice argument... –  Igor Rivin Oct 12 '11 at 7:05
add comment

In Bridson's "A condition that prevents groups from acting nontrivially on trees" it is shown that for $n\geq 3$, $Aut (F_n)$ is generated by subgroups $A_1,A_2,A_3$ such that $\langle A_i,A_j \rangle$ is finite for $i,j=1,2,3$. This answers your question and moreover implies (via Helly's theorem) that for $n\geq 3$, any action of $Aut (F_n)$ on a tree fixes a point.

Beautiful stuff!

share|improve this answer
    
Thanks, that is very nice! –  Igor Rivin Oct 13 '11 at 8:38
add comment

For your second point, the map $$d : \mathrm{Out}(F_n) \longrightarrow GL_n(\mathbb{Z}) \overset{\mathrm{det}}\longrightarrow \mathbb{Z}^\times$$ (given by the action on $\mathbb{Z}^n = H_1(F_n;\mathbb{Z})$) is surjective, and so $Out(F_n)$ is not perfect. I do not know whether $SOut(F_n) := \mathrm{Ker}(d)$ is perfect, but I would guess so.

share|improve this answer
add comment

You can cook up lots of normal subgroups by looking at any characteristic subgroup of the free group. For example, if $F^{(k)}$ is the $k$th term of the lower central series, there is a surjection $$Out(F_n)\twoheadrightarrow Out(F_n/F_n^{(k)}).$$ The kernel of this surjection is an interesting normal subgroup. Oscar's construction is a special case of this.

(Edit: I misread "perfect" as "simple," so this is not an answer to the question.)

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.