Ideal polyhedral surfaces in Fuchsian manifolds

Let S g , n be a surface of genus g > 1 with n > 0 punctures equipped with a complete hyperbolic cusp metric. Then it can be uniquely realized as the boundary metric of an ideal Fuchsian polyhedron. In the present paper we give a new variational proof of this result. We also give an alternative proof of the existence and uniqueness of a hyperbolic polyhedral metric with prescribed curvature in a given conformal class.


Theorems of Alexandrov and Rivin
Consider a convex polytope P ⊂ R 3 . Its boundary is homeomorphic to S 2 and carries the intrinsic metric induced from the Euclidean metric on R 3 . What are the properties of this metric?
A metric on S 2 is called polyhedral Euclidean if it is locally isometric to the Euclidean metric on R 2 except finitely many points, which have neighborhoods isometric to an open subset of a cone (an exceptional point is mapped to the apex of this cone). If the conical angle of every exceptional point is less than 2π, then this metric is called convex. It is clear that the induced metric on the boundary of a convex polytope is convex polyhedral Euclidean. One can ask a natural question: is this description complete, in the sense that every convex polyhedral Euclidean metric can be realized as the induced metric of a polytope? This question was answered positively by Alexandrov in 1942, see [2,3]:   2 there is a convex polytope P ⊂ R 3 such that (S 2 , d) is isometric to the boundary of P. Moreover, such P is unique up to an isometry of R 3 .

For every convex polyhedral Euclidean metric d on S
Note that P can degenerate to a polygon. In this case P is doubly covered by the sphere. The uniqueness part follows from the modified version of Cauchy's global rigidity of convex polytopes. The original proof by Alexandrov of the existence part is not constructive. It is based on some topological properties of the map from the space of convex polytopes to the space of convex polyhedral Euclidean metrics. Another proof was done by Volkov in [30], a student of Alexandrov, by considering a discrete version of the total scalar curvature.
A new proof of Theorem 1.1 was proposed by Bobenko and Izmestiev in [4]. For a fixed metric they considered a space of polytopes with conical singularities in the interior realizing this metric at the boundary. In order to remove singularities they constructed a functional over this space and investigated its behavior. Such a proof can be turned into a practical algorithm of finding a polytopal realization of a given metric. It was implemented by Stefan Sechelmann. One should note that this algorithm is approximate as it uses numerical methods of solving variational problems, but it works sufficiently well for practical needs.
We turn our attention to hyperbolic metrics on surfaces. By S g,n we mean the surface S g of genus g with n marked points. Let d be a complete hyperbolic metric of a finite volume with n cusps at the marked points (in what follows we will call it a cusp metric). In [21] Rivin proved a version of Theorem 1.1 for cusp metrics on the 2-sphere: Theorem 1.2 For every cusp metric d on S 0,n there exists a convex ideal polyhedron P ⊂ H 3 such that (S 0,n , d) is isometric to the boundary of P. Moreover, such P is unique up to an isometry of H 3 .
Rivin gave a proof in the spirit of Alexandrov's original proof. Very recently, in [28] Springborn gave a variational proof of Theorem 1.2.

Ideal Fuchsian polyhedra and Alexandrov-type results
It is of interest to generalize these results to surfaces of higher genus. We restrict ourselves to the case g > 1 and to cusp metrics. Define G := π 1 (S g ). Let ρ : G → Iso + (H 3 ) be a Fuchsian representation: an injective homomorphism such that its image is discrete and there is a geodesic plane invariant under ρ(G). Then F := H 3 /ρ(G) is a complete hyperbolic manifold homeomorphic to S g × R. The image of the invariant plane is the so-called convex core of F and is homeomorphic to S g . The manifold F is symmetric with respect to its convex core. The boundary at infinity of F consists of two connected components.
A subset of F is called convex if it contains every geodesic between any two its points. It is possible to consider convex hulls with respect to this definition. An ideal Fuchsian polyhedron P is the closure of the convex hull of a finite point set in a connected component of ∂ ∞ F. It has two boundary components: one is the convex core and the second is isometric to (S g,n , d) for a cusp metric d. We will always refer to the first component as to the lower boundary of P and to the second as to the upper boundary. The following result can be considered as a generalization of the Alexandrov theorem to surfaces of higher genus with cusp metrics: Theorem 1. 3 For every cusp metric d on S g,n , g > 1, n > 0, there exists a Fuchsian manifold F and an ideal Fuchsian polyhedron P ⊂ F such that (S g,n , d) is isometric to the upper boundary of P. Moreover, F and P are unique up to isometry.
This theorem was first proved by Schlenker in his unpublished manuscript [24]. Another proof was given by Fillastre in [10]. Both these proofs were non-constructive following the original approach of Alexandrov. One of the purposes of the present paper is to give a variational proof of Theorem 1.3 by turning it to a finite dimensional convex optimization problem in the spirit of papers [4,11,28]. In contrast with the previous proofs, it can be transformed to a numerical algorithm of finding the realization of a given cusp metric as a Fuchsian polyhedron.
Several authors studied Alexandrov-type questions for hyperbolic surfaces of genus g > 1 in more general sense. They are collected in the following result of Fillastre [10]. Let S g,n,m be S g with n marked points and m disjoint closed discs removed. Consider a complete hyperbolic metric d on S g,n,m with cusps and conical singularities at marked points and complete ends of infinite area at removed disks, i.e. boundary components at infinity. One can see an example in the projective model as the intersection of H 3 with a cone having the apex outside of H 3 (hyperideal point). Then (S g,n,m , d) can be uniquely realized as the induced metric at the upper boundary of a generalized Fuchsian polyhedron (with ideal, hyperideal and conical vertices). It would be interesting to extend the variational technique to this generalization. This requires a substantial additional work. The case of general metrics and g = 0 was proved by Schlenker in [23]. The case of g > 1 with only conical singularities was first proved in an earlier paper of Fillastre [9] and with only cusps and infinite ends in the paper [25] by Schlenker. The torus case with only conical singularities was the subject of the paper [11] by Fillastre and Izmestiev. The last paper also followed the scheme of variational proof. All other mentioned works were done in the framework of the original Alexandrov approach. Recently another realization result of metrics on surfaces with conical singularities in a Lorentzian space was obtained by Brunswic in [6]. Although, he worked in a different setting, his methods were close to ours: he also used the discrete Hilbert-Einstein functional and Epstein-Penner decompositions.

