Welcome to MathOverflow

Question

7

2

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...

flag	asked Oct 11 2011 at 14:30 Igor Rivin 31.1k●3●37●71

	The abelianization is almost trivial: it's $\mathbb Z_2$. – Jim Conant Oct 11 2011 at 14:52
	@Jim: how do you show this? Is there a reference? – Igor Rivin Oct 11 2011 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 2011 at 15:22
	And I should have mentioned $n>2$. – Jim Conant Oct 11 2011 at 15:23
	Cool, will check out KV's paper, tnx! – Igor Rivin Oct 11 2011 at 15:30

Agol · Accepted Answer · 2011-10-11 18:22:48Z UTC

12

$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)$.

edited Oct 11 2011 at 18:22

answered Oct 11 2011 at 15:45

Agol
23.9k●1●33●84

That's a nice argument... – Igor Rivin Oct 12 2011 at 7:05

Guntram · Answer 2 · 2011-10-13 08:28:07Z UTC

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!

Oscar Randal-Williams · Answer 3 · 2011-10-11 14:52:56Z UTC

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.

Jim Conant · Answer 4 · 2011-10-11 15:28:11Z UTC

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.)

generators of Out(F_n) and homology

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

4 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.