db849dac8cad9f4a.tex
1: \begin{abstract}
2: An arbitrary homomorphism between groups is nonincreasing for stable commutator 
3: length, and there are infinitely many (injective) homomorphisms between free groups 
4: which strictly decrease the stable commutator length of some elements. 
5: However, we show in this paper that a {\em random} homomorphism between free groups 
6: is almost surely an isometry for stable commutator length for every element; 
7: in particular, the unit ball in the scl norm of a free group admits an enormous 
8: number of {\em exotic isometries}. 
9: 
10: Using similar methods, we show that a 
11: random fatgraph in a free group is extremal (i.e. is an absolute minimizer 
12: for relative Gromov norm) for its boundary; this implies, for instance, 
13: that a random element of a free group with commutator length at most $n$ has 
14: commutator length exactly $n$ and stable commutator length exactly $n-1/2$.
15: Our methods also let us construct explicit (and computable) quasimorphisms
16: which certify these facts.
17: \end{abstract}
18: