The perturbation of the differential in the passage from a classical BV-complex to a quantum BV-complex is called a BV-Laplacian. As discussed at BV-complex the BV Laplacian is a homological incarnation of a measure.


In the archetypical example of the BV-complex of a smooth manifold of finite dimension nn and equipped with a volume form volvol, the BV-Laplacian is the operation on multivector fields which is the image of the de Rham differential under the isomorphism between multivector fields and differential forms induced by contraction with the volume form.

Specifically over a Cartesian space n\mathbb{R}^n with its canonical volume form and with {x i,ξ i}\{x^i, \xi_i\} the canonical basis elements of the algebra of multivectorfields, the BV-Laplacian has the expression

Δ= i=1 nx iξ i \Delta = \sum_{i = 1}^n \frac{\partial}{ \partial x^i} \frac{\partial}{\partial \xi_i}

(it differentiates the function and “removes a vector field” for each derivative, being the dual operation to “wedging with dx id x^i”).

BV-BRST formalism

action functionalkinetic actioninteractionpath integral measure
exp(S(ϕ))μ=\exp(-S(\phi)) \cdot \mu = exp((ϕ,Qϕ))\exp(-(\phi, Q \phi)) \cdotexp(I(ϕ))\exp(I(\phi)) \cdotμ\mu
BV differentialelliptic complex +antibracket with interaction +BV-Laplacian
d q=d_q =QQ +{I,}\{I,-\} +Δ\hbar \Delta


See at BV-BRST formalism for general references.

Discussion of the BV-operation in renormalization and effective field theory is in section 10.1 of

Last revised on January 13, 2021 at 09:56:27. See the history of this page for a list of all contributions to it.