Skein and cluster algebras of unpunctured surfaces for \mathfrak{sp}_4

MaRDI QIDQ6403940zbMATH OpenFDO

Authors Tsukasa Ishibashi, Wataru Yuasa

Publication date 4 July 2022

Mathematics Subject Classification ID

Cluster algebras (13F60) 2-dimensional topology (including mapping class groups of surfaces, Teichmüller theory, curve complexes, etc.) (57K20) Invariants of 3-manifolds (including skein modules, character varieties) (57K31)

Abstract: Continuing to our previous work [IY21](arXiv:2101.00643) on the $mathfrak{sl}_3$-case, we introduce a skein algebra $mathscr{S}_{mathfrak{sp}_4,Sigma}^q$ consisting of $mathfrak{sp}_4$-webs on a marked surface $Sigma$ with certain "clasped" skein relations at special points, and investigate its cluster nature. We also introduce a natural $mathbb{Z}_q$-form $mathscr{S}_{mathfrak{sp}_4,Sigma}^{mathbb{Z}_q}subsetmathscr{S}_{mathfrak{sp}_4,Sigma}^q$, while the natural coefficient ring $mathcalR$ of $mathscr{S}_{mathfrak{sp}_4,Sigma}^q$ includes the inverse of the quantum integer $[2{]}_q$. We prove that its boundary-localization $mathscr{S}_{mathfrak{sp}_4,Sigma}^{mathbb{Z}_q}[partia{l}^{-1}]$ is included into a quantum cluster algebra $mathscr{A}_{mathfrak{sp}_4,Sigma}^q$ that quantizes the function ring of the moduli space $mathcal{A}_{S{p}_4,Sigma}^{i}mes$. Moreover, we obtain the positivity of Laurent expressions of elevation-preserving webs in a similar way to [IY21](arXiv:2101.00643). We also propose a characterization of cluster variables in the spirit of Fomin--Pylyavksyy [FP16](arXiv:1210.1888) in terms of the $mathfrak{sp}_4$-webs, and give infinitely many supporting examples on a quadrilateral.

This page was built for publication: Skein and cluster algebras of unpunctured surfaces for $\mathfrak{sp}_4$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6403940)