arxiv: v1 [math.gt] 5 Nov 2007

Transcription

1 RIGIDITY OF POLYHEDRAL SURFACES, II arxiv: v1 [math.gt] 5 Nov 007 REN GUO AND FENG LUO Abstract. We study the rigidity of poyhedra surfaces using variationa principe. The action functionas are derived from the cosine aws. The main focus of this paper is on the cosine aw for a non-trianguar region bounded by three possiby disjoint geodesics. Severa of these cosine aws were first discovered and used by Fenche and Niesen. By studying the derivative of the cosine aws, we discover a uniform approach on severa variationa principes on poyhedra surfaces with or without boundary. As a conseuence, the work of Penner, Bobenko-Springborn and Thurston on rigidity of poyhedra surfaces and circe patterns are extended to a very genera context. 1. Introduction 1.1. Variationa principe. We study geometry of poyhedra surfaces using variationa principes in this paper. This can be considered as a continuation of the paper [11]. By a poyhedra surface we mean an isometric guing of geometric poygons in E (Eucidean pane), H (hyperboic pane) or S (the -sphere). We emphasize that the combinatorics, i.e., the topoogica ceuar decomposition associated to a poyhedra surface, is considered as an intrinsic part of the poyhedra surface. The investigation of the geometry of poyhedra surface has a ong history. Recent resurgence of interests in this subject is mainy due to the work of Wiiam Thurston on geometrization of 3-manifods and circe packing on surfaces since Thurston s and Andreev s work on circe packing are non-variationa. The variationa approach to circe packing was introduced in a semina paper by Coin de Verdiére [4]. Since then, many works on variationa principe on trianguated surfaces [], [14], [8], [1], [9], [10] and others have appeared. A uniform approach on variationa principes on trianguated surfaces, based on the derivative of the cosine aw for trianges, was proposed in [11]. It is shown in [11] that amost a known variationa principes on trianguated surfaces are covered by the cosine aw for trianges and right-anged hexagons and their Legendre transformations. The goa of this paper is to deveop variationa principes arising from the cosine aws for hyperboic poygons bounded by three geodesics. Figure 1 is the ist of a ten cases of trianges in the Kein mode of the hyperboic pane. In Figure, generaized hyperboic trianges are drawn in the Poincaré mode where a horocyce is represented by a circe passing through a vertex. Cosine aws for the cases (1,1, 1),( 1, 1,1),( 1, 1, 1) were discovered in Fenche-Niesen s work [5]. R. Penner discovered the cosine aw for the case (0, 0, 0) (decorated idea trianges) in [13]. 000 Mathematics Subject Cassification. 5C6. Key words and phrases. derivative cosine aw, energy function, variationa principe, edge invariant, circe packing metric, circe pattern metric. 1

2 REN GUO AND FENG LUO Figure 1. (1,1,1) (1,1,-1) (1,1,0) (-1,-1,1) (0,1,-1) (0,0,1) (-1,-1,-1) (-1,-1,0) (0,0,-1) (0,0,0) Figure. We observe that there is a uniform way to write the cosine aws in a these cases (Lemma 3.1). Furthermore, there is a uniform formua for the derivative cosine aws (Lemma 3.5). From the derivative cosine aws, we are abe to find the compete ist of ocaized energy functionas as in [11]. These action functionas provide variationa principes for ceuar decomposed surfaces. A rigidity resuts obtained

3 RIGIDITY OF POLYHEDRAL SURFACES, II 3 in this paper and the work of Thurston [17], Penner [13], Bobenko-Springborn [1] can be deduced from those concave energy functionas. 1.. Generaized hyperboic trianges. A decorated convex poygon in the hyperboic pane H is a finite area convex poygon P so that each idea vertex of P is associated with a horodisk centered at the vertex. A generaized hyperboic triange (or simpy a generaized triange) in H is a decorated convex poygon in H bounded by three distinct geodesics L 1,L,L 3 and a other (if any) geodesics L ij perpendicuar to both L i and L j. The compete ist of a of them are in Figure. We ca L i an edge of. In the Kein mode of H, there exists a Eucidean triange in R so that each edge of corresponds to L 1,L or L 3. The vertices of are caed (generaized) vertices of. Note that if v is a vertex of outside H H, then v corresponds to the geodesic L ij perpendicuar to the two edges L i and L j adjacent to the vertex v. The generaized ange (or simpy ange) a(v) at a vertex v of is defined as foows. Let L i,l j be the edges adjacent to v. If v H, then a(v) is the inner ange of at v; if v H, a(v) is TWICE of the ength of the intersection of the associated horocyce with the cusp bounded by L i and L j ; if v / H H, then a(v) is the distance between L i and L j. Note that a generaized ange is aways positive. u u B u = u B u B u L i L j L i L j L i L j Figure 3. As in Figure 3, for a generaized vertex u of, et B u = {u} if u H ; B u be the horodisc at u if u H ; and B u is the haf pane missing bounded by L ij if u / H H. The generaized edge ength (or edge ength for simpicity) of L i is defined as foows. The generaized ength of the edge L i with vertices u,v is the distance from B u to B v if B u B v = and is the negative of the distance from B u L i to B v L i if B u B v. Note that generaized edge ength may be a negative number. See Figure 4. B B B1 ~ e B1 ~ e (e)>0 (e)<0

4 4 REN GUO AND FENG LUO Figure 4. The cosine aw (Lemma 3.1) for generaized trianges reates the generaized anges with the generaized edge engths. Given a generaized triange and a vertex v of, the type ε of v is defined to be ε = 1 if v H, ε = 0 if v H and ε = 1 if v / H H. In this way, generaized trianges are cassified into ten types (ε 1,ε,ε 3 ) where ε i { 1,0,1} as in Figure The work of Penner and its generaization. Suppose ( S, T) is a trianguated cosed surface S with the set of vertices V, the set of edges E. We ca T = {σ V a simpex σ T} an idea trianguation of the punctured surface S = S V. We ca V idea vertices (or cusps) of the surface S. If the Euer characteristic of S is negative, a decorated hyperboic metric (d, r) on S, introduced by Penner [13], is a compete hyperboic metric d of finite area on S so that each idea vertex v is assigned a positive number r v. Let T c (S) be the Teichmüer space of compete hyperboic metrics with cusps ends on S. Then the decorated Teichmüer space introduced in [13] is T c (S) R V >0. b b# a c e * c# a# Figure 5. Given a decorated hyperboic metric (d,r) T c (S) R V >0, using the idea trianguation T, Penner defined a map Ψ : T c (S) R V >0 R E as foows. Given a metric (d,r), each edge e E is isotopic to a compete geodesic e and each triange σ in T is isotopic to an idea triange σ in the metric d. Since assigning a positive number r v to each cusp v is the same as associating a horodisk B centered at the cusp so that the ength of B is r v, we see that each idea triange σ is naturay a decorated idea triange, i.e., a type (0, 0, 0) generaized hyperboic triange. The vaue of Ψ(d,r) at an edge e E, is Ψ(d,r)(e) = b+c a + b +c a, where a,a are the generaized ange facing e, b,b,c,c are the generaized ange adjacent to e as abeed in Figure 5. An edge cyce (e 1,t 1,e,t,...,e k,t k ) in a trianguation T is an aternating seuence of edges e i s and faces t i s in T so that adjacent faces t i and t i+1 share the same edge e i for any i = 1,...,k and t k+1 = t 1.

