# Examples of calculations of Turaev-Reshetikhin TQFT of cobordisms with boundaries have genera greater than 1

I am studying Turaev-Reshetikhin TQFT. I describe the definition of the invariant $\tau(M)$ of a cobordism $(M, \partial_{-}M, \partial_{+}M)$ in the previous question breifly. Framings in the definition of Reshetikhin-Turaev TQFT

In many papaers or book, the only example of this invariant is just the case of a cylinder over a torus $M=T\times [0,1]$, where $T$ is a torus. In this case a cobordism is$(T \times [0, 1], T, T)$ and the top boundary is parametrized by the identity $\mathbb{id}:T \to T$ and the bottom boundary is parametrized by any homeomorphism $f: T \to T$.

I would like to know more examples, especially when $M$ is a cylinder over a closed orientable surface of genus greater than $1$. In this case, what I found difficult is that to find a special ribbon graph and show that it gives a cobordism $(M, \partial_{-}M, \partial_{+}M)$ as a result of surgery and check if the parametrizations of the boundaries are correct.

Could you give me examples of such calculations? (ex. $M$ is a cylinder over a genus 2 surface with identity parametrization on top boundary and "non trivial" parametrization on the bottom boundary.)

-

Note that all calculations of this program are performed using the skein theory approach, as described in Turaev Ch. XII. Off the top of my head, the only explicit non-torus and non-computer assisted calculations of the quantum representations I remember seeing are for the four-holed sphere (cf. Masbaum, An element of infinite order in TQFT-representations of mapping class groups, Andersen-Masbaum-Ueno, Topological quantum field theory and the Nielsen-Thurston classification of $M(0,4)$, Laszlo, Pauly, Sorger - On the monodromy of the Hitchin connection). By the factorization properties of the TQFT/the quantum representations, this then gives example calculations for all surfaces of genus $g \geq 2$, as the four-holed sphere embeds in such.
Now, a different family of examples is provided by complements of links in $S^3$, i.e. 3-manifolds having boundary a disjoint union of tori. Here, in the modular category corresponding to, say $U_q(\mathfrak{sl}_N)$ or the one arising from the HOMFLY polynomial (cf. Blanchet - Hecke algebras, modular categories and 3-manifold quantum invariants), knowing the vector in the vector space associated to (a disjoint union of) tori corresponding to the knot complement more or less boils down to understanding the coloured HOMFLY invariants of the link in question, as the vector space of the torus has a basis of handlebodies containing longitudinal (coloured) links, and these link invariants have been considered by several people (in particular in the case $N = 2$).