Arxiv:Math/0502585V1 [Math.GT] 28 Feb 2005 Fcmuaosin Commutators of Tutr Seeg 1) Utemr,Bigasbe F( of Subset a Being Furthermore, [1])
Total Page:16
File Type:pdf, Size:1020Kb
NON-INJECTIVE REPRESENTATIONS OF A CLOSED SURFACE GROUP INTO PSL(2, R) LOUIS FUNAR AND MAXIME WOLFF Abstract. Let e denote the Euler class on the space Hom(Γg,PSL(2, R)) of representations of the fundamental group Γg of the closed surface Σg. Goldman showed that the connected components of −1 Hom(Γg ,PSL(2, R)) are precisely the inverse images e (k), for 2 − 2g ≤ k ≤ 2g − 2, and that the components of Euler class 2 − 2g and 2g − 2 consist of the injective representations whose image is a discrete subgroup of P SL(2, R). We prove that non-faithful representations are dense in all the other components. We show that the image of a discrete representation essentially determines its Euler class. Moreover, we show that for every genus and possible corresponding Euler class, there exist discrete representations. 1. Introduction Let Σg be the closed oriented surface of genus g ≥ 2. Let Γg denote its fundamental group, and Rg the representation space Hom(Γg,PSL(2, R)). Elements of Rg are determined by the images of the 2g generators of Γg, subject to the single relation defining Γg. It follows that Rg has a real algebraic structure (see e.g. [1]). Furthermore, being a subset of (PSL(2, R))2g, it is naturally equipped with a Hausdorff topology. We can define an invariant e : Rg → Z, called the Euler class, as an obstruction class or as the index of circle bundles associated to representations in Rg (see [13, 5, 9]). In [9], which may be considered to be the starting point of the subject, Goldman showed that the −1 connected components of Rg are exactly the fibers e (k), for 2 − 2g ≤ k ≤ 2g − 2. He also proved that e−1(2g − 2) and e−1(2 − 2g) consist of those injective representations whose image is a discrete subgroup of PSL(2, R). Milnor and Wood had previously proved that the inequality |e(ρ)| ≤ 2g − 2 holds for all ρ ∈ Rg (see [13, 16]). Goldman [8] (see also [10]) showed that every connected component e−1(k) is a smooth manifold of dimension 6g − 3, except for the component e−1(0), whose singular points are the elementary representations. These connected components have been studied further. The group PSL(2, R) acts on Rg by conju- gation, and the quotient of e−1(2 − 2g) (respectively e−1(2g − 2)) under this action is the Teichm¨uller arXiv:math/0502585v1 [math.GT] 28 Feb 2005 space of Σg (respectively, the space of marked hyperbolic metrics with opposite orientation on Σg). Gallo, Kapovich, Marden and Tan [4, 15] showed that all the representations (in every connected component of Rg) satisfy a weaker metric condition. Indeed, every representation in Rg is the ho- 1 lonomy representation of a branched CP -structure on Σg, with at most one branched point in Σg. Moreover, Tan showed that for every even k such that |k|≤ 2g − 4, there is an explicit non-injective representation in e−1(k), which is not the holonomy representation of any branched hyperbolic struc- ture on Σg. However, this explicit representation can be deformed into representations which are holonomy representations of branched hyperbolic structures on Σg. It is still unknown whether the holonomy representations of branched hyperbolic structures on Σg form a dense subset of Rg. In this text we take a more elementary point of view. We often consider representations as products of commutators in PSL(2, R), and most of our results involve explicit representations. Our first result is the following: 1 2 LOUIS FUNAR AND MAXIME WOLFF Theorem 1.1. For all g ≥ 2 and all k such that |k| < 2g − 2, non-faithful representations form a dense subset of the connected component e−1(k). Recently Breuillard, Gelander, Souto and Storm [14], and independently DeBlois and Kent IV [2] proved that the set of faithful representations is also dense, as the intersection of a countable family of open and dense sets. Therefore theorem 1.1 shows that the set of non-faithful representations should be thought of as Q in R. We then show that the Euler class of a discrete representation is essentially determined by its image, as an abstract group. If Γ is a non-cocompact Fuchsian group, set e(Γ) = 0. Otherwise, if (g; k1,...,kr) is the signature of the Fuchsian group Γ (with all the ki’s finite), let d be the least common multiple of k1, ..., kr (put d =1 if r = 0) and set r 1 e(Γ) = d 2g − 2+ 1 − k i i ! X=1 We have the following result: Theorem 1.2. Let ρ be a representation (in any Rg′ ) whose image is contained in Γ. Then e(ρ) is a multiple of e(Γ). Moreover, every multiple of e(Γ) is the Euler class of some representation whose image is exactly Γ. In particular, there are no representations of non-zero Euler class taking values in PSL(2, Z). We deduce the following proposition: Proposition 1.1. Let k be a fixed non-zero integer. There are only finitely many Fuchsian groups Γ such that there exists a representation (of Γg, for some g ≥ 2) with image contained in Γ and with Euler class k. Moreover, we have: Proposition 1.2. Let g ≥ 2 and k ∈ Z be such that |k| ≤ 2g − 3, k 6= 0. The representations whose −1 image is discrete form a nowhere dense closed subset of e (k) in Rg. In other words, there are few discrete representations of non-zero Euler class. On the other hand, we have the following: Theorem 1.3. For every g ≥ 2 and every k such that |k|≤ 2g−2, there exists a discrete representation of Euler class k in Rg. Those representations are given explicitly in terms of signatures of Fuchsian groups. In particu- lar, using Magnus’ results from [12], these representations can be expressed using only matrices in 1 PSL(2, Z 2 ). Finally, we deduce a characterization of representations of odd Euler class, which enables us to describe all the subgroups of PSL(2, R) that are the image of some discrete representation of odd ′ Euler class (in some Rg). If Γ is a cocompact Fuchsian group with signature (g ; k1, k2,...,kr), let m(Γ) be the maximal power of 2 dividing one of the ki’s. If m(Γ) = 0, set n(Γ) = 0. Otherwise, let m(Γ) n(Γ) be the number of ki’s which are divisible by 2 . We have then the following characterization: Proposition 1.3. A Fuchsian group Γ ⊂ PSL(2, R) is the image of a representation (of Γg, for some g ≥ 2) if and only if Γ is a cocompact Fuchsian group such that n(Γ) is odd. Acknowledgements. The authors are grateful to R. Bacher, M. Eisermann, V. Fock, E. Ghys, C. MacLean, G. McShane and V. Sergiescu for inspiring discussions, comments and corrections. NON-INJECTIVE REPRESENTATIONS OF A CLOSED SURFACE GROUP INTO PSL(2, R) 3 2. The Lie group PSL(2, R) and Milnor’s algorithm 2.1. The Lie group PSL(2, R). We recall first some basic results on PSL(2, R) and we refer to [11] for a full treatment of this subject. The Lie group SL(2, R) is {M ∈ GL(2, R)| det M = 1} and PSL(2, R) is the quotient SL(2, R)/{±1} by its center. Topologically, SL(2, R) and PSL(2, R) are two three-dimensional solid tori, and the projection map SL(2, R) → PSL(2, R) is a 2-sheeted cover. We will denote elements of PSL(2, R) by matrices, as if they were in SL(2, R). a b az + b If M = ∈ PSL(2, R), the homography z 7→ is an isometry of the upper half-plane c d cz + d model of the hyperbolic plane H2. This isometry of H2 acts on its boundary S1 = R ∪ {∞}, still by homography. This defines an injection PSL(2, R) ֒→ Homeo+(S1), which we will think of as an inclusion. On PSL(2, R) only the absolute value of the trace is well-defined. If M ∈ SL(2, R), we denote Tr(M)= |tr(M)|. Elements of PSL(2, R) then fall into three types, Ell, P ar and Hyp, depending on their traces: • If Tr(M) ∈ [0, 2) then M fixes a point in H2 and acts as a rotation around it. The matrix cos θ − sin θ M is conjugate in PSL(2, R) to a matrix of the form . It follows that two sin θ cos θ such elements are conjugate if and only if they have the same trace (in absolute value). Such matrices are called elliptic. 2 • If Tr(M)=2and M 6= I2, then M fixes no point in H but fixes a unique point in its boundary. Its orbits in H2 are the horospheres defined by that fixed point. The matrix is conjugate, in 1 t PSL(2, R), to a matrix . Such elements are called parabolic. Elements of P ar fall 0 1 into two conjugacy classes (over PSL(2, R)), depending on the sign of t. ch u sh u • If Tr(M) ∈ (2, +∞) then M is conjugate in PSL(2, R) to for some u ∈ R, and sh u ch u two such elements are conjugate if and only if they have the same trace. The action of M on H2 fixes two points in the boundary of H2. Those elements are called hyperbolic.