S T Éphane Baseilhac

Riccardo Benedetti
email: benedett@dm.unipi.it

ON THE QUANTUM TEICHM ÜLLER INVARIANTS OF FIBRED CUSPED 3-MANIFOLDS

We show that the reduced quantum hyperbolic invariants of pseudo-Anosov diffeomorphisms of punctured surfaces are intertwiners of local representations of the quantum Teichmüller spaces. We characterize them as the only intertwiners that satisfy certain natural cut-and-paste operations of topological quantum field theories and such that their traces define invariants of mapping tori.

Introduction

Let M be a fibred cusped 3-manifold, that is, an oriented non compact finite volume complete hyperbolic 3-manifold which fibres over the circle S 1 . In this paper we describe the relationships between the quantum hyperbolic invariants of M (QHI) ( [START_REF] Baseilhac | Classical and quantum dilogarithmic invariants of flat P SL(2, C)-bundles over 3manifolds[END_REF][START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF][START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF]), and the intertwiners of finite dimensional representations of the quantum Teichmüller space of S ( [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF][START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF], [START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF]), where S is a fibre of some fibration of M over S 1 . Recall that M is the interior of a compact manifold M with boundary made by tori, and that S is the interior of a compact surface with boundary S, properly embedded in M , so that S ∩ M is a family of 'meridian' curves on ∂ M .

The existence of such relationships has been expected for a long time, and their precise formulation often thought as depending only on the solution of a handful of technical problems. Let us recall the main arguments underlying this opinion. Let q be a primitive N -th root of unity, where N is odd. Then:

• The quantum Teichmüller space T q S of S consists of the set of Chekhov-Fock algebras T q λ , considered up to a suitable equivalence relation (see Section 3.3), where λ varies among the ideal triangulations of S. A representation ρ of T q S is a suitable family of 'compatible' representations ρ = {ρ λ : T q λ → End(V λ )} λ . The irreducible representations of T q S were classified up to isomorphism in [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF], and so-called local representations were introduced and classified in [START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF].

• The local representations are reducible, but more suited to perform the usual cut-and-paste operations of topological quantum field theories. In this framework, it is natural to restrict to a distinguished family of intertwiners, satisfying some functorial properties with respect to the inclusion of triangulated subsurfaces. Theorem 20 of [START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF] proposed such a family, and argued that for every couple (ρ, ρ ) of isomorphic local representations of T q S and every couple (λ, λ ) of ideal triangulations of S, there is a unique projective class of intertwiners in the family which are defined from the representation space V λ of ρ λ to the representation space V λ of ρ λ .

Let us call the elements of these classes QT intertwiners.

• The diffeomorphisms of S act on the local representations of T q S . Denote by φ the monodromy of some fibration of M over S 1 . If a local representation ρ is isomorphic to its pull-back φ * ρ under φ (an instance is canonically associated to the hyperbolic holonomy of M [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF][START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF]), then the trace of a suitably normalized QT intertwiner which relates ρ λ to φ * ρ λ , λ := φ(λ), should be an invariant of M (possibly depending on φ) and the isomorphism class of ρ.

• The QT intertwiners can be constructed by composing elementary intertwiners, associated to the diagonal exchanges in a sequence relating two ideal triangulations of S, and these were identified with the Kashaev 6j-symbols in [START_REF] Bai | Quantum Teichmüller space and Kashaev's 6j-symbols[END_REF]. • The QHI of M can be defined by QH state sums over "layered" triangulations of M , that is, roughly, 3-dimensional ideal triangulations that realize sequences of diagonal exchanges relating the surface ideal triangulations λ and φ(λ), in such a way that every diagonal exchange is associated to a tetrahedron of the triangulation. The main building blocks of the QH state sums are tensors called matrix dilogarithms, carried by the (suitably decorated) tetrahedra, which were derived in [START_REF] Baseilhac | Quantum Hyperbolic invariants of 3-manifolds with P SL(2, C)-characters[END_REF] from the Kashaev 6j-symbols.

In conclusion, the QHI of M would coincide with the traces of QT intertwiners of local representations of T q S (at least when M is equipped with the hyperbolic holonomy). Only a suitable choice of normalization of the QT intertwiners and an explicit correspondence between formulas would be missing.

Another fact pointing in the same direction is that both the isomorphism classes of local representations of the quantum Teichmüller spaces and the QHI depend on similar geometric structures. Every local representation ρ of T q S defines an augmented character of π 1 (S) in P SL(2, C) [START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF], called its holonomy, given by a system of (exponential) shear-bend coordinates on every ideal triangulation λ of S. Moreover ρ has a load h ρ , defined as a N -th root of the product of the share-bend coordinates on any ideal triangulation λ of S, and which does not depend on the choice of λ. The holonomy and the load classify ρ up to isomorphism. On another hand, the QHI of any cusped 3-manifold M depend on a choice of augmented character r of π 1 (M ) in P SL(2, C), lying in the irreducible component of the variety of augmented characters containing the hyperbolic holonomy. If S is a fibre of a fibration of M over S 1 , r can be recoved from its restriction to π 1 (S).

However, other facts suggested that the relations between the QT intertwiners and the QHI would be subtler than expected:

• The matrix dilogarithms are obtained from the Kashaev 6j-symbols by rewriting them in a non trivial way as tensors depending on geometrically meaningful parameters (which are N -th roots of hyperbolic shape parameters), but also by applying a symmetrization procedure. This procedure is necessary to get the invariance of the QH state sums over any cusped 3-manifold. It involves several additional choices, and eventually forces to multiply the QH state sums by a normalization factor. It implies furthermore that the QHI must actually depend not only on the choice of an augmented character r of π 1 (M ) in P SL(2, C), but also on some cohomological classes, called weights, which cannot be recovered from the holonomy of local representations of the quantum Teichmüller spaces. The weights gauge out the additional choices. Surprisingly, both the normalization factor of the QH state sums and the weights did not appear in quantum Teichmüller theory.

• An issue about the uniqueness of the projective classes of QT intertwiners has been fixed recently. By a careful analysis of the definition of local representations, and adapting the construction of the QT intertwiners from [START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF], for every couple (ρ λ , ρ λ ) as above, it is constructed in [START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF] a unique, minimal set L ρρ λλ of projective classes of QT intertwiners which relate ρ λ to ρ λ , and a free transitive action [START_REF] Bai | A uniqueness property for the quantization of Teichmüller Spaces[END_REF] ψ ρρ λλ : H 1 (S; Z/N Z) × L ρρ λλ → L ρρ λλ .

In particular, the set L ρρ λλ is far from being reduced to one point.

The meaning of the normalization factor of the QH state sums has been better understood in [START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF]. In that paper we showed that for every cusped 3-manifold M , the QH state sums of M without the normalization factor define finer invariants H red N (M, r, κ; s), called reduced QH invariants, well-defined up to multiplication by 4N -th roots of unity. They depend on an augmented P SL(2, C)-character r of π 1 (M ), a class κ ∈ H 1 (∂ M ; C * ), C * = C \ {0} being the multiplicative group, such that κ N coincides up to sign with the restriction of r to π 1 (∂ M ), and an additional structure s on M , called a non ambiguous structure.

When M fibres over S 1 , a natural choice of s is a fibration of M , say with monodromy φ. Let us denote by M φ the realization of M as the mapping torus of φ, equipped with the corresponding fibration, and the reduced QH invariant by H red N (M φ , r, κ). The latter depends directly on the monodromy φ, and hence is apparently more suited to investigate the relationships with the QT intertwiners. Note, however, that the class κ is residual of the cohomological weights involved in the definition of the unreduced QHI, and so the above considerations about the weights still apply.

Denote by S a fibre of M φ . Rather than considering M φ one can consider as well the mapping cylinder C φ of φ. In this case, instead of a scalar invariant there is a (reduced) QH-operator

H red N (T C φ , b, w) ∈ End (C N ) ⊗2m , m := -χ(S),
which is such that

(2)

H red N (M φ , r, κ) = Trace H red N (T C φ , b, w) .
More precisely, in the spirit of topological quantum field theories, for every odd N ≥ 3 the QHI define a contravariant functor from the category of (decorated) (2 + 1)-cobordisms to the category of vector spaces. In particular, it associates vector spaces U λ and U λ to the triangulated surfaces (S, λ) and (S, λ ) respectively, where λ := φ(λ), and a QH-operator H red N (T C φ , b, w) : U λ → U λ to the cylinder C φ . The diffeomorphism φ gives an identification between U λ and U λ , so one can consider H red N (T C φ , b, w) as an element of End (U λ ). Moreover, the construction of the functor provides a natural identification of U λ with (C N ) ⊗2m .

The operator H red N (T C φ , b, w) is defined by means of QH state sums over layered QH-triangulations

(T C φ , b, w) of C φ .
Here, by 'layered QH-triangulation' we mean that: T C φ is a triangulation of C φ that produces a layered triangulation of M φ under the quotient map C φ → M φ ; w is a suitable system of N -th roots of shape parameters, solving the Thurston edge equations associated to the triangulation of M φ induced by T C φ , and which actually encodes both r and κ; finally b is a way of ordering the elements of w in each tetrahedron of T C φ , called weak-branching. The complete definition of (T C φ , b, w) is given in Section 3.2.

Our results describe the relationships between the QH-operators H red N (T C φ , b, w) and the set L ρρ λλ of QT intertwiners. First note that these are assigned to (λ, λ ) in a covariant way, as they go from the representation space V λ of ρ λ to the representation space V λ of ρ λ . For every finite dimensional vector space V , denote by V its dual space. The natural way to convert a QH operator H red N (T C φ , b, w) into a covariant one (preserving the value of its trace) is to consider its dual, or transposed operator

H red N (T C φ , b, w) T ∈ End (U λ ) .
Using the definitions of U λ in the QHI and of V λ in the theory of local representation of T q λ one gets natural identifications U λ ∼ = (C N ) ⊗2m ∼ = V λ . Under all these identifications

H red N (T C φ , b, w) T ∈ End (C N ) ⊗2m
is a QT intertwiner. Clearly, the matrix elements of these tensors in the respective canonical bases of (C N ) ⊗2m and (C N ) ⊗2m are related by

(3) (H red N (T C φ , b, w) T ) i1...i2m j1...j2m = H red N (T C φ , b, w) j1...j2m i1...i2m
. We can now state our results precisely. Let S be a punctured surface of negative Euler characteristic, φ a pseudo-Anosov diffeomorphism of S, M φ the mapping torus of φ equipped with its fibration over S 1 with monodromy φ, and consider triples (M φ , r, κ) and (T C φ , b, w) as above. Denote by λ, λ the ideal triangulations of S given by the restriction to S ×{0} and φ(S)×{1} of the (layered) triangulation

T C φ . Theorem 1.1. (1)
The QH-triangulation (T C φ , b, w) determines representations ρ λ and ρ λ of T q λ and T q λ respectively, belonging to a local representation ρ of T q S , such that ρ λ is isomorphic to φ * ρ λ , and acting on

