# Reshetikhin–Turaev invariant

Last updated

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 o–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) [4]

## Open problems

### Witten's asymptotic expansion conjecture [5]

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.

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 [6]

The Witten's Asymptotic Expansion Conjecture suggests that at ${\displaystyle t=e^{\frac {\pi i}{r}}}$, the RT-invariants grow polynomially in ${\displaystyle r}$. On the contrary, at ${\displaystyle t=e^{\frac {2\pi i}{r}}}$ with odd ${\displaystyle r}$, in 2015 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.

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^{\frac {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.

## Related Research Articles

In linear algebra, an inner product space or a Hausdorff pre-Hilbert space is a vector space with an additional structure called an inner product. This additional structure associates each pair of vectors in the space with a scalar quantity known as the inner product of the vectors, often denoted using angle brackets. Inner products allow the rigorous introduction of intuitive geometrical notions, such as the length of a vector or the angle between two vectors. They also provide the means of defining orthogonality between vectors. Inner product spaces generalize Euclidean spaces to vector spaces of any dimension, and are studied in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces. The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898.

The quantum harmonic oscillator is the quantum-mechanical analog of the classical harmonic oscillator. Because an arbitrary smooth potential can usually be approximated as a harmonic potential at the vicinity of a stable equilibrium point, it is one of the most important model systems in quantum mechanics. Furthermore, it is one of the few quantum-mechanical systems for which an exact, analytical solution is known.

Grover's algorithm is a quantum algorithm that finds with high probability the unique input to a black box function that produces a particular output value, using just evaluations of the function, where is the size of the function's domain. It was devised by Lov Grover in 1996.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds with dimension greater than 2. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

A conformal field theory (CFT) is a quantum field theory that is invariant under conformal transformations. In two dimensions, there is an infinite-dimensional algebra of local conformal transformations, and conformal field theories can sometimes be exactly solved or classified.

The Chern–Simons theory is a 3-dimensional topological quantum field theory of Schwarz type developed by Edward Witten. It was discovered firstly by mathematical physicist Albert Schwarz. It is named after mathematicians Shiing-Shen Chern and James Harris Simons, who introduced the Chern–Simons 3-form. In the Chern–Simons theory, the action is proportional to the integral of the Chern–Simons 3-form.

In mathematics, the Chern–Weil homomorphism is a basic construction in Chern–Weil theory that computes topological invariants of vector bundles and principal bundles on a smooth manifold M in terms of connections and curvature representing classes in the de Rham cohomology rings of M. That is, the theory forms a bridge between the areas of algebraic topology and differential geometry. It was developed in the late 1940s by Shiing-Shen Chern and André Weil, in the wake of proofs of the generalized Gauss–Bonnet theorem. This theory was an important step in the theory of characteristic classes.

In mathematics, particularly in functional analysis, a projection-valued measure (PVM) is a function defined on certain subsets of a fixed set and whose values are self-adjoint projections on a fixed Hilbert space. Projection-valued measures are formally similar to real-valued measures, except that their values are self-adjoint projections rather than real numbers. As in the case of ordinary measures, it is possible to integrate complex-valued functions with respect to a PVM; the result of such an integration is a linear operator on the given Hilbert space.

In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.

A quasiprobability distribution is a mathematical object similar to a probability distribution but which relaxes some of Kolmogorov's axioms of probability theory. Although quasiprobabilities share several of general features with ordinary probabilities, such as, crucially, the ability to yield expectation values with respect to the weights of the distribution, they all violate the σ-additivity axiom, because regions integrated under them do not represent probabilities of mutually exclusive states. To compensate, some quasiprobability distributions also counterintuitively have regions of negative probability density, contradicting the first axiom. Quasiprobability distributions arise naturally in the study of quantum mechanics when treated in phase space formulation, commonly used in quantum optics, time-frequency analysis, and elsewhere.

In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : EX is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle.

In mathematics, specifically in symplectic topology and algebraic geometry, a quantum cohomology ring is an extension of the ordinary cohomology ring of a closed symplectic manifold. It comes in two versions, called small and big; in general, the latter is more complicated and contains more information than the former. In each, the choice of coefficient ring significantly affects its structure, as well.

In mathematics, Reidemeister torsion is a topological invariant of manifolds introduced by Kurt Reidemeister for 3-manifolds and generalized to higher dimensions by Wolfgang Franz (1935) and Georges de Rham (1936). Analytic torsion is an invariant of Riemannian manifolds defined by Daniel B. Ray and Isadore M. Singer as an analytic analogue of Reidemeister torsion. Jeff Cheeger and Werner Müller (1978) proved Ray and Singer's conjecture that Reidemeister torsion and analytic torsion are the same for compact Riemannian manifolds.

A symmetric, informationally complete, positive operator-valued measure (SIC-POVM) is a special case of a generalized measurement on a Hilbert space, used in the field of quantum mechanics. A measurement of the prescribed form satisfies certain defining qualities that makes it an interesting candidate for a "standard quantum measurement", utilized in the study of foundational quantum mechanics, most notably in QBism. Furthermore, it has been shown that applications exist in quantum state tomography and quantum cryptography, and a possible connection has been discovered with Hilbert's twelfth problem.

In the mathematical field of knot theory, a quantum knot invariant or quantum invariant of a knot or link is a linear sum of colored Jones polynomial of surgery presentations of the knot complement.

In physics and mathematics, and especially differential geometry and gauge theory, the Yang–Mills equations are a system of partial differential equations for a connection on a vector bundle or principal bundle. The Yang–Mills equations arise in physics as the Euler–Lagrange equations of the Yang–Mills action functional. However, the Yang–Mills equations have independently found significant use within mathematics.

In quantum information theory, the Wehrl entropy, named after Alfred Wehrl, is a classical entropy of a quantum-mechanical density matrix. It is a type of quasi-entropy defined for the Husimi Q representation of the phase-space quasiprobability distribution. See for a comprehensive review of basic properties of classical, quantum and Wehrl entropies, and their implications in statistical mechanics.

In mathematics, the Weil–Brezin map, named after André Weil and Jonathan Brezin, is a unitary transformation that maps a Schwartz function on the real line to a smooth function on the Heisenberg manifold. The Weil–Brezin map gives a geometric interpretation of the Fourier transform, the Plancherel theorem and the Poisson summation formula. The image of Gaussian functions under the Weil–Brezin map are nil-theta functions, which are related to theta functions. The Weil–Brezin map is sometimes referred to as the Zak transform, which is widely applied in the field of physics and signal processing; however, the Weil–Brezin Map is defined via Heisenberg group geometrically, whereas there is no direct geometric or group theoretic interpretation from the Zak transform.

In mathematics, Topological recursion is a recursive definition of invariants of spectral curves. It has applications in enumerative geometry, random matrix theory, mathematical physics, string theory, knot theory.

In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a physical model of some natural phenomenon.

## References

1. Reshetikhin, Nicolai, and Vladimir G. Turaev. "Invariants of 3-manifolds via link polynomials and quantum groups." Inventiones mathematicae 103.1 (1991): 547–597.
2. Witten, Edward. "Quantum field theory and the Jones polynomial." Communications in Mathematical Physics 121.3 (1989): 351-399.
3. Turaev, Vladimir G. Quantum invariants of knots and 3-manifolds. Vol. 18. Walter de Gruyter GmbH & Co KG, 2016.
4. Witten, Edward. "Quantum field theory and the Jones polynomial." Communications in Mathematical Physics 121.3 (1989): 351–399.
5. Andersen, Jørgen Ellegaard, and Søren Kold Hansen. "Asymptotics of the quantum invariants for surgeries on the figure 8 knot." Journal of Knot theory and its Ramifications 15.04 (2006): 479–548.
6. Chen, Qingtao, and Tian Yang. "Volume conjectures for the Reshetikhin–Turaev and the Turaev–Viro invariants." arXiv preprint arXiv:1503.02547 (2015).