SwissMAP Logo
Log in
  • About us
    • Organization
    • Professors
    • Senior Researchers
    • Postdocs
    • PhD Students
    • Alumni
  • News & Events
    • News
    • Events
    • Online Events
    • Videos
    • Newsletters
    • Press Coverage
    • Perspectives Journal
    • Interviews
  • Research
    • Basic Notions
    • Phase III Directions
    • Phases I & II Projects
    • Publications
    • SwissMAP Research Station
  • Awards, Visitors & Vacancies
    • Awards
    • Innovator Prize
    • Visitors
    • Vacancies
  • Outreach & Education
    • Masterclasses & Doctoral Schools
    • Mathscope
    • Maths Club
    • Athena Project
    • ETH Math Youth Academy
    • SPRING
    • Junior Euler Society
    • General Relativity for High School Students
    • Outreach Resources
    • Exhibitions
    • Previous Programs
    • Events in Outreach
    • News in Outreach
  • Equal Opportunities
    • Mentoring Program
    • Financial Support
    • SwissMAP Scholars
    • Events in Equal Opportunities
    • News in Equal Opportunities
  • Contact
    • Corporate Design
  • Basic Notions
  • Phase III Directions
  • Phases I & II Projects
  • Publications
  • SwissMAP Research Station

Constrained systems, generalized Hamilton-Jacobi actions, and quantization

Alberto S. Cattaneo, Pavel Mnev, Konstantin Wernli

7/1/21 Published in : arXiv:2012.13270

Mechanical systems (i.e., one-dimensional field theories) with constraints are the focus of this paper. In the classical theory, systems with infinite-dimensional targets are considered as well (this then encompasses also higher-dimensional field theories in the hamiltonian formalism). The properties of the Hamilton-Jacobi (HJ) action are described in details and several examples are explicitly computed (including nonabelian Chern-Simons theory, where the HJ action turns out to be the gauged Wess-Zumino-Witten action). Perturbative quantization, limited in this note to finite-dimensional targets, is performed in the framework of the Batalin-Vilkovisky (BV) formalism in the bulk and of the Batalin-Fradkin-Vilkovisky (BFV) formalism at the endpoints. As a sanity check of the method, it is proved that the semiclassical contribution of the physical part of the evolution operator is still given by the HJ action. Several examples are computed explicitly. In particular, it is shown that the toy model for nonabelian Chern-Simons theory and the toy model for 7D Chern-Simons theory with nonlinear Hitchin polarization do not have quantum corrections in the physical part (the extension of these results to the actual cases is discussed in the companion paper [arXiv:2012.13983]). Background material for both the classical part (symplectic geometry, generalized generating functions, HJ actions, and the extension of these concepts to infinite-dimensional manifolds) and the quantum part (BV-BFV formalism) is provided.

Entire article

Phase I & II research project(s)

  • Field Theory
  • Geometry, Topology and Physics

Experimental relativistic zero-knowledge proofs

Quantum Chern-Simons theories on cylinders: BV-BFV partition functions

  • Leading house

  • Co-leading house


The National Centres of Competence in Research (NCCRs) are a funding scheme of the Swiss National Science Foundation

© SwissMAP 2025 - All rights reserved