V λ = V λ = ( (C N )
⊗2m . Moreover the transposed operator H red N (T C φ , b, w) T , considered as an element of Hom(V λ , V λ ), is a QT intertwiner which intertwins the representations ρ λ and ρ λ .

(2) For any other choice of weak branching b , the operator

H red N (T C φ , b , w) T intertwins local rep- resentations canonically isomorphic to ρ λ , ρ λ respectively. We call H ρ λ,λ := H red N (T C φ , b, w) T a QHI intertwiner.
Denote by X 0 (M ) the (unique) irreducible component of the variety of augmented P SL(2, C)characters of M that contains the discrete faithful holonomy r h . Denote by X(S) the variety of augmented characters of S, and by i * : X 0 (M ) → X(S) the restriction map. Recall the residual weight κ ∈ H 1 (∂ Mφ ; C * ) involved in the definition of the reduced QHI.

Theorem 1.2.

(1) There is a neighborhood of i * (r h ) in i * (X 0 (M )) ⊂ X(S) such that, for any isomorphism class of local representations of T q S whose holonomy lies in this neighborhood, there is a representative ρ of the class, representations ρ λ , ρ λ belonging to ρ, and a QHI intertwiner H red N (T C φ , b, w) T intertwining ρ λ and ρ λ as above. The load of ρ is determined by the values of the weight κ at the meridian curves that form S ∩ M .

(2) The set of QHI intertwiners H ρ λ,λ is the subset of QT intertwiners which intertwin the representation ρ λ to ρ λ , and whose traces are well defined invariants of the triples (M φ , r, κ) such that the restriction of r to π 1 (S) is the holonomy of ρ.

Let us make a few comments on Theorem 1.1 and 1.2.

• A key point of Theorem 1.1 (1) is to realize the transposed of the matrix dilogarithms as intertwiners between local representations of the two Chekhov-Fock algebras that one can associate to an ideal square. To this aim we consider an operator theoretic formulation of the matrix dilogarithms. As these are related to the Kashaev 6j-symbols (in a non trivial way), one could alternatively develop a proof based on the result of Bai [START_REF] Bai | Quantum Teichmüller space and Kashaev's 6j-symbols[END_REF] relating the Kashaev 6j-symbols with intertwiners as above. However, it is not immediate. Bai's result deals with local representations up to isomorphism, and does not provide explicit relations between actual representatives. Also the relation between the Kashaev 6j-symbols and the intertwiners of local representations is expressed in abstract terms, using the cyclic representations of the Weyl algebra, and not in terms of the eventual geometrically relevant parameters, the q-shape parameters (see Section 3.2).

• Theorem 1.2 (1) holds true more generally for any isomorphism class of local representations whose holonomy lies in i * (B), where B is a determined Zariski open subset of the eigenvalue subvariety E(M ) of X 0 (M ), introduced in [START_REF] Klaff | A birationality result for character varieties[END_REF]. Let us note here that E(M ) = X 0 (M ) if M has a single cusp, and in general, r h ∈ E(M ), and dim C E(M ) equals the number of cusps of M . For simplicity, in this paper we restrict to characters in a neighborhood of i * (r h ) in i * (X 0 (M )). The general case is easily deduced from the results of [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF].

• We can say that the invariance property of the QHI selects preferred elements in the set of all traces of QT intertwiners (which has no a priori basepoints). Note that, the action (1) being transitive, it does not stabilizes the set of QHI intertwiners. As well as the reduced QHI of M φ give rise to the QT intertwiners H red N (T C φ , b, w) T , with the mild ambiguity by 4N -th roots of unity factors, the unreduced QHI of M give rise to the QT intertwiners H N (T C φ , b, w) T , in the same projective classes as the "reduced" ones. The unreduced QHI of M , hence the associated QT intertwiners, do not depend on the choice of a fibration of M . However they depend on the full set of cohomological weights, which dominates the classes κ. The ratio unreduced/reduced QHI is a simpler invariant called symmetry defect, which can be used to study the dependence of the reduced QHI with respect to the fibration of M φ ( [START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF]). Finally, the ambiguity of the invariants up to multiplication by 4N -th roots of unity may not be sharp (see [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF] for some improvements in the case of the unreduced QHI).

The theorems above have the following consequences.

Recall that the reduced QH invariants satisfy the identity We can also use the QH-operators H red N (T C φ , b, w) to build finer invariants, associated to any irreducible representation of T q S . Namely, recall that every reducible representation is canonically the direct sum of its isotypical components (the maximal direct sums of isomorphic irreducible summands). Every intertwiner fixes globally each isotypical component. Then, we consider the isotypical intertwiners

H red N (M φ , r, κ) = Trace H red N (T C φ , b, w) ,
L φ ρ λ (µ) := H red N (T C φ , b, w) T |ρ λ (µ)
obtained by restriction to the isotypical components ρ λ (µ) of ρ λ , associated to irreducible representations µ of T q λ . Any irreducible representation of T q λ can be embedded as a summand of some local representation ( [START_REF] Toulisse | Irreducible decomposition for local representations of quantum Teichmüller space[END_REF]), and so has a corresponding isotypical component.

We have:

Corollary 1.4. (1)
The trace of L φ ρ λ (µ) is an invariant of (M φ , r, κ) and µ, well-defined up to multiplication by 4N -th roots of unity. It depends on the isotopy class of φ and satisfies

H red N (M φ , r, κ) = ρ λ (µ)⊂ρ λ Trace L φ ρ λ (µ) .
(2) The invariants Trace(L φ ρ λ (µ) ) do not depend on the values of the weight κ on longitudes.

In perspective, another application of Theorem 1.1 would be to study the representations of the Kauffman bracket skein algebras defined by means of the QHI intertwiners, by using the results of [START_REF] Toulisse | Irreducible decomposition for local representations of quantum Teichmüller space[END_REF].

The background material is recalled in Section 2 and 3. The proofs are in Section 4.

Remark about the parameter q. In this paper we denote by q an arbitrary primitive N -th root of unity, where N ≥ 3 is odd. Our orientation conventions used to define the quantum Teichmüller space, in the relations (14) and (16), imply that q corresponds to q -1 in some papers about quantum Teichmüller theory, eg. in [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF] or [START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF]. Our choice of q is motivated by Thurston's relations between shape parameters in hyperbolic geometry; in the quantum case, this choice gives the most natural form to the tetrahedral and edge relations between q-shape parameters (see Section 3.2).

Topological-combinatorial support

We fix a compact closed oriented smooth surface S 0 of genus g, and a subset P = {p 1 , . . . , p r } ⊂ S 0 of r ≥ 1 marked points. We denote by S the punctured surface S 0 \ P . We assume that m := -χ(S) = (2g -2) + r > 0.

A diffeomorphism φ 0 : S 0 → S 0 such that φ 0 (p j ) = p j for every j induces a diffeomorphism φ : S → S. Consider the cylinder C 0 := S 0 × [0, 1] with the product orientation. Denote by M 0 the mapping torus of φ 0 with the induced orientation. That is, M 0 := C 0 /∼ φ0 , where (x, 0) ∼ φ0 (y, 1) if y = φ 0 (x), x, y ∈ S 0 . Let M0 be the space obtained by collapsing to one point x j the image in M 0 of each line p j × [0, 1] in C 0 . Then M0 is a pseudo-manifold; X = {x 1 , . . . , x r } is the set of singular (ie. non manifold) points of M0 . Every singular point x j has a conical neighbourhood homeomorphic to the quotient of T 2 j × [0, 1] by the equivalence relation identifying T 2 j × {0} to a point, where T 2 j is a 2-torus. The point x j corresponds to the coset of T 2 j × {0}, and T 2 j × {1} is called the link of x j in M0 . So M = M0 \ X is the interior of a compact manifold M with boundary formed by r tori. In fact M is the mapping torus M φ = C/∼ φ , where C = S × [0, 1]. From now on, we denote by M φ the manifold M endowed with this fibration over the circle S 1 , and by C φ the mapping cylinder of φ.

Layered triangulations of M φ can be constructed as follows (see for instance [START_REF] Lackenby | Taut ideal triangulations of 3manifolds[END_REF], where one can find also a proof of the well known fact that two ideal triangulations of S are connected by a finite chain of diagonal exchanges). Consider the set of triangulations λ of S 0 whose sets of vertices coincide with P . By removing P , such a triangulation λ is also said an ideal triangulation of S; it has 3m edges and 2m triangles. Denote by λ = φ 0 (λ) the image ideal triangulation of S. Let us fix a chain of diagonal exchanges connecting λ to λ :

λ = λ 0 → λ 1 → • • • → λ k = λ .
Possibly by performing some additional diagonal exchanges followed by their inverses, we can assume that this chain is "full", in the sense that every edge of λ supports some diagonal exchange in the chain. Then the chain induces a 3-dimensional triangulation T of M0 , whose tetrahedra are obtained by "superposing", for every j, the two squares of λ j , λ j+1 involved in the diagonal exchange λ j → λ j+1 (see Figure 1). The set of vertices of T coincides with X. The ideal triangulation T \ X is called a layered triangulation of M φ . It lifts to a layered triangulation T C φ of the cylinder C φ .

For each tetrahedron of T , we call abstract tetrahedron its underlying simplicial set considered independently of the face pairings in T . Similarly we call abstract edge or face of T any edge or face of an abstract tetrahedra of T . Given any edge e of T , we write E → e to mean that an abstract edge E is identified to e in the triangulation T .

From now on we assume that the diffeomorphism φ of S is pseudo-Anosov, so that M φ is a hyperbolic manifold with r cusps.

By construction every (ideally triangulated) surface (S, λ j ) is embedded in T and T C φ . The union of the surfaces (S, λ j ) forms the 2-skeletons of T and T C φ . Every surface (S, λ j ) divides M φ locally, and the given orientations of S and M φ determines the (local) positive side of S in M . In terms of T C φ , the positive side of (S, λ) = (S, λ 0 ) lifts to a collar of S × {0}, while the negative side of (S, λ ) = (S, λ k ) lifts to a collar of S × {1}.

The triangulation T is naturally endowed with a taut pre-branching ω. Let us recall briefly this notion (see [START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF], [START_REF] Lackenby | Taut ideal triangulations of 3manifolds[END_REF]). A taut pre-branching is a choice of transverse co-orientation for each 2-face of T , so that for every tetrahedron, exactly two of its 2-face co-orientations point inward/outward; moreover, it is required that there are exactly two abstract diagonal edges E → e for every edge e of T . Here, we call diagonal edges the two edges of an abstract tetrahedron whose adjacent 2-face co-orientations point both inward or both outward. The taut pre-branching ω of T is defined by the system of transverse 2-face co-orientations dual to the orientation of the embedded surfaces (S, λ j ).

We fix also a weak branching b compatible with ω (see [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF]). Recall that b is a choice of vertex ordering b for each abstract tetrahedron of T , called (local) branching, satisfying the following constraint. The abstract 2-faces of the tetrahedron have an orientation induced by b, given by their vertex orderings up to even permutations. Then, it is required that these orientations match, under the 2-face pairings, with the orientations dual to ω (note that we do not require that the abstract vertex orderings match: this defines the stronger notion of global branching). Similarly, b gives an orientation to every tetrahedron; without loss of generality, we can assume that it agrees with the orientation of M . A weak branching bj is also defined on every surface triangulation λ j , by giving every triangle τ in λ j the branching induced by the tetrahedron lying on the positive side of τ .

In Figure 1 we show a typical local configuration occurring in T or T C φ , that is, a tetrahedron ∆, represented under an orientation preserving embedding in R 3 , built by gluing squares Q, Q along the boundary, carrying triangulations λ, λ related by a diagonal exchange. The orientation of ∆ agrees with the standard orientation of R 3 , and the 2-face co-orientations that define the pre-branching ω are dual to the counter-clockwise orientation of the four faces of ∆. We have chosen one branching b of ∆ (any edge being oriented from the lowest to the biggest endpoint) among the two which are compatible with ω and induce the given orientation of ∆. The 2-faces are ordered as the opposite vertices are, accordingly with b.

We advertize that Figure 1 will be used to support all computations. In such a situation we will denote by e 0 the edge [v 0 , v 1 ], by e 1 the edge [v 1 , v 2 ], and by e 2 the edge

[v 0 , v 2 ]. Q Q' ∆ 0 3 2 1 3 1 2 0 Figure 1.

Background results

Classical hyperbolic geometry.

Let M be any cusped hyperbolic 3-manifold with r cusps, r ≥ 1.

We denote by X(M ) the variety of augmented P SL(2, C)-characters of M . Let us recall the definition. Consider the set of pairs (r, {ξ Γ } Γ∈Π ), where r : π 1 (M ) → P SL(2, C) is a group homomorphism, Π is the set of peripheral subgroups of π 1 (M ) (associated to the boundary tori T 2 i of M , for all choices of base points of π 1 (T 2 i ) and π 1 (M ) and paths between them), and for every Γ ∈ Π, ξ Γ ∈ CP 1 is a fixed point of r(Γ) such that the assignment Γ → ξ Γ is equivariant with respect to the action of π 1 (M ) on Π by conjugation and on CP 1 via r by Moebius transformations. The set {(r, {ξ Γ } Γ∈Π )} is a complex affine algebraic set R(M ), with an action of P SL(2, C) defined on a pair (r, {ξ Γ } Γ ) by conjugation on r and Moebius transformation on {ξ Γ } Γ . Then, X(M ) is the algebro-geometric quotient of R(M ) by P SL(2, C), that is, the set of closed points of the ring of invariant functions C[R(M )] P SL (2,C) .

Similarly we denote by X(S) the variety of augmented characters of a surface S.

In the setting of Section 2, if M = M φ and S is a fibre of the fibration, then the inclusion map i : S = S × {0} → M φ induces a regular (restriction) map

i * : X(M φ ) → X(S).
Recall that π 1 (M φ ) is a HNN-extension of π 1 (S). That is, given a generating set γ 1 , . . . , γ u of π 1 (S) satisfying the relations r 1 , . . . , r v , there is an isomorphism between π 1 (M φ ) and the group generated by γ 1 , . . . , γ u and an element t satisfying the relations r 1 , . . . , r v and tαt -1 = φ * (α) for all α ∈ π 1 (S), where φ * : π 1 (S) → π 1 (S) is the isomorphism induced by φ. Therefore, every representation r : π 1 (S) → P SL(2, C) that may be extended to M φ is such that r(π 1 (S)) and r • φ * (π 1 (S)) are conjugate subgroups of P SL(2, C). Any augmented character of S that may be extended to M φ is thus a fixed point of the map Φ * : X(S) → X(S) induced by the map r → r • φ * on representations, and i * (X(M φ )) is a subvariety of Fix(Φ * ).

Again in the setting of Section 2, let (T, b) be a weakly branched layered triangulation of the fibred cusped manifold M φ . Let us recall a few facts about the gluing variety G(T, b), that is, the set of solutions of the Thurston gluing equations supported by (T, b). It is a complex affine algebraic set of dimension greater than or equal to r. The points of G(T, b) are classically called systems of shape parameters. Their coordinates, the shape parameters, are scalars in C \ {0, 1} associated to the abstract edges of T . The shape parameters of opposite edges of a tetrahedron are equal, and the cyclically ordered triple of shape parameters of a tetrahedron encodes an isometry class of hyperbolic ideal tetrahedra.

The set G(T, b) is defined by the following two sets of equations. For every branched tetrahedron, set w j := w(E j ), j = 0, 1, 2 (see before Figure 1 for the ordering of the edge E j ). For every edge e of T , define the total shape parameter W (e) as the product of the shape parameters w(E), where E → e. Then we have:

• (Tetrahedral equation) For every tetrahedron and j ∈ {0, 1, 2}, w j+1 = (1 -w j ) -1 cyclically; hence w 0 w 1 w 2 = -1. • (Edge equation) For every edge e of T , W (e) = 1.

A point w ∈ G(T, b) determines a pseudo-developing map F w : Mφ → H 3 , where Mφ is the universal cover of M φ , and F w is well-defined up to post-composition with an orientation-preserving isometry of H 3 . The map F w sends homeomorphically the edges of T to complete geodesics, and it satisfies F w (gx) = r w (g)F w (x) for all x ∈ Mφ , g ∈ π 1 (M φ ), where r w : π 1 (M φ ) → P SL(2, C) is a homomorphism. So w encodes the conjugacy class of r w . In fact, F w determines also some r wequivariant set {ξ Γ } Γ∈Π as above, so that eventually the map w → r w can be lifted to a regular "holonomy" map hol : G(T, b) → X(M φ ).

We have (see Proposition 4.6 of [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF] when M φ has a single cusp, and Remark 1.4 of [START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF] for the general case):

Proposition 3.1. There is a subvariety A of G(T, b) of dimension equal to the number of cusps of M , and a point w h ∈ A, such that hol(w h ) is the hyperbolic holonomy of M φ , and hol |A is a homeomorphism from a Zariski open subset of A containing w h onto its image.

In particular, every point w ∈ A encodes an augmented character of M φ ; the algebraic closure of hol(A) is the eigenvalue subvariety E(M φ ) of X 0 (M φ ), the irreducible component of X(M φ ) containing the discrete faithful holonomy r h (see [START_REF] Klaff | A birationality result for character varieties[END_REF]). If M φ has a single cusp, then E(M φ ) = X 0 (M φ ); in general E(M φ ) contains r h and has complex dimension equal to the number of cusps of M φ .

It follows from Proposition

3.1 that a point of i * (X 0 (M φ )) ⊂ X(S) close enough to i * (r h ) is encoded by a point w ∈ A.
From now on, we consider only systems of shape parameters w lying in the subvariety A of G(T, b). Denote by (T, b, w) the layered triangulation T of M φ endowed with the weak branching b and the labelling of the abstract edges of T by a system of shape parameters w. For every j = 0, . . . , k, consider the ideally triangulated surfaces (S, λ j ) embedded into (T, b, w) as in Section 2. For every edge e of λ j , define the lateral shape parameter W + j (e) as the product of the shape parameters of the abstract edges E → e carried by the tetrahedra lying on the positive side of (S, λ j ). Lemma 3.2. For any edge e of λ j , the (exponential) shear-bend coordinate of e defined by any pleated surface F w| S (ie. any lift ( S, λj ) of (S, λ j ) to Mφ , and any pseudo-developing map F w| S : S → H 3 ), coincides with the parameter x j (e) := -W + j (e).

The proof follows from the definitions (see eg. [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF]). Note that x 0 (e) = x k (φ 0 (e)) for every edge e of λ = λ 0 . Also, the shear-bend coordinate of any edge ẽ of λj is eventually 'attached' to the corresponding edge e of λ j , because for different choices of S or F w the images of F w| S differ only by an hyperbolic isometry.

Remarks 3.3. The parameter x j (e) is the opposite of W + j (e) because the (oriented) bending angle along an edge of λ j is traditionally measured by the external dihedral angle π -θ (see eg. [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF][START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF]), whereas the shape parameters use the internal dihedral angle θ. So θ = 0 when two adjacent ideal triangles F (τ ) and F (τ ) coincide, for triangles τ , τ of ( S, λj ).

3.2. Quantum hyperbolic geometry. We keep the setting of the previous section.

Recall that N ≥ 3 is an odd integer, and q a primitive N -th root of unity.

We begin with a few qualitative, structural features of the reduced quantum hyperbolic state sum H red N (T, b, w) defined in [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF][START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF]. It is a regular rational function defined on a covering of the gluing variety G(T, b). The points of this covering over a point w ∈ G(T, b) are certain systems of N -th roots w(E) of the shape parameters w(E), which label the abstract edges E of T and are called quantum shape parameters. Alike the "classical" ones, opposite edges of an abstract tetrahedron are given the same quantum shape parameter. Moreover, the quantum shape parameters verify the following relations, which are "quantum" counterparts of the defining equations of the gluing variety. For every branched tetrahedron of (T, b) put w j := w(E j ) (with the usual edge ordering fixed before Figure 1). For every edge e of (T, b, w), define the total quantum shape parameter W(e) as the product of the quantum shape parameters of the abstract edges E → e. Then we have:

• (Tetrahedral relation) For every tetrahedron, w 0 w 1 w 2 = -q.

• (Edge relation) For every edge e of T , W(e) = q 2 . For simplicity we will work with systems of quantum shape parameters w such that the corresponding systems of "classical" shape parameters w belong to a simply connected open neighborhood A 0 ⊂ A ⊂ G(T, b) of w h (the general case of systems w with arbitrary w ∈ A is described in [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF]). Note that A 0 is chosen so that w(E) varies continuously with w ∈ A 0 . Remarks 3.4. (1) For every z ∈ C \ {0}, denote by log(z) the determination of the logarithm which has the imaginary part in ] -π, π]. There is a Z-labelling d of the abstract edges of T such that, for every system w of quantum shape parameters over a point w ∈ A 0 , and every abstract edge E, we have ( 4)

