Quantization of canonical bases and the quantum symplectic double

We describe a natural $q$-deformation of Fock and Goncharov's canonical basis for the algebra of regular functions on a cluster variety associated to a quiver of type $A$. We then describe an extension of this construction involving a cluster variety called the symplectic double.


The cluster Poisson variety
Cluster varieties are geometric objects introduced by Fock and Goncharov in a series of papers [7,8,9,10] borrowing combinatorial ideas from Fomin and Zelevinsky's theory of cluster algebras [12]. They arise naturally as moduli spaces of local systems on surfaces. More precisely, one considers a marked bordered surface, defined as a compact oriented surface S with boundary, together with a finite set M ⊂ S of marked points, such that any boundary component of S contains at least one marked point. Given a marked bordered surface Σ = (S, M), Fock and Goncharov defined a moduli space parametrizing P GL 2 (C)-local systems on S \ M with additional framing data associated to the marked points. An ideal triangulation of Σ is defined as a triangulation of S whose vertices are precisely the points of M. For any marked bordered surface Σ admitting an ideal triangulation, the moduli space of framed local systems on Σ is birational to a cluster variety X Σ known as the cluster Poisson variety.
One of the main ideas from the work of Fock and Goncharov is that in many cases the algebra of regular functions on the cluster Poisson variety possesses a canonical vector space basis. To construct this canonical basis, Fock and Goncharov considered a dual cluster variety denoted A Σ and known as the cluster K 2 -variety [11]. This cluster variety is birational to a certain moduli space of SL 2 (C)-local systems associated to Σ. One can form the set A Σ (Z t ) of points of this cluster variety valued in the semifield Z t of tropical integers, and there is a canonical map from this set into the algebra of regular functions on X Σ [7,8]. Building on the ideas of [7], it has been shown in many cases that the image of this map is a canonical basis for the algebra of regular functions (see [4], Theorem 1.1). This canonical basis construction is closely related to Lusztig's canonical bases in the theory quantum groups [17], as well as the work of Musiker, Schiffler, and Williams [20] and Gross, Hacking, Keel, and Kontsevich [15] on canonical bases for cluster algebras. It has also found applications in mathematical physics where it was used by Gaiotto, Moore, and Neitzke to count framed BPS states in certain four-dimensional supersymmetric quantum field theories [14].
For any ideal triangulation T of Σ, there is a collection of rational coordinates X j : X Σ C * on the cluster Poisson variety indexed by the set J T of internal edges of T . These coordinates are known as cluster coordinates or Fock-Goncharov coordinates. If we number the edges of T so that J T = {1, . . . , n}, then the canonical function I A (l) associated to a point l ∈ A Σ (Z t ) can be written as a Laurent polynomial where the coefficients λ d are nonnegative integers and only finitely many terms are nonzero. This expansion includes a term of the form X a 1 1 . . . X an n which is the highest term in the sense that, for any other term λ d · X d 1 1 . . . X dn n in the expansion, we have d j ≤ a j for all j ∈ J T . An important feature of the cluster Poisson variety is that this object carries a canonical Poisson structure. For any ideal triangulation T of Σ, there is a skew symmetric matrix ε ij (i, j ∈ J T ) such that the Poisson bracket is given on coordinates by In particular, the cluster Poisson variety can be canonically quantized [9,10], giving rise to a family of noncommutative algebras X q Σ depending on a parameter q such that X q Σ coincides with the function field Q(X Σ ) when q = 1. For any ideal triangulation T of Σ, the algebra X q Σ is isomorphic to the noncommutative fraction field of a quantum torus, generated over Q[q, q −1 ] by noncommuting variables X ±1 j , j ∈ J T , subject to the relations X i X j = q 2ε ij X j X i for all i, j ∈ J T . In this paper, we will study the quantization of X Σ in the important special case where the marked bordered surface Σ = (D, M) is a disk D with a finite set M of marked points on its boundary. Equivalently, we are considering cluster varieties associated to a quiver of Dynkin type A. We prove the following result, which provides a quantization of the canonical functions I A (l) in this case. Theorem 1.1. Let Σ = (D, M) be a disk with marked points on its boundary. Then there is a canonical map I q A : A Σ (Z t ) → X q Σ satisfying the following properties: 1. For any choice of ideal triangulation T of Σ, the element I q A (l) ∈ X q Σ can be written as a Laurent polynomial in the variables X j (j ∈ J T ) with coefficients in Z ≥0 [q, q −1 ].

The expression I q
A (l) agrees with the Laurent polynomial I A (l) when q = 1.
3. Let * be the canonical involutive antiautomorphism of X q that fixes each X i and sends q to q −1 . Then * I q A (l) = I q A (l). 4. The highest term of I q A (l) is q − i<j ε ij a i a j X a 1 1 . . . X an n where X a 1 1 . . . X an n is the highest term of the classical expression I A (l). 5. For any l, l ′ ∈ A Σ (Z t ), we have where c q (l, l ′ ; l ′′ ) ∈ Z[q, q −1 ] and only finitely many terms are nonzero.
The existence of the map I q A was conjectured by Fock and Goncharov in [9]. In physics, it is expected to be closely related to the "protected spin characters" introduced by Gaiotto, Moore, and Neitzke for a class of quantum field theories known as the Argyres-Douglas theories associated to a Lie algebra of type A 1 [14].
The map I q A is an analog of the one constructed in [1] in the case when the marked bordered surface Σ = (S, M) is a punctured surface, that is, when S has empty boundary and all points of M lie in the interior of S. The construction in [1] was based on the "quantum trace map" introduced by Bonahon and Wong [6] whereas the construction of the present paper is based on the theory of quantum cluster algebras [5], the notion of a quantum Fpolynomial from [22], and the work of Muller on skein algebras [18]. Recent results of Lê [16] suggest that these two approaches are in fact equivalent. It should be possible, using these ideas, to generalize the construction to an arbitrary marked bordered surface Σ, but we will not pursue such a generalization here.

