Cluster Algebra and Complex Volume of OncePunctured Torus Bundles and TwoBridge Links
Abstract.
We propose a method to compute complex volume of 2bridge link complements. Our construction sheds light on a relationship between cluster variables with coefficients and canonical decompositions of link complements.
largesymbols”3E
1. Introduction
The cluster algebra was introduced by Fomin and Zelevinsky in [8], and it has been studied extensively since then. The characteristic operation in the cluster algebra called “mutation” is related to various notions, and there exist many applications of cluster algebra to the representation theory of Lie algebras and quantum groups, triangulated surface [6, 7], Teichmüller theory [5], integrable systems, and so on.
In geometry, the cluster algebraic techniques are used to understand hyperbolic structure of fibered bundles [15], where cluster variables are identified with moduli of ideal hyperbolic tetrahedra. Our purpose in this paper is to study complex volume of 2bridge link complements via cluster variables with coefficients. The complex volume is a complexification of hyperbolic volume,
where is the hyperbolic volume and is the Chern–Simons invariant of . Based on canonical decompositions of 2bridge link complements in [19], we clarify a relationship between ideal tetrahedra and cluster mutations. Main observation is that the cluster variable with coefficients is closely related to Zickert’s formulation of complex volume [23], and that the complex volume is given from the cluster variable (Theorem 4.9, also Remark 4.10). We shall also give a formula of complex volume for oncepunctured torus bundle over the circle (Theorem 3.9).
There may be natural extensions of our results. One of them is a quantization of the cluster algebra, which will be helpful in studies of Volume Conjecture [12, 13], a relationship between hyperbolic geometry and quantum invariants. Indeed in the case of oncepunctured torus bundle, a classical limit of adjoint action of mutations and its relationship with [11, 3] are studied in [20]. Also a generalization to higher rank [5] remains for future works.
This paper is organized as follows. In Section 2, we briefly review the definition of the cluster algebra and the threedimensional hyperbolic geometry, and explain their interrelationship by taking a simple example. Section 3 is devoted to the oncepunctured torus bundles over the circle. We formulate the hyperbolic volume via variables, and the complex volume via cluster variables. Section 4 is for 2bridge links. First we review a canonical decomposition of the 2bridge link complements, and we reformulate it in terms of the cluster algebra. The key is to introduce the cluster coefficient as an element of the tropical semifield. We give an explicit formula for the complex volume in terms of the cluster variables.
2. Cluster Algebra and 3Dimensional Hyperbolic Geometry
2.1. Cluster Algebra
We briefly give a definition of the cluster algebras following [8, 9]. See these papers for details. We let be a semifield with a multiplication and an addition . This means that is an abelian multiplicative group endowed with a binary operation which is commutative, associative, and distributive with respect to the group multiplication . Let denote the quotient field of the group ring of . (Note that is an integral domain [8].) Fix . Let be the rational functional field of algebraically independent variables .
Definition 2.1.
A seed is a triple , where

a cluster is an tuple of elements in such that is a free generating set of ,

a coefficient tuple is an tuple of elements in ,

an exchange matrix is an skew symmetric integer matrix.
We call a cluster variable, and a coefficient.
An important tool in the cluster algebra is a mutation, which relates cluster seeds.
Definition 2.2.
Let be a seed. For each , we define the mutation of by as
where

