A meromorphic extension of the 3D Index

Using the locally compact abelian group $\BT \times \BZ$, we assign a meromorphic function to each ideal triangulation of a 3-manifold with torus boundary components. The function is invariant under all 2--3 Pachner moves, and thus is a topological invariant of the underlying manifold. If the ideal triangulation has a strict angle structure, our meromorphic function can be expanded into a Laurent power series whose coefficients are formal power series in $q$ with integer coefficients that coincide with the 3D index of \cite{DGG2}. Our meromorphic function can be computed explicitly from the matrix of the gluing equations of a triangulation, and we illustrate this with several examples.

1. Introduction 1.1. The 3D-index of Dimofte-Gaiotto-Gukov. In a recent breakthrough in mathematical physics, the physicists Dimofte, Gaiotto and Gukov [DGG13b,DGG13a] introduced the 3D-index, a powerful new invariant of an ideal triangulation T of a compact orientable 3-manifold M with non-empty boundary consisting of tori. The 3D-index was motivated by the study of the low energy limit of a famous 6-dimensional (2, 0) superconformal field theory, and seems to contain a great deal of information about the geometry and topology of the ambient manifold. For suitable ideal triangulations, the 3D-index is a collection of formal Laurent power series in a variable q, parametrized by a choice of peripheral homology class, i.e., an element of H 1 (∂M, ).
Physics predicts that the 3D-index is independent of the triangulation T and that it is a topological invariant of the ambient manifold. However, there is a subtlety: the 3Dindex itself (which is a sum over some q-series over a lattice) is only defined for suitable triangulations, and it is invariant under 2-3 moves of such triangulations. It is not known whether suitable triangulations are connected under 2-3 moves, and it is known that some 3manifolds (for instance, the unknot) have no suitable triangulation. It was shown in [Gar16,GHRS15] that a triangulation is suitable if and only if it is 1-efficient, i.e., has no normal surfaces which are topologically 2-spheres or tori. Thus, the connected sum of two nontrivial knots, or the Whitehead double of a nontrivial knot has no 1-efficient triangulations. With some additional work, one can extract from the 3D-index a topological invariant of hyperbolic 3-manifolds [GHRS15].
This partial success in constructing a topological invariant suggests the existence of an invariant of ideal triangulations unchanged under all 2-3 Pachner moves. The construction of such an invariant is the goal of our paper. Indeed, to any ideal triangulation, we associate an invariant which is a meromorphic function of the peripheral variables, and, for triangulations with strict angle structures, the coefficients of its expansion into Laurent series coincides with the 3D-index of [DGG13a]. Our meromorphic function is an example of a topological invariant associated to the self-dual locally compact abelian group (abbreviated LCA group) Ì × . A more detailed formulation of our results follows.
In a sense, our paper does the opposite from that of [GK17]. In the latter paper we expressed state integral invariants (which are analytic functions in a cut plane) in terms of q-series, whereas in the present paper we assemble q-series into meromorphic state-integral invariants. Our work illustrates the principle that some state-integrals can be formulated in terms of q-series and vice-versa.
1.2. Our results. Fix an ideal triangulation T of an oriented 3-manifold M whose boundary consists of r tori, and choose peripheral curves that form a basis of H 1 (∂M, ). To simplify notation, we will present our results only in the case when M has a single torus boundary though our statements and proofs remain valid in the general case.
After a choice of a meridian and longitude, we can identify the complex torus Ì M = H 1 (∂M, * ) with ( * ) 2 where the latter is given by the coordinates (e µ , e λ ). Throughout the paper, q will denote a complex number inside the unit disk: |q| < 1. For r, s ∈ É, we define the associated q-rays of the complex torus by (1) Σ r,s = {(e µ , e λ ) ∈ ( * ) 2 | e r µ e s λ ∈ q AE } where AE = ≥0 is the set of nonnegative integers. A shifted q-ray is a subset of the complex torus of the form εq t Σ r,s for some t ∈ É and ε = ±1. convergent on the unit torus |e µ | = |e λ | = 1, where I T (m, e) is the 3D-index of [DGG13b].
Fix a 3-manifold M as above and consider the set S M of all ideal triangulations of M that admit a strict angle structure. Corollary 1.3. Although it is not known yet if S M is connected or not by 2-3 Pachner moves, the 3D-index of [DGG13b] is constant on S M . 1.3. Discussion. In a series of papers [AK14,AKb,AKa,Kasb], topological invariants of (ideally triangulated) 3-manifolds have been constructed from certain self-dual LCA groups equipped with quantum dilogarithm functions. The main idea of those constructions is the following. Fixing a self-dual LCA group with a gaussian exponential and a quantum dilogarithm function, one assigns a state-integral invariant to an ideal triangulation decorated by a pre-angle structure (in the cited papers this is called shape structure), that is a choice of a strict angle structure within each ideal tetrahedron, but the angles do not have to add up to 2π around the edges edges of the ideal triangulation. The resulting state-integral is often the germ of a meromorphic function on the (affine vector) space of real-valued pre-angle structures. This affine space has an (affine vector) subspace of complex-valued angle structures (the pre-angle structures that add up to 2π around each geometric edge of the triangulation). The above meromorphic function is either infinity or restricts to a meromorphic function on the space of complex-valued angle structures. When the latter happens, the state-integral depends only on the peripheral angle monodromy. This way we obtain an invariant of ideal triangulations which depends on the peripheral angle monodromy.
The above construction is general and, in particular, it applies to the invariants constructed in [AK14,AKa,AKb] and [KLV16]. Our goal is to give a self-contained presentation in the case of the self-dual LCA group Ì× with a quantum dilogarithm first found by Woronowicz in [Wor92] and to relate this invariant to the 3D-index of Dimofte-Gaiotto-Gukov [DGG13a].