The symplectic double
In addition to proving Theorem 1.1, we will show that the duality map I q A is part of a larger construction involving a cluster variety called the symplectic double. This cluster variety was introduced by Fock and Goncharov and plays a key role in their work on quantization of cluster Poisson varieties [10]. As before, one can associate, to a marked bordered surface Σ, a certain moduli space of local systems, and this moduli space is birationally equivalent to a symplectic double cluster variety, which we denote by D Σ [11,2].
The symplectic double is closely related to the cluster K 2 -and Poisson varieties considered above. In particular, one has a natural embedding ϕ : A Σ → D Σ and a natural projection π : D Σ → X Σ . In previous work [3], the author gave a description of the set D Σ (Z t ) of Z t -valued points of the symplectic double and constructed a canonical map from this set into the field of rational functions on D Σ . This map I D is compatible with I A in the sense that there is a commutative diagram where the vertical maps are induced by ϕ : A Σ → D Σ and π : D Σ → X Σ . In general, the function obtained by applying the map I D to a point of D Σ (Z t ) is not a regular function on the symplectic double. The natural geometric definition of the map I D produces rational rather than regular functions, and in particular, the map I D does not provide a canonical basis for regular functions of D Σ . Nevertheless, these rational expressions have interesting positivity properties. Indeed, for any ideal triangulation T of Σ, there is a collection of rational coordinates B j : D T C * and X j : D T C * on the symplectic double indexed by the set J T , and the canonical function I D can be written as a ratio of polynomials in these coordinates with nonnegative integer coefficients [3].
As its name suggests, the symplectic double has a natural symplectic structure and admits a canonical q-deformation [10]. Thus there is a family of noncommutative algebras D q Σ depending on a parameter q such that we recover the function field Q(D Σ ) by setting q = 1. For any ideal triangulation T of Σ, the algebra D q Σ is isomorphic to the noncommutative fraction field of the algebra generated over Q[q, q −1 ] by variables B ±1 j and X ±1 j for j ∈ J T , subject to the relations The second main result of this paper is a quantization of the map I D in the case where Σ is a disk with finitely many marked points on its boundary. Theorem 1.2. Let Σ = (D, M) be a disk with marked points on its boundary. Then there is a canonical map I q D : D Σ (Z t ) → D q Σ satisfying the following properties: 1. For any choice of ideal triangulation T of Σ, the element I q D (l) ∈ D q Σ can be written as a rational expression in the variables B j , X j (j ∈ J T ) with coefficients in Z ≥0 [q, q −1 ].
2. The expression I q D (l) agrees with the rational function I D (l) when q = 1.

There is a commutative diagram
where π q is an algebra homomorphism that agrees with π * when q = 1.

Organization
The rest of this paper is organized as follows. In Section 2, we define the cluster Poisson variety, the symplectic double, and their q-deformations using the quantum dilogarithm function. In Section 3, we review the tools we need from the theory of quantum cluster algebras. In Section 4, we define the skein algebra and review the results of Muller [18], which relate skein algebras to quantum cluster algebras. In Section 5, we construct the map I q A and prove a number of conjectured properties of this map. In Section 6, we define the map I q D and discuss its relation to I q A . Appendix A gives a detailed derivation of the mutation formulas used to define the quantum symplectic double and may be of independent interest to some readers.

Quantum cluster varieties 2.1 Seeds and mutations
Cluster varieties are geometric objects defined using combinatorial ideas from Fomin and Zelevinsky's theory of cluster algebras [12]. One of the main concepts needed to define cluster varieties is the notion of a seed.
2. {e j } j∈J is a subset of the basis.
A basis vector e j with j ∈ J is said to be mutable, while a basis vector e i with i ∈ I − J is said to be frozen. Note that if we are given a seed, we can form a skew-symmetric integer matrix with entries ε ij = (e i , e j ) (i, j ∈ I).
The second main concept that we need to define cluster varieties is the notion of mutation. For any integer n, let us write [n] + = max(0, n). Definition 2.2. Let i = (L, {e i } i∈I , {e j } j∈J , (·, ·)) be a seed and e k (k ∈ J) a mutable basis vector. Then we define a new seed i ′ = (L ′ , {e ′ i } i∈I , {e ′ j } j∈J , (·, ·) ′ ) called the seed obtained by mutation in the direction of e k . It is given by L ′ = L, (·, ·) ′ = (·, ·), and It is straightforward to calculate the change of the matrix ε ij under a mutation of seeds. Proposition 2.3. A mutation in the direction k changes the matrix ε ij to the matrix We will denote by |i| the mutation equivalence class of a seed i, that is, the collection of all seeds obtained from i by applying sequences of mutations.

The quantum dilogarithm and quantum tori
To define quantum cluster varieties, we employ the following special function.
We will study the quantum dilogarithm as a function on the following algebra of qcommuting variables.
Definition 2.5. Let L be a lattice equipped with a Z-valued skew-symmetric bilinear form (·, ·). Then the quantum torus algebra is the noncommutative algebra over Q[q, q −1 ] generated by variables Y v (v ∈ L) subject to the relations This definition allows us to associate to any seed i = (L, {e i } i∈I , {e j } j∈J , (·, ·)), a quantum torus algebra X q i . The set {e j } j∈J provides a set of generators X ±1 j given by X j = Y e j for this algebra. They obey the commutation relations This algebra X q i satisfies the Ore condition from ring theory, so we can form its noncommutative fraction field Frac(X q i ). In addition to associating a quantum torus algebra to every seed, we use the quantum dilogarithm to construct a natural map Frac(X q i ′ ) → Frac(X q i ) whenever two seeds i and i ′ are related by a mutation. Definition 2.6.
1. The automorphism µ ♯ k : Frac(X q i ) → Frac(X q i ) is given by conjugation with Ψ q (X k ): Note that conjugation by Ψ q (X k ) produces a priori a formal power series. We will see below that this construction in fact provides a map Frac(X q i ′ ) → Frac(X q i ) of skew fields.

