General fluctuations of the type II pure spinor string on curved   backgrounds

Osvaldo Chandia

arXiv:1902.02289·hep-th·May 1, 2019

General fluctuations of the type II pure spinor string on curved backgrounds

Osvaldo Chandia

PDF

TL;DR

This paper reviews the construction of vertex operators for type II superstrings in the pure spinor formalism, extending from flat space to generic curved supergravity backgrounds, highlighting the formalism's applicability in complex backgrounds.

Contribution

It introduces a systematic method to construct vertex operators for type II superstrings in arbitrary curved supergravity backgrounds within the pure spinor formalism.

Findings

01

Vertex operators constructed for curved backgrounds

02

Extension of flat space formalism to generic supergravity backgrounds

03

Framework facilitates calculations in complex string backgrounds

Abstract

The general fluctuations, in the form of vertex operators, for the type II superstring in the pure spinor formalism are considered. We review the construction of these vertex operators in flat space-time. We then review the type II superstrings in curved background in the pure spinor formalism to finally construct the vertex operators on a generic type II supergravity background.

Equations144

S = \int d^{2} z \frac{1}{2} \partial X^{m} \overline{\partial} X_{m} + p_{α} \overline{\partial} θ^{α} + \overline{p}_{\overline{α}} \partial \overline{θ}^{\overline{α}} + ω_{α} \overline{\partial} λ^{α} + \overline{ω}_{\overline{α}} \partial \overline{λ}^{\overline{α}},

S = \int d^{2} z \frac{1}{2} \partial X^{m} \overline{\partial} X_{m} + p_{α} \overline{\partial} θ^{α} + \overline{p}_{\overline{α}} \partial \overline{θ}^{\overline{α}} + ω_{α} \overline{\partial} λ^{α} + \overline{ω}_{\overline{α}} \partial \overline{λ}^{\overline{α}},

Q = \oint λ^{α} d_{α} + \overline{λ}^{\overline{α}} d_{\overline{α}},

Q = \oint λ^{α} d_{α} + \overline{λ}^{\overline{α}} d_{\overline{α}},

\eqalign{&d_{\alpha}=p_{\alpha}+{1\over 2}({\gamma}^{m}{\theta})_{\alpha}{\partial}X_{m}-{1\over 8}({\gamma}^{m}{\theta})_{\alpha}({\theta}{\gamma}^{m}{\partial}{\theta}),\cr&{\overline{d}}_{\overline{\alpha}}={\overline{p}}_{\overline{\alpha}}+{1\over 2}({\gamma}^{m}{\overline{\theta}})_{\overline{\alpha}}{\overline{\partial}}X_{m}-{1\over 8}({\gamma}^{m}{\overline{\theta}})_{\overline{\alpha}}({\overline{\theta}}{\gamma}^{m}{\overline{\partial}}{\overline{\theta}}).\cr}

\eqalign{&d_{\alpha}=p_{\alpha}+{1\over 2}({\gamma}^{m}{\theta})_{\alpha}{\partial}X_{m}-{1\over 8}({\gamma}^{m}{\theta})_{\alpha}({\theta}{\gamma}^{m}{\partial}{\theta}),\cr&{\overline{d}}_{\overline{\alpha}}={\overline{p}}_{\overline{\alpha}}+{1\over 2}({\gamma}^{m}{\overline{\theta}})_{\overline{\alpha}}{\overline{\partial}}X_{m}-{1\over 8}({\gamma}^{m}{\overline{\theta}})_{\overline{\alpha}}({\overline{\theta}}{\gamma}^{m}{\overline{\partial}}{\overline{\theta}}).\cr}

\eqalign{&d_{\alpha}(y)d_{\beta}(z)\to-{1\over(y-z)}{\gamma}^{m}_{{\alpha}{\beta}}\Pi_{m}(z),\cr&{\overline{d}}_{\overline{\alpha}}({\bar{y}}){\overline{d}}_{\overline{\beta}}({\bar{z}})\to-{1\over({\bar{y}}-{\bar{z}})}{\gamma}^{m}_{{\overline{\alpha}}{\overline{\beta}}}{\overline{\Pi}}_{m}({\bar{z}}),\cr}

\eqalign{&d_{\alpha}(y)d_{\beta}(z)\to-{1\over(y-z)}{\gamma}^{m}_{{\alpha}{\beta}}\Pi_{m}(z),\cr&{\overline{d}}_{\overline{\alpha}}({\bar{y}}){\overline{d}}_{\overline{\beta}}({\bar{z}})\to-{1\over({\bar{y}}-{\bar{z}})}{\gamma}^{m}_{{\overline{\alpha}}{\overline{\beta}}}{\overline{\Pi}}_{m}({\bar{z}}),\cr}

U = λ^{α} \overline{λ}^{\overline{α}} \tenbf A_{α \overline{α}} (X, θ, \overline{θ}) .

U = λ^{α} \overline{λ}^{\overline{α}} \tenbf A_{α \overline{α}} (X, θ, \overline{θ}) .

λ^{α} λ^{β} D_{α} \tenbf A_{β \overline{α}} = 0, \overline{λ}^{\overline{α}} \overline{λ}^{\overline{β}} D_{\overline{α}} \tenbf A_{α \overline{β}} = 0,

λ^{α} λ^{β} D_{α} \tenbf A_{β \overline{α}} = 0, \overline{λ}^{\overline{α}} \overline{λ}^{\overline{β}} D_{\overline{α}} \tenbf A_{α \overline{β}} = 0,

D_{α} = \frac{\partial}{\partial θ ^{α}} + \frac{1}{2} (γ^{m} θ)_{α} \frac{\partial}{\partial X ^{m}}, D_{\overline{α}} = \frac{\partial}{\partial θ ^{\overline{α}}} + \frac{1}{2} (γ^{m} \overline{θ})_{\overline{α}} \frac{\partial}{\partial X ^{m}} .

D_{α} = \frac{\partial}{\partial θ ^{α}} + \frac{1}{2} (γ^{m} θ)_{α} \frac{\partial}{\partial X ^{m}}, D_{\overline{α}} = \frac{\partial}{\partial θ ^{\overline{α}}} + \frac{1}{2} (γ^{m} \overline{θ})_{\overline{α}} \frac{\partial}{\partial X ^{m}} .

D_{(α} \tenbf A_{β) \overline{α}} = γ_{α β}^{m} \tenbf A_{m \overline{α}}, D_{(\overline{α}} \tenbf A_{α \overline{β})} = γ_{\overline{α} \overline{β}}^{m} \tenbf A_{α m} .

D_{(α} \tenbf A_{β) \overline{α}} = γ_{α β}^{m} \tenbf A_{m \overline{α}}, D_{(\overline{α}} \tenbf A_{α \overline{β})} = γ_{\overline{α} \overline{β}}^{m} \tenbf A_{α m} .

D_{α} \tenbf A_{m \overline{α}} - \partial_{m} \tenbf A_{α \overline{α}} = (γ_{m})_{α β} \tenbf W^{β}_{\overline{α}}, D_{α} \tenbf W^{β}_{\overline{α}} = \frac{1}{4} (γ^{mn})_{α}^{β} \tenbf F_{mn \overline{α}},

D_{α} \tenbf A_{m \overline{α}} - \partial_{m} \tenbf A_{α \overline{α}} = (γ_{m})_{α β} \tenbf W^{β}_{\overline{α}}, D_{α} \tenbf W^{β}_{\overline{α}} = \frac{1}{4} (γ^{mn})_{α}^{β} \tenbf F_{mn \overline{α}},

D_{\overline{α}} \tenbf A_{α m} - \partial_{m} \tenbf A_{α \overline{α}} = (γ_{m})_{\overline{α} \overline{β}} \tenbf W_{α}^{\overline{β}}, D_{\overline{α}} \tenbf W_{α}^{\overline{β}} = \frac{1}{4} (γ^{mn})_{\overline{α}}^{\overline{β}} \tenbf F_{α mn},

