Scribd
Upload
26 views5 pages

Notes On BV

Uploaded by

Andrei Mikhailov
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
26 views5 pages

Notes On BV

Uploaded by

Andrei Mikhailov
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

1 Form Ω and Kalkman map

1.1 Brief review of Weil algebra


Let g be a Lie superalgebra, and (Cg, ∂) its cone. Remember that Cg =
g ⊕ Πg with generators La and ιa , and ∂ acts as follows:

∂ιa = La (1)

The dual of the universal enveloping algebra U Cg (a quadratic-linear alge-


bra) is a supercommutative algebra W = (U Cg)! generated by Aa and F a
with the differential dLie :
1 a b c
dLie Aa = fbc AA (2)
2
dLie F a = fbc
a b c
AF (3)

The Weil differential dW is dLie + ∂ ! where ∂ ! is the linear dual of ∂:


1 a b c
dW Aa = fbc A A + Fa (4)
2
dW F a = fbc
a b c
AF (5)

For any representation V of (Cg, ∂) consider the Koszul complex:

W ⊗V (6)

with the differential dW + R(∂). The Kalkman formula is:

(dW + R(∂)) exp (Aa R(ιa )) = (7)


= exp (Aa R(ιa )) (dW + R(∂) + Aa R(La ) + F a R(ιa ))

Suppose that g integrates to a Lie group G. Consider the map σ of


(W, dW ) to the space of PDFs on G:

σ(A) =g −1 dg (8)
σ(F ) =0 (9)

This map intertwines dW with the de Rham differential dDR on G.

1
1.2 Intertwining operator from V to PDFs on the Lie
group
The composition of Eq. (7) with R(g −1 ) gives:
(dDR + R(∂)) exp (g −1 dg)a R(ιa ) R(g −1 ) =

(10)
= exp (g −1 dg)a R(ιa ) R(g −1 ) (dDR + R(∂))


— the equality of two linear operators acting on Map(G, V ). Suppose that


we are given a linear operator
Z
:V →k (11)
Z
such that R(∂)(. . .) = 0 (12)

For any constant map v ∈ V ⊂ Map(G, V ) define:


Ωhvi ∈ Fun(ΠT G) (13)
Z
exp (g −1 dg)a R(ιa ) R(g −1 )v

Ωhvi = (14)

We have:
dDR Ωhvi = ΩhR(∂)vi (15)
Therefore v 7→ Ωhvi is an intertwining operator V → Fun(ΠT G) of repre-
sentations of (Cg, ∂).

2 A construction of equivariantly closed form


Suppose exists v0 ∈ V and a nilpotent operator ∆ : g → g such that:
R(∂)v0 = 0 (16)
R(L(ξ))v0 = R(ι(∆ξ))v0 (17)
Then:
Ω hexp (ρ(ι(a))) v0 i (18)
is Cartan equivariantly closed:
(d + ιt )Ω hexp (ρ(ι(a(t)))) v0 i = 0 (19)
provided that:
1
∆a(t) + [a(t), a(t)] = t (20)
2
2
3 Infinite-dimensional examples

v0 = ρ 1 (21)
2

a(t) = SBV + O(t) (22)

3.1 BRST
3.1.1 General nonlinear case
Consider X e Then take M = ΠT ∗ X
e ⊂ ΠT X such that d is tangent to X. e
and:
a(t) = db + I(t)
b (23)

3.1.2 Usual BRST


Suppose that a Lie supergroup H acts on X freely, and consider:

E ⊂ T X tangent space to orbits (24)

Take:
ιa ta
a(t) = Scl + db + b (25)
wherer Scl is some function on X/H. In coordinates:

a(t) = Scl (φ) + Qa φ?a + ta c?a (26)

3.2 Type A
3.2.1 General case
Suppose that X has a symplectic structure, and take M = ΠT ∗ X. Take:

a(t) = π ab φ?a φ?b + ta Ha (φ) (27)

where Ha is the Hamiltonian of the symmetry.

3
3.2.2 Usual Type A
Given a symplectic supermanifold M , consider the space of all maps

ϕ : ΠT Σ → M (28)

The space of such maps has a natural symplectic structure, defined as follows:
Z
ω(δ1 ϕ, δ2 ϕ) = ωM (δ1 ϕ, δ2 ϕ) (29)
ΠT Σ

In BV formalism we complement ϕ with the corresponding antifields ϕ? . The


solution of the Master Equation used in [?] is:
Z
SBV = π
b= πM (ϕ? , ϕ? ) (30)
ΠT Σ

−1
where πM = ωM .
We want to construct a PDF Ω on LAG which would descend to the
factorspace over the worldsheet diffeomorphisms.
Diffeomorphisms of Σ preserve the symplectic structure (29). Therefore,
we can ask, if it is true that any worldsheet vector field ξ is generated by
some Hamiltonian?
Let E be “the Euler vector field in the direction of the fiber” on ΠT Σ, in
coordinates:
∂ ∂
E = [dz] + [dz̄] (31)
∂[dz] ∂[dz̄]
where (z, [dz], z̄, [dz̄]) are coordinates on ΠT Σ. It naturally lifts to a vector
field Ê on Map(ΠT Σ, M ):

Ê ∈ Vect(Map(ΠT Σ, M )) (32)

Every point s ∈ ΠT Σ tautologically defines a linear map:

s : Map(ΠT Σ, M ) → M (33)

We define the symplectic form on the space of fields:

ω ∈ Ω2 (Map(ΠT Σ, M )) (34)
Z
ω = dµ(s) s∗ ωM (35)
ΠT Σ

4
where dµ(s) is a natural volume form on ΠT Σ. Eq. (35) is the same as Eq.
(29). The 2-form ω define by Eq. (35) is the symplectic form on the field
space Map(ΠT Σ, M ). Let us define:

α ∈ Ω1 (Map(ΠT Σ, M )) (36)
Z
1
α = dµ(s) ιÊ (s∗ ωM ) (37)
2 ΠT Σ

Notice that the measure dµ(s) has E-charge 2, therefore:

dα = ω (38)

for every ξ ∈ Vect(Σ) let ξˆ defines the vector field on Map(ΠT Σ, M ) induced
by ξ. Let us denote:
Hξ = ιξ̂ α (39)
The equivariant Ω is:
Z
Ω(g, dg, ξ) = exp(b
π + Hξ ) (40)
gL

In notations of our previous work, a(ξ) = Hξ . This can be considered the


sigma-model analogue of the Diustermaat-Heckman integration.

You might also like