The quantum double construction
As explained in [10], it is natural to embed the above construction in a larger one. If i = (L, {e i } i∈I , {e j } j∈J , (·, ·)) is any seed, then we can form the "double" L D = L D,i of the lattice L given by the formula where L ∨ = Hom(L, Z). The basis {e i } for L provides a dual basis {f i } for L ∨ , and hence we have a basis {e i , f i } for L D . Moreover, there is a natural skew-symmetric bilinear form (·, ·) D on L D given by the formula We can apply the construction of Definition 2.5 to these data to get a quantum torus algebra which we denote D q i . If we let X i and B i denote the generators associated to the basis elements e i and f i , respectively, then we have the commutation relations We will write Frac(D q i ) for the (noncommutative) fraction field of D q i . The following notations will be important in the sequel: One can check using the above relations that the elements X k and X k commute. Just as before, we have a natural map Frac(D q i ′ ) → Frac(D q i ) whenever i and i ′ are two seeds related by a mutation. 1. The automorphism µ ♯ k : Frac(D q i ) → Frac(D q i ) is given by Notice that the generators X i span a subalgebra of D q i which is isomorphic to the quantum torus algebra X q i defined previously. Moreover, since X k and X k commute, the restriction of µ q k to this subalgebra coincides with the mutation map from Definition 2.6. Although conjugation by Ψ q (X k )/Ψ q ( X k ) produces a priori a formal power series, this construction in fact provides a map Frac(D q i ′ ) → Frac(D q i ) of skew fields. Indeed, one has the following formulas for the values of the map µ q k on generators.
Theorem 2.8. The map µ q k is given on generators by the formulas The proof of this theorem can be found in Appendix A.

The classical limit
We have now seen how to associate, to any seed i, a noncommutative algebra D q i . In addition, we have seen how to associate, to any pair of seeds i and i ′ related by a mutation, an isomorphism Frac(D q i ′ ) → Frac(D q i ) of the corresponding fraction fields. Note that if we set q = 1, then D q i becomes the Laurent polynomial ring Q[B ±1 i , X ±1 i ] i∈J . Its spectrum is a split algebraic torus, which we denote by D i . The formulas of Theorem 2.8 specialize to where {B ′ j , X ′ j } j∈J are the coordinates on D i ′ . These formulas define birational maps D i D i ′ of tori. Definition 2.9. The symplectic double D = D |i| is the scheme over Q obtained by gluing the split algebraic tori D i ′ for all seeds i ′ in the mutation equivalence class of i using the birational maps above.
In exactly the same way, the algebra X q i becomes the Laurent polynomial ring Q[X ±1 i ] i∈J when q = 1. Its spectrum is a split algebraic torus denoted X i . As before, we get a birational map X i X i ′ whenever two seeds i and i ′ are related by a mutation.
Definition 2.10. The cluster Poisson variety X = X |i| is the scheme over Q obtained by gluing the split algebraic tori X i ′ for all seeds i ′ in the mutation equivalence class of i using the birational maps above.
As the names suggest, the cluster Poisson variety has a natural Poisson structure, and the symplectic double carries a natural symplectic form with a compatible Poisson structure. The cluster Poisson variety embeds into the symplectic double as a Lagrangian subspace [10].
For generic q, we can use the formulas of Theorem 2.8 to glue the algebras Frac(X q i ) and Frac(D q i ): The sets X q and D q inherit natural algebra structures and in the classical limit q = 1 are identified with the function fields of the cluster Poisson variety and symplectic double, respectively. For q = 1, we think of X q and D q as the function fields of corresponding "quantum cluster varieties".

The disk case
From now on, we will write Σ = (D, M) for the data of a compact oriented disk D and a finite set M of marked points on the boundary of D. As we will see in this section, there are quantum cluster varieties naturally associated to Σ.
Definition 2.11. An ideal triangulation of Σ = (D, M) is a triangulation of D whose vertices are precisely the points of M.
The disk Σ admits an ideal triangulation if and only if it has at least three marked points on its boundary. From now on, we will always assume this is the case. The illustration below shows an example of an ideal triangulation of a disk with five marked points.
An edge of an ideal triangulation of Σ = (D, M) is said to be external if it lies along the boundary of D, connecting adjacent marked points, and is said to be internal otherwise. For a given ideal triangulation T , we will write I = I T for the set of edges of T and J = J T for the set of internal edges. Definition 2.12. Let T be an ideal triangulation of Σ. Then we define a skew-symmetric matrix ε ij (i, j ∈ I) by if i, j share a vertex and j is immediately clockwise to i 0 otherwise.
Given an ideal triangulation T , we can consider the associated lattice This lattice has a basis {e i } given by e i = {i} for i ∈ I and a Z-valued skew-symmetric bilinear form (·, ·) given on basis elements by Thus we associate a seed to any ideal triangulation.
Definition 2.13. If k is an internal edge of an ideal triangulation T , then a flip at k is the transformation of T that removes k and replaces it by the unique different edge that, together with the remaining edges, forms an ideal triangulation: It is a fact that any two ideal triangulations are related by a sequence of flips. It is therefore natural to ask how the matrix ε ij changes when we perform a flip at some edge k.
To answer this question, first note that there is a natural bijection between the edges of an ideal triangulation and the edges of the triangulation obtained by a flip at some edge. If we use this bijection to identify edges of the flipped triangulation with the set I, then we have the following result.
Proposition 2.14. A flip at an edge k of an ideal triangulation changes the matrix ε ij to the matrix Thus we see that the new matrix ε ′ ij that we get after performing a flip at the edge k is the same as the matrix that we get by mutating the seed associated to T . It follows that the quantum cluster varieties defined above can be canonically associated to a disk with marked points so that each seed corresponds to an ideal triangulation of the disk. Definition 2.15. We will write D q Σ for the algebra D q associated to Σ in this way and X q Σ for the algebra X q associated to Σ.

