\(\mathscr{A} = \mathscr{U}\) for cluster algebras from moduli spaces of \(G\)-local systems (Q6076343)

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