Reshetikhin-Turaev as a 3-2-1-theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T11:52:21Z http://mathoverflow.net/feeds/question/86120 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86120/reshetikhin-turaev-as-a-3-2-1-theory Reshetikhin-Turaev as a 3-2-1-theory Ulrich Pennig 2012-01-19T17:50:38Z 2012-01-21T19:32:34Z <p>I keep reading that the Reshetikhin-Turaev construction actually yields a 3-2-1 tqft. I know the construction that associates to a suitably decorated surface a vector space built up from a hom-space in a modular tensor category and to a decorated 3-manifold a linear map between these vector spaces as described in the book by Bakalov and Kirillov or in Turaev's blue book. </p> <p>But to obtain a 3-2-1 theory, I would need a 2-category first. I suppose in this case this would be the category of all small linear categories. What I don't see is, how the Reshetikhin-Turaev construction associates a functor to surfaces and a natural transformation to 3-cobordisms. Or is this the wrong way to think about this?</p> <p>I have the feeling that this was probably already asked and answered here, but I could not find it. If so, sorry.</p> http://mathoverflow.net/questions/86120/reshetikhin-turaev-as-a-3-2-1-theory/86127#86127 Answer by Hiro Lee Tanaka for Reshetikhin-Turaev as a 3-2-1-theory Hiro Lee Tanaka 2012-01-19T18:41:48Z 2012-01-20T21:31:15Z <p>Hi Ulrich,</p> <p>I think that's a good way to think about it. There's also a good reason why we have the associations</p> <blockquote> <p><em>1-manifold &lt;--> Linear Category</em></p> <p><em>2-manifolds F &lt;--> Functors &lt;--> Vector Spaces (when F is closed)</em></p> <p><em>3-manifolds X &lt;--> Natural Transformations &lt;--> Numbers (when X is closed),</em></p> </blockquote> <p>which I can try to answer now. In what follows, I'll let $Z$ be the topological field theory. It's a functor</p> <p>$Z: Cob_1^3 \to LinearCat$</p> <p>between 2-categories, in your language. What the Reshetikhin-Turaev TFT assigns to the circle should be the linear category of fixed-level, positive energy representations of a loop group, or the linear category of (certain) representations of a quantum group. But those details won't matter for these general comments:</p> <p><strong>(Surfaces)</strong> First you should pin down what you mean by a morphism in the category of linear categories. (i.e., What kinds of functors you want to allow.) If you impose, for instance, the condition that all morphisms must preserve finite colimits, then you see that a functor</p> <p>$Z(F): Vect --> Vect$</p> <p>is determined completely by what $Z(F)$ does to the one-dimensional vector space $k$. So $Z(F)(k) \cong V$ for some vector space $V$, and one can simply think of $Z(F)$ as $V$ itself. Vect is the unit in linear categories, so a closed surface (a cobordism from the empty manifold to the empty manifold) is hence assigned a vector space. </p> <p><strong>(3-manifolds)</strong> Now a natural transformation from $Z(F)$ to $Z(F')$ is given by a map of vector spaces. When the three manifold is closed, its boundaries F and F' are both empty manifolds. These are assigned the 1-dimensional vector space $k \cong Z(\emptyset)$, which is the unit in the category of functors from Vect to Vect. (Tensor product of vector spaces gives rise to a monoidal structure on the category of functors from Vect to itself.) Hence a natural transformation corresponds to a a linear transformation </p> <p>$Z(X): k \to k$,</p> <p>and this is just an element of $k$, since it's determined by what it does on the unit $1 \in k$. (This is the analogue of the statement I made above about how a functor $Vect \to Vect$ is given by what it does to the unit $k \in Vect$.)</p> <p><strong>(On 3-2-1-0 and 4-3-2-1 and 4-3-2-1-0)</strong> Chern-Simons is interesting because it might extend up and it might extend down. First, to extend to zero-manifolds, there are some notes by Dan Freed from <a href="http://www.ma.utexas.edu/users/dafr/stringsmath_np.pdf" rel="nofollow">a lecture he gave at UPenn Strings this year</a>. He says that, since Chern-Simons has an anomaly, one can think of Chern-Simons as a 3-2-1-0 TFT with a twist, and he gives a concrete mathematical definition of this notion.</p> <p>Another fun direction is seeing Chern-Simons as coming from a field theory in higher dimensions. The tip of this iceberg is visible through Khovanov homology--in Khovanov, we recover a link invariant whose Euler characteristic recovers the Jones poynomial. Why is this a suggestion of extending "up?" On the one hand, the Jones polynomial comes out of $SU(2)$ Chern-Simons theory, and on the other hand, Khovanov homology assigns morphisms to cobordisms between links, where a 2-manifold inside a 4-manifold is a cobordism between embedded links. I think Witten has written about how this comes from a 5- or 6-dimensional field theory in <a href="http://arxiv.org/abs/1101.3216" rel="nofollow">this pre-print</a>, and also in a lecture at the Simons center: <a href="http://media.scgp.stonybrook.edu/video/video.php?f=20101103_4-Edward_Witten.mp4" rel="nofollow">Video</a>, <a href="http://media.scgp.stonybrook.edu/presentations/20101103_Witten_-_A_New_Look_At_Khovanov_Homology.pdf" rel="nofollow">Slides</a>. Charlie above commented about the Crane-Yetter invariant, but I don't know enough to talk about connections to that.</p> <p>PS I am using Chern-Simons and Resthetikhin-Turaev interchangeably because in my mind they are philosophically the same, but some schools may complain about this.</p> http://mathoverflow.net/questions/86120/reshetikhin-turaev-as-a-3-2-1-theory/86172#86172 Answer by Theo Johnson-Freyd for Reshetikhin-Turaev as a 3-2-1-theory Theo Johnson-Freyd 2012-01-20T05:17:27Z 2012-01-20T05:17:27Z <p>The traditional way to define Reshetikhin–Turaev's version of Chern–Simons TQFT as a 321 theory assigns to the circle the category of representations of the quantum group at fixed root of unity (depending on the level), which is equivalent to the category of positive-energy representations of the loop group (at the fixed level). Let me call this category $C$. From either picture, $C$ is a braided-monoidal category. (From the loop-group side, I believe the monoidal structure is what is called "Connes' fusion".) This monoidal structure $\otimes : C \boxtimes C \to C$ is what the functor that the TQFT assigns to a pair of pants. If I am not mistaken, the braiding corresponds to the bordism which is the mapping cylinder for the map that crosses the pant legs.</p> http://mathoverflow.net/questions/86120/reshetikhin-turaev-as-a-3-2-1-theory/86325#86325 Answer by Charlie Frohman for Reshetikhin-Turaev as a 3-2-1-theory Charlie Frohman 2012-01-21T19:32:34Z 2012-01-21T19:32:34Z <p>I really like Hiro Lee Tanaka's answer. This is just a long comment. </p> <p>The Witten-Reshitkhin-Turaev TQFT needs more data than a three-manifold, or a surface. You can decorate the three-manifolds with a framing, or a $p_1$ structure, and then decorate surfaces with a Lagrangian subspace of their first homology and an integer, and put colors on one manifolds, and the whole thing works... in theory. Actual computations are a bear. </p> <p>The most successful modes of computation descend from coloring surgery diagrams to define morphisms between reduced skein modules as can be found in the seminal paper of Habegger, Masbaum and Vogel on TQFT derived from the Kauffman bracket.</p> <p>Blanchet, C.; Habegger, N.; Masbaum, G.; Vogel, P. Topological quantum field theories derived from the Kauffman bracket. Topology 34 (1995), no. 4, 883–927. </p> <p>In practice all the extra data can be accounted for quite elegantly by accepting that the TQFT underlying WRT is four dimensional. I think this idea is due to Kevin Walker.</p> <p>The four dimensional theory is so trivial, that you can account for it with homological data, and hence decategorify the theory to get a less elegant $3$-dimensional TQFT. The ambiguities you are eliminating are in fact just scalar multiplication by a power of the central charge, which is a root of unity.</p> <p>Here is what I think the extension looks like from top down.</p> <p>Choose a level $r$</p> <p>The Crane-Yetter invariant is assigned to four manifolds.<br> The reduced Kauffman bracket skein module at level $r$ is assigned to three-manifolds. The surface $F$ is assigned the category of left modules over the reduced Kauffman bracket skein algebra of the surface. The morphisms in the category correspond to four dimensional cobordisms. A one manifold is assigned a $2$-category. The objects are relative reduced skein modules of three manifolds, so that there is a disk in the boundary of the three-manifold for each circle in the one manifold, inside of which is an oriented arc that is the boundary of relative skeins. The morphisms come from gluing three manifolds along the complement of the disk, and are induced by including relative skein modules. The two morphisms are given by morphisms between the reduced skein modules induced by surgery diagrams corresponding to the four manifolds.</p> <p>Pretty sketchy.</p> <p>Practically speaking, current interest in quantum invariants is focused on their asymptotic behavior as the level goes to infinity. Generally people are focused on the magnitude of the invariants not the phase, so all the fancy book keeping to keep track of phase to get a three-dimensional theory is wasted effort. </p>