General theory of quantum cluster algebras
Here we review the theory of quantum cluster algebras, following [5,22]. Throughout this section, m and n will be positive integers with m ≥ n.
In this case, we write µ k (B) = B ′ .
Let L be a lattice of rank m equipped with a skew-symmetric bilinear form Λ : L×L → Z. Let ω be a formal variable. We can associate to these data a quantum torus algebra T . It is generated over Z[ω, ω −1 ] by variables A v (v ∈ L) subject to the commutation relations In the literature on quantum cluster algebras, this quantum torus algebra is typically called a based quantum torus, and the parameter is denoted q −1/2 , rather than ω. (See [5,18,22] for example.) This quantum torus algebra has a noncommutative fraction field which we denote F .
where φ is a Q(ω −1 )-algebra automorphism of F and η : Z m → L is an isomorphism of lattices.
Note that the image M(Z m ) of a toric frame is a basis for an isomorphic copy of T in F . We have the relations where the form Λ M on Z m is obtained from Λ using the isomorphism η.
Here the t-binomial coefficient is given by 1. The mapping M ′ is a toric frame which is independent of the sign ǫ.
Definition 3.11. Denote by T n an n-regular tree with edges labeled by the numbers 1, . . . , n in such a way that the n edges emanating from any vertex have distinct labels. A quantum cluster pattern is an assignment of a quantum seed i t = (M t , B t ) to each vertex t ∈ T n so that if t and t ′ are vertices connected by an edge labeled k, then i t ′ is obtained from i t by a mutation in the direction k.
Given a quantum cluster pattern, let us define

Quantum F -polynomials
One of the important tools that we apply in our construction of the map I q D is the notion of a quantum F -polynomial from [22]. This extends Fomin and Zelevinsky's notion of Fpolynomial [13] to the noncommutative setting and allows us to express a generator A j;t of a quantum cluster algebra in terms of the generators associated with an initial seed. Then there exists an integer λ j;t ∈ Z and a polynomial F j;t in the variables such that the cluster variable A j;t ∈ A is given by where g j;t is an integer vector called the extended g-vector of A j;t .
The polynomial F j;t appearing in the theorem is known as a quantum F -polynomial. In this paper, we restrict attention to quantum cluster algebras where the matrix B arises from a triangulation of a disk. For such algebras, we have the following refinement of Theorem 3.13.
Corollary 3.14. Let A be a quantum cluster algebra associated to a disk, and suppose the matrix D appearing in the compatibility condition of Definition 3.2 is four times the identity. Then there exists a polynomial F j;t in the variables Y 1 , . . . , Y n with coefficients in Z ≥0 [ω 4 , ω −4 ] such that the cluster variable A j;t ∈ A is given by Proof. In the disk case, it is known that each classical F -polynomial has nonzero constant term (for example by [19]). Hence, by [22], Theorem 6.1, we have λ j;t = 0 in Theorem 3.13. By [22], Theorem 7.4, we know that the coefficients of F j;t are Laurent polynomials in ω 4 with positive integral coefficients. 4 The skein algebra and laminations 4

.1 Definition of the skein algebra
The quantum cluster algebras that we consider in this paper all arise from the skein algebra of Σ. Here we will review the the general theory of skein algebras, following [18].    The skein module Sk ω (Σ) is defined as the quotient of K(Σ) by the following local relations. In each of these expressions, we depict the portion of a framed link over a small disk in D. The framed links appearing in a given relation are assumed to be identical to each other outside of the small disk. In the last two relations, the dotted line segment represents a portion of ∂D. In these pictures, there may be additional undrawn curves ending at marked points, provided their order with respect to the drawn curves and each other does not change.
If K is a framed link in Σ, then the class of K in Sk ω (Σ) will be denoted [K].
Suppose K and L are two links such that the union of the underlying multicurves has transverse intersections. Then the superposition K · L is the framed link whose underlying multicurve is the union of the underlying multicurves of K and L, with each strand of K crossing over each strand of L and all other crossings ordered as in K and L.  This extends to a product on Sk ω (Σ) by bilinearity.
Note that the superposition product is well defined and independent of the choice of K ′ and L ′ by Proposition 4.6.

