Skip to content

Paper guide: Section 6, curved multiplets and actions

Section 6 turns a supplied supersymmetric background into transformations and action densities. Its long component lists become easier to use when you keep three questions separate: what algebra must close, which components form a multiplet, and which neutral combination can be integrated?

Begin with the curved chiral multiplet and the curved algebra. Open P v3, Section 6, printed pages 20–29, PDF pages 21–30. Read (6.1)–(6.2), then the chiral example (6.7)–(6.8), before returning to the general list (6.3)–(6.6). This gives the list a purpose before you track all its components.

The parent is three-dimensional N=2\mathcal N=2, with four real Lorentzian Poincaré supercharges. The paper uses its Euclidean complexification; the supplied Killing spinors determine the preserved transformations. Its explicit gauge formulas in this section are Abelian. The worked calculation below uses a background flavor U(1)U(1) and no dynamical gauge group.

Paper notationWhat to keep distinct
CC in (6.3)The bottom scalar of a general multiplet, not the graviphoton one-form CμC_\mu
aμ,σ,Da_\mu,\sigma,D in a general multipletComponents, not automatically a gauge connection, a real mass and an independent auxiliary
aμ,σ,Da_\mu,\sigma,D in (6.18)Entries of a vector multiplet in Wess–Zumino gauge
Aμ,Vμ,HA_\mu,V_\mu,HFixed rigid sources; VμV_\mu is not the vector superfield V\mathcal V
r,z,qr,z,qScalar R-charge, central-charge eigenvalue and Abelian gauge or flavor charge; zz has mass dimension one
Φ~,ψ~,F~\widetilde\Phi,\widetilde\psi,\widetilde FIndependent Euclidean partners; the tilde alone imposes no integration contour
DμD_\mu and the modified derivative in (6.31)A component derivative and a useful rearrangement of the action, not interchangeable prescriptions

For a component XX with charges (rX,zX,qX)(r_X,z_X,q_X), (6.24) means

DμX=[∇μ−irXAμ−izXCμ−iqXaμ]X,Aμ=Aμ−12Vμ.(PC05.1)D_\mu X=\left[\nabla_\mu-ir_X\mathcal A_\mu-iz_XC_\mu-iq_Xa_\mu\right]X, \qquad \mathcal A_\mu=A_\mu-\frac12V_\mu . \tag{PC05.1}

The current-source combination is instead A−3V/2A-3V/2. Equation (6.31) does not replace A\mathcal A everywhere: it defines DμX=DμX+ir0XVμX\mathscr D_\mu X=D_\mu X+i r_{0X}V_\mu X, with r0ϕ=1/2r_{0\phi}=1/2, r0ψ=−1/2r_{0\psi}=-1/2 and opposite partner values. These fixed numbers organize the canonical kinetic action. They are not a determination of an interacting R-charge.

Keep the charge of the actual component or product in every derivative. In (6.8), Dμ(ζ~γμψ)D_\mu(\widetilde\zeta\gamma^\mu\psi) differentiates the label as well as the matter field and carries R-charge r−2r-2. Also retain z−rHz-rH: it is a source-dependent coefficient, not permission to make the central-charge eigenvalue zz a function of position.

The commuting labels generate odd operations. Their bracket in (6.1) is an anticommutator. The paper motivates and checks that algebra, and gives a dimensional-reduction construction in Appendix D; it does not claim to start from a fully available gauge-fixed three-dimensional supergravity component action.

For this part prepare with F- and D-terms, the vector multiplet, gauge and matter actions, flavor backgrounds, CS and FI terms, and the complete sphere action. The following map covers the whole section; its targets distinguish a complete derivation from a selected component check.

P v3 landmarkWhat to establishCanonical teaching target
(6.1)–(6.2), printed 21/PDF 22Isometry plus R and central transformationsThe algebra and its scope, R07.5–R07.9
(6.3)–(6.6), printed 22/PDF 23The general package and its charge-dependent rulesThe component package; the following scalar calculation checks the needed part of (6.5)
(6.7)–(6.10), printed 23/PDF 24Constrain the general package to a chiral or antichiral multipletThe chiral rules and their subsequent closure calculation
(6.11)–(6.12), printed 23–24/PDF 24–25A neutral linear multiplet has a conserved vector componentIts embedded components, then the field-strength example below
(6.13)–(6.14), printed 24/PDF 25Neutrality and the background completion make an invariant integralD-term prescription and F-term charge conditions
(6.15), printed 24/PDF 25Complete an R-current improvement nonlinearlyMixed coupling to the R source
(6.16), printed 25/PDF 26Multiply components with graded signs and summed chargesChiral product and charged product expansion
(6.17)–(6.22), printed 25–26/PDF 26–27Gauge freedom, its compensation and the field-strength multipletVector rules, gauge closure, and the linear field strength
(6.23)–(6.25), footnote 10, printed 27/PDF 28Charged matter requires the gauge completionExpand the gauge-invariant product, including Φ~e−2qVΦ\widetilde\Phi e^{-2q\mathcal V}\Phi
(6.26), printed 28/PDF 29A frozen source must itself preserve the retained labelsFreeze the whole flavor multiplet, A05.1
(6.27)–(6.29), printed 28/PDF 29FI, gauge CS and gauge–R CS have different completionsCurved CS/FI construction, A06.6–A06.7
(6.30), printed 29/PDF 30The field-strength square supplies Yang–Mills termsComplete gauge action
(6.31)–(6.32), printed 29/PDF 30Assemble the matter action and check its limitsComplete matter action and the direct sphere variation

The general multiplet’s 16+1616+16 component count is an off-shell package, not a particle count. Similarly, the scalar and highest entries in the embeddings (6.7), (6.9) are composites of the chiral fields and sources, not additional dynamical fields.

Three checks should accompany any use of the action list. The F-term in (6.14) requires bottom charges (r,z)=(2,0)(r,z)=(2,0) and the opposite antichiral assignment. The D-term in (6.13) requires a neutral general multiplet and includes both a⋅Va\cdot V and σH\sigma H. Finally, “variation is a divergence” requires global fields and a vanishing boundary flux to imply invariance of the action. None of these local prescriptions chooses a quantum regulator, compact CS level lattice or Euclidean integration contour.

Restore an auxiliary coefficient from the matter action

Section titled “Restore an auxiliary coefficient from the matter action”

Here is a useful calculation across (6.15), (6.24) and (6.32). Suppose a theory has an unbroken Abelian flavor symmetry. A local change of generators can be written R′=R+tFflavor\mathsf R'=\mathsf R+t\mathsf F_{\rm flavor}, where tt is a real dimensionless constant; the plain RR below continues to mean Ricci scalar. A chiral scalar of flavor charge qq then has r′=r+tqr'=r+tq. Changing its label alone changes its background couplings. Can we compensate by changing the flavor sources?

Use a frozen vector multiplet (aF,σF,0,0,DF)(a_F,\sigma_F,0,0,D_F) and hold the rigid sources fixed. Put M=z−qσFM=z-q\sigma_F. Preserving both the connection (PC05.1) and the chiral coefficient M−rHM-rH forces

r′=r+tq,aF′=aF−tA,σF′=σF−tH,M′=M+tqH.(PC05.2)r'=r+tq,\qquad a'_F=a_F-t\mathcal A,\qquad \sigma'_F=\sigma_F-tH,\qquad M'=M+tqH. \tag{PC05.2}

The same cancellation works for r−1r-1 and r−2r-2, since every component has the same flavor charge. The labels have flavor charge zero and keep their R-charges ±1\pm1.

The remaining unknown is the auxiliary shift. Extract the scalar coefficient from (6.32):

U(r,M,DF,σF)=q(DF+σFH)+M2−2(r−1)HM−r4R+12(r−12)V2+r(r−12)H2.(PC05.3)\begin{aligned} U(r,M,D_F,\sigma_F)={}&q(D_F+\sigma_FH)+M^2-2(r-1)HM-\frac r4R\\ &+\frac12\left(r-\frac12\right)V^2 +r\left(r-\frac12\right)H^2 . \end{aligned} \tag{PC05.3}

Here V2=VμVμV^2=V_\mu V^\mu, without complex conjugation. Write δ=tq\delta=tq and ΔDF=DF′−DF\Delta D_F=D'_F-D_F. In the three terms quadratic in M,rM,r, the δM\delta M terms cancel and the δ2\delta^2 terms cancel, leaving 3δH2/23\delta H^2/2. The change of qσFHq\sigma_FH contributes −δH2-\delta H^2. Therefore

U′−U=qΔDF+δ[−H2+32H2−R4+V22]=q[ΔDF−t4(R−2V2−2H2)].(PC05.4)\begin{aligned} U'-U &=q\Delta D_F+\delta\left[-H^2+\frac32H^2-\frac R4+\frac{V^2}{2}\right]\\ &=q\left[\Delta D_F-\frac t4(R-2V^2-2H^2)\right]. \end{aligned} \tag{PC05.4}

