Constrained systems, generalized Hamilton-Jacobi actions, and quantization (Q2161916)

This paper considers the situation of 1-dimensional field theories from the viewpoint of perturbative gauge theories on manifolds with boundary, hence where the system has certain constraints. In particular, it considers properties of the Hamilton-Jacobi action within the perturbative quantization setting of the BV-BFV formalism, which is a gauge formlism for manifolds with boundary (compatible with cutting-gluing) developed recently by the first two authors together with \textit{N. Reshetikhin} in [Commun. Math. Phys. 332, No. 2, 535--603 (2014; Zbl 1302.81141); Commun. Math. Phys. 357, No. 2, 631--730 (2018; Zbl 1390.81381)]. Since they are considering the case of 1-dimensional source manifolds in this paper, the BFV formalism is applied to the endpoints (which is, in this case, the boundary of the 1-dimensional source). An interesting result of this paper is included in the explicit computation of examples, namely that the toy model for nonabelian Chern-Simons theory and the toy model for 7D Chern-Simons theory endowed with nonlinear Hitchin Polarization do not have quantum corrections in the physical part. Furthermore, they provide a concise collection of background material for the sake of completeness and better understanding.