Bulding blocks
2.1. The tetrahedral weight. In this section we define the tetrahedral weight which is the building block of our state-integral. We give a self-contained treatment of the symmetries and identities that it satisfies.
Below, we will often consider expansions of meromorphic functions defined on open annuli or punctured disks, examples of which are given in Equations (20), (23), (24). These Laurent expansions (not to be confused with the formal Laurent series which involve only finitely many negative powers and arbitrarily many positive powers) are well-known in complex analysis and their existence, convergence and manipulation follows from Cauchy's theorem. A detailed discussion of this can be found, for example, in [Ahl78].
As a warm up, recall the Pochhammer symbol where AE := ≥0 and we always assume that |q| < 1. The next lemma summarizes the well-known properties of the Pochhammer symbol (x; q) ∞ .
Lemma 2.1. The Pochhammer symbol (x; q) ∞ has the following properties. (a) It is an entire function of x with simple zeros x ∈ q −AE . (b) It satisfies the q-difference equation (c) It has convergent power series expansions For the proof of part (c), see for instance [Zag07,Prop. 2]. Consider the function The next lemma summarizes its properties.
Lemma 2.2. The function G q (z) defined in (6) has the following properties. (a) It is a meromorphic function of z ∈ * := \ {0} with simple zeros and poles in −q 1+AE and q −AE respectively, and with essential singularities at z = 0 and z = ∞.
(b) It satisfies the q-difference equation and the involution equation .
(c) It has a convergent Laurent series expansion in the punctured unit disk 0 < |z| < 1: is a well-defined element of [[q]], analytic in the disk |q| < 1.
Parts (a) and (b) follow easily from the product expansion of the Pochhammer symbol and part (c) follows from (5a)-(5b).
The tetrahedral weight is a function ψ 0 (z, w) defined by: The properties of this function are summarized in the following lemma.
(b) It satisfies the q-difference equations (c) It satisfies the /2 and /3-invariance equations we have the absolutely convergent expansion where the interior sum is a well-defined element of [[q]], analytic in the disk |q| < 1.
These properties follow from the definition of ψ 0 and the properties of G q listed in Lemma 2.2.
2.2. The quantum dilogarithm. In this sub-section we identify the tetrahedral weight function ψ 0 (z, w) with (the reciprocal of) the quantum dilogarithm function ψ(z, m) on the self-dual LCA group Ì × , given by [Kasb,Eqn.97] In the context of quantum groups, this function first appeared in [Wor92]. In Appendix A, we explain how formula (19) fits the general definition of a quantum dilogarithm over the LCA group Ì × . Lemma 2.1 and the above definition imply the following properties of the function ψ(z, w).
Lemma 2.4. The function ψ(z, m) defined in (19) has the following properties. (a) It is a meromorphic function of z with simple poles and zeros at z ∈ −q −1−|m|−2AE and z ∈ −q 1+|m|+2AE , respectively. (b) It is analytic in the annulus 0 < |z| < |q| −1−|m| (which always includes the unit circle |z| = 1) where it has an absolutely convergent Laurent series expansion and (e) + := max{0, e} and (q) n := (q; q) n = n i=1 (1 − q i ). The next theorem connects the tetrahedral weight function ψ 0 (z, w) with the above function ψ(z, m). Proof. We let RHS denote the sum in the right hand side of Equation (23). RHS is absolutely convergent in the domain (17) and it can be explicitly calculated by using Ramanujan's 1 ψ 1summation formula. The detailed computation appears in [Kasb,Eqn. (98)] and the result reads is the Jacobi theta function, and the second equality in (26) is the Jacobi triple product identity. By using Lemma 2.6 (see below) and the Jacobi triple product identity we can further simplify the right hand side of (25), thus getting This concludes the proof of the part (a). Part (b) follows from (23) combined with (20).
First, we rewrite g(u) as follows: Then, we transform h(u/w, w) as follows: where in the second equality we have shifted the summation variable k → k − l. Next, we write out separately the sum over even and odd k: where, this time, in the second equality we have shifted the summation variable l → l + k. Now, we can absorb both summations by using the definition of the θ-function: Finally, by using the functional equation with q → q 2 , x = w 2 and l = −1 in the second term, we arrive to the following factorized formula Thus, we have obtained the equality In summary, the tetrahedral weight ψ 0 (z, w) is given by two sum formulas and a product formula, and the last of which implies the meromorphicity of the function and the location of its zeros and poles: For completeness, the next lemma summarizes the q-difference equations and the symmetries of ψ(z, w).
Lemma 2.7. The function ψ(z, m) defined in (19) satisfies the following q-difference equations The above equations characterize the meromorphic function ψ(z, m) up to multiplication by a function of q, analytic in the unit disk |q| < 1.
For completeness, the next lemma summarizes the symmetries of I ∆ (m, e).
Lemma 2.8. For all integers m and e we have the /2 and /3-invariance equations: As a consequence, we have another /2-invariance equation These follow from equations (24)  (42) for all integers m 1 , m 2 , e 1 , e 2 . Replacing q by q 2 in (42) and using equation (21), it follows that the tetrahedron index I ∆ satisfies the equation To remove the factor (−q) e 3 in the above equation, we apply equation (40b) to the two terms of the left hand side and to the last term in the right hand side, and obtain we rewrite the latter equality as Applying equation (41) to both functions on the left hand side of the above equation, and after a linear change of variables we obtain Applying equation (41) to the first and third terms of the right hand side of the above equation, we obtain which coincides with a special (constant) form of the beta pentagon equation [Kas14,Eqn.(2)] for the LCA group . Using the fact that the beta pentagon relation is stable under Fourier transformation, see [Kas14, Sec.2], we also conclude that the function satisfies the constant beta pentagon equation for the circle LCA group T = {z ∈ | |z| = 1}: Equivalently, the function ψ 0 (z, w), thought of as a distribution on Ì 2 , satisfies the integral where all variables belong to the unit circle T. The distributional interpretation of ψ 0 (z, w) means that its restriction to Ì 2 should be obtained by approaching Ì 2 from the domain (17), which is the domain of absolute convergence of the double series (24), i.e., where α + β + γ = π. The positive parameters α, β, γ satisfying the condition α + β + γ = π (which we call pre-angle structure) can be identified with the dihedral angles of a positively oriented ideal hyperbolic tetrahedron. These angles are placed on the edges of a tetrahedron with ordered vertices according to Figure 1.
Moreover, the constant distributional beta pentagon identity (47) is a constant limit of the analytically continued non-constant identity where (α i , β i , γ i ) are pre-angle structures on five tetrahedra T i for i = 0, . . . , 4 which are compatible, i.e., satisfy the linear relations Notice that a compatible angle structure satisfies the balancing condition for the interior edge 13: 3. The state-integral 3.1. Definition of the state-integral. Fix an ideal triangulation T of an oriented 3manifold with N tetrahedra T i for i = 1, . . . , N. The invariant is defined as follows: (a) Assign variables x i for i = 1, . . . , N to N edges of T . (b) Choose a strictly positive pre-angle structure θ = (α, β, γ) at each tetrahedron. Here, α is the angle of the 01 and 23 edges, β is the angle of the 02 and 13 edges, and γ is the angle of the 03 and 12 edges. The angles are normalized so that at each tetrahedron, their sum is π. (c) The weight of a tetrahedron T is given by and x ij is the variable at edge ij of the tetrahedron.
Recall the exponent matrices (A|B|C) of the edge gluing equations of T [Thu77, NZ85,CDW]. These are N × N matrices with integer entries which determine the gluing equations Also, for a matrix A, let A i denote its ith column. The next proposition implies that the integral (53) (and even the integrand) depends on only the Neumann-Zagier matrices of the gluing equations of the triangulation T .
Proposition 3.1. With the above notation and for i = 1, . . . , N, we have: It follows that I T ,θ (q) depends on only the matrices A, B, C and θ.
Proof. Let e i ∈ N denote the ith coordinate vector (1 in position i and 0 otherwise). It suffices to show that This follows from the fact that the matrices A, B and C indexed by edges×tetrahedra record the number of times a shape z j (resp., z ′ j , z ′′ j ) of the jth tetrahedron appears around an edge e i .
Our choice of θ and equation (17) imply that the integrand in (53) is an analytic function of x ∈ Ì N , therefore the integral converges. We are interested in two affine vector subspaces of 3N : • A T , the space of complexified pre-angle structures, i.e., θ ∈ 3N such that α i + β i + γ i = π for i = 1, . . . , 3N. • B T ⊂ A T , the affine subspace of A T that consists of balanced complexified pre-angle structures, that is the sum of the angles around each edge of T is 2π. The points of B are also known as complex-valued angle structures on T .
A T and B T are complex affine subspaces of 3N of dimension 2N and N + 1 respectively [LT08]. The integral in (53) extends to a meromorphic function of θ ∈ A T , regular when Re(θ) > 0. Our task is to show that this extension restricts to a meromorphic function on B T . To do so, it will be convenient to parametrize A T . This breaks the symmetry in the definition of the integral, however it is a useful gauge to draw conclusions.
Consider a vector ε = (ε 1 , . . . , ε N ) ∈ N and complex numbers µ, λ defined by where µ and λ are the sums of the angles along the meridian and the longitude curves, 2 ∈ N is the vector with all coordinates 2 and ν µ , ν λ and their primed versions are the vectors of the meridian and longitude cusp equations. Note that ε 1 + · · · + ε N = 0. A quad is a choice of a pair of opposite edges in a tetrahedron. Choosing a quad, allows one to eliminate the angle variable of those edges using the equation α i + β i + γ i = π. Note that each tetrahedron has 3 quads, hence T has 3 N quads. If Q is a system of N quads obtained by choosing one quad from each tetrahedron of T , let Q(θ) ∈ N be defined so that its ith component is the angle associated to the corresponding quad in T i , i.e. Q(θ) i = α i if, for example, the quad of the ith tetrahedron is (01), (23). In effect, Q(θ) chooses one of the 3 angles for every tetrahedron of T . Together with equations (57), we get a linear map the projection that removes the ith entry of the first copy of N and the jth entry of the second copy of N . The next proposition describes a parametrization of A T .
Proposition 3.2. For every j, there exists a system of quads Q of T and an i such that the Proof. Consider the standard system of quads Q of T , i.e., the one that chooses the (01), (23) edges of each tetrahedron of T . It follows that Q(θ) = α. Eliminating β from Equation (57) we obtain that Consider the matrix (A ′ |B ′ ) obtained from (A|B) by replacing the jth row of (A|B) with the peripheral cusp equation corresponding to the meridian. Neumann-Zagier prove that (A ′ |B ′ ) is the upper half of a symplectic 2N × 2N matrix [NZ85]. In fact we can take the first row of the bottom half of the symplectic matrix to be the peripheral cusp equation corresponding to the longitude. If B ′ is invertible, then we can solve for γ from Equation (58) and deduce that θ is determined by (α, π j (ε), µ). Using the longitude cusp equation, it follows that θ is determined by (π i (α), π j (ε), µ, λ).
When B ′ is not invertible, using the fact that (A ′ |B ′ ) is the upper half of a symplectic matrix and [DG13, Lem.A.3], it follows that we can always find a system of quads Q for which the corresponding matrix B ′ is invertible. The result follows.
Without loss of generality, we can assume that Proposition 3.2 holds for the standard system of quads, and that i = j = N. After a change of variables x i → x i /x N for i = 1, . . . , N − 1 the integral I T ,θ (q) reduces to an N − 1 dimensional integral since the integrand is independent of x N .
The next lemma shows that after a change of variables, I T ,θ (q) is expressed as an integral whose contour (a product of tori, with radi |q| raised to linear forms of α) depends only on α and whose integrand depends on only (ε, µ, λ).
Proposition 3.3. With the above assumptions, there exists an edge column vector η whose coordinates are affine linear forms in α, a contour C α , and affine linear forms ν i , ν ′ i , ν ′′ i in the variables ε = (ε 1 , . . . , ε N −1 ) and µ, λ such that after the change of variables Proof. Recall equations (56) and (58). If x = (−q) η y then and likewise for the cyclic permutations. Using equation (55), and the above equalities, we are looking for an edge vector η such that α − B T η, β + (A − B) T η and γ − A T η depend on only ε, µ, λ. Since the sum of these three vectors is zero, it suffices to find η such that α − B T η and γ − A T η depend on only ε, µ, λ. Using the fact that B ′ is invertible, we can take η = (B ′T ) −1 α. Solving for γ from equation (58), we obtain that The last equality follows from the fact that (A ′ |B ′ ) is the upper half of a symplectic matrix, hence (B ′ ) −1 A ′ is symmetric. Finally observe that |x i | = 1, hence |y i | = |q| η i where η i are linear forms in α. Hence, the y-contour C α is a product of tori whose radii depend linearly on α. This completes the proof.
Remark 3.4. With the assumptions of Proposition 3.3, there exists an edge column vector η ′ whose coordinates are affine linear forms in µ, λ, a contour C, and affine linear forms ξ i , ξ ′ i , ξ ′′ i in the variables ε = (ε 1 , . . . , ε N −1 ), µ and λ such that after the change of variables where ξ i (0, µ, λ), ξ ′ i (0, µ, λ) and ξ ′′ i (0, µ, λ) are -linear combinations of 1, µ, λ/2. This follows from the symplectic properties of the Neumann-Zagier matrices [NZ85] (compare also with the matrices (A ′ |B ′ ) in equation (67) below). (59) and (60) depend on a positive pre-angle structure, but the integrals are independent of the choice of the pre-angle structure. When we balance, i.e., set ε = 0, there are two posibilities: either we can move the contour by a small isotopy in order to avoid the singularities of the integrand, or we cannot do so. In the former case, the new contour is canonically defined from the old contour. In the latter case, we apply the residue theorem to change the integration contour, and the residue contribution is either finite or infinite. In the latter case, by definition, our meromorphic function is infinity.

