It is well-known that the Mapping Class Group of a closed surface of genus $g$ surjects onto $Sp(2g, \mathbb{Z})$ (see, for example the Farb-Margalit book). However, I was wondering if there is a simple proof that the set of pseudo-Anosov elements in MCG surjects onto $Sp(2g, \mathbb{Z})$ (and also a reference for where this might have been stated first) -- I can construct a somewhat sophisticated proof, but this should be easier.
pseudo-Anosovs with given action on homology
Igor Rivin
- 96.4k
- 11
- 153
- 366