Batalin-Vilkovisky formalism
Quantum field theory is extended to include purely virtual “cloud sectors”, which allow us to define point-dependent observables, including a gauge invariant metric and gauge invariant matter fields, and calculate their off-shell correlation functions perturbatively in quantum gravity. Each extra sector is made of a cloud field, its anticommuting partner, a cloud function and a cloud Faddeev-Popov determinant. Thanks to certain cloud symmetries, the ordinary correlation functions and S matrix elements are unmodified. The clouds are rendered purely virtual, to ensure that they do not propagate unwanted degrees of freedom. So doing, the off-shell, diagrammatic version of the optical theorem holds and the extended theory is unitary. Every insertion in a correlation function can be dressed with its own cloud. The one-loop two-point functions of dressed scalars, vectors and gravitons are calculated. Their absorptive parts are positive, cloud independent and gauge independent, while they are unphysical if non purely virtual clouds are used. Renormalizability is proved to all orders by means of an extended Batalin-Vilkovisky formalism and its Zinn-Justin master equations. The purely virtual approach is compared to other approaches available in the literature.
We extend quantum field theory by including purely virtual “cloud” sectors, which allow us to define physical off-shell correlation functions of gauge invariant quark and gluon fields. Thanks to certain “cloud symmetries”, the new sectors do not change the fundamental physics. In particular, the ordinary correlation functions and the S matrix amplitudes remain the same. Each cloud sector is made of a cloud field, its anticommuting partner, a cloud function and a cloud Faddeev-Popov determinant. Every field insertion in a correlation function can be made gauge invariant by dressing it with an independent cloud. The cloud sectors are rendered purely virtual, to ensure that they do not propagate extra degrees of freedom. The off-shell, diagrammatic version of the optical theorem holds, and the extended theory is unitary. The one-loop two-point functions of the dressed quarks and gluons are calculated. Their absorptive parts are gauge independent, cloud independent and positive (while they are cloud dependent and possibly negative, if the clouds are defined by means of the Feynman prescription). A gauge/cloud duality simplifies the computations and shows that the gauge choice is just a particular cloud. Renormalizability is proved to all orders by means of an extended Batalin-Vilkovisky formalism and its Zinn-Justin master equations. We compare the purely virtual approach with the Coulomb nonlocal dressing of Dirac for QED, and the one of Lavelle and McMullan for non-Abelian gauge theories. We also comment on the use of Wilson lines and ‘t Hooft composite fields.
We study some properties of the canonical transformations in classical mechanics and quantum field theory and give a number of practical formulas concerning their generating functions. First, we give a diagrammatic formula for the perturbative expansion of the composition law around the identity map. Then, we propose a standard way to express the generating function of a canonical transformation by means of a certain “componential” map, which obeys the Baker-Campbell-Hausdorff formula. We derive the diagrammatic interpretation of the componential map, work out its relation with the solution of the Hamilton-Jacobi equation and derive its time-ordered version. Finally, we generalize the results to the Batalin-Vilkovisky formalism, where the conjugate variables may have both bosonic and fermionic statistics, and describe applications to quantum field theory.
Eur. Phys. J. C 76 (2016) 49 | DOI: 10.1140/epjc/s10052-015-3874-y
We investigate the background field method with the Batalin-Vilkovisky formalism, to generalize known results, study parametric completeness and achieve a better understanding of several properties. In particular, we study renormalization and gauge dependence to all orders. Switching between the background field approach and the usual approach by means of canonical transformations, we prove parametric completeness without making use of cohomological theorems, namely show that if the starting classical action is sufficiently general all divergences can be subtracted by means of parameter redefinitions and canonical transformations. Our approach applies to renormalizable and non-renormalizable theories that are manifestly free of gauge anomalies and satisfy the following assumptions: the gauge algebra is irreducible and closes off shell, the gauge transformations are linear functions of the fields, and closure is field-independent. Yang-Mills theories and quantum gravity in arbitrary dimensions are included, as well as effective and higher-derivative versions of them, but several other theories, such as supergravity, are left out.
Phys. Rev. D 89 (2014) 045004 | DOI: 10.1103/PhysRevD.89.045004
Let $S(\Phi,U,K,K_{U})$ denote the solution of the master equation $(S,S)=0$, where $\{\Phi ^{A},U\}$ are the fields and $\{K_{A},K_{U}\}$ are the sources coupled to the $\Phi ^{A}$- and $U$-gauge transformations. If we replace $U$ with the solution $U^{*}(\Phi ,K,K_{U})$ of the $U$-field equations
\begin{equation}
\frac{\delta _{r}S}{\delta U}=0,
\end{equation}
then the action
\begin{equation}
S^{*}(\Phi ,K,K_{U})=S(\Phi ,U^{*}(\Phi ,K,K_{U}),K,K_{U})
\end{equation}
satisfies the master equation $(S^{*},S^{*})=0$ in the reduced set of fields and sources $\Phi,K$.