w(E) = exp 1 N (log(w(E)) + πi(N + 1)d(E)) .
The above relations verified by the quantum shape parameters can be equivalently rephrased in terms of the Z-labelling d. For any point w ∈ A 0 , a Z-labelling d satisfying these relations defines a system of quantum shape parameters over w by the formula (4).

(2) In [START_REF] Baseilhac | Classical and quantum dilogarithmic invariants of flat P SL(2, C)-bundles over 3manifolds[END_REF][START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF][START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF] we solved (mainly in terms of the Z-labellings d) the existence problem of triples (T, b, w) for any cusped hyperbolic 3-manifold in the special case q = -exp(-iπ/N ). The same method works for an arbitrary q, up to minor changes.

The following result summarizes in a qualitative way the invariance properties of H red N (T, b, w). Denote by A 0,N the set of systems of quantum shape parameters over A 0 . Recall from Section 2 that M φ can be considered as the interior of a compact manifold Mφ bounded by tori. We have (see [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF] and [START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF]):

Theorem 3.5. (1) There exists a determined regular rational map κ N : A 0,N → (C * ) 2r such that the image κ N (A 0,N ) is the open subset of (C * ) 2r made of all the classes κ ∈ H 1 (∂ Mφ ; C * ) such that κ(l j ) N and κ(m j ) N are equal up to a sign respectively to the squared eigenvalues selected by [(r, {ξ Γ } Γ )] at the curves l j and m j , where r := [(r, {ξ Γ } Γ )] = hol(w) for some w ∈ A 0 .

(2) Given r ∈ hol(A 0 ) and κ ∈ H 1 (∂ Mφ ; C * ) as above, the value of H red N (T, b, w) is independent, up to multiplication by 4N -th roots of unity, of the choice of (T, b, w) among all weakly branched layered triangulations of M φ endowed with a system of quantum shape parameters w such that hol(w) = r and κ N (w) = κ.

We denote the resulting invariant by H red N (M φ , r, κ) := H red N (T, b, w). By the results of [START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF], it actually depends on the fibration of M φ .

The map κ N in Theorem 3.5 is a lift to A 0,N of j * • hol |A0 , where j * is the restriction map X(M φ ) → X(∂M φ ). Here is a concrete way to compute κ N (w)(α), for α ∈ H 1 (∂ Mφ ; Z). It is well known that the truncated tetrahedra of an ideal triangulation T of M φ provide a cell decomposition of Mφ which restricts to a triangulation ∂T of ∂ Mφ . Every abstract vertex of T corresponds to an abstract triangle of ∂T (at which a tetrahedron has been "truncated"); every vertex of such a triangle is contained in one abstract edge of T . Represent the class α by an oriented simple closed curve a on ∂ Mφ , transverse to ∂T . The intersection of a with a triangle F of ∂T is a collection of oriented arcs. We can assume that none of these arcs enters and exits F by a same edge. Then, each one turns around a vertex of F . If ∆ is a tetrahedron of T and F corresponds to a vertex of ∆, for every vertex v of F we denote by E v the edge of ∆ containing v, and write a → E v to mean that some subarcs of a turn around v. We count them algebraically, by using the orientation of a: if there are s + (resp. s -) such subarcs whose orientation is compatible with (respectively, opposite to) the orientation of ∂ Mφ as viewed from v, then we set ind(a, v) := s + -s -. Then [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF] κ N (w)(α) = a→Ev w(E v ) ind(a,v) .