5 RIGIDITY OF POLYHEDRAL SURFACES, II 5 A beautifu theorem proved by Penner is the foowing. Theorem 1.1 (Penner [13]). Suppose (S, T) is an ideay trianguated surface of negative Euer characteristic. Then for any vector z R E 0 so that k i=1 z(e i) > 0 for any edge cyce (e 1,t 1,...,e k,t k ), there exists a uniue decorated compete hyperboic metric (d,r) on S so that Ψ(d,r) = z. Using the derivative cosine aw associated to the decorated idea triange and the associated energy function, we generaize Penner s theorem to the foowing. Theorem 1.. Suppose (S, T) is an ideay trianguated surface of negative Euer characteristic. Then Penner s map Ψ : T c (S) R V >0 R E is a smooth embedding whose image is the convex poytope P(T) = {z R E k i=1 z(e i) > 0 for any edge cyce (e 1,t 1,...,e k,t k )}. We remark that, from the definition, set P(T) is convex. It is in fact a convex poytope defined by the finite set of inear ineuaities k i=1 z(e i) > 0 for those edge cyces (e 1,t 1,...,e k,t k ) where each edge appears at most twice (see [10], [6]). Resuts simiar to Penner s work have been estabished recenty for hyperboic cone metric by Leibon [8] and hyperboic metric with geodesic boundary in [10]. In [11], a one-parameter famiy of coordinates depending on a parameter h R is introduced for hyperboic cone metric and hyperboic metric with geodesic boundary. These coordinates generaized the ones in [8] and [10]. It can be shown that Penner s map Ψ cannot be deformed. The reationship between the edge invariant in [10] and Penner s map Ψ was estabished by Mondeo [1] recenty Thurston-Andreev s circe packing and its generaizations. k r(v ) i v i j r(v ) j v k v j i Figure 6. Thurston s work on circe packing can be summarized as foows. Suppose (Σ, T) is a trianguated cosed surface so that V,E,F are sets of a vertices,edges and trianges in T. Fix a map Φ : E [ π,π]. According to Thurston [17], a hyperboic circe packing metric with intersection anges Φ is a function r : V R >0 so that the associated edge ength function : E R >0 is defined as foows. In Figure 6, consider a topoogica triange with vertices v i,v j,v k. One can construct ahyperboictriange v i v j k suchthat the edgesv i k,v j k haveengths r(v i ),r(v j ) respectivey and the ange at k is Φ(v i v j ). Let (v i v j ) be the ength of edge v i v j

