Roberto Frigerio

• Abstract. Let $M$  be a complete finite-volume hyperbolic $3$  -manifold with compact non-empty geodesic boundary and let $\mathcal{T}$  be a geometric partially truncated triangulation of $M$  . Also suppose that $M$  has $k$  toric cusps. We show that the set of solutions of consistency equations for $\mathcal{T}$  is a smooth manifold or real dimension $2k$  near the point representing the unique complete structure on $M$  . As a consequence, small deformations of the solution representing the complete structure affect the compact tetrahedra and the hyperbolic structure on the geodesic boundary only at the second order.

we explained how this approach can be adapted to the case of non-empty geodesic boundary: in the bounded case one has to consider truncated tetrahedra, whose parameterization is more complicated, but basically the whole scheme extends.

The conditions under which a gluing of truncated tetrahedra defines a non-singular hyperbolic metric are encoded by consistency equations, while completeness equations translate the conditions ensuring that such a metric is complete. For our purposes it is crucial to control the number of consistency equations, and this is the reason why the equations described here are quite different from those introduced in [?] . The set of solutions of consistency equations naturally provides a deformation space for finite-volume hyperbolic structures with geodesic boundary on a fixed $3$  -manifold. Building on classical results in cohomology theory of representations, we prove that the complete structure is a smooth point of this deformation space and we explicitly describe local coordinates around it. This allows us to give a proof of Thurston's hyperbolic Dehn filling Theorem which applies to all the hyperbolic manifolds with geodesic boundary which admit a genuine geometric triangulation. It is actually conjectured that any complete finite-volume hyperbolic $3$  -manifold with geodesic boundary admits a genuine triangulation; moreover, any such manifold admits a partially flat triangulation, and following [?]  we could probably adapt our proof of Thurston's hyperbolic Dehn filling Theorem to deal also with this kind of triangulations. This would give a complete and self-contained proof of the filling Theorem via deformation theory of geometric triangulations.

In the last section we show that small deformations of the solution representing the complete structure affect the compact tetrahedra and the hyperbolic structure on the geodesic boundary only at the second order. These results are used in [?]  in order to simplify computations in some concrete examples.

It is maybe worth mentioning that the deformation variety defined by the consistency equations for a cusped $3$  -manifold without boundary has already been studied by several authors (see e. g. [?, ?] ). In particular, Choi has recently proved in [?]  that in the cusped empty-boundary case the deformation variety is a smooth complex manifold at any point representing a non-degenerate (i. e. neither partially flat nor partially negatively oriented) geodesic ideal triangulation.

1 Triangulations and hyperbolicity equations

Let $N$  be a complete finite-volume orientable hyperbolic 3-manifold with compact non-empty geodesic boundary (from now on we will usually summarize all this information saying just that $N$  is hyperbolic). It is well-known that $N$  consists of a compact portion containing $\partial N$  together with several cusps of the form $T\times [0,\infty )$  , where $T$  is the torus, so $N$  admits a natural compactification $\overline{N}$  obtained by adding some boundary tori. Since the components of $\partial N$  are totally geodesic, they inherit a hyperbolic metric, and have therefore negative Euler characteristic.

1.1 Partially truncated tetrahedra

A partially truncated tetrahedron is a pair $(\Delta ,\mathcal{ℐ})$  , where $\Delta$  is a tetrahedron and $\mathcal{ℐ}$  is a set of vertices of $\Delta$  , that will be called ideal vertices. In the sequel we will always refer to $\Delta$  itself as a partially truncated tetrahedron, tacitly implying that $\mathcal{ℐ}$  is also fixed. The topological realization ${\Delta }^{*}$  of $\Delta$  is obtained by removing from $\Delta$  the ideal vertices and small open stars of the non-ideal vertices. We call lateral hexagon and truncation triangle the intersection of ${\Delta }^{*}$  respectively with a face of $\Delta$  and with the link in $\Delta$  of a non-ideal vertex. The edges of the truncation triangles, which also belong to the lateral hexagons, are called boundary edges, and the other edges of ${\Delta }^{*}$  are called internal edges. If $\Delta$  has ideal vertices, a lateral hexagon of ${\Delta }^{*}$  may not be a hexagon, because some of its closed edges may be missing.

A geometric realization of $\Delta$  is an identification of ${\Delta }^{*}$  with a convex polyhedron in ${\mathbb{H}}^3$  such that the truncation triangles are geodesic triangles, the lateral hexagons are geodesic polygons with ideal vertices corresponding to missing edges, and truncation triangles and lateral hexagons lie at right angles to each other. An example of a geometric realization is shown in Fig.  1 , where truncation triangles are shadowed.

1.2 Triangulations

Let $\overline{N}$  be a compact orientable manifold and let $N$  be obtained from $\overline{N}$  by removing the toric components of $\partial \overline{N}$  . We define a partially truncated triangulation of $N$  to be a realization of $N$  as a gluing of some ${\Delta }^{*}$  's along a pairing of the lateral hexagons induced by a simplicial pairing of the faces of the $\Delta$  's. When $N$  is endowed with a hyperbolic structure, a partially truncated triangulation of $N$  is called geometric if, for each tetrahedron $\Delta$  of the triangulation, the pull-back to ${\Delta }^{*}$  of the Riemannian metric of $N$  defines a geometric realization of $\Delta$  . Equivalently, the hyperbolic structure of $N$  should be obtained by gluing geometric realizations of the $\Delta$  's along isometries of their lateral hexagons.

Definition 1.1. A partially truncated triangulation $\mathcal{T}$  of an orientable $3$  -manifold $N$  is good if any tetrahedron in $\mathcal{T}$  has at most one ideal vertex.

Kojima proved in [?]  that every hyperbolic $N$  has a canonical decomposition into partially truncated polyhedra, rather than tetrahedra. Any polyhedron in a canonical decomposition has at most one ideal vertex, so triangulations arising as subdivisions of Kojima decompositions are examples of good triangulations. In the vast majority of cases the Kojima decomposition actually consists of tetrahedra, or at least can be subdivided into a geometric partially truncated triangulation. For instance, it is proved in [?]  that there exist exactly $5192$  hyperbolic manifolds with non-empty geodesic boundary which can be (topologically) triangulated by at most four partially truncated tetrahedra: their Kojima decomposition can always be subdivided into a triangulation, and is itself a triangulation in $5108$  cases. These facts support the following:

Conjecture 1.2. Any hyperbolic $N$  with non-empty godesic boundary admits a good geometric triangulation.

1.3 Moduli for partially truncated tetrahedra

The following result implies that the dihedral angles can be used as moduli for geometric tetrahedra.

Theorem 1.3. Let $\Delta$  be a partially truncated tetrahedron and let ${\Delta }^{\left(1\right)}$  be the set of edges of $\Delta$  . The geometric realizations of $\Delta$  are parameterized up to isometry by the dihedral angle assignements $\theta :{\Delta }^{\left(1\right)}\to (0,\pi )$  such that for each vertex $v$  of $\Delta$  , if $e_1,e_2,e_3$  are the edges that emanate from $v$  , then $\theta \left(e_1\right)+\theta \left(e_2\right)+\theta \left(e_3\right)$  is equal to $\pi$  for ideal $v$  and less than $\pi$  for non-ideal $v$  .

Having introduced moduli for geometric tetrahedra, our next task is to determine, given a triangulated manifold, which values of moduli define a global hyperbolic structure on the manifold. The following well-known hyperbolic trigonometry formulae will prove useful later:

Lemma 1.4. With notation as in Fig.  2 we have

$$\begin{array}{ccc}cosh{a}_1=(cos{\alpha }_2\cdot cos{\alpha }_3+cos{\alpha }_1)/(sin{\alpha }_2\cdot sin{\alpha }_3),& & \end{array}$$

$$\begin{array}{ccc}cosh{b}_1=(cosh{c}_2\cdot cosh{c}_3+cosh{c}_1)/(sinh{c}_2\cdot sinh{c}_3).& & \end{array}$$

Let now $\Delta$  be a partially truncated tetrahedron with edges $e_1,\dots ,e_6$  as in Fig.  3 . We fix a geometric realization $\theta$  of $\Delta$  determined by the dihedral angles ${\theta }_i=\theta \left(e_i\right)$  for $i=1,\dots ,6$  and we denote by $L^{\theta }$  the length with respect to this realization. The boundary edges of the lateral hexagons of $\Delta$  correspond to the pairs of distinct non-opposite edges $\{e_i,e_j\}$  , and will be denoted by $e_{ij}$  . Note that $e_{ij}$  disappears towards infinity, so it has length $0$  , when the common vertex of $e_i$  and $e_j$  is ideal. Lemma  1.4 readily implies

$$\begin{array}{c}cosh{L}^{\theta }\left(e_{12}\right)=(cos{\theta }_1\cdot cos{\theta }_2+cos{\theta }_3)/(sin{\theta }_1\cdot sin{\theta }_2).\end{array}$$

(1)

Note that this result is correct also when the common end of $e_1$  and $e_2$  is ideal.

Turning to the length of an internal edge, we note that the edge is an infinite half-line or an infinite line when one or both its ends are ideal, respectively. Otherwise the length is computed using Lemma  1.4 . With notation as in Fig.  3 , and defining $v_{ijk}$  as the vertex from which the edges $e_i,e_j,e_k$  emanate, we set:

$$\begin{array}{ccc}\begin{array}{ccc}{c}^{\theta }\left(e_1\right)& =& cos{\theta }_1\cdot \left(cos{\theta }_3\cdot cos{\theta }_6+cos{\theta }_2\cdot cos{\theta }_5\right)\\ & & +cos{\theta }_2\cdot cos{\theta }_6+cos{\theta }_3\cdot cos{\theta }_5+cos{\theta }_4\cdot {sin}^2{\theta }_1;\end{array}& & \end{array}$$

$$\begin{array}{ccc}{d}^{\theta }\left(v_{123}\right)=2cos{\theta }_1\cdot cos{\theta }_2\cdot cos{\theta }_3+{cos}^2{\theta }_1+{cos}^2{\theta }_2+{cos}^2{\theta }_3-1.& & \end{array}$$

Proposition 1.5. $d^{\theta }\left(v_{123}\right)=0$  if and only if the vertex $v_{123}$  is ideal. If $v_{123}$  and $v_{156}$  are both non-ideal then

$$\begin{array}{c}cosh{L}^{\theta }\left(e_1\right)=c^{\theta }\left(e_1\right)/\sqrt{d^{\theta }\left(v_{123}\right)\cdot d^{\theta }\left(v_{156}\right)}.\end{array}$$

(2)

Remark 1.6. Let $\Delta$  be a partially truncated tetrahedron without ideal vertices. Then the geometric realizations of $\Delta$  are parameterized by the lengths of the internal edges. In fact, the map that associates to the dihedral angles of a geometric realization of $\Delta$  the lengths of its internal edges is a diffeomorphism between open subsets of ${\mathbb{R}}^6$  .

1.4 Conditions for geometric gluing

Let $N$  be obtained from an orientable compact $\overline{N}$  by removing all the tori in $\partial \overline{N}$  and let $\mathcal{T}$  be a partially truncated triangulation of $N$  . Let also $\theta$  be a geometric realization of the tetrahedra in $\mathcal{T}$  and denote by $L^{\theta }$  the length with respect to this realization. We now describe the conditions under which the realization $\theta$  defines a hyperbolic structure on the whole of $N$  . For our purposes it will be sufficient to deal only with good triangulations, so we assume from now on that $\mathcal{T}$  is good. The general case is treated in [?] .

In order to define a global hyperbolic structure on $N$  , the tetrahedra of $\mathcal{T}$  must satisfy two obvious necessary conditions, which in fact are also sufficient. Namely, we should be able to glue the lateral hexagons by isometries, and we should have a total dihedral angle of $2\pi$  around each edge of the manifold. The first condition ensures that the hyperbolic structure defined by $\theta$  on the complement of the $2$  -skeleton of $\mathcal{T}$  extends to the complement of the $1$  -skeleton. Since $\mathcal{T}$  is good, the second one ensures that the structure glues up without singularities also along the edges. The second condition is directly expressed in terms of moduli, and we will explain in a moment how to translate the first one into an equation on dihedral angles.

Remark 1.7. If $\mathcal{T}$  were not good, requiring the dihedral angles around each edge to sum up to $2\pi$  would not be sufficient to obtain a non-singular hyperbolic metric on the $1$  -skeleton of $\mathcal{T}$  . The point is that when some geometric tetrahedra are arranged one after the other around an edge $e$  with two ideal endpoints, the first face of the first tetrahedron and the second face of the last tetrahedron may overlap without coinciding. Namely, the isometry which pairs these two faces may be a translation along $e$  instead of being the identity. Of course the isometry has to be the identity if at least one endpoint of $e$  is not ideal.

1.5 Exceptional hexagons

It is easily seen that gluings match ideal vertices to each other, because these notions are part of the initial topological information about a triangulation. When a pairing glues two compact lateral hexagons, to be sure that the gluing is an isometric one we may equivalently require the lengths of the internal edges or those of the boundary edges to match under the gluing. On the other hand, since $\mathcal{T}$  is a good triangulation, a non-compact lateral hexagon $F$  is actually a pentagon with four right angles and an ideal vertex: we shall say in this case that $F$  is an exceptional lateral hexagon. By Lemma  1.4 , the isometry class of an exceptional lateral hexagon is determined by the lengths of its boundary edges. However, in order to end up with a non-redundant set of consistency equations, it is convenient to find an alternative approach to moduli for exceptional hexagons.

To this aim we need now to be slightly more careful about orientation than we have been so far. Namely, we choose on the tetrahedra an orientation compatible with a global orientation of the manifold. As a result also the lateral hexagons have a fixed orientation, and the gluing maps reverse the orientation of the hexagons.

So, let us consider an exceptional hexagon $F_{126}^{*}$  as in Fig.  4 , and recall that the hexagon is oriented and embedded in ${\mathbb{H}}^3$  by $\theta$  . We consider the horospheres $O_1$  and $O_2$  centred at $e_{12}$  and passing through the non-ideal ends of $e_1$  and $e_2$  respectively. We define ${\sigma }^{\theta }\left(F_{126}\right)$  to be $\pm dist(O_1,O_2)$  , the sign being positive if $e_2,e_{12},e_1$  are arranged positively on $\partial F_{126}^{*}$  and $O_1$  is contained in the horoball bounded by $O_2$  , or if $e_2,e_{12},e_1$  are arranged negatively on $\partial F_{126}^{*}$  and $O_2$  is contained in the horoball bounded by $O_1$  , and negative otherwise.

Together with equation ( 1 ), the following proposition allows to compute $\sigma$  in terms of the dihedral angles.

Proposition 1.8. We have

$$\begin{array}{c}{\sigma }^{\theta }\left(F_{126}\right)=ln(sinh{L}^{\theta }(e_{16})/sinh{L}^{\theta }(e_{26}\left)\right).\end{array}$$

(3)

Proof: Let ${\alpha }_1,{\alpha }_2$  and $R,R_1,R_2$  be the angles and lengths shown in Fig.  5 . An easy computation in the upper half-plane model of ${\mathbb{H}}^2$  shows that $L^{\theta }\left(e_{i6}\right)=lncot({\alpha }_i/2)$  for $i=1,2$  . Moreover we have $R=R_1\cdot tan{\alpha }_1=R_2\cdot tan{\alpha }_2$  , so $exp{\sigma }^{\theta }\left(F_{126}\right)=R_1/R_2=tan{\alpha }_2/tan{\alpha }_1$  .

Now for $i=1,2$  we have $tan{\alpha }_i=2cot({\alpha }_i/2)/\left({cot}^2\right({\alpha }_i/2)-1)=2exp{L}^{\theta }\left(e_{i6}\right)/(exp(2L^{\theta }\left(e_{i6}\right))-1)$  . Combining these equations we finally get $exp{\sigma }^{\theta }\left(F_{126}\right)=sinh{L}^{\theta }\left(e_{16}\right)/sinh{L}^{\theta }\left(e_{26}\right)$  . $\square$  We now define ${\ell }^{\theta }\left(F_{126}\right)$  to be the length of $e_6$  . The next proposition shows that the functions $\sigma$  and $\ell$  provide a parameterization of isometry classes of exceptional hexagons.

Proposition 1.9. Let $F$  and $F^{\prime }$  be paired exceptional lateral hexagons. Their pairing can be realized by an isometry if and only if ${\sigma }^{\theta }\left(F\right)+{\sigma }^{\theta }\left(F^{\prime }\right)=0$  and ${\ell }^{\theta }\left(F\right)={\ell }^{\theta }\left(F^{\prime }\right)$  .

Proof: We concentrate on the “if ” part of the statement, the “only if ” part being obvious.

Let $f_1,f_2$  and $f_1^{\prime },f_2^{\prime }$  be the boundary edges of of $F$  and $F^{\prime }$  respectively, and assume that the orientation-reversing pairing between $F$  and $F^{\prime }$  glues $f_1$  to $f_2^{\prime }$  and $f_1^{\prime }$  to $f_2$  . Since ${\ell }^{\theta }\left(F\right)={\ell }^{\theta }\left(F^{\prime }\right)$  , Lemma  1.4 easily implies that $L\left(f_1\right)⩽L\left(f_2^{\prime }\right)$  if and only if $L\left(f_2\right)⩾L\left(f_1^{\prime }\right)$  .

Moreover the assumption that ${\sigma }^{\theta }\left(F\right)=-{\sigma }^{\theta }\left(F^{\prime }\right)$  and Proposition  1.8 give $L\left(f_1\right)⩽L\left(f_2^{\prime }\right)$  if and only if $L\left(f_2\right)⩽L\left(f_1^{\prime }\right)$  . This forces $L\left(f_1\right)=L\left(f_2^{\prime }\right)$  and $L\left(f_2\right)=L\left(f_1^{\prime }\right)$  , whence the conclusion. $\square$ 

Remark 1.10. Let $\Delta$  be a partially truncated tetrahedron and suppose that $v$  is the unique ideal vertex of $\Delta$  . Let $F_1,F_2,F_3$  be the faces of $\Delta$  incident to $v$  and for $i=1,2,3$  let $e_i$  be the edge of $F_i$  not containing $v$  . The isometry classes of the geometric realizations of $\Delta$  are parameterized by the lengths of the $e_i$  's and the values taken by $\sigma$  on the $F_i$  's. More precisely, the map that associates to any geometric realization $\theta$  of $\Delta$  the point $\left(L^{\theta }\right(e_1),L^{\theta }(e_2),L^{\theta }(e_3),{\sigma }^{\theta }(F_1),{\sigma }^{\theta }(F_2),{\sigma }^{\theta }(F_3\left)\right)$  defines a diffeomorphism between open subsets of two affine hyperplanes of ${\mathbb{R}}^6$  .

