Abstract
The \(SU_3\)-skein algebra of a surface F is spanned by isotopy classes of certain framed graphs in \(F\times I\) called 3-webs subject to the skein relations encapsulating relations between \(U_q(sl(3))\)-representations. It is expected that their theory parallels that of the Kauffman bracket skein algebras. We make the first step towards developing that theory by proving that the reduced \(SU_3\)-skein algebra of any surface of finite type is finitely generated. We achieve that result by developing a theory of canonical forms of webs in surfaces. Specifically, we show that for any ideal triangulation of F every reduced 3-web can be uniquely decomposed into unions of pyramid formations of hexagons and disjoint arcs in the faces of the triangulation with possible additional “crossbars” connecting their edges along the ideal triangulation. We show that such canonical position is unique up to “crossbar moves”. That leads us to an associated system of coordinates for webs in triangulated surfaces (counting intersections of the web with the edges of the triangulation and their rotation numbers inside of the faces of the triangulation) which determine a reduced web uniquely. Finally, we relate our skein algebras to \({\mathcal {A}}\)-varieties of Fock–Goncharov and to \(\text {Loc}_{SL(3)}\)-varieties of Goncharov–Shen. We believe that our coordinate system for webs is a manifestation of a (quantum) mirror symmetry conjectured by Goncharov–Shen.
Similar content being viewed by others
References
Abdiel, N., Frohman, C.: The localized skein algebra is Frobenius. Algebraic Geom. Topol. 17(6), 3341–3373 (2017). arXiv:1501.02631
Allegretti, D.G.L., Kim, H.K.: A duality map for quantum cluster varieties from surfaces. Adv. Math. 306, 1164–1208 (2017)
Bullock, D., Frohman, C., Kania-Bartoszynska, J.: Understanding the Kauffman bracket skein module. J. Knot Theory Ramif. 8(3), 65–277 (1999). arXiv:q-alg/9604013
Bonahon, F., Wong, H.: Quantum traces for representations of surface groups in \(SL_2\). Geom. Topol. 15(3), 1569–1615 (2011). arXiv:1003.5250
Bonahon, F., Wong, H.: Representations of the Kauffman skein algebra I: invariants and miraculous cancellations. Invent. Math. 204(1), 195–243 (2016). arXiv:1206.1638
Bullock, D.: A finite set of generators for the Kauffman bracket skein algebra. Math. Z. 231, 91–101 (1999)
Cautis, S., Kamnitzer, J., Morrison, S.: Webs and quantum skew howe duality. Math. Ann. 360(1–2), 351–390 (2014). arXiv:1210.6437
Charles, L., Marché, J.: Multicurves and regular functions on the representation variety of a surface in \(SU(2)\). Commun. Math. Helv. 87(2), 409–431 (2012). arXiv:0901.3064
Chekhov, L.O., Fock, V.V.: Quantum Teichmüller spaces (Russian). Teoret. Mat. Fiz. 120(3), 511–528 (1999) [translation in Theoret. and Math. Phys. 120(3), 1245–1259 (1999)]
Cautis, S., Kamnitzer, J., Morrison, S.: Webs and quantum skew Howe duality. Math. Ann. 360, 351–390 (2014)
Douglas, D.: Quantum traces for \(SL_n({{\mathbb{C}}}):\) the case \(n = 3\) (2020). arXiv:2101.0681
Douglas, D., Sun, Z.: Tropical Fock–Goncharov coordinates for SL3-webs on surfaces I: construction (2020). arXiv:2011.01768
Douglas, D., Sun, Z.: Tropical Fock-Goncharov coordinates for SL3-webs on surfaces II: naturality (2020). arXiv:2012.14202
Epstein, D.B.A.: Curves on 2-manifolds and isotopies. Acta Math. 115, 83–107 (1966)
Fock, V.V., Goncharov, A.B.: Moduli spaces of convex projective structures on surfaces. Adv. Math. 208(1), 249–273 (2007)
Fomin, S., Pylyavskyy, P.: Webs on surfaces, rings if invariants, and clusters. PNAS 111(27), 9680–9687 (2014). arXiv:1308.1718
Frohman, C., Gelca, R.: Skein modules and the noncommutative torus. Trans. Am. Math. Soc. 352, 4877–4888 (2000)
Frohman, C., Kania-Bartoszynska, J., Lê, T.T.Q.: Unicity for representations of the Kauffman bracket skein algebra. Invent. Math. 215, 609–650 (2019). arXiv:1707.09234
Goncharov, A.B., Shen, L.: Geometry of canonical bases and mirror symmetry. Invent. Math. 202, 487–633 (2015). arXiv:1904.10491
Higgins, V.: Triangular decomposition of SL3 skein algebras (2020). arXiv:2008.09419
Ishibashi, T., Yuasa, W.: Skein and cluster algebras of marked surfaces without punctures for \({{\mathfrak{sl}}}3\) (2020). arXiv:2101.00643
Kim, H.K.: SL\({}_3\)-Laminations as bases for PGL\({}_3\) cluster varieties for surfaces (2020). arXiv:2011.14765
Kondo, M.: The Life-Changing Magic of Tidying Up: The Japanese Art of Decluttering and Organizing. Ten Speed Press, Berkeley (2014)
Kuperberg, G.: Spiders for rank \(2\) Lie algebras. Commun. Math. Phys. 180(1), 109–151 (1996). arXiv:q-alg/9712003
Le, T.T.Q.: On Kauffman bracket Skein modules at root of unity. Algebraic. Geom. Topol. 15 (2015). arXiv:1312.3705
Lê, T.T.Q.: Quantum Teichmüller spaces and quantum trace map. J. Inst. Math. Jussieu 18(2), 249–291 (2019). arXiv:1511.06054
Lê, T.T.Q.: Triangular decomposition of skein algebras. Quantum Topol. 9(3), 591–632 (2018). arXiv:1609.04987
Lê, T.T.Q., Sikora, A.S.: Triangular decomposition Of SL(n)-Skein algebras (2020) (in preparation)
Marché, J.: The Kauffman skein algebra of a surface at \(\sqrt{-1}\). Math. Ann. 351, 347–364 (2011)
Muller, G.: Skein algebras and cluster algebras of marked surfaces. Quantum Topol. 7(3), 435–503 (2016). arXiv:1204.0020
Przytycki, J.H., Sikora, A.S.: On skein algebras and \(Sl_2({{\mathbb{C}}})\)-character varieties. Topology 39(1), 115–148 (2000). arXiv:q-alg/9705011
Przytycki, J.H., Sikora, A.S.: Skein algebras of surfaces. Trans. AMS 371, 1309–1332 (2019). arXiv:1602.07402
Sikora, A.S.: \(SL_n\)-character varieties as spaces of graphs. Trans. Am. Math. Soc. 353(7), 2773–2804 (2001). arXiv:math/9806016
Sikora, A.S.: Skein theory for \(SU(n)\)-quantum invariants. Algebraic Geom. Topol. 5, 865–897 (2005). arXiv:math/0407299
Sikora, A.S., Westbury, B.W.: Confluence theory for graphs. Algebraic Geom. Topol. 7, 439–478 (2007). arXiv:math/0609832
Thurston, D.P.: A positive basis for surface skein algebras. PNAS 111(27), 9725–9732 (2014). arXiv:1310.1959
Acknowledgements
We would like to thank Daniel Douglas, Zhe Sun and the referee of this paper for their insightful comments about the relation of this work to Fock-Goncharov theory.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Frohman, C., Sikora, A.S. SU(3)-skein algebras and webs on surfaces. Math. Z. 300, 33–56 (2022). https://doi.org/10.1007/s00209-021-02765-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02765-z