6 6 REN GUO AND FENG LUO in the hyperboic triange v i v j k which is a function of r(v i ),r(v j ). Simiary, one obtains the edge engthes (v j v k ),(v k v i ). Under the assumption that Φ : E [ π,π], Thurston observed that engths (v i v j ),(v j v k ) and (v k v i ) satisfy the triange ineuaity for each triange v i v j v k in F. Thus there exists a hyperboic poyhedra metric on (Σ,T) whose edge ength function is. Let K : V R be the discrete curvature of the poyhedra metric, which sends a vertex to π ess the sum of a inner anges at the vertex. Theorem 1.3 (Thurston [17]). For any cosed trianguated surface (Σ,T) and Φ : E [ π,π], a hyperboic circe packing metric on (Σ,T) is determined by its discrete curvature, i.e., the map from r to K is injective. Furthermore, the set of a K s is an open convex poytope in R V. r(v ) i v i k d d j r(v ) j v j d i Figure 7. Since there are many other cosine aws avaiabe, we may try to use these other cosine aws for generaized trianges of type (ε,ε,δ) instead of type (1,1,1) used by Thurston. To state our resut, et us fix the notation once and for a. Let { R>0 if δ = 0, 1, (1.1) I δ = (0,π] if δ = 1. v k I δ = { R>0 if δ = 0, 1, (0,π) if δ = 1. { R>0 if σ = 1, 1, (1.) J σ = R if σ = 0. A generaized circe packing metric of type (ε,ε,δ) on a trianguated surface (Σ,T) with weight Φ : E I δ is given by a radius function r : V J εδ so that the edge ength function : E J ε is obtained from the radius r and weight Φ by the cosine aw appied to the generaized triange of type (ε,ε,δ). In Figure 7, consider a triange with vertices v i,v j,v k in the trianguation. One can construct a generaized hyperboic triange v i v j k of type (ε,ε,δ) such that the edges v i k,v j k have engths r(v i ),r(v j ) respectivey and the generaized ange at k is Φ(v i v j ). Let (v i v j ) be the ength of edge v i v j in the generaized hyperboic triange v i v j k which is a function of r(v i ),r(v j ). Simiary, one obtains the edge engthes (v j v k ),(v k v i ). Depending on ε {0, 1,1}, the numbers (v i v j ),(v j v k ),(v k v i ) may not be the threeedgeengthesofatype(ε,ε,ε)triange. Tothisend, etm ε,δ (Φ(v i v j ),Φ(v j v k ), Φ(v k v i )) = {(r(v i ),r(v j ),r(v k )) Jεδ 3 there exists a type (ε,ε,ε) triange v iv j v k

7 RIGIDITY OF POLYHEDRAL SURFACES, II 7 with edge engths (v i v j ),(v j v k ),(v k v i )}. Therefore r can ony take vaues in N ε,δ (Φ) a subspace of (J εδ ) V, where N ε,δ (Φ) = {r : V J εδ (r(v i ),r(v j ),r(v k )) M ε,δ (Φ(v i v j ),Φ(v j v k ),Φ(v k v i )), if v i,v j,v k are vertices of a triange}. The edge ength function : E J ε produces a poyhedra metric on (Σ,T). We definethe generaized discrete curvature ofthepoyhedrametrictobe K : V R >0 sending a vertex to the sum of a generaized anges at the vertex. We show that Thurston s circe packing theorem can be generaized to the foowing six cases corresponding to the generaized trianges of type ( 1, 1,1), ( 1, 1, 1), ( 1, 1,0), (0,0,1), (0,0, 1), (0,0,0) in Figure 8. More precisey, we ist the six cases beow. (a) For the case of ( 1, 1,1), where Φ : E (0,π], the edge ength (v i v j ) is obtained from the radii r(v i ),r(v j ) by the cosine aw for the hyperboic pentagon as Figure 8 (a). (b) For the case of ( 1, 1, 1), where Φ : E (0, ), the edge ength (v i v j ) is obtained from the radii r(v i ),r(v j ) by the cosine aw for the right-anged hexagon as Figure 8 (b). (c) For the case of ( 1, 1,0), where Φ : E (0, ), the edge ength (v i v j ) is obtained from the radii r(v i ),r(v j ) by the cosine aw for the hexagon as Figure 8 (c). (d) For the case of (0,0,1), where Φ : E (0,π], the edge ength (v i v j ) is obtained from the radii r(v i ),r(v j ) by the cosine aw for the pentagon as Figure 8 (d). (e) For the case of (0,0, 1), where Φ : E (0, ), the edge ength (v i v j ) is obtained from the radii r(v i ),r(v j ) by the cosine aw for the hexagon as Figure 8 (e). (f) For the case of (0,0,0), where Φ : E (0, ), the edge ength (v i v j ) is obtained from the radii r(v i ),r(v j ) by the cosine aw for the hexagon as Figure 8 (f). F ( v i v j ) F( v i v j ) F( v i v j) r(v j ) r(v i ) r(v j) r(v i) r(v j ) r(v i ) ( v i v j ) ( v i v j ) ( v i v j ) (-1,-1,1) (-1,-1,-1) (-1,-1,0) (a) (b) (c) F( v i v j ) F( v i v j ) F( v i v j) r(v j ) r(v i ) r(v j) r(v i ) r(v j ) r(v i ) ( v i v j ) ( v i v j ) ( v i v j ) (0,0,1) (0,0,-1) (0,0,0) (d) (e) (f) Figure 8.

8 8 REN GUO AND FENG LUO Theorem 1.4. Given a cosed trianguated surface (Σ,T) and Φ : E I δ in the above six cases, the generaized (ǫ,ǫ,δ) type circe packing metric r N ε,δ (Φ) is determined by its generaized discrete curvature K : V R >0, i.e., the map from r to K is a smooth embedding. Furthermore, the set of a K s is the space R V >0. Our method of proof of Theorem 1.4 aso produces a new variationa proof of the rigidity of circe packing in Thurston s theorem (Theorem 1.3) simiar to the proof in [3]. However, unike the proof in [3] which uses Thurston s geometric argument and Mape program, our proof is a straight forward cacuation. We are not abe to estabish Theorem 1.4 for the rest two cases of (1,1, 1),(1,1,0) in Figure 9. F( v i v j ) F( v i v j) r(v j ) r(v i ) r(v ) r(v i ) j ( v i v j ) ( v i v j ) (1,1,-1) (1,1,0) Figure 9. Generaized circe patterns have been considered by many authors incuding Bobenko-Springborn [1], Schenker [15], Stephenson [16] and others. In particuar, Stephenson s uestion [16] (page 331) about disjoint circe pattern motivates us to consider the above situations. Furthermore, simiar to the work of [3] on discrete curvature fow, for the case of ε = 1 in Theorem 1.4, there exists a corresponding generaized curvature fow. Indeed, et r i := r(v i ) be the radii at vertex v i V and K i be the generaized discrete curvature at vertex v i V. The generaized curvature fow is dr i (t) dt = K i 1 eri 1 εδe ri. Wehaveshownthatit isanegativegradientfowofastrictyconcavedownfunction after a change of variabes Bobenko-Springborn s circe pattern and its generaizations. In [1], Bobenko-Springborn generaized Thurston s circe packing pattern in the case of Φ = π in a different setting. The energy functiona in [1] was derived from the discrete integrabe system. Let us reca briefy the framework in [1]. See Figure 10 (a). Let (Σ,G) be a ceuar decomposition of a cosed surface with the set of vertices V, edges E and -ces F. The dua ceuar decomposition G has the set of vertices V ( = F) so that each -ce f in F contains exacty one vertex f in G. If v is avertexofa-cef, we denoteit byv < f. Fora pairs(v,f) wherev < f, join v to f by an arc in f, denoted by (v,f ), so that (v,f ) and (v,f ) don t intersect in their interior. Then these arcs (v,f) (v,f ) decompose the surface Σ into a union of uadriateras of the form (v,v,f,f ) where vv E,v < f,v < f. According to [1], this uadriatera decomposition of a cosed surface arises naturay from the integrabe system and discrete Riemann surfaces. Now suppose θ : E (0,π) is given. For r : V R >0, caed a circe pattern metric, and a uadriatera

9 RIGIDITY OF POLYHEDRAL SURFACES, II 9 (v,v,f,f ), construct an E (or H ) triange f f v so that the ength of the edges vf,vf are given by r(f ),r(f ) and the ange at v is θ(vv ). v (vv #) r(f) r(f # ) f * v# v (a) f# * f * r(f) (vv#) (b) v# r(f ) # f#* Figure 10. In this way the uadriatera (v,v,f,f ) is reaized in E (or H ) as the isometric doube of the triange f f v across the edge f f. Since the surface Σ is a guing of the uadriatera (v,v,f,f ) aong edges, by isometricay guing these uadriateras, one obtains a poyhedra metric on the surface Σ with cone points at the vertices V and V. The cone anges at v V are prescribed by θ, the ony variabe curvatures are at f V. Bobenko-Springborn s rigidity resut says, Theorem 1.5 (Bobenko-Springborn [1]). For any ce decomposition (Σ, G) of a cosed surface and any map θ : E (0,π), the circe pattern metric r : V R >0 is determined by its discrete curvature K : V R for hyperboic poyhedra metrics and is determined up to scaing by K : V R for Eucidean poyhedra metrics. In the hyperboic geometric setting, the essentia part of Bobenko-Springborn s construction is to produce the hyperboic triange f f v with two prescribed edge engths and the prescribed ange between the two edges. Since there are eight other generaized hyperboic trianges of type (ε,ε,δ) as isted in Figure, we can use them to produce hyperboic metrics. Our resut beow shows that the rigidity phenomena sti hod for a other eight cases. We assume the same setting as in [1] that (Σ,G) is a ceuar decomposed surface so that V,E,F are the sets of a vertices, edges and -ces with dua (Σ,G ). Suppose (ε,ε,δ) { 1,0,1} 3, and a map θ : E I δ is given (see (1.1) for the definition of I δ ). Assume for an r (J εδ ) V and any uadriatera (v,v,f,f ), we can construct a type (ε,ε,δ) generaized hyperboic triange f f v so that the ength of vf,vf are r(f ),r(f ) respectivey and the generaized ange at v is θ(vv ). Now reaize the uadriatera (v,v,f,f ) as the metric doube of f f v across the edge f f. The generaized curvature of the resuting circe pattern is concentrated at the vertices V. It is defined as foows. For h R, define the generaized

10 10 REN GUO AND FENG LUO curvature K h : V R by (1.3) K h (f ) = m i=1 ai ρ h ε(t)dt 1 where a i s are the generaized anges at the vertex f in the triange f f v and ρ ε (t) = t 0 cos( εx)dx (see the definition in ). Theorem 1.6. Under the assumption above, for any (ε,ε,δ) { 1,0,1} 3 and θ : E I δ, the map from (J εδ ) V to R V sending r to K h is a smooth embedding. Bobenko-Springborn s circe pattern theorem (Theorem 1.5) in the hyperboic geometry corresponds to (ε,ε,δ) = (1,1,1) and h = 0 in Theorem 1.6. Bobenko- Springborn [1] aso showed that the image of {K} is an expicit open convex poytope in R V. It is an interesting uestion to investigate the images of {K h } in the generaized setting. We remark that there is a discrete curvature fow for each case in Theorem 1.6. Let r i := r(fi ). Then dr i (t) = K h (fi )( 1 1 ) 1 h. dt eri εδe ri We have shown that the above euation is the negative gradient fow of a stricty concave down function. Simiar situation have been considered before by Haze. In [7], he considered the fow for cases when h = 0 and (ε,δ,ε) = (1,1,1), (1,1, 1) or (1,1,0).. A proof of Theorem 1. We give a proof of Theorem 1. in this section. The proof consists of two parts. In the first part we show that Penner smap Ψ is an embedding. Then we determine its image. As in[10], the rigidity foows from the foowing we-known fact together with the cosine aw for decorated idea triange. Lemma.1. If X is an open convex set in R n and f : X R is smooth stricty convex, then the gradient f : X R n is injective. Furthermore, if the Hessian of f is positive definite for a x X, then f is a smooth embedding. To begin, reca that (S,T) is an ideay trianguated surface with sets of edges, trianges and cusps given by E,F,V. We assume that χ(s) < 0. Foowing Penner[13], we wi produce a smooth parametrization of the decorated Teichmüer space T c (S) R V >0 by RE using the edge engths. From the derivative cosine aw for decorated idea triange, we wi construct a smooth stricty concave down function H on R E so that its gradient is Penner s map Ψ. Then by Lemma.1, the map Ψ : T c (S) R V >0 RE is an embedding. To determine the image Ψ(T c (S) R V >0 ), we study the degenerations of decorated idea trianges. The strategy of the proof is the same as that in [10]..1. Penner s ength parametrization of T c (S) R V >0. For each decorated hyperboic metric (d,r) T c (S) R V >0, where r = (r 1,...r V ), one repaces each edge e E by the geodesic e in the metric d and constructs for each cusp v i V a horocycic disk B ri (v i ) centered at v i whose circumference B ri (v i ) has ength r i = r(v i ). Now, the ength coordinate d,r R E of(d,r) is defined as foows. Given

11 RIGIDITY OF POLYHEDRAL SURFACES, II 11 r : V R >0, reaize each triange uvw in T by a decorated idea hyperboic triange with generaized anges at u,v,w being r(u),r(v),r(w). Then d,r (e) is the generaized edge ength of the edge e = uv in the triange uvw. In this way, Penner defined a ength map L : T c (S) R V >0 RE (d,r) d,r. Lemma. (Penner [13]). The ength map L : T c (S) R V >0 RE is a diffeomorphism. Proof. By the cosine aw for decorated idea triange, the map L satisfies for a λ R >0 (.1) L(d,λr) = L(d,r) (nλ)(1,1,...,1). Thus, it suffices to dea with those decorated metrics (d,r) so that r are sma, i.e., L(d,r) R E >0. In this case, Penner proved that L : L 1 (R E >0) R E >0 is a diffeomorphism by a direct geometric construction using isometric guing decorated idea trianges. By (.1), it foows that L is a diffeomorphism... Penner s map Ψ is a coordinate. Reca that for a decorated idea triange with edges e 1,e,e 3 of engths 1,, 3 and opposite generaized anges θ 1,θ,θ 3, the cosine aw obtained by Penner [13] says: e i = θ j θ k, θ i 4 = ei j k. where {i,j,k} = {1,,3}. The derivative cosine aw expressing i in terms of (θ 1,θ,θ 3 ) says i i = 0, = 1. θ i θ j θ j Let x i = 1 (θ j +θ k θ i ) (or θ i = x j +x k ). We ca x i the radius invariant at the edge e i in the triange. Using the derivative cosine aw, we have, Lemma.3. Under the same assumption as above, the differentia 1-form ω = 3 i=1 x id i is cosed in R 3 so that its integration W() = ω is stricty concave 0 down in R 3. Furthermore, (.) W i = x i Proof. Consider the matrix H = [ a / x b ] 3 3. The coseness of ω is euivaent to that H is symmetric. The stricty concavity of W wi be a conseuence of the positive definiteness of H. We estabish these two properties for H as foows. Assume that indices {i,j,k} = {1,,3}. By definition, x i = θ j + θ k. It foows from the derivative cosine aw that, and i x i = ( 1 θ j + 1 θ k ), i x j = 1 θ k

12 1 REN GUO AND FENG LUO which is symmetric in i,j. This shows that the matrix H is symmetric. Furthermore, the negative matrix H is of the form [m ab ] 3 3 where m ab = m ba > 0 and m ii = m ij + m ik. The determinant of such a matrix can be cacuated easiy as 4m 11 m m 33 > 0, and the determinant of a principa submatrix is m ii m jj m ij = (m ij +m ik )(m ij +m jk ) m ij > 0. It foows that H is positive definite. Bytheconstructionin.1, itsufficestoshowthatthecomposition Ψ = Ψ L 1 : R E R E is a smooth embedding. The map Ψ is constructed expicity as foows. For each R E and each triange σ F reaize σ by an idea hyperboic triange together with horocyces centered at three vertices so that the generaized edge ength of an edge e in σ is (e). Now isometricay gue these idea hyperboic trianges aong edges so that the horocyces match. The resut is a compete finite area hyperboic metric on the surface S together with a horocyce at each cusp. For each edge e E, the vaue Ψ()(e) is eua to b+c a + b +c a where a,a,b,b,c,c are generaized anges facing and adjacent to e in Figure 5. Thus (.3) Ψ()(e) = r f (e)+r f (e) where f,f are the decorated idea trianges sharing the edge e and r f (e),r f (e) are the radius invariants at the edge e in f,f respectivey. Given a vector R E, define the energy H() of to be H() = W((e i ),(e j ),(e k )) {i,j,k} F where the sum is over a trianges {i,j,k} in F with edges e i,e j,e k. By definition and Lemma.3, H : R E R is smooth and stricty concave down when Hessian is negative definite. Furthermore, by (.) and (.3), H (e i ) = Ψ()(e i ) i.e., H = Ψ. It foows from Lemma.1, that Ψ : R E R E is a smooth embedding. Therefore Ψ is a smooth embedding. e +1 n i b i a i e i t n i c i n

13 RIGIDITY OF POLYHEDRAL SURFACES, II 13 Figure The image of Penner s map. Let Ω be the convex subset of R E given by Ω = {z R E p i=1 z(e n i ) > 0, whenever (e n1,t n1,e n,t n,...,e np,t np,e n1 ) is an edge cyce}. To show that Ψ(R E ) = Ω, due to convexity of Ω, it suffices to prove that Ψ(R E ) is both open and cosed in Ω. First to see that Ψ(R E ) Ω, take R E and an edge cyce (e n1,t n1,e n,t n,...,e np,t np,e n1 ) as shown in Figure 11. Let the generaized anges in the decorated idea triange t ni in the metric L 1 () be a i,b i,c i, where b i faces the edge e ni, c i faces the edge e ni+1 and a i is adjacent to e ni,e ni+1. Then the contribution to p Ψ()(e j=1 nj ) from e ni,e ni+1 in triange t ni is given by ai+bi ci + ai+ci bi = a i. Thus p p (.4) Ψ()(e nj ) = a i > 0 j=1 due to a i > 0 for a i. It foows that Ψ(R E ) is open in Ω since Ψ : R E R E is just proved to be an embedding. It remainstoprovethat Ψ(R E ) iscosedinω.the cosenessof Ψ(R E ) inωmeans to show that if a seuence { (m) R E } m=0 satisfies im m Ψ( (m) ) = z Ω, then { (m) } m=0 contains a subseuence converging to a point in RE. Given a decorated hyperboic metric (m) R E on (S,T) and a generaized ange θ, et θ (m) R 3F be the generaized anges of the decorated idea trianges in (S,T) in the metric (m). By taking a subseuence if necessary, we may assume that im m Ψ( (m) ) converges in [, ] E and that for each ange θ i, the imit im m θ (m) i exists in [0, ]. Lemma.4. For a i, im m θ (m) i j=1 [0, ). Proof. Ifotherwise,sayim m θ (m) 1 = forsomeangeθ 1. Lete 1,e betheedges adjacent to the ange θ 1 in the triange t. Take an edge cyce (e n1,t n1,e n,t n,..., e np,t np,e n1 ) which contains (e 1,t,e ) as a part. Then by the cacuation as in (.4), p i=1 z(e ni ) = im m p i=1 This contradicts the assumption that z Ω. Ψ( (m) )(e ni ) im m θ(m) i =. Now, we finish the proof by contradiction as foows. If im m (m) were not in R E, there woud exist an edge e E so that im m (m) (e) = ±. Let t be a triange adjacent to e. Let θ (m) 1,θ (m) be the generaized anges in t adjacent to e in the metric (m). By the cosine aw, (.5) exp( (m) (e)) = 4 θ (m) 1 θ (m) and θ (m) 1,θ (m) (0, ). Case 1. If im m (m) (e) =, then im m exp( (m) (e)) = 0. By (.5), one of im m θ (m) i must be. But this contradicts Lemma.4.

14 14 REN GUO AND FENG LUO Case. If im m (m) (e) =, then im m exp( (m) (e)) =. Since Lemma.4 shows that θ (m) 1 and θ (m) are bounded, by (.5), one of the imits im m θ (m) i must be zero for i = 1 or. Say im m θ (m) 1 = 0. Let e 1 be the other edge in the triange t so that e 1,e are adjacent to the generaized ange θ 1. Let θ 3 be the third ange in t, facing e. Then by the cosine aw that exp( (m) 4 (e 1 )) = and θ (m) 1 θ (m) 3 Lemma.4 on the boundedness of θ (m) 3, we concude that im m (m) (e 1 ) =. To summarize, from im m (m) (e) = and any triange t adjacent to e, we concude that there is an edge e 1 and an ange θ 1 adjacent to e,e 1 in t so that im m (m) (e 1 ) = and im m θ (m) 1 = 0. Appying this procedure to e 1 and the triange t 1 adjacent to e 1 from the side other than the side that t ies. We obtain the next ange, say θ and edge e in t 1 so that im m (m) (e ) = and im m θ (m) = 0. Since there are ony finite number of edges and trianges, this procedure wi produce an edge cyce (e n1,t n1,e n,t n,...,e nk,t nk,e n1 ) in T so that (i) im m (m) (e ni ) = for each i, (ii) im m θ (m) i = 0 for each i, where θ i is the ange in triange t ni adjacent to e ni and e ni+1. By (.4), k z(e ni ) = im i=1 m i=1 k Ψ( (m) )(e ni ) = im This contradicts the assumption that z Ω. k m i=1 3. The derivative cosine aw θ (m) i = 0. We give a unified approach to a cosine aws and sine aws in this section. The derivative of the cosine aws are aso determined. Most of the proof are straightforward checking and wi be deayed to the appendix. Assume that a generaized hyperboic triange of type (ε 1,ε,ε 3 ) { 1,0,1} 3 has generaized anges θ 1,θ,θ 3 and opposite generaized edge engthes 1,, 3. There are ten different types of generaized hyperboic trianges as shown in Figure. The reationships between i s and θ is are expressed in the cosine aw and the sine aw. Tostate them, we introducethe twofunctions ρ ε,τ s depending on ε,θ,s, R: (3.1) (3.) To be more expicity, ρ ε (θ) = A simpe cacuation shows, θ 0 τ s () = 1 e 1 se. cos( εx)dx = 1 ε sin( εx), ρ 1 (θ) = sin(θ), ρ 0 (θ) = θ, ρ 1 (θ) = sinh(θ, τ 1 () = sinh(), τ 0 () = 1 e, τ 1 () = cosh(). ρ ε (θ) := ρ ε(θ) = cos( εθ), θ τ s() := τ s() = 1 e + 1 se.

15 RIGIDITY OF POLYHEDRAL SURFACES, II 15 Lemma 3.1 (The cosine aws and the sine aws). For a generaized hyperboic triange of type (ε 1,ε,ε 3 ) { 1,0,1} 3 with generaized anges θ 1,θ,θ 3 and opposite generaized edge engths 1,, 3, for {i,j,k} = {1,,3}, the foowing hod: (3.3) (3.4) (3.5) (3.6) τ ε jε k ( i ) = ρ ε i (θ i )+ρ ε j (θ j )ρ ε k (θ k ), ρ εj (θ j )ρ εk (θ k ) ρ ε i ( θ i ) = τ ε jε k ( i ) 1 ε je j k 1 ε ke k j, τ εk ε i ( j )τ εiε j ( k ) ρ ε i (θ i ) = ε iτ ε jε k ( i )+τ ε k ε i ( j )τ ε iε j ( k ), τ εk ε i ( j )τ εiε j ( k ) ρ εi (θ i ) τ εjε k ( i ) = ρ ε j (θ j ) τ εk ε i ( j ) Proof. In the Appendix A, the cosine aw and the sine aw for each type of the ten generaized hyperboic trianges are isted. We check directy that a the formuas there fit the uniform formuas (3.3)-(3.6). Remark 3.. The identity (3.6) is caed the sine aw. The formua (3.4) is stronger than the formua (3.5). They are euivaent if ε i = ±1. If ε i = 0, the formua (3.5) is trivia whie the formua (3.4) expresses θ in term of engths. For the six cases of generaized triange without idea vertices, there is a unified strategy to derive the cosine aw (3.3) and (3.5) by using the hyperbooid mode. This unified strategy is essentiay given in [18] p74-8. But this method does not work for the other four cases of generaized triange with idea vertices. The concepts of Gram matrix and ange Gram matrix of a generaized hyperboic triange are defined as foows. For a generaized hyperboic triange of type (ε 1,ε,ε 3 ) { 1,0,1} 3 with generaized anges θ 1,θ,θ 3 and opposite generaized edge engths 1,, 3, its Gram matrix is G := ε 1 τ ε 1ε ( 3 ) τ ε 3ε 1 ( ) τ ε 1ε ( 3 ) ε τ ε ε 3 ( 1 ) τ ε 3ε 1 ( ) τ ε ε 3 ( 1 ) ε 3 and its ange Gram matrix is G θ := 1 ρ ε 3 (θ 3 ) ρ ε (θ ) ρ ε 3 (θ 3 ) 1 ρ ε 1 (θ 1 ) ρ ε (θ ) ρ ε 1 (θ 1 ) 1. Lemma 3.3. (3.7) (3.8) detg = (τ εk ε i ( j )τ εiε j ( k )ρ εi (θ i )) detg θ = (ρ εj (θ j )ρ εk (θ k )τ εjε k ( i )) For a hyperboic triange, Lemma 3.3 is we-known. We wi prove it for a generaized triange in Appendix B.

16 16 REN GUO AND FENG LUO By Lemma 3.3 and the sine aws (3.6), we see 1 M := τ ε ε 3 ( 1 ) τ ε3ε 1 ( ) 0 detg 0 0 τ ε1ε ( 3 ) 1 = ρ ε 1 (θ 1 ) ρ ε (θ ) 0. detgθ 0 0 ρ ε3 (θ 3 ) Lemma 3.4. MG MG θ = I. This emma is a conseuence of the cosine aws and the sine aws (3.3), (3.5) and (3.6). It is checked by direct cacuation. Let y 1,y,y 3 be three functions of variabes x 1,x,x 3. Let A = ( yi x j ) 3 3 be the Jacobi matrix. Then the differentias dy 1,dy,dy 3 and dx 1,dx,dx 3 satisfy dy 1 dy dy 3 = A dx 1 dx dx 3 Lemma 3.5 (The derivative cosine aw). For a generaized hyperboic triange of type (ε 1,ε,ε 3 ) { 1,0,1} 3 with generaized anges θ 1,θ,θ 3 and opposite generaized edge engths 1,, 3, the differentias of s and θ s satisfy the foowing reations: (3.9) (3.10) d 1 d d 3 dθ 1 dθ dθ 3 =MG dθ 1 dθ dθ 3 =MG θ d 1 d d 3 We wi prove the above emma in Appendix B. In the rest of the section, we estabish the existence of a generaized hyperboic triange of type (ε,ε,δ) { 1,0,1} 3 with two given edge engths 1, and a generaized ange θ between them, where the generaized anges opposite to 1, have type ε and θ has type δ. Reca I δ and J εδ are in (1.1) (1.). Fix type (ε,ε,δ) { 1,0,1} 3. For a given θ I δ, et s introduce the set D ε,δ (θ) = {( 1, ) (J εδ ) there exists a generaized hyperboic triange of type (ε,ε,δ) with two edge engths 1, so that the generaized ange between them is θ of type δ}. Lemma 3.6. (1) If ε = 1 or 0, then D ε,δ (θ) = (J εδ ). () If (ε,δ) = ( 1,1), then D ε,δ (θ) = {( 1, ) R >0 sinh 1sinh cosθcosh 1 cosh > 1}... (3) If (ε,δ) = ( 1,0), then D ε,δ (θ) = {( 1, ) R θ > e 1 +e }.

17 RIGIDITY OF POLYHEDRAL SURFACES, II 17 (4) If (ε,δ) = ( 1, 1), then D ε,δ (θ) = {( 1, ) R >0 coshθsinh 1 sinh cosh 1 cosh > 1}. Proof. We wi construct a generaized hyperboic triange of type (ε, ε, δ) in each case as foows. If (ε,ε,δ) = (1,1,1), choose a point O in the hyperboic pane. Draw two geodesics rays L 1,L starting from the point O such that the ange between L 1,L is θ (0,π). Let P i be the point on L i such that the ength of the segment OP i is i > 0,i = 1,. Then one obtains the hyperboic triange by joining P 1,P by a geodesic segment. If (ε,ε,δ) = (1,1,0), choose a point O at the infinite of the hyperboic pane and draw a horocyce centered at O. Let H 1,H be two points on the horocyce such that the ength of the horocycic arc H 1 H is θ > 0. For i = 1,, draw a geodesic L i passing through O and H i. Let P i be the point on L i such that the ength of the segment of H i P i is i and H i is between O,P i on L i if and ony if i > 0. Then one obtains the generaized hyperboic triange by joining P 1,P by a geodesic segment. If (ε,ε,δ) = (1,1, 1), draw a geodesic segment G 1 G of ength θ > 0 with end points G 1,G. For i = 1,, et L i be a geodesic ray starting from G i perpendicuar to G 1 G and L 1,L are in the same haf pane bounded by the geodesic containing G 1 G. Let P i be the point on L i such that the ength of the segment G i P i is i > 0,i = 1,. Then one obtains the generaized hyperboic triange by joining P 1,P by a geodesic segment. If (ε,ε,δ) = (0,0,1), choose a point O in the hyperboic pane H. Draw two geodesics rays L 1,L starting form the point O such that the ange between L 1,L is θ (0,π) and L i ends at point P i H. Join P 1,P by a geodesic. Let H i be the point on the geodesic containing L i such the ength of OH i is i and H i is between O,P i if and ony if i > 0. Draw a horocyce centered at P i passing through H i. One obtains the generaized triange OP 1 P decorated by two horocyces. If(ε,ε,δ) = (0,0,0)or(0,0, 1),the constructionissimiartothe caseof(0,0,1) above. If (ε,ε,δ) = ( 1, 1,1), choose a point O in the hyperboic pane. Draw two geodesics rays L 1,L starting form the point O such that the ange between L 1,L is θ (0,π). For i = 1,, et P i be the point on L i such that the ength of the segment OP i is i > 0. Let M i be the geodesic passing through P i perpendicuar to L i. There is a generaized hyperboic triange with prescribed engths 1, and ange θ if and ony if the distance between M 1,M is positive. The distance between M 1,M can be cacuated from the cosine aw of generaized triange of type ( 1, 1,1): cosh = sinh 1 sinh cosθcosh 1 cosh. This shows that the condition in part () is euivaent to > 0. If (ε,ε,δ) = ( 1, 1,0), choose a point O at the infinite of the hyperboic pane and draw a horocyce centered at O. Let H 1,H be the two points on the horocyce such that the ength of the horocycic arc H 1 H is θ > 0. For i = 1,, draw a geodesic L i passing through O and H i. Let P i be the point on L i such that the ength of the segment H i P i is i and H i is between O,P i if and ony if i > 0. Let M i be the geodesic passing through P i perpendicuar to L i. There is a generaized

18 18 REN GUO AND FENG LUO hyperboic triange with prescribed engths 1, and generaized ange θ if and ony if the distance between M 1,M is positive. The distance between M 1,M can be cacuated from the cosine aw of generaized triange of type ( 1, 1,0): cosh = 1 θ e 1+ cosh( 1 ). Now, one sees 1 θ e 1+ cosh( 1 ) > 1 if and ony if θ > e 1 +e. This shows part (3) hods. If (ε,ε,δ) = ( 1, 1, 1), draw a geodesic segment G 1 G of ength θ > 0 with end points G 1,G. For i = 1,, et L i be a geodesic haf ine starting from G i perpendicuar to G 1 G and L 1,L are in the same haf pane bounded by the geodesic containing G 1 G. Let P i be the point on L i such that the ength of the segment G i P i is i > 0,i = 1,. Let M i be the geodesic passing through P i perpendicuar to L i. There is a right-anged hexagon with prescribed engths 1,,θ if and ony if the distance between M 1,M is positive. The distance between M 1,M can be cacuated from the cosine aw of a right-anged hexagon: cosh = coshθsinh 1 sinh cosh 1 cosh. This shows that the condition in part (4) is euivaent to > A proof of Theorem 1.4 We give a proof of the generaized circe packing theorem (Theorem 1.4) in this section. Reca that (Σ,T) is a cosed trianguated surface with V,E,F the sets a vertices, edges and trianges in T. Given a type (ε,ε,δ) { 1,0,1} 3 and Φ : E I δ, for each r N ε,δ (Φ), a generaized (ε,ε,δ) circe packing on (Σ,T) is based on the foowing oca construction. As in Figure 1, consider a topoogica triange with vertices v i,v j,v k. One can construct a generaized hyperboic triange v i v j k of type (ε,ε,δ) such that the edgesv i k,v j k haveengths r(v i ) := r i,r(v j ) := r j respectiveyand the generaized ange at k is Φ(v i v j ) =: φ k. Let (v i v j ) =: k be the ength of edge v i v j in the generaized hyperboic triange v i v j k which is a function of r i,r j. Simiary, one obtains the edge engthes (v j v k ) =: i,(v k v i ) := j. Let θ i be the generaized ange of v i v j v k at the vertex v i. With fixed (φ i,φ j,φ k ), we consider θ i as a function of (r i,r j,r k ). r j k f k r i k a ij v i i j j v j a ji j i k v k i

19 RIGIDITY OF POLYHEDRAL SURFACES, II 19 Figure 1. Let s reca the definition of M ε,δ (Φ(v i v j ),Φ(v j v k ),Φ(v k v i )) in 1.4 and definition of D ε,δ (θ) in 3. Lemma 4.1. When ε = 0 or 1, we have M ε,δ (φ 1,φ,φ 3 ) = {(r 1,r,r 3 ) (J εδ ) 3 (r i,r j ) D ε,δ (φ k ),{i,j,k} = {1,,3}}. Proof. Given φ k I δ, by Lemma 3.6, for r i,r j D ε,δ (φ k ), there is generaized hyperboic triange v i v j k of type (ε,ε,δ) with edge engths r i,r j and ange φ k of type δ between the two edges. We obtain the edge ength k = (v i v j ). There is a case which is not contained in Lemma 3.6: δ = 1,φ k = π. It is easier since we have k = r i +r j. For ε = 0, we get i, j, k R. Thus there exists a decorated idea triange with threeedgesength i, j, k.forε = 1,the ineuaitydefiningd 1,δ (φ k ) guarantees that i, j, k > 0. Thus there exists a right-anged hexagon with three edges ength i, j, k A proof of Theorem 1.4for ε = 0. Weassumethatindicesi,j,k aredistinct in this section. First by Lemma 3.6 and Lemma 4.1, we havem 0,δ (φ i,φ j,φ k ) = R 3. Therefore N 0,δ (Φ) = R V. The case ε = 0 is very simpe. Indeed, for a fixed Φ : E I δ, there exists a map C : V R >0 so that for a r N 0,δ (Φ) = R V, (4.1) K(r)(v) = C(v)e r(v), i.e., the discrete curvature K(r) is uniformy proportiona to e r(v). Thus, one sees easiy that the generaized circe packing metric r R V is determined by its generaized discrete curvature K : V R and { K(v) v V} = R V >0. Indeed, in Figure 1, the generaized triange v i v j k has type (0,0,δ), edge engths r i,r j, k and inner ange φ k opposite to k. By the cosine aw (Lemma 3.1 (3.4)), we have ρ δ (φ k ) = τ 0 ( k) τ 0 (r i )τ 0 (r j ) = e k r i r j. Thus e k = ρ δ( φ k (4.). )eri+rj By the cosine aw (3.4) for the decorated idea triange v i v j v k (or type (0,0,0) generaized triange) we have θk (4.3) 4 = e k i j. Combining (4.) and (4.3) we obtain Or (4.4) θ k 4 = e k i j = ρ δ (φ k )e ri+rj ρ δ (φi )erj+r k ρ δ ( φj )er k+r i = θ k = ρ δ( φ k ) ρ δ ( φi )ρ δ( φj )e rk. ρ δ (φ k ) ρ δ (φi )ρ δ (φj )e rk.

20 0 REN GUO AND FENG LUO Summing up (4.4) for a triange having v k as a vertex, we obtain (4.1) where C(v) depends expicity on δ. 4.. Rigidity of circe packing for ε = 1 or (ε,δ) = (1,1). In this subsection we prove Theorem 1.4 for the case ε = 1 and give a new proof of Thurston s rigidity Theorem 1.3. In the variationa framework, the natura parameter is u = (u 1,u,u 3 ) where (4.5) u i = r i 1 τ εδ (t) dt for ε = ±1. Note that by the definition of τ s, ui r i < 0. Lemma 4.. Fix φ = (φ 1,φ,φ 3 ) I 3 δ, the set u(m ε,δ(φ 1,φ,φ 3 )) is an open convex poyhedron in R 3 in the foowing cases: (i) ε = 1 or (ii) (ε,δ) = (1,1) and φ i [ π,π],i = 1,,3. Proof. (i) When ε = 1, we have figured out the set M ε,δ (φ 1,φ,φ 3 ) in Lemma 4.1. If the type of φ k is δ = 1, by Lemma 3.6, we need k > 0 which is the same as (4.6) cosφ k = cosh k +sinhr i sinhr j coshr i coshr j < 1+sinhr isinhr j coshr i coshr j. In this case u i = 1 r i cosht dt = π ( π arctaneri,0). Then (4.7) sinhr i = 1, coshr i = 1. tanu i sinu i By substituting (4.7) into (4.6), we obtain cosφ k < cos(u i +u j ). Since φ k (0,π], u i u j (0,π), we see that k > 0 if and ony if u i + u j > φ k. Then u(m ε,δ (φ 1,φ,φ 3 )) = {(u 1,u,u 3 ) R 3 <0 u i + u j > φ k,{i,j,k} = {1,,3}}. The ast description shows that u(m ε,δ (φ 1,φ,φ 3 )) is a convex poyhedron. If the type of φ k is δ = 0, we need k > 0 which is euivaent to φ k = cosh k +cosh(r i r j ) > 1+cosh(r i r j ) = 1 +e e ri+rj e ri+rj (e ri rj ). Since in this case u i = 1 r i e dt = e ri < 0,, we see that t k > 0 is the same as have u i +u j > φ k. Thus u(m ε,δ (φ 1,φ,φ 3 )) = {(u 1,u,u 3 ) R 3 <0 i > 0 for a i} ={(u 1,u,u 3 ) R 3 <0 u i + u j > φ k,{i,j,k} = {1,,3}}. The ast description shows that u(m ε,δ (φ 1,φ,φ 3 )) is a convex poyhedron. If the type of φ k is δ = 1, we need k > 0 which is the same as Hence k > 0 if and ony if coshφ k = cosh k +coshr i coshr j sinhr i sinhr j > 1+coshr icoshr j sinhr i sinhr j = 1 (tanh r i tanh r j + 1 tanh ri rj tanh e φ k < tanh r i tanh r j. ).

21 RIGIDITY OF POLYHEDRAL SURFACES, II 1 It foows that k > 0 is the same as, Since in this case u i = r i 1 sinht ntanh r i +ntanh r j > φ k. dt = ntanh ri < 0, we see that k > 0 if and ony if u i +u j > φ k. It foows that u(m ε,δ (φ 1,φ,φ 3 )) = {(u 1,u,u 3 ) R 3 <0 u i+u j > φ k,{i,j,k} = {1,,3}}. The ast description shows that u(m ε,δ (φ 1,φ,φ 3 )) is a convex poyhedron. (ii)whenε = 1,δ = 1andφ k [ π,π],thurstonobservedthatm 1,1(φ 1,φ,φ 3 ) = R 3 >0. Indeed, due to φ i [ π,π], we see i > r j. Simiary, j > r i. Hence i + j > r j + r i > k. This shows that 1,, 3 are the engths of a hyperboic triange. In this case u i = r i 1 sinht dt = ntanh ri < 0, Thus u(m 1,1(φ 1,φ,φ 3 )) = R 3 <0. Lemma 4.3. For ε = ±1 and fixed (φ 1,φ,φ 3 ) Iδ 3, the Jacobi matrix A of the function (θ 1,θ,θ 3 ) = (θ 1 (u),θ (u),θ 3 (u)) : u(m ε,δ (φ 1,φ,φ 3 )) R 3 is symmetric. Proof. Considerthe(ε,ε,δ) triange v i v j k infigure1withedgeengthsr i,r j, k and opposite generaized anges a ji,a ij,φ k. By appying the derivative cosine aw (3.10) to v i v j k, the third row of the matrix in (3.10) is dφ k = ρ δ(φ k ) detgθ (ρ ε (a ji)dr i +ρ ε (a ij)dr j d k ). Since φ k is fixed, then dφ k = 0. We have d k = ρ ε (a ji)dr i +ρ ε (a ij)dr j. For ε = ±1, we have u i = 1 r i τ εδ (t) dt. Then dr i = τ εδ (r i )du i. Thus d 1 0 ρ ε d = (a 3) ρ ε (a 3) ρ ε(a 13 ) 0 ρ ε(a 31 ) dr 1 dr d 3 ρ ε (a 1) ρ ε (a 1) 0 dr 3 (4.8) = 0 ρ ε(a 3 ) ρ ε(a 3 ) ρ ε (a 13) 0 ρ ε (a 31) ρ ε(a 1 ) ρ ε(a 1 ) 0 τ εδ(r 1 ) τ εδ (r ) τ εδ (r 3 ) du 1 du du 3 For the (ε,ε,ε) triange v 1 v v 3 with anges θ 1,θ,θ 3 and edge engths 1,, 3, by the derivative cosine aw (3.9) and (4.8), we have dθ 1 dθ 1 = τ 1( 1 ) τ 1 ( ) 0 1 ρ ε (θ 3) ρ ε (θ ) ρ ε(θ 3 ) 1 ρ ε(θ 1 ) dθ detg τ 1 ( 3 ) ρ ε (θ ) ρ ε (θ 1) 1 0 ρ ε (a 3) ρ ε (a 3) ρ ε(a 13 ) 0 ρ ε(a 31 ) τ εδ(r 1 ) τ εδ (r ) 0 du 1 du ρ ε (a 1) ρ ε (a 1) τ εδ (r 3 ) du 3 =: 1 detg N du 1 du du 3. To show the Jacobi matrix A of (θ 1 (u),θ (u),θ 3 (u)) is symmetric, we ony need to check that N = (N ij ) is symmetric. In fact N ij = τ 1 ( i )τ εδ (r j )( ρ ε(a jk )+ρ ε(θ j )ρ ε(a ji ))..

22 REN GUO AND FENG LUO By cosine aw (3.5), N ij = τ 1 ( i )τ εδ (r j )( ετ εδ (r k)+τ εδ (r j)τ 1 ( i) τ εδ (r j )τ 1 ( i ) + ετ 1( j )+τ 1( i )τ 1( k ) τ 1 ( i )τ 1 ( k ) = ετ 1 ( k)[ τ 1 ( k)+τ εδ (r j)τ 1 ( j)+τ εδ (r i)τ 1 ( i)] τ 1 ( k) + [τ ετ εδ (r i)+τ εδ (r j)τ 1( k ) ) τ εδ (r j )τ 1 ( k ) 1 ( k) τ1 ( k)]τ εδ (r j)τ 1 ( i)+ε τ εδ (r i)τ 1 ( j) τ1 (. k) Since ε = ±1,τ 1 ( k ) = 1 e k 1 e k = sinh k, we have τ 1 ( k) τ1 ( k) = 1 = ε. Therefore N ij is symmetric in the index i,j. Lemma4.4. Given (φ 1,φ,φ 3 ) I 3 δ, the Jacobi matrix Aof (θ 1,θ,θ 3 ) = (θ 1 (u),θ (u),θ 3 (u)) : u(m ε,δ (φ 1,φ,φ 3 )) R 3 is negative definite in the foowing cases: (i) ε = 1 or (ii) (Coin de Verdiére [4], Chow-Luo [3]) (ε,δ) = (1,1) and φ i [ π,π],i = 1,,3. We remark that the case (ii) for φ i = π was first proved by Coin de Verdiére [4], and was proved for φ i [ π,π] in [3] using the Mape program. Our proof of (ii) is new. 1 Proof. In the proof of Lemma 4.3, the Jacobi matrix A = detg N. Hence it is sufficient to show N is positive definite. First detn > 0. Indeed N is a product of four matrixes. The first one and forth one are diagona matrixes with positive determinant. By Lemma 3.3, the determinant of the second matrix (negative of an ange Gram matrix) is positive. The determinant of the third matrix is ρ ε (a 1)ρ ε (a 3)ρ ε (a 31)+ρ ε (a 3)ρ ε (a 1)ρ ε (a 13) > 0. Since the set u(m ε,δ (φ 1,φ,φ 3 )) is connected and the detn 0, to show N is positive definite, we ony need to check N is positive definite at one point in u(m ε,δ (φ 1,φ,φ 3 )). We choose the point such that r 1 = r = r 3 = r. f k k r h r v i a ij R k a ji vj Figure 13.

23 RIGIDITY OF POLYHEDRAL SURFACES, II 3 Now in Figure 1 and Figure 13, in the (ε,ε,δ) triange v i v j k with edge engths r,r, k and opposite generaized anges a ij = a ji,φ k, et h be the geodesic ength reaizing the distance between the edge v i v j and the generaized vertex k. In the (ε,1,δ)-triange v i R k, where R k is perpendicuar to v i v j, by the cosine aw (3.5), we have cos π = τ εδ (r)+τ δ (h)τ ε ( k ) τ δ (h)τ ε (. k ) Thus τ δ (h) = τ εδ (r)/τ ε ( k ). Aso in v i R k, by the cosine aw (3.5), we have Since then (4.9) ρ ε(a ij ) = ετ δ (h)+τ ε ( k )τ εδ (r) τ ε ( k )τ εδ (r) = τ εδ (r)[ ε+τ ε ( k )] τ ε ( k )τ( k )τ εδ (r). ε+τ ε () = ε+(1 e + 1 εe ) = ( 1 e 1 εe ) = τ ε (), By substituting (4.9) into N, et N 1 = 1 ρ ε (θ 3) ρ ε (θ ) ρ ε(θ 3 ) 1 ρ ε(θ 1 ) ρ ε (θ ) ρ ε (θ 1) 1 ρ ε (a ij) = τ εδ (r)τ ε( k ) τ εδ (r)τ ε( k ). 0 τ ε ( 1 )/τ ε( 1 ) τ ε( 1 )/τ ε( 1 ) τ ε ( )/τ ε ( ) 0 τ ε( )/τ ε ( ) τ ε ( 3 )/τ ε (3 ) τ ε( 3 )/τ ε (3 ) 0 Then N,N 1 differ by eft and right mutipication by diagona matrices of positive diagona entries. We wi show that the determinants of the 1 1, principa submatrices ofn 1 are positive. This impies that the determinants of the 1 1, principa submatrices of N are positive. Thus N is positive definite. Indeed, the determinant of the 1 1 principa submatrix of N 1 is (4.10) ρ ε(θ 3 ) τ ε( ) τ ε( ) +ρ ε(θ ) τ ε( 3 ) τ ε( 3 ). And the determinant of the principa matrix of N 1 is (4.11) [ρ ε (θ 3) 1] τ ε( 1 ) τ ε ( ) τ ε( 1 ) τ ε( ) +[ρ ε (θ )+ρ ε (θ 1)ρ ε (θ 3)] τ ε( ) τ ε ( 3 ) τ ε( ) τ ε( 3 ) +[ρ ε(θ 1 )+ρ ε(θ )ρ ε(θ )] τ ε( 1 ) τ ε (1 ) τ ε ( 3 ) τ ε (3 ). (i) If ε = 1, then ρ ε (θ i) = coshθ i. Each term in (4.10) and (4.11) is positive. Hence (4.10) and (4.11) are positive. (ii) If ε = 1, then ρ ε (θ i) = cosθ i. We see that the expression in (4.10) is positive is the same as (4.1) cosθ 3 tanh +cosθ tanh 3 > 0. By cosine aw, (4.1) is euivaent to (4.13) cosh 3 +cosh 1 cosh sinh + cosh +cosh 1 cosh 3 sinh 3 > 0. sinh 1 sinh 1+cosh sinh 1 sinh 3 1+cosh 3.

24 4 REN GUO AND FENG LUO By cacuation, (4.13) is euivaent to (4.14) cosh 1 > cosh +cosh 3 +cosh +cosh 3 cosh cosh 3 +cosh +cosh 3. Since 1 > 3, therefore cosh 1 > cosh( 3 ). To show (4.14) hods, it is enough to check (4.15) cosh cosh 3 sinh sinh 3 cosh +cosh 3 +cosh +cosh 3 cosh cosh 3 +cosh +cosh 3. We simpify the notation by introducing a := cosh > 1,b := cosh 3 > 1. Then (4.15) is rewritten as (4.16) ab (a 1)(b 1) a +b +a+b. ab+a+b (4.16) is euivaent to (4.17) ab a +b +a+b ab+a+b (a 1)(b 1). Since a > 1,b > 1, the eft hand side of (4.17) is positive. To show (4.17) hods, we suare the two sides and simpify. We have (ab 4 +a 4 b a 3 b a b 3 )+(a 4 +b 4 a b )+(a 3 +b 3 ab a b) 0 (ab+1)(a 3 +b 3 a b ab )+(a b ) 0 (ab+1)(a+b)(a b) +(a b ) 0. This shows that the expression in (4.10) is positive. We see that the expression in (4.11) is positive is the same as (4.18) sin θ 3 tanh 1 tanh +[cosθ +cosθ 1 cosθ 3 ]tanh tanh 3 +[cosθ 1 +cosθ cosθ 3 ]tanh 1 tanh 3 > 0. By the cosine aw, (4.18) is euivaent to (4.19) sin θ 3 tanh 1 tanh +cosh sinθ 1 sinθ 3 tanh tanh 3 By the sine aw, (4.19) is euivaent to +cosh 1 sinθ sinθ 3 tanh 1 tanh 3 > 0. (cosh 1 sinh tanh 1 +cosh sinh 1 tanh )tanh 3 > sinh 3tanh 1 tanh cosh 1sinh + cosh sinh 1 > sinh 3 tanh tanh 1 tanh 3 cosh 1 (1+cosh )+cosh (1+cosh 1 ) > 1+cosh 3 (cosh 1 +cosh 1)+(cosh 1 cosh cosh 3 ) > 0. This is true since cosh 1 + cosh > 1 and cosh 1 cosh > cosh 1 cosh + sinh 1 sinh = cosh( 1 + ) > cosh 3. Thus shows that the expression in (4.11) is positive.

25 RIGIDITY OF POLYHEDRAL SURFACES, II 5 Coroary 4.5. Given (φ 1,φ,φ 3 ) I 3 δ, the differentia 1-form 3 i=1 θ idu i is cosed in u(m ε,δ (φ 1,φ,φ 3 )). Furthermore, its integration w(u) = u 3 i=1 θ idu i is a stricty concave function defined in u(m ε,δ (φ 1,φ,φ 3 )) if either (i) ε = 1 or (ii) (ε,δ) = (1,1) and φ i [ π,π],i = 1,,3. Furthermore w (4.0) = θ i. u i Let s prove the rigidity of circe packing for ε = 1, or (ε,δ) = (1,1) and Φ : E [ π,π]. Fix Φ : E I δ. For each r N ε,δ (Φ), define the function u in term of r as in (4.5) by u(v) = r(v) 1 τ εδ (t) dt. The set of a vaues of u is u(n ε,δ (Φ)) which is an open convex set in R V due to Lemma 4.. To be more precisey, et us abe vertices V = {v 1,...,v n } and use {i,j,k} F to denote a generaized triange in F with vertices v i,v j,v k. Let u i = u(v i ). Then u(n ε,δ (Φ)) = {u R V (u i,u j,u k ) u(m ε,δ (φ i,φ j,φ k )) if {i,j,k} F}isconvexsinceitistheintersectionoftheconvexset {i,j,k} F u(m ε,δ(φ i,φ j,φ k )) with affine spaces. WenowusethefunctioninCoroary4.5tointroduceafunctionW : u(n ε,δ (Φ)) R by defining W(u) = w(u i,u j,u k ) {i,j,k} F where the sum is over a trianges in F with vertices {v i,v j,v k }. By Coroary 4.5, W is smooth and stricty concave down in u(n ε,δ (Φ)) so that W u i = K(v i ) by (4.0) and the definition of K. By Lemma.1, the map W : u(n ε,δ (Φ)) R V is a smooth embedding. Thus the map from {r N ε,δ (Φ)} to { K R V >0 } is a smooth injective map The image of K for ε = 1. To prove that the image X = { K(v) v V} = R V >0 for ε = 1, we wi show that X is both open and cosed in RV >0. By definition, X R V >0 and X is open due to the injectivity of the map from {r N 1,δ(Φ)} to R V >0. It remains to prove that X is cosed in RV >0. To this end, et us first estabish the foowing emma. Lemma4.6. Let ε = 1 and (φ i,φ j,φ k ) be given so that (θ i,θ j,θ k ) = (θ i (r i,r j,r k ), θ j (r i,r j,r k ),θ k (r i,r j,r k )) are considered as functions of r i,r j,r k J δ. Then and the convergence is uniform. im θ k(r i,r j,r k ) = 0 r k Proof. We ony need to check that for constants a,b,c J δ the foowing hods. (1) If imr i = a,imr j = b,imr k =, then imθ k = 0. () If imr i = c,imr j =,imr k =, then imθ k = 0.