arXiv++ Combinatorics

We prove that for any possibly-punctured surface with non-empty boundary $\mathbfΣ=(Σ, \mathbb{M}, \mathbb{P})$, and any tagged triangulation $T$ of $\mathbfΣ$ in the sense of Fomin--Shapiro--Thurston, the coefficient-free bangle functions of Musiker--Schiffler--Williams coincide with the coefficient-free generic Caldero--Chapoton functions arising from the Jacobian algebra of the quiver with potential $(Q(T), W(T))$ associated to $T$ by Cerulli Irelli and the second author. When the set of boundary marked points $\mathbb{M}$ has at least two elements, Schröer and the first two authors have shown, relying heavily on results of Mills, Muller and Qin, that the generic coefficient-free Caldero-Chapoton functions form a basis of the coefficient-free (upper) cluster algebra $\mathcal{A}(\mathbfΣ)=\mathcal{U}(\mathbfΣ)$. So, the set of bangle functions proposed by Musiker--Schiffler--Williams over ten years ago is indeed a basis.

Let $(Σ,\mathbb{M},\mathbb{P})$ be a surface with marked points $\mathbb{M}\subseteq \partialΣ\neq\varnothing$ and punctures $\mathbb{P}\subseteqΣ\setminus\partialΣ$. In this paper we show that for every curve $γ$ on $Σ\setminus\mathbb{P}$, the curve obtained by resolving the kinks of $γ$ in any order is uniquely determined, up to homotopy in $Σ\setminus\mathbb{P}$, by the $2$-orbifold homotopy class of $γ$, in which the punctures are interpreted to be orbifold points of order $2$. Our proof resorts to an application of the Diamond Lemma.

We use the representation theory of preprojective algebras to construct and study certain cluster algebras related to semisimple algebraic groups.

The paper is motivated by an analogy between cluster algebras and Kac-Moody algebras: both theories share the same classification of finite type objects by familiar Cartan-Killing types. However the underlying combinatorics beyond the two classifications is different: roughly speaking, Kac-Moody algebras are associated with (symmetrizable) Cartan matrices, while cluster algebras correspond to skew-symmetrizable matrices. We study an interplay between the two classes of matrices, in particular, establishing a new criterion for deciding whether a given skew-symmetrizable matrix gives rise to a cluster algebra of finite type.