Reshetikhin–Turaev invariant

In the mathematical field of quantum topology, the Reshetikhin–Turaev invariants (RT-invariants) are a family of quantum invariants of framed links. Such invariants of framed links also give rise to invariants of 3-manifolds via the Dehn surgery construction. These invariants were discovered by Nicolai Reshetikhin and Vladimir Turaev in 1991,^[1] and were meant to be a mathematical realization of Witten's proposed invariants of links and 3-manifolds using quantum field theory.^[2]

Overview

To obtain an RT-invariant, one must first have a ${\displaystyle \Bbbk }$-linear ribbon category at hand. Each ${\displaystyle \Bbbk }$-linear ribbon category comes equipped with a diagrammatic calculus in which morphisms are represented by certain decorated framed tangle diagrams, where the initial and terminal objects are represented by the boundary components of the tangle. In this calculus, a (decorated framed) link diagram ${\displaystyle L}$, being a (decorated framed) tangle without boundary, represents an endomorphism of the monoidal identity (the empty set in this calculus), or in other words, an element of ${\displaystyle \Bbbk }$. This element of ${\displaystyle \Bbbk }$ is the RT-invariant associated to ${\displaystyle L}$. Given any closed oriented 3-manifold ${\displaystyle M}$, there exists a framed link ${\displaystyle L}$ in the 3-sphere ${\displaystyle S^{3}}$ so that ${\displaystyle M}$ is homeomorphic to the manifold ${\displaystyle M_{L}}$ obtained by surgering ${\displaystyle S^{3}}$ along ${\displaystyle L}$. Two such manifolds ${\displaystyle M_{L}}$ and ${\displaystyle M_{L^{\prime }}}$ are homeomorphic if and only if ${\displaystyle L}$ and ${\displaystyle L^{\prime }}$ are related by a sequence of Kirby moves. Reshetikhin and Turaev ^[1] used this idea to construct invariants of 3-manifolds by combining certain RT-invariants into an expression which is invariant under Kirby moves. Such invariants of 3-manifolds are known as Witten–Reshetikhin–Turaev invariants (WRT-invariants).

Examples

Let ${\displaystyle A}$ be a ribbon Hopf algebra over a field ${\displaystyle \Bbbk }$ (one can take, for example, any quantum group over ${\displaystyle \mathbb {C} }$). Then the category ${\displaystyle {\textbf {Rep}}^{\text{f.d.}}(A)}$, of finite dimensional representations of ${\displaystyle A}$, is a ${\displaystyle \Bbbk }$-linear ribbon category.^[3] There is a diagrammatic calculus in which morphisms in ${\displaystyle {\textbf {Rep}}^{\text{f.d.}}(A)}$ are represented by framed tangle diagrams with each connected component decorated by a finite dimensional representation of ${\displaystyle A}$. That is, ${\displaystyle {\textbf {Rep}}^{\text{f.d.}}(A)}$ is a ${\displaystyle \Bbbk }$-linear ribbon category. In this way, each ribbon Hopf algebra ${\displaystyle A}$ gives rise to an invariant of framed links colored by representations of ${\displaystyle A}$ (an RT-invariant).

For the quantum group ${\displaystyle A=U_{q}({\mathfrak {sl}}_{2}(\mathbb {C} ))}$ over the field ${\displaystyle \mathbb {C} (q)}$, the corresponding RT-invariant for links and 3-manifolds gives rise to the following family of link invariants, appearing in skein theory. Let ${\displaystyle L}$ be a framed link in ${\displaystyle S^{3}}$ with ${\displaystyle m}$ components. For each ${\displaystyle r\in \mathbb {N} }$, let ${\displaystyle {\text{RT}}_{r}(S^{3},L)}$ denote the RT-invariant obtained by decorating each component of ${\displaystyle L}$ by the unique ${\displaystyle N+1}$-dimensional representation of ${\displaystyle A}$. Then

${\displaystyle \operatorname {RT} _{r}(S^{3},L)=\langle e_{n},e_{n},\dots ,e_{n}\rangle _{L}\in \mathbb {C} (q)}$

where the ${\displaystyle m}$-tuple, ${\displaystyle \langle e_{n},e_{n},\dots ,e_{n}\rangle _{L}}$ denotes the Kauffman polynomial of the link ${\displaystyle L}$, where each of the ${\displaystyle m}$ components is cabled by the Jones–Wenzl idempotent ${\displaystyle e_{n}}$, a special element of the Temperley–Lieb algebra.

To define the corresponding WRT-invariant for 3-manifolds, first of all we choose ${\displaystyle t}$ to be either a ${\displaystyle 2r}$-th root of unity or an ${\displaystyle r}$-th root of unity with odd ${\displaystyle r}$. Assume that ${\displaystyle M_{L}}$ is obtained by doing Dehn surgery on a framed link ${\displaystyle L}$. Then the RT-invariant for the 3-manifold ${\displaystyle M}$ is defined to be

