By applying a variant of the TQFT constructed by Blanchet, Habegger, Masbaum, and Vogel, and using a construction of Ohtsuki, we define a module endomorphism for each knot K by using a tangle obtained from a surgery presentation of K. We show that it is strong shift equivalent to the Turaev-Viro endomorphism associated to K. Following Viro, we consider the endomorphisms that one obtains after coloring the meridian and longitude of the knot. We show that the traces of these endomorphisms encode the same information as the colored Jones polynomials of K at a root of unity. Most of the discussion is carried out in the more general setting of infinite cyclic covers of 3-manifolds.
We show that for every spherical category $\C$ with invertible dimension, the Turaev-Viro TQFT admits a splitting into blocks which come from an HQFT, called the Turaev-Viro HQFT. The Turaev-Viro HQFT has the classifying space $B\grad$ as target space, where $\grad$ is a group obtained from the category $\C$. This construction gives a reformulation of the Turaev-Viro TQFT in terms of HQFT. Furthermore the Turaev-Viro HQFT is an extension of the \emph{homotopical Turaev-Viro invariant} which splits the Turaev-Viro invariant. An application of this result is a description of the homological twis…
In this paper, we examine Kitaev's lattice model for an arbitrary complex, semisimple Hopf algebra. We prove that this model gives the same topological invariants as Turaev-Viro theory. Using the description of Turaev-Viro theory as an extended TQFT, we prove that the excited states of the Kitaev model correspond to Turaev-Viro theory on a surface with boundary.
In a previous work arXiv:0903.4512, we have built an homotopical Turaev-Viro invariant and an HQFT from the universal graduation of a spherical category. In the present paper, we show that every graduation $(G,p)$ of a spherical category $\C$ defines an homotopical Turaev-Viro invariant $HTV_{\C}^{(G,p)}$ and an HQFT $\m{H}_{\C}^{(G,p)}$. Furthermore we show that the Turaev-Viro TQFT will be split into blocks coming the HQFT $\m{H}_{\C}^{(G,p)}$. We show that this decomposition is maximal for the universal graduation of the category, which means that for every graduation $(G,p)$ the HQFT $\m{H…
This paper presents a way to estimate the Heegaard genus of a $3$-manifold using the Turaev-Viro state sum TQFT. The Turaev-Viro state sum TQFT is derived from the modular category associated to the quantum group $U_q(\mathfrak{sl}_2)$, which is unitary for some $q$ by Wenzl. Hence by Turaev and Virelizier the corresponding TQFT is unitary. We modify a proof by Garoufalidis to give a lower bound of the Heegaard genus using a unitary TQFT, and then use the software Regina to provide some known counterexamples to the rank versus genus conjecture.
In this paper we show how one can extend Turaev-Viro invariants, defined for an arbitrary spherical fusion category $C$, to 3-manifolds with corners. We demonstrate that this gives an extended TQFT which conjecturally coincides with the Reshetikhin-Turaev TQFT corresponding to the Drinfeld center $Z(C)$. In the present paper we give a partial proof of this statement.
On the asymptotic expansion of quantum invariants related to surgeries of Whitehead link I: Relative Reshetikhin-Turaev invariants and the Turaev-Viro invariants at $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{2}}}$
We give a categorical setting in which Penrose graphical calculus naturally extends to graphs drawn on the boundary of a handlebody. We use it to introduce invariants of 3-manifolds presented by Heegaard splittings. We recover Kuperberg invariants when the category comes from an involutory Hopf algebra and Turaev-Viro invariants when the category is semi-simple and spherical.
In this article, we discuss a (2+1)-dimensional topological quantum field theory, for short TQFT, with a Verlinde basis. As a conclusion of this general theory, we have a Dehn surgery formula. We show that Turaev-Viro-Ocneanu TQFT has a Verlinde basis. Several applications of this theorem are exposed. Based on Izumi's data of subfactors, we list several computations of Turaev-Viro-Ocneanu invariants for some 3-manifolds.
The Chen-Yang volume conjecture states that the growth rate of the Turaev-Viro invariants of a compact oriented $3$-manifold determines its simplicial volume. In this paper we prove that the Chen-Yang conjecture is stable under $(2n+1,2)$-cabling.
In this paper, we establish a rigorous correspondence between the two tube algebras, that one comes from the Turaev-Viro-Ocneanu TQFT introduced by Ocneanu and another comes from the sector theory introduced by Izumi, and construct a canonical isomorphism between the centers of the two tube algebras, which is a conjugate linear isomorphism preserving the products of the two algebras and commuting with the actions of SL(2,Z). Via this correspondence and the Dehn surgery formula, we compute Turaev-Viro-Ocneanu invariants from several subfactors for basic 3-manifolds including lens spaces and Bri…
We consider certain invariants of links in 3-manifolds, obtained by a specialization of the Turaev-Viro invariants of 3-manifolds, that we call colored Turaev-Viro invariants. Their construction is based on a presentation of a pair (M,L), where M is a closed oriented 3-manifold and L is an oriented link in M, by a triangulation of M such that each component of L is an edge. We analyze some basic properties of these invariants, including the behavior under connected sums of pairs away and along links. These properties allow us to provide examples of links in the three-sphere having the same HOM…
We consider the asymptotics of the Turaev-Viro and the Reshetikhin-Turaev invariants of a hyperbolic $3$-manifold, evaluated at the root of unity $\exp({2π\sqrt{-1}}/{r})$ instead of the standard $\exp({π\sqrt{-1}}/{r})$. We present evidence that, as $r$ tends to $\infty$, these invariants grow exponentially with growth rates respectively given by the hyperbolic and the complex volume of the manifold. This reveals an asymptotic behavior that is different from that of Witten's Asymptotic Expansion Conjecture, which predicts polynomial growth of these invariants when evaluated at the standard ro…
In this paper, we show that the Turaev-Viro invariant volume conjecture posed by Chen and Yang is preserved under gluings of toroidal boundary components for a family of $3$-manifolds. In particular, we show that the asymptotics of the Turaev-Viro invariants are additive under certain gluings of elementary pieces arising from a construction of hyperbolic cusped $3$-manifolds due to Agol. The gluings of the elementary pieces are known to be additive with respect to the simplicial volume. This allows us to construct families of manifolds with an arbitrary number of hyperbolic pieces such that th…
In this paper we investigate the asymptotic behavior of the colored Jones polynomials and the Turaev-Viro invariants for the figure eight knot. More precisely, we consider the $M$-th colored Jones polynomials evaluated at $(N+1/2)$-th root of unity with a fixed limiting ratio, $s$, of $M$ and $(N+1/2)$. We find out the asymptotic expansion formula (AEF) of the colored Jones polynomials of the figure eight knot with $s$ close to $1$. Nonetheless, we show that the exponential growth rate of the colored Jones polynomials of the figure eight knot with $s$ close to $1/2$ is strictly less than those…
We obtain a formula for the Turaev-Viro invariants of a link complement in terms of values of the colored Jones polynomial of the link. As an application we give the first examples for which the volume conjecture of Chen and the third named author\,\cite{Chen-Yang} is verified. Namely, we show that the asymptotics of the Turaev-Viro invariants of the Figure-eight knot and the Borromean rings complement determine the corresponding hyperbolic volumes. Our calculations also exhibit new phenomena of asymptotic behavior of values of the colored Jones polynomials that seem not to be predicted by nei…
We establish a relation between the "large r" asymptotics of the Turaev-Viro invariants $TV_r$ and the Gromov norm of 3-manifolds. We show that for any orientable, compact 3-manifold $M$, with (possibly empty) toroidal boundary, $\log |TV_r (M)|$ is bounded above by a function linear in $r$ and whose slope is a positive universal constant times the Gromov norm of $M$. The proof combines TQFT techniques, geometric decomposition theory of 3-manifolds and analytical estimates of $6j$-symbols. We obtain topological criteria that can be used to check whether the growth is actually exponential; that…
The category of finite dimensional module over the quantum superalgebra U_q(sl(2|1)) is not semi-simple and the quantum dimension of a generic U_q(sl(2|1))-module vanishes. This vanishing happens for any value of q (even when q is not a root of unity). These properties make it difficult to create a fusion or modular category. Loosely speaking, the standard way to obtain such a category from a quantum group is: 1) specialize q to a root of unity; this forces some modules to have zero quantum dimension, 2) quotient by morphisms of modules with zero quantum dimension, 3) show the resulting catego…
The Turaev-Viro invariants are a powerful family of topological invariants for distinguishing between different 3-manifolds. They are invaluable for mathematical software, but current algorithms to compute them require exponential time. The invariants are parameterised by an integer $r \geq 3$. We resolve the question of complexity for $r=3$ and $r=4$, giving simple proofs that computing Turaev-Viro invariants for $r=3$ is polynomial time, but for $r=4$ is \#P-hard. Moreover, we give an explicit fixed-parameter tractable algorithm for arbitrary $r$, and show through concrete implementation and…
We define an invariant of graphs embedded in a three-manifold and a partition function for 2-complexes embedded in a triangulated four-manifold by specifying the values of variables in the Turaev-Viro and Crane-Yetter state sum models. In the case of the three-dimensional invariant, we prove a duality formula relating its Fourier transform to another invariant defined via the coloured Jones polynomial. In the case of the four-dimensional partition function, we give a formula for it in terms of a regular neighbourhood of the 2-complex and the signature of its complement. Some examples are compu…
We work in the reduced SU(N,K) modular category as constructed recently by Blanchet. We define spin type and cohomological refinements of the Turaev-Viro invariants of closed oriented 3-manifolds and give a formula relating them to Blanchet's invariants. Roberts' definition of the Turaev-Viro state sum is exploited. Furthermore, we construct refined Turaev-Viro and Reshetikhin-Turaev TQFT's and study the relationship between them.
Turaev Viro invariants are amongst the most powerful tools to distinguish 3-manifolds: They are implemented in mathematical software, and allow practical computations. The invariants can be computed purely combinatorially by enumerating colourings on the edges of a triangulation T. These edge colourings can be interpreted as embeddings of surfaces in T. We give a characterisation of how these embedded surfaces intersect with the tetrahedra of T. This is done by characterising isotopy classes of simple closed loops in the 3-punctured disk. As a direct result we obtain a new system of coordinate…
The 3D-index of Dimofte-Gaiotto-Gukov is an interesting collection of $q$-series with integer coefficients parametrised by a pair of integers and associated to a 3-manifold with torus boundary. In this note, we explain the structure of the asymptotic expansions of the 3D-index when $q=e^{2πiτ}$ and $τ$ tends to zero (to all orders and with exponentially small terms included), and discover two phenomena: (a) when $τ$ tends to zero on a ray near the positive real axis, the horizontal asymptotics of the meromorphic 3D-index match to all orders with the asymptotics of the Turaev-Viro invariant of …
Let C be a spherical fusion category. We prove that the Turaev-Viro-Barrett-Westbury state sum invariant of 3-manifolds derived from C is equal to the Reshetikhin-Turaev surgery invariant of 3-manifolds derived from Z(C), where Z(C) is the Drinfeld-Joyal-Street center of C.
In this paper, we establish the general theory of (2+1)-dimensional topological quantum field theory (in short, TQFT) with a Verlinde basis. It is a consequence that we have a Dehn surgery formula for 3-manifold invariants for this kind of TQFT's. We will show that Turaev-Viro-Ocneanu unitary TQFT's obtained from subfactors satisfy the axioms of TQFT's with Verlinde bases. Hence, in a Turaev-Viro-Ocneanu TQFT, we have a Dehn surgery formula for 3-manifolds. It turns out that this Dehn surgery formula is nothing but the formula of the Reshetikhin-Turaev invariant constructed from a tube system,…
We define a universal state sum construction which specializes to most previously known state sums (Turaev-Viro, Dijkgraaf-Witten, Crane-Yetter, Douglas-Reutter, Witten-Reshetikhin-Turaev surgery formula, Brown-Arf). The input data for the state sum is an n-category satisfying various conditions, including finiteness, semisimplicity and n-pivotality. From this n-category one constructs an n+1-dimensional TQFT, and applying the TQFT gluing rules to a handle decomposition of an n+1-manifold produces the state sum.
Andersen, Masbaum and Ueno conjectured that certain quantum representations of surface mapping class groups should send pseudo-Anosov mapping classes to elements of infinite order (for large enough level $r$). In this paper, we relate the AMU conjecture to a question about the growth of the Turaev-Viro invariants $TV_r$ of hyperbolic 3-manifolds. We show that if the $r$-growth of $|TV_r(M)|$ for a hyperbolic 3-manifold $M$ that fibers over the circle is exponential, then the monodromy of the fibration of $M$ satisfies the AMU conjecture. Building on earlier work \cite{DK} we give broad constru…
This paper generalizes two facts about oriented 3d TFTs to the unoriented case. On one hand, it is known that oriented 3d TFTs having a topological boundary condition admit a state-sum construction known as the Turaev-Viro construction. This is related to the string-net construction of fermionic phases of matter. We show how Turaev-Viro construction can be generalized to unoriented 3d TFTs. On the other hand, it is known that the "fermionic" versions of oriented TFTs, known as Spin-TFTs, can be constructed in terms of "shadow" TFTs which are ordinary oriented TFTs with an anomalous $\mathbb{Z}…
We prove the Turaev-Viro invariants volume conjecture for a "universal" class of cusped hyperbolic 3-manifolds that produces all 3-manifolds with empty or toroidal boundary by Dehn filling. This leads to two-sided bounds on the volume of any hyperbolic 3-manifold with empty or toroidal boundary in terms of the growth rate of the Turaev-Viro invariants of the complement of an appropriate link contained in the manifold. We also provide evidence for a conjecture of Andersen, Masbaum and Ueno (AMU conjecture) about certain quantum representations of surface mapping class groups. A key step in our …
Quantum topological invariants have played an important role in computational topology, and they are at the heart of major modern mathematical conjectures. In this article, we study the experimental problem of computing large $r$ values of Turaev-Viro invariants $\mathrm{TV}_r$. We base our approach on an optimized backtracking algorithm, consisting of enumerating combinatorial data on a triangulation of a 3-manifold. We design an easily computable parameter to estimate the complexity of the enumeration space, based on lattice point counting in polytopes, and show experimentally its accuracy. …
Using Ohtsuki's method, we prove the Asymptotic Expansion Conjecture and the Volume Conjecture of the Reshetikhin-Turaev and the Turev-Viro invariants for all hyperbolic $3$-manifolds obtained by doing a Dehn-surgery along the figure-$8$ knot.
Motivated by the Turaev-Viro invariant of 3-manifolds, we construct a formal topological invariant of closed, oriented 3-manifolds involving spherical tetrahedra as an application of the asymptotic formula of 6j symbols for the Quantum Enveloping Algebra of sl(2). This invariant can be considered as a spherical version of a formal invariant of Ponzano-Regge and Korepanov defined via Euclidean tetrahedra.
The t-invariant can be considered as the Turaev-Viro invariant of order 5 computed for integer colors only. We compute all values of the t-invariant for Seifert manifolds with base sphere and three singular fibers. As a result we show that the manifolds parameters modulo five define the value of the t-invariant. Partially we show that there are 12 distinct values of the t-invariant for these manifolds. Some examples show that the t-invariant for these manifolds is not defined by the first homology group.
As an extension of Reshetikhin and Turaev's invariant, Costantino, Geer and Patureau-Mirand constructed $3$-manifold invariants in the setting of relative $G$-modular categories, which include both semisimple and non-semisimple ribbon tensor categories as examples. In this paper, we follow their method to construct a $3$-manifold invariant from Viro's $\mathfrak{gl}(1\vert 1)$-Alexander polynomial. We take lens spaces $L(7, 1)$ and $L(7, 2)$ as examples to show that this invariant can distinguish homotopy equivalent manifolds.
It has been conjectured that every $(2+1)$-TQFT is a Chern-Simons-Witten (CSW) theory labelled by a pair $(G,λ)$, where $G$ is a compact Lie group, and $λ\in H^4(BG;Z)$ a cohomology class. We study two TQFTs constructed from Jones' subfactor theory which are believed to be counterexamples to this conjecture: one is the quantum double of the even sectors of the $E_6$ subfactor, and the other is the quantum double of the even sectors of the Haagerup subfactor. We cannot prove mathematically that the two TQFTs are indeed counterexamples because CSW TQFTs, while physically defined, are not yet mat…
In this paper, we study the generalized volume conjecture for the colored Jones polynomials of links with complements containing more than one hyperbolic piece. First of all, we construct an infinite family of prime links by considering the cabling on the figure eight knot by the Whitehead chains. The complement of these links consist of two hyperbolic pieces in their JSJ decompositions. We show that at the $(N+\frac{1}{2})$-th root of unity, the exponential growth rates for the $\vec{N}$-th colored Jones polynomials for these links capture the simplicial volume of the link complements. As an …