1.6 Consistency equations

Recall now that we are considering a candidate hyperbolic $3$  -manifold $N$  endowed with a good triangulation $\mathcal{T}$  , and that we have fixed a geometric realization $\theta$  of the tetrahedra in $\mathcal{T}$  . The above discussion implies the following:

Theorem 1.11. The parameterization $\theta$  defines on $N$  a hyperbolic structure with geodesic boundary if and only if the following conditions hold:

• (1) the total dihedral angle along any edge of $\mathcal{T}$  in $N$  is equal to $2\pi$  ;
• (2) $L^{\theta }\left(e\right)=L^{\theta }\left(e^{\prime }\right)$  for all pairs $(e,e^{\prime })$  of matching compact internal edges;
• (3) ${\sigma }^{\theta }\left(F\right)+{\sigma }^{\theta }\left(F^{\prime }\right)=0$  for all pairs $(F,F^{\prime })$  of matching exceptional hexagons.

By Propositions  1.5 ,  1.8 , conditions (1), (2), (3) of Theorem  1.11 translate into a set $\mathcal{C}(\mathcal{T})$  of smooth equations on $\theta$  , which are called consistency equations. Our next task is to compare the number of equations in $\mathcal{C}(\mathcal{T})$  with the dimension of the moduli space of geometric realizations of the tetrahedra of $\mathcal{T}$  .

Let $c$  (resp. $p$  ) be the number of compact (resp. non-compact) tetrahedra of $\mathcal{T}$  . By Theorem  1.3 , the number of parameters for the geometric realizations of $\mathcal{T}$  is equal to $6c+5p=6t-p$  , where $t$  is the total number of tetrahedra of $\mathcal{T}$  . Let $e_1,\dots ,e_l$  be the edges of $\mathcal{T}$  without ideal endpoints, and for $i=1,\dots ,l$  let $x_i$  be the valence of $e_i$  , i. e. the number of tetrahedra of $\mathcal{T}$  incident to $e_i$  , with multiplicity. Of course we have ${\sum }_{i=1}^l{x}_i=6c+3p$  . If we denote by $h$  the number of edges of $\mathcal{T}$  with exactly one ideal endpoint, then the union of the boundary tori of $\overline{N}$  admits a triangulation with $h$  vertices and $p$  triangles, so $h=p/2$  . Let us now turn to the number of equations. Theorem  1.11 determines $l+h$  equations arising from conditions (1), ${\sum }_{i=1}^l(x_i-1)$  equations arising from conditions (2) and $3p/2$  equations arising from conditions (3). Since

$$\begin{array}{ccccc}& & l+h+\left({\sum }_{i=1}^l(x_i-1)\right)+3p/2& =& h+\left({\sum }_{i=1}^l{x}_i\right)+3p/2\end{array}$$

$$\begin{array}{ccccc}& =& p/2+6c+3p+3p/2& =& 6c+5p,\end{array}$$

we can conclude that the number of equations in $\mathcal{C}(\mathcal{T})$  is equal to the dimension of the moduli space of geometric realizations of the tetrahedra of $\mathcal{T}$  .

1.7 Reducing the number of equations

When $N$  has cusps, some equations in $\mathcal{C}(\mathcal{T})$  turn out to be redundant. Let $T$  be a fixed toric component of $\partial \overline{N}$  and let $j$  be the number of tetrahedra asymptotic to $T$  . Since any such tetrahedron contributes to the triangulation of $T$  with a Euclidean triangle, the sum of all the dihedral angles along all the edges of $\mathcal{T}$  incident to $T$  is equal to $j\pi$  . So if we require condition (1) of Theorem  1.11 to hold for all but one edge incident to $T$  , then the same condition is automatically satisfied also along the remaining edge. This allows us to discard from $\mathcal{C}(\mathcal{T})$  one equation for each cusp of $N$  .

Moreover, let $\Delta$  be a partially truncated tetrahedron with an ideal vertex $v$  incident to $T$  , and let $F_1,F_2,F_3$  be the faces of $\Delta$  incident to $v$  . By the very definition of $\sigma$  it follows that $\sigma \left(F_1\right)+\sigma \left(F_2\right)+\sigma \left(F_3\right)=0$  . This implies that if $\mathcal{ℱ}$  is the set of all the faces incident to $T$  of tetrahedra of $\mathcal{T}$  , then we have ${\sum }_{F\in \mathcal{ℱ}}\sigma \left(F\right)=0$  . So if we require condition (3) of Theorem  1.11 to hold for all but one pair of matching exceptional hexagons incident to $T$  , then the same condition also holds for the remaining pair. This means that another equation of $\mathcal{C}(\mathcal{T})$  for each cusp of $N$  can be discarded. Supppose that $N$  compactifies to an orientable $\overline{N}$  with $k$  boundary tori. The above discussion is summarized by the following:

Proposition 1.12. We can discard $2k$  equations from $\mathcal{C}(\mathcal{T})$  thus obtaining an equivalent set ${\mathcal{C}}^{*}(\mathcal{T})$  of $n-2k$  equations, where $n$  is the dimension of the moduli space of geometric realizations of the tetrahedra of $\mathcal{T}$  .

We have seen in the preceding subsection that the moduli space of geometric realizations of the tetrahedra of $\mathcal{T}$  is given by a subset $\mathcal{W}$  of ${\mathbb{R}}^{6t}$  , where $t$  is the number of tetrahedra of $\mathcal{T}$  . More precisely, $\mathcal{W}$  is an open convex subset of an affine subspace of dimension $6t-p$  , where $p$  is the number of non-compact tetrahedra in $\mathcal{T}$  . Recall that $l$  is the number of compact edges (considered as subsets of $N$  ) of $\mathcal{T}$  . The above computation implies that equations in ${\mathcal{C}}^{*}(\mathcal{T})$  corresponding to conditions (1) of Theorem  1.11 take the form $A\left(x\right)=0$  , where $A:\mathcal{W}\to {\mathbb{R}}^{l+p/2-k}$  is an affine map, while equations corresponding to conditions (2) and (3) take the form $F\left(x\right)=0$  , where $F:\mathcal{W}\to {\mathbb{R}}^{6t-l-(3/2)p-k}$  is constructed from formulae ( 2 ), ( 3 ), and is therefore smooth. From now on we denote by $\Omega (\mathcal{T})=F^{-1}\left(0\right)\cap A^{-1}\left(0\right)\subset \mathcal{W}\subset {\mathbb{R}}^{6t}$  the set of solutions of consistency equations ${\mathcal{C}}^{*}(\mathcal{T})$  .

1.8 Completeness

Let $T_1,\dots ,T_k$  be the boundary tori of $\overline{N}$  . From now on we denote by ${\mu }_i,{\lambda }_i$  a fixed basis of $H_1(T_i;\mathbb{Z})\sim ={\pi }_1\left(T_i\right)$  , $i=1,\dots ,k$  . Any point in $\Omega (\mathcal{T})$  naturally defines an $Aff(\mathbb{C})$  -structure on $T_i$  (see e. g. [?, ?] ). For $x\in \Omega (\mathcal{T})$  , we denote by $a_i\left(x\right)\in \mathbb{C}$  (resp. by $b_i\left(x\right)\in \mathbb{C}$  ) the linear component of the holonomy of ${\mu }_i$  (resp. of ${\lambda }_i$  ) corresponding to the $Aff(\mathbb{C})$  -structure defined by $x$  on $T_i$  . It is well-known that the hyperbolic structure defined by $x$  on $N$  induces a complete metric on the $i$  -th cusp of $N$  if and only if $a_i\left(x\right)=b_i\left(x\right)=1$  .

Moreover, one can explicitly compute $a_i$  and $b_i$  in terms of the dihedral angles as follows.

Let $\Delta$  be a tetrahedron in $\mathcal{T}$  , let $v$  be an ideal vertex of $\Delta$  and $L_x\left(v\right)$  be the (similarity class of the) Euclidean triangle obtained by intersecting the geometric realization of $\Delta$  parameterized by $x$  with a small horosphere centred at $v$  . The tetrahedron being oriented, this triangle is also oriented, so, once a vertex $p$  of $L_x\left(v\right)$  is fixed, we can associate to the similarity structure of $L_x\left(v\right)$  the unique complex number $z_x\left(L\right(v),p)$  such that $L_x\left(v\right)$  is carried to the Euclidean triangle with vertices $0,1,z_x\left(L\right(v),p)$  by an orientation-preserving similarity sending $p$  to $0$  . Suppose that $e_1,e_2,e_3$  are the internal edges emanating form $v$  , and that they are positively arranged around $v$  . If $p=L\left(v_{123}\right)\cap e_1$  , then $$z_x\left(L\right(v_{123}),p)=(sin{\theta }_2/sin{\theta }_3)\cdot e^{i{\theta }_1}.$$  If $\gamma$  is an oriented simplicial loop on $T_i$  and $q$  is a vertex of $\gamma$  , then the set of all triangles touching $\gamma$  in $q$  and lying on the right of $\gamma$  is well-defined and will be denoted by $R(\gamma ,q)$  .

Moreover, we shall denote by $V\left(\gamma \right)$  the set of vertices of $\gamma$  . Let ${\hat{\mu }}_i,{\hat{\lambda }}_i$  be simplicial loops on $T_i$  representing ${\mu }_i,{\lambda }_i$  . The following result is proved in [?, ?] .

