Universal covers of punctured hyperbolic surfaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T17:21:52Z http://mathoverflow.net/feeds/question/61441 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/61441/universal-covers-of-punctured-hyperbolic-surfaces Universal covers of punctured hyperbolic surfaces alethea 2011-04-12T18:17:11Z 2011-04-28T03:29:18Z <p>Suppose S is a genus g surface with n punctures satisfying the hyperbolicity condition 2g + n - 2 > 0. If n > 0 the fundamental group of the surface is a free group on 2g + n - 1 := m generators. </p> <p>If we look the universal covers of different punctured surfaces with the same m (e.g., thrice-punctured sphere and once-punctured torus for m = 2) in, say the hyperbolic plane or the Poincare disc model, how do they differ? The "only" apparent difference is in the number of punctures which should give rise to a difference in the lifts of the punctures to the boundary of the disc. The fundamental groups are isomorphic, but they must act differently to produce quotient surfaces of different genera. How?</p> <p>How does the set of lifts of punctures on the boundary relate to the standard Farey set?</p> <p>Thanks a lot in advance!</p> http://mathoverflow.net/questions/61441/universal-covers-of-punctured-hyperbolic-surfaces/61463#61463 Answer by Sam Nead for Universal covers of punctured hyperbolic surfaces Sam Nead 2011-04-12T20:22:42Z 2011-04-12T20:22:42Z <p>For the thrice-punctured sphere, there is a generating set where both generators are parabolic. For the once-punctured only the commutator (and its conjugates) is parabolic. Hence any element that can be extended to give a generating is hyperbolic. </p> <p>Thinking in the upper half-plane model of $\mathbb H$, the Farey set is the rational points of the real line (plus the point at infinity). If $X$ is a punctured hyperbolic surface then the lifts of the ideal points of $X$ likewise form a dense set in the real line. If $X$ is a thrice-punctured sphere then, after possibly conjugating the deck group by an isometry of $\mathbb H$ the lifts of the punctures are the Farey set. However, for any other surface $X$ this only happens if the <em>modulus</em> of $X$ is carefully chosen.</p> http://mathoverflow.net/questions/61441/universal-covers-of-punctured-hyperbolic-surfaces/61501#61501 Answer by Igor Rivin for Universal covers of punctured hyperbolic surfaces Igor Rivin 2011-04-13T03:12:26Z 2011-04-13T03:12:26Z <p>I strongly recommend you look at:</p> <p>MR0795536 (86j:11069) Series, Caroline(F-IHES) The geometry of Markoff numbers. Math. Intelligencer 7 (1985), no. 3, 20–29. 11J06 (11J13 11J70) </p> http://mathoverflow.net/questions/61441/universal-covers-of-punctured-hyperbolic-surfaces/63128#63128 Answer by S. Carnahan for Universal covers of punctured hyperbolic surfaces S. Carnahan 2011-04-27T08:32:55Z 2011-04-28T03:29:18Z <p>The simplest case, where $g=0, n=3$ and $g = n = 1$ yield isomorphic groups (free of rank 2), can be written explicitly using a little $2 \times 2$ matrix calculation. We choose a fundamental domain in the upper half-plane made out of two vertical lines with real parts $-1$ and $1$, and two semicircles whose diameters are the real intervals $[-1,0]$ and $[0,1]$. Since the boundaries are geodesics, it suffices to find Möbius transformations that transform the endpoints appropriately.</p> <p>For $g=0, n=3$, we choose generators <code>$\begin{pmatrix}1&amp; 2 \\ 0 &amp; 1 \end{pmatrix}$</code> to glue the vertical lines together, and <code>$\begin{pmatrix}1&amp; 0 \\ 2 &amp; 1 \end{pmatrix}$</code> to glue the semi-circles. If you like modular curves, this quotient is called $Y(2)$, and classifies isomorphism classes of elliptic curves equipped with an ordered list of all 2-torsion points.</p> <p>For $g=1, n=1$, we choose <code>$\begin{pmatrix}1&amp; 1 \\ 1 &amp; 2 \end{pmatrix}$</code> to glue the left vertical line to the right semicircle, and <code>$\begin{pmatrix} 2 &amp; 1 \\ 1 &amp; 1 \end{pmatrix}$</code> to glue the left semicircle to the right vertical line. This quotient is a leaky torus.</p> <p>The above results form a special case of a general phenomenon (mentioned by Sam Nead), where the loops around punctures give unipotent (aka parabolic) generators of $\pi_1$, and handles give a pair of hyperbolic generators.</p> <p>I don't have a good answer concerning the set of lifts of the boundary points - it will always be a disjoint union of $n$ orbits under the transformation group, but it can vary widely, since the transformation group has a continuous family of representations in $PSL_2(\mathbb{R}$. </p>