Geometric formulation of the Covariant Phase Space methods with boundaries

Abstract

We analyze in full-detail the geometric structure of the covariant phase space (CPS) of any local field theory defined over a space-time with boundary. To this end, we introduce a new frame: the "relative bicomplex framework". It is the result of merging an extended version of the "relative framework" (initially developed in the context of algebraic topology by R.~Bott and L.W.~Tu in the 1980s to deal with boundaries) and the variational bicomplex framework (the differential geometric arena for the variational calculus). The relative bicomplex framework is the natural one to deal with field theories with boundary contributions, including corner contributions. In fact, we prove a formal equivalence between the relative version of a theory with boundary and the non-relative version of the same theory with no boundary. With these tools at hand, we endow the space of solutions of the theory with a (pre)symplectic structure canonically associated with the action and which, in general, has boundary contributions. We also study the symmetries of the theory and construct, for a large group of them, their Noether currents, and charges. Moreover, we completely characterize the arbitrariness (or lack thereof for fiber bundles with contractible fibers) of these constructions. This clarifies many misconceptions about the role of the boundary terms in the CPS description of a field theory. Finally, we provide what we call the CPS-algorithm to construct the aforementioned (pre)symplectic structure and apply it to some relevant examples.

References in corpus (2)

• Setting the boundary free in AdS/CFT
• Surface charge algebra in gauge theories and thermodynamic integrability

Cited by in corpus (33)

• The Weyl BMS group and Einstein's equations
• Extended corner symmetry, charge bracket and Einstein's equations
• Conservation and Integrability in Lower-Dimensional Gravity
• Edge modes as reference frames and boundary actions from post-selection
• Edge modes as dynamical frames: charges from post-selection in generally covariant theories
• Chiral Massive News: Null Boundary Symmetries in Topologically Massive Gravity
• Brown-York charges with mixed boundary conditions
• Wald-Zoupas prescription with (soft) anomalies
• Finite Charges from the Bulk Action
• Bundle geometry of the connection space, covariant Hamiltonian formalism, the problem of boundaries in gauge theories, and the dressing field method
• Covariant phase space for gravity with boundaries: metric vs tetrad formulations
• Covariant canonical formulations of classical field theories
• Proof of the equivalence of the symplectic forms derived from the canonical and the covariant phase space formalisms
• Corner symmetry and quantum geometry
• Palatini gravity with nonmetricity, torsion, and boundaries in metric and connection variables
• Metriplectic geometry for gravitational subsystems
• The dressing field method for diffeomorphisms: a relational framework
• Symmetries and Covariant Poisson brackets on pre-symplectic manifolds
• On the on-shell equivalence of general relativity and Holst theories with nonmetricity, torsion, and boundaries
• On the covariant formulation of gauge theories with boundaries
• The Geometry of the solution space of first order Hamiltonian field theories I: from particle dynamics to free Electrodynamics
• From spacetime thermodynamics to Weyl transverse gravity
• Corner Structure of Four-Dimensional General Relativity in the Coframe Formalism
• Canonical aspects of pregeometric vector-based first order gauge theory
• Three roads to the geometric constraint formulation of gravitational theories with boundaries
• On covariant and canonical Hamiltonian formalisms: Weakly Isolated Horizons
• Spontaneous particle creation by oscillating compact stars
• Dynamical time and Ashtekar variables for the Husain-Kuchař model
• Barnich-Troessaert Bracket as a Dirac Bracket on the Covariant Phase Space
• Gravity from thermodynamics in vacuum: Lorentz invariance and the role of Bel-Robinson tensor
• Phase space for gravity with boundaries
• Noether currents in theories with higher derivatives and theories with differential field transformation in action (DFTA)
• Consistent and non-consistent deformations of gravitational theories