Proposition 1.13. We have

$$\begin{array}{ccc}{a}_i\left(x\right)& =& (-1{)}^{\#V\left({\hat{\mu }}_i\right)}\cdot {\prod }_{q\in V\left({\hat{\mu }}_i\right)}{\prod }_{T\in R({\hat{\mu }}_i,q)}{z}_x(T,q),\end{array}$$

$$\begin{array}{ccc}{b}_i\left(x\right)& =& (-1{)}^{\#V\left({\hat{\lambda }}_i\right)}\cdot {\prod }_{q\in V\left({\hat{\lambda }}_i\right)}{\prod }_{T\in R({\hat{\lambda }}_i,q)}{z}_x(T,q).\end{array}$$

As a consequence of Mostow-Prasad's rigidity Theorem for hyperbolic manifolds with geodesic boundary [?, ?]  we get the following:

Theorem 1.14. There exists at most one point in $\Omega (\mathcal{T})$  that defines on $N$  a complete hyperbolic structure with geodesic boundary.

Proof: See [?] . $\square$ 

2 Smoothness at the complete structure

Suppose now that $x_0$  is the unique point in $\Omega (\mathcal{T})$  which defines on $N$  a complete hyperbolic structure. For $i=1,\dots ,k$  and $x\in \Omega (\mathcal{T})$  let us define $$u_i\left(x\right)=ln{a}_i\left(x\right),v_i\left(x\right)=ln{b}_i\left(x\right),$$  where $ln$  is the branch of the complex logarithm defined on $\{z\in \mathbb{C}:\Re (z)>0\}$  such that $ln1=0$  . Since a non-trivial parabolic isometry does not commute with a non-trivial orientation-preserving hyperbolic isometry, we have the following:

Proposition 2.1. In a neighbourhood of $x_0$  in $\Omega (\mathcal{T})$  we have $u_i\left(x\right)=0$  $\iff$  $v_i\left(x\right)=0$  $\iff$  the hyperbolic structure defined by $x$  on the $i$  -th cusp of $N$  is complete.

Let $F:\mathcal{W}\to {\mathbb{R}}^{6t-l-(3/2)p-k}$  , $A:\mathcal{W}\to {\mathbb{R}}^{l+p/2-k}$  be the smooth functions previously defined such that $\Omega (\mathcal{T})=F^{-1}\left(0\right)\cap A^{-1}\left(0\right)$  . We now set $$G:\mathcal{W}\to {\mathbb{R}}^{6t-p-2k}\times {\mathbb{C}}^k,G\left(x\right)=\left(F\right(x),A(x),u_1(x),\dots ,u_k(x\left)\right).$$  By Theorem  1.14 and Proposition  2.1 we have $G^{-1}\left(0\right)=\left\{x_0\right\}$  . This section is entirely devoted to the proof of our main result:

Theorem 2.2. We have $Kerd{G}_{x_0}=\left\{0\right\}$  . Thus:

• (1) $G$  induces a diffeomorphism of an open neighbourhood of $x_0$  in $\mathcal{W}$  onto an open neighbourhood of $0$  in ${\mathbb{R}}^{6t-p-2k}\times {\mathbb{C}}^k$  ;
• (2) $\Omega (\mathcal{T})$  is a smooth manifold of real dimension $2k$  near $x_0$  ;
• (3) the map $$u:\Omega (\mathcal{T})\to {\mathbb{C}}^k,u\left(x\right)=\left(u_1\right(x),\dots ,u_k(x\left)\right)$$  induces a diffeomorphism of an open neighbourhood of $x_0$  in $\Omega (\mathcal{T})$  onto an open neighbourhood of $0$  in ${\mathbb{C}}^k$  .

Any point in ${\Omega }_c(\mathcal{T}):=F^{-1}\left(0\right)$  defines a cone structure on $N$  having cone singularities along the edges of $\mathcal{T}$  . The following immediate consequence of Theorem  2.2 was also proved in [?, ?] .

Corollary 2.3. If $N$  is compact then ${\Omega }_c(\mathcal{T})$  is parameterized in a neighbourhood of $x_0$  by the cone angles along the edges of $\mathcal{T}$  .

2.1 Deforming cone structures

We begin with the following:

Proposition 2.4. The tangent map $d{F}_{x_0}:T_{x_0}(\mathcal{W})\to {\mathbb{R}}^{6t-l-(3/2)p-k}$  has maximal rank, so ${\Omega }_c(\mathcal{T})$  is a manifold of real dimension $l+p/2+k$  near $x_0$  .

Proof: By Remarks  1.6 ,  1.10 , the lengths of the compact internal edges and the values taken by $\sigma$  on the exceptional lateral hexagons of the tetrahedra of $\mathcal{T}$  provide smooth coordinates on $\mathcal{W}$  . It is easily seen that with respect to these coordinates the map $F$  is affine and has maximal rank at $x_0$  (whence at any point of $\mathcal{W}$  ). $\square$  Let now $\alpha :(-\varepsilon ,\varepsilon )\to {\Omega }_c(\mathcal{T})$  be a smooth arc with $\alpha \left(0\right)=x_0$  . We will study the deformation associated to $\alpha$  using tools from the cohomology theory of representations:

notation is as in Appendix  A , where we give some basic definitions and results.

From now on we denote by $N^{\prime }$  the non-compact manifold obtained by drilling from $N$  all the edges of $\mathcal{T}$  . For any $t\in (-\varepsilon ,\varepsilon )$  the point $\alpha \left(t\right)$  determines a smooth hyperbolic structure $M_t$  on $N^{\prime }$  , whose completion gives a hyperbolic cone structure on $N$  . First of all we describe how to deduce the shape of the geometric tetrahedra corresponding to the point $\alpha \left(t\right)$  just from the geometric structure $M_t$  on $N^{\prime }$  . To this end we fix for $t\in (-\varepsilon ,\varepsilon )$  a developing map $D_t:{\tilde{N}}^{\prime }\to {\mathbb{H}}^3$  with associated holonomy representation ${\rho }_t:{\pi }_1\left(N^{\prime }\right)\to PSL(2,\mathbb{C})$  (note that we can choose $D_t$  and ${\rho }_t$  to vary smoothly with $t$  ). Recall that $N$  compactifies to a manifold $\overline{N}$  with $k$  boundary tori, and denote by ${\overline{N}}^{\prime }$  the non-compact manifold obtained by drilling from $\overline{N}$  the closed properly embedded arcs corresponding to the edges of $\mathcal{T}$  .

For $i=1,\dots ,k$  let $T_i^{\prime }$  be the punctured torus $T_i^{\prime }=T_i\cap {\overline{N}}^{\prime }$  , and denote by ${\mathcal{S}}_{par}$  the family of all the boundary components of the universal covering of ${\overline{N}}^{\prime }$  projecting to some $T_i^{\prime }$  . We say that $P\subset {\pi }_1\left(N^{\prime }\right)\sim ={\pi }_1\left({\overline{N}}^{\prime }\right)$  is a parabolic peripheral subgroup of ${\pi }_1\left(N^{\prime }\right)$  if $P$  is the stabilizer of some boundary component $S\in {\mathcal{S}}_{par}$  of the universal covering of ${\overline{N}}^{\prime }$  (so ${\rho }_0\left(P\right)$  is a $\mathbb{Z}+\mathbb{Z}$  parabolic subgroup of $PSL(2,\mathbb{C})$  ). Let ${\partial }_{gd}{\overline{N}}^{\prime }$  be the portion of $\partial {\overline{N}}^{\prime }$  corresponding to the geodesic boundary of $N$  , i. e. let ${\partial }_{gd}{\overline{N}}^{\prime }=\partial {\overline{N}}^{\prime }\cap \partial N$  , and denote by ${\mathcal{S}}_{gd}$  the family of all the boundary components of the universal covering of ${\overline{N}}^{\prime }$  projecting to some component of ${\partial }_{gd}{\overline{N}}^{\prime }$  . We say that $P\subset {\pi }_1\left(N^{\prime }\right)$  is a Fuchsian peripheral subgroup of ${\pi }_1\left(N^{\prime }\right)$  if $P$  is the stabilizer of some component $S\in {\mathcal{S}}_{gd}$  (so ${\rho }_0\left(P\right)$  is a Fuchsian subgroup of $PSL(2,\mathbb{C})$  ).

2.2 Dual vectors to planes and horospheres

If $S\in {\mathcal{S}}_{gd}$  , by construction the image of $S$  under the developing map $D_t$  is contained in a totally geodesic immersed surface in ${\mathbb{H}}^3$  . It is easily seen that such a surface must in turn be contained in a geodesic plane $\hat{S}\left(t\right)$  of ${\mathbb{H}}^3$  . We now need to associate to each $\hat{S}\left(t\right)$  a suitable ultra-ideal point $b_S\left(t\right)$  , which will be called the dual point of $\hat{S}\left(t\right)$  . Such point naturally lies in 4-dimensional Minkowsky space, so we fix some notation about this space.

We denote by $\mathbb{M}3+1$  the space ${\mathbb{R}}^4$  with coordinates $x_0,x_1,x_2,x_3$  endowed with the Lorentzian inner product $\langle x,y\rangle =-x_0{y}_0+x_1{y}_1+x_2{y}_2+x_3{y}_3$  . We set

$$\begin{array}{ccc}\mathcal{\mathscr{H}}3-& =& \{x\in \mathbb{M}3+1:\langle x,x\rangle =-1,x_0>0\},\end{array}$$

$$\begin{array}{ccc}\mathcal{\mathscr{H}}3+& =& \{x\in \mathbb{M}3+1:\langle x,x\rangle =1\},\end{array}$$

$$\begin{array}{ccc}L3+& =& \{x\in \mathbb{M}3+1:\langle x,x\rangle =0,x_0>0\}.\end{array}$$

We recall that $\mathcal{\mathscr{H}}3-$  is the upper sheet of the two-sheeted hyperboloid, and that $\langle \cdot ,\cdot \rangle$  restricts to a Riemannian metric on $\mathcal{\mathscr{H}}3-$  . With this metric, $\mathcal{\mathscr{H}}3-$  is the so-called hyperboloid model ${\mathbb{H}}^{3}hyp$  of hyperbolic space. The one-sheeted hyperboloid $\mathcal{\mathscr{H}}3+$  turns out to have a bijective correspondence with the set of hyperbolic half-spaces in ${\mathbb{H}}^{3}hyp$  . Given $b\in \mathcal{\mathscr{H}}3+$  , the corresponding half-space, called the dual of $b$  , is given by $\{v\in \mathcal{\mathscr{H}}3-:\langle v,b\rangle ⩽0\}$  .

Similarly, the cone $L3+$  of future-oriented light-like vectors of $\mathbb{M}3+1$  corresponds to the set of horospheres in ${\mathbb{H}}^{3}hyp$  . The horosphere dual to $u\in L3+$  is given by $\{v\in \mathcal{\mathscr{H}}3-:\langle v,u\rangle =-1\}$  .

Note now that for any $S\in {\mathcal{S}}_{gd}$  the set $D_t\left(\tilde{N}\right)$  locally lies on a definite side of $\hat{S}\left(t\right)$  , so we can define $b_S\left(t\right)$  to be the dual vector to the half-space that locally contains $D_t\left(\tilde{N}\right)$  and is bounded by $\hat{S}\left(t\right)$  .

When $S$  belongs to ${\mathcal{S}}_{par}$  a vector $b_S\left(t\right)\in L3+$  can also be defined as follows: take an oriented edge $\tilde{f}$  of $\tilde{\mathcal{T}}$  ending in $S$  and set $b_S\left(t\right)$  to be the unique point in $L3+$  with $x_0\left(b_S\right(t\left)\right)=1$  which projects to the endpoint of $D_t\left(\tilde{f}\right)$  in $\partial {\mathbb{H}}^3$  . Such an endpoint exists because $D_t\left(\tilde{f}\right)$  is a geodesic, and is clearly independent of the choice of $\tilde{f}$  , so $b_S\left(t\right)$  is indeed well-defined. Since developing maps vary smoothly with respect to $t$  we have the following:

Lemma 2.5. For any $S\in {\mathcal{S}}_{gd}\cup {\mathcal{S}}_{par}$  the map $t\mapsto b_S\left(t\right)$  is smooth with respect to $t$  .

2.3 Lifting geometric tetrahedra

Let now $\Delta$  be a tetrahedron in $\mathcal{T}$  , and denote by $\tilde{\Delta }$  a lift of $\Delta$  to ${\tilde{N}}^{\prime }$  . Let $S_i$  be the boundary component of the universal covering of ${\overline{N}}^{\prime }$  that corresponds to $v_i$  , where $v_1,\dots ,v_4$  are the vertices of $\tilde{\Delta }$  . If $\overline{\Delta }\left(t\right)$  is the convex hull of $b_{S_1}\left(t\right),\dots ,b_{S_4}\left(t\right)$  in $\mathbb{M}3+1$  , then projecting $\overline{\Delta }\left(t\right)$  to ${\mathbb{H}}^3$  and truncating its infinite-volume ends with the corresponding ${\hat{S}}_i\left(t\right)$  's gives back a truncated tetrahedron ${\Delta }^{*}\left(t\right)$  isometric to the geometric realization of $\Delta$  parameterized by $\alpha \left(t\right)$  . It is easily seen that the dihedral angles of ${\Delta }^{*}\left(t\right)$  smoothly depend on $b_{S_1}\left(t\right),\dots ,b_{S_4}\left(t\right)$  , so Theorem  2.2 is now reduced to the following:

Proposition 2.6. If $\dot{\alpha }\left(0\right)\in Kerd{G}_{x_0}$  , then we can choose the $D_t$  's in such a way that ${\dot{b}}_S\left(0\right)=0$  for all $S\in {\mathcal{S}}_{gd}\cup {\mathcal{S}}_{par}$  .

2.4 The tangent vector to ${\rho }_t$ 

Let us consider the double $D{N}^{\prime }$  of $N^{\prime }$  obtained by mirroring $N^{\prime }$  along its boundary (which is now given by some punctured surfaces of negative Euler characteristic). Since $\partial N^{\prime }$  is totally geodesic with respect to the hyperbolic structure $M_t$  , this structure can be doubled to a smooth hyperbolic metric $D{M}_t$  on $D{N}^{\prime }$  .

Let $D{\rho }_t:{\pi }_1\left(D{N}^{\prime }\right)\to PSL(2,\mathbb{C})$  be a holonomy representation corresponding to a developing map for $D{M}_t$  . It is easily seen that we can assume $D{\rho }_t$  to vary smoothly with respect to $t$  . We set $$\dot{D\rho }:{\pi }_1\left(D{N}^{\prime }\right)\to \mathfrak{s}\mathfrak{l}(2,\mathbb{C}),\dot{D\rho }\left(\gamma \right)=\frac{d}{dt}{|}_{t=0}\left(D{\rho }_t\left(\gamma \right)D{\rho }_0(\gamma {)}^{-1}\right).$$  As explained in Appendix  A , we have $\dot{D\rho }\in Z^1\left({\pi }_1\right(D{N}^{\prime });\mathfrak{s}\mathfrak{l}(2,\mathbb{C});D{\rho }_0)$  . This subsection is devoted to the proof of the following:

Proposition 2.7. If $\dot{\alpha }\left(0\right)\in Kerd{G}_{x_0}$  , then $\dot{D\rho }\in B^1\left({\pi }_1\right(D{N}^{\prime });\mathfrak{s}\mathfrak{l}(2,\mathbb{C});D{\rho }_0)$  .

From now on we suppose $\dot{\alpha }\left(0\right)\in Kerd{G}_{x_0}$  . Let $f_1,\dots ,f_m\in D{N}^{\prime }$  be the doubles of the edges of $\mathcal{T}$  and for all $j=1,\dots ,m$  let ${\ell }_j$  be a small loop in $D{N}^{\prime }$  encircling $f_j$  . We denote by ${\gamma }_j$  an element in ${\pi }_1\left(D{N}^{\prime }\right)$  representing ${\ell }_j$  (such a ${\gamma }_j$  is well-defined only up to conjugation). Now our hypothesis implies that if ${\theta }_j\left(t\right)$  is the cone angle of (the completion of ) $D{M}_t$  along $f_j$  , then ${\dot{\theta }}_j\left(0\right)=0$  . Also observe that we have $$D{\rho }_t\left({\gamma }_j\right)=g_t\cdot \left[\left(\begin{array}{cc}exp\left(i{\theta }_j\right(t)/2)& 0\\ 0& exp(-i{\theta }_j(t)/2)\end{array}\right)\right]\cdot g_t^{-1}$$  for some smooth path $g:(-\varepsilon ,\varepsilon )\to PSL(2,\mathbb{C})$  . Differentiating this relation we easily get $\dot{D\rho }\left({\gamma }_j\right)=0$  . Let $K$  be the kernel of the map ${\pi }_1\left(D{N}^{\prime }\right)\to {\pi }_1\left(DN\right)$  induced by the inclusion, and observe that $K$  is the smallest normal subgroup of ${\pi }_1\left(D{N}^{\prime }\right)$  generated by ${\gamma }_1,\dots ,{\gamma }_m$  . Let $D{\overline{\rho }}_0:{\pi }_1\left(DN\right)\to PSL(2,\mathbb{C})$  be the natural representation associated to $D{\rho }_0$  . Since $D{\rho }_0\left(\gamma \right)=1$  and $\dot{D\rho }\left(\gamma \right)=0$  for all $\gamma \in K$  , Lemma  A.1 implies the following:

Proposition 2.8. $\dot{D\rho }$  naturally defines a cocycle $z_{\rho }\in Z^1\left({\pi }_1\right(DN);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});D{\overline{\rho }}_0)$  .