D_{\overline{α}} \tenbf A_{α m} - \partial_{m} \tenbf A_{α \overline{α}} = (γ_{m})_{\overline{α} \overline{β}} \tenbf W_{α}^{\overline{β}}, D_{\overline{α}} \tenbf W_{α}^{\overline{β}} = \frac{1}{4} (γ^{mn})_{\overline{α}}^{\overline{β}} \tenbf F_{α mn},

\eqalign{&W={\overline{\lambda}}^{\overline{\alpha}}\left({\partial}{\theta}^{\alpha}{\tenbf A}_{{\alpha}{\overline{\alpha}}}+\Pi^{m}{\tenbf A}_{m{\overline{\alpha}}}+d_{\alpha}{\tenbf W}^{\alpha}{}_{\overline{\alpha}}+{1\over 2}N^{mn}{\tenbf F}_{mn{\overline{\alpha}}}\right),\cr&{\overline{W}}={\lambda}^{\alpha}\left({\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf A}_{{\alpha}{\overline{\alpha}}}+{\overline{\Pi}}^{m}{\tenbf A}_{{\alpha}m}+{\overline{d}}_{\overline{\alpha}}{\tenbf W}_{\alpha}{}^{\overline{\alpha}}+{1\over 2}{\overline{N}}^{mn}{\tenbf F}_{{\alpha}mn}\right),\cr}

\eqalign{&W={\overline{\lambda}}^{\overline{\alpha}}\left({\partial}{\theta}^{\alpha}{\tenbf A}_{{\alpha}{\overline{\alpha}}}+\Pi^{m}{\tenbf A}_{m{\overline{\alpha}}}+d_{\alpha}{\tenbf W}^{\alpha}{}_{\overline{\alpha}}+{1\over 2}N^{mn}{\tenbf F}_{mn{\overline{\alpha}}}\right),\cr&{\overline{W}}={\lambda}^{\alpha}\left({\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf A}_{{\alpha}{\overline{\alpha}}}+{\overline{\Pi}}^{m}{\tenbf A}_{{\alpha}m}+{\overline{d}}_{\overline{\alpha}}{\tenbf W}_{\alpha}{}^{\overline{\alpha}}+{1\over 2}{\overline{N}}^{mn}{\tenbf F}_{{\alpha}mn}\right),\cr}

\eqalign{V&={\partial}{\theta}^{\alpha}{\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf A}_{{\alpha}{\overline{\alpha}}}+{\partial}{\theta}^{\alpha}{\overline{\Pi}}^{m}{\tenbf A}_{{\alpha}m}-\Pi^{m}{\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf A}_{m{\overline{\alpha}}}+d_{\alpha}{\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf W}^{\alpha}{}_{\overline{\alpha}}+{\partial}{\theta}^{\alpha}{\overline{d}}_{\overline{\alpha}}{\tenbf W}_{\alpha}{}^{\overline{\alpha}}+{1\over 2}{\partial}{\theta}^{\alpha}{\overline{N}}^{mn}{\tenbf F}_{{\alpha}mn}\cr&-{1\over 2}N^{mn}{\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf F}_{mn{\overline{\alpha}}}+\Pi^{m}{\overline{\Pi}}^{n}{\tenbf A}_{mn}+\Pi^{m}{\overline{d}}_{\overline{\alpha}}{\tenbf E}_{m}{}^{\overline{\alpha}}+d_{\alpha}{\overline{\Pi}}^{m}{\tenbf\overline{\tenbf E}}_{m}{}^{\alpha}+d_{\alpha}{\overline{d}}_{\overline{\alpha}}{\tenbf P}^{{\alpha}{\overline{\alpha}}}+{1\over 2}N^{mn}{\overline{\Pi}}^{p}{\tenbf\overline{\Omega}}_{pmn}\cr&+{1\over 2}\Pi^{p}{\overline{N}}^{mn}{\tenbf{\Omega}}_{pmn}+{1\over 2}d_{\alpha}{\overline{N}}^{mn}{\tenbf\overline{C}}_{mn}{}^{\alpha}+{1\over 2}N^{mn}{\overline{d}}_{\overline{\alpha}}{\tenbf C}_{mn}{}^{\overline{\alpha}}+{1\over 4}N^{mn}{\overline{N}}^{pq}{\tenbf S}_{mnpq},\cr}

\eqalign{V&={\partial}{\theta}^{\alpha}{\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf A}_{{\alpha}{\overline{\alpha}}}+{\partial}{\theta}^{\alpha}{\overline{\Pi}}^{m}{\tenbf A}_{{\alpha}m}-\Pi^{m}{\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf A}_{m{\overline{\alpha}}}+d_{\alpha}{\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf W}^{\alpha}{}_{\overline{\alpha}}+{\partial}{\theta}^{\alpha}{\overline{d}}_{\overline{\alpha}}{\tenbf W}_{\alpha}{}^{\overline{\alpha}}+{1\over 2}{\partial}{\theta}^{\alpha}{\overline{N}}^{mn}{\tenbf F}_{{\alpha}mn}\cr&-{1\over 2}N^{mn}{\overline{\partial}}{\overline{\theta}}^{\overline{\alpha}}{\tenbf F}_{mn{\overline{\alpha}}}+\Pi^{m}{\overline{\Pi}}^{n}{\tenbf A}_{mn}+\Pi^{m}{\overline{d}}_{\overline{\alpha}}{\tenbf E}_{m}{}^{\overline{\alpha}}+d_{\alpha}{\overline{\Pi}}^{m}{\tenbf\overline{\tenbf E}}_{m}{}^{\alpha}+d_{\alpha}{\overline{d}}_{\overline{\alpha}}{\tenbf P}^{{\alpha}{\overline{\alpha}}}+{1\over 2}N^{mn}{\overline{\Pi}}^{p}{\tenbf\overline{\Omega}}_{pmn}\cr&+{1\over 2}\Pi^{p}{\overline{N}}^{mn}{\tenbf{\Omega}}_{pmn}+{1\over 2}d_{\alpha}{\overline{N}}^{mn}{\tenbf\overline{C}}_{mn}{}^{\alpha}+{1\over 2}N^{mn}{\overline{d}}_{\overline{\alpha}}{\tenbf C}_{mn}{}^{\overline{\alpha}}+{1\over 4}N^{mn}{\overline{N}}^{pq}{\tenbf S}_{mnpq},\cr}

\eqalign{D_{({\alpha}}{\tenbf A}_{{\beta})n}&={\gamma}^{m}_{{\alpha}{\beta}}{\tenbf A}_{mn},\quad D_{({\overline{\alpha}}}{\tenbf A}_{m{\overline{\beta}})}=-{\gamma}^{n}_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf A}_{mn},\cr D_{({\alpha}}{\tenbf W}_{{\beta})}{}^{\overline{\alpha}}&=-{\gamma}^{m}_{{\alpha}{\beta}}{\tenbf E}_{m}{}^{\overline{\alpha}},\quad D_{({\overline{\alpha}}}{\tenbf W}^{\alpha}{}_{{\overline{\beta}})}={\gamma}^{m}_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf\overline{\tenbf E}}_{m}{}^{\alpha},\cr D_{({\alpha}}{\tenbf F}_{{\beta})mn}&={\gamma}^{p}_{{\alpha}{\beta}}{\tenbf{\Omega}}_{pmn},\quad D_{({\overline{\alpha}}}{\tenbf F}_{mn{\overline{\beta}})}=-{\gamma}^{p}_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf\overline{\Omega}}_{pmn},\cr D_{\alpha}{\tenbf E}_{m}{}^{\overline{\alpha}}+{\partial}_{m}{\tenbf W}_{\alpha}{}^{\overline{\alpha}}&=-({\gamma}_{m})_{{\alpha}{\beta}}{\tenbf P}^{{\beta}{\overline{\alpha}}},\quad D_{\overline{\alpha}}{\tenbf\overline{\tenbf E}}_{m}{}^{\alpha}-{\partial}_{m}{\tenbf W}^{\alpha}{}_{\overline{\alpha}}=({\gamma}_{m})_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf P}^{{\alpha}{\overline{\beta}}},\cr D_{\alpha}{\tenbf{\Omega}}_{pmn}-{\partial}_{p}{\tenbf F}_{{\alpha}mn}&=({\gamma}_{p})_{{\alpha}{\beta}}{\tenbf\overline{C}}_{mn}{}^{\alpha},\quad D_{\overline{\alpha}}{\tenbf\overline{\Omega}}_{pmn}+{\partial}_{p}{\tenbf F}_{mn{\overline{\alpha}}}=-({\gamma}_{p})_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf C}_{mn}{}^{\overline{\alpha}},\cr D_{\alpha}{\tenbf\overline{C}}_{pq}{}^{\alpha}&={1\over 4}({\gamma}^{mn})_{\alpha}{}^{\beta}{\tenbf S}_{mnpq},\quad D_{\overline{\alpha}}{\tenbf C}_{mn}{}^{\overline{\beta}}={1\over 4}({\gamma}^{pq})_{\overline{\alpha}}{}^{\overline{\beta}}{\tenbf S}_{mnpq}.\cr}

