THE DEFORMATION SPACES OF CONVEX RP2-STRUCTURES ON 2-ORBIFOLDS SUHYOUNG CHOI AND WILLIAM M. GOLDMAN Abstract. We determine that the deformation space of convex real projective struc- tures, that is, projectively flat torsion-free connections with the geodesic convexity property on a compact 2-orbifold of negative Euler characteristic is homeomorphic to a cell of certain dimension. The basic techniques are from Thurston’s lecture notes on hyperbolic 2-orbifolds, and the previous work of Goldman on convex real projective structures on surfaces. Introduction An orbifold is a structure on a topological space with neighborhoods modeled on quotient spaces of open subsets of Rn by finite group actions. A geometric structure modeled on (X,G), where X is a manifold and G is a Lie group acting on X, on an orbifold is given by such identifications where the open sets are assumed to be in X and the finite groups subgroups of G and the transition functions in G. An orbifold Y covers another orbifold Z if each point of Z has a neighborhood which is a quotient of a neighborhood of Y . In this paper, we consider only 1- or 2-dimensional orbifolds. They were classified by Thurston along with their hyperbolic, Euclidean, spherical structures, that is, de- termined their Teichm¨uller spaces. We consider only good orbifolds those that have orbifold-covering by surfaces. We also know that good geometric orbifolds are often finitely and regularly covered by compact surfaces by Selberg’s lemma: More precisely, if a discrete group Γ act on a surface S properly, then S/Γ carries a natural orbifold structure induced from charts of S, where S/Γ is said to be a quotient orbifold. An arXiv:math/0107193v2 [math.GT] 29 Jul 2003 orbifold in this paper normally is of such a form S/Γ for a finite group Γ; such an orbifold is said to be very good. Every good 2-orbifold is covered by a simply connected surface, that is, a disk or a sphere. The cover is said to be the universal cover and the group of automorphisms the deck transformation group. The universal cover is unique up to orbifold covering automorphisms (see [9] and Thurston [37].) Let X be the real projective plane RP2 and G the group PGL(3, R) of collineations, (projective automorphisms of RP2). An RP2-structure or real projective structure on Date: November 15, 2002. 1991 Mathematics Subject Classification. Primary 57M50; Secondary 53A20, 53C15. Key words and phrases. real projective structure, orbifold, moduli space, representation of groups. The first author gratefully acknowledges support from Korea Research Foundation Grant (KRF- 2002-070-C00010). The second author gratefully acknowledges partial support from National Science Foundation grant DMS-0103889. 1 a 2-orbifold Σ is an (RP2, PGL(3, R))-structure on Σ. Two RP2-structures on Σ are equivalent if a so-called isotopy of Σ induces one from the other. The deformation space RP2(Σ) of RP2-structures on Σ is the space of equivalence classes of RP2-structures with appropriate topology. An orbifold Σ is closed if it is compact and ∂Σ= . A closed 2-orbifold Σ with an RP2-structure is called∅ convex if it is projectively diffeomorphic to the quotient of a convex domain in an affine patch by a properly dis- continuous action of a group of collineations. (When ∂Σ = , boundaries are required to be principal geodesic (see 3).) In particular the hyperbolic6 ∅ RP2-structures arise as quotients of domains bounded§ by conics. They correspond naturally to ones with hyperbolic metrics via the Klein model of hyperbolic geometry. Let Σ be a compact 2-orbifold with χ(Σ) < 0. (Here, χ(Σ) is the orbifold Euler characteristic.) The subspace of the deformation space RP2(Σ) of RP2-structures on Σ corresponding to convex ones is denoted by (Σ) and the subspace corresponding to hyperbolic ones is denoted by (Σ), identifiedC as the Teichm¨uller space of Σ as defined by Thurston [37]. Then we seeT that (Σ) is a subspace of (Σ), and (Σ) is an open subset of RP2(Σ). T C C Recall that the orbifold Euler characteristic of orbifolds, a signed sum of the number of cells with weights given by 1 divided by the orders of groups associated to cells. Theorem A . Let Σ be a compact 2-orbifold with χ(Σ) < 0 and ∂Σ = . Then the deformation space (Σ) of convex RP2-structures on Σ is homeomorphic∅ to a cell of dimension C 8χ(X )+(6kc 2bc)+(3kr br) − Σ − − where XΣ is the underlying space of Σ, kc is the number of cone-points, kr the number of corner-reflectors, bc the number of cone-points of order two, and br the number of corner-reflectors of order two. The terms should be familiar to geometric topologists but they will be explained in 1. Loosely, a cone-point has a neighborhood which is an orbit space of a cyclic action on§ an open disk with a fixed point, with the order being the order of the group and a corner-reflector has a neighborhood which is an orbit space of a dihedral group acting on an open disk. The order is the half of the group order. Recall that in the earlier work in Chapter 5: “Orbifolds and Seifert fibered spaces” by W. Thurston [37] proved that the deformation space of hyperbolic structures on 2-orbifolds, that is, the Teichm¨uller space, is homeomorphic to a cell of dimension 3χ(X )+2k + l − Σ where k is the number of cone-points and l is the number of corner-reflectors. (We give a detailed proof of this, Theorem 6.9, while a sketchy proof is in some versions of his notes.) Kulkarni-Lee-Raymond [33] have worked out the Teichm¨uller spaces also. Their techniques are not used here but one can possibly try to apply their method to RP2-structures as well. The Teichm¨uller space of a 2-orbifold with negative Euler characteristic is a real analytic subspace of the deformation space of convex RP2-structures on the orbifold. 2 This can be seen by a Klein model of hyperbolic geometry; a hyperbolic structure naturally induces a canonical convex RP2-structure on the orbifold. We remark that the deformation spaces of convex RP2-structures on closed surfaces of negative Euler characteristic are very interesting spaces admitting complex structures, which were proved using M¨onge-Ampere equations by Labourie [29] and Loftin [30], and they might have K¨ahler structures as conjectured by one of us (Goldman) and even stronger structures as Labourie suggests. Loftin [30] has estimated the dimension of subspaces of fixed points of automorphism groups acting on the deformations spaces of convex RP2-surfaces using techniques from differential geometry and the Riemann-Roch theorem. We can compute the dimension using orbifold techniques based on the knowledge of the quotient orbifold. Assigning a geometric structure to an orbifold Σ is equivalent to giving its universal cover Σ˜ an immersion dev : Σ RP2 equivariant with respect to the homomorphism → h from the (orbifold) fundamental group π1(Σ) to PGL(3, R). The pair (dev, h) is called a development pair, dev a developing map, and h the associated holonomy ho- momorphism. The pair (dev, h) is only defined up to the action of g PGL(3, R) so that g(dev, h( ))=(g dev,g h( ) g−1). ∈ The map assigning· ◦ a geometric◦ · structure◦ to the conjugacy class of the associated holonomy homomorphism induces the following map, so-called holonomy map, : RP2(Σ) Hom(π (Σ), PGL(3, R))/PGL(3, R) H → 1 where PGL(3, R) acts on Hom(π1(Σ), PGL(3, R)) by conjugation. Let us denote by CT (Σ) the unique component of Hom(π1(Σ), PGL(3, R)) containing the holonomy homomorphisms of hyperbolic RP2-structures on Σ. Then CT (Σ) is also a component of the part st Hom(π1(Σ), PGL(3, R)) of Hom(π1(Σ), PGL(3, R)) where PGL(3, R) acts properly. CT /PGL(3, R) is said to be a Hitchin-Teichm¨uller component (see [22]). We prove: Theorem B . Let Σ be a closed 2-orbifold with negative Euler characteristic. Then : (Σ) CT (Σ)/PGL(3, R) H C → is a diffeomorphism, and CT (Σ) consists of discrete faithful representations of π1(Σ). Hence, by Theorem A, (Σ) is homeomorphic to a cell of dimension 8χ(X )+6kc C − Σ − 2kb +3lc lb where X is the underlying space of Σ, kc is the number of cone-points, lc − Σ the number of corner-reflectors, kb the number of cone-points of order two, and lb the number of corner-reflectors of order two. 3 Corollary A . The Hitchin-Teichm¨uller component CT (Σ)/PGL(3, R) is homeomor- phic to a cell of the dimension as above. This gives us a partial classification of discrete representations of fundamental groups using topological ideas: Benoist [1] characterized the group of projective transforma- tions acting on a convex domain for general dimensions. (We only consider the three- dimensional cases here.) An element of GL(3, R) is proximal if it has an attracting fixed point in RP2 for its standard action. An element is positive proximal if the eigen- value corresponding to the fixed point is positive. A subgroup Γ of GL(3, R) is positive proximal if all proximal elements of Γ are positive proximal. Proposition 1.1 of [1] shows that if Γ is an irreducible subgroup of GL(3, R), then Γ preserves a properly convex cone in R3 if and only if Γ is positive proximal.