Moreover, $\dot{D\rho }$  belongs to $B^1\left({\pi }_1\right(D{N}^{\prime });\mathfrak{s}\mathfrak{l}(2,\mathbb{C});D{\rho }_0)$  if and only if $z_{\rho }$  belongs to $B^1\left({\pi }_1\right(DN);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});D{\overline{\rho }}_0)$  .

Now if $N$  is compact, i. e. if no cusps are involved, Theorem  A.2 directly applies concluding the proof of Proposition  2.7 . When there are cusps, Proposition  2.7 can be deduced from Theorem  A.3 and the following:

Proposition 2.9. If $N$  is non-compact, then $\left[z_{\rho }\right]\in H_{par}^1\left({\pi }_1\right(DN);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});D{\overline{\rho }}_0)$  .

Proof: Let $\gamma \in {\pi }_1\left(DN\right)$  be such that $D{\overline{\rho }}_0\left(\gamma \right)$  is non-trivial parabolic, and let $\langle \gamma \rangle$  be the infinite cyclic group generated by $\gamma$  . We have to check that $z_{\rho }$  restricts to a coboundary in $B^1(\langle \gamma \rangle ;\mathfrak{s}\mathfrak{l}(2,\mathbb{C});D{\overline{\rho }}_0\circ i)$  , where $i:\langle \overline{\gamma }\rangle \to {\pi }_1\left(DN\right)$  is the natural inclusion.