The contours in equations
Remark 3.5. An example of an integral where the latter case occurs is the following integral where C is the contour |z| = 1 − δ for δ > 0 small. The singularities of the integrand are z ∈ q −AE and z ∈ (−q) ε q AE . When ε approaches zero, the contour is pinched from two sides by the singularities at z = (−q) ε and z = 1. To avoid this pinching, by applying the residue theorem, we move the contour of integration C to the other side of 1, i.e. the contour C ′ given by |z| = 1 + δ: Even though I ε (C ′ ) is regular at ε = 0, the contribution from the residue is singular because of the simple pole of G q ((−q) ε ) at ε = 0. Thus, we conclude that I 0 (C) = ∞.
The next proposition defines the meromorphic function that appears in Theorem 1.1.
Let us phrase our previous proposition in more invariant language. Recall the complex torus Ì M = H 1 (∂M, * ). Define the map (63) for a simple closed curve δ of ∂M, where hol(δ) denotes the angle holonomy along δ. Proposition 3.6 states that the restriction I bal T of the meromorphic function I pre T on B is the pullback of a meromorphic function I T on Ì M . In other words, the following diagram commutes:

3.2.
Identification with the 3D-Index of Dimofte-Gaiotto-Gukov. In this sub-section we discuss the Laurent expansion of the meromorphic function I T ,eµ,e λ (q) on the real torus |e µ | = |e λ | = 1, under the assumption that T supports a strict angle structure. As we will show, the coefficients of the Laurent series are the 3D-index of Dimofte-Gaiotto-Gukov. This will conclude the proof of Theorem 1.2.
The next lemma (for h = 0) is based on the idea that the upper half part of a symplectic matrix with integer entries is a pair of coprime matrices.
Proof. We apply the symplectic matrix M = A B C D to the vector r s and define k ∈ The result follows.
Proof. (of Theorem 1.2) Fix an ideal triangulation T of M with N tetrahedra and let A, B and C denote the Neumann-Zagier matrices describing gluing equations (54). If we eliminate the shape z ′ i = −1/(z i z ′′ i ), we obtain the gluing equations in the form: Notce that A−C = A−B, B−C = −B. Fix a strict angle structure θ and use Proposition 3.1 to write the integrand of I pre T ,θ as follows: Use equation (24) to expand the integrand of I pre T ,θ as a convergent series on the torus |x i | = 1 (for i = 1, . . . , N): where r = (r 1 , . . . , r N ) ∈ N and s = (s 1 , . . . , s N ) ∈ N . Now, we can compute the absolutely convergent integral I pre T ,θ by integrating over the torus. After interchanging summation and integration (justified by uniform convergence) and applying the residue theorem we obtain a sum over r, s ∈ N such that (A − B)s − Br = 0: Collecting further terms whose meridian and (half) longitude holonomy is a fixed integer, we obtain the uniformly convergent sum: where s, t ∈ N satisfy the equation for the matrix (A ′ |B ′ ) (where A ′ , B ′ are (N + 1) × N matrices) obtained from (A|B) after we remove any one row of it and replace it with two rows of the meridian and half-longitude monodromy. Neumann-Zagier [NZ85] prove that (A ′ |B ′ ) can be completed to a symplectic matrix. Using this, and Lemma 3.7, it follows that there exists k ∈ N −1 such that Let a i and b i for i = 1, . . . , N denote the ith column of A ′ and B ′ respectively and let k ′ = ν k . Using the above and equations (40a), (41), we obtain that for i = 1, . . . , N. Combined with equation (66), this gives where the last equality follows from equation (21) and v = (1, . . . , 1, m, e) ∈ N +1 . The latter sum coincides with the 3Dindex of [DGG13b]; see also [GHRS15,Sec.4.5]. This completes the proof of Theorem 1.2.
3.3. Invariance under 2-3 Pachner moves. Next we prove the invariance of the meromorphic function I T under 2-3 Pachner moves. Consider two ideal triangulations T and T with N and N + 1 tetrahedra that are related by a 2-3 Pachner move as in Figure 2 and choose θ and θ compatible positive angle structures on T and T that satisfy equations (51). In particular, this means that the sum of angles around the interior edge of the 3 tetrahedra is 2π. Note that θ determines θ, but not vice-versa. Let us denote the linear map θ → θ by θ = m 2 3 ( θ). The commutative diagram (64) gives a commutative diagram Let θ and θ be positive semi-angle structures. We claim that (69) I pre T ,θ (q) = I pre T , θ (q) . This follows by separating the integration variable of the inner edge of the 2-3 move in the integral I pre T , θ (q) and applying the pentagon identity (50) to that variable. Since a meromorphic function is uniquely determined by its values on positive semi-angle structures and the map m 2 3 : A T → A T is onto, it follows that I pre T = I pre T • m 2 3 . Now restrict to B T , use the above commutative diagram and the fact that m 2 3 is onto. It follows that I bal T = I bal T • m 2 3 . Using once again the commutative diagram and the fact that ̟ T and ̟ T are onto, it follows that I T = I T .
3.4. The singularities of I T (q). The singularities of the integrand of I T ,eµ,e λ (q) are given by Lemma 2.2. To determine the singularities of the meromorphic function I T , perform one integral at a time and use the next lemma.  integers a 1 , . . . , a p > 0 and b 1 , . . . , b n > 0, let s = (s 1 , . . . , s p ), t = (t 1 , . . . , t n ) and consider the integral: where C is a contour that separates q −1−AE from q AE . Then, F (s, t) is a meromorphic function of (s, t) with singularities at a subset of As long as Σ − (s) ∪ Σ + (t) does not touch the contour C, F (s, t) is regular. It follows that if F (s, t) is singular when pinching occurs, in other words we must have z a i = s −1 i q −k and z b j = t j q l for some i, j and some k, l ∈ AE. Thus z a i b j = (s −1 The result follows.

Examples and computations
4.1. A non-1-efficient triangulation with two tetrahedra. It is traditional in hyperbolic geometry to illustrate theorems concerning ideally triangulated manifolds with the case of the standard triangulation of the complement of the 4 1 knot. In our examples, we will deviate from this principle and begin by giving a detailed computation of the state integral for the case of a non-1-efficient ideal triangulation with two tetrahedra. This illustrates Propositions 3.1, 3.2, 3.3, 3.6 and Theorem 1.1, and also points out the failure of Theorem 1.2.
Ideal triangulations can be efficiently described, constructed and manipulated by SnapPy and Regina [Bur, CDW], and we will follow their description below. In particular, ideal triangulations can be uniquely reconstructed by their isometry signature, and the latter is a string of letters and numbers. There are exactly 10 ideal triangulations with two tetrahedra of manifolds with one cusp, given in Table 3 of [GHHR17], 9 of them are 1-efficient, and one of them with isometry signature cPcbbbdei is not. Although we will not use it, this triangulation is not ordered. The underlying 3-manifold M is the union of a T (2, 4) torus link with the T (1, 3)  The A, B and C matrices are given by: The holonomy of the meridian and the longitude are given by: The ε variables are given by: Using α i + β i + γ i = π for i = 0, 1, we can solve the above equations in terms of the variables α 0 , ε 0 , µ, λ: This illustrates Proposition 3.2. If x i are the variables of the i-th edge for i = 0, 1 and θ is a pre-angle structure, then Moreover, we can set ε 0 = 0 and obtain the uniformly convergent balanced integral which only depends on (e µ , e λ ) = ((−q) µ/π , (−q) λ/(2π) ). To simplify notation further, let (s, t) = (e µ , e λ ). Then, we get: where C is the torus |y 0 | = |q| δ 0 for small δ 0 > 0. This is the meromorphic function of Theorem 1.1. Next, we compute its singularities, starting from the singularities of the integrand. Using part (a) of Lemma 2.3, we see that the singularities of the integrand are given by The contour of integration has to separate Σ − (s, t) from Σ + (s, t). The integral can only be singular when pinching occurs, that is, for (s, t) such that Σ − (s, t) intersects Σ + (s, t). This happens precisely when (81) t ∈ −q \{0} or s −1 t ∈ −q \{0} .
Using the notation of the q-rays (1), the above set is given by Thus, the above integral is a meromorphic function which is regular on the complement of the set Σ T . Note that some of the points of the set (81) might be regular points of the integral, this happens for instance when the residue at simple poles vanishes. Note also that the set (81) is disjoint from the real torus |s| = |t| = 1, so the integral can be expanded into Laurent series convergent on the real torus |s| = |t| = 1. However, the prefactor G q (t)G q (t −1 ) has singularities on the set t ∈ q (and those are actual, i.e., not removable), which prevent the meromorphic function I T ,s,t (q) from being expanded into Laurent series on the torus |s| = |t| = 1. In conclusion, the meromorphic function I T ,s,t (q) is regular in the complement of the shifted q-rays (82) Σ 0,1 ∪ Σ 0,−1 ∪ −qΣ 0,1 ∪ −q −1 Σ 0,−1 − qΣ −1,1 ∪ −q −1 Σ 1,−1 .

4.2.
The 4 1 knot. Next, we discuss the example of the 4 1 knot, giving the first and last steps of the above computations, and asking the reader to fill in the intermediate steps.
The gluing equations, in SnapPy format and with the Regina ordering of the edges, are given by:     2 1 0 2 1 0 0 1 2 0 1 2 1 0 0 0 0 −1 The above matrix determines the following information. The A, B and C matrices are given by: The holonomy of the meridian and the longitude are given by: The ε variables are given by: Using α i + β i + γ i = π for i = 0, 1, we can solve the above equations in terms of the variables α 0 , ε 0 , µ, λ: Let θ be a positive semi-angle structure. Rescaling x 0 → x 0 /x 1 , applying the change of variables letting (s, t) = (e µ , e λ ), and following the steps of the previous example we obtain that the state-integral is given by × G q −q(−q) ε 0 t −1 y 2 0 G q −qs 2 t −1 y 0 where the contour of integration C α (determined by (84)) is given by |y 0 | = |q − α 0 π |. Moreover, we can set ε 0 = 0, and obtain the meromorphic function of the 4 1 knot: × G q −qt −1 y 2 0 G q −qs 2 t −1 y 0 where C is the torus |y 0 | = 1 + . 4.3. The sister of the 4 1 knot. Next, we present the invariant for the sister m003 of the 4 1 knot. The gluing equations, in SnapPy format and with the Regina ordering of the edges, are given by:     2 0 1 2 0 1 0 2 1 0 2 1 0 −2 0 2 0 0 0 −1 0 2 −1 0     .
Appendix A. A quantum dilogarithm over the LCA group Ì × The function (19) with q real has been introduced and studied in the functional analytic context of Hilbert spaces and quantum E(2) group by Woronowicz in [Wor92]. In this section, we derive some of its operator properties by using the theory of quantum dilogarithms over Pontryagin self-dual LCA groups developed in [AKa, Kasb].
Throughout the section, for a Hilbert space H, we write A : H → H, if A is a not necessarily bounded linear operator in H whose domain is dense in H. The Hermitian conjugate of A will be denoted A * . Below, we will use freely the standard Dirac's bra-ket notation.
The group Ì × is a self-dual LCA group with the gaussian exponential The Fourier kernel is fixed as the co-boundary of the gaussian exponential (105) z, m; w, n := zw, m + n z, m w, n = z n w m .
We remark that all three operators f (q), f (p) and f (p + q) have spectrum given by the closure of the image of f .
Appendix B. The quantum dilogarithm and the Beta pentagon relation In this section, we generalize the result of [AKa] to include the LCA groups which do not admit division by 2. Note that most of the equations of this section (for instance, (137), (140), (145), (149)) are valid as distributions.
Let A be a self-dual LCA group with a gaussian exponential · : A → Ì and the Fourier kernel (133) x; y = x + y x y , for all (x, y) ∈ A 2 .
According to [AKa], a bounded function is called of Faddeev type if it satisfies the non-constant version of the operator pentagon relation (136) f 1 (p)f 3 (q) = f 4 (q)f 2 (p + q)f 0 (p) .
Taking into account the symmetry of the Beta pentagon identity under the negation of all alguments, we conclude that ψ 0 (1/z, w) and ψ 0 (z, 1/w) both satisfy the Beta pentagon identity.