Schreiber
Seminar on derived critical loci

Topic list and references for a seminar on BV-BRST formalism in quantum field theory and derived critical loci, spring 2011.

For background see the previous Seminar on derived differential geometry and the next Seminar on quantum field theory.


Contents

Motivation

A rich source of examples of higher geometry/derived geometry comes from quantum field theory: given an action functional S:Conf→𝔸 1S : Conf \to \mathbb{A}^1 its corresponding covariant phase space is

  1. the quotient Conf/G gaugeConf/G_{gauge} of configuration space ConfConf by the gauge symmetry group G gaugeG_{gauge};

  2. the restriction Conf dS=0/G gaugeConf^{d S = 0}/G_{gauge} to the critical locus of SS.

To make this combined colimit/limit space exist in a reasonable way, one needs to form genuine (∞,1)-colimits/(∞,1)-limits and consider the resulting object in derived geometry.

In the context of dg-geometry these homotopical reductions have been studied for a long time in the context of BV-BRST formalism . The plan is that we proceed in the following steps

  1. understand objects in dg-geometry as L-∞ algebras and L-∞ algebroids;

  2. study the traditional theory of BV-BRST formalism;

  3. re-interpret that formalism in derived geoemtry as being a model for derived critical loci;

  4. find this way a more abstract understanding for instance of the BV-algebra structure that controls this formalism.

Topics

Higher and derived Lie theory

The notion of L-∞ algebra (or strongly homotopy Lie algebra / sh Lie algebra ) is the homotopical refinement of the notion of Lie algebra. Since a Lie algebra is the algebra over an operad of the Lie operad, an L-∞ algebra is an algebra over a resolution thereof: an L-∞ operad.

By Koszul duality for operads, L ∞L_\infty-algebras 𝔀\mathfrak{g} may dually equivalently be encoded in semifree dg-algebras: the higher analogs of the Chevalley-Eilenberg algebra CE(𝔀)CE(\mathfrak{g}) of a Lie algebra. Many dg-algebraic structures appearing in the literature – such as the BRST-complex discussed below – are therefore secret incarnations of L-∞ algebras, or more generally of L-∞ algebroids if there is a nontrivial base space.

The classical correspondence between Lie algebras and (simply connected) Lie groups has analogs in ∞-Lie theory. Notably there is an operation of ∞\infty-Lie integration that sends an L-∞ algebra to the corresponding smooth ∞-groupoid that integrates it.

It turns out that at its heart, and applied to the dual CE algebras, this operation is the classical Sullivan construction in rational homotopy theory that assigns a simplicial set and hence a (rational topological space) topological space to a dg-algebra. This Sullivan construction may be thought of as producing the discrete ∞-groupoid underlying the smooth ∞-groupoid that integrates the L ∞L_\infty-algebra dual to the given dg-algebra (Hinich, Getzler09). A refinement of this construction that produces internal ∞-groupoids in Banach spaces was given in (Henriques)

This way, in turn, many dg-algebraic constructions in the literature are secretly infinitesimal models for ∞-groupoids. For instance the BRST complex discussed below is a model for the Lie algebroid that corresponds to the action groupoid of a Lie group acting on a smooth manifold.

References

The original references on L-∞ algebras are

The discussion of Lie integration of an L-∞ algebra to a discrete ∞-groupoid goes back (somewhat implicitly) to the Sullivan construction in rational homotopy theory, which has been made explicit as a construction in Lie theory in

The Lie integration to a genuinely smooth ∞-groupoid, or at least to internal ∞-groupoid in Banach spaces was described in

Derived dg-geometry: BRST-BV formalism

A simple version of higher derived geometry is dg-geometry , where spaces are modeled as formal duals to commutative dg-algebras.

We have seen above that

These two dual aspects are notably unified in derived Poisson geometry:

for (X,{βˆ’,βˆ’})(X, \{-,-\}) a Poisson manifold and IβŠ‚C ∞(X)I \subset C^\infty(X) an ideal that is closed under the Poisson bracket, the Poisson reduction of XX induced by II is the operation consisting of passage

  1. to the quotient of XX by the {I,βˆ’}\{I,-\}-action of II;

  2. to the intersection of XX with the 0-locus of II.

The result of performing both of these steps in derived dg-geometry is (somewhat informally) known as the BRST-BV complex of XX and II.

One speaks of

  1. . Lagrangian BV-formalism

  2. . Hamiltonian BV-formalism

Hamiltonian BV

References

A standard reference on homotopical Poisson reduction and BRST-BV formalism is

Lagrangian BV

Lagrangian BV-formalism is a way to restate the following simple finite-dimensional situation in terms of more general Hochschild cohomology/cyclic cohomology.

If we have an action functional exp(iS):Cβ†’S 1\exp(i S) : C \to S^1 on a finite-dimensional compact smooth manifold CC with volume form Ο‰\omega then exp(iS(βˆ’))∧vol\exp(i S(-)) \wedge vol is a closed differential form

dexp(iS)vol=0 d \exp(i S)vol = 0

whose integral

∫ Cexp(iS)∧vol \int_C \exp(i S) \wedge vol

is the path integral that defines the corresponding quantum field theory.

It was amplified in (Witten) that in the presence of the volume form we may identify differential forms with multivector fields and rephrase the closure condition on the action by what is called the master equation

Ξ”exp(iS)=0, \Delta \exp(i S) = 0 \,,

where Ξ”\Delta is the image of the de Rham differential under the isomorphism between forms and multivector fields (see multivector field) for details. Together with the canonical Schouten bracket on multivector field this makes these a BV-algebra, with Ξ”\Delta the BV-operator.

We may understand this more generally by realizing that differential forms are encoded by Hochschild homology and multivector fields by Hochschild cohomology. There is generally a BV-algebra structure on Hochschild cohomology. And for sufficiently nice spaces there is PoincarΓ© duality

HH n(A)→≃HH dimβˆ’n(A) HH_{n}(A) \stackrel{\simeq}{\to} HH^{dim- n}(A)

takes the de Rham differention to the BV-operator.

Moreover, we may understand the Hochschild homology of CC as the cohomology of the derived loop space β„’C\mathcal{L}C of CC and under this identification the BV-operator corresponds to the rotation of loops.

Accordingly, the resuling BV-algebra has an interpretation as an algebra over (the homology of) the framed little disk operad. This we discuss below.

References

A modern geometric way for describing variational calculus and Lagrangian BV-formalism has been initiated in section 2

in terms of D-geometry: the geometry over infinitesimal path ∞-groupoids?/de Rham stacks Ξ  inf(X)\mathbf{\Pi}_{inf}(X): the jet bundle of a bundle Eβ†’XE \to X is its direct image along the constant infinitesimal path inclusion Xβ†’Ξ  inf(X)X \to \mathbf{\Pi}_{inf}(X).

A useful exposition of this D-geometric way to BV-formalism with an eye on actual applications in physics is in

The formal interpretation of the Lagrangian BV-formalism is apparently due to

Geometrical aspects and BV-integration are discussed by Schwarz:

A survey discussion of the BV-algebra arising in BV-quantization is for instance in

  • C. Roger, Gerstenhaber and Batalin-Vilkovisky algebras (ps)

PoincarΓ© duality on Hochschild (co)homology

  • M. Van den Bergh, A relation between Hochschild homology and cohomology for Gorenstein rings . Proc. Amer. Math. Soc. 126 (1998), 1345–1348; (JSTOR)

    Correction: Proc. Amer. Math. Soc. 130 (2002), 2809–2810.

with more on that in

  • U. KrΓ€hmer, PoincarΓ© duality in Hochschild cohomology (pdf)

and

BV-BRST complex as the dual derived critical locus

The BV-BRST formalism was thought up long before derived geometry was fully conceived. It is in retrospect that one recognized this old construction of an example of this new geometry.

In

we give one precise version of the folklore that the BV-BRST complex indeed represents the derived critical locus of an action functional, by showing that it indeed is a homotopy fiber of dS:Conf→T *Confd S : Conf \to T^* Conf.

BV-Algebra

The rich structure of Lagrangian BRST-BV formalismes is to a large extent due to the graded Poisson algebra structure that these carry. Graded and higher Poisson algebras are sometimes known as Poisson n-algebras. A Poisson 2-algebra is a Gerstenhaber algebra.

In addition the BV-Laplacian makes this Gerstenhaber algebra a BV-algebra and a homotopy BV-algebra for higher nn.

Higher Poisson algebras turn out to have a natural origin: they are the algebras over an operad over a little disk operad. Moreover, their refinement to a homotopy BV-algebra is given by a refinement to an alfgebra over the homology of a framed little disk operad.

These little disk operads control the quantum field theory encoded by BRST-BV complexes in physics. See factorization algebra.

References

The relation of BV-algebras to framed little disk operad is due to

The generalizations to the framed little n-disk operads is discussed in

Revised on May 29, 2012 22:04:00 by Andrew Stacey (129.241.15.200)