Without loss of generality we can suppose $\gamma \in {\pi }_1\left(T_i\right)\subset {\pi }_1\left(N\right)\subset {\pi }_1\left(DN\right)$  for some $i=1,\dots ,k$  . Recall that a preferred element ${\mu }_i\in {\pi }_1\left(T_i\right)$  was previously fixed, set $u_i\left(t\right)=u_i\left(\alpha \right(t\left)\right)$  and observe that since $\dot{\alpha }\left(0\right)\in Kerd{G}_{x_0}$  we have ${\dot{u}}_i\left(0\right)=0$  . Let ${\mu }_i^{\prime },{\gamma }^{\prime }$  be elements in ${\pi }_1\left(T_i^{\prime }\right)$  projecting respectively to ${\mu }_i,\gamma$  . By Lemma  2.5 a smooth path $g:(-\varepsilon ,\varepsilon )\to PSL(2,\mathbb{C})$  exists such that both $g_t^{-1}\cdot {\rho }_t\left({\mu }_i^{\prime }\right)\cdot g_t$  and $g_t^{-1}\cdot {\rho }_t\left({\gamma }^{\prime }\right)\cdot g_t$  fixes $\infty \in \partial {\mathbb{H}}^3$  for $t\in (-\varepsilon ,\varepsilon )$  , so that

$$\begin{array}{ccc}D{\rho }_t\left({\mu }_i^{\prime }\right)& =& g_t\cdot \left[\left(\begin{array}{cc}exp\left(u_i\right(t)/2)& {\tau }_i\left(t\right)\\ 0& exp(-u_i(t)/2)\end{array}\right)\right]\cdot g_t^{-1},\end{array}$$

$$\begin{array}{ccc}D{\rho }_t\left({\gamma }^{\prime }\right)& =& g_t\cdot \left[\left(\begin{array}{cc}a\left(t\right)& b\left(t\right)\\ 0& a(t{)}^{-1}\end{array}\right)\right]\cdot g_t^{-1},\end{array}$$

where ${\tau }_i,a,b:(-\varepsilon ,\varepsilon )\to \mathbb{C}$  are smooth arcs with $a\left(0\right)=1,b\left(0\right)\ne 0,{\tau }_i\left(0\right)\ne 0$  .

Since ${\rho }_0\left({\pi }_1\right(T_i^{\prime }\left)\right)\sim =\mathbb{Z}+\mathbb{Z}$  is Abelian, an element $k\in K$  exists such that ${\mu }_i^{\prime }\cdot {\gamma }^{\prime }=k\cdot {\gamma }^{\prime }\cdot {\mu }_i^{\prime }$  in ${\pi }_1\left(D{N}^{\prime }\right)$  . By Proposition  2.8 , this readily implies $$\frac{d}{dt}{|}_{t=0}\left(D{\rho }_t\left({\mu }_i^{\prime }\right)D{\rho }_t\left({\gamma }^{\prime }\right)\right)=\frac{d}{dt}{|}_{t=0}\left(D{\rho }_t\left({\gamma }^{\prime }\right)D{\rho }_t\left({\mu }_i^{\prime }\right)\right),$$  which after some computations gives $\dot{a}\left(0\right)=0$  (here we use ${\dot{u}}_i\left(0\right)=0$  ). Let us consider the deformation ${\phi }_t:\langle {\gamma }^{\prime }\rangle \to PSL(2,\mathbb{C})$  defined by ${\phi }_t\left(\right({\gamma }^{\prime }{)}^n)=D{\rho }_t(\left({\gamma }^{\prime }{)}^n\right)$  for any $n\in \mathbb{Z}$  .

We claim that $\dot{\phi }=0$  in $H^1(\langle {\gamma }^{\prime }\rangle ;\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\phi }_0)$  . This will easily give that $z_{\rho }$  restricts to a coboundary in $B^1(\langle \gamma \rangle ;\mathfrak{s}\mathfrak{l}(2,\mathbb{C});D{\overline{\rho }}_0\circ i)$  , whence the conclusion. Since derivatives of conjugated deformations differ by a coboundary, we can suppose $${\phi }_t\left({\gamma }^{\prime }\right)=\left[\left(\begin{array}{cc}a\left(t\right)& b\left(t\right)\\ 0& a(t{)}^{-1}\end{array}\right)\right].$$  Setting $$v=\left(\begin{array}{cc}\frac{\dot{b}\left(0\right)}{2b\left(0\right)}& 0\\ 0& -\frac{\dot{b}\left(0\right)}{2b\left(0\right)}\end{array}\right)\in \mathfrak{s}\mathfrak{l}(2,\mathbb{C}),$$  an easy computation shows that $\dot{\phi }\left({\gamma }^{\prime }\right)=v-Ad\left({\phi }_0\right({\gamma }^{\prime }\left)\right)\left(v\right)$  . This readily implies that $\dot{\phi }$  is a coboundary. $\square$ 

2.5 The final step

For $\gamma \in {\pi }_1\left(D{N}^{\prime }\right)$  let $t{r}_{\gamma }:(-\varepsilon ,\varepsilon )\to \mathbb{C}$  be the map defined as follows: $t{r}_{\gamma }\left(t\right)=trace\left(D{\hat{\rho }}_t\right(\gamma \left)\right)$  , where $t\mapsto D{\hat{\rho }}_t\left(\gamma \right)\in SL(2,\mathbb{C})$  is a smooth lift of $t\mapsto D{\rho }_t\left(\gamma \right)\in PSL(2,\mathbb{C})$  (so $t{r}_{\gamma }$  is well-defined only up to the sign). Also recall that $D_t$  and ${\rho }_t$  are respectively a developing map and a holonomy representation for the hyperbolic structure $M_t$  on $N^{\prime }$  .

The following result can be easily deduced from the proof of the previous proposition.

Lemma 2.10. Let $\gamma \in {\pi }_1\left(D{N}^{\prime }\right)$  be such that $D{\rho }_0\left(\gamma \right)$  is non-trivial parabolic.

Then $\ddot{t}{r}_{\gamma }\left(0\right)=0$  .

As a consequence of Proposition  2.7 and Lemma  2.10 we obtain the following:

Proposition 2.11. $D_t$  and ${\rho }_t$  can be chosen in such a way that $$\frac{d}{dt}{|}_{t=0}{\rho }_t\left(\gamma \right)=0$$  for all $\gamma \in {\pi }_1\left(N^{\prime }\right)$  . Moreover, if $\gamma$  is a non-trivial element of a peripheral parabolic subgroup of ${\pi }_1\left(N^{\prime }\right)$  , then $\ddot{t}{r}_{\gamma }\left(0\right)=0$  .

Let $\gamma \in {\pi }_1\left(N^{\prime }\right)$  be such that ${\rho }_0\left(\gamma \right)\ne 1$  and suppose $r_{\gamma }:(-\varepsilon ,\varepsilon )\to \partial {\mathbb{H}}^3$  is a smooth path such that $r_{\gamma }\left(t\right)$  is a fixed point for ${\rho }_t\left(\gamma \right)$  for any $t\in (-\varepsilon ,\varepsilon )$  . We want to study how the derivative of $r\left(t\right)$  is related to the derivative of ${\rho }_t\left(\gamma \right)$  . We identify $\partial {\mathbb{H}}^3$  with $\mathbb{C}\cup \{\infty \}$  and we set $${\rho }_t\left(\gamma \right)=\left[\left(\begin{array}{cc}a\left(t\right)& b\left(t\right)\\ c\left(t\right)& d\left(t\right)\end{array}\right)\right].$$  Without loss of generality we can suppose that ${\rho }_0\left(\gamma \right)$  does not fix $\infty$  and that $r_{\gamma }\left(0\right)=0\in \mathbb{C}\subset \partial {\mathbb{H}}^3$  , so $b\left(0\right)=0$  , $c\left(0\right)\ne 0$  . An easy computation now shows that $$r_{\gamma }\left(t\right)=\left(a\left(t\right)-d\left(t\right)\pm \sqrt{(t{r}_{\gamma }(t)+2)(t{r}_{\gamma }(t)-2)}\right)/\left(2c\left(t\right)\right).$$  From this formula we can readily deduce the following lemmas.

Lemma 2.12. If ${\rho }_0\left(\gamma \right)$  is non-trivial loxodromic and $\dot{\rho }\left(\gamma \right)=0$  , then ${\dot{r}}_{\gamma }\left(0\right)=0$  .

On the other hand, let ${\rho }_0\left(\gamma \right)$  be non-trivial parabolic. Also assume that $\dot{\rho }\left(\gamma \right)=0$  and $\ddot{t}{r}_{\gamma }\left(0\right)=0$  . Then ${\dot{r}}_{\gamma }\left(0\right)=0$  .

