arXiv++ Combinatorics

We prove that any finite subgroup $G \subset Γ_{\boldsymbol{s}}$ of the cluster modular group has fixed points in the cluster manifolds $\mathcal{A}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ and $\mathcal{X}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ under a certain condition. This generalizes Kerckhoff's Nielsen realization theorem [Ker83] for the mapping class group action on the Teichmüller space. The condition holds whenever $Γ_{\boldsymbol{s}}$ admits a cluster DT transformation, and it can be also verified for all finite mutation types except for $X_7$. Our proof closely follows Kerckhoff's argument, based on the convexity of log-cluster variables.

The cluster algebra associated with an acyclic quiver has a special mutation loop $τ$, called the cluster Donaldson--Thomas (DT) transformation, related to the Auslander--Reiten translation. In this paper, we characterize the finite-tame-wild trichotomy for acyclic quivers by the sign stability of $τ$ introduced in [IK21] and its cluster stretch factor. As an application, we compute several kinds of entropies of $τ$ and other mutation loops. In particular, we show that the algebraic and categorical entropies of $τ$ are commonly given by the logarithm of the spectral radius of the Coxeter matrix associated with the quiver, and that any mutation loop of finite or tame acyclic quivers have zero algebraic entropy.

We introduce a cluster algebraic generalization of Thurston's earthquake map for the cluster algebras of finite type, which we call the \emph{cluster earthquake map}. It is defined by gluing exponential maps, which is modeled after the earthquakes along ideal arcs. We prove an analogue of the earthquake theorem, which states that the cluster earthquake map gives a homeomorphism between the spaces of $\mathbb{R}^\mathrm{trop}$- and $\mathbb{R}_{>0}$-valued points of the cluster $\mathcal{X}$-variety. For those of type $A_n$ and $D_n$, the cluster earthquake map indeed recovers the earthquake maps for marked disks and once-punctured marked disks, respectively. Moreover, we investigate certain asymptotic behaviors of the cluster earthquake map, which give rise to "continuous deformations" of the Fock--Goncharov fan.

For a finite-dimensional simple Lie algebra $\mathfrak{g}$ admitting a non-trivial minuscule representation and a connected marked surface $Σ$ with at least two marked points and no punctures, we prove that the cluster algebra $\mathscr{A}_{\mathfrak{g},Σ}$ associated with the pair $(\mathfrak{g},Σ)$ coincides with the upper cluster algebra $\mathscr{U}_{\mathfrak{g},Σ}$. The proof is based on the fact that the function ring $\mathcal{O}(\mathcal{A}^\times_{G,Σ})$ of the moduli space of decorated twisted $G$-local systems on $Σ$ is generated by matrix coefficients of Wilson lines introduced in [IO20]. As an application, we prove that the Muller-type skein algebras $\mathscr{S}_{\mathfrak{g}, Σ}[\partial^{-1}]$ [Muller,IY23,IY22] for $\mathfrak{g}=\mathfrak{sl}_2, \mathfrak{sl}_3,$ or $\mathfrak{sp}_4$ are isomorphic to the cluster algebras $\mathscr{A}_{\mathfrak{g}, Σ}$.

We give a cluster algebraic description of the reduction procedure of mapping classes along a multicurve. Based on this description, we characterize pseudo-Anosov mapping classes on a general marked surface in terms of a weaker version of the uniform sign stability, generalizing the main result in the previous paper [IK20]. Moreover we axiomatize a general reduction procedure of mutation loops parametrized by a rational polyhedral cone in the tropical cluster $\mathcal{X}$-variety, which includes both the reduction along a multicurve and the cluster reduction introduced in [Ish19].

We give a characterization of generic pseudo-Anosov mapping classes purely in terms of their expressions in the shear coordinates, thus giving an answer to a problem raised by Papadopoulos--Penner [PP93]. This characterization has a cluster algebraic generalization called the sign stability introduced in [IK21]. By combining with the results in [IK21], we see that the algebraic entropies of the cluster $\mathcal{A}$- and $\mathcal{X}$-transformations induced by a generic pseudo-Anosov mapping class both coincide with its topological entropy.

We introduce a property of mutation loops, called the sign stability, with a focus on an asymptotic behavior of the iteration of the tropical $\mathcal{X}$-transformation. A sign-stable mutation loop has a numerical invariant which we call the cluster stretch factor, in analogy with that of a pseudo-Anosov mapping class on a marked surface. We compute the algebraic entropies of the cluster $\mathcal{A}$- and $\mathcal{X}$-transformations induced by a sign-stable mutation loop, and conclude that these two coincide with the logarithm of the cluster stretch factor.

We give a method to compute presentations of saturated cluster modular groups. Using this, we obtain finite presentations of the saturated cluster modular groups of finite mutation type $X_6$ and $X_7$. We verify that the cluster modular groups of finite mutation type $\widetilde{E}_6$, $\widetilde{E}_7$, $\widetilde{E}_8$, $G_2^{(*,*)}$, $X_6$ and $X_7$ are virtually generated by cluster Dehn twists.