Relation to quantum cluster algebras
We conclude this section by describing the relation, first discovered by Muller in [18], between skein algebras and quantum cluster algebras. As usual, we take Σ = (D, M) to be a disk with finitely many marked points on its boundary. These are entries of a skew-symmetric |I| × |I| matrix which we denote Λ T . We will use the same notation Λ T for the associated skew-symmetric bilinear form Z I × Z I → Z.
Note that the word "clockwise" in the definition of Λ T does not necessarily mean "immediately clockwise". This definition makes sense because we work on a disk and therefore i cannot be both clockwise and counterclockwise to j. From now on, we will write F for the skew-field of fractions of the skein algebra Sk ω (Σ). By Theorem 6.14 of [18], it is isomorphic to the skew field of fractions of the quantum torus associated with the form Λ T for any ideal triangulation T .
Definition 4.11. For any ideal triangulation T and any vector v = (v 1 , . . . , v m ) ∈ Z I ≥0 , we will write T v for the simple multicurve having v i -many curves homotopic to i ∈ I and no other components. The corresponding class [T v ] is called a monomial in the triangulation T . More generally, we write This is well defined and provides a map M T : With these definitions, the pair (B T , M T ) is a quantum seed and Λ T is the compatibility matrix associated to the toric frame M T . It follows from Proposition 4.12 that there is a quantum cluster algebra A canonically associated to Σ. This algebra is generated by the cluster variables inside of the skew-field of fractions of the skein algebra.

Laminations
In order to construct the maps I q A and I q D , we need to define the sets A Σ (Z t ) and D Σ (Z t ). As explained in the introduction, these parametrize points of A Σ and D Σ valued in the semifield Z t of tropical integers. Further explanation can be found in [3,2,8,11]. 1. If a curve is not homotopic to a segment on ∂D connecting adjacent marked points, then its weight must be positive.
2. The total weight of all curves incident to a given marked point is zero.
Two A-laminations are considered to be equivalent if there is a bijection between their constituent curves which sends each curve to a homotopic one with the same weight. We write A Σ (Z t ) for the set of equivalence classes of A-laminations.
The diagram below shows a typical example of an A-lamination associated to a disk with five marked points.  Two D-laminations are considered to be equivalent if there is a bijection between their constituent curves which sends any curve on Σ (respectively, Σ • ) to a homotopic curve on Σ (respectively, Σ • ) with the same weight. We write D Σ (Z t ) for the set of equivalence classes of D-laminations.
The diagrams below show a typical example of an D-lamination associated to a disk with five marked points. Here we label a point of M and the corresponding point of M • by the same symbol.
The above definitions are equivalent to the definitions in [8,3]. In [3], a D-lamination was understood as a collection of closed loops on the surface Σ D obtained by gluing Σ and Σ • along corresponding boundary edges.

Realization of the cluster Poisson variety
We have associated a quantum cluster algebra A to the disk Σ. Let F be the ambient skew-field of this algebra A.
Definition 5.1. Let T be an ideal triangulation of Σ. For any j ∈ J, we define an element X j = X j;T of F by the formula where the e s are standard basis vectors. In addition, we will use the notation q = ω 4 .
As the notation suggests, these elements are related to the generators of the quantum Poisson variety.
Proposition 5.2. The elements X j (j ∈ J) satisfy the commutation relations Proof. By the properties of toric frames, we have

Now the compatibility condition proved in Proposition 4.10 implies
In the following result, T ′ denotes the triangulation obtained from T by a flip of the edge k.
Proof. According to Lemma 5.4 of [22], a mutation in the direction k transforms X i to the new element where d k is the number appearing in Definition 3.2. The statement follows if we substitute d k = 4 into this formula.

Construction of the map
We will now define the map I q A . To do this, let l be a point of A Σ (Z t ), represented by a collection of curves on Σ. By the definition of the space A Σ (Z t ), these curves can be taken to be nonintersecting, so there exists an ideal triangulation T l of Σ such that each curve coincides with an edge of T l . Let w = (w 1 , . . . , w m ) be the integral vector whose ith component w i is the weight of the curve corresponding to the edge i of T l or zero if there is no such curve. Here m = |I T l | is the number of edges of the ideal triangulation T l .
Definition 5.4. We will write I q A (l) for the element of F given by It is clear from the definition of the toric frames that this is independent of the choice of T l . Our goal is to show that this definition provides a map I q A : A Σ (Z t ) → X q Σ . To prove this, we will need a technical lemma on the g-vectors from Section 3.2.
Lemma 5.5. Fix an ideal triangulation T of Σ = (D, M), and let c 1 , . . . , c 2k be noncontractible curves connecting marked points. Assume these curves form a closed path on D in which c i and c i+1 share a common endpoint for i = 1, . . . , 2k where we number the indices modulo 2k. Let g c i be the g-vector associated to c i . Then the alternating sum is an integral linear combination of expressions of the form s ε is e s .
Proof. Consider the triangle in T that includes p ∈ I − J as one of its edges and label the other edges as follows: We can define a vector associated to this edge p as y p = e p + e q − e r . Fix an edge j ∈ J. For any endpoint v of j, there is a collection of edges of T that start at v and lie in the counterclockwise direction from j. Consider a path j ′ that goes diagonally across j, intersecting each of these edges transversally and terminating on the boundary. An example is illustrated below.
Given such a path j ′ , let E j be the set of all edges in T that j ′ crosses. Then we can form the sum where i 0 and i 1 are the edges on which j ′ terminates and we have written x i = s ε is e s . One can check that this expression p j equals 2e j . Now let c be a curve connecting marked points. It follows from the results of [19] that the g-vector g c is an alternating sum of standard basis vectors corresponding to a path in T . (A slightly technical point is that we work with extended g-vectors whereas [19] works with ordinary g-vectors. To apply the results of [19], one should replace the surface Σ by a larger surface Σ ′ with twice as many marked points by gluing a triangle to each boundary segment of Σ.) In fact, the entire sum appearing in the statement of the lemma can be written as an alternating sum s = 2N l=1 (−1) l e j l of standard basis vectors associated to the edges j 1 , . . . , j 2N of a closed path in T . We assume that these edges are ordered consecutively. To each edge j of this path, we associate the arc j ′ described above. We have and all of the y-terms cancel on the right hand side. Thus this expression is linear combination of the x k . By construction, these x k are associated to the points of intersection between edges of T and a certain closed path on Σ. Each edge intersects this path in an even number of points, so the vector 2s is in fact a linear combination of the x k with even coefficients. Dividing by 2 yields the desired result.
Theorem 5.6. Let T be an ideal triangulation of Σ, and let X j = X j;T be defined as above. Then for any l ∈ A Σ (Z t ), the element I q A (l) is a Laurent polynomial in the X j with coefficients in Z ≥0 [q, q −1 ].
Proof. By applying the relations from Definition 4.5, we can write Then Corollary 3.14 implies Each F i in this last line denotes a polynomial in the expressions M T ( j ε kj e j ) with coefficients in Z ≥0 [ω 4 , ω −4 ]. The g i are integral vectors. We have It follows that we can rearrange the factors in the last expression for I q A (l) to get where Q is a polynomial in the expressions M T ( j ε kj e j ) with coefficients in the semiring Z ≥0 [ω 4 , ω −4 ]. By Lemma 6.2 in [22], we know that Λ T l (e i , e j ) = Λ T (g i , g j ), and so The vector i w i g i is a sum of vectors of the type appearing in the statement of Lemma 5.5, so this lemma implies that the second factor is a monomial in the X j with coefficient in . This completes the proof.
By the properties established in Propositions 5.2, and 5.3, we can regard the Laurent polynomial of Theorem 5.6 as an element of the algebra X q Σ . Thus we have constructed a canonical map I q A : A Σ (Z t ) → X q Σ as desired.

