Section 2.4 Riemann Surfaces and Discrete Groups (Rod)
¶- Uniformization
- Fuchsian groups
- Automorphisms of Riemann surfaces
Proposition 2.4.1.
Theorem 2.4.2.
\Sigma has a universal cover \widetilde \Sigma with \pi_1 ( \Sigma) = 1\text{.} \widetilde \Sigma \to \Sigma holomorphic. \Sigma = \widetilde \Sigma /G for G = \pi_1(\Sigma)\text{.} G acts freely and properly discontinuously.
Subsection 2.4.1 Uniformization
Theorem 2.4.3.
The only simply connected Riemann surfaces are \hat \CC\text{,} \CC\text{,} \HH\text{.}
Theorem 2.4.4.
\Sigma is a Riemann surface then
Proof.
\(g = 0\) Uniformization.
\(g \ge 1\) \(\hat \CC\) can't be a cover by Riemann-Hurwitz. \(g = 1\) \(\pi_1 (\Sigma) = \ZZ \oplus \ZZ\) abelian.
Claim: no subgroup of \(\Aut (\HH) \) is isomorphic to \(\ZZ \oplus \ZZ\) acting freely and properly discontinuously. So \(\widetilde\Sigma = \hat \CC\) \(z\mapsto az+b\) free id \(a=1\) so \(z\mapsto z+\lambda_1\) \(z\mapsto z+\lambda_2\text{.}\)
\(g= 2\) \(\pi_1(\Sigma)\) is not abelian but \(z\mapsto z + \lambda_1\) is abelian!
Goal.
Understand \Sigma through \widetilde \Sigma and G\text{.}Fuchsian groups.
g \ge 2\text{.}Definition 2.4.5. Fuchsian groups.
A Fuchsian group is a discrete subgroup of \PSL_2(\RR)\text{.}
Remark 2.4.6.
(proof in book) Even if \Gamma doesn't act freely the quotient
is still a covering map and \HH/\Gamma is a Riemann surface.
Reflections on \HH.
Say \mu is a geodesic in \HH\text{,} i.e. a horocycle. There is M \in \PSL_2(\RR) with M\mu the imaginary axis. Then R = -\bar z is the reflection over the imaginary axis. Now R_\mu = M\inv\circ R \circ M is a reflection over \mu\text{.}Triangle groups.
Given n, m, l\in \ZZ \cup \{\infty\} then there is a hyperbolic triangle with angles \pi/n,\pi/m, \pi/l ifDefinition 2.4.7. Triangle groups.
Let \Gamma_{n,m,l} be the triangle group with signature (1/n, 1/m, 1/l)\text{.}
Remark 2.4.8.
still work on \CC and \hat \CC respectively.
Example 2.4.9. \PSL_2(\ZZ).
Consider \Gamma_{2,3,\infty} angles \pi/2, \pi/3, 0\text{.} We can draw such a triangle in the upper half plane with vertices i, e^{\pi i/3}, \infty\text{.} So a fundamental domain will be the region obtained by reflecting through the imaginary axis, given by -\frac 12 \le \Re z \le \frac 12\text{,} |z| \ge 1\text{.} We have R_1 = \frac{1}{\bar z}, R_2 = -\bar z +1,R_3 = -\bar z so x_1 = \frac{-1}{z}, x_2 = \frac{1}{-z+1}, x_3 = z+1\text{.} Then \Gamma_{2,3,\infty} \cong \PSL_2(\ZZ)\text{.} Sometimes denoted \Gamma(1)\text{.}
Observation 2.4.10.
If \Gamma_1 \lt \Gamma_2 and T is a fundamental domain of \Gamma_2 then if \gamma_1, \gamma_2, \ldots, \gamma_n \in \Gamma_2 are representatives of \Gamma_1\backslash \Gamma_2 then
is a fundamental domain for \Gamma_1\text{.}
Example 2.4.11. \Gamma(1).
then
representatives of \Gamma(2) \backslash \Gamma(1) are
Lets see what these do, for example if z= e^{i\theta}
if we plot this we see we get two copies of a 0,0,0 triangle so this corresponds to \Gamma_{\infty,\infty,\infty}\text{.}
Proposition 2.4.12.
S_1 = \HH/ \Gamma_1\text{,} S_2 = \HH/\Gamma_2 then
Proof.
\(\Leftarrow\) Define an \(\phi\colon S_1 \to S_2\) via \(\phi(\lb z\rb_1) = \lb T(z)\rb_2\text{.}\)
\(\Rightarrow\) Take a lift
then \(T= \tilde \phi\text{.}\)
Proposition 2.4.13.
\Gamma a Fuchsian group acts freely
Proof.
Previous proposition, set \(\Gamma_1 = \Gamma_2\)
kernel is \(\Gamma\text{.}\)
Corollary 2.4.14.
Let \Sigma be a Riemann surface with g \ge 2 then
Proof.
since \(\phi_1,\phi_2\) are holomorphic then so is \(f\text{.}\) So \(\deg f= | N(\Gamma) /\Gamma|\) and \(\deg f \lt \infty\text{.}\)
Exercise 2.4.15.
\(\Sigma,\,g\ge 2\) then \(|\Aut(\Sigma)| \le 84(g-1)\text{.}\) Hint: cases.
Exercise 2.4.16.
Consider
compute genus of \(\HH/\Gamma(n)\text{.}\)