ANNALS OF MATHEMATICS
Proper affine actions and geodesic flows of hyperbolic surfaces
By William M. Goldman, Franc¸ois Labourie, and Gregory Margulis
SECOND SERIES, VOL. 170, NO. 3 November, 2009
anmaah Annals of Mathematics, 170 (2009), 1051–1083
Proper affine actions and geodesic flows of hyperbolic surfaces
By WILLIAM M.GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS
Abstract
2 Let 0 O.2; 1/ be a Schottky group, and let † H =0 be the corresponding D hyperbolic surface. Let Ꮿ.†/ denote the space of unit length geodesic currents 1 on †. The cohomology group H .0; V/ parametrizes equivalence classes of affine deformations u of 0 acting on an irreducible representation V of O.2; 1/. We 1 define a continuous biaffine map ‰ Ꮿ.†/ H .0; V/ ޒ which is linear on 1 W ! the vector space H .0; V/. An affine deformation u acts properly if and only if ‰.; Œu/ 0 for all Ꮿ.†/. Consequently the set of proper affine actions ¤ 2 whose linear part is a Schottky group identifies with a bundle of open convex cones 1 in H .0; V/ over the Fricke-Teichmüller space of †.
Introduction 1. Hyperbolic geometry 2. Affine geometry 3. Flat bundles associated to affine deformations 4. Sections and subbundles 5. Proper -actions and proper ޒ-actions 6. Labourie’s diffusion of Margulis’s invariant 7. Nonproper deformations 8. Proper deformations References Goldman gratefully acknowledges partial support from National Science Foundation grants DMS- 0103889, DMS-0405605, DMS-070781, the Mathematical Sciences Research Institute and the Oswald Veblen Fund at the Insitute for Advanced Study, and a Semester Research Award from the General Research Board of the University of Maryland. Margulis gratefully acknowledges partial support from National Science Foundation grant DMS-0244406. Labourie thanks l’Institut Universitaire de France and ANR Repsurf: 06-BLAN-0311.
1051 1052 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS
Introduction
As is well known, every discrete group of Euclidean isometries of ޒn contains a free abelian subgroup of finite index. In[36], Milnor asked if every discrete subgroup of affine transformations of ޒn must contain a polycyclic subgroup of finite index. Furthermore he showed that this question is equivalent to whether a discrete subgroup of Aff.ޒn/ which acts properly must be amenable. By Tits[42], this is equivalent to the existence of a proper affine action of a nonabelian free group. Margulis subsequently showed[33],[34] that proper affine actions of nonabelian free groups do indeed exist. The present paper describes the deformation space of proper affine actions on ޒ3, for a large class of discrete groups, such as a bundle of convex cones over the Fricke-Teichmuller¨ deformation space of hyperbolic structures on a compact surface with geodesic boundary. If Aff.ޒn/ is a discrete subgroup which acts properly on ޒn, then a subgroup of finite index will act freely. In this case the quotient ޒn= is a complete affine manifold M with fundamental group 1.M / . When n 3, Fried- Š D Goldman[20] classified all the amenable such (including the case when M is compact). Furthermore the linear holonomy homomorphism
ތ 3 1.M / GL.ޒ / ! 3 embeds 1.M / onto a discrete subgroup 0 GL.ޒ /, which is conjugate to a subgroup of O.2; 1/0 (Fried-Goldman[20]). Mess[35] proved the hyperbolic surface 0 † 0 O.2; 1/ =SO.2/ D n is noncompact. Goldman-Margulis[23] and Labourie[31] gave alternate proofs of Mess’s theorem, using ideas which evolved to the present work. Thus the classification of proper 3-dimensional affine actions reduces to affine 0 deformations of free discrete subgroups 0 O.2; 1/ . An affine deformation of 0 is a group of affine transformations whose linear part equals 0, that is, a subgroup Isom0.ޅ2;1/ such that the restriction of ތ to is an isomorphism 0. ! 0 Equivalence classes of affine deformations of 0 O.2; 1/ are parametrized 1 by the cohomology group H .0; V/, where V is the linear holonomy representation. 1 Given a cocycle u Z .0; V/, we denote the corresponding affine deformation by 2 u. Drumm[13],[15],[16],[12] showed that Mess’s necessary condition of non- compactness is sufficient: every noncocompact discrete subgroup of O.2; 1/0 admits 1 proper affine deformations. In particular he found an open subset of H .0; V/ parametrizing proper affine deformations[18]. This paper gives a criterion for the properness of an affine deformation u in 1 terms of the parameter Œu H .0; V/. 2 PROPERAFFINEACTIONS 1053
With no extra work, we take V to be a representation of 0 obtained by compo- sition of the discrete embedding 0 SL.2; ޒ/ with any irreducible representation of SL.2; ޒ/. Such an action is called Fuchsian in Labourie[31]. Proper actions with irreducible linear parts occur only when V has dimension 4k 3 (see Abels[1], C Abels-Margulis-Soifer[2],[3] and Labourie[31]). In those dimensions, Abels- Margulis-Soifer[2],[3] constructed proper affine deformations of Fuchsian actions of free groups.
THEOREM. Suppose that 0 contains no parabolic elements. Then the equiv- alence classes of proper affine deformations of form an open convex cone in 1 H .0; V/. The main tool in this paper is a generalization of the invariant constructed by Margulis[33],[34] and extended to higher dimensions by Labourie[31]. Margulis’s ˛u invariant ˛u is a class function 0 ޒ associated to an affine deformation u. It ! satisfies the following properties: ˛ . n/ n ˛ . /; Œu D j j Œu ˛ . / 0 fixes a point in ޖ; Œu D ” The function ˛ depends linearly on Œu; Œu The map 1 H .0; V/ ޒ 0 Œu ! ˛ 7 ! Œu is injective ([19]). Suppose dim V 3. If acts properly, then ˛ . / is the Lorentzian D Œu j Œu j length of the unique closed geodesic in E=Œu corresponding to .
The significance of the sign of ˛Œu is the following result, due to Margulis[33], [34]:
OPPOSITE SIGN LEMMA. Suppose acts properly. Either ˛Œu. / > 0 for all 0 or ˛ . / < 0 for all 0. 2 Œu 2 This paper provides a more conceptual proof of the Opposite Sign Lemma by extending a normalized version of Margulis’s invariant ˛ to a continuous function ‰u on a connected space Ꮿ.†/ of probability measures. If
˛Œu. 1/ < 0 < ˛Œu. 2/; then an element Ꮿ.†/ “between” 1 and 2 exists, satisfying ‰u./ 0. 2 D 2 Associated to the linear group 0 is a complete hyperbolic surface † 0 H . D n Modifying slightly the terminology of Bonahon[6], we call a geodesic current a Borel probability measure on the unit tangent bundle invariant under the geodesic flow . We modify ˛Œu by dividing it by the length of the corresponding closed 1054 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS geodesic in the hyperbolic surface. This modification extends to a continuous function ‰Œu on the compact space Ꮿ.†/ of geodesic currents on †. Here is a brief description of the construction, which first appeared in Labourie [31]. For brevity we only describe this for the case dim V 3. Corresponding to D the affine deformation Œu is a flat affine bundle ޅ over U†, whose associated flat vector bundle has a parallel Lorentzian structure ނ. Let ' be the vector field on U† generating the geodesic flow. For a sufficiently smooth section s of ޅ, the covariant derivative '.s/ is a section of the flat vector bundle ޖ associated to ޅ. r Let denote the section of ޖ which associates to a point x U† the unit-spacelike 2 vector corresponding to the geodesic associated to x. Let Ꮿ.†/ be a geodesic 2 current. Then ‰Œu./ is defined by: Z ނ '.s/; d: U† r
Nontrivial elements 0 correspond to periodic orbits c for '. The period 2 of c equals the length `. / of the corresponding closed geodesic in †. Denote the subset of Ꮿ.†/ consisting of measures supported on periodic orbits by Ꮿper.†/. n Denote by the geodesic current corresponding to c . Because ˛. / n ˛. / n D j j and `. / n `. /, the ratio ˛. /=`. / depends only on . D j j THEOREM. Let u denote an affine deformation of 0. The function Ꮿper.†/ ޒ ! ˛. / 7 ! `. / extends to a continuous function
‰Œu Ꮿ.†/ ޒ: ! u acts properly if and only if ‰ ./ 0 for all Ꮿ.†/. Œu ¤ 2 Since Ꮿ.†/ is connected, either ‰ ./ > 0 for all Ꮿ.†/ or ‰ ./ < 0 Œu 2 Œu for all Ꮿ.†/. Compactness of Ꮿ.†/ implies that Margulis’s invariant grows at 2 most linearly with the length of : 1 COROLLARY. For any u Z .0; V/, there exists C > 0 such that 2 ˛ . / C `. / j Œu j Ä for all u. 2 Margulis[33],[34] originally used the invariant ˛ to detect properness: if acts properly, then all the ˛. / are all positive, or all of them are negative. (Since conjugation by a homothety scales the invariant:
˛ ˛u u D PROPERAFFINEACTIONS 1055 uniform positivity and uniform negativity are equivalent.) Goldman[22],[23] con- jectured that this necessary condition is sufficient: that is, properness is equivalent to the positivity (or negativity) of Margulis’s invariant. This has been proved when † is a three-holed sphere; see Jones[26] and Charette-Drumm-Goldman[11]. In this case the cone corresponding to proper actions is defined by the inequalities corresponding to the three boundary components 1; 2; 3 @†: ˚ 1 « Œu H .0; V/ ˛ . i / > 0 for i 1; 2; 3 2 j Œu D [ ˚ 1 « Œu H .0; V/ ˛ . i / < 0 for i 1; 2; 3 : 2 j Œu D However, when † is a one-holed torus, Charette[9] showed that the positivity of ˛Œu requires infinitely many inequalities, suggesting the original conjecture is generally false. Recently Goldman-Margulis-Minsky[24] have disproved the original conjecture, using ideas inspired by Thurston’s unpublished manuscript[41]. This paper is organized as follows. Section 1 collects facts about convex cocompact hyperbolic surfaces and the recurrent part of the geodesic flow. Section 2 reviews constructions in affine geometry such as affine deformations, and defines the Margulis invariant. Section 3 defines the flat affine bundles associated to an affine deformation. Section 4 introduces the horizontal lift of the geodesic flow to the flat affine bundle whose dynamics reflects the dynamics of the affine deformation of the Fuchsian group 0. Section 5 extends the normalized Margulis invariant to the function ‰Œu on geodesic currents (first treated by Labourie[31]). Section 6 shows that for every nonproper affine deformation Œu there is a geodesic current Ꮿ.†/ for which ‰ ./ 0. Section 7 shows that, conversely, for every proper 2 Œu D affine deformation Œu, ‰ ./ 0 for every Ꮿ.†/. The Opposite Sign Lemma Œu ¤ 2 follows as a corollary.
Notation and terminology. Denote the tangent bundle of a smooth manifold M by TM . For a given Riemannian metric on M , the unit tangent bundle UM consists of unit vectors in TM . For any subset S M , denote the induced bundle over S by US. Denote the (real) hyperbolic plane by H2 and its boundary by @H2 S 1 . D 1 For distinct a; b S 1 , denote the geodesic having a; b as ideal endpoints by ab!. 2 Let ޖ be a vector1 bundle over a manifold M . Denote by 0.ޖ/ the vector space of sections of ޖ. Let be a connection on ޖ. If s 0.ޖ/ is a section and r 2 is a vector field on M , then .s/ 0.ޖ/ r 2 denotes the covariant derivative of s with respect to . If f is a function, then f denotes the directional derivative of f with respect to . An affine bundle ޅ over M is a fiber bundle over M whose fiber is an affine space E with structure group the group Aff.E/ of affine automorphisms of E. The 1056 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS vector bundle ޖ associated to ޅ is the vector bundle whose fiber ޖx over x M is 2 the vector space associated to the fiber ޅx. That is, ޖx is the vector space consisting of all translations ޅx ޅx. ! Denote the space of continuous sections of a bundle ޅ by .ޅ/. If ޖ is a vector bundle, then .ޖ/ is a vector space. If ޅ is an affine bundle with underlying vector bundle ޖ, then .ޅ/ is an affine space with underlying vector space .ޖ/. If s1; s2 .ޅ/ are two sections of ޅ, the difference s1 s2 is the section of ޖ whose 2 value at x M is the translation s1.x/ s2.x/ of ޅx. 2 Denote the convex set of Borel probability measures on a topological space X by ᏼ.X/. Denote the cohomology class of a cocycle z by Œz.A flow is an action of the additive group ޒ of real numbers. The transformations in the flow defined by a vector field are denoted t , for t ޒ. 2
1. Hyperbolic geometry
Let ޒ2;1 be the 3-dimensional real vector space with inner product
B.v; w/ v1w1 v2w2 v3w3 WD C 0 and G0 O.2; 1/ the identity component of its group of isometries. G0 consists D of linear isometries of ޒ2;1 which preserve both an orientation of ޒ2;1 and a time-orientation (or future) of ޒ2;1, that is, a connected component of the open light-cone
v ޒ2;1 B.v; v/ < 0 : f 2 j g Then
0 0 2 G0 O.2; 1/ PSL.2; ޒ/ Isom .H / D Š Š where H2 denotes the real hyperbolic plane.
1.1. The hyperboloid model. We define H2 as follows. We work in the irre- 2;1 ducible representation ޒ (isomorphic to the adjoint representation of G0). Let B denote the invariant bilinear form (isomorphic to a multiple of the Killing form). The two-sheeted hyperboloid
v ޒ2;1 B.v; v/ 1 f 2 j D g has two connected components. If p0 lies in this hyperboloid, then its connected component equals
2;1 (1.1) v ޒ B.v; v/ 1; B.v; p0/ < 0 : f 2 j D g PROPERAFFINEACTIONS 1057
For clarity, we fix a timelike vector p0, for example,
203 2;1 p0 405 ޒ ; D 2 1 and define H2 as the connected component (1.1). The Lorentzian metric defined by B restricts to a Riemannian metric of constant 2 0 0 2;1 curvature 1 on H . The identity component G0 of O.2; 1/ is the group Isom .ޅ / 2 of orientation-preserving isometries of H . The stabilizer of p0,
K0 PO.2/; WD is the maximal compact subgroup of G0. Evaluation at p0
2;1 G0=K0 ޒ ! gK0 gp0 7 ! 2 identifies H with the homogeneous space G0=K0. The action of G0 canonically lifts to a simply transitive (left-) action on the unit tangent bundle U H2. The unit spacelike vector
203 2;1 (1.2) p0 415 ޒ P WD 2 0
2 defines a unit tangent vector to H at p0, which we denote:
2 .p0; p0/ U H : P 2
Evaluation at .p0; p0/ P Ᏹ 2 (1.3) G0 U H ! g0 g0.p0; p0/ 7 ! P 2 G0-equivariantly identifies G0 with the unit tangent bundle U H . Here G0 acts on itself by left-multiplication. The corresponding action on U H2 is the action induced 2 2 by isometries of H . Under this identification, K0 corresponds to the fiber of U H above p0.
1.2. The geodesic flow. The Cartan subgroup
A0 PO.1; 1/: WD 1058 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS is the one-parameter subgroup comprising 21 0 0 3 a.t/ 40 cosh.t/ sinh.t/5 D 0 sinh.t/ cosh.t/ for t ޒ. Under this identification, 2 2 a.t/p0 H 2 describes the geodesic through p0 tangent to p0. P Right-multiplication by a. t/ on G0 identifies with the geodesic flow 't on 2 2 2 z U H . First note that 't on U H commutes with the action of G0 on U H , which z corresponds to the action on G0 on itself by left-multiplications. The ޒ-action on G0 corresponding to 't commutes with left-multiplications on G0. Thus this ޒ-action z on G0 must be right-multiplication by a one-parameter subgroup. At the basepoint .p0; p0/, the geodesic flow corresponds to right-multiplication by A0. Hence this P one-parameter subgroup must be A0. Therefore right-multiplication by A0 on G0 2 induces the geodesic flow 't on U H . z Denote the vector field corresponding to the geodesic flow by ': z ˇ d ˇ '.x/ ˇ 't .x/: z WD dt ˇt 0 z D 1.3. The convex core. Since 0 is a Schottky group, the complete hyperbolic surface is convex cocompact. That is, there exists a compact geodesically convex subsurface core.†/ such that the inclusion
core.†/ † is a homotopy equivalence. Here core.†/ is called the convex core of †, and is bounded by closed geodesics @i .†/ for i 1; : : : ; k. Equivalently the discrete D subgroup 0 is finitely generated and contains only hyperbolic elements. Another criterion for convex cocompactness involves the ends ei .†/ of †. Each component ei .†/ of the closure of † core.†/ is diffeomorphic to a product n
ei .†/ @i .†/ Œ0; /: ! 1 The corresponding end of U† is diffeomorphic to the product
1 ei .U †/ @i .†/ S Œ0; /: ! 1 The corresponding Cartesian projections
ei .†/ @i .†/ ! PROPERAFFINEACTIONS 1059 and the identity map on core.†/ extend to a deformation retraction
…core.†/ (1.4) † core.†/: ! We use the following standard compactness results (see Kapovich[27, 4.17, pp. 98–102], Canary-Epstein-Green[8], or Marden[32] for discussion and proof): 2 LEMMA 1.1. Let † H =0 be the hyperbolic surface where 0 is convex D cocompact and let R 0. Then (1.5) R y † d.y; core.†// R WD f 2 j Ä g is a compact geodesically convex subsurface, upon which the restriction of …core.†/ is a homotopy equivalence.
1.4. The recurrent subset. Let Urec† U† denote the union of all recurrent orbits of '.
LEMMA 1.2. Let † be as above, U† its unit tangent bundle and 't the geodesic flow on U†. Then:
Urec† U† is a compact '-invariant subset. Every '-invariant Borel probability measure on U† is supported in Urec† U†. The space of '-invariant Borel probability measures on U† is a convex com- pact space Ꮿ.†/ with respect to the weak ?-topology.
Proof. Clearly Urec† is invariant. The subbundle U core.†/ comprising unit vectors over points in core.†/ is compact. Any geodesic which exits core.†/ into an end ei .†/ remains in the same end ei .†/. Therefore every recurrent geodesic ray eventually lies in core.†/. On the unit tangent bundle U H2, every '-orbit tends to a unique ideal point on S 1 @H2; let 1 D U H2 S 1 ! 1 denote the corresponding map. Then the '-orbit of x U H2 defines a geodesic Q 2 which is recurrent in the forward direction if and only if .x/ ƒ, where ƒ S 1 Q 2 1 is the limit set of 0. (See, for example, 1.4 of[4].) The geodesic is recurrent in the backward direction if . x/ ƒ. Then every recurrent orbit of the geodesic Q 2 flow lies in the compact set consisting of vectors x U core.†/ with 2 .x/; . x/ ƒ: Q Q 2 Thus Urec† is compact. By the Poincare´ recurrence theorem[25], every '-invariant probability measure on U† is supported in Urec†. Since Urec† is compact, the space of Borel probability 1060 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS measures ᏼ.Urec†/ on Urec† is a compact convex set with respect to the weak topology. The closed subset of '-invariant probability measures on Urec† is also a compact convex set. Since every '-invariant probability measure on U† is supported on Urec†, the assertion follows.
The following well known fact will be needed later.
LEMMA 1.3. Urec† is connected.
1 Proof. Let ƒ S be the limit set as above. For every ƒ, the orbit 0 2 is dense in ƒ. (See for1 example Marden[32, Lemma 2.4.1].) Denote
ƒ .1; 2/ ƒ ƒ 1 2 : WD f 2 j ¤ g 2 … The preimage Urec† of Urec† U† under the covering space U H U† is the ! union [ Urec† 1 !2: D .1;2/ ƒ 2 Choose a hyperbolic element 0 and let ƒ denote its fixed points. The A 2 ˙ 2 image c … ! A WD C is the unique closed geodesic in Urec† corresponding to . We claim that the image U under … of the subset C [ ! Urec† ƒ 2 is connected. Suppose that W1;W2 U† are disjoint open subsets such that U W1 W2. Since c is connected, either W1 or W2 contains c ; suppose that C [ W1 c . We claim that U W1. Otherwise ! meets W2 for some ƒ. C 2 Connectedness of ! implies ! W2. Now lim n ; n D C !1 which implies
lim n ! lim !. n/ ! : n D n D C !1 !1 1 Thus for n >> 1, the geodesic ! lies in … .W1/, a contradiction. Thus U W1, implying that U is connected. Density of 0 in ƒ implies C C U is dense in Urec†. Therefore Urec† is connected. C PROPERAFFINEACTIONS 1061
2. Affine geometry
This section collects general properties on affine spaces, affine transformations, and affine deformations of linear group actions. We are primarily interested in affine deformations of linear actions factoring through the irreducible 2r 1-dimensional C real representation Vr of
G0 PSL.2; ޒ/; Š where r is a positive integer.
2.1. Affine spaces and their automorphisms. Let V be a real vector space. Denote its group of linear automorphisms by GL.V/. An affine space E (modeled on V) is a space equipped with a simply transitive action of V. Call V the vector space underlying E, and refer to its elements as translations. Translation v by a vector v V is denoted by addition: 2 E v E ! x x v: 7 ! C Let x; y E. Denote the unique vector v V such that v.x/ y by subtraction: 2 2 D v y x: D Let E be an affine space with associated vector space V. Choice of an arbitrary point O E (the origin) identifies E with V via the map 2 V E ! v O v: 7 ! C An affine automorphism of E is the composition of a linear mapping (using the above identification of E with V) and a translation; that is, g E E ! O v O ތ.g/.v/ u.g/ C 7 ! C C which we write simply as
v ތ.g/.v/ u.g/: 7 ! C The affine automorphisms of E form a group Aff.E/, and .ތ; u/ defines an iso- morphism of Aff.E/ with the semidirect product GL.V/ Ë V. The linear mapping ތ.g/ GL.V/ is the linear part of the affine transformation g, and 2 ތ Aff.E/ GL.V/ ! 1062 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS is a homomorphism. The vector u.g/ V is the translational part of g. The 2 mapping u Aff.E/ V ! satisfies a cocycle identity:
(2.1) u. 1 2/ u. 1/ ތ. 1/u. 2/ D C for 1; 2 Aff.E/. 2
2.2. Affine deformations of linear actions. Let 0 GL.V/ be a group of linear automorphisms of a vector space V. Denote the corresponding 0-module by V as well. An affine deformation of 0 is a representation 0 Aff.E/ ! such that ތ is the inclusion 0 , GL.V/. We confuse with its image .0/, ı ! WD to which we also refer as an affine deformation of 0. Note that embeds 0 as the subgroup of GL.V/. In terms of the semidirect product decomposition Aff.E/ V Ì GL.V/ Š an affine deformation is the graph u (with image denoted u) of a cocycle D D u 0 V ! I that is, a map satisfying the cocycle identity (2.1). Write
. 0/ .u. 0/; 0/ V Ì 0 D D 2 for the corresponding affine transformation:
x 0x u. 0/: 7 ! C 1 1 Cocycles form a vector space Z .0; V/. Cocycles u1; u2 Z .0; V/ are 2 cohomologous if their difference u1 u2 is a coboundary, a cocycle of the form ıv0 0 V ! v0 v0 7 ! 1 where v0 V. Cohomology classes of cocycles form a vector space H .0; V/. 2 Affine deformations u1 ; u2 are conjugate by translation by v0 if and only if
u1 u2 ıv0: D 1 Thus H .0; V/ parametrizes translational conjugacy classes of affine deformations of 0 GL.V/. PROPERAFFINEACTIONS 1063
An important affine deformation of 0 is the trivial affine deformation: When u 0, the affine deformation u equals 0 itself. D
2.3. Margulis’s invariant of affine deformations. Consider the case that G0 D PSL.2; ޒ/ and ތ is an irreducible representation of G0. For every positive integer r, let ތr denote the irreducible representation of G0 on the 2r-symmetric power Vr of 2 the standard representation of SL.2; ޒ/ on ޒ . The dimension of Vr equals 2r 1. C The central element މ SL.2; ޒ/ acts by . 1/2r 1, so this representation of 2 D SL.2; ޒ// defines a representation of
PSL.2; ޒ/ SL.2; ޒ/= މ : D f˙ g 2;1 The representation ޒ introduced in Section 1 is V1, the case when r 1. Further- D 2 more the G0-invariant nondegenerate skew-symmetric bilinear form on ޒ induces a nondegenerate symmetric bilinear form B on Vr , which we normalize in the following paragraph. An element G0 is hyperbolic if it corresponds to an element of SL.2; ޒ/ 2 Q 1 with distinct real eigenvalues. Necessarily these eigenvalues are reciprocals ; , which we can uniquely specify by requiring < 1. Furthermore we choose j j eigenvectors v ; v ޒ2 such that: C 2 .v / v ; Q C D C 1 .v / v ; Q D The ordered basis v ; v is positively oriented. f Cg 2j Then the action ތr has eigenvalues , for
j r; 1 r; 1; 0; 1; : : : ; r 1; r; D where the symmetric product
r j r j v v C Vr C 2 is an eigenvector with eigenvalue 2j . In particular fixes the vector
x0. / cvr vr ; WD C where the scalar c is chosen so that
B.x0. /; x0. // 1: D Call x0. / the neutral vector of . 1064 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS
The subspaces r X r j r j V . / ޒ v v ; WD C j 1 C D r X r j r j V . / ޒ v v C C WD j 1 C D are -invariant and V enjoys a -invariant B-orthogonal direct sum decomposition V V . / ޒ x0. / V . /: D ˚ ˚ C For any norm on V, there exists C; k > 0 such that k k (2.2) n.v/ Ce kn v for v V . / k k Ä k k 2 C n.v/ Ce kn v for v V . /: k k Ä k k 2 Furthermore, x0. n/ n x0. / D j j if n ޚ; n 0, and 2 ¤ ( n V˙. / if n > 0 V˙. / D V. / if n < 0.
For example, consider the hyperbolic one-parameter subgroup A0 comprising a.t/ where ( v et=2v a.t/ C C 7 ! t=2 W v e v : 7 ! In that case the action on V1 corresponds to the one-parameter group of isometries of ޒ2;1 defined by 2cosh.t/ 0 sinh.t/3 (2.3) a.t/ 4 0 1 0 5 WD sinh.t/ 0 cosh.t/ with neutral vector 203 0 (2.4) x a.t/ 415 D 0 when t 0. ¤ Next suppose that g Aff.E/ is an affine transformation whose linear part 2 ތ. / is hyperbolic. Then there exists a unique affine line lg E which is D 0 g-invariant. The line lg is parallel to the neutral vector x . /. The restriction of g PROPERAFFINEACTIONS 1065 to lg is a translation by the vector B gx x ; x0. / x0. / where x0. / is chosen so that B.x0. /; x0. // 1. D Suppose that 0 G0 is a Schottky group, that is, a nonabelian discrete subgroup containing only hyperbolic elements. Such a discrete subgroup is a free group of rank at least two. The adjoint representation of G0 defines an isomorphism 0 of G0 with the identity component O.2; 1/ of the orthogonal group of the 3- dimensional Lorentzian vector space ޒ2;1. 1 Let u Z .0; V/ be a cocycle defining an affine deformation u of 0. In 2 [33],[34], Margulis constructed the invariant
˛u 0 ޒ ! B.u. /; x0. //: 7 ! This well-defined class function on 0 satisfies n ˛u. / n ˛u. / D j j 1 and depends only the cohomology class Œu H .0; V/. Furthermore ˛u. / 2 D 0 if and only if u. / fixes a point in E. Two affine deformations of a given 0 are conjugate if and only if they have the same Margulis invariant (Drumm- Goldman[19]). An affine deformation u of 0 is radiant if it satisfies any of the following equivalent conditions: fixes a point; u u is conjugate to 0; 1 The cohomology class Œu H .0; V/ is zero; 2 The Margulis invariant ˛ is identically zero. u (For further discussion see[9],[10],[18],[22],[21],[23],[28],[31].) 3 The centralizer of 0 in the general linear group GL.ޒ / consists of homotheties
h v v 7 ! where 0. The homothety h conjugates an affine deformation .0;u/ to .0;u/. ¤ Thus conjugacy classes of nonradiant affine deformations are parametrized by the 1 projective space ސ H .0; V/ . Our main result is that conjugacy classes of proper 1 actions comprise a convex domain in ސ H .0; V/ .
3. Flat bundles associated to affine deformations
We define two fiber bundles over U†. The first bundle ޖ is a vector bundle associated to the original group 0. The second bundle ޅ is an affine bundle 1066 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS associated to the affine deformation . The vector bundle underlying ޅ is ޖ. The vector bundle ޖ has a flat linear connection and the affine bundle ޅ has a flat affine connection, each denoted . (For the theory of connections on affine bundles, r see Kobayashi-Nomizu[29].) We define a vector field ˆ on ޅ which is uniquely determined by the following properties: ˆ is -horizontal; r ˆ covers the vector field ' defining the geodesic flow on U†. We derive a direct alternate description of the corresponding flow ˆt in terms of the Lie group G0 and its semidirect product V Ì G0.
3.1. Semidirect products and homogeneous affine bundles. Consider a Lie group G0, a vector space V, and a linear representation ތ G0 GL.V/: ! Let G be the corresponding semidirect product VÌG0. Multiplication in G is defined by
(3.1) .v1; g1/ .v2; g2/ .v1 g1v2; g1g2/: WD C Projection … G G0 ! .v; g/ g 7 ! defines a trivial bundle with fiber V over G0. It is equivariant with respect to the action of G on the total space by left-multiplication and the action of G on the base obtained from left-multiplication on G0 and the homomorphism ތ. Since ތ is a homomorphism, (3.1) implies equivariance of …. 2;1 When r 1, that is, V ޒ , then G is the tangent bundle T G0, with its D D natural Lie group structure. Compare Goldman-Margulis[23] and[22]. … Since the fiber of … equals the vector space V, the fibration G G0 has ! the structure of a (trivial) affine bundle over G0. Furthermore this structure is G-invariant: (3.1) implies that the action of 1 .v1; g1/ on the total space covers D the action of g1 on the base. On the fibers the action is affine with linear part g1 ތ. 1/ and translational part v1 u. 1/. D D Denote the total space of this G-homogeneous affine bundle over G by ޅ. 0 z Consider … also as a (trivial) vector bundle. By (3.1), this structure is G0- invariant. Via ތ, this G0-homogeneous vector bundle becomes a G-homogeneous vector bundle ޖ G0. z ! This G-homogeneous vector bundle underlies ޅ: Let .v v2; 1/ be the trans- z 20 lation taking .v2; g2/ to .v ; g2/. Then (3.1) implies that 1 .v1; g1/ acts on 20 D PROPERAFFINEACTIONS 1067
.v v2; g2/ by ތ: 20 .v1 g1.v // .v1 g1.v2//; g1g2 ތ.g1/.v v2/; g1g2 : C 20 C D 20 Of course both ޅ and ޖ identify with G, but each has different actions of the z z discrete group 0, imparting the different structures of a flat affine bundle and Š a flat vector bundle to the respective quotients. In our examples, ތ preserves a a bilinear form B on V. The G0-invariant B ނ bilinear form V V ޒ defines a bilinear pairing ޖ ޖ ޒ of vector bundles. ! z z ! 3.2. Homogeneous connections. The G-homogeneous affine bundle ޅ and the z G-homogeneous vector bundle ޖ admit flat connections (each denoted ) as follows. z rQ To specify , it suffices to define the covariant derivative of a section s over a rQ Q smooth path g.t/ in the base. For either ޅ G or ޖ G, a section is determined z D z D by a smooth path v.t/ V: 2 s ޒ Q V Ì G0 G ! D t .v.t/; g.t//: 7 ! Define D d s.t/ v.t/ V: dt Q WD dt 2
Now if s is a section of ޅ or ޖ, and X is a tangent vector field, define Q z z D X .s/ s.g.t// rz Q D dt Q where g.t/ is any smooth path with g .t/ X g.t/: The resulting covariant 0 D differentiation operators define connections on ޖ and ޅ which are invariant under the respective G-actions.
3.3. Flatness. For each v V, 2
sv G0 Q V Ì G0 G ! D g .v; g/ 7 ! defines a section whose image is the coset v G0 G. Clearly these sections are f g parallel with respect to . Since the sections sv foliate G, the connections are flat. rz Q If ތ./ preserves a bilinear form B on V, the bilinear pairing ނ on ޖ is parallel z with respect to . rz 1068 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS
4. Sections and subbundles
Now we describe the sections and subbundles of the homogeneous bundles over G0 PSL.2; ޒ/ associated to the irreducible .2r 1/-dimensional representation Š C Vr .
4.1. The flow on the affine bundle. Right-multiplication by a. t/ on G defines a flow ˆt on ޅ. Since A0 G0, this flow covers the flow 't on G0 defined by z z right-multiplication by a. t/ on G0, where a. t/ is defined by (2.3). That is, the diagram
ˆt ޅ z ޅ z z ? ! ? …? ?… Q y y Q U H2 U H2 !'t z commutes. The vector field ˆ on ޅ generating ˆt covers the vector field ' generat- z z z z ing 't . z Furthermore, sv ga. t/ v; ga. t/ .v; g/ 0; a. t/ sv.g/a. t/ Q D D DQ implies sv 't ˆt sv; Q ı z D z ı Q whence ˆ is the -horizontal lift of '. z rz z The flow ˆ commutes with the action of G. Thus ˆ is a flow on the flat z t z t G-homogeneous affine bundle ޅ covering ' . z t Right-multiplication by a.t/ on G also defines a flow on the flat G-homogeneous vector bundle ޖ covering 't . Identifying ޖ as the vector bundle underlying ޅ, we z z z z see that the ޒ-action is just the linearization Dˆ of the action ˆ : z t z t
Dˆt ޖ z ޖ z z ? ! ? ? ? y y U H2 U H2 : !'t z 4.2. The neutral section. The G-action and the flow Dˆ on ޖ preserve a z t z section ޖ defined as follows. The one-parameter subgroup A0 fixes the neutral Q 2 z vector v0 V defined in (2.4). Let denote the section of ޖ defined by: 2 Q z 2 U H G0 Q V Ì G0 ޖ ! z g .gv0; g/: 7 ! PROPERAFFINEACTIONS 1069
In terms of the group operation on G, this section is given by right-multiplication by v0 V G acting on g G0 G. Since ތ is a homomorphism, 2 2 .hg/ h.g/; Q D Q so that defines a G-invariant section of ޖ. Q z Although is not parallel in every direction, it is parallel along the flow 't : Q z LEMMA 4.1. './ 0. rz z Q D
Proof. Let g G0. Then 2 D ˇ D ˇ ./.g/ ˇ .' .g// ˇ ga. t/v 0 z' ˇ t ˇ 0 rz Q D dt ˇt 0 Q z D dt ˇt 0 D D D since a. t/v0 v0 is constant. D The section is the diffuse analogue of the neutral eigenvector x0. / of a Q hyperbolic element O.2; 1/0 discussed in subsection 2.3. Another approach to 2 the flat connection and the neutral section is given in Labourie[31]. r 4.3. Stable and unstable subbundles. Let V0 V denote the line of vectors fixed by A0, that is, the line spanned by v0. The eigenvalues of a.t/ acting on V are the 2r 1 distinct positive real numbers C rt .r 1/t .1 r/t rt e ; e ; : : : ; 1; : : : ; e ; e and the eigenspace decomposition of V is invariant under a.t/. Let VC denote the sum of eigenspaces for eigenvalues > 1 and V denote the sum of eigenspaces for eigenvalues < 1. The corresponding decomposition (4.1) V V V0 V D ˚ ˚ C is a.t/-invariant and defines a (left)G-invariant decomposition of the vector bundle ޖ into subspaces which are invariant under Dˆ . z z t 4.4. Bundles over U†. Let G be an affine deformation of a discrete subgroup 0 G0. Since is a discrete subgroup of G, the quotient ޅ ޅ= is 2 WD z an affine bundle over U† U H =0 and inherits a flat connection from the D r flat connection on ޅ. Furthermore the flow ˆt on ޅ descends to a flow ˆt on ޅ rz z z z which is the horizontal lift of the flow 't on U†. The vector bundle ޖ underlying ޅ is the quotient
ޖ ޖ= ޖ=0 WD z D z and inherits a flat linear connection from the flat linear connection on ޖ. The r rz z flow Dˆt on ޖ covering 't , the neutral section , and the stable-unstable splitting z z z Q 1070 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS
(4.1) all descend to a flow Dˆt , a section and a splitting (4.2) ޖ ޖ ޖ0 ޖ D ˚ ˚ C of the flat vector bundle ޖ over U†. There exists a Euclidean metric g on ޖ with the following properties: The neutral section is bounded with respect to g; The bilinear form ނ is bounded with respect to g; The flat linear connection is bounded with respect to g; r Hyperbolicity: The flow Dˆt exponentially expands the subbundle V and C exponentially contracts V . Explicitly, there exist constants C; k > 0, so that kt (4.3) D.ˆt /v Ce v as t ; k k Ä k k ! 1 for v ޖ , and 2 C kt (4.4) D.ˆt /v Ce v as t k k Ä k k !C1 for v ޖ . 2 To construct such a metric, first choose a Euclidean inner product on the vector space V. Then extend it to a left G0-invariant Euclidean metric on the vector bundle
ޖ G V Ì G0: z D Hyperbolicity follows from the description of the adjoint action of A0 as in (2.2). With this Euclidean metric, the space .ޖ/ of continuous sections of ޖ is a Banach space.
5. Proper -actions and proper ޒ-actions
Let X be a locally compact Hausdorff space with homeomorphism group Homeo.X/. Suppose that H is a closed subgroup of Homeo.X/ with respect to the compact-open topology. Recall that H acts properly if the mapping H X X X ! .g; x/ .gx; x/ 7 ! is a proper mapping. That is, for every pair of compact subsets K1;K2 X, the set g H gK1 K2 ∅ f 2 j \ ¤ g is compact. The usual notion of a properly discontinuous action is a proper action where H is given the discrete topology. In this case, the quotient X=H is a Hausdorff space. If H acts freely, then the quotient mapping X X=H is a covering space. ! For background on proper actions, see Bourbaki[7], Koszul[30] and Palais[37]. PROPERAFFINEACTIONS 1071
The question of properness of the -action is equivalent to that of properness of an action of ޒ. PROPOSITION 5.1. An affine deformation acts properly on E if and only if A0 acts properly by right-multiplication on G=. The following lemma is a key tool in our argument. (A related statement is proved in Benoist[5, Lemma 3.1.1]. For a proof in a different context see Rieffel[38],[39].) LEMMA 5.2. Let X be a locally compact Hausdorff space. Let A and B be commuting groups of homeomorphisms of X, each of which acts properly on X. Then the following conditions are equivalent: (1) A acts properly on X=B; (2) B acts properly on X=A; (3) A B acts properly on X. Proof. We prove (3) (1). Suppose A B acts properly on X but A does H) not act properly on X=B. Then a B-invariant subset H X exists such that: H=B X=B is compact; The subset AH=B a A a.H=B/ .H=B/ ∅ WD f 2 j \ ¤ g is not compact. We claim a compact subset K X exists satisfying B K H. D Denote the quotient mapping by … X B X=B: ! For each x … 1.H=B/, choose a precompact open neighborhood U.x/ X. 2 B The images …B .U.x// define an open covering of H=B. Choose a finite subset x1; : : : ; xl such that the open sets …B .U.xi // cover H=B. Then the union l [ K U.xi / 0 WD i 1 D 1 is a compact subset of X such that …B .K / H=B. Taking K K … .H=B/ 0 D 0 \ B proves the claim. Since A acts properly on X, the subset
.A B/K .a; b/ A B aK bK ∅ WD f 2 j \ ¤ g is compact. However A is the image of the compact set .A B/K under H=B Cartesian projection A B A and is compact, a contradiction. ! 1072 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS
We prove that (1) (3). Suppose that A acts properly on X=B and K X H) is compact. Cartesian projection A B A maps ! (5.1) .A B/K A.B K/=B : ! A acts properly on X=B implies A.B K/=B is a compact subset of A. Because (5.1) is a proper map, .A B/K is compact, as desired. Thus (3) (1) . The proof that (3) (2) is similar. ” ” Proof of Proposition 5.1. Apply Lemma 5.2 with X G and A the action of D A0 ޒ by right-multiplication and B the action of by left-multiplication. The Š lemma implies that acts properly on E G=G0 if and only if G0 acts properly on D G. n Apply the Cartan decomposition G0 K0A0K0. Since K0 is compact, the D action of G0 on E is proper if and only if its restriction to A0 is proper.
6. Labourie’s diffusion of Margulis’s invariant
In[31], Labourie defined a function
F U† u ޒ; ! corresponding to the invariant ˛u defined by Margulis[33],[34]. Margulis’s invariant ˛ ˛u is an ޒ-valued class function on 0 whose value on 0 equals D 2 0 B u. /O O; x . / where O is the origin and x0. / V is the neutral vector of (see 2.3 and the 2 references listed there). Now the origin O E will be replaced by a section s of ޅ, the vector x0. / V 2 2 will be replaced by the neutral section of ޖ, and the linear action of 0 on V will be replaced by the geodesic flow 't on U†. Let s be a section of ޅ. Suppose s is C 1 along '. That is, the function
ޒ ޅ ! t s 't .p/ 7 ! is C 1 for all p U†. Its covariant derivative with respect to ' is a continuous 2 0 0 section '.s/ .ޖ/. Pairing with .ޖ/ via r 2 2 ނ ޖ ޖ ޒ ! Fu;s produces a continuous function U† ޒ defined by: ! Fu;s ނ. '.s/; /: WD r PROPERAFFINEACTIONS 1073
6.1. The invariant is continuous. Let .ޅ/ denote the space of continuous sections s of ޅ over Urec† which are differentiable along ' and the covariant derivative '.s/ is continuous. If s .ޅ/, then Fu;s is continuous. r 2 For each probability measure ᏼ.U †/, 2 Z Fu;s d U† is a well-defined real number and the function
ᏼ.U †/ ޒ ! Z Fu;s d 7 ! U† is continuous in the weak ?-topology on ᏼ.U †/. Furthermore its restriction to the subspace Ꮿ.†/ ᏼ.U †/ of ˆ-invariant measures is also continuous in the weak ?-topology.
6.2. The invariant is independent of the section.
LEMMA 6.1. Let s1; s2 .ޅ/ and be a '-invariant Borel probability 2 measure on U†. Then Z Z
Fu;s1 d Fu;s2 d: U† D U†
Proof. The difference s s1 s2 of the sections s1; s2 of the affine bundle ޅ D is a section of the vector bundle ޖ and
'.s1/ '.s2/ '.s/: r r D r Therefore Z Z Z
Fu;s1 d Fu;s2 d ނ. '.s/; / d U† U† D U† r Z Z 'ނ.s; / d ނ.s; '.// d: D U† U† r The first term vanishes since is '-invariant: Z Z d 'ނ.s; / d .'t / ނ.s; / d U† D U† dt Z d .'t / ނ.s; / d D dt U† Z d ނ.s; /d .'t / 0: D dt U† D
The second term vanishes since './ 0 (Lemma 4.1). r D 1074 WILLIAM M. GOLDMAN, FRANÇOIS LABOURIE, and GREGORY MARGULIS
Thus Z ‰Œu./ Fu;s d WD U†
‰Œu is a well-defined continuous function Ꮿ.†/ ޒ which is independent of the ! section s used to define it. 6.3. Periodic orbits. Suppose
t 't .x0/ 7 ! defines a periodic orbit of the geodesic flow ' with period T > 0. That is, T is the least positive number such that 'T .x0/ x0. Suppose that is the corresponding D element of 0 1.†/. Then T equals the length `. / of the corresponding closed Š geodesic on †. x0 If x0 U† and T > 0, let ' denote the map 2 Œ0;T x0 'Œ0;T (6.1) Œ0; T U† ! t 't .x0/: 7 ! Then
1 x0 (6.2) .'Œ0;T / Œ0;T WD T defines the geodesic current associated to the periodic orbit , where Œ0;T denotes Lebesgue measure on Œ0; T .
PROPOSITION 6.2 (Labourie [31, Prop. 4.2]). Let 0 be hyperbolic and 2 let Ꮿper.†/ be the corresponding geodesic current. Then 2 Z (6.3) ˛. / `. / Fu;s d : D U†
6.3.1. Proof. Let x0 U† be a point on the periodic orbit, and consider the 2 map (6.1) and the geodesic current (6.2). Choose a section s .ޅ/. Pull s back by the covering space 2 2 … U H G0 U† ! to a section of ޅ … ޅ. Since ޅ U H2 is a trivial Ᏹ-bundle, this section is the z D z ! graph of a map v G0 Q E ! satisfying v . /v: Q ı D Q Then Z 1 Z T (6.4) Fu;s d Fu;s.'t .x0//dt; U† D T 0 2 which we evaluate by passing to the covering space U H G0. PROPERAFFINEACTIONS 1075
2 Lift the basepoint x0 to x0 U H . Then x0 corresponds via Ᏹ to some g0 G0, Q 2 x0 Q 2 where Ᏹ is as defined in (1.3). The path 'Œ0;T lifts to the map
x0 'Œ0;TQ Œ0; T z U H2 ! t 't .x0/ g0a. t/: 7 ! z Q ! The periodic orbit lifts to the trajectory
ޒ G0 ! t g0a. t/: 7 ! Since the periodic orbit corresponds to the deck transformation (which acts by left-multiplication on G0),
g0 g0a. T/ D which implies
1 (6.5) g0a. T /g : D 0
x0 Evaluate 's and along the trajectory ' Q by lifting to the covering space and r zŒ0;T computing in G: