nLab
BV theory

Idea

BV theory is the answer to the second of two different questions:

• Hamiltonian BFV: taking quotients of constraint surfaces in Poisson manifolds by group actions and more generally by the foliation determined by first class constraints;

• Lagrangian BV: integrating forms over NQ-supermanifolds.

Hamiltonian BFV

The F is for Fradkin. In this context, the BFV-complex is a homological resolution of the problem of taking quotients of symplectic manifolds by group actions.

Question: Can you explain more about this? What do you mean by a “homological resolution of the problem”? Is there a nice example? I went over the blog entry but it seemed to talk about symplectic/Poisson reduction in its own right and didn’t yet make the link with the BV formalism. (Bruce)

(Jim) Thanks, Bruce. My initial edit here is just to set the record straight - BV $\ne$ BFV. Will expand further and try to answer your query.

See homological resolution.

Comment: Kevin Costello is preparing a book on Renormalization of quantum field theories, available on his webpage. He has a section entitled The BV construction as symplectic reduction . Could you somehow link your explanation to that in some way?

Urs says: I have (only) a vague hunch that Lagrangian and Hamiltonian BV are related in some way by “holography” of sorts, in a way that explains why the master equation in Lagrangian BV – $\Delta \exp (S)=0$ – looks like a Schrödinger equation if one re-interprets the space of histories with the space of states of a system of one dimension higher. Some very useful observations in this regard are in S.L. Lyakhovich, A.A. Sharapov, Quantization of Donaldson-Uhlenbeck-Yau theory arXiv, which I talk about at the end of this.

(Jim) I would hope they were related by a homological version of the usual Hamiltonian - Lagrangian correspondence.

Poisson/symplectic reduction

• Basics of Poisson reduction (blog)

• Alejandro Cabrera, Homological BV-BRST methods: from QFT to Poisson reduction (pdf)

• J. Butterfield, On symplectic reduction in classical mechanis (pdf)

Homological interpretation of BV-Poisson reduction

• Jim Stasheff, Homological Reduction of Constrained Poisson Algebras (arXiv)

• Jim Stasheff, The (secret?) homological algebra of the Batalin-Vilkovisky approach (arXiv)

The latter is NOT in a Poisson context, any more than Lagrangians are only for symplectic manifolds.

Lagrangian BV

Idea

• Lagrangian BV-formalism is a means to describe integration over supermanifolds for NQ-supermanifolds given by $L_{\mathrm{\infty }}$-algebroids.

  Maybe nowadays?, but not originally. It was meant for Lagrangians with symmetries.

  (Recall that in the physics literture the function algebra of these NQ-supermanifolds is addressed as the BRST complex.)

The path integral in quantum field theory is supposed to be the integral over a space $X$ of field configurations using a measure $d{\mu }_S$ which is conceived in the form

$${\mu }_S(\varphi )=\exp (\frac{i}{\hslash }S(\varphi ))\mu (\varphi )\varphi \in X,$$\mu_S(\phi) = \exp(\frac{i}{\hbar} S(\phi)) \mu(\phi) \;\;\;\; \phi \in X \,,

for $\mu$ some other measure and $S:X\to ℝ$ the action functional.

If one thinks of $X$ as an ordinary $(d<\mathrm{\infty })$-dimensional smooth manifold, $d{\mu }_S$ will be given by a volume form, ${\mu }_S\in {\Omega }^d(X)$. By contraction of multivector fields with forms, every choice of volume form on $X$ induces an isomorphism between differential forms and multivectors

$$\mu :{\Omega }^{•}(X)\stackrel{\simeq }{\to }{\wedge }^{-•}\Gamma (TX),$$\mu : \Omega^\bullet(X) \stackrel{\simeq}{\to} \wedge^{-\bullet} \Gamma(T X) \,,

which is usefully thought of as reversing degrees. Under this isomorphism the deRham differential maps to a divergence operator conventionally denoted

$$\mu :d\mapsto \Delta$$\mu : d \mapsto \Delta

which interacts naturally with the canonical bracket on multivector fields: the Schouten bracket This idea can be found recalled for instance on p.3 of Willwacher, Calaque Formality of cyclic cochains.

The point to notice now is

• if we think of

  • the measure $\mu$ as some closed reference differential form on $X$;

  • the exponentiated action functional $\exp (\frac{i}{\hslash }S(-))$ as a multivector field on $X$;

  • the expression $\exp (\frac{i}{\hslash }S(-))\mu$ as the contraction of this multivector field with $\mu$

• then the BV quantum master equaton $\Delta \exp (\frac{i}{\hslash }S)=0$ says nothing but that $\exp (\frac{i}{\hslash }S(-))\mu$ is a closed differential form.

• If we furthermore take into account that in the presence of gauge symmetries the space $X$ is not a plain manifold but the $L_{\mathrm{\infty }}$-algebroid of the gauge symmetries acting on the space of fields, hence an NQ-supermanifold (whose Chevalley-Eilenberg algebra is the BRST complex), then this just says that $\exp (\frac{i}{\hslash }S)\mu$ is an integrable form in the sense of integration theory of supermanifolds.

This means that Lagrangian BV formalism is nothing but a way of describing closed differential forms on $L_{\mathrm{\infty }}$-algebroids in terms of multivectors contracted into a reference differention form. The multivectors dual to degree 0 elements in the $L_{\mathrm{\infty }}$-algebroid are the so-called ”anti-fields”, while those dual to the higher degree elements are the so-called ”anti-ghosts”.

Examples

See examples for Lagrangian BV.

Relation to groupoid cardinality

There ought to be a close relation between the integration over $L_{\mathrm{\infty }}$-algebroids using BV-formalism and the notion of groupoid cardinality for finite groupoids, which was recently generalized to a notion of volume of a Lie groupoid.

Literature

A comprehensive recent review is

• Carlo Albert, Bea Bleile and Jürg Fröhlich, Batalin-Vilkovisky Integrals in Finite Dimensions (arXiv)

Other introductions include

• D. Fiorenza, An introduction to the Batalin-Vilkovisky formalism, Lecture given at the Recontres Mathématiques de Glanon, July 2003. (arXiv)

• A. Cattaneo, From Topological Field Theory to Deformation Quantization and Reduction, ICM 2006. (pdf)

• M. Bächtold, On the finite dimensional BV formalism, 2005. (pdf)

The interpretation of the BV quantum master equation as a description of closed differential forms acting as measures on infinite-dimensional spaces of fields is described in

• E. Witten, A note on the antibracket formalism Modern Physics Letters A, 5 7, 487–494 (scan)

Related entries

• homotopy BV algebra

Further discussion

We had a discussion of some aspects of BV-formalism over at the $n$-Category Café at Frobenius Algebras and the BV Formalism.