Relating stated skein algebras and internal skein algebras (Q2155667)

The main results of the paper provide an explicit correspondence between the stated skein algebras and the internal skein algebras of a marked surface with boundary, using mainly skein theory. More precisely, the author proves the following. Theorem 1.1. Let \(\Sigma\) be a compact oriented surface with a boundary edge \(e\) seen at the right for stated skein algebras and at the left for internal skein algebras; then one has an isomorphism of \(\mathcal{O}_{q^2}(\mathrm{SL}_2)\)-comodule-algebras \(A_\Sigma\cong \mathcal{S}(\Sigma),\) between the stated skein algebra \(\mathcal{S}(\Sigma)\) and the internal skein algebra \(A_\Sigma\). Theorem 1.5. Let \(\Sigma\) be a marked surface with \(n\) boundary edges labelled either as left or as right edges. There is an isomorphism of \(\big(\mathcal{O}_{q^2}(\mathrm{SL}_2)^{\otimes k},\mathcal{O}_{q^2}(\mathrm{SL}_2)^{\otimes n-k}\big)\)-bicomodule algebras \(A_\Sigma^{L_{k+1},\dots,L_n}\cong \mathcal{S}(\Sigma),\) between the stated skein algebra \(\mathcal{S}(\Sigma)\) seen as a left \(\mathcal{O}_{q^2}(\mathrm{SL}_2)\)-comodule on the right edges, and the internal skein algebra \(A_\Sigma\) with the comodule structures of the right edges switched at the left using the antipode.