= Solution
Send each orientation-preserving <isometry> to its <isotopy> class. This is a <group homomorphism>
$$
\operatorname{Isom}^+(S_g)\longrightarrow\operatorname{Mod}(S_g).
$$
For $g\geq2$, a hyperbolic isometry isotopic to the identity is the identity. One proof lifts it to the <hyperbolic plane>: after composing with a <deck transformation>, its lift commutes with the surface <fundamental group>. It consequently fixes the endpoints at infinity of every hyperbolic deck transformation. Those endpoints are dense in the circle at infinity, so the lift fixes that circle pointwise and is the identity. The homomorphism is therefore injective, proving the <injection of a finite hyperbolic isometry group into a mapping class group>.
Both low-genus analogues fail. Every orientation-preserving homeomorphism of the <unit sphere> is isotopic to the identity, but a round sphere has nontrivial finite rotation groups. On a flat <torus>, translation by a nonzero torsion point is a finite-order orientation-preserving isometry isotopic to the identity.
Back to article page