an tuple of elements in is
(2.1) 
a coefficient tuple is
(2.2) 
a skew symmetric integral matrix is
(2.3)
Note that the resulted triple is again a seed. We remark that is involutive, and that and are commutative if and only if .
By starting from an initial seed , we iterate mutations and collect all obtained seeds. The cluster algebra is the subalgebra of the rational function field generated by all the cluster variables. In fact, in this paper we do not need the cluster algebra itself, but the seeds and the mutations. Further, we use the following:
Proposition 2.3 ([9]).
For a seed , let be an tuple in defined as
(2.4) 
Then the mutation of in Def. 2.2 induces a mutation of a pair ,
(2.5) 
where
This proposition holds for an arbitrary semifield . In this paper we call a cluster variable, or a variable. Hereafter we use the following tropical semifield [9].
Definition 2.4.
Set . Let be a semifield generated by a variable with a multiplication and an addition ,
(2.7) 
Definition 2.5.
We define a map , given by substituting in elements of .
For the later use, we introduce the permutation acting on seeds.
Definition 2.6.
For and , let be a permutation of subscripts and in seeds. For example a permuted cluster is defined by
Actions on and are defined in the same manner. They induce an action on , and has a same form.
2.2. Hyperbolic Geometry
A fundamental object in the threedimensional hyperbolic geometry is an ideal hyperbolic tetrahedron in Fig. 1 [21]. The tetrahedron is parameterized by a modulus , and each dihedral angle is given as in the figure. We mean and for given modulus by
(2.8) 
The cross section by the horosphere at each vertex is similar to the triangle in with vertices , , and as in Fig. 2. In Fig. 1, we give an orientation to tetrahedron by assigning a vertex ordering [23], which is crucial in computing the complex volume of tetrahedra modulo .
The hyperbolic volume of an ideal tetrahedron with modulus is given by the Bloch–Wigner function
(2.9) 
Here is the dilogarithm function,
for , and the analytic continuation for is given by
Note that
(2.10)  
See, e.g., [22] for details of the dilogarithm function.
We study the case that a cusped hyperbolic manifold is triangulated into a set of ideal tetrahedra . It is known that the modulus of each ideal tetrahedron is determined from two conditions. One is a set of gluing equations, which means that dihedral angles around each edge sum up to . Another is a cusp condition so that has a complete hyperbolic structure. Then the hyperbolic volume of is given by
(2.11) 
The complex volume, , of is a complexification of (2.11), and in view of the Bloch–Wigner function (2.9), it is natural to study the dilogarithm function . Although, in contrast to , the dilogarithm function is a multivalued function, and we need a “flattening”, i.e., the moduli of ideal tetrahedra with additional parameters and .
Definition 2.7 ([17]).
A flattening of an ideal tetrahedron is
(2.12) 
where is the modulus of and . We use to denote the flattening of .
By use of the flattening , we introduce [16] an extended Rogers dilogarithm function by
(2.13) 
where . Here and hereafter, we mean the principal branch in the logarithm. In [17], the extended preBloch group is defined as the free abelian group on the flattenings subject to a lifted fiveterm relation, and it is shown that the complex volume can be given as follows.
Proposition 2.8 ([17]).
The complex volume of is
(2.14) 
where is a flattening of , and is (resp. ) when the orientation of is same with (resp. opposite to) that of in Fig. 1.
Zickert clarified that the flattening can be given by complex parameters assigned to the edges of an ideal tetrahedron in the following way.
Proposition 2.9 ([23]).
For the ideal tetrahedron in Fig. 1, let be a complex parameter on the edge connecting vertices and for . When these complex parameters satisfy
(2.15) 
the flattening is given by
(2.16)  
In gluing tetrahedra to construct a threemanifold , edges identified in are required to have the same complex numbers.
Remark 2.10.
It was demonstrated in [23] that these complex parameters can be read from a developing map such as Figs. 8 and 13. To summarize, when we have a triangulation with modulus of a hyperbolic 3manifold , the flattering can be given from the above with edge parameters , and we get the complex volume of from (2.14).
2.3. Interrelationship
Correspondence between the cluster algebra and the hyperbolic geometry can be seen in a simple example.^{1}^{1}1We thank T. Dimofte. We study a triangulated surface and its flip as in Fig. 3. A triangulation is related to a quiver, i.e., a directed graph, where the number of edges in the triangulation is equal to the fixed number in the cluster algebra [6]. A flip can be regarded as a cluster mutation, as depicted in the figure. Note that the exchange matrix can be read from the quiver by
By definition (2.4), the mutation , is explicitly written as
(2.17)  
On the other hand, we may regard the flip in Fig. 3 as an attachment of an ideal tetrahedron with modulus whose faces are pleated. See Fig. 4. When we denote by the dihedral angle on edge labeled as in Fig. 3, a dihedral angle after attaching is given by
(2.18)  
with a hyperbolic gluing condition
Comparing (2.17) with (2.18), we observe that the cluster variable is related to the dihedral angle by
and especially a modulus of the ideal tetrahedron is given by
(2.19) 
See that a subscript “3” denotes a label of vertex in the quiver where the mutation () was applied.
Our idea on a geometrical role of the cluster variable is as follows. We know from (2.4) that the variable is written as
We also see from (2.1) that the mutation sends a cluster variable to
where we take the tropical semifield of Def. 2.4. Thus, using (2.19) we get
When we apply the map in Def. 2.5 to the above, the coefficient parts including are . By comparing these formulae with (2.15), we notice that the cluster variables play a role of Zickert’s parameters .
3. OncePunctured Torus Bundle over
3.1. pattern and Hyperbolic Volume
Let be a oncepunctured torus, . We set to be the oncepunctured torus bundle over the circle, whose monodromy is determined by a mapping class . More precisely, via we define an identification for , and set . It is known that is hyperbolic when has distinct real eigenvalues. Up to conjugation we have
(3.1) 
where
To denote a mapping class (3.1) we use a sequence of symbols where or , and
(3.2) 
We use a triangulation of as depicted in Fig. 5. It is related to the Farey triangles [4], which we will explain in Section 4.1. The actions of and are interpreted as “flips” of triangulation as shown in the figure. The triangulation is translated into the cluster algebra of with the exchange matrix as
(3.3) 
This denotes the quiver in Fig. 6, where each vertex has a labeling corresponding to that of an edge in the triangulation. Then the flips and can be identified with the mutations in the cluster algebra (cf. [20]), and we have
(3.4) 
where is the permutation defined in Def. 2.6. See Fig. 5. We have used the permutations so that the exchange matrix (3.3) is invariant under these actions. In this way the flips and act on the variable respectively as
(3.5) 
where
(3.6) 
Definition 3.1.
A pattern of a mapping class (3.1) is for defined recursively by
(3.7) 
We have seen in Section 2.3 that the cluster mutation is interpreted as an attachment of an ideal tetrahedron. Thus to each flip , or defined in (3.4), we can assign a single ideal hyperbolic tetrahedron as illustrated in Fig. 7. The triangulations of in Fig. 5 can be regarded as the top and bottom pleated faces of ideal tetrahedron in Fig. 7 [4]. In a cross section by horosphere at a vertex we have four triangles, and each of them has one vertex not shared with any of the other three as in Fig. 7.
Our first claim is that the modulus of each ideal tetrahedron is given from a pattern. See also [15].
Proposition 3.2.
Let be a pattern of with an initial condition,
(3.8) 
Here and are solutions of
(3.9) 
such that each modulus defined by
(3.10) 
is in the upper half plane for . Then is the modulus of the tetrahedron .
Remark 3.3.
Corollary 3.4.
3.2. Proof of Proposition 3.2
We have discussed in Section 2 that the cluster variable is related to the modulus of ideal tetrahedron. To prove that the pattern given by (3.7) describes a complete hyperbolic structure of , we need to check [21, 18] that both gluing conditions and a completeness condition are fulfilled. The gluing conditions may be trivial once we know the fact in Section 2.3. Though, we need to check the gluing conditions at edges on top/bottom triangulated surfaces, and the completeness condition is far from trivial. In the following, we shall check all of them by use of a developing map of torus at infinity of (3.1), which is depicted in Fig. 8 (see, e.g., [10]).
First of all, when , we have
Here we have used in the second equality, and the last equality follows from . See (3.6) for the action of flip . We see that this equality is nothing but a gluing condition for the second circle from the bottom in Fig. 8. A case of can be checked in the similar manner.
In the same manner, we can check
for , which also corresponds to a gluing condition in the figure. Using the periodic condition (3.9), we have
where we have used . This coincides with a consistency condition for the right semicircle (top and bottom) in the figure.
We can further check that
due to (3.9). This identity corresponds to a gluing condition for the left semicircle (top and bottom) in the figure. As another example of this type of equality, we have
which denotes a gluing condition for the right middle large circle. In this way, it is straightforward to check consistency conditions in the figure.
A completeness condition can be checked similarly. We have
where the last equality follows from the initial condition (3.8). We can see that this equality denotes a completeness condition from the curve in the figure.
This completes the proof.
3.3. Cluster Pattern and Complex Volume
In the previous Section 3.2, we have proved that the variables give the hyperbolic volume of the manifold . We shall discuss that the cluster variables give the complex volume of .
We reformulate the preceding result in Section 3.2 by use of cluster variables with coefficients. By definition, the permuted mutations and (3.4) act on a seed respectively as
(3.12) 
where
(3.13) 
Definition 3.5.
A cluster pattern of (3.1) is for defined recursively by
(3.14) 
We set an initial seed by
(3.15) 
and (3.3). Note that for all we have
(3.16) 
When we set a periodic condition
(3.17) 
all cluster variables are determined up to constant. Thanks to Prop. 2.3 with (3.3), the pattern in Prop. 3.2 can be identified with
(3.18) 
and (3.17) supports the periodicity of variable, . We choose such that the variable (3.18) is a geometric solution of (3.9). As was shown in Section 2.3, the cluster variable can be regarded as Zickert’s edge parameters of . See Remark 2.10.
To get the complex volume modulo , we need to take into account of the orientation of . When we assign an orientation to the triangulations of , it induces an orientations of as illustrated in Fig. 7 [17]. The tetrahedron has the same orientation with in Fig. 1, while the tetrahedron has the opposite orientation. Using a relationship between the vertex ordering and dihedral angles in Fig. 1, we obtain the following.
Lemma 3.6.
Let be a cluster pattern satisfying the condition (3.17). Then the modulus of is given by
(3.19) 
for .
Proof.
Remark 3.7.
Due to orientation of the tetrahedron, a solution is geometric if and only if (resp. ) for (resp. ).
We obtain the flattening of as follows.
Lemma 3.8.
Proof.
As a consequence of Lemma 3.6 and Lemma 3.8, it is straightforward to obtain the following theorem, which is the main result in this section.
Theorem 3.9.
Remark 3.10.
When we discard the vertex ordering of the ideal hyperbolic tetrahedra , the resulting complex volume is defined modulo [17]. Ignoring orientations of , we may simply set the moduli of tetrahedra from (3.10) and (3.18) as
for . Then we obtain the flattening of from
With these flattening, we have the complex volume modulo [17] by
3.4. Example:
We take an example . A cluster pattern is
An initial cluster variable is solved up to constant from the periodic condition (3.17), :
By setting , geometric solutions are . From (3.20) the solution with plus sign gives the flattening parameters for as , , , while the minus sign solution gives , , . Both solutions give