\eqalign{D_{({\alpha}}{\tenbf A}_{{\beta})n}&={\gamma}^{m}_{{\alpha}{\beta}}{\tenbf A}_{mn},\quad D_{({\overline{\alpha}}}{\tenbf A}_{m{\overline{\beta}})}=-{\gamma}^{n}_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf A}_{mn},\cr D_{({\alpha}}{\tenbf W}_{{\beta})}{}^{\overline{\alpha}}&=-{\gamma}^{m}_{{\alpha}{\beta}}{\tenbf E}_{m}{}^{\overline{\alpha}},\quad D_{({\overline{\alpha}}}{\tenbf W}^{\alpha}{}_{{\overline{\beta}})}={\gamma}^{m}_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf\overline{\tenbf E}}_{m}{}^{\alpha},\cr D_{({\alpha}}{\tenbf F}_{{\beta})mn}&={\gamma}^{p}_{{\alpha}{\beta}}{\tenbf{\Omega}}_{pmn},\quad D_{({\overline{\alpha}}}{\tenbf F}_{mn{\overline{\beta}})}=-{\gamma}^{p}_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf\overline{\Omega}}_{pmn},\cr D_{\alpha}{\tenbf E}_{m}{}^{\overline{\alpha}}+{\partial}_{m}{\tenbf W}_{\alpha}{}^{\overline{\alpha}}&=-({\gamma}_{m})_{{\alpha}{\beta}}{\tenbf P}^{{\beta}{\overline{\alpha}}},\quad D_{\overline{\alpha}}{\tenbf\overline{\tenbf E}}_{m}{}^{\alpha}-{\partial}_{m}{\tenbf W}^{\alpha}{}_{\overline{\alpha}}=({\gamma}_{m})_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf P}^{{\alpha}{\overline{\beta}}},\cr D_{\alpha}{\tenbf{\Omega}}_{pmn}-{\partial}_{p}{\tenbf F}_{{\alpha}mn}&=({\gamma}_{p})_{{\alpha}{\beta}}{\tenbf\overline{C}}_{mn}{}^{\alpha},\quad D_{\overline{\alpha}}{\tenbf\overline{\Omega}}_{pmn}+{\partial}_{p}{\tenbf F}_{mn{\overline{\alpha}}}=-({\gamma}_{p})_{{\overline{\alpha}}{\overline{\beta}}}{\tenbf C}_{mn}{}^{\overline{\alpha}},\cr D_{\alpha}{\tenbf\overline{C}}_{pq}{}^{\alpha}&={1\over 4}({\gamma}^{mn})_{\alpha}{}^{\beta}{\tenbf S}_{mnpq},\quad D_{\overline{\alpha}}{\tenbf C}_{mn}{}^{\overline{\beta}}={1\over 4}({\gamma}^{pq})_{\overline{\alpha}}{}^{\overline{\beta}}{\tenbf S}_{mnpq}.\cr}

S = \int d^{2} z \frac{1}{2} Π_{a} \overline{Π}^{a} + \frac{1}{2} Π^{A} \overline{Π}^{B} B_{B A} + d_{α} \overline{Π}^{α} + \overline{d}_{\overline{α}} Π^{\overline{α}} + ω_{α} \overline{\nabla} λ^{α} + \overline{ω}_{\overline{α}} \nabla \overline{λ}^{\overline{α}}

S = \int d^{2} z \frac{1}{2} Π_{a} \overline{Π}^{a} + \frac{1}{2} Π^{A} \overline{Π}^{B} B_{B A} + d_{α} \overline{Π}^{α} + \overline{d}_{\overline{α}} Π^{\overline{α}} + ω_{α} \overline{\nabla} λ^{α} + \overline{ω}_{\overline{α}} \nabla \overline{λ}^{\overline{α}}

+ d_{α} \overline{d}_{\overline{α}} P^{α \overline{β}} + λ^{α} ω_{β} \overline{d}_{\overline{γ}} C_{α}^{β \overline{γ}} + \overline{λ}^{\overline{α}} \overline{ω}_{\overline{β}} d_{γ} \overline{C}_{\overline{α}}^{\overline{β} γ} + λ^{α} ω_{β} \overline{λ}^{\overline{γ}} \overline{ω}_{\overline{δ}} S_{α \overline{γ}}^{β \overline{δ}},

+ d_{α} \overline{d}_{\overline{α}} P^{α \overline{β}} + λ^{α} ω_{β} \overline{d}_{\overline{γ}} C_{α}^{β \overline{γ}} + \overline{λ}^{\overline{α}} \overline{ω}_{\overline{β}} d_{γ} \overline{C}_{\overline{α}}^{\overline{β} γ} + λ^{α} ω_{β} \overline{λ}^{\overline{γ}} \overline{ω}_{\overline{δ}} S_{α \overline{γ}}^{β \overline{δ}},

\eqalign{&C_{\alpha}{}^{{\beta}{\overline{\gamma}}}={\delta}_{\alpha}^{\beta}C^{\overline{\gamma}}+{1\over 4}({\gamma}^{ab})_{\alpha}{}^{\beta}C_{ab}{}^{\overline{\gamma}},\quad{\overline{C}}_{\overline{\alpha}}{}^{{\overline{\beta}}{\gamma}}={\delta}_{\overline{\alpha}}^{\overline{\beta}}{\overline{C}}^{\gamma}+{1\over 4}({\gamma}^{ab})_{\overline{\alpha}}{}^{\overline{\beta}}{\overline{C}}_{ab}{}^{\gamma},\cr&S_{{\alpha}{\overline{\gamma}}}{}^{{\beta}{\overline{\gamma}}}={\delta}_{\alpha}^{\beta}{\delta}_{\overline{\gamma}}^{\overline{\delta}}S+{1\over 4}({\gamma}^{ab})_{\alpha}{}^{\beta}{\delta}_{\overline{\gamma}}^{\overline{\beta}}S_{ab}+{1\over 4}{\delta}_{\alpha}^{\beta}({\gamma}^{ab})_{\overline{\gamma}}{}^{\overline{\delta}}{\overline{S}}_{ab}+{1\over{16}}({\gamma}^{ab})_{\alpha}{}^{\beta}({\gamma}^{cd})_{\overline{\gamma}}{}^{\overline{\delta}}S_{abcd}.\cr}

\eqalign{&C_{\alpha}{}^{{\beta}{\overline{\gamma}}}={\delta}_{\alpha}^{\beta}C^{\overline{\gamma}}+{1\over 4}({\gamma}^{ab})_{\alpha}{}^{\beta}C_{ab}{}^{\overline{\gamma}},\quad{\overline{C}}_{\overline{\alpha}}{}^{{\overline{\beta}}{\gamma}}={\delta}_{\overline{\alpha}}^{\overline{\beta}}{\overline{C}}^{\gamma}+{1\over 4}({\gamma}^{ab})_{\overline{\alpha}}{}^{\overline{\beta}}{\overline{C}}_{ab}{}^{\gamma},\cr&S_{{\alpha}{\overline{\gamma}}}{}^{{\beta}{\overline{\gamma}}}={\delta}_{\alpha}^{\beta}{\delta}_{\overline{\gamma}}^{\overline{\delta}}S+{1\over 4}({\gamma}^{ab})_{\alpha}{}^{\beta}{\delta}_{\overline{\gamma}}^{\overline{\beta}}S_{ab}+{1\over 4}{\delta}_{\alpha}^{\beta}({\gamma}^{ab})_{\overline{\gamma}}{}^{\overline{\delta}}{\overline{S}}_{ab}+{1\over{16}}({\gamma}^{ab})_{\alpha}{}^{\beta}({\gamma}^{cd})_{\overline{\gamma}}{}^{\overline{\delta}}S_{abcd}.\cr}