In the case where α is the class of a positively oriented meridian curve m i of ∂ Mφ , this gives

(6) κ N (w)(α) = mi→Ev w(E v ).
Let us give now more details about the definition of the reduced QH state sum H red N (T, b, w). We are going to do it in terms of the QH-operator associated to the cylinder C φ , already mentioned in the Introduction.

By cutting (T, b, w) along one of the surfaces (S, λ j ) (that is, a triangulated fibre of M φ ), we get a QH-triangulation (T C φ , b, w) of the cylinder C φ having as "source" boundary component (S, λ), and as "target" boundary component (S, λ ), where λ = λ j and λ = φ(λ j ). It carries in a contravariant way the QH-operator

H red N (T C φ , b, w) ∈ End (C N ) ⊗2m , which is such that Trace H red N (T C φ , b, w) = H red N (T, b, w).
We define the QH-operator H red N (T C φ , b, w) by means of elementary tetrahedral and 2-face operators, as follows.

We can regard the QH triangulation (T, b, w) of M φ as a network of abstract QH-tetrahedra (∆, b, w), with gluing data along the 2-faces. To each QH-tetrahedron (∆, b, w) we associate a linear isomorphism called basic matrix dilogarithm ("basic" refers to the fact that we have dropped a symmetrization factor from the matrix dilogarithms that enter the definition of the unreduced QHI),

L N (∆, b, w) : V 2 ⊗ V 0 → V 3 ⊗ V 1
where V j is a copy of C N associated to the 2-face of (∆, b) opposite to the vertex v j . The basic matrix dilogarithms will be defined explicitly below. For the moment, note that V 1 , V 3 correspond to the 2-faces with pre-branching co-orientation pointing inside ∆. Concerning the gluing data, every 2-face F of T is obtained by gluing a pair of abstract 2-faces. Denote by F s and F t the "source" and "target" 2-face of the pair, with respect to the transverse co-orientation defined by the pre-branching ω b. Denote by V Fs and V Ft the copies of C N associated to F s and F t . The identification F s → F t is given by an even permutation on three elements, which encodes the image of the vertices of F s in F t . So it can be encoded by an element r(F ) ∈ Z/3Z. The triangulation T C φ of the cylinder C φ has 2m free 2-faces at both the source and target boundary components, (S, λ) and (S, λ ). Note that at every 2-face of (S, λ) the pre-branching orientation points inside C φ , while it points outside at the 2-faces of (S, λ ). For every gluing F s → F t occuring at an internal 2-face F of T C φ , as well as to every 2-face F of (S, λ ), we associate an endomorphism (again in contravariant way) [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF] Q

r(F ) N : V Ft → V Fs .
By definition, the QH-operator

H red N (T C φ , b, w) is the total contraction of the network of tensors {L N (∆, b, w)} ∆ and {Q r(F ) N } F . In formulas: (8) H red N (T C φ , b, w) = s ∆ L N (∆, b, w) s F Q r(F ) N,s
where the sum ranges over all maps s : {abstract 2-faces of T } ∪ {2-faces of (S, λ )} → {0, . . . , N -1} (the states of (T C φ , b, w)), and L N (∆, b, w) s and Q N,s denote the entries of the tensors L N (∆, b, w) and Q N selected by s, when the tensors are written in the canonical basis {e j } of C N . Note that the domain of s contains two copies of each 2-face F in the target boundary component of C φ . They correspond to the source and target spaces

V Fs , V Ft of Q r(F )
N . Finally, we provide an operator theoretic definition of the basic matrix dilogarithms (it is a straightforward rewriting of formula (32) in [START_REF] Baseilhac | Classical and quantum dilogarithmic invariants of flat P SL(2, C)-bundles over 3manifolds[END_REF]), as well as their entries and those of the endomorphisms Q N . Since it is the transposed tensor H red N (T C φ , b, w) T mentioned in the Introduction (see formula (3)) that occurs in Theorem 1.1, we consider the transposed endomorphisms of Q N and of the basic matrix dilogarithm instead:

Q T N : V Fs → V Ft , L T N (∆, b, w) : V 3 ⊗ V 1 → V 2 ⊗ V 0 where V Fs = V Ft = V j = (C N )
, the dual space of C N , for every j. The matrix elements will be given with respect to the canonical basis of (C N ) ⊗2 .

Remark 3.6. If {e j } is the canonical basis of C N , and {e j } the dual basis of (C N ) , the identification map ι : C N → (C N ) , ι(e j ) = e j , extends to a canonical identification, also denoted by ι, between (C N ) ⊗2 and (C N ) ⊗2 . Below we will rather deal with the endomorphisms

ι -1 • Q T N • ι ∈ End C N , ι -1 • L T N (∆, b, w) • ι ∈ End (C N ) ⊗2
. Obviously, they have the same matrix elements as Q T N and L T N (∆, b, w) with respect to the canonical basis of C N and (C N ) , and (C N ) ⊗2 and (C N ) ⊗2 , respectively. Similarly we will consider

ι -1 • H red N (T C φ , b, w) T • ι ∈ End (C N ) ⊗2m
. For simplicity we will systematically omit the maps ι from the notations.

The endomorphism Q T N : V Fs → V Ft is defined in the standard basis {e j } of (the copies V Fs , V Ft of) C N by (9) Q T N (e k ) = 1 √ N N -1 j=0 q 2kj+j 2 e j .
Define the endomorphisms A 0 , A 1 , A 2 ∈ End(C N ) by [START_REF] Lackenby | Taut ideal triangulations of 3manifolds[END_REF] A 0 e k = q 2k e k , A 1 e k = e k+1 , A 2 e k = q 1-2k e k-1 .

Note that A 0 A 1 A 2 = qId C N . We stress that these operators arise in the representation of the triangle algebra (see Section 3.3.2 below); their occurrence in the definition of the basic matrix dilogarithm is a key point to perform the computations at the end of the paper that will establish the bridge between the QHI and the QT intertwiners. Put

g(x) = N -1 j=1 (1 -xq 2j ) j/N , h(x) = g(x) g (1)
Υ = 1 N N -1 i,j=0 q -2ij-j A i 0 ⊗ (A 1 A 0 ) -j .
For any triple of quantum shape parameters w = (w 0 , w 1 , w 2 ) and any endomorphism U such that

U N = -Id, set Ψ w (U ) = h(w 0 ) N -1 i=0 U i i j=1 -q -1 w 2 1 -w -1
0 q 2j where by convention we set the product equal to 1 when i = 0. Then (11)

L T N (∆, b, w) = Ψ w (-A 0 A 1 ⊗ A -1 1 )
• Υ. Later we will need the following elementary but crucial fact, which belongs (in a different form) to Faddeev-Kashaev [START_REF] Faddeev | Quantum dilogarithm[END_REF]. Lemma 3.7. Let w 0 , w 2 be complex numbers such that w N 2 = 1-w -N 0 , and U an endomorphism such that U N = -Id. Then Ψ w (U ) defined as above is the unique endomorphism up to scalar multiplication which is a solution of the functional relation [START_REF] Klaff | A birationality result for character varieties[END_REF] Ψ w (q 2 U ) = (w 0 + q -1 w 0 w 2 U )Ψ w (U ).

Proof. The hypothesis on w 0 , w 2 implies that the summands of Ψ w (U ) are periodic in i, with period N . Hence we get the same sum if i ranges from 1 to N . With this observation, we have

q -1 w 0 w 2 U Ψ w (U ) = h(w 0 ) N -1 i=0 U i+1 q -1 w 0 w 2 i j=1 -q -1 w 2 1 -w -1 0 q 2j = h(w 0 ) N -1 i=0 U i+1 q -1 w 0 w 2 1 -w -1 0 q 2i+2 -q -1 w 2 i+1 j=1 -q -1 w 2 1 -w -1 0 q 2j = h(w 0 )   -w 0 N -1 i=0 U i+1 i+1 j=1 -q -1 w 2 1 -w -1 0 q 2j + N -1 i=0 (q 2 U ) i+1 i+1 j=1 -q -1 w 2 1 -w -1 0 q 2j   = -w 0 Ψ w (U ) + Ψ w (q 2 U ).
Hence Ψ w (U ) solves the equation [START_REF] Klaff | A birationality result for character varieties[END_REF]. Conversely, U N = -Id implies that U is diagonalizable with eigenvalues in the set {-q 2i , i = 0, . . . , N -1}. Hence Ψ w (U ) is a polynomial in U completely determined by its eigenvalues, which are of the form Ψ w (-q 2i ). By [START_REF] Klaff | A birationality result for character varieties[END_REF] they are given for i ≥ 1 by Ψ w (-q 2i ) = i j=1 (w 0 -q 2j-3 w 0 w 2 )Ψ w (-1), and hence uniquely determined up to the choice of Ψ w (-1). Therefore [START_REF] Klaff | A birationality result for character varieties[END_REF] has a unique solution Ψ w (U ) up to scalar multiplication. 2

Remark 3.8. The normalization factor h(w 0 ) is chosen so that det Ψ w (-A 0 A 1 ⊗ A -1 1 ) = 1. In particular, when (w 0 , w 1 , w 2 ) is a triple of quantum shape parameters we have [START_REF] Toulisse | Irreducible decomposition for local representations of quantum Teichmüller space[END_REF] Ψ w (q 2 U ) = (w 0 -w -1 1 U )Ψ w (U ).

