Assume that the surface $\sum$ is equipped with the structure of a smooth algebraic curve over $\mathbb{C}$. We denote by $H^0(M_\sum,\mathcal{L}^{\otimes k})$ the space of sections of $\mathcal{L}^{\otimes k}$ on $M_\sum$, where $M_\sum$ is the moduli space of semi-stable rank N bundles with trivial
determinant over $\sum$ , and $\mathcal{L}$ is the determinant line bundle on $M_\sum$. It is known that $H^0(M_\sum,\mathcal{L}^{\otimes k})$ is isomorphic to $V(\sum)$ of a $TQFT (V,Z)$ derived from the quantum group $U_q(sl_N)$ at a $(k + N)$-th root of unity. In this sense, $H^0(M_\sum,\mathcal{L}^{\otimes k})$ gives a geometric construction of such a $V(\sum)$.
How can we find a geometric way to associate a vector in $H^0(M_\sum,\mathcal{L}^{\otimes k})$ to a $3$ manifold $M$ with $\delta M = \sum$.
In physics one can obtain such vector by applying infinite dimensional analogue of geometric invariant theory and sympletic quotients of Chern-Simons integral. We would like to make mathematical sense in that argument.
Asked
Active
Viewed 218 times
4
Soutrik
- 155
- 3
-
1You might find the answr in The Geometry and Physics of Knots by M. Atiyah. – abx Jan 29 '17 at 05:16
-
1@abx Yes, I know the reference. But there it is written in "physics" sense. I am looking for some pure mathematical sense (like higher category theory, Hochschild homology etc) to construct TQFT using the space of sections of tensoring k times the determinant line bundle on the moduli space of semistable rank N bundles with trivial determinant over the surface. – Soutrik Jan 29 '17 at 06:05
-
1see http://mathoverflow.net/questions/86792/why-hasnt-anyone-proved-that-the-two-standard-approaches-to-quantizing-chern-si/185401#185401 and references there. – user25309 Jan 29 '17 at 11:44