\overline{\nabla} λ^{α} = \overline{\partial} λ^{α} + λ^{β} \overline{Ω}_{β}^{α}, \nabla \overline{λ}^{\overline{α}} = \partial \overline{λ}^{\overline{α}} + \overline{λ}^{\overline{β}} Ω_{\overline{β}}^{\overline{α}},

\overline{\nabla} λ^{α} = \overline{\partial} λ^{α} + λ^{β} \overline{Ω}_{β}^{α}, \nabla \overline{λ}^{\overline{α}} = \partial \overline{λ}^{\overline{α}} + \overline{λ}^{\overline{β}} Ω_{\overline{β}}^{\overline{α}},

Ω_{M α}^{β} = δ_{α}^{β} Ω_{M} + \frac{1}{4} (γ^{ab})_{α}^{β} Ω_{M ab}, Ω_{M \overline{α}}^{\overline{β}} = δ_{\overline{α}}^{\overline{β}} \mathaccent 866 Ω_{M} + \frac{1}{4} (γ^{ab})_{\overline{α}}^{\overline{β}} \mathaccent 866 Ω_{M ab},

Ω_{M α}^{β} = δ_{α}^{β} Ω_{M} + \frac{1}{4} (γ^{ab})_{α}^{β} Ω_{M ab}, Ω_{M \overline{α}}^{\overline{β}} = δ_{\overline{α}}^{\overline{β}} \mathaccent 866 Ω_{M} + \frac{1}{4} (γ^{ab})_{\overline{α}}^{\overline{β}} \mathaccent 866 Ω_{M ab},

\nabla Π^{a} = \partial Π^{a} + Π^{b} \partial Z^{M} Ω_{M b}^{a},

\nabla Π^{a} = \partial Π^{a} + Π^{b} \partial Z^{M} Ω_{M b}^{a},

\mathaccent 866 \nabla Π^{a} = \partial Π^{a} + Π^{b} \partial Z^{M} \mathaccent 866 Ω_{M b}^{a} .

\mathaccent 866 \nabla Π^{a} = \partial Π^{a} + Π^{b} \partial Z^{M} \mathaccent 866 Ω_{M b}^{a} .

T_{α β}^{a} = - γ_{α β}^{a}, T_{\overline{α} \overline{β}}^{a} = - γ_{\overline{α} \overline{β}}^{a}, R_{α β \overline{γ}}^{\overline{δ}} = 0, R_{\overline{α} \overline{β} γ}^{δ} = 0,

T_{α β}^{a} = - γ_{α β}^{a}, T_{\overline{α} \overline{β}}^{a} = - γ_{\overline{α} \overline{β}}^{a}, R_{α β \overline{γ}}^{\overline{δ}} = 0, R_{\overline{α} \overline{β} γ}^{δ} = 0,

T_{α β}^{γ} = T_{α \overline{β}}^{γ} = T_{\overline{α} \overline{β}}^{γ} = T_{α β}^{\overline{γ}} = T_{α \overline{β}}^{\overline{γ}} = T_{\overline{α} \overline{β}}^{\overline{γ}} = T_{a α}^{β} = T_{a \overline{α}}^{\overline{β}} = 0,

T_{α β}^{γ} = T_{α \overline{β}}^{γ} = T_{\overline{α} \overline{β}}^{γ} = T_{α β}^{\overline{γ}} = T_{α \overline{β}}^{\overline{γ}} = T_{\overline{α} \overline{β}}^{\overline{γ}} = T_{a α}^{β} = T_{a \overline{α}}^{\overline{β}} = 0,

H_{a α β} = - (γ_{a})_{α β}, H_{a \overline{α} \overline{β}} = (γ_{a})_{\overline{α} \overline{β}}, H_{α \overline{β} A} = H_{α β γ} = H_{\overline{α} \overline{β} \overline{γ}} = H_{ab α} = H_{ab \overline{α}} = 0.

H_{a α β} = - (γ_{a})_{α β}, H_{a \overline{α} \overline{β}} = (γ_{a})_{\overline{α} \overline{β}}, H_{α \overline{β} A} = H_{α β γ} = H_{\overline{α} \overline{β} \overline{γ}} = H_{ab α} = H_{ab \overline{α}} = 0.

\eqalign{&({\nabla}T)_{ABC}{}^{D}={\nabla}_{[A}T_{BC]}{}^{D}+T_{[AB}{}^{E}T_{EC]}{}^{D},\cr&({\nabla}H)_{ABCD}={\nabla}_{[A}H_{BCD]}+{3\over 2}T_{[AB}{}^{E}H_{ECD]},\cr&({\nabla}R)_{ABCD}{}^{E}={\nabla}_{[A}R_{BC]D}{}^{E}+T_{[AB}{}^{F}R_{FC]D}{}^{E}.}

\eqalign{&({\nabla}T)_{ABC}{}^{D}={\nabla}_{[A}T_{BC]}{}^{D}+T_{[AB}{}^{E}T_{EC]}{}^{D},\cr&({\nabla}H)_{ABCD}={\nabla}_{[A}H_{BCD]}+{3\over 2}T_{[AB}{}^{E}H_{ECD]},\cr&({\nabla}R)_{ABCD}{}^{E}={\nabla}_{[A}R_{BC]D}{}^{E}+T_{[AB}{}^{F}R_{FC]D}{}^{E}.}

T_{α a}^{b} = 2 (γ_{a}^{b})_{α}^{β} Ω_{β}, T_{\overline{α} a}^{b} = 0, Ω_{\overline{α}} = Ω_{a} = 0,

T_{α a}^{b} = 2 (γ_{a}^{b})_{α}^{β} Ω_{β}, T_{\overline{α} a}^{b} = 0, Ω_{\overline{α}} = Ω_{a} = 0,

\mathaccent 866 T_{\overline{α} a}^{b} = 2 (γ_{a}^{b})_{\overline{α}}^{\overline{β}} \mathaccent 866 Ω_{\overline{β}}, \mathaccent 866 T_{α a}^{b} = 0, \mathaccent 866 Ω_{α} = \mathaccent 866 Ω_{a} = 0,

\mathaccent 866 T_{\overline{α} a}^{b} = 2 (γ_{a}^{b})_{\overline{α}}^{\overline{β}} \mathaccent 866 Ω_{\overline{β}}, \mathaccent 866 T_{α a}^{b} = 0, \mathaccent 866 Ω_{α} = \mathaccent 866 Ω_{a} = 0,

H_{ab c} = - T_{ab c} = \mathaccent 866 T_{ab c} .

H_{ab c} = - T_{ab c} = \mathaccent 866 T_{ab c} .

\mathaccent 866 Ω_{c ab} = Ω_{c ab} - T_{c ab}, \mathaccent 866 Ω_{α ab} = Ω_{α ab} - T_{α ab}, \mathaccent 866 Ω_{\overline{α} ab} = Ω_{\overline{α} ab} + \mathaccent 866 T_{\overline{α} ab} .

\mathaccent 866 Ω_{c ab} = Ω_{c ab} - T_{c ab}, \mathaccent 866 Ω_{α ab} = Ω_{α ab} - T_{α ab}, \mathaccent 866 Ω_{\overline{α} ab} = Ω_{\overline{α} ab} + \mathaccent 866 T_{\overline{α} ab} .

T_{a α}^{\overline{β}} = (γ_{a})_{α γ} P^{γ \overline{β}}, R_{a α \overline{β}}^{\overline{γ}} = - (γ_{a})_{α δ} \overline{C}_{\overline{β}}^{\overline{γ} δ}, C_{α}^{β \overline{γ}} = - \nabla_{α} P^{β \overline{γ}},

T_{a α}^{\overline{β}} = (γ_{a})_{α γ} P^{γ \overline{β}}, R_{a α \overline{β}}^{\overline{γ}} = - (γ_{a})_{α δ} \overline{C}_{\overline{β}}^{\overline{γ} δ}, C_{α}^{β \overline{γ}} = - \nabla_{α} P^{β \overline{γ}},

S_{α \overline{γ}}^{β \overline{δ}} = \nabla_{α} \overline{C}_{\overline{γ}}^{\overline{δ} β} + R_{α \overline{ρ} \overline{γ}}^{\overline{δ}} P^{β \overline{ρ}},

S_{α \overline{γ}}^{β \overline{δ}} = \nabla_{α} \overline{C}_{\overline{γ}}^{\overline{δ} β} + R_{α \overline{ρ} \overline{γ}}^{\overline{δ}} P^{β \overline{ρ}},

Peer Reviews

No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.

Videos

No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.

Full text

General fluctuations of the type II pure spinor

string on curved backgrounds

Osvaldo Chandia††1 e-mail: [email protected],

Departamento de Ciencias, Facultad de Artes Liberales, Universidad Adolfo Ibáñez

& UAI Physics Center, Universidad Adolfo Ibáñez

Diagonal Las Torres 2640, Peñalolén, Santiago, Chile

The general fluctuations, in the form of vertex operators, for the type II superstring in the pure spinor formalism are considered. We review the construction of these vertex operators in flat space-time. We then review the type II superstrings in curved background in the pure spinor formalism to finally construct the vertex operators on a generic type II supergravity background.

March 2019

1. Introduction

The pure spinor formalism was invented nineteen years ago with the idea of provide a quantizable string sigma-model on any background space-time geometry [1]. The pure spinor formalism is manifestly space-time supersymmetric and contains a world-sheet field, known as pure spinor, which has two main utilities. It allows to have a conformal invariant system and allows quantization through the existence of an operator that has the properties of a BRST operator. Soon after, the explicit form of the superstrings on curved background was studied in [2]. Here the classical BRST invariance of the world-sheet action puts the background to satisfy the equations of ten-dimensional supergravity. It was also proven that the world-sheet system is conformal invariant at the one-loop quantum level, for the heterotic superstring [3] and for the type II superstring [4]. The quantum local symmetries were also studied in [5].

The fluctuations around the background are BRST invariant and describe the physical content of the string theory. For example, the open string massless fluctuations are described by the unintegrated vertex operator $U={\lambda}^{\alpha}{\tenbf A}_{\alpha}(X,{\theta})$ where the superfield ${\tenbf A}$ depends on the ten-dimensional superspace coordinates $X$ and ${\theta}$ . BRST invariance of $U$ gives the equations of super-Maxwell for ${\tenbf A}_{\alpha}$ , that is, it describes the photon and the photino in ten dimensions. Note that only one operator is enough to describe the physical massless states of the string theory, unlike in RNS where there are different operators for photon and the photino. A similar analysis can be done for other superstrings, we will review the type II case below. All this is done in a flat space-time background. We could ask for the equivalent of $U$ in non-flat backgrounds. This was done in [6] for the $AdS_{5}\times S^{5}$ background, its plane-wave limit in [7] and in for the heterotic string in [8] a generic background. Our goal is to study the case of type II in a generic supergravity background.

Besides unintegrated vertex operators, it is possible to study integrated vertex operators. They are fluctuations of the world-sheet action and can be used to compute scattering amplitudes for $4$ or more states. The integrated vertex operator is obtained from the unintegrated vertex operator through a descent procedure. For the open string in flat background space-time, ${\partial}U$ is BRST trivial, then there exists an operator $V$ that satisfies $QV={\partial}U$ . This is the integrated vertex operator. This procedure has to work, because there exists a $b$ ghost in the theory, although this $b$ ghost is a composite operator in the pure spinor formalism. To have the descent working correctly, it is necessary that $b$ is conserved, nilpotent and satisfies $Qb=T$ where $T$ is the stress-energy tensor.

The integrated vertex operator for type II superstring in a flat space-time background can be constructed in this manner and we review this in section $2$ . A similar construction was done in [9] for the $AdS_{5}\times S^{5}$ background, its plane-wave limit in [7] and for the heterotic string in a generic background in [8]. Our purpose is to generalize this result for the type II superstring in a generic supergravity background.

This paper is organized as follows. We review the type II superstring in a flat space-time background in section $2$ . In the section $3$ , we review the type II superstring in a curved background. In particular the necessary BRST transformations of the world-sheet fields are discussed. In section $4$ we study the unintegrated vertex operator in a curved background, we obtain a chain of superfields by applying successive superspace covariant derivatives on the superfield of the unintegrated vertex operator. In section $5$ we perform the descent procedure to determine the integrated vertex operator in a curved supergravity background. We end in section $6$ with some final comments.

2. Review of the type II superstring in a flat background

We now review the type II superstring in a flat ten-dimensional background using the pure spinor formalism. The action is given by

[TABLE]

where $(X^{m},{\theta}^{\alpha},{\overline{\theta}}^{\overline{\alpha}})$ are the superspace coordinates in flat ten-dimensional space-time ( $m=0,\dots,9,{\alpha},{\overline{\alpha}}=1,\dots,16$ ), $(p_{\alpha},{\overline{p}}_{\overline{\alpha}})$ are the momentum conjugate variables of $({\theta}^{\alpha},{\overline{\theta}}^{\overline{\alpha}})$ , $({\lambda}^{\alpha},{\omega}_{\alpha})$ and $({\overline{\lambda}}^{\overline{\alpha}},{\overline{\omega}}_{\overline{\alpha}})$ are the pure spinor conjugate pairs of variables. The pure spinor variables are constrained by the the so called pure spinor conditions ${\lambda}{\gamma}^{m}{\lambda}={\overline{\lambda}}{\gamma}^{m}{\overline{\lambda}}=0$ . The pure spinor conjugate variables are defined up to the gauge invariances ${\delta}{\omega}_{\alpha}=({\lambda}{\gamma}^{m})_{\alpha}{\Lambda}_{m},{\delta}{\overline{\omega}}_{\overline{\alpha}}=({\overline{\lambda}}{\gamma}^{m})_{\alpha}{\overline{\Lambda}}_{m}$ , then only $44$ out of $64$ $({\lambda},{\overline{\lambda}})$ and $({\omega},{\overline{\omega}})$ variables are independent [1]. The left-moving central charge has the following contributions: $+10$ from $X$ , $-32$ from $(p,{\theta})$ and $+22$ from $({\lambda},{\omega})$ , so the total central charge is zero. Similarly, for the the right-moving central charge we have $+10$ from $X$ , $-32$ from $({\overline{p}},{\overline{\theta}})$ and $+22$ from $({\overline{\lambda}},{\overline{\omega}})$ adding up, again, to zero. Therefore, the action (2.1) is conformal invariant. However, this is not enough to describe the physical states of type II superstring. A nilpotent operator, which we call BRST operator, was proposed in [1] to describe the correct spectrum of the string theory. For type II, the BRST operator is

[TABLE]

where $d_{\alpha}$ and ${\overline{d}}_{\overline{\alpha}}$ are the generators of superspace translations and are given by

[TABLE]

Note that $Q^{2}=0$ because the OPE’s

[TABLE]

and the pure spinor conditions. Here $\Pi_{m}={\partial}X_{m}+{1\over 2}({\theta}{\gamma}_{m}{\partial}{\theta})+{1\over 2}({\overline{\theta}}{\gamma}_{m}{\partial}{\overline{\theta}})$ and ${\overline{\Pi}}_{m}={\overline{\partial}}X_{m}+{1\over 2}({\theta}{\gamma}_{m}{\overline{\partial}}{\theta})+{1\over 2}({\overline{\theta}}{\gamma}_{m}{\overline{\partial}}{\overline{\theta}})$ .

Physical states of the type II strings are in the cohomology of the BRST operator (2.1). The massless unintegrated vertex operator has ghost number $2$ (that is $1~{}{\lambda}$ and $1~{}{\overline{\lambda}}$ ) and it is given by

[TABLE]

