Chern-Simons path integrals in \(S^2\times S^1\) (Q901442)

Summary: Using torus gauge fixing, \textit{A. Hahn} [J. Geom. Phys. 58, No. 9, 1124--1136 (2008; Zbl 1153.53020)] wrote down an expression for a Chern-Simons path integral to compute the Wilson Loop observable, using the Chern-Simons action \(S_{\mathrm{CS}}^\kappa\), \(\kappa\) is some parameter. Instead of making sense of the path integral over the space of \(\mathfrak g\)-valued smooth 1-forms on \(S^2\times S^1\), we use the Segal Bargmann transform to define the path integral over \(B_i\), the space of \(\mathfrak g\)-valued holomorphic functions over \(\mathbb C^2\times\mathbb C^{i-1}\). This approach was first used by us in 2011. The main tool used is Abstract Wiener measure and applying analytic continuation to the Wiener integral. Using the above approach, we will show that the Chern-Simons path integral can be written as a linear functional defined on \(C(B_1^{\times^4}\times B_2^{\times^2},\mathbb C)\) and this linear functional is similar to the Chern-Simons linear functional defined by us in 2011, for the Chern-Simons path integral in the case of \(\mathbb R^3\). We will define the Wilson Loop observable using this linear functional and explicitly compute it, and the expression is dependent on the parameter \(\kappa\). The second half of the article concentrates on taking \(\kappa\) goes to infinity for the Wilson Loop observable, to obtain link invariants. As an application, we will compute the Wilson Loop observable in the case of \(\mathrm{SU}(N)\) and \(\mathrm{SO}(N)\). In these cases, the Wilson Loop observable reduces to a state model. We will show that the state models satisfy a Jones type skein relation in the case of \(\mathrm{SU}(N)\) and a Conway type skein relation in the case of \(\mathrm{SO}(N)\). By imposing quantization condition on the charge of the link \(L\), we will show that the state models are invariant under the Reidemeister Moves and hence the Wilson Loop observables indeed define a framed link invariant. This approach follows that used in an article written by us in 2012, for the case of \(\mathbb R^3\).