Research
Supervisor David Jordan
In this thesis we prove skein categories can be computed by the mechanism of factorisation homology. We also use factorisation homology to compute a quantisation of the $\mathop{SL}_2$-character variety of the four--punctured sphere and punctured torus.
In the first part of this thesis, we study in detail the presentable factorisation homology of the four--punctured sphere and punctured torus with coefficients in the integrable representations of the quantum group $\mathcal{U}_q(\mathfrak{sl}_2)$. These factorisation homologies are categories of A-modules for an algebra A, and the algebra of $\mathcal{U}_q(\mathfrak{sl}_2)$-invariant endomorphisms of A gives a quantisation of the $\mathop{SL}_2$-character variety of the surface. We obtain presentations and Poincaré-Birkhoff-Witt bases for this algebra of invariants for both our example surfaces. As an application, we explicitly identify these algebras of invariants with two other quantisations of the $\mathop{SL}_2$-character variety for these surfaces: Teschner and Vartanov's quantisation of the moduli space of flat connections and the Kauffman bracket skein algebra.
In the second part of this thesis, we pursue the relation between factorisation homology and skein theory further. We prove that skein categories satisfy excision and that the skein categories of any ribbon category $\mathscr{V}$ are k-linear factorisation homologies with coefficients in $\mathscr{V}$. A corollary of this is that the free cocompletion of the skein category of the ribbon category of finite--dimensional representations of the quantum group $\mathcal{U}_q(\mathfrak{g})$ is the presentable factorisation homology with coefficients in the integrable representations of the quantum group $\mathcal{U}_q(\mathfrak{g})$. Hence, the free cocompletion of the Kauffman bracket skein category is the factorisation homology which we considered in the first part of the thesis.