In http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.cmp/1104202513Link, Witten claims (p. 54) that to quantize the moduli space of flat $SL(2,\mathbb{C})$ connections on a torus, one can simply quantize the cotangent bundle of a real torus and take the part invariant by the Weyl group $W$.
I agree that $T^*(T\times T)/W$ is the moduli space of flat connections on the torus. However, it seems to me that the correct symplectic form should be the following: if we parametrize $T\times T$ with coordinates $(r_1, \theta _1, r_2, \theta _2)$ (quotienting the $\theta$ coordinates appropriately) then the symplectic form $\omega$ should be induced by $dr_1\wedge dr_2+d\theta _1 \wedge d\theta _2$. This restricts to the correct symplectic form on the real torus $T\times T$ obtained by taking the $r_1 = r_2 = 1$ subspace (which appears to be the $SU(2)$ character variety with its correct symplectic structure). But this is not the symplectic form induced by the cotangent structure, which would be $\omega'=d\theta _1 \wedge dr_1 + d\theta _2 \wedge dr_2$. On the other hand $\omega'$ vanishes on the real torus corresponding to $SU(2)$ representations, and does not seem to be the form induced by the character variety, which comes equipped with a natural symplectic form.
This makes a substantial difference in quantization because $\omega'$ is exact and hence we can take the trivial line bundle for prequantization, and then in a real polarization obtain a Hilbert space $L^2(T\times T)$ (which is what Witten claims to be the quantization of the moduli space). However, if we take $\omega$ as the symplectic form, $\omega$ is non-zero in cohomology, and we will end up with a more complicated quantization.
Glorfindel
- 2.8k
- 6
- 28
- 38