Properties
Fix an ideal triangulation T of Σ, and let X j be the elements of F defined above. We will now prove several properties of the map I q A conjectured in [7,9]. Theorem 5.7. The map I q A : A Σ (Z t ) → X q Σ satisfies the following properties: 1. Each I q A (l) is a Laurent polynomial in the variables X j with coefficients in Z ≥0 [q, q −1 ]. 2. The expression I q A (l) agrees with the Laurent polynomial I A (l) when q = 1. 3. Let * be the canonical involutive antiautomorphism of X q that fixes each X i and sends q to q −1 . Then * I q A (l) = I q A (l). 4. The highest term of I q A (l) is where X a 1 1 . . . X an n is the highest term of the classical expression I A (l).

For any
where c q (l, l ′ ; l ′′ ) ∈ Z[q, q −1 ] and only finitely many terms are nonzero.
Proof. 1. This was proved in Theorem 5.6. 2. This follows immediately from the definition of I A given in [8].
3. If K is any framed link in Σ, let K † be the framed link with the same underlying multicurve and the order of each crossing reversed. By Proposition 3.11 of [18] the map sending [K] to [K † ] and ω to ω † := ω −1 extends to an involutive antiautomorphism of the skein algebra Sk ω (Σ). It extends further to an antiautomorphism of the fraction field F by the rule (xy −1 ) † = (y † ) −1 x † . This operation is compatible with * in the sense that It is easy to check that † preserves M T l (w) = ω i<j Λ T l (e i ,e j ) M T l (e 1 ) w 1 . . . M T l (e n ) wm . It follows that I q A (l) is * -invariant. 4. By part 1, we can write as c = s c s q s . By setting q = 1, we see that s c s = 1. It follows that we must have c s = 1 for some s, and all other terms must vanish. Thus c = q s , and the leading term of I q A (l) has the form q s X a 1 1 . . . X an n for some integer s. By part 3, we know that the expression I q A (l), and hence its leading term, is * -invariant. This means q −s X an n . . . X a 1 1 = q s X a 1 1 . . . X an n .
so * -invariance of the leading term is equivalent to Equating coefficients, we see that s = − i<j ε ij a i a j . Thus we see that the highest term equals q − i<j ε ij a i a j X a 1 1 . . . X an n . 5. Let l, l ′ ∈ A Σ (Z t ). Then there exist ideal triangulations T l and T l ′ of Σ and integral vectors w and w ′ such that I q A (l) = M T l (w) and I q A (l ′ ) = M T l ′ (w ′ ). For any integral vector v = (v 1 , . . . , v m ), we can consider the vector v + whose ith component equals v i if v i ≥ 0 and zero otherwise. We can likewise consider the vector v − whose ith component equals v i if v i ≤ 0 and zero otherwise. Then there exists an integer N such that By applying the skein relations, we can write the product [T where the K i are distinct simple multicurves on Σ and d ω i ∈ Z[ω, ω −1 ] are nonzero. Therefore where T i is an ideal triangulation of Σ such that each each curve of K i coincides with an edge of T i . Here we have written v i for the unique integral vector such that in this last expression can be written as c ω (l, l ′ ; l i )I q A (l i ) for some l i ∈ A Σ (Z t ) and some c ω (l, l ′ ; l i ) ∈ Z[ω, ω −1 ]. Hence The left hand side of this last equation is a Laurent polynomial with coefficients in Z[q, q −1 ]. Let us write [I q A (l i )] H for the highest term of I q A (l i ). We can impose a lexicographic total ordering ≥ on the set of all commutative Laurent monomials in X 1 , . . . , X n so that [I 1 A (l i )] H is indeed the highest term of I 1 A (l i ) with respect to this total ordering. These highest terms are distinct, so we may assume Consider the expression c ω (l, l ′ ; l 1 )[I q A (l 1 )] H . It cannot cancel with any other term in the sum, so we must have c ω (l, l ′ ; l 1 ) ∈ Z[q, q −1 ]. It follows that the sum is a Laurent polynomial with coefficients in Z[q, q −1 ]. Arguing as before, we see that c ω (l, l ′ ; l 2 ) ∈ Z[q, q −1 ]. Continuing in this way, we see that all c ω (l, l ′ ; l i ) lie in Z[q, q −1 ]. This completes the proof.
In [7,9], Fock and Goncharov conjectured in addition that the Laurent polynomials c q (l, l ′ , l ′′ ) have positive coefficients. This property should be closely related to Conjecture 4.20 of [21]. However, it does not obviously follow from the skein relations as these may involve negative coefficients.
6 Duality map for the quantum symplectic double 6

.1 Realization of the symplectic double
We have associated a quantum cluster algebra A to the disk Σ. One can likewise associate a quantum cluster algebra A • to the disk Σ • obtained from Σ by reversing its orientation. If T is any ideal triangulation of Σ, then there is a corresponding triangulation T • of Σ • . We will write Λ T • and M T • , respectively, for the compatibility matrix and toric frame corresponding to the triangulation T • . We will write e i for the standard basis vector in Z m associated to the edge i of T or the corresponding edge of T • . Note that we have for all i and j. Let F be the ambient skew-field of the quantum cluster algebra A, and let F • be the skew-field of the quantum cluster algebra A • . Each of these skew-fields is a two-sided module over the ring Z[ω, ω −1 ], and we will consider the following elements of the tensor product F ⊗ Z[ω,ω −1 ] F • . Definition 6.1. Let T be an ideal triangulation of Σ. For any i ∈ I and any j ∈ J, we define elements B i = B i;T and X j = X j;T of F ⊗ Z[ω,ω −1 ] F • by the formulas In addition, we will use the notation q = ω 4 .
Let us denote by G the subalgebra of F ⊗ Z[ω,ω −1 ] F • consisting of Laurent polynomials in the variables B i for i ∈ I whose coefficients are rational expressions in the X j with coefficients in Z[ω, ω −1 ]. It is easy to check that the B i for i ∈ I − J are central elements of this algebra, and in what follows it will be important to consider the quotient F D = G/I where I is the two-sided ideal of G generated by B i − 1 for i ∈ I − J.
The following result relates the elements X j and B j to the generators appearing in the definition of the quantum symplectic double.
Proposition 6.2. The elements B j and X j (j ∈ J) satisfy the following commutation relations: Proof. The proof of the first relation is identical to the proof of Proposition 5.2. To prove the second relation, observe that By the compatibility condition, we have In the following result, T ′ denotes the triangulation obtained from T by a flip of the edge k. We use the notation B ± k defined in Section 2.3.
Proof. By Proposition 3.10, we have where we have written Factoring, we obtain A straightforward calculation using the compatibility condition shows α − β = −4. Substituting this into the last expression, we see that On the other hand, we have By the properties of toric frames, this equals for certain exponents γ and δ. Factoring, we obtain A straightforward calculation shows that δ = β and γ − δ = 4. Substituting these into the last expression, we see that Finally, by the definition of B ′ k , we have This completes the proof. By Proposition 5.3, the transformation of the X j under a flip of the triangulation is given by the same rule derived in Appendix A.

Construction of the map
We are now ready to define the map I q D . To do this, let l be a point of D Σ (Z t ), represented by a collection of curves on Σ and Σ • . Write C for the collection of curves on Σ and C • for the collection of curves on Σ • . There is an ideal triangulation T C of Σ such that each curve in C coincides with an edge of T C , and there is an ideal triangulation T C • of Σ • such that each curve in C • coincides with an edge of T C • . Fix an ideal triangulation T of Σ. Then each c ∈ C determines an integral g-vector g c = g T c,T C . The triangulation T determines a corresponding ideal triangulation of Σ • , and so we can likewise associate to each c • ∈ C • an integral vector is independent of the triangulation T .
Proof. Let T and T ′ be two different triangulations. Let g T c,T C and g T c • ,T C • be the g-vectors associated to the arcs c ∈ C and c • ∈ C • , respectively, defined using the triangulation T . Similarly, let g T ′ c,T C and g T ′ c • ,T C • be the vectors defined using the triangulation T ′ . Number the edges of T so that each edge is identified with some number 1, . . . , m. Using the recurrence relations discussed in Section 3 of [22], we can write . . , e m ) for linear polynomials P T c,T C and P T c • ,T C • , and we also have i,T is the g-vector associated to the ith edge of T and the triangulation T ′ . There exist coefficients c p,q ∈ Z such that It follows from Lemma 6.2 in [22] that c p,q Λ T (e p , e q ) = Λ T P T c,T C (e 1 , . . . , e m ), P T c • ,T C • (e 1 , . . . , e m ) = Λ T (g T c,T C , g T c • ,T C • ).
Let us write g T C = c∈C g T c,T C and g T as desired.
We now come to the main definition of the present paper.
Definition 6.5. We will write I q D (l) for the element of F ⊗ Z[ω,ω −1 ] F • given by Here we are regarding C and C • as simple multicurves on Σ and Σ • , respectively, and we are writing [C] and [C • ] for the corresponding classes in the skein algebra.
Our goal is to show that the above definition provides a map I q be integral vectors where w i is the weight of the curve corresponding to the edge i of T C and w • i is the weight of the curve corresponding to the edge i of T C • .
Theorem 6.6. Let T be an ideal triangulation of Σ, and let B i , X j for i ∈ I and j ∈ J be defined as above. Then for any l ∈ D Σ (Z t ), the element I q D (l) is a Laurent polynomial in the B i whose coefficients are rational expressions in the X j with coefficients in Z ≥0 [q, q −1 ].
Proof. By applying the relations from Definition 4.5, we can write Then Corollary 3.14 implies Each F i in the last line denotes a polynomial in the expressions M T ( j ε kj e j ) with coefficients in Z ≥0 [ω 4 , ω −4 ], and each F • i denotes a polynomial in the expressions M T • ( j ε kj e j ) with coefficients in Z ≥0 [ω 4 , ω −4 ]. The g i and g • i are integral vectors. We have Similarly, we have It follows that we can rearrange the factors in the last expression for I q D (l) to get where P is a rational function in the expressions M T ( i ε kj e j ) with coefficients in Z ≥0 [ω 4 , ω −4 ] and Q is a polynomial in the expressions M T • ( i ε kj e j ) with coefficients in Z ≥0 [ω 4 , ω −4 ]. We claim that the factor P ⊗ Q is a Laurent polynomial in the B j whose coefficients are rational expressions in the X j with coefficients in Z ≥0 [q, q −1 ]. Indeed, P ⊗ 1 is a rational function in the X j , while 1 ⊗ Q is a polynomial in the expressions Hence the product has the desired form. By Lemma 6.2 in [22], we have Λ T C (e i , e j ) = Λ T (g i , g j ), and so we can write We have for some integral exponents g i , and so It follows from Lemma 5.5 that the factor M T (−g C + g C • ) ⊗ 1 is a monomial in the X j with coefficients in Z ≥0 [ω 4 , ω −4 ]. This completes the proof.
Thus we see that I q D (l) is an element of the algebra G introduced following Definition 6.1. By the properties established in Propositions 6.2, 6.3, and 5.3, we can regard its image in the quotient F D as an element of the algebra D q Σ . Thus we have constructed a canonical map I q D : D Σ (Z t ) → D q Σ as desired. We should emphasize here that a function of the form I q D (l) for q = 1 need not be regular on all of D Σ . Indeed, after choosing an ideal triangulation T of Σ, we can define l to consist of a single internal edge j of T on Σ, together with the image of this edge on Σ • . In this case, we have I 1 (l) = B j , and we have seen in Section 2.4 that the expression µ * k (B k ) need not be a Laurent polynomial.

