MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $Y^3$ be a handlebody with boundary $\Sigma$. By definition, there is some associated vector $v_{WRT}(Y^3)\in Z(\Sigma)$, the (finite dimensional) Hilbert space associated to $\Sigma$ by the Witten-Reshetikhin-Turaev TQFT. I'd like to understand what this vector is.

In short, $Z(\Sigma)$ is a space of sections of a line bundle over the $\mathrm{SU}(2)$ character variety of $\Sigma$. I am hoping that the section $v_{WRT}(Y^3)$ achieves its maximum value (with respect to the canonical inner product on the line bundle) on the Lagrangian submanifold of the character variety consisting of those representations which extend to $Y^3$. [EDIT: there is a good reason to believe this holds, since then high powers of the section will concentrate on this Lagrangian, giving Volume Conjecture-like convergence to the classical Lagrangian intersection theory as the level of the TQFT goes to infinity]

In more detail, let's discuss an explicit description of $Z(\Sigma)$. There is a natural line bundle $\mathcal L$ over the character variety $X:=\operatorname{Hom}(\pi_1(\Sigma),\mathrm{SU}(2))/\mathrm{SU}(2)$. There is a natural symplectic form on $X$, and choosing a complex structure on $\Sigma$ equips $X$ with a complex structure which together with the symplectic form makes $X$ a Kahler manifold. Then $Z(\Sigma)$ is the Hilbert space of square integrable holomorphic sections of $\mathcal L$ ($\mathcal L$ carries a natural inner product, and the curvature form of the induced connection coincides with the natural symplectic form on $X$).

My question is then: how can one describe $v(Y^3)\in Z(\Sigma)$? Does the corresponding section achieve its maximum value on the Lagrangian subvariety of $X$ comprised of those characters of $\pi_1(\Sigma)$ extending to characters of $\pi_1(Y)$?

Comment: answering this question for an arbitrary $3$-manifold $Y^3$ seems unlikely to yield a clean answer, since it includes as a special case calculating the value of the WRT TQFT applied to $Y$ (and the description of this requires the introduction of a whole bunch of extra stuff, e.g. surgery diagrams for $Y^3$, etc.). This is why I am restricting to the case that $Y^3$ is a handlebody, in hopes that in this special case, there is a clean answer to this question.

share|cite|improve this question
1  
You can define it up to phase. The idea Is to see your setting as a fiber Bundle over Teichmuller space. There Is a projectively flat connection That relates state spaces over different Points. Complete with stable curves. Over A surface that has been pinched down to a collection of spheres with three singular points there is a canonical vector, drag it back. – Charlie Frohman Jul 30 '11 at 21:18
    
It is even a little more complicated than Charlie says. Not only does defining the invariant of a 3-fold require extra info (framing), but vector space associated with $\Sigma$ requires extra info to define (they are all isomorphic, but to find a natural basis in which to specify $Z(y^3)$ you will have to address this. I can speak about all of this precisely in surgery / 4 fold terms, but no idea how to relate it to $SU(2)$ character varieties. If you want my spiel let me know. – Steve Sawin Oct 8 '11 at 15:03
    
See this answer to the question on PhysicsOverflow. – Dilaton Sep 12 '14 at 20:13

(Making this an answer, since it will be a little long, even though it doesn't actually answer the question.)

One thing to be aware of is that there are multiple ways to talk about this same TQFT. In particular, Reshetikhin and Touraev took a much more combinatorial point of view in defining the 3-manifold invariants. There's an entirely different way of getting at the vector space associated to a surface $\Sigma$ from the combinatorial point of view. You can take a handlebody $H$ with boundary $\Sigma$, pick a trivalent graph spine $\Gamma$ for $H$, and look at the vector space spanned by admissible colorings on $\Gamma$. You then have to work a little bit to see that different choices of $H$ and $\Gamma$ give canonically isomorphic vector spaces.

This is quite different from the description in terms of line bundles, as you described. It's not obvious that the two descriptions are isomorphic, and I'm not sure where to point you to get a proof that they are isomorphic. (Of course Witten gives a beautiful physics argument for isomorphism.)

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.