Finally the entries of L T N (∆, b, w) in the basis {e k ⊗ e l } k,l of C N ⊗2 are as follows. Identify Z/N Z with {0, 1, . . . , N -1}. For every a ∈ Z set δ(a) = 1 if a ≡ 0 mod(N ), and δ(a) = 0 otherwise. For every n ∈ Z/N Z, consider the function ω(x, y|n) defined on the curve {(x, y ∈ C

2 | x N + y N = 1} by ω(x, y|0) = 1, ω(x, y|n) = n j=1 y 1 -xq -2j , n ≥ 1.
Then, for every i, j, k, l ∈ Z/N Z we have

L T N (∆, b, w) k,l i,j = h(w 0 )q -2kj-k 2 ω(w 0 , w -1 1 |i -k)δ(i + j -l). 3.3.
Representations of the quantum Teichmüller spaces. Unless stated differently, the results recalled in this section are proved in [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF][START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF] or [START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF].

Let λ be an ideal triangulation of S, and q as above. Recall that m = -χ(S). Put n := 3m and fix an ordering e 1 , . . . , e n of the edges λ. For all distinct i, j set σ ij := a ij -a ji ∈ {0, ±1, ±2}, where a ij is the number of times e i is on the right of e j in a triangle of λ, using the orientation of S. The Chekhov-Fock algebra T q λ is the algebra over C with generators X ±1 i associated to the edges e i , and relations (14) X i X j = q 2σij X j X i .

When q = 1, T 1 λ is just the algebra of Laurent polynomials C[X ±1 1 , . . . , X ±1 n ], which is the ring of functions on the classical (enhanced) Teichmüller space generated by the exponential shear-bend coordinates on λ.

The algebra T q λ has a well-defined fraction algebra Tq λ , and any diagonal exchange λ → λ induces an isomorphism of algebras ϕ q λλ : Tq λ → Tq λ . The above definition of T q λ works as well for any ideally triangulated punctured compact oriented surface S, possibly with boundary, where each boundary component is a union of edges. In particular, take S the ideal triangulated squares Q, Q in Figure 1. Number the edges of their triangulations λ, λ as in Figure 2. In such a situation ϕ q λλ has the form (15)

ϕ q λλ (X 5 ) = X -1 5 ϕ q λλ (X 1 ) = (1 + qX 5 )X 1 , ϕ q λλ (X 3 ) = (1 + qX 5 )X 3 ϕ q λλ (X 2 ) = (1 + qX -1 5 ) -1 X 2 , ϕ q λλ (X 4 ) = (1 + qX -1 5 ) -1 X 4 .
It is proved in [START_REF] Bai | A uniqueness property for the quantization of Teichmüller Spaces[END_REF] (see also Theorem 1.22 in [START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF]) that this case of the ideal square determines, for any punctured compact oriented surface S, a unique family {ϕ q λλ } λλ of algebra isomorphisms ϕ q λλ : Tq λ → Tq λ defined for all ideal triangulations λ and λ of S, if the family satisfies certain natural properties with respect to composition, diffeomorphisms of S, and decomposition into ideally triangulated subsurfaces. Given any ideal triangulations λ, λ of S and finite dimensional representation ρ λ : T q λ → End(V λ ), one says that ρ λ • ϕ q λλ makes sense if for every generator X i ∈ T q λ the element ϕ q λλ (X i ) can be written as

P i Q -1 i ∈ Tq λ , where P i , Q i ∈ T q λ and ρ λ (P i ), ρ λ (Q i ) are invertible endomorphisms of V λ . In such a case, ρ λ • ϕ q λλ (X i ) = ρ λ (P i )ρ λ (Q i ) -1
is well-defined (ie. independent of the choice of the pair (P i , Q i )).

By definition, the quantum Teichmüller space of S is the quotient set T q S := ( λ Tq λ )/ ∼, where ∼ identifies the algebras Tq λ and Tq λ by ϕ q λλ , for all ideal triangulations λ, λ of S. A representation of T q S is a family of representations ρ := {ρ λ : T q λ → End(V λ )} λ indexed by the set of ideal triangulations of S, such that ρ λ • ϕ q λλ makes sense for every λ, λ and is isomorphic to ρ λ . In fact, it is enough to check the isomorphisms ρ λ ∼ = ρ λ • ϕ q λλ whenever λ and λ differ by a flip.

Local representations. The irreducible representations of T q

S were classified up to isomorphism in [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF]. The local representations of T q S are special reducible representations defined as follows (see [START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF][START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF]). Define the triangle algebra T as the algebra over C with generators

Y ±1 0 , Y ±1 1 , Y ±1 2 and relations (16) Y 0 Y 1 = q 2 Y 1 Y 0 , Y 1 Y 2 = q 2 Y 2 Y 1 , Y 2 Y 0 = q 2 Y 0 Y 2 .
Fix an ordering τ 1 , . . . , τ 2m of the triangles of λ. Order the abstract edges e j 0 , e j 1 , e j 2 of τ j so that the induced cyclic ordering is counter-clockwise with respect to the orientation of S. Associate to τ j a copy T j of the algebra T , with generators denoted by Y j 0 ,Y j 1 ,Y j 2 , so that Y j i is associated to the edge e j i . There is an algebra embedding (17) i λ : T q λ → T 1 ⊗ . . . ⊗ T 2m defined on generators by (we denote a monomial ⊗ j A j in ⊗ j T j by omitting the terms A j = 1):

• If e i is an edge of two distinct triangles τ li and τ ri , and e li ai , e ri bi are the edges of τ li , τ ri respectively identified to e i , then i λ (X i ) := Y li ai ⊗ Y ri bi .

• If e i is an edge of a single triangle τ ki , and e ki ai , e ki bi are the edges of τ ki identified to e i , with e ki ai on the right of e ki bi , then i λ (X i

) := q -1 Y ki ai Y ki bi = qY ki bi Y ki ai . A representation ρ λ of T q λ is local if ρ λ = (ρ 1 ⊗ . . . ⊗ ρ 2m ) • i λ : T q λ → End(V 1 ⊗ . . . ⊗ V 2m
) for some irreducible representations ρ j : T → End(V j ) of T , j ∈ {1, . . . , 2m}. So, a local representation is an equivalence class of tuples (ρ 1 , . . . , ρ 2m ), where two tuples are equivalent if their restrictions to the subalgebra i λ (T q λ ) of T 1 ⊗ . . . ⊗ T 2m define the same representation. Two local representations

ρ λ = (ρ 1 ⊗ . . . ⊗ ρ 2m ) • i λ and ρ λ = (ρ 1 ⊗ . . . ⊗ ρ 2m ) • i λ of T q
λ are isomorphic if there are linear isomorphisms L j : V j → V j such that for every j = 1, . . . , 2m and Y ∈ T j we have

L j • ρ j (Y ) • (L j ) -1 = ρ j (Y ).
It is straightforward to check that this definition is independent of the choice of tuples (ρ 1 , . . . , ρ 2m ), (ρ 1 , . . . , ρ 2m ). By definition a local representation ρ of T q S is a representation formed by local representations ρ λ .

Isomorphism classes and standard local representations.

The isomorphism classes of irreducible representations of the triangle algebra T are parametrized by tuples of non zero scalars (y 0 , y 1 , y 2 , h) ∈ (C • ) 4 such that h N = y 0 y 1 y 2 . The parameter h is called the load of the class. The isomorphism class with parameters (y 0 , y 1 , y 2 , h) can be represented by standard representations ρ : T → End(C N ), which have the form

(18) ρ(Y i ) = y i A i , i ∈ {0, 1, 2}
where y 0 , y 1 , y 2 ∈ C * satisfy y N i = y i , i ∈ {0, 1, 2}, h = y 0 y 1 y 2 and A 0 , A 1 , A 2 are the endomorphisms of C N defined in [START_REF] Lackenby | Taut ideal triangulations of 3manifolds[END_REF].

Any local representation of T q

λ has dimension N 2m . The isomorphism class of a local representation ρ λ of T q λ is determined by: • a non zero complex weight x i associated to each edge of λ; • a N -th root h of x 1 . . . x n , called the load.

The weights x i and the load h are such that

(19) ρ λ (X N i ) = x i Id V1⊗...⊗V2m , ρ λ (H) = hId V1⊗...⊗V2m
where H is a central element of T q λ , called the principal central element, given by ( 20)

H = q -l<l σ ll X 1 . . . X n .
Note that h N = x 1 . . . x n . It is straightforward to check that two local representations are isomorphic if and only if they are isomorphic as local representations. We call ({x 1 , . . . , x n }, h) the parameters of ρ λ . We say that a local representation ρ λ = (ρ 1 ⊗ . . . ⊗ ρ 2m ) • i λ is standard if every ρ i is. This notion naturally extends to representations of T q S . Every point of (C * ) n can be realized as the n-tuple of parameters x i , i = 1, . . . , n, of a standard local representation of T q λ . There is a one-to-one correspondence between isomorphism classes of local representations {ρ λ :

T q λ → End(V 1 ⊗. . .⊗V 2m )} λ of T q
S and families of parameters

{({x 1 , . . . , x n } λ , h λ )} λ such that (21) h λ = h λ and x i = ϕ 1 λλ (x i )
for every i = 1, . . . , n and any two ideal triangulations λ, λ of S with edge weights {x 1 , . . . , x n }, {x 1 , . . . , x n } and loads h λ , h λ respectively. The edge weights x i of a local representation ρ λ : T q λ → End(V λ ) define its "classical shadow"

sh(ρ λ ) : T 1 λ → End(C)
by taking the restriction of ρ λ to the subalgebra C[X ±N 1 , . . . , X ±N n ] ∼ = T 1 λ of the center of T q λ . This notion extends immediately to local representations ρ = {ρ λ : T q λ → End(V λ )} λ of T q S ; the classical shadow sh(ρ) = {sh(ρ λ ) : T 1 λ → End(C)} λ is a representation of the coordinate ring T 1 S of the Teichmüller space (considered as a rational manifold with transition functions the maps ϕ 1 λλ ). Every representation of T 1 S is the shadow of N local representations of T q S . The shadows of local representations encode the Zariski open subset of X(S) made of the so-called peripherically generic characters. These include all the augmented characters of injective representations.

The load h has the following geometric interpretation. Let [(r, {ξ Γ } Γ∈Π )] be the augmented character of S determined by sh(ρ). Each Γ ∈ Π is a group generated by the class in π 1 (S) of a small loop m j in S going once and counter-clockwise around the j-th puncture, for some j ∈ {1, . . . , r} and some choice of basepoints. Since π 1 (S) is a free group, r : π 1 (S) → P SL(2, C) can be lifted to a homomorphism r : π 1 (S) → SL(2, C); the fixed point ξ Γ ∈ P 1 is then contained in an eigenspace of r(m j ), corresponding to an eigenvalue a j ∈ C.

Then (22) h N = (-1) r a -1 1 . . . a -1 r .
Finally, the decomposition into irreducible summands of a local representation ρ λ of T q λ is ( [START_REF] Toulisse | Irreducible decomposition for local representations of quantum Teichmüller space[END_REF])

(23) ρ λ = ⊕ ρ λ (µ)⊂ρ λ ρ λ (µ)
where the sum ranges over the set of all spaces ρ λ (µ) formed by intersecting one eigenspace for each of the so-called (central) puncture elements of T q λ . Each space ρ λ (µ) is also the isotypical component of an irreducible representation µ of T q λ , that is, the direct sum of all irreducible summands of ρ λ isomorphic to µ. Every irreducible representation of T q λ has an isotypical summand appearing in some local representation, and has multiplicity N g in it.

3.4. Intertwiners of local representations. Let (S, λ) and q be as before. Any surface R obtained by splitting S along some (maybe all) edges of λ inherits an orientation from S, and an ideal triangulation µ from λ. By gluing along edges backwards, one says that (S, λ) is obtained by fusion from (R, µ). In such a case, every local representation

η µ = (η 1 ⊗ . . . ⊗ η 2m ) • i µ of T q µ determines a local representation ρ λ of T q λ by setting ρ λ = (η 1 ⊗ . . . ⊗ η 2m ) • i λ . One says that η µ represents ρ λ . Given local representations η = {η µ : T q µ → End(W µ )} µ , ρ = {ρ λ : T q λ → End(V λ )} λ of T q R and T q S
respectively, one says that ρ is obtained by fusion from η if η µ represents ρ λ for all ideal triangulations µ of R, where λ is the ideal triangulation of S obtained by fusion from µ.

In [START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF], the following result is proved. The intertwiners L ρρ λλ ∈ L ρρ λλ in the statement are called QT intertwiners.

Theorem 3.9. There exists a collection {(L ρρ λλ , ψ ρρ λλ )}, indexed by the couples of isomorphic local representations ρ = {ρ λ :

T q λ → End(V λ )} λ , ρ = {ρ λ : T q λ → End(V λ )} λ of T q S
and by the couples of ideal triangulations λ, λ of S, such that:

(1) L ρρ λλ is a set of projective classes of linear isomorphisms L ρρ λλ : V λ → V λ such that for every X ∈ T q λ we have

L ρρ λλ • (ρ λ • ϕ q λλ )(X ) • (L ρρ λλ ) -1 = ρ λ (X ). (2) ψ ρρ λλ : H 1 (S; Z/N Z) × L ρρ λλ → L ρρ λλ is a free transitive action. (3) Let R be a surface such that S is obtained by fusion from R. Let η = {η µ : T q µ → End(W µ )} µ , η = {η µ : T q µ → End(W µ )} µ be two local representations of T q R such
that ρ, ρ are obtained respectively by fusion from η, η . Then, for every ideal triangulations µ, µ of R, if λ, λ are the corresponding ideal triangulations of S, there exists an inclusion map j : L ηη µµ → L ρρ λλ such that for every L ∈ L ηη µµ and every c ∈ H 1 (R; Z/N Z) the following holds:

(j • ψ ηη µµ )(c, L) = ψ ρρ λλ (π * (c), j(L))
where π : R → S is the projection map.

(4) For every isomorphic local representations ρ, ρ , ρ of T q S and for every ideal triangulations λ, λ , λ of S the composition map

L ρρ λλ × L ρ ρ λ λ -→ L ρρ λλ (L 1 , L 2 ) -→ L 2 • L 1
is well-defined, and for all c, d ∈ H 1 (S; Z/N Z) it satisfies

ψ ρ ρ λ λ (d, L 2 ) • ψ ρρ λλ (c, L 1 ) = ψ ρρ λλ (c + d, L 2 • L 1 )
. It is also proved in [START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF] that any collection of intertwiners satisfying a weak form of conditions ( 3) and (4) (not involving the actions ψ ρρ λλ ) contains the collection {L ρρ λλ }. So the latter is minimal with respect to these conditions.

Note that property (3) describes the behaviour of the intertwiners in L ρρ λλ under cut-and-paste of subsurfaces along edges of λ, λ . In particular, it implies that they can be decomposed into elementary intertwiners as follows. Any two ideal triangulations λ, λ of S can be connected by a sequence λ = λ 0 → . . . → λ k+1 = λ consisting of k diagonal exchanges followed by an edge reindexing λ k → λ k+1 (with same underlying triangulation). Then, any projective class of intertwiners [L ρρ λλ ] ∈ L ρρ λλ can be decomposed as

(24) L ρρ λλ = L ρρ λ λ • L ρρ λ k λ k+1 • • • • • L ρρ λ0λ1
where L ρρ λiλi+1 ∈ L ρρ λiλi+1 intertwins ρ λi and ρ λi+1 • (ϕ q λiλi+1 ) -1 , related by the i-th diagonal exchange, for every i ∈ {0, . . . , k -1}, and L ρρ λ λ intertwins ρ λ and ρ λ on the triangulation λ . In general the intertwiner L ρρ λλ depends on the choice of sequence λ = λ 0 → . . . → λ k+1 = λ , but the set L ρρ λλ and the action ψ ρρ λλ do not.

Proofs

We are ready to prove our main Theorems 1.1, 1.2, and Corollary 1.4. Let us reformulate them by using the background material recalled in the previous sections.

Let M φ be a fibred cusped hyperbolic 3-manifold realized as the mapping torus of a pseudo Anosov diffeomorphism φ of a punctured surface S. Put m = -χ(S) > 0. Let C φ be the associated cylinder. Let T be a layered triangulation of M φ , and T C φ the induced layered triangulation of C φ , with source boundary component the ideally triangulated surface (S, λ), and target boundary component (S, λ ), where λ = φ(λ) (as in Section 2).

For every odd N ≥ 3 and every primitive N -th root of unity q, let (T, b, w) be a QH layered triangulation of M φ , where w is a system of quantum shape parameters over w ∈ A, where A is the subvariety of the gluing variety G(T, b) as in Proposition 3.1. Let (T C φ , b, w) be the induced QH triangulation of C φ , and

H red N (T C φ , b, w) ∈ End (C N ) ⊗2m
the QH operator defined by means of the QH state sum carried by (T C φ , b, w). Associated to it we have the transposed operator

H red N (T C φ , b, w) T ∈ End ((C N ) ) ⊗2m and ι -1 • H red N (T C φ , b, w) T • ι ∈ End (C N ) ⊗2m
as in Section 3.2, still denoted by H red N (T C φ , b, w) T (see Remark 3.6). Now we re-state and prove our first main theorem, Theorem 1.1.

First Main Theorem. (1) Every layered QH-triangulation (T C φ , b, w) determines representations ρ λ and ρ λ of T q λ and T q λ respectively, belonging to a local representation ρ of T q S and such that V λ = V λ = (C N ) ⊗2m , and ρ λ is isomorphic to φ * ρ λ . Moreover, the operator H red N (T C φ , b, w) T , considered as an element of Hom(V λ , V λ ), is a QT intertwiner which intertwins the representations ρ λ and ρ λ .

(2) For any other choice of weak branching b , H red N (T C φ , b , w) T intertwins local representations canonically isomorphic to ρ λ , ρ λ respectively.

Proof. We organize the proof in several steps:

Step 1. Every transposed basic matrix dilogarithm L T N (∆, b, w) ∈ End (C N ) ⊗2 (see Section 3.2) intertwins standard local representations of T q λ , T q λ (see Section 3.3.2), where λ, λ are the ideal triangulations of the squares Q, Q in Figure 3. Step 2. Every transposed 2-face operator (Q T N ) r(F ) : V s → V t (see [START_REF] Faddeev | Quantum dilogarithm[END_REF]) intertwins representations of the triangle algebra ρ s : T → End C N , ρ t : T → End C N , associated to the abstract 2-faces F s , F t so that for each one the generator Y 0 labels the edge joining the lowest vertex to the middle one (with respect to the vertex ordering induced by the branching), and Y 1 labels the edge joining the lowest vertex to the biggest one.

Step 3. Every layered QH-triangulation (T C φ , b, w) of the cylinder C φ , associated to a sequence of diagonal exchanges λ = λ 0 → λ 1 → • • • → λ k = λ , determines standard local representations ρ j : T q λj → End (C N ) ⊗2m associated to the surfaces (S, λ j ), for every j ∈ {0, . . . , k}. These representations belong to a local representation ρ of the quantum Teichmüller space T q S . By Step 1, Step 2, and its actual definition by means of a QH state sum, H red N (T C φ , b, w) T intertwins the local representations ρ 0 and ρ k .

Step (2) proves the claim (2) in the First Main Theorem; the three steps together prove [START_REF] Bai | A uniqueness property for the quantization of Teichmüller Spaces[END_REF]. The details follow. Use the branching to order as e 0 , e 1 , e 2 the edges of any triangle of the squares Q, Q , so that e 0 goes from the lowest vertex to the middle one, and e 1 goes from the lowest vertex to the biggest one. In such a situation there are two embeddings (17), of the form i λ : T q λ → T 3 ⊗ T 1 , i λ : T q λ → T 2 ⊗ T 0 , where T i is the copy of the triangle algebra associated to the i-th 2-face (ie. opposite to the i-th vertex) of (∆, b), and

i λ (X 1 ) = Y 3 0 ⊗ 1, i λ (X 2 ) = 1 ⊗ Y 1 1 , i λ (X 3 ) = 1 ⊗ Y 1 2 , i λ (X 4 ) = Y 3 2 ⊗ 1, i λ (X 5 ) = Y 3 1 ⊗ Y 1 0 . i λ (X 1 ) = Y 2 0 ⊗ 1, i λ (X 2 ) = Y 2 1 ⊗ 1, i λ (X 3 ) = 1 ⊗ Y 0 2 , i λ (X 4 ) = 1 ⊗ Y 0 0 , i λ (X 5 ) = Y 2 2 ⊗ Y 0 1 . Note that Y i
j is associated to the edge e j of the i-th 2-face of (∆, b), that we have specified above. Recall the notion of standard local representation in Section 3.3.2.

(b) ρ j (X s ) = q -1 y j ki,ai y j ki,bi A ki ai A ki bi , if e s is an edge of a single triangle τ j ki , and e ki ai , e ki bi are the edges of τ j ki identified to e s , with e ki ai on the right of e ki bi . Consider the diagonal exchange λ j → λ j+1 , and the corresponding triangulated (abstract) squares Q and Q , as in Figure 3. The standard representations ρ j i : T → End(C N ) associated to the triangles of Q define a standard local representation ρ Q of T q λj |Q . Denote by ρ Q the standard local representation of T q λj+1|Q defined from ρ Q by the relations (26), where (∆, b, w) is the QH-tetrahedron of (T C φ , b, w) bounded by Q and Q ; we describe below the relations between w and ρ j (and hence ρ Q ). The representation ρ Q extends (by fusion) to a standard local representation

ρ j+1 = (ρ j+1 1 ⊗ . . . ⊗ ρ j+1 2m ) • i λj : T q λj+1 → End((C N ) ⊗2m )
by stipulating that ρ j+1 i = ρ j i on the common triangles of (S, λ j ) and (S, λ j+1 ). Since (S, λ j+1 ) is given the weak-branching bj+1 induced by its positive side in (T C φ , b, w), for every triangle τ j+1 i of (S, λ j+1 ) where bj+1 differs from the weak-branching given by (S, λ j ) or Q , replace the corresponding representation F ) , as in Lemma 4.3. For simplicity, we keep however the same notation for ρ j+1 . Define