Properties
We will now examine the properties of our construction. To formulate our results precisely, we first note that there is a natural inclusion ϕ : A Σ (Z t ) ֒→ D Σ (Z t ).
Definition 6.7. Let l be a point of A Σ (Z t ) represented by a collection of curves on Σ. Draw those curves having positive weight on the disk Σ • . The point l determines a collection of curves of Σ having negative weight. Take absolute values to get a collection of positive weights for these curves on Σ. These data determine the point ϕ(l) ∈ D Σ (Z t ).
The diagrams drawn in Section 4.3 show an example of a point l ∈ A Σ (Z t ) and the corresponding point ϕ(l) ∈ D Σ (Z t ). We also have a natural map π q : X q Σ → D q Σ .
Definition 6.8. The map π q is an algebra homomorphism defined on generators by π q (X i ) = X i B i . Theorem 6.9. The map I q D : D Σ (Z t ) → D q Σ satisfies the following properties: 1. Each I q D (l) is a rational function in the variables B i and X i with coefficients in Z ≥0 [q, q −1 ].
2. The expression I q D (l) agrees with the rational function I D (l) when q = 1.

The following diagram commutes:
Lemma A.1. Let ϕ(x) be any formal power series in x. Then ϕ(X k )B i = B i ϕ(q 2δ ik X k ), ϕ( X k )B i = B i ϕ(q 2δ ik X k ), and ϕ(X k )X i = X i ϕ(q 2ε ki X k ).
Proof. Write ϕ(x) = a 0 + a 1 x + a 2 x 2 + . . . . Then the relation X k X i = q 2ε ki X i X k implies ϕ(X k )X i = a 0 X i + a 1 X k X i + a 2 X 2 k X i + . . . = X i a 0 + X i a 1 q 2ε ki X k + X i a 2 q 4ε ki X 2 k + . . . = X i a 0 + a 1 (q 2ε ki X k ) + a 2 (q 2ε ki X k ) 2 + . . . = X i ϕ(q 2ε ki X k ).
This proves the third relation. The first two relations are proved similarly. For these one uses the facts X k B i = q 2δ ik B i X k and X k B i = q 2δ ik B i X k .
Proposition A.2. The map µ ♯ k is given on generators by the formulas Proof. By Lemma A.1, we have If i = k, then this equals B i as desired. Suppose on the other hand that i = k. Using the identity Ψ q (q 2 x) = (1 + qx)Ψ q (x) and commutativity of X i and X k , we can rewrite this last expression as This completes the proof of the first formula.
Lemma A.3. Let (L, {e i } i∈I , {e j } j∈J , (·, ·)) be a seed. If we mutate this seed in the direction of a basis vector e k , then the basis {f i } for L ∨ transforms to a new basis {f ′ i } given by Proof. The transformation e i → e ′ i can be represented by an explicit matrix by Definition 2.2, and the transformation rule appearing in the lemma is represented by the transpose of this matrix.
Proposition A.4. The map µ ′ k is given on generators by the formulas Proof. Let Y v be the generator of D i associated to v ∈ L D as in Definition 2.5. By Lemma A.3 and the fact that (f i , f j ) D = 0 for all i, j, we have Similarly we have for i = k and µ ′ k (X ′ i ) = Y −e k = X −1 k for i = k.
Theorem A.5. The map µ q k is given on generators by the formulas Proof. By our formulas for µ ′ k and µ ♯ k , we have By the definitions of B − k and X k , this equals From this calculation, we easily obtain the formula describing the action of the map µ q k on the generators B ′ i . On the other hand, if ε ik ≤ 0 and i = k, then (1 + q 2p+1 X k ).