We can now conclude the proof of Proposition  2.6 . Choose $D_t$  and ${\rho }_t$  as in the statement of Proposition  2.11 . Let $S$  be a boundary component of the universal covering of ${\overline{N}}^{\prime }$  which belongs to ${\mathcal{S}}_{par}$  , denote by $P_S$  the stabilizer of $S$  in ${\pi }_1\left(N^{\prime }\right)$  and choose an element $\gamma \in P_S$  with ${\rho }_0\left(\gamma \right)\ne 1$  . By construction the projection of $b_S\left(t\right)$  to $\partial {\mathbb{H}}^3$  is fixed by ${\rho }_t\left(\gamma \right)$  , so Lemma  2.12 applies ensuring ${\dot{b}}_S\left(0\right)=0$  .

Suppose now that $S$  belongs to ${\mathcal{S}}_{gd}$  , and let $P_S$  be the stabilizer of $S$  in ${\pi }_1\left(N^{\prime }\right)$  . For $\gamma \in P_S$  with ${\rho }_0\left(\gamma \right)\ne 1$  let $p_{\gamma }\left(t\right),q_{\gamma }\left(t\right)$  be the fixed points of ${\rho }_t\left(\gamma \right)$  on $\partial {\mathbb{H}}^3$  . Note that since ${\rho }_0\left(\gamma \right)$  is loxodromic we can choose $p_{\gamma },q_{\gamma }$  to vary smoothly with respect to $t$  , at least in a small neighbourhood of $0$  . This gives ${\dot{p}}_{\gamma }={\dot{q}}_{\gamma }=0$  by Lemma  2.12 . Now a standard result in Kleinian group theory ensures that the set $\left\{p_{\gamma }\right(0),q_{\gamma }(0):\gamma \in P_S,{\rho }_0(\gamma )\ne 1\}$  is dense in the closure at infinity of $D_0\left(S\right)\subset {\mathbb{H}}^3$  , and this easily implies ${\dot{b}}_S\left(0\right)=0$  .

3 Dehn filling

Once the smoothness of $\Omega (\mathcal{T})$  at $x_0$  is established, one can prove Thurston's hyperbolic Dehn filling Theorem just by following the strategy described in [?] . At this stage, this argument applies only to those hyperbolic manifolds with geodesic boundary which admit a good geodesic triangulation (but see Conjecture  1.2 ). The following result is taken from [?] .

Lemma 3.1. Let $j\in \{1,\dots ,k\}$  . Then there exists a complex number ${\tau }_j$  with non-zero imaginary part such that if $\{y_n{\}}_{n\in \mathbb{N}}\subset \Omega (\mathcal{T})$  is a sequence with ${lim}_{n\to \infty }{y}_n=x_0$  and $u_j\left(y_n\right)\ne 0$  for every $n\in \mathbb{N}$  , then ${lim}_{n\to \infty }{v}_j\left(y_n\right)/u_j\left(y_n\right)={\tau }_j$  .

3.1 Thurston's hyperbolic Dehn filling Theorem

Let $U$  be a sufficiently small neighbourhood of $x_0$  in $\Omega (\mathcal{T})$  and let $x\in U$  . For $j=1,\dots ,k$  , we define the $j$  -Dehn filling coefficient $\left(p_j\right(x),q_j(x\left)\right)\in {\mathbb{R}}^2\cup \{\infty \}$  as follows: if $u_j\left(x\right)=0$  , then $\left(p_j\right(x),q_j(x\left)\right)=\infty$  ; otherwise, $p_j\left(x\right),q_j\left(x\right)$  are the unique real solutions of the equation $$p_j\left(x\right)u_j\left(x\right)+q_j\left(x\right)v_j\left(x\right)=2\pi i.$$  (Existence and uniqueness of such solutions near $x_0$  can be easily deduced from Theorem  2.2 and Lemma  3.1 .) Let us set $$d=(d_1,\dots ,d_k):U{\to }^k{\prod }_{i=1}{S}^2,d_j\left(x\right)=\left(p_j\right(x),q_j(x\left)\right)\in S^2={\mathbb{R}}^2\cup \{\infty \}.$$  As a consequence of Theorem  2.2 and Lemma  3.1 we have the following:

Theorem 3.2. If $U$  is small enough, the map $d$  defines a diffeomorphism onto an open neighbourhood of $(\infty ,\dots ,\infty )$  in $S^2\times \cdots \times S^2$  .

For $x\in \Omega (\mathcal{T})$  we denote by $N\left(x\right)$  the hyperbolic structure induced on $N$  by $x$  , and by $\widehat{N}\left(x\right)$  the metric completion of $N\left(x\right)$  . Recall that a preferred basis ${\mu }_i,{\lambda }_i$  of $H_1(T_i;\mathbb{Z})$  is fixed for every $i=1,\dots ,k$  . We also set

$$\begin{array}{ccc}I\Omega (\mathcal{T})& =& \{x\in U\subset \Omega (\mathcal{T}):fori=1,\dots ,kthei-thDehnfillingcoefficient\end{array}$$

$$\begin{array}{ccc}& & associatedtoxisequaleitherto\infty ortoapairofcoprimeintegers\}.\end{array}$$

Theorem 3.3. If $U$  is sufficiently small and $x$  belongs to $I\Omega (\mathcal{T})\cap U$  , then $\widehat{N}\left(x\right)$  admits a complete finite-volume smooth hyperbolic structure which is obtained by adding to $N\left(x\right)$  a closed geodesic at any cusp with non-infinite Dehn filling coefficient. From a topological point of view, $\widehat{N}\left(x\right)$  is obtained by Dehn filling the $i$  -th cusp of $N$  along the slope $p_i\left(x\right){\mu }_i+q_i\left(x\right){\lambda }_i$  if $\left(p_i\right(x),q_i(x\left)\right)\ne \infty$  , and by leaving the $i$  -th cusp of $N$  unfilled if $\left(p_i\right(x),q_i(x\left)\right)=\infty$  , $i=1,\dots ,k$  .

Proof: See e. g. [?, ?, ?, ?] . $\square$  The following proposition will prove useful in the last subsection.

Proposition 3.4. Let $X$  be any smooth manifold and let $g:\Omega (\mathcal{T})\to X$  be a smooth map. Suppose that there exists a small neighbourhood $U$  of $x_0$  in $\Omega (\mathcal{T})$  such that for all $x,x^{\prime }\in U\cap I\Omega (\mathcal{T})$  with $d\left(x\right)=-d\left(x^{\prime }\right)$  we have $g\left(x\right)=g\left(x^{\prime }\right)$  . Then $d{g}_{x_0}=0$  .

Proof: Since $d:U\to {\prod }_{i=1}^k{S}^2$  defines a chart around $x_0$  , it is sufficient to observe that $U\cap I\Omega (\mathcal{T})$  accumulates to $x_0$  along any direction in $T_{x_0}\Omega (\mathcal{T})$  . $\square$ 

3.2 Infinitesimal deformations of compact tetrahedra

We know from Mostow's rigidity Theorem that compact hyperbolic $3$  -manifolds do not admit deformations. The following results seem to suggest that in the non-compact case deformations take place mostly near the cusps: even if it has to be affected by any non-trivial deformation, the compact core offers resistance to changing its shape. More precisely, we now show that deformations of $\mathcal{T}$  near the complete structure affect compact tetrahedra only at the second order.

Let $f$  be any compact internal edge of $\mathcal{T}$  . For $x\in \Omega (\mathcal{T})$  we denote by ${\ell }^f\left(x\right)$  the length of $f$  with respect to the metric structure defined by $x$  . By Lemma  1.4 the map ${\ell }^f:\Omega (\mathcal{T})\to \mathbb{R}$  is smooth.

Proposition 3.5. We have $d{\ell }_{x_0}^f=0$  .

Proof: Let $x,x^{\prime }\in U\cap I\Omega (\mathcal{T})$  be such that $d\left(x\right)=-d\left(x^{\prime }\right)$  . Then the identity of $N$  extends to a homeomorphism between $\widehat{N}\left(x\right)$  and $\widehat{N}\left(x^{\prime }\right)$  . By Mostow-Prasad's rigidity Theorem, such a homeomorphism is homotopic to an isometry $\psi :\widehat{N}\left(x\right)\to \widehat{N}\left(x^{\prime }\right)$  via a homotopy which preserves the geodesic boundary (see e. g. [?] ). For $y\in U\cap I\Omega (\mathcal{T})$  let $f\left(y\right)\subset N\left(y\right)\subset \widehat{N}\left(y\right)$  be the geodesic segment corresponding to $f$  . From the above discussion it follows that $\psi \left(f\right(x\left)\right)$  is homotopic to $f\left(x^{\prime }\right)$  relatively to $\partial \widehat{N}\left(x^{\prime }\right)$  . Since both $\psi \left(f\right(x\left)\right)$  and $f\left(x^{\prime }\right)$  intersect $\partial \widehat{N}\left(x^{\prime }\right)$  perpendicularly, this easily implies that $\psi \left(f\right(x\left)\right)=f\left(x^{\prime }\right)$  , whence ${\ell }^f\left(x\right)={\ell }^f\left(x^{\prime }\right)$  . Now the conlcusion follows from Proposition  3.4 . $\square$  The lengths of the boundary edges of a compact lateral hexagon smoothly depend on the lengths of its internal edges, and the dihedral angles of a compact truncated tetrahedron smoothly depend on the lengths of its internal edges. Thus Proposition  3.5 imply the following results.

Corollary 3.6. Fix a boundary edge $f$  lying on a compact lateral hexagon of some tetrahedron of $\mathcal{T}$  , and let ${\ell }^f:\Omega (\mathcal{T})\to \mathbb{R}$  be the function which associates to $x\in \Omega (\mathcal{T})$  the length of $f$  in the geometric realization parameterized by $x$  .