ρ j+1 i by (Q T N ) r(F ) • ρ j+1 i (X) • (Q T N ) -r(
L ρj ρj+1 λj λj+1 : End((C N ) ⊗2m ) → End((C N ) ⊗2m )
as the operator acting as the identity on all factors except on the representation space

C N ⊗ C N → (C N ) ⊗2m of ρ Q , where it acts by (Q T N ) r(F2) ⊗ (Q T N ) r(F0) • L T N (∆, b, w).
Here, as usual we denote by F 2 and F 0 the 2-faces supporting the target space of L T N (∆, b, w). By construction, for every X ∈ T q λj+1 we have

(29) L ρj ρj+1 λj λj+1 • ρ j • ϕ q λj λj+1 (X ) • (L ρj ρj+1 λj λj+1
) -1 = ρ j+1 (X). Finally, assuming that a standard local representation ρ j is given for j = 0, by working as above we can define inductively a sequence of standard local representation ρ j , j = 0, . . . , k, and set

L ρ0,ρ k λ0,λ k := L ρ k-1 ρ k λ k-1 λ k • • • • • L ρ0ρ1 λ0λ1 .
Comparing with [START_REF] Bai | Local representations of the quantum Teichmüller space[END_REF] we see that L ρ0,ρ k λ0,λ k = H red N (T C φ , b, w) T . Now we have to specialize the choice of ρ 0 , structurally related to the triangulation (T C φ , b, w). Similarly to the "classical" lateral shape parameters W + j (e) (Section 3.1), put: Definition 4.4. For every edge e of (S, λ j ), the lateral quantum shape parameter W + j (e) is the product of the quantum shape parameters w(E) of the abstract edges E → e carried by tetrahedra lying on the positive side of (S, λ j ). The quantum shear-bend coordinates of (S, λ j ) are the scalars x j (e) := -q -1 W + j (e).

Denote by λ

(1) j the set of edges of the ideal triangulation λ j .

By Proposition 3.2, the quantum shear-bend coordinates x j (e), e ∈ λ

(1) j , form a system of N -th roots of the shear-bend coordinates x j (e) of λ j . By fixing w and varying w over w in the tuple (T C φ , b, w), one obtains a family of systems {x j (e)} e∈λ (1) j such that x 0 (e) = x k (φ(e)) for every edge e of λ = λ 0 .

The QH-triangulation (T C φ , b, w) determines x j (e s ) for all j ∈ {0, . . . , k} and every edge e s of λ j . Consider the case j = 0, and the regular map

π 0 : {y 0 = (y 0 i,k ) i,k } → {x 0 = (x 0 (e s )) es∈λ (1) 0 } defined by (30)
x 0 (e s ) = y 0 li,ai y 0 ri,bi or y 0 ki,ai y 0 ki,bi according to the cases (a) or (b) described at the beginning of Step 3. A simple dimensional count shows that π 0 is surjective, with generic fibre isomorphic to (C * ) 3m . Then, take a point y 0 ∈ π -1 0 (x 0 ). We get (31) ρ 0 (X s ) = x 0 (e s )A li ai ⊗ A ri bi or ρ 0 (X s ) = q -1 x 0 (e s )A ki ai A ki bi again according to the cases (a) or (b) above. We have to check that the sequence of local representations ρ j constructed by starting from ρ 0 is consistent, that is, compatible with w under the diagonal exchanges. Using the notations of Figure 3, by the tetrahedral and edge relations satisfied by the quantum shape parameters, for all j ∈ {0, . . . , k} we have (32)

x j (e 5 ) = -q -1 w 2 , x j+1 (e 5 ) = -qw -1 2 and (33)

x j+1 (e 1 ) = x j (e 1 )w -1 0 , x j+1 (e 2 ) = x j (e 2 )w -1 1

x j+1 (e 3 ) = x j (e 3 )w -1 0 , x j+1 (e 4 ) = x j (e 4 )w -1 1 . In particular, (32) for j = 0 is consistent with the relation w 2 = -qy 3 1 y 1 0 required by Proposition 4.1 (where y 3 1 = y 0 ri,bi and y 1 0 = y 0 li,ai ). Then, comparing (33) and ( 26) we see that for every j ∈ {0, . . . , k}, ρ j is indeed defined by identities like (31), with x 0 replaced by x j . By (29), the representations ρ 0 , . . . , ρ k belong to a local representation ρ = {ρ λ : T q λ → End(V λ )} λ of T q S . By ( 19), (31) and the similar identities for ρ j , we see that the parameters of ρ j are ({x j (e)} e∈λ

where x j (e) = (x j (e)) N and (34) h = e∈λ (1) j

x j (e).

For this identity, first note that the right hand side, say h j , does not depend on j. Indeed, by (32), (33) and the tetrahedral and edge relations for w 0 , w 1 and w 2 , we see that 5 i=1 x j (e i ) = 5 i=1 x j+1 (e i ) under a diagonal exchange. Since the quantum shear-bend coordinates of edges not touched by a diagonal exchange are not altered, we deduce that h j = h j+1 for every j = 0, . . . , k -1. Now we can check (34) as follows. Consider a triangle τ j s of λ j , with edges X i , X j , X k , where i < j < k. The weak branching b provides a bijection p : {i, j, k} → {0, 1, 2}. Then i λj (H) is a tensor product of monomials associated to the triangles of λ j , and the monomial for τ j s is q

-σ |τ j s Y s p(i) Y s p(j) Y s p(k) where -σ |τ j s is the contribution to the summand -σ ij -σ ik -σ jk of -l<l σ ll coming from the triangle τ j s . Noting that the product Y s 0 Y s 1 Y s 2 is invariant under cyclic permutations, one checks immediately that q -σ |τ l j Y s p(i) Y s p(j) Y s p(k) = q -1 Y s 0 Y s 1 Y s 2 . So i λj (H) = ⊗ 2m s=1 (q -1 Y s 0 Y s 1 Y s 2 ) and hence ρ j (H) = ⊗ 2m s=1 (y s 0 y s 1 y s 2 q -1 A s 0 A s 1 A s 2 ) = x j (e 1
) . . . x j (e n )Id (C N ) ⊗2m . Summarizing our discussion, we have proved the following result. It concludes the proof of Step 3 of our First Main Theorem, and hence of Theorem 1.1 in the introduction. Let us consider now Theorem 1.2. For the convenience of the reader we re-state it. We keep the usual setting. Recall that M φ is the interior of a compact manifold Mφ with boundary made by tori.

Second Main Theorem. There is a neighborhood of i * (r h ) in i * (X 0 (M φ )) ⊂ X(S) such that: (1) For any isomorphism class of local representations of T q S whose holonomy lies in this neighborhood, there are:

• A representative ρ of the class, and representations ρ λ , ρ λ belonging to ρ and acting on (C N ) ⊗2m , • a layered QH triangulation (T, b, w) of M φ such that H red N (T, b, w) = H red N (M φ , r, κ), for some weight κ ∈ H 1 (∂ Mφ , C * ) and augmented character r of π 1 (M φ ) such that the restriction of r to π 1 (S) is the holonomy of ρ, such that the operator H red N (T C φ , b, w) T is a QHI intertwiner which intertwins ρ λ and ρ λ as in Proposition 4.5. The load of ρ is determined by the values of the weight κ at the meridian curves that form S ∩ Mφ .

(2) The family of QHI intertwiners {H red N (T C φ , b, w) T } consists of the QT intertwiners which intertwin ρ λ to ρ λ and whose traces are well defined invariants of triples (M φ , r, κ) such that the restriction of r to π 1 (S) is the holonomy of ρ.

Proof. (1) Let ρ : T q λ → End((C N ) ⊗2m ) be a local representation with parameters ({x(e)} e∈λ (1) , h). Recall Proposition 3.1 and the discussion that follows. Assume that the augmented character [(r, {ξ Γ } Γ )] associated to ρ lies in i * (X 0 (M φ )), and can be encoded by a system of shape parameters w ∈ A 0 ⊂ A, the simply connected open neighborhood of w h in G(T, b) chosen before Remark 3.4. Then we can lift w to a system of quantum shape parameters w ∈ A 0,N , and using the QH-triangulation (T C φ , b, w), we can define a local representation ρ : T q λ → End((C N ) ⊗2m ) in the same way as ρ 0 in the proof of Proposition 4.5 (see (31)). It has quantum shear-bend coordinates x(e), e ∈ λ (1) , and parameters ({x(e)} e∈λ (1) , h ), where h = e∈λ [START_REF] Bai | A uniqueness property for the quantization of Teichmüller Spaces[END_REF] x(e). The system {x(e)} e∈λ [START_REF] Bai | A uniqueness property for the quantization of Teichmüller Spaces[END_REF] is the same for ρ and ρ , so in order that ρ ∼ = ρ, it remains to show that we can choose w so that h = h. But (h ) N = e∈λ [START_REF] Bai | A uniqueness property for the quantization of Teichmüller Spaces[END_REF] x(e) = h N , so h = ζh for some N -th root of unity ζ. On the other hand, by Theorem 3.5 [START_REF] Bai | A uniqueness property for the quantization of Teichmüller Spaces[END_REF], at all the meridian curves m j of ∂ Mφ we have κ N (w)(m j ) N = ±a -2 j where a j is defined before the identity (22), and we note that a -2 j is the dilation factor of the similarity transformation associated to the conjugate of r(m j ) fixing ∞, whence the squared eigenvalue at m j selected by [(r, {ξ

Γ } Γ )]. Hence (h ) 2N = a -2 1 . . . a -2 r = ±κ N (w)(m 1 ) N . . . κ N (w)(m r ) N .
Moreover, there is w ∈ A 0,N so that κ N (w )(m 1 ) . . . κ N (w )(m r ) is any given N -th root of a -2 1 . . . a -2 r . Let ζ be the N -th root of unity such that (h ) 2 = ζ κ N (w)(m 1 ) . . . κ N (w)(m r ). By using the formula (6) it is easy to check that (35) κ N (w)(m j ) = (-q -1 ) tj e | pj ∈∂e

W + (e)
where W + (e) is the lateral quantum shape parameter of (S, λ) at the edge e of λ, t j is the number of spikes of the triangles of λ at the j-th puncture p j of S, and the product is over all the edges e, counted with multiplicity, having p j as an endpoint. Recalling that there are 3m = -3χ(S) edges in λ, we deduce κ N (w)(m 1 ) . . . κ N (w)(m r ) = (-q -1 ) 3.2m

e∈λ (1) W + (e) 2 (36) = (-q -1 ) 6m (-q) 6m e∈λ (1) x(e) 2 = (h ) 2 . (37) Hence ζ = 1. Then take w ∈ A 0,N so that κ N (w )(m 1 ) . . . κ N (w )(m r ) = (h ) 2 ζ -2 . The load h of the representation ρ associated to w satisfies (h ) 2 = (h ) 2 ζ -2 = h 2 . Since N is odd, and again (h ) N = h N , eventually h = h . This achieves the proof of the claim (1) of the theorem. between ρ λ and ρ λ has a representative of the form (24), where L ρρ λiλi+1 = L T N (∆, b, w) for some system w := ( w0 , w1 , w2 ) of rough q-shape parameters (as in Lemma 4.6) on the tetrahedron (∆, b) associated to the i-th diagonal exchange.

Hence, proceeding as in the proof of Proposition 4.5 we deduce that:

Lemma 4.8. Every projective class of QT intertwiner in L ρρ λλ is represented by a QH state sum H red N (T C φ , b, w) T , where w is a system of rough q-shape parameters on T C φ .

The proof of the claim (2) of the Second Main Theorem then follows by analysing the invariance properties of the QH state sums Trace H red N (T C φ , b, w) . Such an analysis has been done in [START_REF] Baseilhac | Classical and quantum dilogarithmic invariants of flat P SL(2, C)-bundles over 3manifolds[END_REF] and [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF] in the case of the unreduced QH state sums on arbitrary closed pseudo-manifold triangulations. It applies verbatim to the reduced QH state sums by combining the results of Section 5 of [START_REF] Baseilhac | Classical and quantum dilogarithmic invariants of flat P SL(2, C)-bundles over 3manifolds[END_REF] with Proposition 6.3 (1) and 8.3 of [START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF].

The result is that Trace H red N (T C φ , b, w) is an invariant of the triple (M φ , r, κ) if and only if it is invariant under any layered '2 ↔ 3 transit' or 'lune transit' of (T C φ , b, w); such transits enhance to b and w the usual 2 ↔ 3 and lune moves between layered triangulations (which correspond to the pentagon and square relations for diagonal exchanges between surface triangulations). This invariance property happens if and only if w satisfies the tetrahedral and edge relations along every interior edge of T C φ , that is, when w is a genuine system of quantum shape parameters. In that situation Proof. Denote by ρ λ the local representation of T q λ associated to (T C φ , b, w) as in Proposition 4.5, where λ = λ 0 . Since κ = κ N (w) is given by its values on the longitudes and the meridian curves m j of ∂ Mφ , it is enough to show that r and the scalars κ(m j ) determine the parameters ({x 1 , . . . , x n }, h) of ρ λ . We already know that x 1 , . . . , x n are determined by r. Now, by the identities (36) and (37) we have h 2 = κ(m 1 ) . . . κ(m r ). Among the two square roots of h 2 , the load h is the only one which is an N -th root of (-1) r a -1 1 . . . a -1 r (using the notations of ( 22)). The eigenvalues a i being determined by the augmented character r, the conclusion follows.

2

Recall that given a local representation ρ λ and an irreducible representation µ of T q λ , we denote by ρ λ (µ) the isotypical component associated to µ in the direct sum decomposition of ρ λ into irreducible factors. Consider the isotypical intertwiners L φ ρ λ (µ) := H red N (T C φ , b , w) T |ρ λ (µ) .

Corollary 2.

(1) The trace of L φ ρ λ (µ) is an invariant of (M φ , r, κ) and µ, well-defined up to multiplication by 4N -th roots of unity. It depends on the isotopy class of φ and satisfies

H red N (M φ , r, κ) = ρ λ (µ)⊂ρ λ
Trace L φ ρ λ (µ) .

(2) The invariants Trace L φ ρ λ (µ) do not depend on the values of the weight κ on longitudes.

Proof. (1) We take back the notations used for Corollary 1. Once again, H red N (M φ , r, κ) is determined by φ and the isomorphism class of the local representation ρ λ , because it is the trace of H red N (T C φ , b, w). Each isotypical component of ρ λ is the intersection of one eigenspace of each of the so called puncture elements of T q λ (see [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF] and [START_REF] Toulisse | Irreducible decomposition for local representations of quantum Teichmüller space[END_REF]). Hence it is determined by the parameters ({x 1 , . . . , x n }, h) of ρ λ , together with a system of puncture weights p j ∈ C * , the eigenvalues of the puncture elements. These can be any N -th root of κ(m j ) N , where κ(m j ) is computed in (35). Hence r and κ determine one isotypical component of ρ λ . The others correspond to all other systems of puncture weights obtained by multiplying each p j with some N -th root of unity. Since H red N (T C φ , b, w) intertwins ρ λ and ρ λ , it intertwins their isotypical components too. The usual invariance proof of the reduced QHI still apply, and we get that the traces of the isotypical intertwiners are singly invariant.

By the results of [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF][START_REF] Baseilhac | Non ambiguous structures on 3-manifolds and quantum symmetry defects[END_REF], the invariants H red N (M φ , r, κ) actually depend on the choice of mapping torus realization M φ of M . Therefore the invariants Trace(L φ ρ λ (µ) ) do as well. By the same arguments as for H red N (M φ , r, κ), they are also defined for any augmented character r in a Zariski open subset of the eigenvalue subvariety of X 0 (M ) (see the comments on Theorem 1.2 in the Introduction).

The proof of ( 2) is the same as the one of the previous corollary. 2

  Fix a basis (l 1 , m 1 ), . . . , (l r , m r ) of π 1 (∂ Mφ ), and use it to identify H 1 (∂ Mφ ; C * ) with (C * ) 2r . Any augmented character [(r, {ξ Γ } Γ )] ∈ X(M φ ) determines the square of one of the two (reciprocally inverse) eigenvalues of r(γ), for any non trivial simple closed curve γ on ∂ Mφ and representative r of the character. Namely, by taking r in its conjugacy class so that r(π 1 (∂ Mφ )) fixes the point ∞ on CP 1 , r([γ]) acts on C as w → γ r w + b, where γ r ∈ C * and b ∈ C. The coefficient γ r is that squared eigenvalue selected by [(r, {ξ Γ } Γ )].

  Figure 2.

  Figure 3.

4.0. 1 .

 1 Proof of Step 1. Consider the squares Q, Q and the branched tetrahedron (∆, b) in Figure 3.

Proposition 4 . 5 .

 45 The QH triangulation (T C φ , b, w) determines a sequence of standard local representations ρ j : T q λj → End((C N ) ⊗2m ) associated to the triangulated surfaces (S, λ j ), with parameters ({x j (e)} e∈λ (1)j , h), h = e∈λ (1) j x j (e),and belonging to a local representation ρ of T q S . Moreover, H red N (T C φ , b, w) T intertwins the representations ρ 0 and ρ k .

2 FinallyCorollary 1 .

 21 Trace H red N (T C φ , b, w) a QHI intertwiner. For instance, the relation (27) implies that, modifying T C φ by introducing in the sequence λ → . . . → λ two consecutive diagonal exchanges along an edge e, H red N (T C φ , b, w) is unchanged if and only if the total quantum shape parameter at e satisfies W(e) = q 2 . This concludes the proof of our Second Main Theorem. , let us consider Corollary 1.3 and 1.4. For the reader's convenience we re-state them below as Corollary 1 and 2. We keep the usual setting. Let us fix a QH-triangulation (T C φ , b, w) of the cylinder C φ . Recall that H red N (M φ , r, κ) = Trace H red N T C φ , b, w) , and that M φ is the interior of a compact manifold Mφ with boundary made by tori. Call longitude any simple closed curve in ∂ Mφ intersecting a fibre of Mφ in exactly one point. The reduced QH invariants H red N (M φ , r, κ) do not depend on the values of the weight κ on the longitudes.

  and that M φ is the interior of a compact manifold Mφ with boundary made by tori. Let us call longitude any simple closed curve in ∂ Mφ intersecting a fibre of Mφ in exactly one point. We have:

	Corollary 1.3. The reduced QH invariants H red N (M φ , r, κ) do not depend on the values of the weight
	κ on longitudes.

Acknowledgement. We thank the referee for the several suggestions that have helped us to really improve the text.

Proposition 4.1. Let ρ λ = (ρ 3 ⊗ ρ 1 ) • i λ : T q λ → End(V 3 ⊗ V 1 ) be a standard local representation, and y i j be such that ρ i (Y i j ) = y i j A j , for i ∈ {1, 3}, j ∈ {0, 1, 2}. Let w be a triple of quantum shape parameters of the branched tetrahedron (∆, b) such that w 2 = -qy 3 1 y 1 0 . Then, for all X ∈ T q λ we have (25)

is the standard representation given by (26)

, y 2 2 y 0 1 = -qw -1 2 . Remark 4.2. Note that w 2 and w 1 = w N 1 = (1 -w N 2 ) -1 and w 0 = 1 -w -1 1 are determined by ρ λ , but the choice of N -th root w 1 (or w 0 ) is free; this choice determines w, and hence ρ λ , completely by the relation w 0 w 1 w 2 = -q. Also, we have ρ λ (X 5 ) = y 3 1

It is enough to check (25) for X ∈ {X 1 , . . . , X 5 }, using the relations (15). Let us do the cases X = X 5 and X 4 , the other cases being respectively similar to this last. For X = X 5 recall that ϕ q λλ (X 5 ) = X -1 5 ; in this case the identity (25) reads

Consider the factorization formula (11). We have (A

1 ) and we get (y

. Hence the identity (25) holds true for X = X 5 whenever

For X = X 4 recall that ϕ q λλ (X 4 ) = (1 + qX -1 5 ) -1 X 4 ; in this case the identity (25) reads (28) w). Now we have: w). Note that we used the relation [START_REF] Toulisse | Irreducible decomposition for local representations of quantum Teichmüller space[END_REF] in the fourth equality. Hence, using (27) we see that (25) holds true for X = X 4 whenever y 0 0 = w -1 1 y 3 2 . The other cases X = X 1 , X 2 or X 3 are similar.

We have:

Lemma 4.3. The endomorphism (Q T N ) r(F ) intertwins ρ s and ρ t . Namely, for all X in T we have

It is enough to check this on generators, where it follows from 3)). This is straightforward to check.

