We show how to derive asymptotic charges for field theories on manifolds with "asymptotic" boundary, using the BV-BFV formalism. We also prove that the conservation of said charges follows naturally from the vanishing of the BFV boundary action, and show how this construction generalises Noether's procedure. Using the BV-BFV viewpoint, we resolve the controversy present in the literature, regarding the status of large gauge transformation as symmetries of the asymptotic structure. We show that even though the symplectic structure at the asymptotic boundary is not preserved under these transformations, the failure is governed by the corner data, in agreement with the BV-BFV philosophy. We analyse in detail the case of electrodynamics and the interacting scalar field, for which we present a new type of duality to a sourced two-form model.
We consider the Chern-Simons theory with Wilson lines in 3D and in 1D in the BV-BFV formalism of Cattaneo-Mnev-Reshetikhin. In particular, we allow for Wilson lines to end on the boundary of the space-time manifold. In the toy model of 1D Chern-Simons theory, the quantized BFV boundary action coincides with the Kostant cubic Dirac operator which plays an important role in representation theory. In the case of 3D Chern-Simons theory, the boundary action turns out to be the odd (degree 1) version of the BF model with source terms for the B field at the points where the Wilson lines meet the boun…
We report a rigorous quantization of topological quantum mechanics on $\mathbb{R}_{\geqslant 0}$ and $\mathbf{I}= [0, 1]$ in perturbative BV-BFV formalism. Costello's homotopic renormalization is extended, and incorporated in our construction. Moreover, BV quantization of the same model studied in our previous work is derived from the BV-BFV quantization, leading to a comparison between different interpretations of ''state'' in these two frameworks.
These notes give an introduction to the mathematical framework of the Batalin-Vilkovisky and Batalin-Fradkin-Vilkovisky formalisms. Some of the presented content was given as a mini course by the first author at the 2018 QSPACE conference in Benasque.
We describe a globalization construction for the Rozansky-Witten model in the BV-BFV formalism for a source manifold with and without boundary in the classical and quantum case. After having introduced the necessary background, we define an AKSZ sigma model, which, upon globalization through notions of formal geometry extended appropriately to our case, is shown to reduce to the Rozansky-Witten model. The relations with other relevant constructions in the literature are discussed. Moreover, we split the model as a $BF$-like theory and we construct a perturbative quantization of the model in th…
The goal of this note is to give a brief overview of the BV-BFV formalism developed by the first two authors and Reshetikhin in [arXiv:1201.0290], [arXiv:1507.01221] in order to perform perturbative quantisation of Lagrangian field theories on manifolds with boundary, and present a special case of Chern-Simons theory as a new example.
We compute partition functions of Chern-Simons type theories for cylindrical spacetimes $I \times Σ$, with $I$ an interval and $\dim Σ= 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 Σ= 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 correction…
The goal of this paper is to investigate the Theta invariant --- an invariant of framed 3-manifolds associated with the lowest order contribution to the Chern-Simons partition function --- in the context of the quantum BV-BFV formalism. Namely, we compute the state on the solid torus to low degree in $\hbar$, and apply the gluing procedure to compute the Theta invariant of lens spaces. We use a distributional propagator which does not extend to a compactified configuration space, so to compute loop diagrams we have to define a regularization of the product of the distributional propagators, wh…
We show how the BV-BFV formalism provides natural solutions to descent equations, and discuss how it relates to the emergence of holographic counterparts of given gauge theories. Furthermore, by means of an AKSZ-type construction we reproduce the Chern-Simons to Wess-Zumino-Witten correspondence from infinitesimal local data, and show an analogous correspondence for BF theory. We discuss how holographic correspondences relate to choices of polarisation relevant for quantisation, proposing a semi-classical interpretation of the quantum holographic principle.
We construct a formal global quantization of the Poisson Sigma Model in the BV-BFV formalism using the perturbative quantization of AKSZ theories on manifolds with boundary and analyze the properties of the boundary BFV operator. Moreover, we consider mixed boundary conditions and show that they lead to quantum anomalies, i.e. to a failure of the (modified differential) Quantum Master Equation. We show that it can be restored by adding boundary terms to the action, at the price of introducing corner terms in the boundary operator. We also show that the quantum GBFV operator on the total space …
The present paper shows that general relativity in the Arnowitt-Deser-Misner formalism admits a BV-BFV formulation. More precisely, for any $d + 1 \not= 2$ (pseudo-) Riemannian manifold M with space-like or time-like boundary components, the BV data on the bulk induces compatible BFV data on the boundary. As a byproduct, the usual canonical formulation of general relativity is recovered in a straightforward way.
As a detailed application of the BV-BFV formalism for the quantization of field theories on manifolds with boundary, this note describes a quantization of the relational symplectic groupoid for a constant Poisson structure. The presence of mixed boundary conditions and the globalization of results is also addressed. In particular, the paper includes an extension to space-times with boundary of some formal geometry considerations in the BV-BFV formalism, and specifically introduces into the BV-BFV framework a "differential" version of the classical and quantum master equations. The quantization…
The details of Lagrangian description of irreducible integer higher-spin representations of the Poincare group with an Young tableaux $Y[\hat{s}_1,\hat{s}_2]$ having $2$ columns are considered for Bose particles propagated on an arbitrary dimensional Minkowski space-time. The procedure is based, first, on using of an auxiliary Fock space generated by Fermi oscillators (antisymmetric basis), second, on construction of the Verma module and finding auxiliary oscillator realization for $sl(2)\oplus sl(2)$ algebra which encodes the second-class operator constraints subsystem in the HS symmetry supe…
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 targe…
A geometric multisymplectic formulation of the classical BRST symmetry of constrained first-order classical field theories is described. To effect this we introduce graded analogues of the bundles and manifolds of the multisymplectic formulation of first-order field theories. The Lagrange-d'Alembert formalism is also developed in terms of the multisymplectic framework. The result is a covariant Hamiltonian BFV formalism.
We provide new insights into the contact Hamiltonian and Lagrangian formulations of dissipative mechanical systems. In particular, we state a new form of the contact dynamical equations, and we review two recently presented Lagrangian formalisms, studying their equivalence. We define several kinds of symmetries for contact dynamical systems, as well as the notion of dissipation laws, prove a dissipation theorem and give a way to construct conserved quantities. Some well-known examples of dissipative systems are discussed.
The study of the symmetry of Pais-Uhlenbeck oscillator initiated in [Nucl. Phys. B 885 (2014) 150] is continued with special emphasis put on the Hamiltonian formalism. The symmetry generators within the original Pais and Uhlenbeck Hamiltonian approach as well as the canonical transformation to the Ostrogradski Hamiltonian framework are derived. The resulting algebra of generators appears to be the central extension of the one obtained on the Lagrangian level; in particular, in the case of odd frequencies one obtains the centrally extended l-conformal Newton-Hooke algebra. In this important cas…
This paper is devoted to studying symmetries of k-symplectic Hamiltonian and Lagrangian first-order classical field theories. In particular, we define symmetries and Cartan symmetries and study the problem of associating conservation laws to these symmetries, stating and proving Noether's theorem in different situations for the Hamiltonian and Lagrangian cases. We also characterize equivalent Lagrangians, which lead to an introduction of Lagrangian gauge symmetries, as well as analyzing their relation with Cartan symmetries.
We introduce a first order description of linearized non-minimal ($n=-1$) supergravity in superspace, using the unconstrained prepotential superfield instead of the conventionally constrained super one forms. In this description, after integrating out the connection-like auxiliary superfield of first-order formalism, the superspace action is expressed in terms of a single superfield which combines the prepotential and compensator superfields. We use this description to construct the supersymmetric cubic interaction vertex $3/2-3/2-1/2$ which describes the electromagnetic interaction between tw…
We review the Schwinger-Keldysh, or in-in, formalism for studying quantum dynamics of systems out-of-equilibrium. The main motivation is to rephrase well known facts in the subject in a mathematically elegant setting, by exhibiting a set of BRST symmetries inherent in the construction. We show how these fundamental symmetries can be made manifest by working in a superspace formalism. We argue that this rephrasing is extremely efficacious in understanding low energy dynamics following the usual renormalization group approach, for the BRST symmetries are robust under integrating out degrees of f…
Preliminary results toward the analysis of the Hamiltonian structure of multifield theories describing complex materials are mustered: we involve the invariance under the action of a general Lie group of the balance of substructural interactions. Poisson brackets are also introduced in the material representation to account for general material substructures. A Hamilton-Jacobi equation suitable for multifield models is presented. Finally, a spatial version of all these topics is discussed without making use of the notion of paragon setting.
The conformal transformations corresponding to $N$-Galilean conformal symmetries, previously defined as canonical symmetry transformations on phase space, are constructed as point transformations in coordinate space.
In this paper we will present Lagrangian and Hamiltonian $k$-symplectic formalisms, we will recall the notions of symmetry and conservation law and we will define the notion of pseudosymmetry as a natural extension of symmetry. Using symmetries and pseudosymmetries, without the help of a Noether type theorem, we will obtain new kinds of conservation laws for $k$-symplectic Hamiltonian systems and $k$-symplectic Lagrangian systems.
In this paper we study symmetries, Newtonoid vector fields, conservation laws, Noether's Theorem and its converse, in the framework of the $k$-symplectic formalism, using the Frölicher-Nijenhuis formalism on the space of $k^1$-velocities of the configuration manifold. For the case $k=1$, it is well known that Cartan symmetries induce and are induced by constants of motions, and these results are known as Noether's Theorem and its converse. For the case $k>1$, we provide a new proof for Noether's Theorem, which shows that, in the $k$-symplectic formalism, each Cartan symmetry induces a conserva…
Constants of motion, Lagrangians and Hamiltonians admitted by a family of relevant nonlinear oscillators are derived using a geometric formalism. The theory of the Jacobi last multiplier allows us to find Lagrangian descriptions and constants of the motion. An application of the jet bundle formulation of symmetries of differential equations is presented in the second part of the paper. After a short review of the general formalism, the particular case of non-local symmetries is studied in detail by making use of an extended formalism. The theory is related to some results previously obtained b…
First-order general relativity in $n$ dimensions ($n \geq 3$) has an internal gauge symmetry that is the higher-dimensional generalization of three-dimensional local translations. We report the extension of this symmetry for $n$-dimensional f(R) gravity with torsion in the Cartan formalism. The new symmetry arises from the direct application of the converse of Noether's second theorem to the action principle of f(R) gravity with torsion. We show that infinitesimal diffeomorphisms can be written as a linear combination of the new internal gauge symmetry, local Lorentz transformations, and terms…
We develop the general theory of Noether symmetries for constrained systems. In our derivation, the Dirac bracket structure with respect to the primary constraints appears naturally and plays an important role in the characterization of the conserved quantities associated to these Noether symmetries. The issue of projectability of these symmetries from tangent space to phase space is fully analyzed, and we give a geometrical interpretation of the projectability conditions in terms of a relation between the Noether conserved quantity in tangent space and the presymplectic form defined on it. We…
We reformulate the standard Lagrangian formalism to a reparameterisation invariant Lagrangian formalism by means of Finsler and Kawaguchi geometry. In our formalism, various types of symmetries that appears in theories of physics are expressed geometrically by symmetries of Finsler (Kawaguchi) metric, and the conservation law of energy-momentum is a part of Euler-Lagrange equations. The application to scalar field, Dirac field, electromagnetic field and general relativity coupled to perfect fluid (added: ver.3) are discussed. By this formalism, we try to propose an alternative definition of en…
We analyze the asymptotic symmetries and their associated charges at spatial infinity in $4$-dimensional asymptotically-flat spacetimes. We use the covariant formalism of Ashtekar and Hansen where the asymptotic fields and symmetries live on the $3$-manifold of spatial directions at spatial infinity, represented by a timelike unit-hyperboloid (or de Sitter space). Using the covariant phase space formalism, we derive formulae for the charges corresponding to asymptotic supertranslations and Lorentz symmetries at spatial infinity. With the motivation of, eventually, proving that these charges ma…
Different types of transformations of a dynamical system, that are compatible with the Hamiltonian structure, are discussed making use of a geometric formalism. Firstly, the case of canonoid transformations is studied with great detail and then the properties of master symmetries are also analyzed. The relations between the existence of constants of motion and the properties of canonoid symmetries is discussed making use of a family of boundary and coboundary operators.
The multisymplectic description of Classical Field Theories is revisited, including its relation with the presymplectic formalism on the space of Cauchy data. Both descriptions allow us to give a complete scheme of classification of infinitesimal symmetries, and to obtain the corresponding conservation laws.
We review the geometric formulation of the second Noether's theorem in time-dependent mechanics. The commutation relations between the dynamics on the final constraint manifold and the infinitesimal generator of a symmetry are studied. We show an algorithm for determining a gauge symmetry which is closely related to the process of stabilization of constraints, both in Lagrangian and Hamiltonian formalisms. The connections between both formalisms are established by means of the time-evolution operator.
We discuss the role of the symmetries in photonic crystals and classify them according to the Cartan-Altland-Zirnbauer scheme. Of particular importance are complex conjugation C and time-reversal T, but we identify also other significant symmetries. Borrowing the jargon of the classification theory of topological insulators, we show that C is a particle-hole-type symmetry rather than a time-reversal symmetry if one consider the Maxwell operator in the first-order formalism where the dynamical Maxwell equations can be rewritten as a Schrödinger equation; The symmetry which implements physical t…
I investigate contractions via Kac-Moody formalism. In particular, I show how the symmetry algebra of the standard 2-D Kepler system, which was identified by Daboul and Slodowy as an infinite-dimensional Kac-Moody loop algebra, and was denoted by ${\mathbb H}_2 $, gets reduced by the symmetry breaking term, defined by the Hamiltonian \[ H(β)= \frac 1 {2m} (p_1^2+p_2^2)- \frac αr - βr^{-1/2} \cos ((ϕ-γ)/2). \] For this $H (β)$ I define two symmetry loop algebras ${\mathfrak L}_{i}(β), i=1,2$, by choosing the `basic generators' differently. These ${\mathfrak L}_{i}(β)$ can be mapped isomorphical…
One of the difficulties encountered when studying physical theories in discrete space-time is that of describing the underlying continuous symmetries (like Lorentz, or Galilei invariance). One of the ways of addressing this difficulty is to consider point transformations acting simultaneously on difference equations and lattices. In a previous article we have classified ordinary difference schemes invariant under Lie groups of point transformations. The present article is devoted to an invariant Lagrangian formalism for scalar single-variable difference schemes. The formalism is used to obtain…