$QU=0$ implies the equations

[TABLE]

where

[TABLE]

The equations (2.1) imply the existence of the superfields ${\tenbf A}_{m{\overline{\alpha}}}$ and ${\tenbf A}_{{\alpha}m}$ defined by

[TABLE]

It is possible to construct covariant superfields by applying $D_{\alpha}$ and $D_{\overline{\alpha}}$ to these equations. As it was shown in [9], we obtain the following defining relations

[TABLE]

from (2.1). Here ${\tenbf F}_{mn{\overline{\alpha}}}={\partial}_{[m}{\tenbf A}_{n]{\overline{\alpha}}},{\tenbf F}_{{\alpha}mn}={\partial}_{[m}{\tenbf A}_{{\alpha}n]}$ .

These relations help to find the integrated vertex operator. It is given through the following descent procedure. ${\partial}U$ and ${\overline{\partial}}U$ are trivial because it is possible to find operators that satisfy ${\partial}U=QW$ and ${\overline{\partial}}U=Q{\overline{W}}$ . Actually, any field with non-zero conformal weight is BRST trivial. This statement is based on the existence of the conformal ghost $b$ . Although the $b$ ghost is not a basic field in (2.1), it is possible to construct a composite field that satisfies $Qb=T$ [10], the stress-energy tensor, and it is nilpotent [11] [12]. Similarly, ${\partial}{\overline{W}}-{\overline{\partial}}W$ is also trivial. In fact, there exists an operator $V$ that satisfies $QV={\partial}{\overline{W}}-{\overline{\partial}}W$ . This is the integrated vertex operator. From the unintegrated vertex $U$ (2.1), $W$ and ${\overline{W}}$ are given by

[TABLE]

where $N^{mn}={1\over 2}({\lambda}{\gamma}^{mn}{\omega})$ and ${\overline{N}}^{mn}={1\over 2}({\overline{\lambda}}{\gamma}^{mn}{\overline{\omega}})$ . The integrated vertex operator becomes

[TABLE]

where the superfields ${\tenbf A}_{mn},\dots,{\tenbf S}_{mnpq}$ are defined after taking higher $D_{\alpha}$ and $D_{\overline{\alpha}}$ superspace covariant derivatives. Namely,

[TABLE]

The physical interpretation of the these superfields is simple. In the $({\theta},{\overline{\theta}})$ expansion, ${\tenbf A}_{mn}=h_{mn}+\cdots$ , where $h_{mn}$ describes the graviton, the Kalb-Ramond field and the dilaton. The superfields ${\tenbf E}_{m}{}^{\overline{\alpha}}=\psi_{m}{}^{\overline{\alpha}}+\cdots,{\tenbf\overline{\tenbf E}}_{m}{}^{\alpha}={\overline{\psi}}_{m}{}^{\alpha}+\cdots$ , where $\psi$ and ${\overline{\psi}}$ are the gravitini and the dilatini. The superfield ${\tenbf P}^{{\alpha}{\overline{\alpha}}}=f^{{\alpha}{\overline{\beta}}}+\cdots$ , where $f$ is the Ramond-Ramond field-strength. The other superfields in (2.1) have expansions with components related to $h,\psi,{\overline{\psi}}$ and $f$ .

In the next section we will describe the regime beyond the linearized level where ${\tenbf{\Omega}}$ and ${\tenbf\overline{\Omega}}$ become the background Lorentz connections, ${\tenbf E}$ and ${\tenbf\overline{\tenbf E}}$ are the vielbein superfields and ${\tenbf S}$ becomes related to the superspace curvature.

3. Review of the type II superstring in a curved background

The action for the type II superstring can be obtained by adding the integrated vertex operator (2.1) to flat string action (2.1) and then covariantize respect to the bakcground supergeometry invariance [2]. Then, the sigma model action becomes

[TABLE]

where $\Pi^{A}={\partial}Z^{M}E_{M}{}^{A}$ and ${\overline{\Pi}}^{A}={\overline{\partial}}Z^{M}E_{M}{}^{A}$ with $E_{M}{}^{A}$ being the vielbein and $Z^{M}$ the curved superspace coordinates. Note that the fields coupled to ${\omega}$ and ${\overline{\omega}}$ has to respect the pure spinor gauge symmetry ${\delta}{\omega}_{\alpha}=({\lambda}{\gamma}^{a})_{\alpha}{\Lambda}_{a}$ and ${\delta}{\overline{\omega}}_{\overline{\alpha}}=({\overline{\lambda}}{\gamma}^{a})_{\overline{\alpha}}{\overline{\Lambda}}_{a}$ . Then, the forms of $C,{\overline{C}},S$ are

[TABLE]

The covariant derivatives on the pure spinors variables are

[TABLE]

where ${\Omega}_{\overline{\alpha}}{}^{\overline{\beta}}={\partial}Z^{M}{\Omega}_{M{\overline{\alpha}}}{}^{\overline{\beta}}$ and ${\overline{\Omega}}_{\alpha}{}^{\beta}={\overline{\partial}}Z^{M}{\Omega}_{M{\alpha}}{}^{\beta}$ with ${\Omega}_{M}$ being the Lorentz connections. They are of the form [2]

[TABLE]

then there are two possible covariant derivatives acting on a vector. For example, we could have

[TABLE]

or

[TABLE]

Fortunately, both covariant derivatives are related after solving the constraints on the background fields in (3.1) dictated by the BRST symmetry generated by $Q=\oint\left({\lambda}^{\alpha}d_{\alpha}+{\overline{\lambda}}^{\overline{\alpha}}d_{\overline{\alpha}}\right)$ . These constraints are expressed in terms of the components of the torsion $2$ -form $T^{A}=dE^{A}+E^{B}\wedge{\Omega}_{B}{}^{A}$ (note that $T^{a}$ is defined with the connection ${\Omega}$ and ${\mathaccent 866{T}}^{a}$ is defined with the connection ${\mathaccent 866{{\Omega}}}$ ), the curvature $2$ -form $R_{A}{}^{B}=d{\Omega}_{A}{}^{B}+{\Omega}_{A}{}^{C}\wedge{\Omega}_{C}{}^{B}$ and the $3$ -form field-strength $H=dB$ . The indices $A,B,C,\dots$ take values in $(a,{\alpha},{\overline{\alpha}})$ . Note the $T_{AB}{}^{a}={\mathaccent 866{T}}_{AB}{}^{a}$ for $(A,B)\in({\alpha},{\overline{\alpha}})$ .

The constraints for some of the torsion, $H$ and curvature components derived in [2] are solved by

[TABLE]

The Bianchi identities help to find relations for the other $T,H$ and $R$ components. These identities are defined as

[TABLE]

Note again that there are two types of Bianchi identities for $D=d$ in the first relation of (3.1) depending if one uses $T^{d}$ or ${\mathaccent 866{T}}^{d}$ . As it was shown in [2] (see also[4]), these identities imply

[TABLE]

Using these results, the ${\mathaccent 866{{\Omega}}}_{ab}$ one-form connection is known in terms of the other connections. In fact, we obtain

[TABLE]

From now on we will use the connection ${\Omega}_{ab}$ in the covariant derivatives.

The background fields $P,C,{\overline{C}},S$ satisfy the relations

[TABLE]

and

[TABLE]

Note the expressions for $S$ are equivalent because if one subtract both equations and uses the first lines of (3.1) and (3.1) one obtains zero.

The BRST transformations of the world-sheet fields were obtained in [13] and, up to a Lorentz transformation with field-dependent parameters, are given by

[TABLE]

Note that any superfield $\Psi$ transforms like $Q\Psi={\lambda}^{\alpha}{\nabla}_{\alpha}\Psi+{\overline{\lambda}}^{\overline{\alpha}}{\nabla}_{\overline{\alpha}}\Psi$ , again up to a Lorentz transformation with field-dependent parameter. It is direct to verify that the transformations (3.1) are nilpotent for all the world-sheet fields, except for the ${\omega}$ and ${\overline{\omega}}$ variables which $Q^{2}$ on them give a gauge transformation [13].

