bd15a58d6de17280.tex
1: \begin{proof}
2:   The homomorphism $\MCG(S) \to \Aut(H_1(S))$ induced by taking the
3:   action of a mapping class on homology is onto the
4:   symplectic group of the form given by
5:   \[
6:   J = \left(\begin{array}{rr|rr}
7:               0 & -1 & 0 & 0 \\
8:               1 & 0 & 0 & 0 \\
9:               \hline
10:               0 & 0 & 0 & 1 \\
11:               0 & 0 & -1 & 0
12:             \end{array}\right)
13:  \]
14:  where we are following the conventions given in
15:  Figure~\ref{fig:genus2}(a).  It is easy to check that $B^t J B = J$,
16:  and so there is some $f \in \MCG(S)$ with $f_* = B$.  Composing $f$
17:  with a complicated element of the Torelli group if necessary, we can
18:  arrange that $f$ is pseudo-Anosov as required.
19: 
20:  Alternatively, consider the following product of Dehn twists:
21: \[
22: f = \tau_a \circ \tau_d^{-1} \circ \tau_c \circ \tau_b^{-1} \circ \tau_d \circ \tau_c^{-1} \circ \tau_e^{-1}
23: \]
24: where the curve labeling conventions for the right-handed Dehn twists
25: $\tau$ follow Figure~\ref{fig:genus2}(b).  An easy calculation gives
26: $f_* = B$, and using \cite{Twister, SnapPy, hikmot2016} one can
27: rigorously verify that the mapping torus of $f$ is hyperbolic with volume
28: $\approx 7.51768989647$; in particular, $f$ is pseudo-Anosov.  
29: \end{proof}
30: