Skein algebras and cluster algebras of marked surfaces

This paper defines several algebras associated to an oriented surface S with a finite set of marked points on the boundary. The first is the skein algebra Skq (S), which is spanned by links in the surface which are allowed to have endpoints at the marked points, modulo several locally defined relations. The product is given by superposition of links. A basis of this algebra is given, as well as several algebraic results. When S is triangulable, the quantum cluster algebra Aq (S) and quantum upper cluster algebra Uq (S) can be defined. These are algebras coming from the triangulations of S and the elementary moves between them. Natural inclusions Aq (S) into Skqᵒ (S) into Uq (S) are shown, where Skqᵒ (S) is a certain Ore localization of Skq (S). When S has at least two marked points in each component, these inclusions are strengthened to equality, exhibiting a quantum cluster structure on Skqᵒ (S). The method for proving these equalities has potential to show Aq=Uq for other classes of cluster algebras. As a demonstration of this fact, a new proof is given that Aq=Uq for acyclic cluster algebras