Below we construct vertex operators, both unintegrated and integrated. They are on-shell objects, then we will need the equations of motion derived from the action (3.1). By varying this action respect to $d,{\overline{d}}$ and the pure spinor variables we obtain

[TABLE]

By varying the action (3.1) respect to $Z^{M}$ we obtain the equation

[TABLE]

Note that the background fields in (3.1) and (3.1) were used. The equation for $d$ is obtained after multiplying (3.1) from the left by $E_{\alpha}{}^{M}$ and it gives

[TABLE]

Similarly by multiplying from the left with $E_{M}{}^{\overline{\alpha}}$ we obtain

[TABLE]

As a check, it is direct to confirm from here, after using the equations for ${\lambda}$ and ${\overline{\lambda}}$ in (3.1), that ${\overline{\nabla}}({\lambda}^{\alpha}d_{\alpha})={\nabla}({\overline{\lambda}}^{\overline{\alpha}}{\overline{d}}_{\overline{\alpha}})=0$ . Finally, the equations for $\Pi^{A}$ are obtained as follows. The identity

[TABLE]

is necessary. The equations for $\Pi^{a}$ and ${\overline{\Pi}}^{a}$ are obtained combining this identity with the equation (3.1) multiplied by $E_{a}{}^{M}$ from the left. We obtain

[TABLE]

and

[TABLE]

Finally, the equations for $(\Pi^{\alpha},{\overline{\Pi}}^{\alpha},\Pi^{\overline{\alpha}},{\overline{\Pi}}^{\overline{\alpha}})$ come from using (3.1) and the fact that $({\overline{\Pi}}^{\alpha},\Pi^{\overline{\alpha}})$ depend on other world-sheet fields according to (3.1).

4. The unintegrated vertex

In this section we study the fluctuations around the background of the previous section. We start with the unintegrated vertex operator. As in flat space it takes the simple form

[TABLE]

but now the background is not flat anymore. Imposing that this vertex is in the cohomology of the BRST charge determines the equations

[TABLE]

which look similar to (2.1). We proceed as in flat space. That is, we obtain constraining equations for superfields defined after taking higher ${\nabla}_{\alpha}$ and ${\nabla}_{\overline{\alpha}}$ derivatives on ${\tenbf A}_{{\alpha}{\overline{\alpha}}}$ .

As the first step, we get equations similar to (2.1) and (2.1) of flat space. Consider the first equation in (4.1). It can be shown that

[TABLE]

which implies the existence of a superfield ${\tenbf W}^{\beta}{}_{\overline{\alpha}}$ satisfying

[TABLE]

This is equivalent to the first equation in (2.1) of flat space-time background. The equation (4.1) is verified by plugging $A_{a{\overline{\alpha}}}$ from the first in (4.1) and then commuting the covariant derivatives as

[TABLE]

where ${\tenbf M}$ is a tensor. The torsion and curvature components given in (3.1) and (3.1) are also necessary.

To get the analogous to the second equation in (2.1) we note that there is a superfield $\Psi_{\alpha}{}^{\beta}{}_{\overline{\gamma}}$ , containing ${\nabla}_{\alpha}{\tenbf W}^{\beta}{}_{\overline{\gamma}}$ , that satisfies an equation involving $\Psi_{\alpha}{}^{\beta}{}_{\overline{\gamma}}+{1\over{10}}{\gamma}^{a}_{{\alpha}{\rho}}{\gamma}_{a}^{{\beta}{\delta}}\Psi_{\delta}{}^{\rho}{}_{\overline{\gamma}}$ . It turns out that

[TABLE]

satisfies the equation

[TABLE]

where ${\tenbf F}_{ab{\overline{\gamma}}}={\nabla}_{[a}{\tenbf A}_{b]{\overline{\gamma}}}$ and $\tau_{abc}={\gamma}_{abc}^{{\alpha}{\beta}}{\Omega}_{\alpha}{\Omega}_{\beta}$ . Note this type of equation was obtained in [8] for the heterotic string in curved background. The solution of (4.1) is

[TABLE]

Similarly, from the second equation in (4.1) we obtain

[TABLE]

and the combinations of fields

[TABLE]

turns out to be equal to

[TABLE]

where ${\tenbf F}_{{\gamma}ab}={\nabla}_{[a}{\tenbf A}_{{\gamma}b]}$ and ${\overline{\tau}}_{abc}={\gamma}_{abc}^{{\overline{\alpha}}{\overline{\beta}}}{\overline{\Omega}}_{\overline{\alpha}}{\overline{\Omega}}_{\overline{\beta}}$ .

In the next section we construct the integrated vertex operator from the chain of superfields $({\tenbf A}_{{\alpha}{\overline{\alpha}}},{\tenbf A}_{a{\overline{\alpha}}},{\tenbf A}_{{\alpha}a},{\tenbf W}^{\alpha}{}_{\overline{\alpha}},{\tenbf W}_{\alpha}{}^{\overline{\alpha}})$ just like we did in section $2$ for the flat space-time background.

5. The integrated vertex

The integrated vertex operator is given by the same descent procedure of flat space-time background. There, the existence of a composite $b$ ghost was crucial to state that any operator with conformal weight different from zero is trivial in the cohomology of the BRST charge. In particular, ${\partial}U=QW$ and ${\overline{\partial}}U=Q{\overline{W}}$ . Similarly, ${\partial}{\overline{W}}-{\overline{\partial}}W$ is also trivial, therefore it is equal to $QV$ with $V$ being the integrated vertex operator (2.1). For the generic type II supergravity background of section $3$ , we need that the $b$ ghosts of left- and right-moving sectors. Such composite $b$ ghost exists for the heterotic string in a generic background field [14] [15]. Let us assume that the composite $b$ ghosts exist for the type II superstring in a generic background.

A $W$ satisfying $QW={\partial}U$ is given by

[TABLE]

where $J={\lambda}^{\alpha}{\omega}_{\alpha}$ and $N^{ab}={1\over 2}({\lambda}{\gamma}^{ab}{\omega})$ . And a ${\overline{W}}$ satisfying $Q{\overline{W}}={\overline{\partial}}U$ is given by

[TABLE]

where ${\overline{J}}={\overline{\lambda}}^{\overline{\alpha}}{\overline{\omega}}_{\overline{\alpha}}$ and ${\overline{N}}^{ab}={1\over 2}({\overline{\lambda}}{\gamma}^{ab}{\overline{\omega}})$ .

The integrated vertex operator satisfying $QV={\partial}{\overline{W}}-{\overline{\partial}}W$ has the form

[TABLE]

where

[TABLE]

${\tenbf A}_{ab}$ is defined by

[TABLE]

Note that the second equation here does not contain the torsion component $T_{{\overline{\alpha}}a}{}^{b}$ because it vanishes. The fluctuations ${\tenbf E}_{a}{}^{\overline{\alpha}}$ and ${\tenbf\overline{\tenbf E}}_{a}{}^{\alpha}$ are given by

[TABLE]

${\tenbf{\Omega}}_{a{\overline{\alpha}}}{}^{\overline{\beta}}$ and ${\tenbf\overline{\Omega}}_{a{\alpha}}{}^{\beta}$ are given by

[TABLE]

${\tenbf P}$ is given by

[TABLE]

${\tenbf\overline{C}}_{\overline{\alpha}}{}^{{\overline{\beta}}{\alpha}}$ and ${\tenbf C}_{\alpha}{}^{{\beta}{\overline{\alpha}}}$ are given by

[TABLE]

And finally, ${\tenbf S}$ is given by

[TABLE]

or

[TABLE]

The physical interpretation of the fluctuations is similar to the flat space-time case. The operator ${\tenbf A}_{ab}$ of (5.1) describes fluctuations of the metric, the Kalb-Ramond and the dilaton superfields. The operators ${\tenbf E}_{a}{}^{\overline{\alpha}}$ and ${\tenbf\overline{\tenbf E}}_{a}{}^{\alpha}$ in (5.1) describe fluctuations of the vielbein superfields. The operators ${\tenbf{\Omega}}_{a{\overline{\alpha}}}{}^{\overline{\beta}}$ and ${\tenbf\overline{\Omega}}_{a{\alpha}}{}^{\beta}$ describe fluctuations of the Lorentz connection superfields. The operator ${\tenbf P}^{{\alpha}{\overline{\beta}}}$ of (5.1) describes the fluctuation of the Ramond-Ramond field strength.

