--- abstract: 'We define new coordinates for Fock-Goncharov's higher Teichmüller spaces for a surface with holes, which are the moduli spaces of representations of the fundamental group into a reductive Lie group $G$. Some additional data on the boundary leads to two closely related moduli spaces, the $\mathscr{X}$-space and the $\mathscr{A}$-space, forming a cluster ensemble. Fock and Goncharov gave nice descriptions of the coordinates of these spaces in the cases of $G = {\rm PGL}_m$ and $G={\rm SL}_m$, together with Poisson structures. We consider new coordinates for higher Teichmüller spaces given as ratios of the coordinates of the $\mathscr{A}$-space for $G={\rm SL}_m$, which are generalizations of Kashaev's ratio coordinates in the case $m=2$. Using Kashaev's quantization for $m=2$, we suggest a quantization of the system of these new ratio coordinates, which may lead to a new family of projective representations of mapping class groups. These ratio coordinates depend on the choice of an ideal triangulation decorated with a distinguished corner at each triangle, and the key point of the quantization is to guarantee certain consistency under a change of such choices. We prove this consistency for $m=3$, and for completeness we also give a full proof of the presentation of Kashaev's groupoid of decorated ideal triangulations.' address: 'School of Mathematics, Korea Institute for Advanced Study (KIAS), 85 Hoegiro Dongdaemun-gu, Seoul 130-722, Republic of Korea' author: - Hyun Kyu Kim title: Ratio coordinates for higher Teichmüller spaces --- \[section\] \[theorem\]<span>Lemma</span> \[theorem\]<span>Proposition</span> \[theorem\]<span>Corollary</span> \[theorem\]<span>Definition</span> \[theorem\]<span>Remark</span> \[theorem\]<span>Notation</span> Introduction, background, overview, and motivation {#sec:introduction} ================================================== Summary ------- Fock and Goncharov @FG03 defined the notion of a <span>*cluster ensemble*</span> as a pair of 'positive spaces' $(\mathscr{X}, \mathscr{A})$, which is a generalization of cluster algebras of Fomin and Zelevinsky @FZ. Here, <span>*positive spaces*</span> mean varieties equipped with an atlas whose transition maps are <span>*positive*</span> rational maps, that is, maps in the form $f_1/f_2$ where $f_1,f_2$ are $\mathbb{Z}_{>0}$-linear combinations of monomials in the corresponding coordinates. A cluster ensemble relies on a similar combinatorial data as a cluster algebra does, and the positive transition maps should be given by certain formulas, depending on this combinatorial data. Main examples of cluster ensembles come from what are called the <span>*higher Teichmüller spaces*</span>, the basic case being the usual Teichmüller spaces of Riemann surfaces with boundaries and/or punctures. The higher Teichmüller spaces for compact Riemann surfaces are first discovered by N. J. Hitchin @H92 (as pointed out to the author by a referee), and their cluster structures in the cases of bordered Riemann surfaces are extensively studied by Fock and Goncharov @FG06. Let $S$ be a Riemann surface. Roughly speaking, the Teichmüller space of $S$ is a certain component of the representation variety ${\rm Hom}(\pi_1(S), {\rm PSL}_2(\mathbb{R})) / {\rm PSL}_2(\mathbb{R})$, while the higher Teichmüller space is defined similarly where ${\rm PSL}_2(\mathbb{R})$ is replaced by ${\rm PSL}_m(\mathbb{R})$, or more generally by any reductive real Lie group @FG06. The Teichmüller space, or more precisely, a certain fiber bundle over it, can be parametrized by Penner's lambda length coordinates @Penner, which depend on the choice of an ideal triangulation of $S$. From lambda length coordinates one obtains two other types of coordinate systems, namely Thurston's shear coordinates and Kashaev's ratio coordinates. Using the former, Chekhov-Fock @Fo @FC constructed a quantization of the Teichmüller space, while Kashaev @Kash98 came up with another quantization using the latter. Then Fock-Goncharov @FG09 established a more general construction, in particular giving a quantization of the higher Teichmüller spaces for all $m\ge 2$, with respect to a higher generalized version of shear coordinates. In the present paper, we constuct an analog of Kashaev's ratio coordinates for the higher Teichmüller spaces, and suggest a corresponding quantization. On one hand, this quantization is most likely not 'equivalent' to the one of Fock-Goncharov, in view of @Ki12. On the other hand, there is a chance that this construction is realized in a certain tensor category of representations of a Hopf algebra, as an analog of the work of Frenkel-Kim @FrKi, where quantum Teichmüller theory is recovered by the representation theory of the 'modular double of the Borel subalgebra of the quantum group ${\mathcal{U}}_q(\frak{sl}(2,\mathbb{R}))$'. We expect that if we replace ${\mathcal{U}}_q(\frak{sl}(2,\mathbb{R}))$ by ${\mathcal{U}}_q(\frak{sl}(m,\mathbb{R}))$, we might recover the quantum higher Teichmüller theory constructed in the present paper by the representation theory of this Hopf algebra @Ip14. Quantization of Teichmüller spaces {#subsec:quantization_of_Teichmuller_spaces} ---------------------------------- Let $S$ be a compact oriented real $2$-dimensional topological surface of genus $g$ with $n\ge 0$ holes; one can think of $S$ as being obtained from a closed surface by removing $n$ non-intersecting open discs. The <span>*classical Teichmüller space $\mathscr{T}_S$*</span> of $S$ is defined as the space of all complex structures on $S$ modulo diffeomorphisms $S\to S$ isotopic (rel. boundary) to identity. It is equipped with the canonical <span>*Weil-Petersson Poisson structure*</span>, which is preserved under the action on $\mathscr{T}_S$ of the <span>*mapping class group*</span> $\Gamma_S$ of $S$, defined as the group of all orientation-preserving diffeomorphisms $S \to S$ modulo isotopy (rel. boundary). Therefore one can consider 'quantizing' the Poisson manifold $\mathscr{T}_S$, as well as quantizing the $\Gamma_S$-action on it. This roughly means that we deform the commutative algebra of smooth functions on $\mathscr{T}_S$ 'in the direction of the Poisson structure', by a one-parameter family of non-commutative algebras $\mathscr{T}^h_S$ with real parameter $h$, while to each element of $\Gamma_S$ we assign an algebra automorphism of $\mathscr{T}_S^h$ that recovers the classical $\Gamma_S$-action as $h \to 0$ and such that this assignment $\Gamma_S \to {\rm Aut}(\mathscr{T}_S^h)$ is a group homomorphism. Quantization of some different versions of the Teichmüller space was acquired by Kashaev @Kash98 and by Chekhov-Fock @Fo @FC independently, with the help of a special function named <span>*quantum dilogarithm*</span> @FK @F. As usual in the quantum theories, the algebra $\mathscr{T}_S^h$ is realized as $*$-algebra of operators on a Hilbert space $\mathscr{H}$, and the automorphism of $\mathscr{T}_S^h$ associated to $g\in \Gamma_S$ as conjugation by some unitary operator $\rho_h(g)$ on $\mathscr{H}$. So one gets an assignment $g\mapsto \rho_h(g)$, which is a projective representation of $\Gamma_S$ on $\mathscr{H}$, meaning that for each $g_1,g_2\in \Gamma_S$ one has $\rho_h(g_1 g_2) = c_{g_1,g_2} \rho_h(g_1) \rho_h(g_2)$ for some constant $c_{g_1,g_2} \in {\rm U}(1)$. This family of projective representations of $\Gamma_S$ on $\mathscr{H}$ is often considered as one of the main results of <span>*quantum Teichmüller theory*</span>. Kashaev and Chekhov-Fock used slightly different coordinate systems of the Teichmüller space, both based on Penner's lambda length coordinates @Penner. In fact, these coordinate systems parametrize different spaces, which we shall shortly see. First, by the Uniformization Theorem, one can identify $\mathscr{T}_S$ with the space of all faithful representations $\rho : \pi_1(S) \to {\rm PSL}_2(\mathbb{R})$ with discrete image, modulo conjugation by ${\rm PSL}_2(\mathbb{R})$. Each point $\rho$ of $\mathscr{T}_S$ equips $S$ with a hyperbolic metric, by realizing $S$ as the quotient of the upper half-plane by the action of the discrete group $\rho(\pi_1(S))$. For any chosen $\rho$, a boundary component $C$ of $S$ is called <span>*cuspidal*</span>, if a loop in $S$ freely homotopic to $C$ is sent via $\rho$ to a parabolic element of ${\rm PSL}_2(\mathbb{R})$. The <span>*holed Teichmüller space $\mathscr{T}_S^+$*</span> is defined as the branched covering of $\mathscr{T}_S$, whose fiber at a point of $\mathscr{T}_S$ consists of all possible choices of orientations on the non-cuspidal boundary components of $S$. The subspace $\mathscr{T}_S^u$ of $\mathscr{T}_S$ consisting of points such that all $n$ holes are cuspidal can be viewed as the <span>*Teichmüller space of a surface $S$ with $n$ punctures*</span>, where punctures are thought to be at geodesic infinity. The total space of the fiber bundle $\mathscr{T}_S^d \to \mathscr{T}_S^u$, whose fiber at each point is the space of all possible choices of horocycles at the $n$ punctures and therefore isomorphic to $\mathbb{R}_{>0}^n$, is called the <span>*decorated Teichmüller space*</span>. From now on, we assume $n\ge 1$. For the lambda length coordinate system which parametrizes $\mathscr{T}_S^d$, we may assume that all $n$ holes are punctures, and choose an <span>*ideal triangulation $\tau$ of $S$*</span>, that is, a collection of mutually non-intersecting unoriented paths between punctures up to homotopy (rel. punctures), such that the complementary region in $S$ is a disjoint union of triangles. Per each point of $\mathscr{T}_S^d$, stretch the edges of $\tau$ to geodesics with respect to the relevant hyperbolic metric on $S$. Then we are given a choice of a horocycle at each puncture; in the universal cover $\mathbb{H}$, the upper half-plane, a horocycle based at a point on $\mathbb{R}$ can be thought of as an Euclidean circle in $\mathbb{H}$ tangent to $\mathbb{R}$ at the relevant point, and a horocycle based at the point $\infty$ can be thought of as a Euclidean straight line in $\mathbb{H}$ parallel to $\mathbb{R}$. To each edge $e$ of $\tau$ we assign the <span>*lambda length*</span> $\lambda_e = \exp(\delta_e/2)$, where $\delta_e$ is the hyperbolic length of the edge truncated at both ends by the horocycles (so $\delta_e$ could be negative too). Then there is no restriction on or algebraic relations among the $6g-6+3n$ lambda length coordinate functions, and thus we identify $\mathscr{T}_S^d$ with $\mathbb{R}_{>0}^{6g-6+3n}$ real analytically (@Penner): $$\begin{aligned} {\renewcommand{\arraystretch}{1.2} \begin{array}{rcl} \mathscr{T}_S^d & \stackrel{\sim}{\longrightarrow} & \mathbb{R}_{>0}^{6g-6+3n} \\ {\rm point} & \longmapsto & \left\{ \lambda_e \right\}_{e \, : \, {\rm edges~of~}\tau}. \end{array}}\end{aligned}$$ The pullback of the Weil-Petersson $2$-form on $\mathscr{T}_S^u$ to $\mathscr{T}_S^d$ can be written in terms of lambda lengths as $$\begin{aligned} \label{eq:2-form} \omega = - 2 \sum_t \left( d\log \lambda_{e_{t,1}} \wedge d\log \lambda_{e_{t,2}} + d\log \lambda_{e_{t,2}} \wedge d\log \lambda_{e_{t,3}} + d\log \lambda_{e_{t,3}} \wedge d\log \lambda_{e_{t,1}} \right),\end{aligned}$$ where $t$ runs through all ideal triangles of the chosen ideal triangulation $\tau$, where $e_{t,1}, e_{t,2}, e_{t,3}$ are the edges of the triangle $t$ labeled in a counter-clockwise manner. Meanwhile, to construct a quantization which does not depend on the choice of $\tau$, we investigate what happens if we choose another ideal triangulation. There are simple ways of changing an ideal triangulation to another, called <span>*flips*</span>, described as follows. For an edge $e$ of an ideal triangulation $\tau$, consider the ideal quadrilateral formed by the two ideal triangles having $e$ as one of their sides. Now replace $e$ by the other diagonal $e'$ of this ideal quadrilateral; the edges of $\tau$ other than $e$, together with $e'$, form a new ideal triangulation $\tau'$ of $S$, and we say that $\tau'$ is obtained from $\tau$ by applying a flip along $e$. Then, only one lambda length changes, namely $\lambda_e \leadsto \lambda_{e'}$, and there is a formula relating the new lambda length $\lambda_{e'}$ to the old lambda lengths; if $a,b,c,d$ are the edges of the above mentioned ideal quadrilateral, labeled cyclically in a counter-clockwise way, then the <span>*Ptolemy relation*</span> holds: $$\begin{aligned} \label{eq:Ptolemy_relation} \lambda_e \lambda_{e'} = \lambda_a \lambda_c + \lambda_b \lambda_d.\end{aligned}$$ Therefore the new coordinate $\lambda_{e'}$ can be written as a rational function in the old coordinates, and one can prove that the $2$-form is invariant under this change-of-coordinate transformation; namely, after a flip, the pullback of the $2$-form $\omega$ for $\tau$ is coincides with the expression like in RHS of for the new triangulation $\tau'$. Meanwhile, for an edge $e$ of an ideal triangulation $\tau$, consider the unique ideal quadrilateral of $\tau$ having $e$ as a diagonal, and label the four sides of it by $a,b,c,d$ counter-clockwise, so that $a,b,e$ form an ideal triangle of $\tau$ and $c,d,e$ another. Define <span>*Thurston's shear coordinate $Z_e$*</span> by $\log \frac{\lambda_b \lambda_d}{\lambda_a \lambda_c}$, that is, as the logarithm of a cross-ratio of four lambda lengths. Then $Z_e$ measures the signed hyperbolic distance of the two points on $e$ which are the feet of the perpendiculars dropped from the two vertices of the ideal quadrilateral that are not the endpoints of $e$. This time, $Z_e$'s do <span>*not*</span> depend on the choice of horocycles, and satisfy a certain linear equation per each puncture: the sum of shears along the edges traverse to a loop in $S$ freely homotopic to a puncture is zero. Modulo these equations, the shear coordinates parametrize the genuine Teichmüller space $\mathscr{T}_S^u$ of the $n$-punctured surface $S$. In fact, if we forget these $n$ equations, then the shear coordinates parametrize $\mathscr{T}_S^+$, where the absolute value of the sum of shears around a hole gives a geodesic length of the hole, while its sign gives the orientation of the hole; thus we identify $\mathscr{T}_S^+$ with $\mathbb{R}^{6g-6+3n}$: $$\begin{aligned} {\renewcommand{\arraystretch}{1.2} \begin{array}{rcl} \mathscr{T}_S^+ & \stackrel{\sim}{\longrightarrow} & \mathbb{R}^{6g-6+3n} \\ {\rm point} & \longmapsto & \left\{ Z_e \right\}_{e \, : \, {\rm edges~of~}\tau}, \end{array}}\end{aligned}$$ credited as Thurson-Fock's Theorem in @PennerBook. The Poisson structure can be written in terms of the Poisson brackets $\{ Z_{e_1}, Z_{e_2} \} = \varepsilon_{e_1,e_2} = a_{e_1,e_2} - a_{e_2,e_1} \in \{-2,-1,0,1,2\}$, where $a_{e,f}$ is the number of ideal triangles in $\tau$ having $e,f$ as its sides in which $f$ is the clockwise immediate next side to $e$. In terms of the exponential coordinate $X_e = \exp(Z_e)$, it can be written as $$\begin{aligned} \label{eq:Poisson_bracket2} \{ X_{e_1}, X_{e_2} \} = \varepsilon_{e_1,e_2} X_{e_1} X_{e_2}.\end{aligned}$$ If we flip $\tau$ along an edge $k$ to get $\tau'$, then the new coordinates are given by the rational transformations of the original: $$\begin{aligned} \label{eq:X_mutation} X'_{e'} = \left\{ \begin{array}{ll} X_e ( 1 + X_k^{-1})^{-\varepsilon_{e,k}} & \mbox{if $\varepsilon_{e,k}>0$,} \\ X_e (1+X_k)^{-\varepsilon_{e,k}} & \mbox{if $\varepsilon_{e,k}<0$}, \\ X_e & \mbox{otherwise,} \\ \end{array} \right.\end{aligned}$$ where $X'_{e'}$ is the new coodinate for the edge $e'$ of $\tau'$ corresponding to an edge $e$ of $\tau$. This Poisson structure is compatible with the $2$-form $\omega$ for the lambda lengths, and is invariant under the transformation in the sense that $\{ X'_{e_1'}, X'_{e_2'} \} = \varepsilon_{e_1',e_2'}' X'_{e_1'} X'_{e_2'}$, where $\varepsilon'$ is defined for $\tau'$ analogously to $\varepsilon$. Chekhov and Fock @FC constructed a non-commutative algebra topologically generated by ${\widehat{Z}}_e$ with relations $[{\widehat{Z}}_{e_1}, {\widehat{Z}}_{e_2}] = i h \{Z_{e_1}, Z_{e_2}\}$, together with an expression $\rho_h(\mu_k)$ in terms of ${\widehat{Z}}_e$'s such that the algebra isomorphism given as conjugation by $\rho_h(\mu_k)$ is the deformation of the mutation formula in an appropriate sense, such that $\rho_h$ sends composition of mutations to composition of isomorphisms. This result can be written in terms of the algebra generated by the exponentials ${\widehat{X}}_e^{\pm 1} = e^{\pm {\widehat{Z}}_e}$ with relations ${\widehat{X}}_{e_1} {\widehat{X}}_{e_2} = q^{2 \varepsilon_{e_1,e_2}} {\widehat{X}}_{e_2} {\widehat{X}}_{e_1}$, where $q = e^{i h/2}$. The elements ${\widehat{Z}}_e$ and ${\widehat{X}}_e$ are realized as self-adjoint operators on a Hilbert space, and $\rho_h(\mu_k)$ as a unitary operator involving the quantum dilogarithm function. This $\rho_h$ induces a family projective representations of the mapping class group $\Gamma_S$ on the Hilbert space, since elements of $\Gamma_S$ are realized as compositions of flips, hence as compositions of mutations. Meanwhile, Kashaev @Kash98 introduced a different coordinate system of (decorated) Teichmüller spaces using lambda lengths, so that the $2$-form $\omega$ becomes 'diagonal'. For this coordinate, one needs to consider a decoration on a triangulation of $S$, namely the choice of a distinguished corner for each ideal triangle. We indicate this by a dot $\bullet$ in pictures, and call such a data a <span>*dotted triangulation*</span> of $S$. For each ideal triangle $t$, label the sides of it by $e_{t,1}$, $e_{t,2}$, $e_{t,3}$ counterclockwise, such that $e_{t,2}$ is the side opposite to the dotted corner of $t$. Define coordinates $q_t$ and $p_t$ as $$\begin{aligned} \label{eq:log_Kashaev_coordinates} q_t = \log \lambda_{e_{t,1}} - \log \lambda_{e_{t,2}} \quad\mbox{and}\quad p_t = \log \lambda_{e_{t,3}} - \log \lambda_{e_{t,2}}.\end{aligned}$$ Sometimes we use their exponentials $$Y_t = e^{q_t} = \lambda_{e_{t,1}}/\lambda_{e_{t,2}}\quad\mbox{and}\quad Z_t = e^{p_t} = \lambda_{e_{t,3}}/\lambda_{e_{t,2}},$$ which Kashaev calls the <span>*ratio coordinates*</span> for an apparent reason. The good thing about this coordinate system $$\begin{aligned} {\renewcommand{\arraystretch}{1.2} \begin{array}{rcl} \mathscr{T}_S^d & \longrightarrow & \mathbb{R}^{8g-8+4n} \\ {\rm point} & \longmapsto & \left\{ (q_t,p_t) \right\}_{t \, : \, {\rm triangles~of~}\tau}, \end{array}}\end{aligned}$$ is that it behaves like a Darboux basis, that is, the $2$-form becomes $$\begin{aligned} \nonumber \omega = - 2 \sum_t dp_t \wedge dq_t,\end{aligned}$$ and therefore admits a 'canonical' quantization; the coordinate functions $q_t,p_t$ are replaced by the operators $$\begin{aligned} \label{eq:canonical_quantization} {\widehat{q}}_t = x_t, \quad {\widehat{p}}_t = - i h \, \frac{\partial}{\partial x_t} \quad\mbox{on}\quad L^2(\mathbb{R}^{4g-4+2n}, \, \bigwedge_t dx_t),\end{aligned}$$ so that $$\begin{aligned} \label{eq:canonical_commutation_relations} [{\widehat{q}}_t, {\widehat{p}}_s] = i h \, \delta_{t,s}, \qquad [{\widehat{q}}_t, {\widehat{q}}_s] = [{\widehat{p}}_t, {\widehat{p}}_s] =0,\end{aligned}$$ where $\delta_{t,s}$ is the Kronecker delta. More important is the rational transformation of $\{ (Y_t,Z_t) \}_t$ under a change of dotted triangulation, and its quantization. In Kashaev's quantization, each change of dotted triangulation is represented as the conjugation by a unitary operator, whose expression involves the quantum dilogarithm function again. As a result, one obtains another family of projective representations of $\Gamma_S$ on some Hilbert space, since elements of $\Gamma_S$ are realized as transformations of dotted triangulations. The author showed in @Ki12 that the resulting projective representation is not equivalent to the one from Chekhov-Fock quantization, in the 'universal' case. One thing to ponder is what the space parametrized by Kashaev's coordinates is exactly. First, since Kashaev's coordinates are only ratios of lambda lengths, they may not parametrize the full decorated Teichmüller space. More serious problem is that as the Kashaev coordinates are defined as difference or ratios, in many cases they are not independent of each other, and satisfy some linear or algebraic equations. In the above mentioned Kashaev quantization these equations are forgotten, which means that what is quantized is the total space of a certain fiber bundle over the space parametrized by the Kashaev coordinates; more precisely, as pointed out to the author by a referee, it is non-canonically identified with the space $P{\widetilde{\mathscr{T}}}_S^d \times H^1(S,\mathbb{R})$, where $P{\widetilde{\mathscr{T}}}_S^d = \mathscr{T}_S^d/\mathbb{R}_{>0}$ is Penner's projectivized decorated Teichmüller space. In any case, the end result provides an interesting and well-defined family of projective representations of $\Gamma_S$, which can be said to deform the classical coordinate changes. Another aspect to discuss is the use of dotted triangulations of $S$. One may first think that introducing the dots to triangles seems ad hoc. However, in certain senses, the dotted triangulations arise naturally in some important mathematical structures. For example, presciption of the decomposition orders of tensor products in a tensor category, that is, how to put parentheses in the expression of a tensor product like $(V_1\otimes (V_2\otimes V_3))\otimes V_4$, can be graphically encoded using the dotted triangulations, and the author, together with Igor Frenkel, proved that there indeed exists a tensor category of representations of some Hopf algebra, such that the operators associated to changes of decomposition orders, that is, to changes of dotted triangulations, are equivalent to the operators coming from the Kashaev quantization of Teichmüller spaces @FrKi. Also, Teschner @T used dotted triangulations as the main combinatorial ingredient in his attempt for a proof of Verlinde's conjecture that the quantum Teichmüller space is equivalent to the space of conformal blocks of Liouville conformal field theory. In addition, computations for Kashaev's quantization are usually easier than the ones for Chekhov-Fock's quantization. Quantization of higher Teichmüller spaces ----------------------------------------- The lambda length coordinates and shear coordinates depend on the choice of a combinatorial data given by an ideal triangulation $\tau$ of $S$. To each $\tau$ we get a collection of coordinate functions associated to edges of $\tau$, whose Poisson structures , are described in terms of $\tau$. For each chosen edge $k$, we can flip $\tau$ along $k$ to get another triangulation $\tau'$, and the coordinate functions change according to certain rules , . A remarkable fact is that such a structure is a naturally arising example of a <span>*cluster algebra*</span> of Fomin and Zelevinsky @FZ, or more precisely, of a <span>*cluster ensemble*</span> of Fock and Goncharov @FG03 which generalizes cluster algebras. Fock and Goncharov @FG03 @FG09 gave a quantization of such structures, which can then be applied to examples other than Teichmüller spaces. Prominent examples of cluster ensembles come from Fock-Goncharov's versions of what are called the <span>*higher Teichmüller spaces*</span> @FG03 @FG06. Recall that the Teichmüller space is a certain component of the space of all representations $\pi_1(S) \to {\rm PSL}_2(\mathbb{R})$ modulo conjugation in ${\rm PSL}_2(\mathbb{R})$. For a split reductive real Lie group $G$, Fock and Goncharov @FG06 defined <span>*positive*</span> representations $\pi_1(S) \to G$, and we study the moduli space $\mathscr{L}_{G,S}^+$ of positive representations $\pi_1(S) \to G$ modulo conjugation by $G$. For $G={\rm PGL}_2(\mathbb{R})$ we recover the classical Teichmüller space $\mathscr{T}_S$, and in general we call the moduli space $\mathscr{L}_{G,S}^+$ the <span>*higher Teichmüller space*</span>. As in the case of Teichmüller spaces, Fock-Goncharov defines certain fiber bundles over it concerning the data on the boundary of $S$, one being $\mathscr{A}_{G,S}^+$ as an analog of Penner's decorated Teichmüller space $\mathscr{T}_S^d$ parametrized by lambda lengths, another being $\mathscr{X}_{G,S}^+$ as an analog of the holed Teichmüller space $\mathscr{T}_S^+$ parametrized by shear coordinates; see §\[subsec:higher\_Teichmuller\_spaces\] of the present paper for their precise definitions. These two moduli spaces are also loosely called the <span>*higher Teichmüller spaces*</span> of $S$. In the present paper, we only deal with the cases when $G = {\rm PGL}_m(\mathbb{R})$ or ${\rm SL}_m(\mathbb{R})$. For a chosen ideal triangulation $\tau$ of $S$, one divides each edge of $\tau$ into $m$ pieces, and by drawing grid lines 'parallel' to the original edges one obtains an <span>*$m$-triangulation associated to $\tau$*</span>, which is a refinement of $\tau$. The newly introduced small edges that are not part of edges of $\tau$ are given orientations from those of edges of $\tau$, which in turn are given from the restriction of the orientation of the surface to ideal triangles. Thus one gets a collection of vertices($=$ intersections of grid lines) and arrows running among them, that is, a quiver. This quiver provides the combinatorial data needed in the definitions of cluster algebras and cluster ensembles. For each vertex one associates a coordinate function of $A$-type, described in §\[subsec:A\_X\_coordinates\], which is a generalization of Penner's lambda length coordinate for $m=2$. In cluster theory one assigns a mutation at each vertex, which is a rule for transforming the quiver into another one, while transforming the collection of vertex coordinate functions into another in a certain way depending on the quiver. The $A$-type coordinates, which parametrize the space $\mathscr{A}_{{\rm SL}_m,S}^+$, change like Penner's lambda lengths under each mutation. Meanwhile, there is a degenerate $2$-form on $\mathscr{A}_{{\rm SL}_m,S}^+$ given analogously to , invariant under mutations. The triangles $t$ of $\tau$ in the sum should be replaced by the small 'upside-down' triangles of the $m$-triangulation associated to $\tau$; here, the word 'upside-down' should be understood with respect to the ideal triangle of $\tau$ in which the relevant small triangle is contained in. Suppose that $\tau'$ is obtained from $\tau$ by flipping along an edge of $\tau$. Then the quivers for the $m$-triangulations associated to $\tau$ and $\tau'$ are related by a certain sequence of $m(m-1)/2$ mutations. On the other hand, Fock-Goncharov @FG06 defines $X$-type coordinates for vertices of the quiver, as certain cross ratios or triple ratios of $A$-type coordinates, depending on the quiver data. These $X$-type coordinates parametrize the space $\mathscr{X}_{{\rm PGL}_m,S}^+$, and transform like shear coordinates under mutations. There is a Poisson bracket on $\mathscr{X}_{{\rm PGL}_m,S}^+$ given analogously to , where $\varepsilon_{ij}$ is now the signed number of arrows from the vertex $i$ to $j$ in the quiver. This Poisson structure is invariant under mutations, and is compatible with the $2$-form on $\mathscr{A}_{{\rm SL}_m,S}^+$ with respect to the above-mentioned map $\mathscr{A}_{{\rm SL}_m,S}^+ \to \mathscr{X}_{{\rm PGL}_m,S}^+$ given on the level of functions by cross ratios and triple ratios. This pair $(\mathscr{X}^+_{{\rm PGL}_m,S}, \mathscr{A}_{{\rm SL}_m,S}^+)$ is an example of Fock-Goncharov's cluster ensemble. Using Fock-Goncharov's quantization construction @FG09, one obtains a quantization of the space $\mathscr{X}_{{\rm PGL}_m,S}^+$; one replaces the $X$-type coordinate functions by positive-definite self-adjoint operators on a Hilbert space, and represent the mutations as conjugation by some unitary operators. Like in quantum Teichmüller theory, since elements of $\Gamma_S$ are realized as flips of ideal triangulations, and since flips of ideal triangulations are in turn realized as sequences of mutations of quivers for $m$-triangulations, one thus obtains a projective representation of $\Gamma_S$ from quantum higher Teichmüller theory. In the present paper, we consider an analog of Kashaev's ratio coordinate system associated to dotted triangulations and a corresponding quantization, in the case of higher Teichmüller theory. From the dots of the dotted triangulation of $\tau$, one can introduce dots to the small upside-down triangles of the $m$-triangulation associated to $\tau$. We formulate the resulting combinatorial data as a <span>*quiver with dotted triangles*</span> (see §\[subsec:ratio\_coordinates\]). For each small dotted triangle of this quiver with dotted triangles, we define two coordinates as logarithm of ratios of the $A$-coordinates for the three vertices, just as Kashaev did in the case $m=2$. Then the $2$-form on $\mathscr{A}_{{\rm SL}_m,S}^+$ becomes 'diagonal' again, so that the ratio coordinates admit canonical quantization. Each 'mutation' of quiver with dotted triangles induces rational transformation on these ratio coordinates similarly as in Kashaev's case $m=2$. In order to describe the full sequence of mutations of quiver with dotted triangles that realizes a tranformation of underlying dotted triangulation of $S$, we introduce one more kind of 'trivial change' of quiver with dotted triangles. The 'mutation' is quantized using Kashaev's formula for $m=2$, and the 'trivial change' is quantized by a certain unitary operator which is an analog of Fourier transformation. What is done is as follows. First, for each small dotted triangle $t$, define analogs of the Kashaev coordinates by the formula , where we replace $\lambda_{e_{t,j}}$ ($j=1,2,3$) by $\Delta_{P_{t,j}}$ ($j=1,2,3$) where $P_{t,j}$ are the vertices of $t$ and $\Delta_{P_{t,j}}$ is the corresponding $A$-type coordinate for $\mathscr{A}_{G,S}^+$ of Fock-Goncharov; for now, let us denote them by $q_t$ and $p_t$ again. Then, just as before, there are some linear relations satisfied by $q_t$'s and $p_t$'s. Consider the algebra $\mathscr{K}^h$ topologically generated by the symbols ${\widehat{q}}_t$ and ${\widehat{p}}_t$, modded out by the relations and the quantized linear relations; we just replace $q_t$'s and $p_t$'s by ${\widehat{q}}_t$'s and ${\widehat{p}}_t$'s in the linear relations. Then the quantum version of the 'mutation' and 'trivial change' of quivers with dotted triangles are given as algebra automorphisms of $\mathscr{K}^h$, realized as conjugation by certain expressions in terms of ${\widehat{q}}_t$'s and ${\widehat{p}}_t$'s. In the end, to each transformation of dotted triangulations of $S$ we associate an automorphism of $\mathscr{K}^h$ given as the conjugation by some expression. It is easy to check that these automorphisms recover the classical coordinate changes of the new coordinates $q_t$'s and $p_t$'s as the quantum parameter $h$ goes to $0$; the main point to check for consistency of this quantization is that this association sends composition of transformations of dotted triangulations of $S$ to composition of automorphisms of $\mathscr{K}^h$. For this, we first show in §\[subsec:proof\_of\_completeness\] that the known 'Kashaev relations' (see Lem.\[lem:relations\_of\_elementary\_moves\_of\_Kashaev\_groupoid\] and ) among elementary transformations of dotted triangulations generate the whole set of relations, which has been assumed in the literature without a complete proof, and then we show that the above automorphisms do satisfy these Kashaev relations. In the case of Kashaev quantization for $m=2$, this was proved without using the linear relations of ${\widehat{q}}_t$'s and ${\widehat{p}}_t$'s, and therefore we just drop these equations and represent the corresponding algebra by on a Hilbert space, yielding a projective representation of $\Gamma_S$. In the present paper, we prove this consistency for $m=3$, <span>*using*</span> the linear relations of ${\widehat{q}}_t$'s and ${\widehat{p}}_t$'s. In particular, this time we cannot represent ${\widehat{q}}_t$'s and ${\widehat{p}}_t$'s as we did in , because those operators do not satisfy the desired linear relations. So our quantization is done only in an algebraic sense at the moment. However, one may be able to find a suitable natural representation of the algebra $\mathscr{K}^h$ on some Hilbert space where ${\widehat{q}}_t$'s and ${\widehat{p}}_t$'s are represented as self-adjoint operators, which can be a topic of future research. This then would yield a new family of projective representations of mapping class groups. In the meantime, one may search for a proof for $m>3$ too. In @FrKi, Kashaev's quantization of Teichmüller spaces is reconstructed in the tensor category of certain class of representations of the Hopf algebra related to the Borel subalgebra of ${\mathcal{U}}_q(\frak{sl}(2,\mathbb{R}))$. Ivan Ip @Ip14 studied the representation theory of a similar algebra with ${\mathcal{U}}_q(\frak{sl}(2,\mathbb{R}))$ replaced by ${\mathcal{U}}_q(\frak{sl}(m,\mathbb{R}))$, and showed that it has a similar tensor category structure. Thus, as an analog of @FrKi, from these categories we obtain certain representations of the groupoid of transformations of dotted triangulations of certain genus $0$ surfaces. We expect that it is related to the version of quantum higher Teichmüller theory constructed in the present paper. This, which is in fact the motivation of the present paper, is work in progress with Ip; it then may also lead to a higher generalization of Teschner's work on 'modular functors' @T. In addition, one can ask what the moduli space coordinatized by the new ratio coordinates constructed in the present paper is, i.e., what kind of structure on $S$ it parametrizes. This new space $\mathscr{K}$ has an interesting geometry in itself, because it is a positive space, as its cousins $\mathscr{A}$ and $\mathscr{X}$ are. <span>**Acknowledgments.**</span> I thank Ivan Ip for motivation and helpful discussions. I thank Dylan Allegretti for his help on understanding the works of Fock-Goncharov. Finally, I'd like to thank the referee for the reviewing and for helpful comments. Ratio coordinate for higher Teichmüller space {#sec:ratio_coordinate} ============================================= Higher Teichmüller spaces $\mathscr{X}^+_{{\rm PGL}_m, {\widehat{S}}}$ and $\mathscr{A}^+_{{\rm SL}_m,{\widehat{S}}}$ {#subsec:higher_Teichmuller_spaces} --------------------------------------------------------------------------------------------------------------------- In the present subsection, we would like to give definitions of the objects that are being coordinatized, which we collect mainly from @FG06, and also from @FG03. Let $G$ be a split reductive algebraic group over $\mathbb{Q}$. In the present paper, $G$ is either ${\rm SL}_m$ or ${\rm PGL}_m$, where $m\ge 2$. One can feed in any base field $F$ to get ${\rm SL}_m(F)$ or ${\rm PGL}_m(F)$; we may let $F=\mathbb{R}$ for our purposes. Let $S$ be a compact oriented surface with $n\ge 0$ holes, i.e. $S = {\overline{S}} - D_1 \cup \ldots \cup D_n$, where ${\overline{S}}$ is a compact oriented real $2$-dimensional manifold of genus $g$ without boundary, while $D_1,\ldots,D_n$ are non-intersecting open discs in ${\overline{S}}$. \[@FG06\] A <span>*marked surface ${\widehat{S}}$*</span> is a pair $(S,\{x_1,\ldots,x_k\})$, where $S$ is a compact oriented surface with holes, and $\{x_1,\ldots,x_k\}$ ($k\ge 0$) is a finite set of distinct points on the boundary $\partial S$ which are considered up to isotopy, called <span>*boundary points*</span>. The <span>*punctured boundary $\partial {\widehat{S}}$*</span> of ${\widehat{S}}$ is defined as $\partial {\widehat{S}} = \partial S - \{x_1,\ldots,x_k\}$. Each connected component of $\partial {\widehat{S}}$ that is not a full circle without a boundary point is called a <span>*boundary arc*</span>. \[@FG06\] For a marked surface ${\widehat{S}}$, let $N$ be the number of all connected components of $\partial{\widehat{S}}$. We say ${\widehat{S}}$ is <span>*hyperbolic*</span> if 1) $g>1$, 2) $g=1$, $N>0$, or 3) $g=0$, $N\ge 3$. Let $\mathscr{B}$ denote the flag variety of $G$, parametrizing all Borel subgroups of $G$. If we choose a Borel subgroup $B$ of $G$, then $\mathscr{B} = G/B$. Let $U := [B,B]$, which is a maximal unipotent subgroup in $G$, and let $\mathscr{A}$ denote the principal affine variety of $G$. These become more concrete for $G = {\rm SL}_m$. We can choose $B$ to be the group of all upper triangular matrices in ${\rm SL}_m$, and take $U$ to be the group of all upper triangular matrices in ${\rm SL}_m$ with all diagonal entries being $1$. Let $\mathscr{B}$ be the space of all full flags in $F^m$, where $F$ is the base field and a <span>*full flag*</span> in $F^m$ is a filtration of vector spaces $V_1 \subseteq V_2 \subseteq \cdots \subseteq V_m = F^m$ such that $\dim_F V_j = j$ for each $j$. Thinking of the bases, one can encode this as an ordered $m$-tuple of vectors $(v_1,v_2,\ldots,v_m)$, where $v_1,\ldots,v_j$ span $V_j$; so, two tuples $(v_1,\ldots,v_m)$ and $(v_1',\ldots,v_m')$ represent a same flag if ${\rm Span}\{v_1,\ldots,v_j\} = {\rm Span}\{v_1',\ldots,v_j'\}$ for each $j$. Then $G = {\rm SL}_m$ acts transitively on $\mathscr{B}$ on the left by $g.(v_1,\ldots,v_m) = (gv_1,\ldots,gv_m)$, where the stabilizer of the standard flag $(e_1,\ldots,e_m)$ is the subgroup $B$ of upper triangular matrices; thus $\mathscr{B} = G/B$. On the other hand, let $\mathscr{A}$ be the space of all full affine flags in $F^m$, where a <span>*full affine flag*</span>[^1] is an $m$-tuple of vectors $(v_1,\ldots,v_m)$ where the equivalence relation of $(v_1,\ldots,v_m)$ and $(v_1',\ldots,v_m')$ is now given by the condition $v_1\wedge v_2 \wedge \cdots \wedge v_j = v_1' \wedge \cdots \wedge v_j'$ for each $j$. Then $G={\rm SL}_m$ acts transitively on $\mathscr{A}$ as before, where the stabilizer of the standard affine flag $(e_1,\ldots, e_m)$ is now the subgroup $U$ of unipotent upper triangular matrices; thus $\mathscr{A} = G/U$. Now, let $\mathscr{L}$ be a $G$-local system on $S$, that is, a principal $G$-bundle on $S$ equipped with a flat connection. The fiber of this bundle at each point of $S$ is a principal homogenous space of $G$, that is, a copy of $G$ without multiplication structure, and the flat connection tells us how the fibers at nearby points are 'connected'. If we assume that $G$ acts on $\mathscr{L}$ from right, the associated <span>*flag bundle $\mathscr{L}_\mathscr{B}$*</span> and the <span>*principal affine bundle $\mathscr{L}_\mathscr{A}$*</span> are defined by $$\mathscr{L}_\mathscr{B} := \mathscr{L} \times_G \mathscr{B} = \mathscr{L}/B; \qquad\qquad \mathscr{L}_\mathscr{A} := \mathscr{L}/U.$$ Observe that we can use the same description of $G/B$ as space of full flags in $F^m$, also in the case $G = {\rm PGL}_m$. \[Def.1.2. of @FG06\] Let $G = {\rm PGL}_m$. A <span>*framed $G$-local system on a marked surface ${\widehat{S}}$*</span> is a pair $(\mathscr{L},\beta)$ where $\mathscr{L}$ is a $G$-local system on $S$ and $\beta$ is a flat section of the restriction of the flag bundle $\mathscr{L}_\mathscr{B}$ to the punctured boundary $\partial {\widehat{S}}$. Let $\mathscr{X}_{G,{\widehat{S}}}$ be the moduli space of framed $G$-local systems on ${\widehat{S}}$. The above definition also works for any split reductive algebraic group $G$ @FG06. One way of viewing the data $(\mathscr{L},\beta)$ is as follows. From the monodromy of the flat connection of $\mathscr{L}$ we get a homomorphism $\pi_1(S) \to G$, which determines how the parallel transport is done. So, once we choose a flag at a point on $S$, we can drag it along a path in $S$ to a flag at a different point, in a 'flat' manner; this dragging depends only on the homotopy class of the path. At each connected component of the punctured boundary $\partial {\widehat{S}}$ we choose a point, and choose a flag at that point; these completely determine the data $\beta$, with the help of parallel transport. See @FG06 [Chap.2] for more details. The following definition can be interpreted in a similar way. \[Def.1.3. of @FG06\] \[def:A-space\] Suppose $m\ge 3$ is odd, and let $G={\rm SL}_m$. A <span>*decorated $G$-local system on a marked surface ${\widehat{S}}$*</span> is a pair $(\mathscr{L}, \alpha)$, where $\mathscr{L}$ is a $G$-local system on $S$, and $\alpha$ a flat section of the restriction of $\mathscr{L}_\mathscr{A}$ to the punctured boundary $\partial {\widehat{S}}$. Let $\mathscr{A}_{G,{\widehat{S}}}$ be the moduli space of decorated $G$-local systems on ${\widehat{S}}$. A definition similar to Def.\[def:A-space\] works for the cases when $G$ is of type $E_6,E_8,F_4,G_2$, where $G$ is simply-connected and the center of $G$ has odd order @FG06. For other cases, definition of $\mathscr{A}_{G,{\widehat{S}}}$ is more subtle. Here we state the definition in @FG06 for the cases $G = {\rm SL}_m$ for even $m$. Let $w_0$ a natural lift in $G$ of the longest Weyl group element, and let $s_G = w_0^2$. Then $s_G$ is in the center of $G$, and square of $s_G$ is identity. In case of $G= {\rm SL}_m$ with even $m$, this element $s_G$ is the diagonal matrix with all the diagonal entries being $-1$. Let $T'S$ be the tangent bundle to $S$, with the zero section removed. Its fundamental group $\pi_1(T'S, x)$ is a central extension of $\pi_1(S,y)$ by $\mathbb{Z}$, where $x\in T'_yS$. Denote by $\sigma_S$ a generator of this central subgroup $\mathbb{Z}$; then $\sigma_S$ is well defined up to a sign. For each boundary component $C_i$ of $S$, let ${\bf C}_i$ be a little annulus in $S$ containing $C_i$ as its boundary, and let $x_1,\ldots,x_p$ be the boundary points on $C_i$. Identify ${\bf C}_i$ as $C_i \times [0,1]$, and let ${\bf C}_i'$ be the part of ${\bf C}_i$ corresponding to $(C_i \setminus\{x_1,\ldots,x_p\}) \times [0,1]$. \[Def.2.3, 2.4. of @FG06\] Suppose $m\ge 2$ is even, and let $G = {\rm SL}_m$. A <span>*twisted $G$-local system on $S$*</span> is a local system on $T'S$ with the monodromy $s_G$ around $\sigma_S$. Let $\mathscr{L}$ be a $G$-local system on $T'S$ representing a twisted local system on $S$. A <span>*decoration*</span> on $\mathscr{L}$ is the choice of a locally constant section $\alpha$ of the restriction of the principal affine bundle $\mathscr{L}_\mathscr{A}$ to $\cup_i {\bf C}_i'$. A <span>*decorated*</span> twisted $G$-local system on a marked surface ${\widehat{S}}$ is a pair $(\mathscr{L}, \alpha)$, where $\mathscr{L}$ is a twisted $G$-local system on $S$, and $\alpha$ is a decoration on $\mathscr{L}$. Let $\mathscr{A}_{G,{\widehat{S}}}$ be the moduli space of decorated twisted $G$-local systems on ${\widehat{S}}$. One of the main results of @FG06 is that these moduli spaces are 'positive': \[Thm.1.4. of @FG06\]\[thm:positive\_moduli\_spaces\] Let $G$ be a split semi-simple simply-connected algebraic group, and $G' = G/{\rm Center}(G)$. Let ${\widehat{S}}$ be a marked hyperbolic surface with $n>0$ holes. Then the moduli spaces $\mathscr{X}_{G',{\widehat{S}}}$ and $\mathscr{A}_{G,{\widehat{S}}}$ have positive atlases. A space having a positive atlas roughly means that it has a collection of coordinate systems, such that the coordinate change map between any two coordinate systems is a positive rational map. For our purposes, we can think of a coordinate system as an identification of an open dense subset of the space with $(F^*)^\ell$ for some positive integer $\ell$, where $F$ is the base field. A positive rational map is a map in the form $f_1/f_2$ where $f_1,f_2$ are $\mathbb{Z}_{>0}$-linear combinations of monomials in the corresponding coordinates; the open subsets are glued together along these (bi)rational maps. See @FG03 for a precise definition using 'coordinate groupoids'. Then it makes sense to think of all points of the space whose coordinates are all positive real, for one coordinate system, hence for all coordinate systems. \[Def.1.8. of @FG06: higher Teichmüller spaces\] Let $G,{\widehat{S}}$ be as in Thm.\[thm:positive\_moduli\_spaces\]. The <span>*higher Teichmüller spaces*</span> $\mathscr{X}^+_{G',{\widehat{S}}}$ and $\mathscr{A}_{G,{\widehat{S}}}^+$ are defined as the $\mathbb{R}_{>0}$-points $\mathscr{X}_{G',{\widehat{S}}}(\mathbb{R}_{>0})$ and $\mathscr{A}_{G,{\widehat{S}}}(\mathbb{R}_{>0})$ of the moduli spaces $\mathscr{X}_{G,{\widehat{S}}}$ and $\mathscr{A}_{G,{\widehat{S}}}$, respectively. Moreover, we also have a map from the $\mathscr{A}$-space to the $\mathscr{X}$-space, induced by the canonical map $G \to G'$, as in @FG06. Since $s_G$ is in the center of $G$, a twisted $G$-local system $\mathscr{L}$ on $T'S$ provides a $G'$-local system $\mathscr{L}'$ on $S$. The canonical projection $p : \mathscr{L}_\mathscr{A} \to \mathscr{L}'_\mathscr{B}$ yields the map $$\begin{aligned} \label{eq:p_definition} p : \mathscr{A}_{G,{\widehat{S}}} \to \mathscr{X}_{G',{\widehat{S}}}, \qquad (\mathscr{L},\alpha) \mapsto (\mathscr{L}', \beta), \quad \beta:= p(\alpha).\end{aligned}$$ Thus we now have definitions of the moduli spaces $\mathscr{X}_{{\rm PGL}_m, {\widehat{S}}}^+$ and $\mathscr{A}_{{\rm SL}_m, {\widehat{S}}}^+$, together with the map $p : \mathscr{A}_{{\rm SL}_m,{\widehat{S}}} \to \mathscr{X}_{{\rm PGL}_m,{\widehat{S}}}$ . $A$-type and $X$-type coordinates {#subsec:A_X_coordinates} --------------------------------- We now describe the coordinate systems of Fock-Goncharov @FG06 for the spaces $\mathscr{X}_{{\rm PGL}_m,{\widehat{S}}}$ and $\mathscr{A}_{{\rm SL}_m,{\widehat{S}}}$, for a marked hyperbolic surface ${\widehat{S}} = (S,\{x_1,\ldots,x_k\})$ with $n>0$ holes, where $m\ge 2$. These coordinate systems require the choice of a combinatorial data on the surface, called an <span>*$m$-triangulation*</span>. First, shrink each boundary component of ${\widehat{S}}$ without boundary points to a puncture. \[@FG06: ideal triangulation\] \[def:ideal\_triangulation\] An <span>*ideal triangulation*</span> of ${\widehat{S}}$ is a triangulation of $S$ up to isotopy, with the vertices at either the punctures or the boundary arcs, such that each boundary arc carries exactly one vertex of the triangulation, and each puncture serves as a vertex. The edges of an ideal triangulation either lie inside of $S$, or inside the boundary of $S$. We also call the edges of an ideal triangle of an ideal triangulation the <span>*sides*</span> of that triangle. \[@FG06: $m$-triangulation\] \[def:m-triangulation\] Take the triangle $$T_m := \{(x,y,z) \in \mathbb{R}^3 : x+y+z=m, \,x,y,z \ge 0\},$$ and consider its triangulation given by the lines $\{x=p\}$, $\{y=p\}$, and $\{z=p\}$ in $T_m$, where $p \in \mathbb{Z}$, $0\le p\le m$. An <span>*$m$-triangulation*</span> of a triangle is a triangulation isotopic to this one. An edge of an $m$-triangulation is called an <span>*internal edge*</span> if it does not lie on a side of the original triangle. The <span>*$m$-triangulation*</span> of an ideal triangulation $\tau$ of ${\widehat{S}}$ is the triangulation obtained by $m$-triangulating all ideal triangles of $\tau$. In particular, each edge of $\tau$ contains $m+1$ vertices of the $m$-triangulation of $\tau$. The coordinate for each integral point on the triangle $T_m$ tells us how 'far' the point is from each edge of $T_m$; for example, the $x$-coordinate tells the distance to the line $\{x=0, \, y+z=m\}$, i.e., how many internal edges we need to reach the line from the point. Two of the coordinates being zero means that the point is one of the vertices of $T_m$, and one of the coordinates being zero means that the point is on one of the sides of $T_m$. For each ideal triangle of $\tau$, the orientation of the surface $S$ induces a clockwise orientation on the edges of this ideal triangle, and hence an orientation on the internal edges of the $m$-triangulation of $\tau$, by setting the orientation of each internal edge to be the same as that of an edge of $\tau$ parallel to it. So we get a certain quiver on the surface $S$; we recall that a quiver is a graph with oriented edges, and we also call the oriented edges of a quiver <span>*arrows*</span>. See Fig.\[fig:til\_T\_ts\_realization\] for an example, induced by the clockwise orientation of the plane. One can show that the quiver we just obtained has no cycle of length $1$ or $2$; this follows from the corresponding statement for $m=2$. We shall assign Fock-Goncharov coordinates to elements of the following set: \[@FG06, modified\] For an ideal triangulation $\tau$ of ${\widehat{S}}$, define the two sets: $$\begin{aligned} I_m^\tau & = \{\mbox{vertices of the $m$-triangulation of $\tau$}\} - \{\mbox{vertices of $\tau$}\}, \\ J_m^\tau & = I_m^\tau - \{\mbox{the vertices at the boundary arcs of $S$}\}.\end{aligned}$$ Now let us describe how the $A$-type coordinates are defined in @FG06. Consider an element $v$ of $I_m^\tau$. Suppose that it is contained in an ideal triangle $t$ of $\tau$. Any element of $I_m^\tau$ contained in $t$ can be described as $(a_1,a_2,a_3)$ for some nonnegative integers $a_1,a_2,a_3$ with $a_1+a_2+a_3=m$, as in Def.\[def:m-triangulation\]. These numbers tell us how far $v$ is from each edge of $t$. Suppose $a_1,a_2,a_3>0$ for now. Let $u_1,u_2,u_3$ be the vertices of $t$, so that the distance from $v$ to the edge of $t$ opposite to $u_j$ is $a_j$, which is the minimal number of internal edges needed to connect $v$ to that edge; assume that we arranged the situation so that $u_1\to u_2\to u_3\to u_1$ is clockwise direction, with respect to the orientation of $t$ inherited from that of $S$. The data $\alpha$ of a given point $(\mathscr{L},\alpha)$ of $\mathscr{A}_{{\rm SL}_m,{\widehat{S}}}$ assign a full affine flag to each of the vertices of $\tau$ that are either at punctures of $S$ or at the boundary arcs of $S$; see the similar discussion just before Def.\[def:A-space\] about the data $\beta$. Using the flat connection of $\mathscr{L}$, we drag the three full affine flags at $u_1,u_2,u_3$ to $v$ along paths in $t$, by parallel transport; denote these full affine flags at $v$ by $(x_1,\ldots,x_m)$, $(y_1,\ldots,y_m)$, and $(z_1,\ldots,z_m)$, respectively. Then we form an element $x_1\wedge \cdots \wedge x_{a_1} \wedge y_1 \wedge \cdots \wedge y_{a_2} \wedge z_1 \wedge \cdots \wedge z_{a_3}$ of the top exterior power of $F^m$. By pairing with a monodromy invariant volume form on $F^m$, we get a real number, and this is the $A$-coordinate $\Delta_v(\mathscr{L}, \alpha)$ associated to the vertex $v$. For the volume form, it seems that we can choose any single volume form on $F^m$ and use it all the time. Now suppose that one of $a_1,a_2,a_3$ is zero; then, since $v\in I_m^\tau$, we see that exactly one of them is zero. Without loss of generality, let $a_3=0$. Then we use the element $x_1\wedge\cdots\wedge x_{a_1} \wedge y_1 \wedge \cdots\wedge y_{a_2}$ in the above description, and by pairing with the chosen volume form we get $\Delta_v(\mathscr{L}, \alpha)$ associated to the vertex $v$. See @FG06 for more details, for example to see why these are well-defined; for a precise description, they use the notion of 'face paths'. Fock-Goncharov @FG06 describes the $X$-coodinates of $\mathscr{X}_{{\rm PGL}_m,{\widehat{S}}}$, as cross-ratios and triple-ratios of $A$-coordinates. The result can be described in terms of the map $p: \mathscr{A}_{{\rm SL}_m,{\widehat{S}}} \to \mathscr{X}_{{\rm PGL}_m,{\widehat{S}}}$ , given by $$\begin{aligned} \label{eq:our_p} p^* X_i = \prod_{j \in I_m^\tau} (\Delta_j)^{\varepsilon_{ij}},\end{aligned}$$ where $\varepsilon_{ij}$ is the the number of arrows from $i$ to $j$ minus the number of arrows from $j$ to $i$, in the quiver of the $m$-triangulation of $\tau$. Coordinate rings and cluster structure of $\mathscr{X}$-space and $\mathscr{A}$-space {#subsec:coordinae_rings} ------------------------------------------------------------------------------------- We now recall the definition of a <span>*cluster ensemble*</span>, defined in @FG03, as an analog of a cluster algebra which is defined in @FZ. We use a slightly modified version as used in @FG06. We first need to define a combinatorial data, called <span>*seed*</span>. \[seed\] A <span>*seed*</span> ${\bf i} = (I,J,\varepsilon_{ij}, d_i)$ consists of a finite set $I$, an integer-valued function $(\varepsilon_{ij})$ on $I \times I$, called a <span>*cluster function*</span>, a $\mathbb{Q}_{>0}$-valued <span>*symmetrizer function $d_i$*</span> on $I$ such that ${\widetilde{\varepsilon}}_{ij} := d_i \varepsilon_{ij}$ is skew-symmetric, and a subset $J$ of $I$. The complement $I - J$ is called the <span>*frozen subset*</span> of $I$.[^2] If $\varepsilon_{ij}$ is skew-symmetric, we set $d_i=1$. There is a rule for transforming a seed into another one 'along the direction' of any element $k$ of $J$, which is usually called a <span>*mutation*</span>. \[mutation\] \[def:mutation\] Given a seed ${\bf i} = (I,J,\varepsilon, d)$, to every non-frozen element $k \in J$ is associated a new seed $\mu_k({\bf i}) = {\bf i}' = (I',J',\varepsilon',d')$, given by $I' := I$, $J' := J$, $d' := d$, and $$\begin{aligned} \varepsilon'_{ij} := \left\{ {\renewcommand{\arraystretch}{1.2} \begin{array}{ll} -\varepsilon_{ij} & \mbox{if } k\in \{i,j\}, \\ \varepsilon_{ij} + \frac{ |\varepsilon_{ik}| \varepsilon_{kj} + \varepsilon_{ik} |\varepsilon_{kj}|}{2} & \mbox{if } k \notin \{i,j\}. \end{array}} \right.\end{aligned}$$ We say ${\bf i}'$ is obtained by applying to ${\bf i}$ the <span>*mutation in the direction $k$*</span>, or <span>*mutation at $k$*</span>, and write as $\mu_k$ in short. As observed in @FG03, a seed is a version of the notion of a quiver, enhanced by jamiesmith@example.net. In the case when $\varepsilon_{ij}$ is skew-symmetric and therefore $d_i =1$, one can visualize a seed as a quiver, as follows. The set of vertices is in bijection with $I$, so one can label the vertices by elements of $I$. Between the vertices $i$ and $j$, there are $|\varepsilon_{ij}|$ arrows from $i$ to $j$ if $\varepsilon_{ij}>0$. In particular, all arrows between any two vertices are of a same orientation, and there is no arrow from a vertex to itself. The following mutation rule for quivers is well-known. \[quiver mutation\] \[lem:quiver\_mutation\] Seed mutation $\mu_k$ in the direction $k \in J$ can be interpreted in terms of a <span>*quiver mutation*</span> as follows. First, from the initial quiver associated to the seed ${\bf i}$, reverse the direction of all the arrows going from or to the vertex $k$. Now, for each ordered pair $(i,j)$ of distinct vertices $i,j \in I$ different from $k$, we 'add' $\varepsilon_{ik} \varepsilon_{kj}$ arrows from $i$ to $j$ if $\varepsilon_{ik}>0$ and $\varepsilon_{kj}>0$. This addition of arrows can be understood graphically as 'completing cycles of length $3$ passing through $k$ in the middle'. Then, we make cancellation of arrows after such an addition, i.e. if there are two arrows running between two vertices with opposite orientations then we delete both arrows; repeat until there are no such cycles of length $2$. To each seed is associated a split algebraic torus, and to each mutation a birational map between the tori, which is in fact the heart of the cluster theory. Recall that a split algebraic torus is a product of the multiplicative group $\mathbb{G}_m$, where $\mathbb{G}_m(F) = F^*$ for each field $F$. For a cluster ensemble we consider the following two split algebraic tori for a given seed ${\bf i}$: $$\begin{aligned} \label{eq:seed_tori} \mathscr{X}_{\bf i} := (\mathbb{G}_m)^J, \qquad\qquad \mathscr{A}_{\bf i} := (\mathbb{G}_m)^I,\end{aligned}$$ called the <span>*seed $\mathscr{X}$-torus*</span> and the <span>*seed $\mathscr{A}$-torus*</span>, respectively. Let $\{X_i\}_{i\in J}$ and $\{\Delta_i\}_{i\in I}$ be the natural coordinates for each of the two tori. The seed mutation $\mu_k$ from ${\bf i}$ to ${\bf i}'$ induces a rational map between the corresponding two $\mathscr{X}$-tori and that between the corresponding two $\mathscr{A}$-tori. These rational maps are denoted by $\mu_k : \mathscr{X}_{\bf i} \to \mathscr{X}_{{\bf i}'}$ and $\mu_k : \mathscr{A}_{\bf i} \to \mathscr{A}_{{\bf i}'}$, given by the formulas $$\begin{aligned} \label{eq:X_mutation_formula} & \mu_k^* X_i' = \left\{ {\renewcommand{\arraystretch}{1.2} \begin{array}{ll} X_k^{-1} & \mbox{if $i=k$}, \\ X_i(1 + X_k^{-{\rm sgn}(\varepsilon_{ik})})^{-\varepsilon_{ik}} & \mbox{if $i\neq k$}, \end{array}} \right. \\ \label{eq:A_mutation_formula} & \mu_k^* \Delta_i' = \left\{ {\renewcommand{\arraystretch}{1.2} \begin{array}{ll} \Delta_i & \mbox{if $i \neq k$}, \\ \displaystyle \Delta_k^{-1} \left( \prod_{\{ j \in I : \varepsilon_{kj}>0 \} } \Delta_j^{\varepsilon_{kj}} + \prod_{\{ j \in I : \varepsilon_{kj}<0 \} } \Delta_j^{-\varepsilon_{kj}} \right) & \mbox{if $i = k$}, \end{array}} \right.\end{aligned}$$ where $X_i'$ and $\Delta_i'$ denote the cluster coordinates of the tori associated to the mutated seed $\mu_k({\bf i}) = {\bf i}'$, and ${\rm sgn}(\varepsilon)$ is defined to be $1$ if $\varepsilon\ge 0$ and $-1$ otherwise. If exactly one of the two sets $\{ j \in I : \varepsilon_{kj} >0 \}$ and $\{ j \in I : \varepsilon_{jk} < 0 \}$ is empty, then the corresponding product $\prod_{\{ j \in I : \varepsilon_{kj}>0 \} } \Delta_j^{\varepsilon_{kj}}$ or $\prod_{\{ j \in I : \varepsilon_{kj}<0 \} } \Delta_j^{-\varepsilon_{kj}}$ in is set to be $1$. If $\varepsilon_{kj} = 0$ for all $j\in I$, then $\mu_k^* \Delta_k' = 2 \Delta_k^{-1}$, and we set $\mu_k^* X_k' = X_k^{-2}$. In our example, we set $I = I_m^\tau$, $J = J_m^\tau$ for an ideal triangulation $\tau$ of a marked hyperbolic surface ${\widehat{S}}$, where $A$- and $X$-coordinates are as given in §\[subsec:A\_X\_coordinates\]. \[@FG03\] For our case just mentioned, the map $p$ commutes with the mutations and . For a marked hyperbolic surface ${\widehat{S}}$
{'source': 'arXiv_out/1407'}