${\displaystyle \operatorname {RT} _{r}(M_{L})=\langle \omega _{r}\rangle _{O^{+}}^{b_{-}}\langle \omega _{r}\rangle _{O^{-}}^{b_{+}}\langle \omega _{r},\omega _{r},\dots ,\omega _{r}\rangle _{L}(t)\in \mathbb {C} ,}$

where ${\displaystyle \omega _{r}=\sum _{n=0}^{r-2}\langle e_{n}\rangle _{O}e_{n}}$ is the Kirby coloring, ${\displaystyle O^{\pm }}$ are the unknot with ${\displaystyle \pm 1}$ framing, and ${\displaystyle b_{\pm }}$ are the numbers of positive and negative eigenvalues for the linking matrix of ${\displaystyle L}$ respectively. Roughly speaking, the first and second bracket ensure that ${\displaystyle {\text{RT}}_{r}(M_{L})}$ is invariant under blowing up/down (first Kirby move) and the third bracket ensures that ${\displaystyle {\text{RT}}_{r}(M_{L})}$ is invariant under handle sliding (second Kirby move).

Properties

The Witten–Reshetikhin–Turaev invariants for 3-manifolds satisfy the following properties:

1. ${\displaystyle {\text{RT}}_{r}(M\#N)={\text{RT}}_{r}(M){\text{RT}}_{r}(N),}$ where ${\displaystyle M\#N}$ denotes the connected sum of ${\displaystyle M}$ and ${\displaystyle N}$
2. ${\displaystyle \operatorname {RT} _{r}(-M)={\overline {{\text{RT}}_{r}(M)}},}$ where ${\displaystyle -M}$ is the manifold ${\displaystyle M}$ with opposite orientation, and ${\displaystyle {\overline {{\text{RT}}_{r}(M)}}}$ denotes the complex conjugate of ${\displaystyle \operatorname {RT} _{r}(M)}$
3. ${\displaystyle \operatorname {RT} _{r}(S^{3})=1}$

These three properties coincide with the properties satisfied by the 3-manifold invariants defined by Witten using Chern–Simons theory (under certain normalization)^[2]

Open problems

Witten's asymptotic expansion conjecture

Pick ${\displaystyle t=e^{\frac {\pi i}{r}}}$. Witten's asymptotic expansion conjecture suggests that for every 3-manifold ${\displaystyle M}$, the large ${\displaystyle r}$-th asymptotics of ${\displaystyle {\text{RT}}_{r}(M)}$ is governed by the contributions of flat connections.^[4]

Conjecture: There exists constants ${\displaystyle d_{j}\in \mathbb {Q} }$ and ${\displaystyle b_{j}\in \mathbb {C} }$ (depending on ${\displaystyle M}$) for ${\displaystyle j=0,1,\dots ,n}$ and ${\displaystyle a_{j}^{l}\in \mathbb {C} }$ for ${\displaystyle j=0,1,\dots ,n,l=1,2,\dots }$ such that the asymptotic expansion of ${\displaystyle {\text{RT}}_{r}(M)}$ in the limit ${\displaystyle r\to \infty }$ is given by

${\displaystyle \operatorname {RT} _{r}(M)\sim \sum _{j=0}^{n}e^{2\pi irq_{j}}r^{d_{j}}b_{j}\left(1+\sum _{\ell =1}^{\infty }a_{j}^{\ell }r^{-\ell }\right)}$

where ${\displaystyle q_{0}=0,q_{1},\dots q_{n}}$ are the finitely many different values of the Chern–Simons functional on the space of flat ${\displaystyle {\text{SU}}(2)}$-connections on ${\displaystyle M}$.

Volume conjecture for the Reshetikhin–Turaev invariant

The Witten's asymptotic expansion conjecture suggests that at ${\displaystyle t=e^{{\pi i}/{r}}}$, the RT-invariants grow polynomially in ${\displaystyle r}$. On the contrary, at ${\displaystyle t=e^{{2\pi i}/{r}}}$ with odd ${\displaystyle r}$, in 2018 Q. Chen and T. Yang suggested the volume conjecture for the RT-invariants, which essentially says that the RT-invariants for hyperbolic 3-manifolds grow exponentially in ${\displaystyle r}$ and the growth rate gives the hyperbolic volume and Chern–Simons invariants for the 3-manifold.^[5]

Conjecture: Let ${\displaystyle M}$ be a closed oriented hyperbolic 3-manifold. Then for a suitable choice of arguments,

${\displaystyle \lim _{r\to \infty }{\frac {4\pi }{r}}\log \left(\operatorname {RT} _{r}{\big (}M,e^{{2\pi i}/{r}}{\big )}\right)=\operatorname {Vol} (M)-i\operatorname {CS} (M)\mod \pi ^{2}i\mathbb {Z} }$

where ${\displaystyle r}$ is odd positive integer.

References

External links

• https://ncatlab.org/nlab/show/Reshetikhin-Turaev+construction