Discrete conformality
There is a connection between convex realizations of polyhedral metrics and discrete uniformization problems (see [5] for a detailed exposition).
Denote the set of marked points of S g,n by B. Similarly to Euclidean case, we say that a metric d on S g,n is hyperbolic polyhedral if it is locally hyperbolic except points of B where d can be locally isometric to a hyperbolic cone. Thus, the set of conical singularities is a subset of B. For B i ∈ B we define the curvature κ d (B i ) to be 2π minus the cone angle of B i . Note that if T is a geodesic trianglulation of (S g,n , d) with vertices at B, then d is determined by the side lengths of T .
We say that T is Delaunay if when we develop any two adjacent triangles to H 2 , the circumbscribed disc of one triangle does not contain the fourth vertex in the interior. We call two polyhedral hyperbolic metrics d and d discretely conformally equivalent if there exists a sequence of pairs {(d t , T t )} m t=1 , where d t is a polyhedral hyperbolic metric on S g,n , T t is a Delaunay triangulation of (S g,n , d t ), d 1 = d , d m = d and for every t either (i) d t = d t+1 in the sense that (S g,n , d t ) is isometric to (S g,n , d t+1 ) by an isometry isotopic to identity with respect to B, or (ii) T t = T t+1 and there exists a function u : B → R such that for every edge e of T t with vertices B i and B j we have sinh where len d t (e) is the length of e in d t . The following theorem is proved in [13]: Theorem 1.4 Let d be a polyhedral hyperbolic metric on S g,n and κ : B → (−∞; 2π) be a function satisfying Then there exists a unique metric d discretely conformally equivalent to d such that We point out that a similar statement for polyhedral Euclidean metrics was proved in the preceding paper [14].
The condition (1) is necessary by the discrete Gauss-Bonnet theorem: Corollary 1.5 Every polyhedral hyperbolic metric on S g,n is discretely conformally equivalent to a unique hyperbolic metric.
The existence of d is proved in [13] in indirect way close to the Alexandrov method. After that it is noted that d can be found as the critical point of an appropriate strictly convex functional, although the authors do not provide an explicit formula of it. The authors of [13] also observe that Corollary 1.5 (discrete uniformization) in fact is equivalent to Theorem 1.3. In Sect. 3 we reformulate Theorem 1.4 in terms of Fuchsian polyhedra with singularities. We establish the existence and uniqueness in a different way using explicit variational approach combined with geometric observations.

Related work and perspectives
In [16] Leibon gave a characterization of convex ideal Fuchsian polyhedra in terms of their exterior dihedral angles. More precisely, consider S g,n and a triangulation T with vertices at marked points. Assign a real number θ e to each edge e of T . We call the assignment Delaunay if all θ e ∈ (0; π). We call it non-singular if the sum of θ e around a vertex is equal to 2π. Finally, we call it feasible if for every subset X of triangles of T we have Then the main result of [16] can be reformulated as follows: This is similar to the characterization of the dihedral angles of convex ideal polyhedra in the hyperbolic 3-space given by Rivin in [22]. However, the methods of [16] are different from [22] (although they develop the ideas of another paper of Rivin [20]). For an assignment θ e Leibon defines a conformal class of angle structures on a pair (S g,n , T ), which can be parametrized as an open bounded convex polytope in a Euclidean space. He explores the volume functional on this space, which turns out to be strictly concave. Then Leibon shows that critical points of this functional correspond to ideal Fuchsian polyhedra and that under his conditions it attains the maximum in the interior.
Our approach to Theorem 1.3 can be informally considered as a dual to the mentioned one. Instead of angle structures we consider the space of ideal Fuchsian polyhedra with conical singularities in the interior. In order to remove the singularities we use the so-called discrete Hilbert-Einstein functional. There are numerous differences between these two frameworks. For instance, Leibon considers a fixed boundary combinatorics of a polyhedron, but in our case it is allowed to change. There is a hope that it will be possible to use one of these methods in order to provide a new proof of the hyperbolization of 3-manifolds relying on finite dimensional variational methods only. We refer the reader to the article [12] considering angle structures in this context and to the survey [15] discussing perspective applications of the discrete Hilbert-Einstein functional to various geometrization and rigidity problems.
It may be of interest to investigate the following generalization of Theorem 1.3. Define a double ideal Fuchsian polyhedron P as the convex hull of n > 0 ideal points in one component of ∂ ∞ F and m > 0 ideal point in the other one. The boundary of P consists of two components isometric to (S g,n , d 1 ) and (S g,m , d 2 ) for two cusp metrics d 1 and d 2 .
One can ask if for any two cusp metrics metrics there is a double ideal Fuchsian polyhedron realizing both metrics at its boundary? The answer to this naive question is no. A double ideal Fuchsian polyhedron can be cut into two ideal Fuchsian polyhedra, which have the same metric at their lower boundary. But Theorem 1.3 implies that (S g,n , d) uniquely determines it. Take two cusp metrics such that the corresponding metrics on the lower boundaries are not isometric, then these cusp metrics can not be simultaneously realized by a double ideal Fuchsian polyhedron (and clearly Theorem 1.3 implies that otherwise they can). However, we may consider polyhedra in so-called quasifuchsian manifolds.
A representation ρ of G := π 1 (S g ) in Iso + (H 3 ) is called quasifuchsian if it is discrete, faithful and the limit set at the boundary at infinity is a Jordan curve. A hyperbolic manifold F is quasifuchsian if it is isometric to H 3 /ρ(G). As in the Fuchsian case, F is homeomorphic to S g × R and has the well-defined boundary at infinity. The convex core of F is the image of the convex hull of the limit set under the projection of H 3 onto F. It is 3-dimensional if F is not Fuchsian. An ideal quasifuchsian polyhedron is the convex hull of n > 0 ideal points in one component of ∂ ∞ F and m > 0 ideal point in the other one (as the convex core is 3-dimensional, the case of vertices belonging to only one boundary component has no significance in contrast to the Fuchsian case).
To state an analog of the uniqueness part of Theorem 1.3 we need a way to connect Teichmüller spaces for surfaces with different number of punctures. A marked cusp metric is a cusp metric on S g,n together with a marking monomorphism π 1 (S g ) → π 1 (S g,n ). A quasifuchsian manifold F has a canonical identification π 1 (F) π 1 (S g ). For every quasifuchsian polyhedron P it induces monomorphisms ι + and ι − of π 1 (S g ) to the fundamental groups of the upper and lower boundary components of P respectively. Conjecture 1.7 Let d 1 and d 2 be two marked cusp metrics on S g,n and S g,m respectively, n, m > 0. Then there is a unique ideal quasifuchsian polyhedron P such that one component of its boundary is isometric to (S g,n , d 1 ), the other one is isometric to (S g,m , d 2 ) and the compositions of marking monomorphisms with the maps induced by these isometries coincide with ι + and ι − .
A similar problem for metrics with conical singularities without uniqueness part was done in the PhD thesis of Slutskiy [26] by the method of smooth approximation. Later he extended this result to the more general case of metrics of curvature K −1 in Alexandrov sense [27].
It is interesting to adapt our proof of Theorem 1.3 to this conjecture. As a next step, manifolds with more complicated topology can be considered. It is a perspective direction of further research.

