No Arabic abstract
We compute partition functions of Chern-Simons type theories for cylindrical spacetimes $I times Sigma$, with $I$ an interval and $dim Sigma = 4l+2$, in the BV-BFV formalism (a refinement of the Batalin-Vilkovisky formalism adapted to manifolds with boundary and cutting-gluing). The case $dim Sigma = 0$ is considered as a toy example. We show that one can identify - for certain choices of residual fields - the physical part (restriction to degree zero fields) of the BV-BFV effective action with the Hamilton-Jacobi action computed in the companion paper [arXiv:2012.13270], without any quantum corrections. This Hamilton-Jacobi action is the action functional of a conformal field theory on $Sigma$. For $dim Sigma = 2$, this implies a version of the CS-WZW correspondence. For $dim Sigma = 6$, using a particular polarization on one end of the cylinder, the Chern-Simons partition function is related to Kodaira-Spencer gravity (a.k.a. BCOV theory); this provides a BV-BFV quantum perspective on the semiclassical result by Gerasimov and Shatashvili.
We use radial quantization to compute Chern-Simons partition functions on handlebodies of arbitrary genus. The partition function is given by a particular transition amplitude between two states which are defined on the Riemann surfaces that define the (singular) foliation of the handlebody. The final state is a coherent state while on the initial state the holonomy operator has zero eigenvalue. The latter choice encodes the constraint that the gauge fields must be regular everywhere inside the handlebody. By requiring that the only singularities of the gauge field inside the handlebody must be compatible with Wilson loop insertions, we find that the Wilson loop shifts the holonomy of the initial state. Together with an appropriate choice of normalization, this procedure selects a unique state in the Hilbert space obtained from a Kahler quantization of the theory on the constant-radius Riemann surfaces. Radial quantization allows us to find the partition functions of Abelian Chern-Simons theories for handlebodies of arbitrary genus. For non-Abelian compact gauge groups, we show that our method reproduces the known partition function at genus one.
For every ADE Dynkin diagram, we give a realization, in terms of usual fusion algebras (graph algebras), of the algebra of quantum symmetries described by the associated Ocneanu graph. We give explicitly, in each case, the list of the corresponding twisted partition functions
We consider the matrix model of $U(N)$ refined Chern-Simons theory on $S^3$ for the unknot. We derive a $q$-difference operator whose insertion in the matrix integral reproduces an infinite set of Ward identities which we interpret as $q$-Virasoro constraints. The constraints are rewritten as difference equations for the generating function of Wilson loop expectation values which we solve as a recursion for the correlators of the model. The solution is repackaged in the form of superintegrability formulas for Macdonald polynomials. Additionally, we derive an equivalent $q$-difference operator for a similar refinement of ABJ theory and show that the corresponding $q$-Virasoro constraints are equal to those of refined Chern-Simons for a gauge super-group $U(N|M)$. Our equations and solutions are manifestly symmetric under Langlands duality $qleftrightarrow t^{-1}$ which correctly reproduces 3d Seiberg duality when $q$ is a specific root of unity.
We study Chern-Simons theory on 3-manifolds M that are circle-bundles over 2-dimensional orbifolds S by the method of Abelianisation. This method, which completely sidesteps the issue of having to integrate over the moduli space of non-Abelian flat connections, reduces the complete partition function of the non-Abelian theory on M to a 2-dimensional Abelian theory on the orbifold S which is easily evaluated.
We consider the $U(1)$ Chern-Simons gauge theory defined in a general closed oriented 3-manifold $M$; the functional integration is used to compute the normalized partition function and the expectation values of the link holonomies. The nonperturbative path-integral is defined in the space of the gauge orbits of the connections which belong to the various inequivalent $U(1)$ principal bundles over $M$; the different sectors of the configuration space are labelled by the elements of the first homology group of $M$ and are characterized by appropriate background connections. The gauge orbits of flat connections, whose classification is also based on the homology group, control the extent of the nonperturbative contributions to the mean values. The functional integration is achieved in any 3-manifold $M$, and the corresponding path-integral invariants turn out to be strictly related with the abelian Reshetikhin-Turaev surgery invariants.