Then $d{\ell }_{x_0}^f=0$  .

Corollary 3.7. Fix an internal edge $f$  in a compact tetrahedron of $\mathcal{T}$  and let $a^f:\Omega (\mathcal{T})\to \mathbb{R}$  be the function that associates to $x\in \Omega (\mathcal{T})$  the dihedral angle assigned to $f$  by $x$  . Then $d{a}_{x_0}^f=0$  .

3.3 Infinitesimal deformations of the geodesic boundary

Let $Teich(\partial N)$  be the Teichmüller space of hyperbolic structures on $\partial N$  , i. e. the space of equivalence classes of hyperbolic metrics on $\partial N$  , where two such metrics are considered equivalent if they are isometric through a diffeomorphism homotopic to the identity of $\partial N$  . For $x\in \Omega (\mathcal{T})$  we denote by $B\left(x\right)\in Teich(\partial N)$  the equivalence class of the hyperbolic structure induced by $N\left(x\right)$  on $\partial N$  . It is well-known that $Teich(\partial N)$  admits a structure of differentiable manifold such that $B:\Omega (\mathcal{T})\to Teich(\partial N)$  is smooth. As a consequence of Mostow-Prasad's rigidity Theorem and of Proposition  3.4 we get the following:

Proposition 3.8. We have $d{B}_{x_0}=0$  .

A Cohomology theory of representations

A.1 The tangent space to a representation

Let $G$  be a Lie group with associated Lie algebra $\mathfrak{g}$  and $\Gamma$  be any group, and denote by $\mathcal{ℛ}(\Gamma ,G)$  the set of representations of $\Gamma$  in $G$  . We say that a path $\{{\rho }_t\in \mathcal{ℛ}(\Gamma ,G):t\in (-\varepsilon ,\varepsilon \left)\right\}$  is smooth if ${\rho }_t\left(\gamma \right)$  is a smooth function of $t$  for any $\gamma \in \Gamma$  . If $\left\{{\rho }_t\right\}$  is a smooth path of representations, the tangent vector to the map $t\mapsto {\rho }_t\left(\gamma \right)$  at $0$  gives an element in $T_{{\rho }_0\left(\gamma \right)}G$  .

Identifying this tangent space with $\mathfrak{g}=T_{1}G$  by right translation we get an element $\dot{\rho }\left(\gamma \right)$  of the Lie algebra $\mathfrak{g}$  : $$\dot{\rho }\left(\gamma \right)=\frac{d}{dt}{|}_{t=0}\left({\rho }_t\left(\gamma \right){\rho }_0(\gamma {)}^{-1}\right).$$  Differentiating the homomorphism relation ${\rho }_t\left({\gamma }_1{\gamma }_2\right)={\rho }_t\left({\gamma }_1\right){\rho }_t\left({\gamma }_2\right)$  we see that $\dot{\rho }:\Gamma \to \mathfrak{g}$  satisfies the so-called cocycle relation $$\dot{\rho }\left({\gamma }_1{\gamma }_2\right)=\dot{\rho }\left({\gamma }_1\right)+Ad\left({\rho }_0\right({\gamma }_1\left)\right)\left(\dot{\rho }\right({\gamma }_2\left)\right),$$  where $Ad:G\to GL(\mathfrak{g})$  is the usual adjoint representation.

Consider now a trivial deformation of ${\rho }_0$  , i. e. let $t\mapsto g_t$  be a smooth path in $G$  starting at the identity and set ${\rho }_t\left(\gamma \right)=g_t{\rho }_0\left(\gamma \right)g_t^{-1}$  for all $\gamma \in \Gamma$  . Then differentiation shows that $$\dot{\rho }\left(\gamma \right)=\dot{g}-Ad\left({\rho }_0\right(\gamma \left)\right)\left(\dot{g}\right)$$  for any $\gamma \in \Gamma$  , where $\dot{g}\in \mathfrak{g}$  is the tangent vector to $t\mapsto g_t$  at $t=0$  . We now set

$$\begin{array}{ccc}{Z}^1(\Gamma ;\mathfrak{g};{\rho }_0)& =& \{c:\Gamma \to \mathfrak{g}:c({\gamma }_1{\gamma }_2)=c({\gamma }_1)+Ad({\rho }_0\left({\gamma }_1\right)\left)\right(c\left({\gamma }_2\right)\left)\right\},\end{array}$$

$$\begin{array}{ccc}{B}^1(\Gamma ;\mathfrak{g};{\rho }_0)& =& \{b:\Gamma \to \mathfrak{g}:b(\gamma )=m-Ad({\rho }_0\left(\gamma \right)\left)\right(m)forsomem\in \mathfrak{g}\},\end{array}$$

$$\begin{array}{ccc}{H}^1(\Gamma ;\mathfrak{g};{\rho }_0)& =& Z^1(\Gamma ;\mathfrak{g};{\rho }_0)/B^1(\Gamma ;\mathfrak{g};{\rho }_0).\end{array}$$

The above discussion shows that $Z^1(\Gamma ;\mathfrak{g};{\rho }_0)$  corresponds in some sense to the tangent space of $\mathcal{ℛ}(\Gamma ,G)$  at ${\rho }_0$  . Under this identification the module $B^1(\Gamma ;\mathfrak{g};{\rho }_0)$  should represent the tangent space to trivial deformations of ${\rho }_0$  , so $H^1(\Gamma ;\mathfrak{g};{\rho }_0)$  should give the tangent space of $\mathcal{ℛ}(\Gamma ,G)/G$  at $\left[{\rho }_0\right]$  (however, this holds true only in the setting of algebraic schemes).

Let $c\in Z^1(\Gamma ;\mathfrak{g};\rho )$  , and suppose that ${\Gamma }_0$  is a normal subgroup of $\Gamma$  such that $\rho \left(\gamma \right)=1_G$  , $c\left(\gamma \right)=0$  for all $\gamma \in {\Gamma }_0$  . Let also $\overline{\rho }:\Gamma /{\Gamma }_0\to G$  be the representation induced by $\rho$  .

Lemma A.1. The map $\overline{c}:\Gamma /{\Gamma }_0\to M$  defined by $\overline{c}\left(\right[\gamma \left]\right)=c\left(\gamma \right)$  is well-defined and gives a cocycle $\overline{c}\in Z^1(\Gamma /{\Gamma }_0;\mathfrak{g};\overline{\rho })$  . Moreover, we have $\overline{c}\in B^1(\Gamma /{\Gamma }_0;\mathfrak{g};\overline{\rho })$  if and only if $c\in B^1(\Gamma ;\mathfrak{g};\rho )$  .

A.2 Classical rigidity results

Let $N$  be a smooth $3$  -manifold without boundary and suppose ${\rho }_0:{\pi }_1\left(N\right)\to PSL(2,\mathbb{C})$  is the holonomy representation for a complete finite-volume hyperbolic structure on $N$  .

The following result is due to Weil [?] , and can be considered as a local version of Mostow's rigidity Theorem for compact hyperbolic $3$  -manifolds.

Theorem A.2. Suppose $N$  is compact. Then $H^1\left({\pi }_1\right(N);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0)=0$  .

Suppose now that $N$  compactifies to a manifold $\overline{N}$  with non-empty boundary $\partial \overline{N}=T_1\bigsqcup \dots \bigsqcup T_k$  . In this case ${\rho }_0$  admits non-trivial deformations, so we cannot expect $H^1\left({\pi }_1\right(N);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0)$  to be trivial. If $K$  is a subgroup of ${\pi }_1\left(N\right)$  , the natural injection $i_K:K\to {\pi }_1\left(N\right)$  induces a map on cohomology $$i_K^{*}:H^1\left({\pi }_1\right(N);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0)\to H^1(K;\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0\circ i_K).$$  For $\gamma \in {\pi }_1\left(B\right)$  we denote by $\langle \gamma \rangle \subset {\pi }_1\left(N\right)$  the cyclic subgroup generated by $\gamma$  . If $P=\{\gamma \in {\pi }_1(N):{\rho }_0(\gamma )isparabolic\}$  , we set $$H_{par}^1\left({\pi }_1\right(N);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0)={\bigcap }_{\gamma \in P}Ker{i}_{\langle \gamma \rangle }^{*}\subset H^1\left({\pi }_1\right(N);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0).$$  The naïve correspondence between $H^1\left({\pi }_1\right(N);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0)$  and the tangent space of $\mathcal{ℛ}\left({\pi }_1\right(N),PSL(2,\mathbb{C}\left)\right)/PSL(2,\mathbb{C})$  at $\left[{\rho }_0\right]$  induces an identification of $H_{par}^1\left({\pi }_1\right(N);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0)$  with the space of infinitesimal deformations of ${\rho }_0$  through holonomies for complete structures on $N$  . Thus the following result [?, ?]  can be considered an infinitesimal version of Mostow-Prasad's rigidity Theorem for complete finite-volume hyperbolic $3$  -manifolds:

Theorem A.3. We have $H_{par}^1\left({\pi }_1\right(N);\mathfrak{s}\mathfrak{l}(2,\mathbb{C});{\rho }_0)=0$  .

Dipartimento di Matematica, Universita di Pisa, Largo B. Pontecorvo 5, 56127 Pisa, Italy E-mail address : frigerio@mail.dm.unipi.it