2

Note that Q N has order 3 up to multiplication by 4-th roots of 1 (see [START_REF] Baseilhac | Analytic families of quantum hyperbolic invariants[END_REF], Lemma 7. Recall that for every j ∈ {0, . . . , k}, the triangulated surface (S, λ j ) inherits a weak branching bj from its positive side in (T, b, w). Order as τ j 1 , . . . , τ j 2m the branched abstract triangles of (λ j , bj ). For every i ∈ {1, . . . , 2m}, order as e i 0 , e i 1 , e i 2 the edges of the triangle τ j i , as described before Proposition 4.1 and Lemma 4.3. Label e i k with the generator Y i k of a copy of the triangle algebra T . Assume that for some j ∈ {0, . . . , k} we are given a standard local representation

where the standard representations ρ j i : T → End(C N ) are associated to the triangles τ j i . As in (18), put ρ j i (Y k ) := y j i,k A k . By the very definition of i λj (see ( 17)), for any edge e s of λ j , with edge generator X s ∈ T q λj , we have (as usual we denote a monomial ⊗ j A j in T ⊗2m by omitting the terms A j = 1):

(a) ρ j (X s ) = y j li,ai y j ri,bi A li ai ⊗ A ri bi , if e s is an edge of two distinct triangles τ j li and τ j ri , and e li ai , e ri bi are the edges of τ j li , τ j ri respectively identified to e s .

(2) We need to describe the general form of the QT intertwiners associated to sequences of diagonal exchanges λ → . . . → λ , for arbitrary standard local representations ρ λ , ρ λ of T q λ , T q λ . This is done in Lemma 4.8. For that, we reconsider the arguments of the proof of the claim (1) in the First Main Theorem. First, we look at the case of a diagonal exchange λ → λ , occuring in squares Q, Q as in Figure 3. We fix standard local representations ρ λ , ρ λ of T q λ , T q λ such that ρ λ •(ϕ q λλ ) -1 is isomorphic to ρ λ , and differs from it only on Q, Q , where ρ λ , ρ λ are represented by irreducible representations ρ j of the triangle algebra with parameters y j k , where j ∈ {0, 1, 2, 3} and k ∈ {0, 1, 2}. Lemma 4.6. With the above notations we have

Moreover, denoting these scalars by w0 , w1 and w2 respectively, (w 0 , w 1 , w 2 ) := ( wN

We say that ( w0 , w1 , w2 ) is a triple of rough q-shape parameters on (∆, b). Each of the scalars wj corresponds to a pair of opposite edges of ∆. Note that, in general, the product w0 w1 w2 can be any N -th root of -1, the special case of -q being achieved by the q-shape parameters.

Proof. We prove first the second claim, that is, the N -th powers of the scalars set equal in (38) are indeed equal, and form a triple of shape parameters (w 0 , w 1 , w 2 ). By the relations (15) we have

and a relation like the second for X 3 , X 3 , and like the fourth for X 4 , X 4 . Note that we use the q-binomial formula and the fact that q 2 is a primitive N -th root of 1, N odd, to deduce the results. Hence the shear-bend parameters x i , x i at the edges e i , i ∈ {1, . . . , 5}, satisfy

By a mere rewriting of formulas, it follows easily from this, (30) and x(e) N = x(e) for all edges e of λ, that (39) -w 2 = (y 3 1 y 1 0 ) N = (y 2 2 y 0 1 ) -N w 0 = x 1 /x 1 = x 3 /x 3 = (y 3 0 /y 2 0 ) N = (y 1 2 /y 0 2 ) N w 1 = x 2 /x 2 = x 4 /x 4 = (y 1 1 /y 2 1 ) N = (y 3 2 /y 0 0 ) N . and w i+1 = (1-w i ) -1 for i = 0, 1. Now we prove (38). Let us reconsider Proposition 4.1 in the present situation. Instead of ρ λ and the system (w 0 , w 1 , w 2 ) of quantum shape parameters on (∆, b), it is the pair of local representations ρ λ , ρ λ that are given on Q, Q , and we are looking for ( w0 , w1 , w2 ) such that the identity (25) holds true. Again (25) yields the first equality of (27), which is the last relation of (38), without implying any constraints on ( w0 , w1 , w2 ). Then, use it to define w2 by the same formula. Replacing all uses of the relation ( 13) by [START_REF] Klaff | A birationality result for character varieties[END_REF] in the other computations defines w0 = y 3 0 /y 2 0 and w1 = y 1 1 /y 2 1 , and eventually proves the first two identities in (38). For instance, in the case of X = X 4 the result becomes

w0 w2 y 3 2 A 0 ) • L T N (∆, b, w) and hence (28) holds true whenever w0 = -qy 0 0 /y 3 2 w2 . Comparing with the result of the similar computation for X = X 2 we find the second identity in (38). The other cases are similar.

2

Now we have:

Proposition 4.7. (See [START_REF] Bonahon | Representations of the quantum Teichmüller space and invariants of surface diffeomorphisms[END_REF][START_REF] Mazzoli | Intertwining operators of the quantum Teichmüller space[END_REF]) Assume that S is an ideal polygon with p ≥ 3 vertices. Then for every ideal triangulation λ of S, every local representation of T q λ is irreducible. In the situation of the lemma we have the ideal squares Q, Q , and so the proposition implies that L T N (∆, b, w) is a representative of the unique projective class of intertwiners from ρ λ to ρ λ • (ϕ q λλ ) -1 . More generally, let λ, λ be ideal triangulations of S connected by a sequence of diagonal exchanges, and let ρ, ρ be isomorphic standard local representations of T q S . Then every QT intertwiner L ρρ λλ