Overview of the paper
In Sect. 2 we overview some hyperbolic geometry that will be used in the rest. In Sect. 3 we define our main objects, which are called convex prismatic complexes. These are ideal Fuchsian polyhedra with conical singularities around inner edges incident to cusps and orthogonal to the lower boundary. We formulate the characterization of convex prismatic complexes in terms of their conical angles. This appears to be equivalent to Theorem 1.4. The proof of equivalence is postponed to Sect. 4.3.
The rest can be divided into four major parts. First, we show that convex prismatic complexes can be parametrized by the "lengths" of inner edges. This is done in Sect. 4.1. Then we prove that in fact any lengths define a complex. To this purpose we investigate a connection with Epstein-Penner decompositions of decorated cusp surfaces in Sect. 4.2. In Sect. 5.1 we introduce the discrete Hilbert-Einstein functional and explain how its (unique) critical point gives a convex prismatic complex with prescribed conical angles. Section 5.2 is devoted to a proof of the existence of the critical point. To this purpose we study the behavior of the functional "near infinity" by geometric means.

Hyperboloid model of hyperbolic space
In this section we fix some notation and mention results from basic hyperbolic geometry that will be used below.
By letters with lines above x we denote points of R 1,3 . Identify By H 3 we denote the union of H 3 with its boundary at infinity. We identify R 1,2 with the plane {x : Define the three-dimensional de Sitter space and a half of the cone of light-like vectors There is a natural correspondence between ideal points of H 3 and generatrices of L. An horosphere is the intersection of H 3 and an affine plane L with light-like normal vector. Then define its polar dual l ∈ L by the equation for all x ∈ L. Slightly abusing the notation, we will use the same letter both for an horosphere and for the defining plane. A hyperbolic plane M in H 3 is the intersection of H 3 with a linear two-dimensional timelike subspace of R 1,3 with a space-like unit normal vector m. Again, in our notation we will not distinguish these planes in R 1,3 from the corresponding planes in H 3 . (The same also holds for hyperbolic lines in H 2 .) However, for points we do distinguish: if A ∈ H 3 , then its defining vector in the hyperboloid model is denoted by x A .
We will need the following interpretation of scalar products between vectors of R 1,3 in terms of distances in H 3 (see [19] or [29]): where the distance is signed: it is positive if x A is outside of the horoball bounded by L and negative otherwise.
2. If m ∈ dS 3 and l ∈ L, then where the distance between a plane and a horosphere is the length of the common perpendicular taken with the minus sign if the plane intersects the horosphere. The sign of the right hand side depends on at which halfspace with respect to M the center of L lies.
3. If l 1 ∈ L and l 2 ∈ L, then where the distance between two horospheres is the length of the common perpendicular taken with the minus sign if these horospheres intersect.
From now on we assume that ideal points under our consideration are always equipped with (fixed) horospheres. Under this agreement, we use the word distance between two points even in the cases when one of them or both are ideal. In the latter case, by the distance we mean the signed distance between the corresponding horospheres: we write it with the minus sign if the horospheres intersect. In the former case, the distance means the signed distance from the non-ideal point to the horosphere at the ideal point. Similarly, we speak about the length of a segment even if one or two of its endpoints are ideal.

Lemma 2.2 Let ABC be an ideal hyperbolic triangle with side lengths a, b and c respectively and α A be the length of the part of the horosphere at A inside the triangle. Then
A proof can be found in [18], Proposition 2.8. For the differential formulas in Sect. 5 we will need a semi-ideal version of this lemma: Proof Consider the hyperboloid model. LetC be the intersection of the ray AC with boundary at infinity and put the horocycle atC passing through C (see Fig. 1). Denote the side lengths of this new ideal decorated triangle byã,b = b andc = c. From Lemma 2.2 it follows that

Lemma 2.3 Let ABC be a hyperbolic triangle with ideal vertices A and B, non-ideal vertex C, side lengths a, b and c respectively and α A be the length of the part of the horosphere at A inside the triangle. Then
Hence, we need to calculateã. We have Hence, we obtain that λ = 2. Now calculate We obtain μ = −e −b . We need only to evaluate

Epstein-Penner decompositions
We recall the concept of Epstein-Penner ideal polygonal decomposition of a decorated cusped hyperbolic surface (see [8,17,18]). Let (S g,n , d) be a hyperbolic cusp surface. Fix a decoration, i.e. an horocycle at every cusp. Then the space of all decorations can be identified with R n . A point r ∈ R n corresponds to the choice of horocycles at the distances r 1 , . . . , r n from the fixed ones. Consider the hyperboloid model of H 2 . Represent (S g,n , d) as H 2 / where H 2 ⊂ R 1,2 and is a discrete subgroup of Iso + (H 2 ) isomorphic to π 1 (S g ). Take the decoration defined by r ∈ R n . By L 1 i , L 2 i , . . . denote horocycles in the orbit of the horocycle at i-th cusp under the action of . By L denote the union of their polar vectors l k i . Let C be the convex hull of the set {l j i } in R 1,2 . Its boundary ∂C is divided into two parts ∂ l C ∂ t C consisting of light-like points and time-like points. Below we describe well-known properties of this construction. For proofs we refer to [17], Chapter 5.1.7, [8] and [18].
• The boundary ∂ t C is decomposed into countably many Euclidean polygons. The supporting plane containing each polygon is space-like. This decomposition is -invariant and projects to a decomposition of S g,n into finitely many ideal polygons.

Definition 2.5
This decomposition is called the Epstein-Penner decomposition of (S g,n , d) with the decoration r.

Definition 2.6
An Epstein-Penner triangulation of (S g,n , d) is a geodesic triangulation with vertices at cusps that refines the Epstein-Penner decomposition for some decoration r.

Trapezoids and prisms
Definition 2.7 A trapezoid is the convex hull of a segment A 1 A 2 ⊂ H 2 and its orthogonal projection to a line such that the segment A 1 A 2 does not intersect this line. It is called ultraparallel if the line A 1 A 2 is ultraparallel to the second line. It is called semi-ideal if both A 1 and A 2 are ideal. If some vertices are ideal, then they are equipped with canonical horocycles.
By B i denote the image of A i under the projection, i = 1, 2. We refer to A 1 A 2 as to the upper edge, to B 1 B 2 as to the lower edge and to A i B i as to the lateral edges. The vertices A i sometimes are also called upper and B i are called lower. We denote by l 12 the length of A 1 A 2 , by a 12 the length of B 1 B 2 , by r i the length of the edge A i B i , by α 12 and α 21 the angles at vertices A 1 and A 2 (or the lengths of horocycles if the vertices are ideal) and by ρ 12 the distance from the line A 1 A 2 to the line B 1 B 2 in the case of ultraparallel trapezoid (Fig. 2).   Similarly to trapezoids, by B i we denote the image of A i under the projection, i = 1, 2, 3, and we distinguish edges and faces of a prism into upper, lower and lateral. The lateral faces of a prism are trapezoids. The dihedral angles of edges B i B j are equal π/2. The dihedral angles of edges A 1 A 2 , A 2 A 3 and A 3 A 1 are denoted by φ 3 , φ 1 and φ 2 respectively. The dihedral angle of an edge A i B i is denoted by ω i (Fig. 3).
In Sect. 3 we will use semi-ideal prisms to construct our main objects: convex prismatic complexes. In most cases we need only semi-ideal ultraparallel prisms and trapezoids. The only place, where not ultraparallel prisms appear, is Lemma 3.6 where we prove that actually convex prismatic complexes consist only from ultraparallel ones. The only place, where not semi-ideal prisms are used, is the proof of Lemma 4.1. In order to prove this lemma, we need to show that ultraparallel prisms (not necessarily semi-ideal) are uniquely determined by the lengths of lateral and upper edges.
The proof can be found in [7], Theorem 2.3.1, Formulas (v) and (iv). We need to prove its analogue with one ideal vertex. It will be used further in this subsection to obtain some formulas necessary for Sects. 4 and 5.
Proof Consider the point A ∈ A 1 A 2 inside the horodisk at A 1 . Let B be the projection of A to B 1 B 2 , l be the length A A 2 and r be the length AB. Then from Lemma 2.9 we have Now let l be the modulo of the length A A 1 , hence l = l + l 12 . Extend (if necessarily) AB to the intersection point A with the horocycle at A 1 , let r be the length A A , r be the length A B taken with the minus sign if B is inside the horodisk, then r = r + r . Move the point A to A 1 and consider the limit of the expression: This is because r − l tends to zero and r tends to r 1 . The second formula is obtained similarly.
The first two corollaries will be used in Sect. 3 to justify the definition of a prismatic complex and in the proof of Lemma 4.1:

Prismatic complexes
Let (S g,n , d) be a hyperbolic cusp-surface with n cusps and T be an ideal geodesic triangulation of S g,n with vertices at cusps. By E(T ) and F(T ) denote its sets of edges and faces respectively. The set of cusps is denoted by A = {A 1 , . . . , A n }. We fix an horodisk at each A i and until the end of paper we will refer to it as to the canonical horodisk at A i and to its boundary as to the canonical horocycle.
We consider triangulations in a general sense: there may be loops and multiple edges. It is also possible that some triangles have two edges glued together. But without loss of generality, when we consider a particular triangle (or a pair of distinct adjacent triangles), we denote it as Suppose that a real weight r i is assigned to every cusp A i . Denote the weight vector by r ∈ R n . Let (T , r) be an admissible pair. For each ideal triangle A i A j A h ∈ F(T ) consider a prism from the last definition. By Corollary 2.12 it is unique up to isometry. Canonical horocycles coming from (S g,n , d) detetmine canonical horospheres at each ideal vertex of the prism. (T , r) is a metric space obtained by glying all these prisms via isometries of lateral faces. We choose glying isometries in such a way that canonical horospheres at ideal vertices of prisms match together.

Definition 3.2 A prismatic complex K
For the sake of brevity, in what follows we will write just complex instead of prismatic complex.
If K (T , r) exists, then it is uniquely determined due to Corollary 2.12. The solid angle of a prism at an ideal vertex cuts a Euclidean triangle out of the canonical horosphere at this vertex. In a complex K these triangles around an ideal vertex A i are glued together to form a Euclidean conical polygon, which we call the canonical horosection at A i in K .
Every complex is a complete hyperbolic cone manifold with polyhedral boundary. The boundary consists of two components. The union of upper faces forms the upper boundary coming with a natural isometry to (S g,n , d). This isometry is an important part of the data of K . Formally, a complex is not only a metric space, but a pair: metric space plus an isometry of its upper boundary to (S g,n , d). For convenience, in what follows we will just write (S g,n , d) for the upper boundary of K . The union of lower faces forms the lower boundary, which is isometric to (S g,n , d ) for a polyhedral hyperbolic metric d with conical singularities at points B i . We consider T as a geodesic triangulation of both components. The dihedral angleφ e of an edge e ∈ E(T ) is the sum of dihedral angles in both prisms containing e andθ e = π −φ e is its exterior dihedral angle. (We use tilde in our notation to highlight when we measure angles not in particular prism, but in the whole complex.) The total conical angleω i of an inner edge A i B i is the sum of the corresponding dihedral angles of all prisms containing A i B i andκ i = 2π −ω i is the curvature of A i B i . The conical angle of the point B i in the lower boundary is also equal toω i . Definition 3.3 A complex K is called convex if for every upper edge its dihedral angle is at most π. If K = K (T , r), then the pair (T , r) is also called convex.
Our main aim is to give a variational proof of the following result:  Proof By Theorem 3.4, there exists a complex K with all curvaturesκ i = 0. We need to show that it is isometric to a Fuchsian polyhedron in a Fuchsian manifold. By Corollary 3.5.3 in [17], there exists a unique up to isometry complete hyperbolic 3-manifold F without boundary containing K with π 1 (F) = π 1 (K ) = π 1 (S g ) = G. By Proposition 3.1.3 in [17], there exists a discrete and faithful representation of ρ : G → Iso + (H 3 ) such that F = H 3 /ρ(G). The lower boundary of K is lifted to a totally umbilical ρ-invariant plane in H 3 . Thus, ρ is a Fuchsian representation. It is straightforward that K in F is equal to the closure of the convex hull of the points A i .
Conversely, if P is a Fuchsian polyhedron, then it is isometric to a convex complex K with all curvatures κ i = 0. Thereby, the uniqueness in Theorem 3.4 implies the uniqueness in Theorem 1.3.
In Sect. 4.3 we will show that Theorem 3.4 is equivalent to Theorem 1.4. In the rest of this section we prove the following lemma: Lemma 3.6 Let K be a convex complex. Then each prism of K is ultraparallel.
Suppose the contrary. Let these two planes intersect and l be the line of intersection.
The intersection of M 1 with ∂ ∞ H 3 is a circle. The line l divides it into two arcs. All points A i , A j and A h belong to the same arc and one of them lies between the two others. Assume that this point is A i . Then we call the edge A j A h heavy and two other edges light (see Fig. 4).
Let by the law of sines in a right-angled hyperbolic triangle. It follows that the distances from the light edges to M 2 are both strictly bigger than the distance from the heavy edge. For the dihedral angles of the upper edges we have φ i > π/2 and φ j , φ h < π/2. Indeed, let x ∈ A j A h be the nearest point from this edge to M 2 , x ∈ M 2 and x ∈ l be the bases of perpendiculars from x to M 2 and to l. Then ∠x x x = π/2, ∠x x x < π/2 and φ i = π − ∠x x x > π/2. Next, we consider the ideal vertex A j . Using that the sum of three dihedral angles at one vertex is equal π we obtain Edge A j A h can not be glued in T neither with the edge A i A j nor with A i A h because these edges have bigger distances to the lower face than A j A h . Therefore, there is another triangle A j A h A g ∈ T containing A j A h . Embed the corresponding prism A j A h A g B g B h B j ⊂ K in H 3 in such a way that it is glued with the former prism over the face A j A h B h B j via an orientation-reversing isometry. Then B g ∈ M 2 .
The total dihedral angle at A j A h is less or equal than π. Hence, the plane A j A h A g also intersects M 2 . Therefore, the light edges and the heavy edge are defined for the new prism in the same way. Moreover, it is clear that in this prism the edge A j A h is light. Hence, we see that the distance from the new heavy edge to M 2 is strictly less than the distance from A j A h . Now for this edge we choose the next prism containing it and continue this process. The distances from the heavy edges to M 2 are strictly decreasing in the obtained sequence of prisms. But the number of prisms in K is finite. We get a contradiction.
It remains to consider the case when the upper face is asymptotically parallel to the lower face. It is clear that the contradiction is just the same.

Remark 3.7
This is equivalent to the following statement in the language of [13] (Theorem  14): if T is a Delaunay triangulation of a hyperbolic polyhedral metric d on S g,n , then each triangle has a compact circumcircle (i.e. not horocyclic or hypercyclic).

The space of convex complexes
Denote by K the set of all convex complexes with the upper boundary isometric to (S g,n , d) considered up to marked isometry (an isometry between K 1 and K 2 is called marked if it induces an isometry from (S g,n , d) to itself isotopic to identity with respect to A). In this section we are going to give K a nice parametrization.
Every K ∈ K can be represented as K (T , r). Clearly, if K = K (T , r ), K = K (T , r ) and r = r , then complexes K and K are not marked isometric. This defines a map, which we denote by r : K → R n abusing the notation. In Sect. 4.1 we prove Lemma 4.1 Let (T , r) and K = (T , r) be two convex pairs. Then the complexes K = K (T , r) and K = K (T , r) are marked isometric.

Corollary 4.2 The map r : K → R n is injective.
Hence, K can be identified with a subset of R n . In Sect. 4.2 we show that

The proof of Lemma 4.1
First, we introduce some machinery. Recall that the upper boundary of a convex complex K = K (T , r) is identified with (S g,n , d). Define a function ρ K : S g,n → R >0 to be the distance from X ∈ S g,n to the lower boundary of K .

Definition 4.4
The function ρ K is called the distance function of K .
We need an explicit expression for ρ K . Let s : [x 0 ; x 1 ] → S g,n be a geodesic segment parametrized by length such that its image is contained in a triangle of T . Consider a trapezoid obtained from the segment s and its projection to the lower boundary. Develop it to H 2 and extend its upper and lower boundaries to two ultraparallel lines ψ 1 and ψ 2 respectively. The first formula of Lemma 2.9 shows that ρ K • s has the form for some real number a and positive real number b. Indeed, b is the hyperbolic sine of the distance between ψ 1 and ψ 2 and (x − a) is the distance from a point of ψ 1 to the closest point on ψ 1 to ψ 2 .

Definition 4.5
The function ρ : R → R of the form (2) is called a distance-like function.
We establish some basic properties of distance-like functions that we need for the proof of Lemma 4.1.

Proposition 4.6 Let
be two distance-like functions such that the pair (a 1 , b 1 ) is distinct from the pair (a 2 , b 2 ). Then the equation ρ 1 (x) = ρ 2 (x) has at most one solution.

Proposition 4.7 Let
Using ρ 1 (x 0 ) = ρ 2 (x 0 ) and the fact that b 1 , b 2 are positive we obtain that this is equivalent to The function tanh is strictly increasing. This shows the desired statement.
Proof The first claim is straightforward. For the second claim, let C i ∈ ψ i be the closest point from ψ i to ψ 0 for i = 1, 2. Recall that b i is the hyperbolic sine of the distance from ψ i to ψ 0 and a i is the distance from C i to the horocycle. Observe that the sign of ρ 1 (x) − ρ 2 (x) is the sign of b 1 − b 2 . Also note that a 1 = a 2 if and only if b 1 = b 2 (if and only if lines ψ 1 and ψ 2 coincide) and a i decreases as b i grows.  (a i+1 , b i+1 ). The intersection points x 0 , . . . , x k are kink points of ρ K • s in the sense that ρ K • s is not differentiable at these points, but both the left derivative and the right derivative exist. It is clear that convexity of K means that at every kink point x i the left derivative of ρ K • s is strictly greater than the right derivative. We call a function of this type a piecewise distance-like function (Fig. 5).

Proposition 4.9
Let ρ(x) = arcsinh(b cosh(x − a)) be a distance-like function andρ(x) be a piecewise distance-like function. By ρ i (x) we denote the distance-like function, which coincides withρ(x) on (x i−1 ; x i ). Assume that for some i and for all x ∈ R we have ρ(x) > ρ i (x). Then ρ(x) >ρ(x) for all x ∈ R.
Proof If i = 0, then using Proposition 4.6 for any

Now we can prove Lemma 4.1:
Proof Let A be the intersection point of an edge e of T with an edge e of T . The edge e is a geodesic in (S g,n , d), we parametrize it by the distance to the horocycle at one of its endpoints and look at the restriction of the distance function ρ K . We denote the resulting distance-like function by ρ. Consider also the piecewise distance-like functionρ(x) obtained from the restriction of the distance function ρ K to e . We prove thatρ(x) ρ(x) for every x ∈ R. As before, R = (−∞; is the decomposition forρ, and ρ i is a distance-like function, which coincides withρ on (x i−1 ; x i ). By Proposition 4.8, the sign of ρ(x) − ρ 0 (x) is constant. Suppose that ρ 0 (x) < ρ(x). Then, by Proposition 4.8, we have a < a 0 . By Proposition 4.9, we see that for all x ∈ R,ρ(x) < ρ(x) and by Proposition 4.7 and induction we get a 0 < a 1 < . . . < a k+1 . Therefore, a < a k+1 . On the other hand, consider the parametrization of e by distance to the horosphere at another endpoint. Then the new distance functions are ρ(l e − x) andρ(l e − x), where l e is the length of edge e . We apply Proposition 4.8 one more time and obtain l e − a < l e − a k+1 . This is equivalent to a k+1 < a and gives a contradiction. We also obtain the same contradiction, if we suppose that ρ k (x) < ρ(x). Now suppose that for 1 i k and a point y ∈ [x i−1 ; x i ] we haveρ(y) < ρ(y). By Proposition 4.6 and induction we know that ρ i is strictly bigger thanρ outside of [x i−1 ; x i ]. Also by Proposition 4.6 we see that either for all x ∈ (−∞; y] or for all x ∈ [y; +∞) we have ρ(x) > ρ i (x). Altogether this gives us that either ρ 0 (x) < ρ(x) or ρ k (x) < ρ(x). In any way we reduced ourselves to a previous case.
Thereby,ρ(x) ρ(x) and we infer that ρ K (A) ρ K (A). Similarly, we obtain that ρ K (A) ρ K (A) if consider the distance functions restricted to the edge e . Therefore, Let A * be the set of all cusps and all intersection points of the edges of T with the edges of T . The union E(T ) ∪ E(T ) decomposes S g,n into convex geodesic polygons. We subdivide each polygon into geodesic triangles and obtain a triangulation T with the vertex set A * refining both T and T . This triangulation induces a subdivision of both K and K into prisms (not all semi-ideal). Two corresponding prisms are isometric because of Corollary 2.12. In turn we extend these isometries to a marked isometry of K to K .
From now on we denote by K (r) the convex complex defined by r ∈ R n if it exists. If K = K (T , r), we call an edge of T flat in K if its dihedral angle is equal to π. Otherwise, we call it strictly convex in K . Lemma 4.1 implies

Definition 4.11
Let K be a complex. We say that two point of its upper boundary lie in the same face if they can be connected by a path that does not intersect strictly convex edges of K . This defines an equivalence relation. A face of K is the union of all points in an equivalence class.
Thereby, we obtain the decomposition of the upper boundary of K into faces. By definition, a point of a strictly convex edge does not belong to any face. A pair (T , r) is convex if and only if T refines the face decomposition of K (r).

Lemma 4.12 A face of a convex complex K is simply connected.
Proof First, we prove that if is not simply connected, then there is a closed geodesic in .
Let T be a triangulation such that K = K (T , r). Choose a simple homotopically nontrivial closed curve ψ in that is transversal to interior edges of . Develop all triangles of T that intersect ψ to H 2 (each triangle is developed once). We obtain an ideal polygon P. The triangulation T is lifted to a triangulation of P. All inner edges of P are lifts of flat edges of K .
Let τ : P → be the projection. It is injective in the interior, but glue at least two boundary edges of P to a flat edge of . Denote them by AB and C D: τ (AB) = τ (C D), τ (A) = τ (C) and τ (B) = τ (D) (note that A may coincide with C and B may coincide with D). For a point X ∈ AB there is a unique point Y ∈ C D such that τ (Y ) = τ (X ). A hyperbolic segment XY projects to almost a geodesic loop in . It can have a kink point only at τ (X ) = τ (Y ). Clearly, τ (XY ) is a closed geodesic if and only if ∠B XY + ∠XY D = π. It is clear that as X tends to B, the point Y tends to D and this sum tends to 2π. Similarly, as X tends to C, this sum tends to 0. Therefore, there exists X such that this sum is equal to π. In this case τ (XY ) is a closed geodesic ψ ⊂ .
Consider the distance function ρ K . Its restriction to ψ must be periodic, because ψ is a closed geodesic. On the other hand ψ intersects no strictly convex edges. Therefore, the restriction of ρ to ψ has the form (2), which is not periodic. We obtain a contradiction.

Corollary 4.13
For every r ∈ R n there are finitely many triangulations T such that the pair (T , r) is convex.
For a triangulation T denote by K(T ) ⊂ K = R n the set of all r ∈ R n such that the pair (T , r) is convex. This defines a subdivision of R n into cells corresponding to different admissible triangulations. It is evident that the boundary of K(T ) is piecewise analytic.

Lemma 4.14 The pair (T , r) is convex if and only if T is an Epstein-Penner triangulation for r ∈ R n .
Clearly, this lemma implies Lemma 4.3. Moreover, the face decomposition of K (r) is exactly the Epstein-Penner decomposition of (S g,n , d) with decoration defined by r and the subdivision K = K(T ) is the Epstein-Penner subdivision of R n .
Proof Let r ∈ R n and let T be one of its Epstein-Penner triangulations. Represent S g,n as H 2 / and lift T to a triangulationT of H 2 . As in Sect. 2.2, we denote the polar vector to a horosphere L byl, the Epstein-Penner convex hull by C and the set of vertices of C by L. Let = A i A j A h be a triangle ofT , L i , L j and L h be the horocycles at A i , A j and A h defined by r, i.e. at distances equal to r i , r j , r h from the canonical ones. The affine plane M = M( ) ⊂ R 1,2 spanned by the points l i , l j and l h is a supporting plane of C. By Lemma 2.4, M is space-like, which means that its normal m (in the direction of C) is time-like. Let L M = M ∩ L. As M is a supporting plane to C, for l ∈ L we have m, l = −1 ifl ∈ L M , < −1 otherwise. Now assume that R 1,2 → R 1,3 as {x ∈ R 1,3 : x 4 = 0} and H 2 is embedded in H 3 respectively. Extend each horocycle to an horosphere. We continue to denote them by L i . Let n be the intersection point of dS 3 with the ray m + λe 4 , λ > 0.
By construction we have Let N = N ( ) ⊂ H 3 be the plane obtained from the time-like linear plane in R 1,3 orthogonal to n. From Lemma 2.1 we see that each horosphere L (with l ∈ L) lies in the closed halfspace N − and N is tangent to L if and only if l ∈ L M (otherwise N does not intersect L). We summarize it in the following description (we proved only in one direction, but the converse is clear):

Proposition 4.15 A triangle A i A j A h is contained in a face of the Epstein-Penner decomposition if and only if all canonical horospheres are on one side from the common tangent plane to the horospheres L i , L j and L h .
By B i , B j and B h denote the tangent points of N with L i , L j and L h respectively. We see that the prism A i A j A h B h B j B i is a semi-ideal prism with lateral edges r i , r j and r h . It follows that the pair (T , r) is admissible. We construct the complex K = K (T , r).
It remains to check the convexity. Take two adjacent triangles = A i A j A h , = A j A h A g ofT and corresponding semi-ideal prisms. In the construction above, points A i , A j , A h and A g lie in the same plane and the lateral faces of the prisms are not glued. To glue them, we should bend these prisms around the edge A j A h . The question is in which direction do we bend.
Clearly, l g ∈ L M( ) if and only if the plane N = N ( ) coincides with the plane N = N ( ), which is equivalent to the condition φ i + φ g = π (edge A j A h is flat). From now on assume that N and N are distinct planes.
Let Y be the intersection point of A i A g and A j A h . Parametrize the geodesic line A i A g by length and let y be the coordinate of Y . By ρ denote the distance function ρ K restricted to A i A g . It has a kink point at y and we need to check that it is concave. Let ρ 1 (x) and ρ 2 (x) be the distance functions from A i A g to the planes N and N respectively. Hence, ρ 1 coincides with ρ over (−∞; y] and ρ 2 coincides over [y; +∞). We have not proved yet that N and N are ultraparallel to H 2 . However, both A i and A g are in the same halfspaces N − and N − . Therefore, the whole line A i A g belongs to these halfspaces and ρ 1 , ρ 2 have the form (2). By Proposition 4.6, the function ρ 1 (x) − ρ 2 (x) has constant sign over the segments (−∞, y) and (y, +∞). If it is positive for x > y, then ρ is concave at y and K is strictly convex at the edge A j A h . Consider x approaching +∞. Take a sphere centered at the corresponding point X ∈ A i A g (i.e. the set of points of H 3 equidistant to X ) tangent to N . This sphere tends to the horosphere L g at A g as x approaches +∞. This horosphere belongs to the interior of N − , hence for some sufficiently large x, the sphere at X does not intersect N . It implies that ρ 2 (x) < ρ 1 (x) and A j A h is strictly convex.
We proved that if T is Epstein-Penner for r, then (T , r) is a convex pair. Assume that T is another face triangulation of K (r). According to Corollary 4.10, T and T can differ only in flat edges. By Lemma 4.12, faces of K are ideal polygons, hence T and T can be connected by a sequence of flips of flat edges. Let T k be an Epstein-Penner triangulation for r and T k+1 be obtained from T k by flipping an edge A j A h to A i A g . We saw before that an edge A j A h between triangles A i A j A h and A j A h A g is flat if and only if alll i ,l j ,l h ,l g are in the same face of C. This means that then T k+1 also is Epstein-Penner for r.

Equivalence to Theorem 1.4
Here we show that Theorem 3.4 is equivalent to Theorem 1.4. We need two facts. The first one is due to Akiyoshi [1]: 16 For each hyperbolic cusp metric d on S g,n there are finitely many Epstein-Penner triangulations of (S g,n , d).
We remark that for our purposes it is enough to establish a weaker and easier fact that the number of triangulations is locally finite. For the sake of completeness we sketch a proof here. For r in a compact domain R ⊂ R n the distance function ρ K of K = K (r) is bounded from below by a constant depending on R. By Corollary 2.13, the length of an upper edge of K is bounded from above. But the lengths of geodesics between cusps on (S g,n , d) form a discrete set (see e.g. [18], Lemma 4.1).
Let d be a polyhedral hyperbolic metric on S g,n and T be its geodesic triangulation. Denote the set of marked points by B = {B 1 , ..., B n }. Take a triangle B i B j B h . Clearly, there is a unique up to isometry semi-ideal prism that have B i B j B h as its lower face. Glue all such prisms together and obtain a complex K (d , T ) with the lower boundary isometric to (S g,n , d ). Gluing isometries are uniquely defined if we fix the horosphere at each upper vertex passing through the respective lower vertex and match them together: one can see that this is the only way of gluing to obtain a complete metric space. (S g,n , d ). Besides, any two convex complexes with isometric lower boundaries are isometric.

Lemma 4.17 The complex K (d , T ) is convex if and only if T is a Delaunay triangulation of
Proof In [16], Section 3, Leibon provides a geometric observation showing that the intersection angle between circumscribed circles of two adjacent triangles B i B j B h and B j B h B g is equal to the dihedral angle of the upper edge A j A h . Clearly, a triangulation is Delaunay if and only if all these intersection angles are at most π. This gives us the first claim. Besides, if a diagonal switch transforms a Delaunay triangulation to Delaunay, then it is done in an inscribed quadrilateral and the Leibon observation shows that it switches a flat edge in the upper boundary and, thereby, does not change the complex. The fact that two Delaunay triangulations of (S g,n , d ) can be connected by a sequence of diagonal switches through Delaunay triangulations is proved in [13], Proposition 16. This settles the second claim.
However, we remark that another proof of the second claim follows from similar ideas as our proof of Lemma 4.1. Indeed, for a point X / ∈ B in the lower boundary of K = K (d , T ) let σ K (X ) be the length of the segment from X to the upper boundary of K orthogonal to its lower boundary. This is the same as distance function ρ K in Sect. 4.1, but now defined on the lower boundary. We observe that the restriction of σ K to a geodesic parametrized by length has the form σ (x) = arctanh(b cosh(x − a)) for 0 < b < 1 and analogues of all propositions for ρ(x) of Sect. 4.1 can be obtained for σ (x). The only difference is that σ (x) is defined over an open bounded segment of R, hence we should keep track on the domains of definition. Nevertheless, it does not provide substantial new difficulties and we omit the details. After that we can see that an ultraparallel prism is defined by its lower boundary and the lengths of lateral edges for non-ideal upper vertices. Therefore, the proof of the second claim can be finished in the same way as the proof of Lemma 4.1. We note that together with other observations of Sect. 4.1 it provides an alternative proof of Proposition 16 in [13] and of the fact that each Delaunay triangulation refines the Delaunay decomposition (see [13], Section 2.4).
Thus, we denote by K (d ) the (unique) convex complex that has (S g,n , d ) as its lower boundary. Assume that the upper boundaries of K (d ), K (d ) are both isometric to (S g,n , d) for a cusp metric d. Let K be the set of convex complexes realizing (S g,n , d). Choose a decoration on (S g,n , d) and identify K with R n using Lemmas 4.1 and 4.3. First, assume that K (d ), K (d ) ∈ K(T ) for a triangulation T . By Lemma 4.17, T is Delaunay for both d and d . Take e ∈ E(T ) and denote its lengths in d and d by a and a respectively. By r i and r j denote the weights of its endpoints in K (d ), by r i and r j in K (d ). Then from Corollary 2.14 we see that Thus, d is discretely conformally equivalent to d . Consider K (d ) and K (d ), then T is a face triangulation of both these complexes due to Lemma 4.17. Metric spaces (S g,n , d ) and (S g,n , d ) come with a homeomorphism between them isotopic to identity on S g,n with respect to B. This allows us to identify the upper boundary metrics of K (d ) and K (d ) with elements of the Teichmuller space of hyperbolic cusp metrics on S g,n . Choose an horosection at each vertex of the upper boundaries in both K (d ), K (d ). Let r i and r i be the distances from the horosections at A i ∈ A to B i in K (d ) and K (d ) respectively. We can choose the horosections such that for every i, Then Corollary 2.14 shows that for each e ∈ E(T ) its length in the upper boundary of K (d ) is the same as in the upper boundary of K (d ) (with respect to the chosen horosections). Therefore, the upper boundary metrics of K (d ) and K (d ) together with the chosen decorations have the same Penner coordinates, hence they are isometric.
The case, when d and d are discretely conformally equivalent and do not have a common Delaunay triangulation T , is inductively reduced to the last case.

The variational approach
In this section we prove Theorem 3.4. From a function κ we construct a functional S κ such that its critical points in R n are precisely complexes with curvatures prescribed by κ . Then we show that it is strictly concave and that the Gauss-Bonnet condition on κ implies that it attains the maximal value in R n .

The discrete Hilbert-Einstein functional
For r ∈ R n let T be any face triangulation of the convex complex K (r). We introduce the discrete Hilbert-Einstein functional over the space of convex complexes K identified with R n : The curvaturesκ i and exterior anglesθ e are measured in K (r). The value S(r) does not depend on the choice of T , because two face triangulations of K (r) are different only in flat edges, for whichθ e = 0.
Consider a function κ : A → (−∞; 2π). We write κ i instead of κ (A i ). Define the modified discrete Hilbert-Einstein functional: Lemma 5.1 For every r ∈ R n , S(r) is twice continuously differentiable and Proof Assume that r is an interior point of K(T ) for some triangulation T . Then T is the face decomposition of the upper boundary of K (r ) for every r sufficiently close to r. Hence, combinatorics of complexes does not change in some neighborhood of r and every total dihedral angle can be written as the sum of dihedral angles in the same prisms. Clearly, a dihedral angle in a non-degenerated prism is a smooth function of its edges. Moreover, by generalized Schläffli's differential formula (see [20], Theorem 14.5) for a prism P = A i A j A h B h B j B i ⊂ K we have −2dvol(P) = r i dω i + r j dω j + r h dω h + l jh dφ i + l ih dφ j + l i j dφ h .
Summing these equalities over all prisms we obtain This gives (5). Since dihedral angles in a prism are smooth functions of edges, we obtain that S is twice continuously differentiable at r. Now consider the case when r belongs to the boundary of some K(T ). Let e i be a coordinate vector. As the boundary of K(T ) is piecewise analytic, r + λe i ∈ K(T ) for some T and all small enough λ. Therefore, we can compute the directional derivative of S(r) in the direction e i using the formula (5). For every coordinate direction they are continuous, hence S is continuously differentiable. In Lemma 5.3 we show that the derivatives of κ i are also continuous, which will finish the proof that S is twice continuously differentiable.

Corollary 5.2
For every r ∈ R n , S κ (r) is twice continuously differentiable and considerω i as the sum of angles in all prisms incident to A i and take their derivatives. If there are no loops among the upper edges of a prism, then this prism makes a contribution of the form (6). If there are some loops, the derivative is obtained by summing a contribution of the form (6) with contributions of the form (7). Combining together the summands containing the terms α e we get where φ e+ and φ e− are the dihedral angles at e in two prisms containing e.
For every e ∈ E(T ) we have where e is e forgetting orientation. Hence (cot φ e+ + cot φ e− ) 0 and ∂ω i ∂r i = −X ii 0. Also, equality here means that the total dihedral angle of every edge starting at A i is equal to π. But in this case we obtain a non-simply connected face of K , which is impossible by From this we obtain for every i, which is greater than zero for similar reasons. It finishes the proof of Lemma 5.3.

Corollary 5.4
The functions S and S κ are strictly concave over R n .
Proof We show that the Hessian X of S is negatively definite over R n : Remark 5. 5 One can see that the concativity of S over a single cell K(T ) follows from the fact that the volume of a prism is a concave function of its dihedral angles (proved in [16]) by applying of the Legendre transformation.
We see that S κ (r) has at most one maximum point. We want to prove that it exists. To this purpose we study what happens with complexes when the absolute values of some coordinates of r are large. First, we explore the case when all coordinates are sufficiently negative. Second, we deal with the case when there is at least one sufficiently large positive coordinate. Then we combine these results and get the desired conclusion.

The behavior of S Ä near infinity
Lemma 5.6 For every ε > 0 there exists C 1 > 0 such that if for some i we have r i < −C 1 in r ∈ R n , thenω i < ε in K (r).
Proof Fix ε > 0. Recall that for e ∈ E or i (T ) ending at A j (not necessarily different from A i ) Lemma 2.15 gives Consider two consecutive edges e 1 and e 2 ∈ E or i (T ). Together with the line A i B i they cut a Euclidean triangle out of the canonical horosphere at A i with the side length α e 1 , α e 2 and λ. If r i < −C 1 , then both lengths α e 1 and α e 2 are at least e C 1 and λ is bounded from above by the total length of the canonical horocycle at A i on (S g,n , d). The angle ω between sides of lengths α e 1 and α e 2 in this triangle (which is the dihedral angle of A i B i in the prism containing e 1 , e 2 and A i B i ) decreases as C 1 grows. We choose large enough C 1 > 0 such that if r i < −C 1 , then the angle at A i B i in every such triangle is less than ε/(6(n + 2g − 2)).
Note that the number of triangles incident to one cusp is bounded from above by three times the total number of triangles of T , which can be calculated from the Euler characteristic and is equal to 2(n + 2g − 2). Therefore, the total dihedral angleω i < ε. Lemma 5.7 For every ε > 0 and C 1 > 0 there exists C 2 > 0 such that if for some i we have r i C 2 and for every j we have r j −C 1 in r ∈ R n , then at every point x ∈ S g,n the value of distance function ρ K (x) ε, where S g,n is identified with the upper boundary of K = K (r).
Proof Let J i be the canonical horodisk at A i on (S g,n , d) and G i be its boundary. Below sd(x, G) means the signed distance from a point to an horosphere on (S g,n , d). Our proof is based on the following simple propositions: Proposition 5.8 If x, y ∈ S g,n , then ρ K (x) ρ K (y) − d(x, y).
Proof Let ψ be a shortest geodesic arc connecting x and y in (S g,n , d). Define N to be the union of segments in K orthogonal to the lower boundary with one endpoint on ψ and another one on the lower boundary. Then N can be developed to On the other hand, it is straightforward that dist H 3 (x, M) = ρ K (x) and dist H 3 (y, N ) = ρ K (y). Proposition 5.9 Let t ∈ R and D( j, t) := {x ∈ S g,n | sd(x, G j ) t}. If x ∈ D( j, t), then ρ K (x) r j − t.
Proof The set D( j, t) is a horodisk centered at A j . Let T be a face triangulation of K . First, we consider the case when t is small enough, so D( j, t) is contained in the union of triangles of T incident to A j . If x ∈ D( j, t), then in this case there is a triangle A i A j A h containing x. Develop the prism with this triangle to H 3 and let M be the plane passing through the lower boundary. The horodisk D( j, t) is extended to the horoball E in the development and r j −t is the signed distance from E to M. We have x ∈ E, therefore ρ K (x) = dist H 3 (x, M) r j − t.
If D( j, t) does not meet this condition, then consider sufficiently small t 0 t such that D( j, t 0 ) does. For each x ∈ D( j, t) there exists y ∈ D( j, t 0 ) such that d(x, y) t − t 0 and ρ K (y) r j − t 0 . Then the desired bound follows from Proposition 5.8.
Define t := −C 1 − ε and D := ∪ j =i D( j, t), where D( j, t) is defined in Proposition 5.9. Then this proposition implies that if x ∈ D, then ρ K (x) ε.
Define p := sup{d(x, J i ) : x ∈ S g,n \D}. Note that 0 p < ∞. Indeed, if x ∈ J i , then d(x, J i ) = 0. But the closure of S g,n \(D ∪ J i ) is compact (possibly empty).
Take C 2 = ε+ p ε > 0. If x ∈ J i , then ρ K (x) r i ε due to Proposition 5.9. If x / ∈ D, then there exists y ∈ J i such that d(x, y) p and ρ K (y) r i . Then by Proposition 5.8 we obtain ρ K (x) ε. This finishes the proof.
From Corollary 2.13 we see that Proposition 5.10 For every ε > 0 there exists C > 0 such that if the distance ρ e from an edge e in the upper boundary of a complex K to the lower boundary is greater than C, then a e < ε, where a e is the length of the corresponding lower edge.
Next proposition is straightforward:

Proposition 5.11
For every ε > 0 there exists δ > 0 such that if in a hyperbolic triangle every edge length is less than δ, then the sum of its angles is greater than π − ε.
Combining three last facts together we obtain Corollary 5.12 For every ε > 0 and C 1 > 0 there exists C 2 > 0 such that if for some i we have r i C 2 and for every j we have r j −C 1 in r ∈ R n , then in K (r) Now we are able to prove that S κ attains its maximal point at R n .

Lemma 5.13
Consider a cube Q in R n : Q = {r ∈ R n : max(|r i |) q}. If then for sufficiently large q, the maximum of S κ (r) over Q is attained in the interior of Q.