It is interesting to note that if the fluctuation (5.1) is added to the world-sheet action (3.1) give a new supergravity background (linear in the fluctuations). Note that this was also the case for the heterotic string in a generic background [8]. The action becomes

[TABLE]

which is equal to the action (3.1) if we remove the primes. Note that the supermetric $G_{NM}$ is equal to $E_{N}{}^{a}E_{Ma}$ . The explicit expressions for the primed superfields in terms of unprimed superfields is as follows

[TABLE]

6. Gauge symmetry

Up to now we have studied the consequences of having the unintegrated vertex operator (4.1) which is annihilated by the pure spinor BRST charge. Note that $U$ has ghost-number $(1,1)$ and vanishing conformal dimension. By the descent procedure used above, there exist world-sheet fields $W$ (of ghost number $(0,1)$ and conformal dimension $(1,0)$ ) and ${\overline{W}}$ (of ghost number $(1,0)$ and conformal dimension $(0,1)$ ) satisfying $QW={\partial}U$ and $Q{\overline{W}}={\overline{\partial}}U$ , respectively. And finally, the integrated vertex operator $V$ , of vanishing ghost number and conformal dimension $(1,1)$ , satisfies $QV={\partial}{\overline{W}}-{\overline{\partial}}W$ . The unintegrated vertex is not only annihilated by $Q$ , it belongs to the cohomology of $Q$ , that is $U$ is also defined up to $Q{\Lambda}$ for some ${\Lambda}$ . On generic grounds, $W$ is defined up to ${\partial}{\Lambda}+Q{\Sigma}$ for some ${\Sigma}$ and ${\overline{W}}$ is defined up to ${\overline{\partial}}{\Lambda}+Q{\overline{\Sigma}}$ for some ${\overline{\Sigma}}$ . Finally, the integrated vertex operator is defined up to ${\partial}{\overline{\Sigma}}-{\overline{\partial}}{\Sigma}$ , that is a total derivative. Note that an BRST-exact term is not allowed in the transformation of the integrated vertex operator because $Q$ should act on a field with negative ghost number. This is not possible in the pure spinor formalism.This construction was explicitly done in [9] for the type II superstring in a flat background. We now consider our case.

The gauge invariance ${\delta}U=Q{\Lambda}$ implies a gauge transformation for the superfield ${\tenbf A}_{{\alpha}{\overline{\beta}}}$ . Giving ${\Lambda}={\lambda}^{\alpha}{\tenbf{\Lambda}}_{\alpha}+{\overline{\lambda}}^{\overline{\alpha}}{\tenbf\overline{\Lambda}}_{\overline{\alpha}}$ , the gauge transformation of ${\tenbf A}_{{\alpha}{\overline{\beta}}}$ is

[TABLE]

where the gauge parameters have to satisfy

[TABLE]

in order to preserve the form (4.1) of the unintegrated vertex operator. Note that the equations in (6.1) have a structure similar to the equations (4.1), then we should have equations like (4.1), (4.1), (4.1) and (4.1). In fact, performing the kind of calculations of the section 4 we obtain

[TABLE]

where $\tau_{abc}={\gamma}_{abc}^{{\alpha}{\beta}}{\Omega}_{\alpha}{\Omega}_{\beta}$ and ${\overline{\tau}}_{abc}={\gamma}_{abc}^{{\overline{\alpha}}{\overline{\beta}}}{\overline{\Omega}}_{\overline{\alpha}}{\overline{\Omega}}_{\overline{\beta}}$ .

We now find the gauge transformations for the remaining superfields in $W$ . Performing a gauge transformation in the first equation of (4.1) and in (4.1) we obtain

[TABLE]

Using these transformations in (5.1) one obtains that its gauge transformation becomes

[TABLE]

as expected from the above discussion. Similarly, for the superfields in ${\overline{W}}$ we obtain

[TABLE]

Using these transformations in (5.1) one obtains

[TABLE]

as expected from above.

Finally, the integrated vertex operator transforms to a total derivative. In fact,

[TABLE]

Again, this is what we discussed at the beginning of the current section.

7. Final comments

In this paper we have generalize the construction of the integrated vertex operator for the type II superstring in the pure spinor string in a flat background to the on-shell supergravity background. This is a generalization of the analysis done in [16] for the type IIB superstring in a $AdS_{5}\times S^{5}$ background and in [7] for the plane wave limit of $AdS_{5}\times S^{5}$ background. We used descent procedure used to construct the integrated vertex operator. Because this procedure is based on the existence of reparametrization $b$ ghosts, there should be possible to construct these ghosts in a generic supergravity background generalizing the result of [14] and [15]. It would be interesting to study the correlations among vertex operators with the hope of the determination of scattering amplitudes, we leave this problem for the future.

References

relax[1] N. Berkovits, “Super Poincare covariant quantization of the superstring,” JHEP 0004, 018 (2000). [hep-th/0001035]. relax[2] N. Berkovits and P. S. Howe, “Ten-dimensional supergravity constraints from the pure spinor formalism for the superstring,” Nucl. Phys. B 635, 75 (2002). [hep-th/0112160]. relax[3] O. Chandia and B. C. Vallilo, “Conformal invariance of the pure spinor superstring in a curved background,” JHEP 0404, 041 (2004). [hep-th/0401226]. relax[4] O. A. Bedoya and O. Chandia, “One-loop Conformal Invariance of the Type II Pure Spinor Superstring in a Curved Background,” JHEP 0701, 042 (2007). [hep-th/0609161]. relax[5] O. Chandia and M. Tonin, “BRST anomaly and superspace constraints of the pure spinor heterotic string in a curved background,” JHEP 0709, 016 (2007). [arXiv:0707.0654 [hep-th]]. relax[6] N. Berkovits and O. Chandia, “Superstring vertex operators in an $AdS_{5}\times S^{5}$ background,” Nucl. Phys. B 596, 185 (2001). [hep-th/0009168]. relax[7] O. Chandia and B. C. Vallilo, “Vertex operators for the plane wave pure spinor string,” JHEP 1810, 088 (2018). [arXiv:1807.05149 [hep-th]]. relax[8] O. Chandia, “General fluctuations of the heterotic pure spinor string on curved backgrounds,” [arXiv:1812.05124 [hep-th]]. relax[9] O. Chandia and B. C. Vallilo, “A superfield realization of the integrated vertex operator in an $AdS_{5}\times S^{5}$ background,” JHEP 1710, 178 (2017). [arXiv:1709.05517 [hep-th]]. relax[10] N. Berkovits, “Pure spinor formalism as an N=2 topological string,” JHEP 0510, 089 (2005). [hep-th/0509120]. relax[11] O. Chandia, “The $b$ Ghost of the Pure Spinor Formalism is Nilpotent,” Phys. Lett. B 695, 312 (2011). [arXiv:1008.1778 [hep-th]]. relax[12] R. Lipinski Jusinskas, “Nilpotency of the b ghost in the non-minimal pure spinor formalism,” JHEP 1305, 048 (2013). [arXiv:1303.3966 [hep-th]]. relax[13] O. Chandia and B. C. Vallilo, “Non-minimal fields of the pure spinor string in general curved backgrounds,” JHEP 1502, 092 (2015). [arXiv:1412.1030 [hep-th]]. relax[14] O. Chandia, “The Non-minimal Heterotic Pure Spinor String in a Curved Background,” JHEP 1403, 095 (2014). [arXiv:1311.7012 [hep-th]]. relax[15] N. Berkovits and O. Chandia, “Simplified Pure Spinor $b$ Ghost in a Curved Heterotic Superstring Background,” JHEP 1406, 001 (2014). [arXiv:1403.2429 [hep-th]]. relax[16] O. Chandia, A. Mikhailov and B. C. Vallilo, “A construction of integrated vertex operator in the pure spinor sigma-model in $AdS_{5}\times S^{5}$ ,” JHEP 1311, 124 (2013). [arXiv:1306.0145 [hep-th]].