Abstract
Using the locally compact abelian group \(\mathbb {T}\times \mathbb {Z}\), 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 (Dimofte et al. in Adv Theor Math Phys 17(5):975–1076, 2013). Our meromorphic function can be computed explicitly from the matrix of the gluing equations of a triangulation, and we illustrate this with several examples.
Similar content being viewed by others
1 Introduction
1.1 The 3D index of Dimofte–Gaiotto–Gukov
In a recent breakthrough in mathematical physics, the physicists Dimofte, Gaiotto and Gukov [8, 9] introduced the 3D index, a powerful new invariant of an ideal triangulation \(\mathcal {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(\partial M,\mathbb {Z})\).
Physics predicts that the 3D index is independent of the triangulation \(\mathcal {T}\) and that it is a topological invariant of the ambient manifold. However, there is a subtlety: The 3D index 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 3-manifolds (for instance, the unknot) have no suitable triangulation. It was shown in [10, 12] 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 [12].
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 [8]. Our meromorphic function is an example of a topological invariant associated with the self-dual locally compact abelian group (abbreviated LCA group) \(\mathbb {T}\times \mathbb {Z}\). A more detailed formulation of our results follows.
In a sense, our paper does the opposite from that of [13]. 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 \(\mathcal {T}\) of an oriented 3-manifold M whose boundary consists of r tori, and choose peripheral curves that form a basis of \(H_1(\partial M,\mathbb {Z})\). 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 \(\mathbb {T}_M=H^1(\partial M,\mathbb {C}^*)\) with \((\mathbb {C}^*)^2\) where the latter is given by the coordinates \((e_{\mu },e_{\lambda })\). Throughout the paper, q will denote a complex number inside the unit disk: \(|q|<1\). When \(q=-e^h\) with \(\mathrm {Re}(h) <0\) and \(z \in \mathbb {C}\), we define \((-q)^z=e^{z h}\). For \(r,s \in \mathbb {Q}\), we define the associated q-rays of the complex torus by
where \(\mathbb {N}=\mathbb {Z}_{\ge 0}\) is the set of nonnegative integers. A shifted q-ray is a subset of the complex torus of the form \(\varepsilon q^t \Sigma _{r,s}\) for some \(t \in \mathbb {Q}\) and \(\varepsilon = \pm 1\).
Theorem 1.1
With the above assumptions, there exists a meromorphic function
with the following properties:
-
(a)
\(I_{\mathcal {T}}(q)\) is invariant under 2–3 Pachner moves.
-
(b)
\(I_{\mathcal {T}}(q)\) is given by a balanced state integral depending only on the Neumann–Zagier matrices of the gluing equations of \(\mathcal {T}\).
-
(c)
The singularities of \(I_{\mathcal {T}}(q)\) are contained in the union of finitely many shifted q-rays.
Theorem 1.2
When \(\mathcal {T}\) has a strict angle structure, we have a Laurent series expansion
convergent on the unit torus \(|e_{\mu }|=|e_{\lambda }|=1\), where \(I_{\mathcal {T}}(m,e)\) is the 3D index of [9].
Fix a 3-manifold M as above and consider the set \(\mathcal {S}_M\) of all ideal triangulations of M that admit a strict angle structure.
Corollary 1.3
Although it is not known yet if \(\mathcal {S}_M\) is connected or not by 2–3 Pachner moves, the 3D index of [9] is constant on \(\mathcal {S}_M\).
1.3 Discussion
In a series of papers [2,3,4, 15], 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 \pi \) around the 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\pi \) 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 [2,3,4] and [17]. Our goal is to give a self-contained presentation in the case of the self-dual LCA group \(\mathbb {T}\times \mathbb {Z}\) with a quantum dilogarithm first found by Woronowicz in [21] and to relate this invariant to the 3D index of Dimofte–Gaiotto–Gukov [8].
2 Building 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 Eqs. (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 [1].
As a warm up, recall the Pochhammer symbol
where \(\mathbb {N}:=\mathbb {Z}_{\ge 0}\) and we always assume that \(|q|<1\). The next lemma summarizes the well-known properties of the Pochhammer symbol \(\left( x;q\right) _{\infty }\).
Lemma 2.1
The Pochhammer symbol \((x;q)_\infty \) has the following properties.
-
(a)
It is an entire function of x with simple zeros \(x\in q^{-\mathbb {N}}\).
-
(b)
It satisfies the q-difference equation
$$\begin{aligned} (x;q)_\infty =(1-x)(qx;q)_\infty . \end{aligned}$$(4) -
(c)
It has convergent power series expansions
$$\begin{aligned} \frac{1}{\left( x;q\right) _{\infty }}&= \sum _{n=0}^\infty \frac{x^n}{\left( q;q\right) _{n}}, \quad |x|<1, \end{aligned}$$(5a)$$\begin{aligned} \left( x;q\right) _{\infty }&= \sum _{n=0}^\infty (-1)^n \frac{q^{\frac{1}{2}n(n-1)} x^n}{\left( q;q\right) _{n}},\quad \forall x\in \mathbb {C}. \end{aligned}$$(5b)
For the proof of part (c), see for instance [22, Prop. 2].
Consider the functin
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 \in \mathbb {C}^*:=\mathbb {C}\setminus \{0\}\) with simple zeros and poles in \(-q^{1+\mathbb {N}}\) and \(q^{-\mathbb {N}}\), respectively, and with essential singularities at \(z=0\) and \(z=\infty \).
-
(b)
It satisfies the q-difference equation
$$\begin{aligned} G_q(qz)=(1-z)(1+z^{-1}) G_q(z) \end{aligned}$$(7)and the involution equation
$$\begin{aligned} G_q(-qz)=\frac{1}{G_q(z^{-1})} . \end{aligned}$$(8) -
(c)
It has a convergent Laurent series expansion in the punctured unit disk \(0<|z|<1\):
$$\begin{aligned} G_q(z) = \sum _{n \in \mathbb {Z}} J(n)(q) z^n, \end{aligned}$$(9)where
$$\begin{aligned} J(n)(q):= \sum _{k=(-n)_+}^\infty \frac{q^{\frac{k(k+1)}{2}}}{(q)_k (q)_{n+k}} , \quad (n)_+:=\max \{n,0\}, \end{aligned}$$(10)is a well-defined element of \(\mathbb {Z}[[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 \(\psi ^0(z,w)\) defined by:
where
The properties of this function are summarized in the following lemma.
Lemma 2.3
The function \(\psi ^0(z,w)\) defined in (11) has the following properties.
-
(a)
It is a meromorphic function of \((z,w) \in (\mathbb {C}^*)^2\) with zeros in
$$\begin{aligned} z \in q^{\mathbb {N}}, \quad \text {or} \quad w^{-1} \in -q^{1+\mathbb {N}}, \quad \text {or} \quad z^{-1}w \in -q^{1+\mathbb {N}} \end{aligned}$$(13)and poles in
$$\begin{aligned} z \in -q^{-1-\mathbb {N}}, \quad \text {or} \quad w \in q^\mathbb {N}, \quad \text {or} \quad zw^{-1} \in q^\mathbb {N}. \end{aligned}$$(14) -
(b)
It satisfies the q-difference equations
$$\begin{aligned} w^{-1}\psi ^0(qz,w) -\psi ^0(z,w) -q^{-1}z^{-1} \psi ^0(z,w)&=0, \end{aligned}$$(15a)$$\begin{aligned} w \psi ^0(qz,w) -\psi ^0(z,w) -q z \psi ^0(z,w)&=0 . \end{aligned}$$(15b) -
(c)
It satisfies the \(\mathbb {Z}/2\) and \(\mathbb {Z}/3\)-invariance equations
$$\begin{aligned} \psi ^0(z,w)&= \psi ^0(-q^{-1} w^{-1}, -q^{-1} z^{-1}), \end{aligned}$$(16a)$$\begin{aligned} \psi ^0(z,w)&= \psi ^0(-q^{-1} z^{-1} w, -q^{-1} z^{-1}) = \psi ^0(-q^{-1} w^{-1}, z w^{-1}) . \end{aligned}$$(16b) -
(d)
In the domain
$$\begin{aligned} 1< |w|< |z| < |q|^{-1}, \end{aligned}$$(17)we have the absolutely convergent expansion
$$\begin{aligned} \psi ^0(z,w) = c(q) \sum _{e,m \in \mathbb {Z}} z^e w^m \sum _{\begin{array}{c} k_1,k_2,k_3\in \mathbb {Z}\\ k_1-k_3=e;\ k_3-k_2=m \end{array}} (-q)^{k_1} J(k_1)(q) J(k_2)(q) J(k_3)(q),\nonumber \\ \end{aligned}$$(18)where the interior sum is a well-defined element of \(\mathbb {Z}[[q]]\), analytic in the disk \(|q|<1\).
These properties follow from the definition of \(\psi ^0\) and the properties of \(G_q\) listed in Lemma 2.2.
2.2 The quantum dilogarithm
In this subsection, we identify the tetrahedral weight function \(\psi ^0(z,w)\) with (the reciprocal of) the quantum dilogarithm function \(\psi (z,m)\) on the self-dual LCA group \(\mathbb {T}\times \mathbb {Z}\), given by [15, Eqn.97]
In the context of quantum groups, this function first appeared in [21]. In Appendix A, we explain how formula (19) fits the general definition of a quantum dilogarithm over the LCA group \(\mathbb {T}\times \mathbb {Z}\).
Lemma 2.1 and the above definition imply the following properties of the function \(\psi (z,w)\).
Lemma 2.4
The function \(\psi (z,m)\) defined in (19) has the following properties.
-
(a)
It is a meromorphic function of z with simple poles and zeros at \(z\in -q^{-1-|m|-2\mathbb {N}}\) and \(z\in -q^{1+|m|+2\mathbb {N}}\), 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
$$\begin{aligned} \psi (z,m) = \sum _{e \in \mathbb {Z}} I^{\Delta }(m,e)(q) z^e, \end{aligned}$$(20)where
$$\begin{aligned} I^{\Delta }(m,e)(q) = (-q)^e I_{\Delta }(m,e)(q^2) \end{aligned}$$(21)is related to the tetrahedron index \(I_{\Delta }\) of [8] given by
$$\begin{aligned} I_{\Delta }(m,e)(q)=\sum _{n=(-e)_+}^\infty (-1)^n \frac{q^{\frac{1}{2}n(n+1) -\left( n+\frac{1}{2}e\right) m}}{(q)_n(q)_{n+e}} \in \mathbb {Z}[[q^{\frac{1}{2}}]] \end{aligned}$$(22)and \((e)_+:=\max \{0,e\}\) and \((q)_n:=\left( q;q\right) _{n}=\prod _{i=1}^n (1-q^i)\).
The next theorem connects the tetrahedral weight function \(\psi ^0(z,w)\) with the above function \(\psi (z,m)\).
Theorem 2.5
-
(a)
In the domain (17), we have the identity
$$\begin{aligned} \psi ^0(z,w) = \sum _{m \in \mathbb {Z}} \psi (z,m) w^m, \end{aligned}$$(23)where the sum is absolutely convergent.
-
(b)
In the domain (17), we have an absolutely convergent double Laurent series expansion
$$\begin{aligned} \psi ^0(z,w) = \sum _{e,m \in \mathbb {Z}} I^{\Delta }(m,e)(q) z^e w^m . \end{aligned}$$(24)
Proof
We let RHS denote the sum in the right-hand side of Eq. (23). RHS is absolutely convergent in the domain (17) and it can be explicitly calculated by using Ramanujan’s \(_1\psi _1\)-summation formula. The detailed computation appears in [15, Eqn. (98)], and the result reads
where
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). \(\square \)
Lemma 2.6
For any choice of the square root \(p:=\sqrt{q}\), we have the identity
Proof
Denoting the left-hand side of (27) as \(f(z^{-1},w)\), we have
where
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\mapsto 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\mapsto l+k\). Now, we can absorb both summations by using the definition of the \(\theta \)-function:
Finally, by using the functional equation
with \(q\mapsto q^2\), \(x=w^2\) and \(l=-1\) in the second term, we arrive at the following factorized formula
where
Thus, we have obtained the equality
and formula (27) follows straightforwardly. \(\square \)
In summary, the tetrahedral weight \(\psi ^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 \(\psi (z,w)\).
Lemma 2.7
The function \(\psi (z,m)\) defined in (19) satisfies the following q-difference equations
The above equations characterize the meromorphic function \(\psi (z,m)\) up to multiplication by a function of q, analytic in the unit disk \(|q|<1\).
These follow from the definition of \(\psi (z,w)\) and Eqs. (4), (23) and (15a)–(15b). Alternatively, they can be derived from Eq. (20) and the symmetries of the tetrahedron index \(I_{\Delta }\) given in [10, Thm.3.2].
For completeness, the next lemma summarizes the symmetries of \(I^{\Delta }(m,e)\).
Lemma 2.8
For all integers m and e, we have the \(\mathbb {Z}/2\) and \(\mathbb {Z}/3\)-invariance equations:
As a consequence, we have another \(\mathbb {Z}/2\)-invariance equation
These follow from Eqs. (24) and (16a)–(16b). Additionally, they follow from Eqs. (21) and the symmetries of the tetrahedron index \(I_{\Delta }(m,e)\) given in [10, Thm.3.2].
2.3 The pentagon identity and the Pachner 2–3 move
Let us recall the pentagon identity for the tetrahedron index \(I_{\Delta }\) from [10, Thm.3.7].
for all integers \(m_1,m_2,e_1,e_2\). Replacing q by \(q^2\) in (42) and using Eq. (21), it follows that the tetrahedron index \(I^{\Delta }\) satisfies the equation
To remove the factor \((-q)^{e_3}\) in the above equation, we apply Eq. (40b) to the two terms of the left-hand side and to the last term in the right-hand side, and obtain
Setting
we rewrite the latter equality as
Applying Eq. (41) to both functions on the left-hand side of the above equation, and after a linear change in variables we obtain
Applying Eq. (41) to the first and third terms of the right-hand side of the above equation, we obtain
Finally, changing the summation variable \(z\mapsto z-x-y-u-v\), we obtain equation
which coincides with a special (constant) form of the beta pentagon equation [16, Eqn.(2)] for the LCA group \(\mathbb {Z}\). Using the fact that the beta pentagon relation is stable under Fourier transformation, see [16, Sec.2], we also conclude that the function
satisfies the constant beta pentagon equation for the circle LCA group \(\mathbb {T}=\{z\in \mathbb {C}\ \vert \ |z|=1\}\):
Equivalently, the function \(\psi ^0(z,w)\), thought of as a distribution on \(\mathbb {T}^2\), satisfies the integral identity
where all variables belong to the unit circle \(\mathbb {T}\). The distributional interpretation of \(\psi ^0(z,w)\) means that its restriction to \(\mathbb {T}^2\) should be obtained by approaching \(\mathbb {T}^2\) from the domain (17), which is the domain of absolute convergence of the double series (24), i.e.,
where
where \(\alpha +\beta +\gamma =\pi \). The positive parameters \(\alpha ,\beta ,\gamma \) satisfying the condition \(\alpha +\beta +\gamma =\pi \) (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 Fig. 1.
The angles of an ideal tetrahedron with ordered vertices
Moreover, the constant distributional beta pentagon identity (47) is a constant limit of the analytically continued non-constant identity
where \((\alpha _i,\beta _i,\gamma _i)\) are pre-angle structures on five tetrahedra \(T_i\) for \(i=0,\dots ,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: \(\beta _0+\gamma _2+\beta _4=2\pi \). Such an identity for Faddeev’s quantum dilogarithm appeared in [3, Prop.1].
3 The state integral
3.1 Definition of the state integral
Fix an ideal triangulation \(\mathcal {T}\) of an oriented 3-manifold with N tetrahedra \(T_i\) for \(i=1,\dots , N\). The invariant is defined as follows:
-
(a)
Assign variables \(x_i\) for \(i=1,\dots ,N\) to N edges of \(\mathcal {T}\).
-
(b)
Choose a strictly positive pre-angle structure \(\theta =(\alpha ,\beta ,\gamma )\) at each tetrahedron. Here, \(\alpha \) is the angle of the 01 and 23 edges, \(\beta \) is the angle of the 02 and 13 edges, and \(\gamma \) is the angle of the 03 and 12 edges. The angles are normalized so that at each tetrahedron, their sum is \(\pi \).
-
(c)
The weight of a tetrahedron T is given by
$$\begin{aligned} B(T,x,\theta )&= \psi ^0\left( (-q)^{-\frac{\alpha +\gamma }{\pi }}\frac{X_\alpha }{X_\gamma }, (-q)^{-\frac{\alpha }{\pi }} \frac{X_\beta }{X_\gamma } \right) \end{aligned}$$(52a)$$\begin{aligned}&= c(q) \, G_q\left( (-q)^{\frac{\alpha }{\pi }} \frac{X_\gamma }{X_\beta } \right) G_q\left( (-q)^{\frac{\beta }{\pi }} \frac{X_\alpha }{X_\gamma } \right) G_q\left( (-q)^{\frac{\gamma }{\pi }} \frac{X_\beta }{X_\alpha } \right) , \end{aligned}$$(52b)where
$$\begin{aligned} X_\alpha := x_{01} x_{23}, \quad X_\beta :=x_{02} x_{13}, \quad X_\gamma :=x_{03}x_{12}, \end{aligned}$$and \(x_{ij}\) is the variable at edge ij of the tetrahedron.
-
(d)
Define
$$\begin{aligned} I^{\mathrm {pre}}_{\mathcal {T},\theta }(q) = \int _{\mathbb {T}^N} \prod _{i=1}^N B(T_i,x,\theta ) \hbox {d}\mu (x), \end{aligned}$$(53)where \(\hbox {d}\mu (x)=(2 \pi \mathsf {i})^{-N}\prod _{i=1}^N \hbox {d}x_i/x_i\) is the normalized Haar measure on \(\mathbb {T}^N\).
Recall the exponent matrices \((\overline{A}|\overline{B}|\overline{C})\) of the edge gluing equations of \(\mathcal {T}\) [6, 19, 20]. These are \(N \times N\) matrices with integer entries which determine the gluing equations
where \(z'=1/(1-z)\) and \(z''=1-1/z\), and as usual we have \(z z' z'' =-1\).
For a vector \(x=(x_1,\dots ,x_N)\) of nonzero complex numbers, and a vector \(v=(v_1,\dots ,v_N)\) of integers, define \(x^v = \prod _{i=1}^N x_i^{v_i}\). 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 \(\mathcal {T}\).
Proposition 3.1
With the above notation and for \(i=1,\dots ,N\), we have:
It follows that \(I_{\mathcal {T},\theta }(q)\) depends on only the matrices \(\overline{A}\), \(\overline{B}\), \(\overline{C}\) and \(\theta \).
Proof
Let \(e_i \in \mathbb {Z}^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 \(\overline{A}, \overline{B}\) and \(\overline{C}\) indexed by \(\text {edges} \times \text {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\). \(\square \)
Our choice of \(\theta \) and Eq. (17) implies that the integrand in (53) is an analytic function of \(x \in \mathbb {T}^N\), and therefore the integral converges. We are interested in two affine vector subspaces of \(\mathbb {C}^{3N}\):
-
\(\mathcal {A}_{\mathcal {T}}\), the space of complexified pre-angle structures, i.e., \(\theta \in \mathbb {C}^{3N}\) such that \(\alpha _i+\beta _i+\gamma _i=\pi \) for \(i=1,\dots ,N\).
-
\(\mathcal {B}_{\mathcal {T}} \subset \mathcal {A}_{\mathcal {T}}\), the affine subspace of \(\mathcal {A}_{\mathcal {T}}\) that consists of balanced complexified pre-angle structures, that is the sum of the angles around each edge of \(\mathcal {T}\) is \(2\pi \). The points of \(\mathcal {B}\) are also known as complex-valued angle structures on \(\mathcal {T}\).
\(\mathcal {A}_{\mathcal {T}}\) and \(\mathcal {B}_{\mathcal {T}}\) are complex affine subspaces of \(\mathbb {C}^{3N}\) of dimension 2N and \(N+1\), respectively, [18].
The integral in (53) extends to a meromorphic function of \(\theta \in \mathcal {A}_{\mathcal {T}}\), regular when \(\mathrm {Re}(\theta ) >0\). Our task is to show that this extension restricts to a meromorphic function on \(\mathcal {B}_{\mathcal {T}}\). To do so, it will be convenient to parametrize \(\mathcal {A}_{\mathcal {T}}\). This breaks the symmetry in the definition of the integral; however, it is a useful gauge to draw conclusions.
Consider a vector \(\varepsilon =(\varepsilon _1,\dots ,\varepsilon _N) \in \mathbb {C}^N\) and complex numbers \(\mu ,\lambda \) defined by
where \(\mu \) and \(\lambda \) are the sums of the angles along the meridian and the longitude curves, \(\mathbf {2} \in \mathbb {C}^N\) is the vector with all coordinates 2 and \(\nu _\mu \), \(\nu _\lambda \) and their primed versions are the vectors of the meridian and longitude cusp equations. Note that \(\varepsilon _1+\dots +\varepsilon _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 \(\alpha _i+\beta _i+\gamma _i=\pi \). Note that each tetrahedron has 3 quads, and hence \(\mathcal {T}\) has \(3^N\) quads. If Q is a system of N quads obtained by choosing one quad from each tetrahedron of \(\mathcal {T}\), let \(Q(\theta ) \in \mathbb {C}^N\) be defined so that its ith component is the angle associated with the corresponding quad in \(T_i\), i.e., \(Q(\theta )_i=\alpha _i\) if, for example, the quad of the ith tetrahedron is (01), (23). In effect, \(Q(\theta )\) chooses one of the 3 angles for every tetrahedron of \(\mathcal {T}\). Together with Eqs. (57), we get a linear map
For \(i,j \in \{1, \dots , N\}\), let \(\pi _{i,j} : \mathbb {C}^N \times \mathbb {C}^N \times \mathbb {C}^2 \rightarrow \mathbb {C}^{N-1} \times \mathbb {C}^{N-1} \times \mathbb {C}^2\) denote the projection that removes the ith entry of the first copy of \(\mathbb {C}^N\) and the jth entry of the second copy of \(\mathbb {C}^N\). The next proposition describes a parametrization of \(\mathcal {A}_{\mathcal {T}}\).
Proposition 3.2
For every j, there exists a system of quads Q of \(\mathcal {T}\) and an i such that the composition \(\mathcal {A}_{\mathcal {T}} \rightarrow \mathbb {C}^N \times \mathbb {C}^N \times \mathbb {C}^2 {\mathop {\rightarrow }\limits ^{\pi _{i,j}}}\mathbb {C}^{N-1} \times \mathbb {C}^{N-1} \times \mathbb {C}^2\) is an affine linear isomorphism.
Proof
Consider the standard system of quads Q of \(\mathcal {T}\), i.e., the one that chooses the (01), (23) edges of each tetrahedron of \(\mathcal {T}\). It follows that \(Q(\theta )=\alpha \). Eliminating \(\beta \) from Eq. (57), we obtain that
where
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\times 2N\) matrix [19]. 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 \(\gamma \) from Eq. (58) and deduce that \(\theta \) is determined by \((\alpha ,\pi _j(\varepsilon ),\mu )\). Using the longitude cusp equation, it follows that \(\theta \) is determined by \((\pi _i(\alpha ),\pi _j(\varepsilon ),\mu ,\lambda )\).
When \(B'\) is not invertible, using the fact that \((A'|B')\) is the upper half of a symplectic matrix and [7, 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. \(\square \)
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 in variables \(x_i \rightarrow x_i/x_N\) for \(i=1,\dots ,N-1\), the integral \(I_{\mathcal {T},\theta }(q)\) reduces to an \(N-1\)-dimensional integral since the integrand is independent of \(x_N\).
The next lemma shows that after a change in variables, \(I_{\mathcal {T},\theta }(q)\) is expressed as an integral whose contour (a product of tori, with radi |q| raised to linear forms of \(\alpha \)) depends only on \(\alpha \) and whose integrand depends only on \((\varepsilon ,\mu ,\lambda )\).
Proposition 3.3
With the above assumptions, there exists an edge column vector \(\eta \) whose coordinates are affine linear forms in \(\alpha \), a contour \(C_\alpha \), and affine linear forms \(\nu _i, \nu _i', \nu _i''\) in the variables \(\varepsilon =(\varepsilon _1,\dots ,\varepsilon _{N-1})\) and \(\mu ,\lambda \) such that after the change in variables \(x_i=(-q)^{\eta _i} y_i\), we have
Proof
Recall Eqs. (56) and (58). If \(x=(-q)^\eta y\) then
and likewise for the cyclic permutations. Using Eq. (55), and the above equalities, we are looking for an edge vector \(\eta \) such that \(\alpha +B^T \eta \), \(\beta +(A-B)^T\eta \) and \(\gamma -A^T\eta \) depend on only \(\varepsilon ,\mu ,\lambda \). Since the sum of these three vectors is constant, it suffices to find \(\eta \) such that \(\alpha -B^T \eta \) and \(\gamma -A^T\eta \) depend on only \(\varepsilon ,\mu ,\lambda \). Using the fact that \(B'\) is invertible, we can take \(\eta =(B'^T)^{-1}\alpha \). Solving for \(\gamma \) from Eq. (58), we obtain that
The last equality follows from the fact that \((A'|B')\) is the upper half of a symplectic matrix, and hence \((B')^{-1}A'\) is symmetric. Finally observe that \(|x_i|=1\); hence, \(|y_i|=|q|^{\eta _i}\) where \(\eta _i\) are linear forms in \(\alpha \). Hence, the y-contour \(C_\alpha \) is a product of tori whose radii depend linearly on \(\alpha \). This completes the proof. \(\square \)
Remark 3.4
With the assumptions of Proposition 3.3, there exists an edge column vector \(\eta '\) whose coordinates are affine linear forms in \(\alpha , \mu ,\lambda \), a contour C, and affine linear forms \(\xi _i, \xi _i', \xi _i''\) in the variables \(\varepsilon =(\varepsilon _1,\dots ,\varepsilon _{N-1})\), \(\mu \) and \(\lambda \) such that after the change in variables \(y_i=(-q)^{\eta '_i} z_i\), we have
where \(\xi _i(0,\mu ,\lambda )\), \(\xi '_i(0,\mu ,\lambda )\) and \(\xi ''_i(0,\mu ,\lambda )\) are \(\mathbb {Z}\)-linear combinations of \(1,\mu /pi,\lambda /(2 \pi )\). This follows from the symplectic properties of the Neumann–Zagier matrices [19] (compare also with the matrices \((A'|B')\) in Eq. (67) below).
The contours in Eqs. (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 \(\varepsilon =0\), there are two possibilities: 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.
Remark 3.5
An example of an integral where the latter case occurs is the following integral
where C is the contour \(|z|=1-\delta \) for \(\delta >0\) small. The singularities of the integrand are \(z \in q^{-\mathbb {N}}\) and \(z \in (-q)^\varepsilon q^\mathbb {N}\). When \(\varepsilon \) approaches zero, the contour is pinched from two sides by the singularities at \(z=(-q)^\varepsilon \) 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+\delta \):
Even though \(I_\varepsilon (C')\) is regular at \(\varepsilon =0\), the contribution from the residue is singular because of the simple pole of \(G_q((-q)^\varepsilon )\) at \(\varepsilon =0\). Thus, we conclude that \(I_0(C)=\infty \).
The next proposition defines the meromorphic function that appears in Theorem 1.1.
Proposition 3.6
Setting \(\varepsilon =0\) (i.e., balancing the edges), and assuming that we find a contour C, we obtain a meromorphic function of \((e_{\mu },e_{\lambda }):=((-q)^{\mu /\pi },(-q)^{\lambda /(2\pi )}) \in (\mathbb {C}^*)^2\)
The above integral is absolutely convergent.
Let us phrase our previous proposition in more invariant language. Recall the complex torus \(\mathbb {T}_M=H^1(\partial M,\mathbb {C}^*)\). Define the map
for a simple closed curve \(\delta \) of \(\partial M\), where \(\text {hol}(\delta )\) denotes the angle holonomy along \(\delta \). Proposition 3.6 states that the restriction \(I^{\mathrm {bal}}_{\mathcal {T}}\) of the meromorphic function \(I^{\mathrm {pre}}_{\mathcal {T}}\) on \(\mathcal {B}\) is the pullback of a meromorphic function \(I_\mathcal {T}\) on \(\mathbb {T}_M\). In other words, the following diagram commutes:
3.2 Identification with the 3D index of Dimofte–Gaiotto–Gukov
In this subsection, we discuss the Laurent expansion of the meromorphic function \(I_{\mathcal {T},e_{\mu },e_{\lambda }}(q)\) on the real torus \(|e_{\mu }|=|e_{\lambda }|=1\), under the assumption that \(\mathcal {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.
Lemma 3.7
Suppose \(M=\begin{pmatrix} A &{} B \\ C &{} D \end{pmatrix}\) is a symplectic matrix with integer entries where A, B, C, D are \(N \times N\) matrices. Let \((A'|B')\) denote the upper \((N+h)\times 2N\) part of M and consider \(r,s \in \mathbb {Z}^{N}\) that satisfy the equation
for a vector \(\nu \in \mathbb {Z}^h\). Then, there exists \(k \in \mathbb {Z}^{N-h}\) such that
Proof
We apply the symplectic matrix \(M=\begin{pmatrix} A &{} B \\ C &{} D \end{pmatrix}\) to the vector \(\begin{pmatrix} r \\ s \end{pmatrix}\) and define \(k \in \mathbb {Z}^{N-h}\) so that \(k':=\begin{pmatrix} \nu \\ k \end{pmatrix} \in \mathbb {Z}^N\) satisfies \( M \begin{pmatrix} r \\ s \end{pmatrix} = \begin{pmatrix} 0 \\ k' \end{pmatrix}\). Then,
The result follows. \(\square \)
Proof
(of Theorem 1.2) Fix an ideal triangulation \(\mathcal {T}\) of M with N tetrahedra and let \(\overline{A}, \overline{B}\) and \(\overline{C}\) denote the Neumann–Zagier matrices describing gluing Eqs. (54). If we eliminate the shape \(z_i'=-1/(z_i z_i'')\), we obtain the gluing equations in the form:
where
Notice that \(\overline{A}-\overline{C}=A-B\), \(\overline{B}-\overline{C}=-B\). Fix a strict angle structure \(\theta \) and use Proposition 3.1 to write the integrand of \(I^{\mathrm {pre}}_{\mathcal {T},\theta }\) as follows:
Use Eq. (24) to expand the integrand of \(I^{\mathrm {pre}}_{\mathcal {T},\theta }\) as a convergent series on the torus \(|x_i|=1\) (for \(i=1,\dots ,N\)):
where \(r=(r_1,\dots ,r_N) \in \mathbb {Z}^N\) and \(s=(s_1,\dots ,s_N) \in \mathbb {Z}^N\). Now, we can compute the absolutely convergent integral \(I^{\mathrm {pre}}_{\mathcal {T},\theta }\) 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 \in \mathbb {Z}^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 \(r,s \in \mathbb {Z}^N\) satisfy the equation
for the matrix \((A'|B')\) (where \(A',B'\) are \((N+1)\times 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 [19] prove that \((A'|B')\) can be completed to a symplectic matrix. Using this and Lemma 3.7, it follows that there exists \(k \in \mathbb {Z}^{N-1}\) such that
Let \(a_i\) and \(b_i\) for \(i=1,\dots ,N\) denote the ith column of \(A'\) and \(B'\), respectively, and let \(k'=\begin{pmatrix} \nu \\ k \end{pmatrix}\). Using the above and Eqs. (40a), (41), we obtain that
for \(i=1,\dots ,N\). Combined with Eq. (66), this gives
where the last equality follows from Eq. (21) and \(v=(1,\dots ,1,m,e) \in \mathbb {Z}^{N+1}\). The latter sum coincides with the 3D index of [9]; see also [12, Sec.4.5]. This completes the proof of Theorem 1.2. \(\square \)
The ordered 2–3 Pachner move
3.3 Invariance under 2–3 Pachner moves
Next, we prove the invariance of the meromorphic function \(I_{\mathcal {T}}\) under 2–3 Pachner moves. Consider two ideal triangulations \(\mathcal {T}\) and \(\widetilde{\mathcal {T}}\) with N and \(N+1\) tetrahedra that are related by a 2–3 Pachner move as in Fig. 2 and choose \(\theta \) and \(\widetilde{\theta }\) compatible positive angle structures on \(\mathcal {T}\) and \(\widetilde{\mathcal {T}}\) that satisfy Eq. (51). In particular, this means that the sum of angles around the interior edge of the 3 tetrahedra is \(2 \pi \).
Note that \(\widetilde{\theta }\) determines \(\theta \), but not vice versa. Let us denote the linear map \(\widetilde{\theta } \mapsto \theta \) by \(\theta =m^2_3(\widetilde{\theta })\). The commutative diagram (64) gives a commutative diagram
Let \(\widetilde{\theta }\) and \(\theta \) be positive pre-angle structures. We claim that
This follows by separating the integration variable of the inner edge of the 2–3 move in the integral \(I^{\mathrm {pre}}_{\widetilde{\mathcal {T}},\widetilde{\theta }}(q)\) and applying the pentagon identity (50) to that variable. Since a meromorphic function is uniquely determined by its values on positive pre-angle structures and the map \(m^2_3: \mathcal {A}_{\widetilde{\mathcal {T}}} \rightarrow \mathcal {A}_{\mathcal {T}}\) is onto, it follows that \(I^{\mathrm {pre}}_{\widetilde{\mathcal {T}}} = I^{\mathrm {pre}}_{\mathcal {T}} \circ m^2_3\). Now restrict to \(\mathcal {B}_{\widetilde{\mathcal {T}}}\), use the above commutative diagram and the fact that \(m^2_3\) is onto. It follows that \(I^{\mathrm {bal}}_{\widetilde{\mathcal {T}}} = I^{\mathrm {bal}}_{\mathcal {T}} \circ m^2_3\). Using once again the commutative diagram and the fact that \(\varpi _{\mathcal {T}}\) and \(\varpi _{\widetilde{\mathcal {T}}}\) are onto, it follows that \(I_{\widetilde{\mathcal {T}}} = I_{\mathcal {T}}\).
3.4 The singularities of \(I_{\mathcal {T}}(q)\)
The singularities of the integrand of \(I_{\mathcal {T},e_{\mu },e_{\lambda }}(q)\) are given by Lemma 2.2. To determine the singularities of the meromorphic function \(I_\mathcal {T}\), perform one integral at a time and use the next lemma.
Lemma 3.8
Suppose f(z) is a meromorphic function of z with singularities on \(q^{-\mathbb {N}}\). Fix positive integers \(a_1,\dots ,a_p >0\) and \(b_1,\dots ,b_n >0\), let \(s=(s_1,\dots ,s_p)\), \(t=(t_1,\dots ,t_n)\) and consider the integral:
where \(\mathcal {C}\) is a contour that separates \(q^{-1-\mathbb {N}}\) from \(q^{\mathbb {N}}\). Then, F(s, t) is a meromorphic function of (s, t) with singularities at a subset of
Proof
The singularities of the integrand is the set \(\Sigma ^-(s) \cup \Sigma ^+(t)\) where
As long as \(\Sigma ^-(s)\cup \Sigma ^+(t)\) does not touch the contour \(\mathcal {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_i^{-1} q^{-k}\) and \(z^{b_j} = t_j q^{l}\) for some i, j and some \(k,l \in \mathbb {N}\). Thus, \(z^{a_i b_j} = (s_i^{-1} q^{-k})^{b_j} = (t_j q^{l})^{a_i}\). The result follows. \(\square \)
4 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 inapplicability of Theorem 1.2.
Ideal triangulations can be efficiently described, constructed and manipulated by SnapPy and Regina [5, 6], 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 [11], 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) (trefoil) torus knot. In Regina format, the tetrahedron gluings of the triangulation \(\mathcal {T}\) of cPcbbbdei are given by:
The edges of \(\mathcal {T}\) are given by:
and the triangle faces of \(\mathcal {T}\) are given by:
The gluing equations, in SnapPy format and with the Regina ordering of the edges, are given by:
The \(\overline{A}\), \(\overline{B}\) and \(\overline{C}\) matrices are given by:
The holonomy of the meridian and the longitude is given by:
The \(\varepsilon \) variables are given by:
Using \(\alpha _i+\beta _i+\gamma _i=\pi \) for \(i=0,1\), we can solve the above equations in terms of the variables \(\alpha _0,\varepsilon _0,\mu ,\lambda \):
This illustrates Proposition 3.2.
If \(x_i\) are the variables of the ith edge for \(i=0,1\) and \(\theta \) is a pre-angle structure, then
When \(\theta \) is positive, the absolutely convergent state integral is given by:
After rescaling \(x_0 \rightarrow x_0/x_1\), the integral is free of the \(x_1\)-variable and is given by:
Using Eq. (73), the above integral becomes:
Applying the change in variables
the above integral becomes:
where \(C_\alpha \) is the torus \(|y_0|=|q^{\frac{\alpha _0}{\pi }}|\) and the integrand depends on \(\varepsilon _0,\mu ,\lambda \) and \(y_0\). Notice that when \(\theta \) is positive, Eq. (73) implies that \(\varepsilon _0 = \gamma _0+\beta _1 >0\) and \(\varepsilon _1 = -\gamma _0 -\beta _1 <0\). Moreover, we can set \(\varepsilon _0=0\) and obtain the uniformly convergent balanced integral
which only depends on \((e_{\mu },e_{\lambda })=((-q)^{\mu /\pi },(-q)^{\lambda /(2\pi )})\). To simplify notation further, let \((s,t)=(e_{\mu },e_{\lambda })\). Then, we get:
where C is the torus \(|y_0|=|q|^{\delta _0}\) for small \(\delta _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
where
The contour of integration has to separate \(\Sigma ^-(s,t)\) from \(\Sigma ^+(s,t)\). The integral can only be singular when pinching occurs, that is, for (s, t) such that \(\Sigma ^-(s,t)\) intersects \(\Sigma ^+(s,t)\). This happens precisely when
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 \(\Sigma _{\mathcal {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 \in q^{\mathbb {Z}}\) (and those are actual, i.e., not removable), which prevent the meromorphic function \(I_{\mathcal {T},s,t}(q)\) from being expanded into Laurent series on the torus \(|s|=|t|=1\). In conclusion, the meromorphic function \(I_{\mathcal {T},s,t}(q)\) is regular in the complement of the shifted q-rays
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:
The above matrix determines the following information. The \(\overline{A}\), \(\overline{B}\) and \(\overline{C}\) matrices are given by:
The holonomy of the meridian and the longitude is given by:
The \(\varepsilon \) variables are given by:
Using \(\alpha _i+\beta _i+\gamma _i=\pi \) for \(i=0,1\), we can solve the above equations in terms of the variables \(\alpha _0,\varepsilon _0,\mu ,\lambda \):
Let \(\theta \) be a positive semi-angle structure. Rescaling \(x_0 \rightarrow x_0/x_1\), applying the change in variables
letting \((s,t)=(e_{\mu },e_{\lambda })\), and following the steps of the previous example we obtain that the state integral is given by
where the contour of integration \(C_\alpha \) (determined by (84)) is given by \(|y_0|=|q^{-\frac{\alpha _0}{\pi }}|\). Moreover, we can set \(\varepsilon _0=0\), and obtain the meromorphic function of the \(4_1\) knot:
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:
Using the above matrix, we can compute the \(\overline{A}\), \(\overline{B}\), \(\overline{C}\) matrices, the holonomy of the meridian and longitude, the \(\varepsilon \) variables, and express all variables in terms of the variables \(\alpha _0,\varepsilon _0,\mu ,\lambda \):
Let \(\theta \) be a positive semi-angle structure. Rescaling \(x_0 \rightarrow x_0/x_1\), applying the change in variables
letting \((s,t)=(e_{\mu },e_{\lambda })\), and following the steps of the previous example we obtain that the state integral is given by
where the contour of integration \(C_\alpha \) (determined by (88)) is given by \(|y_0|=|(-q)^{\frac{\alpha _0}{\pi }}|\). Moreover, we can set \(\varepsilon _0=0\), and obtain the meromorphic function of the sister of the \(4_1\) knot:
where C is the torus \(|y_0|=1^+\).
4.4 The unknot
Next, we compute the invariant for the unknot, and find a surprise: We can compute the integral exactly. The unknot has three triangulations with two tetrahedra given in Table 3 of [11]. One of them has isometry signature cMcabbgds. The gluing equations, in SnapPy format and with the Regina ordering of the edges, are given by:
Following the steps of the previous examples, we have:
which simplifies to \(\varepsilon _0 =-\alpha _0+2 \pi \) and in particular is bigger than \(\pi \) when \(\theta \) is positive. We can express all variables in terms of the variables \(\alpha _0,\varepsilon _0,\mu ,\lambda \):
After rescaling \(x_0 \rightarrow x_0/x_1\), applying the change in variables
letting \((s,t)=(e_{\mu },e_{\lambda })\), and following the steps of the previous example we obtain that the state integral is given by
where \(C_\alpha \) is the torus \(|y_0|=|(-q)^{-\frac{\beta _0}{\pi }}|\). On the other hand, Eqs. (7) and (8) give that
so that
When \(\theta \) is positive, the contour \(C_\alpha \) encircles both singularities \(-1\) and \(-q\) of the integrand, and a residue calculation reveals that the integral is zero. It follows that
4.5 The trefoil
Next, we compute the invariant for the trefoil. The gluing equations, in SnapPy format and with the Regina ordering of the edges, are given by:
The state integral is given by
where the contour of integration \(C_\alpha \) is given by \(|y_0|=|(-q)^{\frac{-\alpha _1}{\pi }}|\). Moreover, we can set \(\varepsilon _0=0\) and obtain the meromorphic function given by:
where C is the torus \(|y_0|=1^+\).
4.6 The \(5_2\) knot
Next, we present the invariant of the \(5_2\) knot. The gluing equations, in SnapPy format (we use the homological longitude and the Regina ordering of the edges), are given by:
After rescaling \(x_i \rightarrow x_i/x_2\) and a change in variables \(x_0 = (-q)^{\alpha _0} y_0\) and \(x_1=(-q)^{-\alpha _1/2} s^{1/2} t^{1/2} y_1\), the state integral is given by
where \(C_\alpha \) is the torus given by \(|y_0|=|(-q)^{\frac{-\alpha _0}{\pi }}|\) and \(|y_1 s^{1/2} t^{1/2} | = |(-q)^{\frac{\alpha _1}{2\pi }}|\). Moreover, we can set \(\varepsilon _0=\varepsilon _1=0\) and obtain the meromorphic function given by:
where C is the torus given by \(|y_0|=1^+\) and \(|y_1 s^{1/2} t^{1/2} | = 1^-\).
4.7 The \(6_1\) knot
Finally, we present the invariant of the \(6_1\) knot. The gluing equations, in SnapPy format (we use the homological longitude and the Regina ordering of the edges), are given by:
After rescaling \(x_i \rightarrow x_i/x_3\) and a change in variables
the state integral is given by
where \(C_\alpha \) is the torus given by \(|y_0|=|(-q)^{\frac{-\alpha _2}{\pi }}|\), \(|y_1| = |(-q)^{\frac{-\alpha _0}{\pi }}|\) and \(|y_2 t^{1/2} | = |(-q)^{\frac{\alpha _1}{2\pi }}|\). Moreover, we can set \(\varepsilon _0=\varepsilon _1=\varepsilon _2=0\) and obtain the meromorphic function given by:
where C is the torus given by \(|y_0|=1^+\), \(|y_1|=1^+\) and \(|y_2 t^{1/2} | = 1^-\).
Acknowlegements
Open access funding provided by Max Planck Society. The authors wish to thank R. Siejakowski for a careful reading of the manuscript and for pointing out typographical errors, and A. Mellit for enlightening discussions. S.G. was supported in part by grant DMS-14-06419 of the US National Science Foundation. R.K. was supported in part by the Swiss National Science Foundation and the center of excellence grant Center for quantum geometry of Moduli Spaces of the Danish National Research Foundation. The paper was presented by S.G. in a conference at the Max-Planck Institute in Bonn (Modular Forms are Everywhere) in honor of D. Zagier’s 65th birthday. S.G. wishes to thank the organizers, and particularly K. Bringmann and D. Zagier for their invitation and hospitality.
References
Ahlfors, L.: Complex analysis. In: An Introduction to the Theory of Analytic Functions of One Complex Variable, International Series in Pure and Applied Mathematics, 3rd ed., McGraw-Hill Book Co., New York (1978)
Andersen, J.E., Kashaev, R.: Complex Quantum Chern–Simons (2014). Preprint arXiv:1409.1208
Andersen, J.E., Kashaev, R.: A new formulation of the Teichmüller TQFT (2013). Preprint arXiv:1305.4291
Andersen, J.E., Kashaev, R.: A TQFT from quantum Teichmüller theory. Commun. Math. Phys. 330(3), 887–934 (2014)
Burton, B.: Regina, software for 3-manifold topology and normal surface theory. http://regina.sourceforge.net. Accessed 30 Jan 2015
Culler, M., Dunfield, N., Weeks, J.: SnapPy, a computer program for studying the topology of \(3\)-manifolds. http://snappy.computop.org. Accessed 30 Jan 2015
Dimofte, T., Garoufalidis, S.: The quantum content of the gluing equations. Geom. Topol. 17(3), 1253–1315 (2013)
Dimofte, T., Gaiotto, D., Gukov, S.: 3-manifolds and 3d indices. Adv. Theor. Math. Phys. 17(5), 975–1076 (2013)
Dimofte, T., Gaiotto, D., Gukov, S.: Gauge theories labelled by three-manifolds. Commun. Math. Phys. 325(2), 367–419 (2014)
Garoufalidis, S.: The 3D index of an ideal triangulation and angle structures. Ramanujan J. 40(3), 573–604 (2016)
Garoufalidis, S., Hodgson, C., Hoffman, N., Rubinstein, H.: The 3D-index and normal surfaces. Ill. J. Math. 60(1), 289–352 (2016)
Garoufalidis, S., Hodgson, C., Rubinstein, H., Segerman, H.: 1-efficient triangulations and the index of a cusped hyperbolic 3-manifold. Geom. Topol. 19(5), 2619–2689 (2015)
Garoufalidis, S., Kashaev, R.: From state integrals to \(q\)-series. Math. Res. Lett. 24(3), 781–801 (2017)
Kashaev, R.: The \(q\)-Binomial Formula and the Rogers Dilogarithm Identity (2004). Preprint arXiv:math/0407078
Kashaev, R.: The Yang–Baxter relation and gauge invariance (2015). Preprint arXiv:1510.03043
Kashaev, R.: Beta pentagon relations. Theoret. and Math. Phys. 181(1), 1194–1205 (2014) (Russian version appears in Teoret. Mat. Fiz. 1, 81 (2014), 1, 73–85)
Kashaev, R., Luo, F., Vartanov, G.: A TQFT of Turaev-Viro type on shaped triangulations. Ann. Henri Poincaré 17(5), 1109–1143 (2016)
Luo, F., Tillmann, S.: Angle structures and normal surfaces. Trans. Am. Math. Soc. 360(6), 2849–2866 (2008)
Neumann, W., Zagier, D.: Volumes of hyperbolic three-manifolds. Topology 24(3), 307–332 (1985)
Thurston, W.: The geometry and topology of 3-manifolds, Universitext. Springer, Berlin (1977). http://msri.org/publications/books/gt3m
Woronowicz, S.: Operator equalities related to the quantum \(E(2)\) group. Commun. Math. Phys. 144(2), 417–428 (1992)
Zagier, D.: The Dilogarithm Function, Frontiers in Number Theory, Physics, and Geometry. II, pp. 3–65. Springer, Berlin (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
To Don Zagier, on the occasion of his 65th birthday.
Appendices
Appendix A: A quantum dilogarithm over the LCA group \(\mathbb {T}\times \mathbb {Z}\)
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 [21]. 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 [2, 15].
Throughout the section, for a Hilbert space H, we write \(A:H\rightarrow 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 \(\mathbb {T}\times \mathbb {Z}\) is a self-dual LCA group with the gaussian exponential
The Fourier kernel is fixed as the co-boundary of the gaussian exponential
We define a unitary Fourier operator \(\mathsf {F}:L^2(\mathbb {T}\times \mathbb {Z})\rightarrow L^2(\mathbb {T}\times \mathbb {Z})\) by the integral kernel
For any (measurable) function \(f:\mathbb {T}\times \mathbb {Z}\rightarrow \mathbb {C}\), we associate three normal operators as follows. The multiplication operator by f:
its unitary conjugate by the Fourier operator
and the unitary conjugate of the latter by the inverse of the (unitary) multiplication operator \(\langle \mathsf {q}\rangle \) by the gaussian exponential (104):
We remark that all three operators \(f(\mathsf {q})\), \(f(\mathsf {p})\) and \(f(\mathsf {p}+\mathsf {q})\) have spectrum given by the closure of the image of f.
Lemma A.1
The function
satisfies the following operator equations:
Proof
In the Hilbert space \(L^2(\mathbb {Z})\), define a self-adjoint operator \(\mathsf {h}\) by
and a unitary operator \(\mathsf {z}\) by
These operators satisfy the commutation relation
which is verified as follows:
Similarly, in the Hilbert space \(L^2(\mathbb {T})\), we define a self-adjoint operator \(\mathsf {H}\) by
and a unitary operator \(\mathsf {Z}\) by
It is easily verified that
Moreover, if \(\mathsf {J}:L^2(\mathbb {Z})\rightarrow L^2(\mathbb {T})\) is the isomorphism defined by the integral kernel
then we have the equalities
Identifying \(\mathsf {H},\mathsf {Z},\mathsf {h},\mathsf {z}\) with their natural counterparts in \(L^2(\mathbb {T}\times \mathbb {Z})\), we have
and
so that
for any \(f:\mathbb {T}\times \mathbb {Z}\rightarrow \mathbb {C}\), where, in the right-hand sides, the functions with operator arguments are understood in the spectral sense. In the case of \(f=\eta \), we thus have
and the relations (111) are verified straightforwardly. \(\square \)
Next, observe that the function
nowhere vanishes and satisfies the operator five-term identity
as a consequence of Lemma A.1 and the formal power series identity in non-commuting indeterminates
which is equivalent to the q-binomial formula
see [14]. Indeed, by substituting \(\mathsf {u}\) by \(\eta (\mathsf {q})\) and \(\mathsf {v}\) by \(\eta (\mathsf {p})\), we convert (127) into (126). Lemma A.1 also implies that the function
satisfies the unitarized version of identity (126):
Moreover, \(\phi _q\) satisfies an inversion relation, see below (131), which allows us to identify it as an example of a quantum dilogarithm over \(\mathbb {T}\times \mathbb {Z}\).
Lemma A.2
The function (129) satisfies the following inversion relation:
Proof
We have
where in the second equality we have used (26) and in the fourth equality the functional equation (32). \(\square \)
Appendix B: The quantum dilogarithm and the Beta pentagon relation
In this section, we generalize the result of [2] 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 \(\langle \cdot \rangle :A\rightarrow \mathbb {T}\) and the Fourier kernel
For a nonnegative integer \(n \in \mathbb {N}\), denote
According to [2], a bounded function
is called of Faddeev type if it satisfies the non-constant version of the operator pentagon relation
The latter is equivalent to the functional integral identity
where
Defining
we rewrite (137) in the form
We call a subgroup \(B\subset A\) isotropic if it satisfies the condition
Lemma B.1
Let a bi-character \(\chi :A^2\rightarrow \mathbb {T}\) be such that
and \(B\subset A\) an isotropic subgroup. Then, for any function \(f_i(x)\) of Faddeev type, the function
is automorphic, i.e., satisfies
and satisfies the integral identity
Proof
The automorphicity properties (144) are verified in a straightforward manner, while to derive the integral identity (145), we write
so that
\(\square \)
Now, we point out that the integral identity (145) is an equivalent form of the automorphic Beta pentagon identity. Namely, if we define
then
In the case of the quantum dilogarithm \(\phi _q\) constructed in Appendix A, we have
so that
We choose
and
so that the automorphic factors are trivial:
Thus,
and
Taking into account the symmetry of the Beta pentagon identity under the negation of all arguments, we conclude that \(\psi ^0(1/z,w)\) and \(\psi ^0(z,1/w)\) both satisfy the Beta pentagon identity.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Garoufalidis, S., Kashaev, R. A meromorphic extension of the 3D index. Res Math Sci 6, 8 (2019). https://doi.org/10.1007/s40687-018-0166-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-018-0166-9