For a nonzero flavor charge, equality fixes

DF′=DF+t4(R−2V2−2H2).(PC05.5)\boxed{D'_F=D_F+\frac t4(R-2V^2-2H^2).} \tag{PC05.5}

The fermion coefficient i[M−(r−12)H]i[M-(r-\tfrac12)H] is unchanged already by (PC05.2); so are D\mathscr D and the matter auxiliary term. With source gauginos zero, the whole local canonical matter density agrees, not just its scalar mass-squared.

This is our reconstruction from the source formulas, rather than an additional quoted equation of P. As a check, the geometric entries aR=Aa_R=\mathcal A, σR=H\sigma_R=H and DR=−(R−2V2−2H2)/4D_R=-(R-2V^2-2H^2)/4 reproduce the bosonic mixed density iϵa ∂aR−DσR−σDRi\epsilon a\,\partial a_R-D\sigma_R-\sigma D_R in P (6.29). Its −2H2-2H^2 must not be copied as the +2H2+2H^2 in the linear-multiplet prescription (6.15); inserting the field-strength component K=D+σHK=D+\sigma H explains the difference.

Equations (PC05.2)–(PC05.5) establish local component identities. To use the transformed values as fixed backgrounds, their gaugino variations and global transitions must also be valid. We now check those requirements on a supplied background. This calculation alone is not a theorem equating partition functions in independently chosen contact-term schemes.

Worked changed input: an R shift on the sphere

Section titled “Worked changed input: an R shift on the sphere”

Take the established round sphere with A=V=C=0A=V=C=0, H=−i/ℓH=-i/\ell, R=−6/ℓ2R=-6/\ell^2 and ℓ>0\ell>0. Start with aF=0a_F=0, σF=μ\sigma_F=\mu, DF=iμ/ℓD_F=i\mu/\ell, where μ\mu is real. This is (6.26): DF+HσF=0D_F+H\sigma_F=0. It preserves the sphere’s two labels in each family, the continuation of the four-real-charge parent.

The compensated change becomes

r′=r+tq,σF′=μ+itℓ,DF′=iμℓ−tℓ2,aF′=0.(PC05.6)r'=r+tq,\qquad \sigma'_F=\mu+\frac{it}{\ell},\qquad D'_F=\frac{i\mu}{\ell}-\frac{t}{\ell^2},\qquad a'_F=0. \tag{PC05.6}

Indeed DF′+HσF′=0D'_F+H\sigma'_F=0. With constant σF′\sigma'_F and zero field strength, both gaugino matrices in (6.20) vanish. This is a complex Euclidean flavor background, which the paragraph after (6.26) explicitly permits; its imaginary shift is not a new real Lorentzian mass.

Set z=0z=0 and define the dimensionless combination

ϱ=r+iqℓμ,ϱ′=r′+iqℓσF′=ϱ.(PC05.7)\varrho=r+iq\ell\mu,\qquad \varrho'=r'+iq\ell\sigma'_F=\varrho . \tag{PC05.7}

The scalar operator and the fermion operator can be written

OB=−∇2+ϱ(2−ϱ)ℓ2,OF=γμ∇μ−iℓ(ϱ−12).(PC05.8)\mathcal O_B=-\nabla^2+\frac{\varrho(2-\varrho)}{\ell^2}, \qquad \mathcal O_F=\gamma^\mu\nabla_\mu-\frac{i}{\ell} \left(\varrho-\frac12\right). \tag{PC05.8}

For the second formula the independent fermion row is χ=−iψ~TCspin\chi=-i\widetilde\psi^{\mathsf T}C_{\rm spin}, with Cspin=(0−110)C_{\rm spin}=\left(\begin{smallmatrix}0&-1\\1&0\end{smallmatrix}\right), so the density is χOFψ\chi\mathcal O_F\psi. At fixed rr the flat signed Dirac mass is qμ=−Mq\mu=-M. This translation prevents a sign in the paper’s scalar spinor contraction from being mistaken for a physical mass sign.

For example, q=1q=1, r=1/2r=1/2 and t=1/3t=1/3 give r′=5/6r'=5/6, σF′=μ+i/(3ℓ)\sigma'_F=\mu+i/(3\ell), yet both descriptions have

OB=−∇2+μ2+iμℓ+34ℓ2,OF=γμ∇μ+μ.(PC05.9)\mathcal O_B=-\nabla^2+\mu^2+\frac{i\mu}{\ell} +\frac{3}{4\ell^2}, \qquad \mathcal O_F=\gamma^\mu\nabla_\mu+\mu . \tag{PC05.9}

On the scalar contour ϕ~=ϕ∗\widetilde\phi=\phi^* the real part of this quadratic scalar form is positive. The independent matter auxiliary can use F~=−F∗\widetilde F=-F^*, making −F~F=∣F∣2-\widetilde F F=|F|^2. The fixed DFD_F is not integrated over. These statements identify a convergent bosonic Gaussian direction; they do not establish all regulated quantum Ward identities.

For a mode check, the constant scalar has eigenvalue ϱ(2−ϱ)/ℓ2\varrho(2-\varrho)/\ell^2. A dimensionless ambient coordinate Y=y0Y=y^0 on the unit sphere satisfies −∇2Y=3Y/ℓ2-\nabla^2Y=3Y/\ell^2, so its eigenvalue is [3+ϱ(2−ϱ)]/ℓ2[3+\varrho(2-\varrho)]/\ell^2 in either description. This tests a nonconstant field as well as the scalar coefficient. Sending ℓ→∞\ell\to\infty at fixed r,t,μr,t,\mu gives the common flat operators −∂2+q2μ2-\partial^2+q^2\mu^2 and γ⋅∂+qμ\gamma\cdot\partial+q\mu.

The agreement concerns a change of source description together with an R assignment. Varying a real μ\mu at fixed rr, or changing rr while holding every source fixed, is a different operation. The sphere has no two-cycle obstruction to the local comparison; arbitrary mixing on a manifold with compact flux requires the further test below.

1. Keep a superpotential neutral through the change

Section titled “1. Keep a superpotential neutral through the change”

Take two chirals with flavor charges q1=2q_1=2, q2=−1q_2=-1, R-charges r1=1r_1=1, r2=1/2r_2=1/2, and zero central charge. Consider W=gΦ1Φ22W=g\Phi_1\Phi_2^2 with a fixed neutral coefficient. On the sphere family, apply t=1/4t=1/4. Find both new R-charges and both invariant combinations ϱi\varrho_i. Check the F-term charge conditions before and after the change. Would assigning both flavor charges +1+1 allow the same fixed coupling and source construction?

Hint 1

Add charges with the powers appearing in the monomial. The source scalar changes once for the common flavor symmetry, not separately for each field.

Hint 2

Use ri′=ri+tqir_i'=r_i+tq_i and σF′=μ+it/ℓ\sigma'_F=\mu+it/\ell in each ϱi=ri+iqiℓμ\varrho_i=r_i+iq_i\ell\mu.

Solution

The new charges are r1′=3/2r'_1=3/2, r2′=1/4r'_2=1/4. The unchanged combinations are ϱ1=1+2iℓμ\varrho_1=1+2i\ell\mu and ϱ2=1/2−iℓμ\varrho_2=1/2-i\ell\mu. Their sum ϱ1+2ϱ2=2\varrho_1+2\varrho_2=2 also exhibits cancellation of the flavor mass in this neutral product.

Before the change, qW=2−2=0q_W=2-2=0 and rW=1+2(1/2)=2r_W=1+2(1/2)=2. Afterward rW′=3/2+2(1/4)=2r'_W=3/2+2(1/4)=2, while qW=zW=0q_W=z_W=0 remain unchanged. Thus the product auxiliary is a neutral F-term integrand under (6.14). Its antichiral partner has the opposite bottom R-charge. The canonical product rule supplies the fermion terms; no new uncharged constant is being assigned an artificial transformation.

With both flavor charges +1+1, qW=3q_W=3. The fixed nonzero neutral coefficient would break that proposed flavor symmetry. A formal spurion charge for gg would describe a transforming source, not an unbroken symmetry of this fixed theory. One could not apply the same frozen flavor background without supplying and checking a different coupling multiplet.

2. Change the scalar source but forget its auxiliary

Section titled “2. Change the scalar source but forget its auxiliary”

On the sphere start from aF=0a_F=0, σF=μ\sigma_F=\mu, DF=iμ/ℓD_F=i\mu/\ell. Make r′=r+tqr'=r+tq and σF′=μ+it/ℓ\sigma'_F=\mu+it/\ell, but incorrectly keep DF′=DFD'_F=D_F. Calculate both gaugino variations and the difference in the scalar coefficient from the compensated answer. Can the discrepancy be a boundary term for a constant nonzero scalar on the closed sphere?

Hint 1

For constant sources with aF=0a_F=0, (6.20) reduces to δλF=i(DF+HσF)ζ\delta\lambda_F=i(D_F+H\sigma_F)\zeta and δλ~F=−i(DF+HσF)ζ~\delta\widetilde\lambda_F=-i(D_F+H\sigma_F)\widetilde\zeta.

Hint 2

Compare the retained auxiliary value with (PC05.6). The matter density depends on it through qDFϕ~ϕqD_F\widetilde\phi\phi.

Solution

The incorrect shift gives DF′+HσF′=t/ℓ2D'_F+H\sigma'_F=t/\ell^2. Hence

δλF=itℓ2ζ,δλ~F=−itℓ2ζ~,Uwrong−U=qtℓ2.\delta\lambda_F=\frac{it}{\ell^2}\zeta,\qquad \delta\widetilde\lambda_F=-\frac{it}{\ell^2}\widetilde\zeta,\qquad U_{\rm wrong}-U=\frac{qt}{\ell^2}.

For t≠0t\ne0 neither nonzero label leaves this frozen source unchanged. Its local scalar discrepancy is not a change of the fermion pole-mass convention; the fermion coefficient was unchanged. For ϕ~=ϕ∗=v∗\widetilde\phi=\phi^*=v^* constant, integration gives ΔS=2π2qtℓ∣v∣2\Delta S=2\pi^2qt\ell|v|^2. For nonzero qtvqtv this cannot be the integral of a globally defined divergence on the closed sphere. The wrong result diagnoses the omitted source auxiliary, not a freedom to eliminate a fixed background field by a matter equation.

3. A local redefinition that fails the compact transition

Section titled “3. A local redefinition that fails the compact transition”

Use the supplied product background S1×Sℓ2S^1\times S^2_\ell with periodic circle spin structure, H=V=0H=V=0, and R=−2/ℓ2R=-2/\ell^2. On the sphere take AN=(1−cos⁡θ)dφ/2A_N=(1-\cos\theta)d\varphi/2 and AS=−(1+cos⁡θ)dφ/2A_S=-(1+\cos\theta)d\varphi/2. Their flux is 2π2\pi, and AN−AS=dφA_N-A_S=d\varphi. In regular spin frames Γ=iAγ1\Gamma=iA\gamma_1; the selected charge-+1+1 and charge-−1-1 labels are u+u_+ and u−u_- with γ1u±=±u±\gamma_1u_\pm=\pm u_\pm.

Start with the trivial compact flavor line, zero flavor sources and a unit-charge probe. Apply the local redefinition. Verify the flavor gaugino equations on these labels, then determine which real tt give a valid compact flavor transition. Explain the failure at t=1/2t=1/2.

Hint 1

The new sources are aF′=−tAa'_F=-tA, σF′=0\sigma'_F=0 and DF′=−t/(2ℓ2)D'_F=-t/(2\ell^2). In the oriented frame with direction 1 along the circle, bF′=∗daF′=−te1/(2ℓ2)b'_F=*da'_F=-t e^1/(2\ell^2).

Hint 2

The two matrices are i(DF′−γ⋅bF′)i(D'_F-\gamma\cdot b'_F) and −i(DF′+γ⋅bF′)-i(D'_F+\gamma\cdot b'_F). A compact unit-charge transition must be single-valued as φ\varphi increases by 2π2\pi.

Solution

The first matrix annihilates u+u_+ because DF′=bF1′D'_F=b'_{F1}; the second annihilates u−u_- because γ1u−=−u−\gamma_1u_-=-u_-. Thus the local source check succeeds for every real tt on the specified labels. It does not require four independent sphere-product labels.

Across the overlap aFN′−aFS′=−t dφa'_{FN}-a'_{FS}=-t\,d\varphi, so the flavor transition is e−itφe^{-it\varphi} and its first Chern number is −t-t. With the specified compact group and unit-charge probe, it defines a line bundle exactly when t∈Zt\in\mathbb Z. At t=1/2t=1/2 the transition changes sign after one turn. A local gaugino cancellation has not made that source global.

This restriction is about the chosen compact charge lattice and flux. Changing the global group or additional bundle data would change the problem. It is absent from the contractible local calculation and is not detected by the algebraic equality of the matter densities.

You can now use the section as a construction sequence: identify the component charges, use the correct product or gauge compensation, form a neutral invariant, and test the resulting source dependence without losing its global assumptions. The original-paper reading guide places this action construction between background existence and the paper’s later current-response checks.

Continue with the Section 7 guide to compare the completed curved couplings with their first-order current description.