Abstract
We construct superconformal invariants in superspace which are used to build 3-point correlators of spinning operators in general \({\mathcal {N}}=2\) superconformal field theories in three dimensions. Our systematic analysis includes various relations between these invariants and provides a minimal set of parity-even and parity-odd invariants which is further used to construct general 3-point functions in any 3d \({\mathcal {N}}=2\) SCFT. For conserved (super)currents, we explicitly compute various 3-point functions using Wick contractions in the free field case, and express them in terms of the constructed parity-even invariants. We give evidence through examples for the claim that the 3-point function of conserved currents generally comprises of two parts – a parity-even piece coming from the free theory, and a parity-odd piece.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Superconformal invariance is the largest spacetime symmetry possible in a local relativistic quantum field theory. Consequently, it is extremely constraining. Conformal algebras exist in all space-time dimensions but the supersymmetry algebra can be extended to a closed superconformal algebra only for \(d \le 6\) [1]. Also, as is well known, two and three point functions of operators are completely fixed by (super)conformal symmetry alone [2, 3]. For the case of 3-point functions of spinning operators, the form is still exactly fixed, but a number of tensor structures are possible [4, 5], each coming with an OPE coefficient encoding the dynamics of the theory. Since the number of these tensor structures, as well as the complexity in the form of each, increases rapidly with increasing spin of the correlator, it is useful to have an efficient and tractable way of keeping track of the tensorial nature of such correlators. For non-supersymmetric theories, one such approach was provided by [6] (see also [7] which utilises the embedding space formalism).
In this paper, we will study the constraints of \({\mathcal {N}}=2\) superconformal invariance on 3-point correlators of spinning primary operators in three dimensions. We will extensively use the superspace formalism [8] and work throughout with correlators of superfields. In particular, we will construct a multitude of 3-point superconformal invariants and express 3-point correlators as multinomials in these invariants. Using the polarisation spinor formalism [6] and these invariants, we will find that the proliferating complexity of tensor structures with increasing spin becomes tractable, and one only needs to deal with multinomials built out of a handful of these invariants to encode the tensor structure of general spinning correlators. Furthermore, we will study the constraints that arise when one or more operators are conserved currents.
Related studies of various aspects of 3-point correlators in 3d SCFTs include [9,10,11,12,13,14,15,16]. For an overview of the general constraints of superconformal invariance in various dimensions, see [17, 18].
This paper is structured as follows. We begin by reviewing the essential details of 3d superspace in Sect. 2. Here we also construct the superconformal covariant structures which are used in later sections to build 3-point function invariants. In Sects. 3, 4 we construct the primary 3-point invariants, both parity-even and parity-odd, out of which all 3-point functions of spinning operators are built. The relations that exist between these invariants are also discussed in these sections. In Sect. 5 we give examples of various 3-point correlators expressed as a linear combination of linearly independent structures built out of the invariants. We move on to discuss correlators of conserved currents in Sect. 6. We first fix the form of the free-theory 3-point correlators in terms of parity-even invariants. Subsequently, using the appropriate conservation (multiplet shortening) condition we give evidence through examples that the general 3-point conserved current correlator in an \({\mathcal {N}}=2\) 3d SCFT is the sum of a parity-even (free theory) part and a parity odd part, with two undetermined OPE coefficients. We conclude with a discussion and future directions in Sect. 7.
Some technical details are relegated to the appendices. Appendix A contains details of the various conventions used and lists various useful relations. Appendix B lists various relations where invariants constructed out of the covariant structures are all expressed in terms of our minimal set of invariants. Appendix C details, through two examples, the computation of 3-point conserved current correlators in a free theory.
2 Superconformal covariant structures in superspace
In this section, we provide an overview of the required basic features of superspace and construct the various covariant structures out of which 3-point functions are built. This will help set the stage for constructing 3-point invariants and correlators in the following sections.
A foundational work on 3d SCFTs in superspace is [9] to which the reader is referred to for additional details. We have included the necessary details in this section to make the paper self-contained for the most part. Note however that our conventions are different – they are those of [10] and are summarised in Appendix A. We will also use polarisation spinors to encode spin, in a manner similar to [6], as explained in more detail below.
Superspace is parametrised by coordinates \((x^{\mu }_{i},\theta ^{a}_{i\alpha }) \) where x denotes the usual bosonic coordinate, \(\theta \) denotes the fermionic (grassmanian) coordinate, \(\mu =0,1,2\) is a Lorentz index, \(\alpha =1,2\) is a spinor index, \(a=1,2,\ldots ,{\mathcal {N}}\) is the R-symmetry index and \(i=1,2,3\) will label a particular superspace point.Footnote 1 We will work with Majorana spinors, the R-symmetry group being SO(2) for the \({\mathcal {N}}=2\) case we will be focus on. Since \(\delta _{ab}\) is the only invariant tensor for SO(2), all R-symmetry singlets will be built by contracting R-symmetry charged objects with \(\delta _{ab}\)’s.
Following [6] we will use spinor notation to write an SO(2, 1) vector as a bi-spinor – \(X_{\alpha }^ {\,\,\beta }=x^{\mu } (\gamma _{\mu })_{\alpha }^{\,\,\beta } \), where \(\gamma _{\mu }\) are the 3d ‘Pauli’ matrices. Their form along with various other conventions used in the paper are given in Appendix A.
The action of (super)inversion on the superspace coordinates is given by
and
where we have defined
which transforms under super-inversion as
Now the following two structures, constructed out of 2 superspace points, are annihilated by the supersymmetry generators:
Super-Poincare invariant structure can thus be easily constructed out of these. However, as may easily be checked, they do not transform covariantly under superconformal transformations generated by \(S^a_\alpha \). The alternative definition \(S^a_\alpha = I Q^a_\alpha I\) will be useful for us.
In [9], the following structures were defined and determined to transform homogeneously under super-inversion
with the transformation
These can be written in the alternative form
which makes it clear that a particular combination of the above two objects annihilated by the supersymmetry generators has good super-inversion properties.
We also have the relations
where we have defined
which will be used repeatedly below. We have the following homogeneous transformation law under super-inversion:
With three superspace points, one can also construct
with again a homogeneous transformation under super-inversion,
and similarly for \({\mathfrak {X}}_{2+},{\mathfrak {X}}_{3+}\).
Superspace also admits purely fermionic 3-point superconformal covariant structures [9] defined as
and transforming under super-inversion as
with \(\Theta _{2},\,\Theta _{3}\) defined similarly. Here \(V_j, \,\,j=1,2,3\) is a matrix acting on the R-symmetry indices and has the form [9]
It satisfies \(V_j^T V_j=I\). As we will see in the next section, the existence of V makes it non-trivial to construct super-inversion invariants which are also R-symmetry singlets.Footnote 2
\(X_{ij\pm }, \Theta _{i\alpha }^{a}\) are the primary building blocks, together with the polarisation spinors that we discuss next, out of which 3-point invariants for spinning correlators will be constructed.
2.1 Polarisation spinors
We will adopt the formalism of [6] to encode the tensor structure of the correlators and use polarisation spinors (\(\lambda _{\alpha }\)) as trackers of the spin of the operators. Our \(\lambda \)’s are 2-component, real, bosonic objects that transform in the spinor representation of the 3d Lorentz group. We define
and
as a scalar object (with the spin encoded in the \(\lambda \)’s) representing a spin s symmetric superconformal primary operator. We will be interested in 3-point functions of the form
with a homogeneity in \(\lambda \) of \(\lambda _1^{2s_1}\lambda _2^{2s_2}\lambda _3^{2s_3}\). This correlator will thus be a function of \((x_i,\theta _i, \lambda _i),\,\, (i=1,2,3)\), which are co-ordinates in (extended) superspace.Footnote 3
Their transformation under super-inversions is the same as that of \(\theta \)’s :
In higher dimensions, where we have mixed symmetry tensor operators, one has to include fermionic polarisation spinors as well.
2.2 Supercovariant derivative and chiral co-ordinates
In studying conservation constraints in Sect. 6 we will make much use of the supercovariant derivative \(D^{a}_{\alpha }\) which as a differential operator in superspace is defined as
where \(\partial _{\beta \alpha }=(\gamma ^{\mu })_{\beta \alpha }\partial _{\mu }\).
As is well-known, the operator \(D^{a}_{\alpha }\) anti-commutes with all the supersymmetry generators
Also,
where \(P_{\alpha \beta }=P^{\mu }(\gamma _{\mu })_{\alpha \beta }\).
2.2.1 Chiral basis for \({{{\mathcal {N}}}}=2\)
The R-symmetry group for \({{{\mathcal {N}}}}=2\) is SO(2), which is isomorphic to U(1). Thus, instead of working with real coordinates \(\theta ^{a\alpha }=(\theta ^{1\alpha },\theta ^{2\alpha })\), one can introduce the following chiral basis,
The corresponding supercovariant derivatives can then be written as
Expanding, one gets
Also, the (anti-)chiral supercovariant derivatives satisfy the algebra
3 The parity-even invariants and relations
We will now determine 3-point invariant structures which will be used for writing down expressions for spinning correlators in \({\mathcal {N}}=2\) 3d SCFTs. We will find new invariant structures, both parity-even and parity-odd. These new fermionic structures do not, of course, exist in the non-supersymmetric case [6], but they are also different from the \({\mathcal {N}}=1\) case considered in [10], as we will discoverFootnote 4.
In this section, we will construct all the parity even 3-point superconformal invariants using the covariant structures of the previous section, and also the polarisation spinors encoding spin information. The bosonicFootnote 5 invariants are direct generalisations of the non-supersymmetric (\({\mathcal {N}}=0\)) ones in [6]
where \({\mathfrak {X}}_{i+}\) is defined in Eq. (15). Using the transformations of the covariant structures under superinversion listed in Sect. 2, it is straightforward to check that these are parity-even superconformal invariants.
The fermionic parity-even invariants in the \({\mathcal {N}}=1\) case (with no R-symmetry) are [10] \(R_i=\lambda _i {\Theta }_i, \,\, i=1,2,3\). For the \({\mathcal {N}}=2\) case these objects will be charged under R-symmetry: \(R_i^a=\lambda _i {\Theta }_i^a\). However, in this case R-symmetry singlets like \(R_i^2\) are vanishing, whereas those like \(R_1\cdot R_2 = \delta _{ab} R_1^a R_2^b\) are not super-inversion invariant because of the non-trivial V factors in the transformation of \({\Theta }\)’s. Thus we can not straightforwardly build on the \({\mathcal {N}}=1\) fermionic invariants to get the \({\mathcal {N}}=2\) ones and must undertake an ab-initio construction.
3.1 Fermionic counterparts of the P, Q, S invariants
As a first step towards constructing the fermionic invariants, we will first define a number of covariant fermionic counterparts to the P, Q, S invariants above by replacing one or more \(\lambda \)’s by \(\Theta \). The requisite definitions, together with the transformation under super-inversion (\(i_s\)), are
These objects are charged under R-symmetry and are superconformal covariant – they transform homogeneously under super-inversion.Footnote 6
We can now build the required invariants by suitable contraction of the various covariant fermionic structures constructed above. However, not all R-symmetry singlets constructed out of the above covariant structures will be invariant under super-inversion. This subtlety is due to the existence of the V matrix in R-symmetry space. Let us take a simple example to explain this feature. A natural choice for a fermionic parity-even invariantFootnote 7 would be \(R_1\cdot R_2 \equiv R_1^a R_2^b \delta _{ab}\). However, under superinversion we get the V matrix at points 1 and 2 and thus superconformal invariance is not maintained. On the other hand, consider the R-symmetry singlet \( \frac{1}{{\bar{x}}_{12}^{2}}\pi _{13}^{a}\pi _{23}^{a}\) which, like \(R_1\cdot R_2\), is also of homogeneity \(\lambda _1 \lambda _2\). In this case, one can check that super-inversion invariance is maintained.
We thus have the following set of parity-even fermionic invariants
We also have a fermionic parity-even invariant without any \(\lambda \)’s (such an object does not exist in the \({\mathcal {N}}=1\) case)
Here we have a sum over a, b but no sum over i, j. It is clearly neutral under R-symmetry and it can be checked that it is super-inversion invariant as well.Footnote 8 The choice of \({\bar{R}}_i\) and \(R'\) may seem arbitrary. For example, we can also build the following object by contracting the above covariant structures: \(\dfrac{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{12}^{2}}\sigma _{13}^{a}\sigma _{23}^{a}\) . This R-symmetry neutral object (or its cyclic permutations) can be checked to be parity-even and super-inversion invariant, and one may wonder if it defines a new parity-even fermionic invariant. Likewise, one could ask the same question for the parity-even, R-symmetry singlet, superconformally invariant structure \(\frac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{23}^{2}}\Omega ^{aa}_{1}\). However, one can show that
so that both these cases can be expressed in terms of the existing set of parity-even invariants. There are many more examples like these. A systematic analysis (see Appendix B) shows that we can work with the set of invariants \(P_i, Q_i, {\bar{R}}_i\) and \(R'\), and all the parity-even structures that are constructed from the above covariant building blocks can be expressed in terms of these.
3.2 Relations for even invariants
To summarise, the parity-even invariants are \(P_i, Q_i, {\bar{R}}_i\) and \(R'\). With the action on three superspace points of the \({\mathcal {N}}=2\) superconformal group in 3d, with 19 generators (11 bosonic and 8 fermionic), we expect to be able to construct \( 9 \times 3-19=8 \) such independent invariants. Thus there should be two relations between the 10 constructed invariants. Indeed we find,Footnote 9
at \({{{\mathcal {O}}}}(\lambda _{1}^{2}\lambda _{2}^2\lambda _{3}^{2})\), and the (cyclically related) triplet of relations at \({{{\mathcal {O}}}}(\lambda _{i}^{2}\lambda _{j}\lambda _{k})\):
Together, these make the number of independent parity-even invariants to be eight, as required.
Other relations between the parity-even invariants, which are higher order in the \(\lambda \)’s, can be generated from the above relations. Some of these are listed at the end of Appendix B.
4 The parity-odd invariants and relations
In this section we turn to the construction of 3-point function invariants which are odd under parity. These pick up a minus sign under a super-inversion transformation. As previously, there are some of these which are direct extensions of the \({\mathcal {N}}=0\) case [6] :
Given the transformation laws of the building blocks in Sect. 2, it is easy to check that these transform as \(S_i \rightarrow -S_i\) under super-inversion and hence are parity-odd.
Also, there now exists a unique parity-odd fermionic invariant:
Under super-inversion: \(T'\rightarrow -T'\).Footnote 10
Like in the parity-even case, there are other parity-odd invariant structures that can be built from the covariant building blocks of Sect. 2 but they can all be expressed in terms of \(S_i\) and \(T'\) (see Appendix B).
4.1 Relations for odd invariants
Since the product of two odd invariants is an even one, we must be able to express it in terms of the minimal set of even invariants. For example, we have
We further have relations containing products of \(S_{i}\)’s which is expected to be an even invariant. Indeed, we find
and cyclic permutations.
Similarly for \(T'\), we get
We also have various linear relations between products of even and odd invariants.
-
\({{{\mathcal {O}}}}(\lambda _1\lambda _2)\):
$$\begin{aligned} {{\bar{R}}}_{i}T'=-S_{i}R' \end{aligned}$$(49) -
\({{{\mathcal {O}}}}(\lambda _1^2\lambda _2^2)\):
$$\begin{aligned} P_3^2T'-Q_1Q_2T'+2S_3{{\bar{R}}}_3-iP_3S_3R'=0, \end{aligned}$$(50)and cyclic permutations.
-
\({{{\mathcal {O}}}}(\lambda _{1}^{2}\lambda _{2}\lambda _{3})\):
$$\begin{aligned}&Q_{1}S_{1}+P_{2}S_{3}+P_{3}S_{2}+\frac{i}{2} T'P_{2}P_{3}=0, \end{aligned}$$(51)$$\begin{aligned}&S_{2}{{\bar{R}}}_{3}-S_{3}{{\bar{R}}}_{2}=0,\end{aligned}$$(52)$$\begin{aligned}&S_{2}{{\bar{R}}}_{3}+S_{3}{{\bar{R}}}_{2}+T'(P_1Q_1-P_2P_3)=0, \end{aligned}$$(53)and cyclic permutations.
-
\({{{\mathcal {O}}}}(\lambda _{1}^{2}\lambda _{2}^{2}\lambda _{3}^{2})\):
$$\begin{aligned}&P_{1}Q_{1}S_{1}+P_{2}Q_{2}S_{2}-P_{3}Q_{3}S_{3}+2P_{1}P_{2}S_{3}\nonumber \\&\quad +\frac{i}{2} T'P_{1}P_{2}P_{3}=0,\end{aligned}$$(54)$$\begin{aligned}&{{\bar{R}}}_{1} \left( S_{2}P_{3}+\frac{1}{2} Q_{1}S_{1} \right) +{{\bar{R}}}_{2} \left( S_{3}P_{1}+\frac{1}{2} Q_{2}S_{2} \right) \nonumber \\&\quad +{{\bar{R}}}_{3} \left( S_{1}P_{2} +\frac{1}{2} Q_{3}S_{3} \right) +\frac{i}{4} R'S_{1}S_{2}S_{3}=0, \end{aligned}$$(55)and cyclic permutations.
-
\({{{\mathcal {O}}}}(\lambda _{1}^{3}\lambda _{2}^{3}\lambda _{3}^{2})\):
$$\begin{aligned}&(P_{1}^{2}Q_{1}-P_{2}^{2}Q_{2})P_{3}S_{3}+(P_{3}^{2}-Q_{1}Q_{2}\nonumber \\&\quad +iP_{3}{{\bar{R}}}_{3})(P_{1}Q_{1}S_{1}-P_{2}Q_{2}S_{2})=0, \end{aligned}$$(56)and cyclic permutations.
Like in the parity-even case, these relations between the various parity-odd structures have to be taken into account when enumerating all the independent structures for the 3-point correlators in terms of our minimal set of invariants.
5 Three-point function examples
The purpose of constructing the parity even and odd invariants is to make simpler the enumeration of tensor structures for particular 3-point correlators, a task we turn to in this section. Before turning to specific examples of 3-point functions of spinning operators, let us make some general observations.
The general 3-point function of spinning operators has the following form in terms of the invariants constructed in the previous sections:
with \(m_{ijk}\equiv (\Delta _{i}-s_{i})+(\Delta _{j}-s_{j})-(\Delta _{k}-s_{k})\),Footnote 11 the sum being over all the linearly independent invariant structures \({\mathcal {G}}_{n}\), each with homogeneity \(\lambda _{1}^{2s_{1}}\lambda _{2}^{2s_{2}}\lambda _{3}^{2s_{3}}\). Now the 3-point function has to be linear in the parity-odd invariants and in \(R'\) or \({{\bar{R}}}_i\)’s. We thus have the following general structure for \({\mathcal {G}}_{n}\):
where \(G_{n}^{(a)}(P_{i},Q_{i})\) is a monomial in P’s and Q’s with every term in the r.h.s above having homogeneity \(\lambda _{1}^{2s_{1}}\lambda _{2}^{2s_{2}}\lambda _{3}^{2s_{3}}\).
The coefficients of the monomials can be further constrained when one or more operators are conserved currents, as we will see in a later section. Besides this, constraints also arise when two or more operators are identical, giving rise to permutation invariance in the correlator. Our invariants have the following transformation under a swap of superspace points 2 and 3:
where \(A_i\) stands for any of \(P_i, Q_i,{{\bar{R}}}_i, S_i\). This will be useful when enumerating correlator structures below.
5.1 Examples
5.2 \(\langle O_s O_0 O_0 \rangle \)
This correlator of one spin-s and two scalar operators has homogeneity \(\lambda _{1}^{2s}\) and thus the possible structures are
In this case all the 3 structures are independent, so the general form of this correlator is
Further we note that when s is an odd integer, each of the 3 structures above pick up a minus sign under \(2\leftrightarrow 3\) whereas the correlator is symmetric under this swap. Thus, we can conclude that \(\langle O_s O_0 O_0 \rangle \) vanishes for s odd.
5.3 \(\langle O_1 O_1 O_0 \rangle \)
The possible structures for the correlator of two identical spin one operators and one scalar operator (homogeneity \(\lambda _1^2\lambda _2^2\)) are:
The structure \(P_3^2 T'\) is also possible but can be eliminated using Eq. (50).
5.4 \(\langle O_{s}O_{1}O_{0} \rangle \)
The possible structures for this correlator are:
We thus note that the possible structures for \( \langle O_s O_1 O_0\rangle \) are just \(Q_1^{s-1}\) times the possible structures for \(\langle O_1 O_1 O_0\rangle \).
5.5 \(\langle O_{s}O_{\frac{1}{2}}O_{0} \rangle \)
Only half-integral values of s are allowed, since there is no invariant in the \({{{\mathcal {N}}}}=2\) theory with homogeneity \({{{\mathcal {O}}}}(\lambda )\).The allowed structures are:
5.6 \(\langle O_{2}O_{2}O_{0} \rangle \)
The possible independent structures for this correlator are:
Again, some possible structures have been eliminated using the relations.
5.7 \(\langle O_{s}O_{2}O_{0} \rangle \)
Once again, the possible structures for \( \langle O_s O_2 O_0\rangle \) are just \(Q_1^{s-2}\) times the above possible structures for \(\langle O_2 O_2 O_0\rangle \).
5.8 \(\langle O_{1}O_{1/2}O_{1/2} \rangle \)
The only possible structures with the required symmetry under \(2 \leftrightarrow 3\) are parity odd
The structure \({\bar{R}}_2S_3-{\bar{R}}_3S_2\) is also possible but vanishes by Eq. (52).
5.9 \(\langle O_{2}O_{1/2}O_{1/2} \rangle \)
The independent structures are
Under \(2 \leftrightarrow 3\) this correlator picks up a minus sign because of the anti-commuting fermionic operators. Other possible structures include \(Q_1(P_2{\bar{R}}_3+P_3{\bar{R}}_2),\,\,Q_1(P_2S_3+P_3S_2),\,\, Q_1(P_2S_3+P_3S_2)R'\) but can be expressed in terms of the above structures by using the relations in Sects. 3 and 4.
5.10 \(\langle O_{s}O_{1/2}O_{1/2} \rangle \)
The possible structures for this correlator, for s even, are \(Q_1^{s-2}\) times the allowed structures for \(\langle O_{2}O_{1/2}O_{1/2} \rangle \). For s odd, they are \(Q_1^{s-1}(P_2S_3-P_3S_2)\).
5.11 \(\langle O_{2}O_{1}O_{1} \rangle \)
The independent structures are
These have the requisite symmetry under a \(2 \leftrightarrow 3\) swap. Other structures, which are possible on grounds of homogeneity and symmetry can be expressed in terms of the above list by using the relations in Sects. 3 and 4 .
5.12 \(\langle O_{s}O_{1}O_{1} \rangle \)
The possible independent structures for this correlator are simply \(Q_1^{s-2}\) times the structures for \(\langle O_{2}O_{1}O_{1} \rangle \) above, for \(s=2,3,\ldots \).
5.13 \(\langle O_{2}O_{2}O_{2} \rangle \)
This correlator is fully symmetric under \(1\leftrightarrow 2 \leftrightarrow 3\), and the independent structures are
Several other linearly dependent structures that are possible have been removed using various relations between the invariants.
6 Correlators of conserved currents
Our analysis so far has been general and the only constraint on the operators/correlators has been \({\mathcal {N}}=2\) superconformal symmetry. In this section we specialise to the case when one or more operators \(O_s\) in the 3-point function is a conserved current. We will denote a conserved current by \(J_s\) which will obey the shortening condition \(D^a_{\alpha _1}J^{\alpha _1 \alpha _2 \ldots \alpha _{2s}}=0\) or equivalently,
This is of interest because the stress-energy tensor is always an exactly conserved current in any SCFT, one can have (one or more) conserved spin one currents in the presence of global symmetries, and furthermore Chern–Simons-Matter theories have higher-spin currents for weakly broken higher-spin symmetries (when these symmetries are exact, the CFT is free [19]).The presence of conserved currents imposes further constraints on the structure correlators when the above conservation/shortening condition is imposed – some of the coefficients in the 3-point function are determined in terms of others as we will see below. For non-supersymmetric CFTs in various dimensions, [5] had shown the existence of a fixed number (two in 3 dimensions) of (parity-even) tensor structures for the 3-point correlator of conserved currents. In [6] it was shown that for 3d CFTs, conserved current correlators also admit a third structure which is parity-odd. For \({\mathcal {N}}=1\) SCFTs, evidence was provided in [10] (see also [11, 15, 16]) that 3-point conserved current correlators have one parity-even and one parity-odd structure.
6.1 Free field computation of conserved current correlators
We will first focus on the special case of 3-point correlators in a free field \({\mathcal {N}}=2\) SCFT. Such a theory possesses an infinite number of exactly conserved higher spin currents. The form of the currents in terms of the elementary (anti-) chiral superfield is [10]
where \(\partial =i\lambda ^{\alpha }(\gamma ^{\mu })_{\alpha }\beta \lambda ^{\beta }\partial _{\mu },\ D=\lambda ^{\alpha }D_{\alpha }\), and \(s=0,1,2\ldots \).
It is straightforward to directly compute 3-point correlators of such conserved currents by using Wick’s theorem. The basic non-zero Wick contractions are between the chiral superfield and its conjugate, and given by
where \(\Phi _{i}\) denotes the superfield at superspace point \(x_{i}\) and \(y_{12}\) is defined [9, 11] as
where \(V_{12}^{ab}=\delta ^{ab}+i\theta _{12}^{a\alpha }(X_{12+}^{-1})_{\alpha }^{\ \beta }\theta _{12\beta }^{b}\).
The computational procedure is explained in more detail through examples in Appendix C. Below we simply quote the final results.Footnote 12 As expected, we find that the result of the calculation can be expressed in terms of only the parity-even invariants,
6.2 General constraints of conservation for 3-point correlators
We will now directly use the results of Sect. 5 and impose conservation (Eq. (68)) on the correlator to obtain additional constraints. The general procedure is as follows. Since the 3-point correlator is a multinomial in the invariants,Footnote 13
the imposition of the conservation constraints
(no sum over i) will lead to linear relations between various coefficients of the multinomial. The computation gets rather messy. We set some superspace coordinates to special values, and worked through a number of examples on Mathematica. The results are tabulated in Table 1. Overall \({{\bar{x}}}_{ij}\) factors (see Eq. (76)) are suppressed. On setting all fermions to zero, our results match with the non-supersymmetric case of [6].
This analysis is independent of the free theory computation in the previous subsection but corroborates the parity-even results obtained there, since the parity-even part of the various correlators obtained by applying the conservation constraint is the same as the result of the free theory computation.
The table of results shows clearly that for \({\mathcal {N}}=2\) 3d SCFTs the 3-point correlator of conserved currents of various spins always has only two undetermined constant coefficients that come with the two parts – a parity-even part arising from the free theory, and a parity-odd part which comes from interactions:
Furthermore, we also note from the examples, that the coefficient of the parity-odd structure vanishes when the 3-point correlator is ‘outside the triangle’.Footnote 14
7 Discussion
In this paper we studied 3-point correlators of spinning operators in \({\mathcal {N}}=2\) 3d SCFTs in terms of superconformal invariants. Our main results include:
-
Construction of the parity-even invariants and determination of relations between them.
-
Construction of the parity-odd invariants and determination of relations between them.
-
Expressions for several 3-point functions of spinning operators in terms of a linearly independent basis made up of the minimal set of invariants.
-
Computing the 3-point conserved current correlators in the free field case and expressing them in terms of the invariants.
-
Studying the constraints of conservation – and verifying through several examples that conserved current 3-point correlators contain 2 OPE coefficients comprising of the parity-even and odd parts of the correlator.
We would like to emphasise again that the construction of the invariants in the \({\mathcal {N}}=2\) case is more involved and subtle compared to the \({\mathcal {N}}=1,\,0\) cases due to the presence of R-symmetry. Although the P, Q, S invariants for \({\mathcal {N}}=0\) have a relatively straightforward extension in superspace, the fermionic invariants for \({\mathcal {N}}=2\) are completely different from the \({\mathcal {N}}=1\) case, although built out of similar building blocks which are now charged under R-symmetry. To build our minimal set of \({\mathcal {N}}=2\) invariants, we had to deal with two layers of complexity. Firstly, as discussed in Sect. 3, not all R-symmetry singlets built by suitably contracting the covariant building blocks will be super-inversion invariant. Secondly, even when they are, they will not be independent and we found (in Sects. 3, 4 and Appendix B) relations which give our final minimal set of invariants: \(P_i,Q_i,{\bar{R}}_i, R', S_i, T'\).
It would be interesting to take forward this work in various directions:
-
Higher dimensions – The same methods should work for correlators in SCFTs in higher than 3 dimensions. The supercovariant structures in this case are known from the work of Park and Osborn [20,21,22,23]. One new feature would be the existence of mixed symmetry tensors not present in the 3d case, which would engender the use of grassmanian polarisation spinors.
-
More supersymmetry – It should be straightforward, though cumbersome, to extend this analysis to higher supersymmetry. Off-shell superspace formulations for SCFTs in three dimensions exist for \({\mathcal {N}}=1,2,3,4\) [24]. For \({\mathcal {N}}> 2\), there will be other invariant tensors of \(SO({\mathcal {N}})\) which may also be used to build R-symmetry singlets. For example, for \({\mathcal {N}}=3\) we can have \(\delta _{ab}\) as well as the anti-symmetric \(\epsilon _{abc}\).
-
Generating functions – Building on the various examples, it would be interesting to work out the form of the generating function for 3-point correlators in the \({\mathcal {N}}=1,2\) free theory. The form of this generating function is known for the non-supersymmetric case [6] in terms of the parity-even invariants \(P\, \text {and}\,\, Q\), but not known for the SCFT case.
-
Bootstrap – Since 4-point superconformal blocks can be built from the product of 3-point functions of spinning operators, our analysis should aid in implementations of the superconformal bootstrap for 4-point functions in 3d \({\mathcal {N}}=2\) SCFTs. Bootstrap studies of 3d SCFTs include [25, 26] for \({\mathcal {N}}=2\) and [27,28,29] for \({\mathcal {N}}=1\) (see also [30, 31] for higher \({\mathcal {N}}\)).
-
Momentum space – It would be instructive to carry out our general analysis in momentum space. Firstly, this is useful because most perturbative computations of correlators in specific theories are carried out directly in momentum space. Secondly, the structure of momentum space correlators in (non-supersymmetric) CFTs has been actively investigated in the last decade, starting with the works [32,33,34], with a number of interesting conceptual and technical results and it would be natural to study this also for SCFTs. In particular, conserved current correlators with spin have a simple form in momentum space (and more so in terms of spinor-helicity variables) for 3d CFTs [32, 35,36,37] and it would be interesting to investigate the same for SCFT correlators.
-
\({\mathcal {N}}=2\) Chern–Simons-Matter theories – A prime example of 3d Lagrangian CFTs are the Chern–Simons theories coupled to matter. Such theories are exactly conformal and have a well-controlled weakly broken higher-spin symmetry [38]. Our analysis should be of use in computations of correlators in \({\mathcal {N}}=2\) 3d Chern–Simons-Matter theories [39].
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This being a mathematical physics work, there is no experimental/observational/numerical data to report. All the results, along with the methods used to deduce them are spelled out in the text of the paper (including the appendices).]
Notes
Throughout the paper, repeated spinor and R-symmetry indices (\(\alpha , a\)) will be summed over whereas repeated superspace point indices i, j etc. will never be summed unless explicitly mentioned.
Note that V is trivial for \({\mathcal {N}}=1\) as there is no R-symmetry in this case.
Note that \(O_s(x,\theta )\) represents a local operator superfield, i.e. it is an operator super-multiplet with both bosonic and fermionic operators as components.
One may wonder how there are additional invariants for 3-point function structures given that \({\mathcal {N}}=2\) susy is more constraining than \({\mathcal {N}}=1\). Firstly, with more grassmanian variables there can be a higher non-vanishing degree of \(\Theta \) in an invariant. Specifically, for \({{{\mathcal {N}}}}=1\), two factors of \(\Theta \) is the highest possible in a non-vanishing term, while for \({{{\mathcal {N}}}}=2\), invariants with \({\mathcal {O}} (\Theta ^{4})\) (like \(R'\) defined below, which do not have a counterpart in \({\mathcal {N}}=1\)) are also possible. Also, note that since the size of the supermultiplet increases with \({\mathcal {N}}\), the superspace 3-point function will, with increasing \({\mathcal {N}}\), contain more and more ‘elementary’ 3-point functions in its component expansion. Since more elementary correlators are contained within a single superspace correlator for larger \({\mathcal {N}}\), it is expected that a larger number of invariants is required to encapsulate the structure.
By bosonic we mean those invariants which are non-vanishing when all the grassmanian coordinates are put to zero. Likewise, fermionic invariants are defined as those that vanish identically when the grassmanian coordinates are set to zero, and thus exist only in supersymmetric theories. Note that one could have called “fermionic” the invariants which are used to build up the 3-point function structures of free/critical fermion CFTs (for example) with no susy – however this is not our usage. For us, fermionic invariants exist only in superspace and vanish in ordinary (non-supersymmetric) CFTs. We thank the referee for a comment regarding this matter.
Cyclic permutations of the last two structures above can be written down straightforwardly.
Note that for \({\mathcal {N}}=1\), both \(R_1, R_2\) are separately invariant and thus so is \(R_1 \cdot R_2\).
Note that \(i \ne j\). It turns out that the three different pairs of (i, j) are all equivalent and thus there is only one \(R'\) invariant which needs to be defined here.
It can be checked that cyclic permutations of 1, 2, 3 give the same invariant.
\(\Delta _i\) and \(s_i\) denote, respectively, the scaling dimension and spin of the operator \(O_s\)
The f subscript denotes a free theory correlator. We have removed constant multiplicative overall factors.
Note that the exponents \(m_{ijk}\) here are all unity for the case of conserved currents because the unitarity bound is saturated in this case.
This means that the inequality between the spins \(s_i+s_j \ge s_k\) is violated for some spins, see [6, 19]. Inside the triangle, conservation constraints allow a parity-odd structure, as our table shows. However, for a correlator involving an exactly conserved higher spin (\(s>2\)) current, we would expect the theory to be free along the lines of [19] and hence the parity-odd structure would not arise, although this can’t be inferred from conservation constraints alone. We would like thank Sachin Jain for discussions regarding this point.
References
W. Nahm, Supersymmetries and their representations. Nucl. Phys. B 135, 149 (1978). https://doi.org/10.1016/0550-3213(78)90218-3
A.M. Polyakov, Conformal symmetry of critical fluctuations. JETP Lett. 12, 381 (1970)
E.J. Schreier, Conformal symmetry and three-point functions. Phys. Rev. D 3, 980 (1971). https://doi.org/10.1103/PhysRevD.3.980
G.M. Sotkov, R.P. Zaikov, Conformal invariant two point and three point functions for fields with arbitrary spin. Rep. Math. Phys. 12, 375 (1977). https://doi.org/10.1016/0034-4877(77)90033-7
H. Osborn, A.C. Petkou, Implications of conformal invariance in field theories for general dimensions. Ann. Phys. 231, 311 (1994). https://doi.org/10.1006/aphy.1994.1045. arXiv:hep-th/9307010
S. Giombi, S. Prakash, X. Yin, A note on CFT correlators in three dimensions. JHEP 07, 105 (2013). https://doi.org/10.1007/JHEP07(2013)105. arXiv:1104.4317
M.S. Costa, J. Penedones, D. Poland, S. Rychkov, Spinning conformal correlators. JHEP 11, 071 (2011). https://doi.org/10.1007/JHEP11(2011)071. arXiv:1107.3554
A. Salam, J.A. Strathdee, On superfields and Fermi–Bose symmetry. Phys. Rev. D 11, 1521 (1975). https://doi.org/10.1103/PhysRevD.11.1521
J.-H. Park, Superconformal symmetry in three-dimensions. J. Math. Phys. 41, 7129 (2000). https://doi.org/10.1063/1.1290056. arXiv:hep-th/9910199
A.A. Nizami, T. Sharma, V. Umesh, Superspace formulation and correlation functions of 3d superconformal field theories. JHEP 07, 022 (2014). https://doi.org/10.1007/JHEP07(2014)022. arXiv:1308.4778
E.I. Buchbinder, S.M. Kuzenko, I.B. Samsonov, Superconformal field theory in three dimensions: correlation functions of conserved currents. JHEP 06, 138 (2015). https://doi.org/10.1007/JHEP06(2015)138. arXiv:1503.04961
S.M. Kuzenko, I.B. Samsonov, Superconformal Chern–Simons-matter theories in \({\cal{N}} =4\) superspace. Phys. Rev. D 92, 105007 (2015). https://doi.org/10.1103/PhysRevD.92.105007. arXiv:1507.05377
E.I. Buchbinder, S.M. Kuzenko, I.B. Samsonov, Implications of \({\cal{N}} =4 \) superconformal symmetry in three spacetime dimensions. JHEP 08, 125 (2015). https://doi.org/10.1007/JHEP08(2015)125. arXiv:1507.00221
S.M. Kuzenko, I.B. Samsonov, Implications of \( \cal{N} \) = 5, 6 superconformal symmetry in three spacetime dimensions. JHEP 08, 084 (2016). https://doi.org/10.1007/JHEP08(2016)084. arXiv:1605.08208
E.I. Buchbinder, B.J. Stone, Three-point functions of a superspin-2 current multiplet in 3D, N=1 superconformal theory. Phys. Rev. D 104, 106004 (2021). https://doi.org/10.1103/PhysRevD.104.106004. arXiv:2108.01865
E.I. Buchbinder, B.J. Stone, Mixed three-point functions of conserved currents in three-dimensional superconformal field theory. Phys. Rev. D 103, 086023 (2021). https://doi.org/10.1103/PhysRevD.103.086023. arXiv:2102.04827
S. Minwalla, Restrictions imposed by superconformal invariance on quantum field theories. Adv. Theor. Math. Phys. 2, 783 (1998). https://doi.org/10.4310/ATMP.1998.v2.n4.a4. arXiv:hep-th/9712074
F.A. Dolan, H. Osborn, Superconformal symmetry, correlation functions and the operator product expansion. Nucl. Phys. B 629, 3 (2002). https://doi.org/10.1016/S0550-3213(02)00096-2. arXiv:hep-th/0112251
J. Maldacena, A. Zhiboedov, Constraining conformal field theories with a higher spin symmetry. J. Phys. A 46, 214011 (2013). https://doi.org/10.1088/1751-8113/46/21/214011. arXiv:1112.1016
J.-H. Park, \(N=1\) superconformal symmetry in four-dimensions. Int. J. Mod. Phys. A 13, 1743 (1998). https://doi.org/10.1142/S0217751X98000755. arXiv:hep-th/9703191
H. Osborn, \(N=1\) superconformal symmetry in four-dimensional quantum field theory. Ann. Phys. 272, 243 (1999). https://doi.org/10.1006/aphy.1998.5893. arXiv:hep-th/9808041
J.-H. Park, Superconformal symmetry in six-dimensions and its reduction to four-dimensions. Nucl. Phys. B 539, 599 (1999). https://doi.org/10.1016/S0550-3213(98)00720-2. arXiv:hep-th/9807186
J.-H. Park, Superconformal symmetry and correlation functions. Nucl. Phys. B 559, 455 (1999). https://doi.org/10.1016/S0550-3213(99)00432-0. arXiv:hep-th/9903230
S.J. Gates, M.T. Grisaru, M. Rocek, W. Siegel, Superspace or one thousand and one lessons in supersymmetry, Frontiers in Physics, vol. 58 (1983). arXiv:hep-th/0108200
N. Bobev, S. El-Showk, D. Mazac, M.F. Paulos, Bootstrapping the three-dimensional supersymmetric Ising model. Phys. Rev. Lett. 115, 051601 (2015). https://doi.org/10.1103/PhysRevLett.115.051601. arXiv:1502.04124
N. Bobev, S. El-Showk, D. Mazac, M.F. Paulos, Bootstrapping SCFTs with four supercharges. JHEP 08, 142 (2015). https://doi.org/10.1007/JHEP08(2015)142. arXiv:1503.02081
D. Bashkirov, Bootstrapping the \(\cal{N} = 1\) SCFT in three dimensions. arXiv:1310.8255
A. Atanasov, A. Hillman, D. Poland, Bootstrapping the minimal 3D SCFT. JHEP 11, 140 (2018). https://doi.org/10.1007/JHEP11(2018)140. arXiv:1807.05702
J. Rong, N. Su, Bootstrapping the minimal \( \cal{N} \) = 1 superconformal field theory in three dimensions. JHEP 06, 154 (2021). https://doi.org/10.1007/JHEP06(2021)154. arXiv:1807.04434
S.M. Chester, J. Lee, S.S. Pufu, R. Yacoby, The \( \cal{N} =8 \) superconformal bootstrap in three dimensions. JHEP 09, 143 (2014). https://doi.org/10.1007/JHEP09(2014)143. arXiv:1406.4814
S.M. Chester, J. Lee, S.S. Pufu, R. Yacoby, Exact correlators of BPS operators from the 3d superconformal bootstrap. JHEP 03, 130 (2015). https://doi.org/10.1007/JHEP03(2015)130. arXiv:1412.0334
J.M. Maldacena, G.L. Pimentel, On graviton non-Gaussianities during inflation. JHEP 09, 045 (2011). https://doi.org/10.1007/JHEP09(2011)045. arXiv:1104.2846
C. Coriano, L. Delle Rose, E. Mottola, M. Serino, Solving the conformal constraints for scalar operators in momentum space and the evaluation of Feynman’s master integrals. JHEP 07, 011 (2013). https://doi.org/10.1007/JHEP07(2013)011
A. Bzowski, P. McFadden, K. Skenderis, Implications of conformal invariance in momentum space. JHEP 03, 111 (2014). https://doi.org/10.1007/JHEP03(2014)111. arXiv:1304.7760
S. Jain, R.R. John, A. Mehta, A.A. Nizami, A. Suresh, Momentum space parity-odd CFT 3-point functions. arXiv:2101.11635
S. Jain, R.R. John, A. Mehta, A.A. Nizami, A. Suresh, Higher spin 3-point functions in 3d CFT using spinor-helicity variables. arXiv:2106.00016
S. Jain, R.R. John, Relation between parity-even and parity-odd CFT correlation functions in three dimensions. JHEP 12, 067 (2021). https://doi.org/10.1007/JHEP12(2021)067. arXiv:2107.00695
J. Maldacena, A. Zhiboedov, Constraining conformal field theories with a slightly broken higher spin symmetry. Class. Quantum Gravity 30, 104003 (2013). https://doi.org/10.1088/0264-9381/30/10/104003. arXiv:1204.3882
K. Inbasekar, S. Jain, V. Malvimat, A. Mehta, P. Nayak, T. Sharma, Correlation functions in \({\cal{N} }=2\) Supersymmetric vector matter Chern–Simons theory. JHEP 04, 207 (2020). https://doi.org/10.1007/JHEP04(2020)207. arXiv:1907.11722
Acknowledgements
AAN would like to thank J. H. Park and S. Jain for useful suggestions and comments on the draft. AJ wishes to acknowledge support from the Council of Scientific and Industrial Research (CSIR) for a Junior Research Fellowship (NET-JRF).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendices
A Conventions and useful relations
We use the mostly plus \(\{-1,1,1\}\) metric convention. Spinors – which can be taken to be Majorana – transform under the (double cover of the) 3d Lorentz group, which is SL(2, R). We thus use the fundamental representation and impose the Majorana condition on the 2-component spinors which is the following reality condition \(\psi _\alpha = \psi ^*_\alpha \). In this representation, superconformal theories with \({\mathcal {N}}\) extended supersymmetry possess an \(SO({\mathcal {N}})\) R-symmetry group which is a subgroup of the full superconformal group. For 3 dimensions, we can make a choice of a real basis for the \(\gamma \) matrices
These matrices when both indices are up (or down) are symmetric
The anti-symmetric \(\epsilon \) symbol is defined as \(\epsilon ^{12} = -1 = \epsilon _{21}\).
with \(\Sigma ^{\mu \nu } = -\frac{i}{4}[\gamma ^\mu ,\gamma ^\nu ]\) as the Lorentz group generators. The \(\gamma \) matrices satisfy
with \(\epsilon _{\mu \nu \rho }\) as the Levi-Civita symbol, and we use \(\epsilon _{012} = 1\) (\(\epsilon ^{012} = -1\)).
The spinor Lorentz transformation is
The conventions for raising and lowering with \(\epsilon \) are
and we denote \(\psi \chi \equiv \psi ^\alpha \chi _\alpha \).
1.1 A.1 Superconformal generators and algebra
The generators of the 3d superconformal algebra in differential operator form are:
where \({{\mathcal {M}}}, {{\mathcal {I}}}\) arise due to the tensor structure of the operators on which these generators act.
The superconformal algebra generated by these is:
The rest of the (anti)-commutators are zero.
B More relations between invariants
We had the following set of superconformal invariants which were used to construct various 3-point correlators:
We noted earlier that using the covariant structures we seem to be able to build other invariants as well. However, all such additional invariants can be expressed in terms of the above minimal set of invariants. We show this explicitly below by listing manifold relations where an invariant structure is expressed in terms of our minimal set. We have classified the relations according to the degree in \(\lambda \) and \({\Theta }\), an \({{{\mathcal {O}}}}(\lambda ^m \Theta ^{n})\) relation will have terms, each of which has m \(\lambda \)’s and n \(\Theta \)’s.
1.1 B.1 Parity even relations
In this subsection we enumerate parity-even invariant structures built from the covariant building blocks. These will all be expressed in terms of our claimed minimal set of parity-even invariants: \(P_i, Q_i, {\bar{R}}_i, R'\).
-
1.
\({{{\mathcal {O}}}}(\Theta ^{2})\):
-
(a)
\(\displaystyle \frac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{23}^{2}}\Omega ^{aa}_{1}=\frac{i}{2} R'\)
-
(a)
-
2.
\({{{\mathcal {O}}}}(\Theta ^{4})\):
-
(a)
\({{\bar{x}}}_{12}^{4}\Sigma _{12}^{ab}\Sigma _{12}^{ab}=-R',\quad {\bar{x}}_{12}^{4}\Omega _{1}^{ab}\Omega _{2}^{ab}=R'\)
-
(a)
-
3.
\({{{\mathcal {O}}}}(\lambda ^{2} \Theta ^{2})\):
-
(a)
\(R_{1}^{a}R_{1}^{a}=\dfrac{{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}\pi _{12}^{a}\pi _{12}^{a}=\dfrac{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{12}^{2}}{{{\bar{x}}}_{31}^{2}}\sigma _{12}^{a}\sigma _{12}^{a}=\dfrac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{23}^{2}}\omega _{1}^{a}\omega _{1}^{a}=0\)
-
(b)
\(\sqrt{\dfrac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{23}^{2}}}R_{1}^{a}\sigma _{21}^{a}=-{{\bar{R}}}_{3},\quad \dfrac{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{12}^{2}}\sigma _{13}^{a}\sigma _{23}^{a}={{\bar{R}}}_{3}-\dfrac{i}{2} R' P_{3},\quad \dfrac{{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{13}^{2}}\pi _{12}^{a}\omega _{2}^{a}={{\bar{R}}}_{3}\)
-
(a)
-
4.
\({{{\mathcal {O}}}}(\lambda ^{2} \Theta ^{4})\):
-
(a)
\(R_{1}^{a}\Pi _{23}^{ab}R_{2}^{b}=-\dfrac{1}{2} R' P_{3},\quad \dfrac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{23}^{2}}R_{1}^{a}\Omega _{1}^{ab}R_{1}^{b}=-\dfrac{1}{2} R' Q_{1}\)
-
(b)
\(\dfrac{1}{{{\bar{x}}}_{12}^{2}}\pi _{12}^{a}\Pi _{23}^{ab}\pi _{23}^{b}=\dfrac{1}{2} R' P_{3},\quad {\bar{x}}_{23}^{2}\sigma _{12}^{a}\Pi _{23}^{ab}\sigma _{23}^{b}=-\dfrac{1}{2} R' P_{3},\quad {\bar{x}}_{12}^{2}\omega _{1}^{a}\Pi _{12}^{ab}\omega _{2}^{b}=-\dfrac{1}{2} R' P_{3}, \pi _{12}^{a}\Pi _{21}^{ab}\omega _{1}^{b}=-\dfrac{1}{2} R' Q_{1}\)
-
(c)
\({{\bar{x}}_{12}^{2}}\pi _{12}^{a}\Sigma _{21}^{ab}\sigma _{31}^{b}=-\dfrac{1}{2} R' P_{2},\quad {{\bar{x}}_{23}^{4}}\sigma _{12}^{a}\Sigma _{23}^{ab}\omega _{3}^{b}=\dfrac{1}{2} R' P_{2}\)
-
(d)
\(\dfrac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{13}^{4}}\pi _{12}^{a}\Omega _{2}^{ab}\pi _{32}^{b}=-\dfrac{1}{2} R' P_{2},\quad \dfrac{{{\bar{x}}}_{23}^{4}{{\bar{x}}}_{12}^{2}}{{{\bar{x}}}_{13}^{4}}\pi _{12}^{a}\Omega _{2}^{ab}\omega _{2}^{b}=\dfrac{1}{2} R' P_{3},\quad \dfrac{{{\bar{x}}}_{12}^{4}{{\bar{x}}}_{31}^{4}}{{{\bar{x}}}_{23}^{4}}\omega _{1}^{a}\Omega _{1}^{ab}\omega _{1}^{b}=\dfrac{1}{2} R' Q_{1}, \dfrac{{{\bar{x}}}_{12}^{4}{{\bar{x}}}_{31}^{4}}{{{\bar{x}}}_{23}^{4}}\sigma _{21}^{a}\Omega _{1}^{ab}\sigma _{31}^{b}=-\dfrac{1}{2} R' P_{1}\)
-
(a)
-
5.
\({{{\mathcal {O}}}}(\lambda ^{4} \Theta ^{4})\):
-
(a)
\((R_{1}^{a}R_{2}^{a})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{2}-P_{3}^{2})\)
-
(b)
\(\dfrac{1}{{{\bar{x}}}_{12}^{4}}(\pi _{12}^{a}\pi _{23}^{a})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{2}-P_{3}^{2}),\dfrac{1}{{{\bar{x}}}_{12}^{4}}(\pi _{12}^{a}\pi _{21}^{a})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{2}-P_{3}^{2}), \dfrac{1}{{{\bar{x}}}_{13}^{4}}(\pi _{12}^{a}\pi _{31}^{a})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{3}-P_{2}^{2})\)
-
(c)
\({{\bar{x}}}_{23}^{4}(\sigma _{12}^{a}\sigma _{23}^{a})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{2}-P_{3}^{2}),\quad {{\bar{x}}}_{12}^{4}(\sigma _{12}^{a}\sigma _{21}^{a})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{2}-P_{3}^{2}), {{\bar{x}}}_{12}^{4}(\sigma _{12}^{a}\sigma _{31}^{a})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{3}-P_{2}^{2})\)
-
(d)
\({{\bar{x}}}_{12}^{4}(\omega _{1}^{a}\omega _{2}^{a})^{3}=-\dfrac{1}{2} R'(Q_{1}Q_{2}-P_{3}^{2})\)
-
(e)
\(\dfrac{{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{12}^{2}}(R^{a}_{1}\pi ^{a}_{21})^{2}=\dfrac{1}{2} R'P_{3}^{2},\quad \dfrac{{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{12}^{2}}(R^{a}_{1}\pi ^{a}_{23})^{2}=\dfrac{1}{2} R'P_{3}^{2}, \quad \dfrac{{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}(R^{a}_{1}\pi ^{a}_{12})^{2}=\dfrac{1}{2} R'Q_{1}^{2}, \dfrac{1}{{{\bar{x}}}_{13}^{2}}R_{1}^{a}\pi _{12}^{a}R_{1}^{b}\pi ^{b}_{32}=-\dfrac{1}{2} Q_{1}P_{2},\quad \dfrac{1}{{{\bar{x}}}_{23}^{2}}R_{1}^{a}\pi _{21}^{a}R_{1}^{b}\pi ^{b}_{31}=-\dfrac{1}{2} R'P_{2}P_{3}, \dfrac{1}{{{\bar{x}}}_{12}^{2}}R_{1}^{a}\pi _{23}^{a}R_{1}^{b}\pi ^{b}_{13}=-\dfrac{1}{2} R'Q_{1}P_{3}\)
-
(f)
\(\dfrac{{{\bar{x}}}_{13}^{2}{{\bar{x}}}_{12}^{2}}{{{\bar{x}}}_{23}^{2}}(R^{a}_{1}\sigma ^{a}_{21})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{2}-P_{3}^{2}),\quad \dfrac{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{13}^{2}}{{{\bar{x}}}_{12}^{2}}(R^{a}_{1}\sigma ^{a}_{23})^{2}=-\dfrac{1}{2} R'(Q_{1}Q_{2}-P_{3}^{2}),\quad \dfrac{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{12}^{2}}{{{\bar{x}}}_{31}^{2}}(R^{a}_{1}\sigma ^{a}_{12})^{2}=0\)
-
(g)
\(\dfrac{{{\bar{x}}}_{13}^{2}{{\bar{x}}}_{12}^{2}}{{{\bar{x}}}_{23}^{2}}(R^{a}_{1}\omega ^{a}_{1})^{2}=\dfrac{1}{2} R'Q_{1}^{2},\quad \dfrac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{13}^{2}}(R^{a}_{1}\omega ^{a}_{2})^{2}=\dfrac{1}{2} R'P_{3}^{2}\)
-
(h)
\((\pi _{12}^{a}\sigma _{21}^{a})^{2}=\dfrac{1}{2} R'P_{3}^{2},\quad (\pi _{12}^{a}\sigma _{31}^{a})^{2}=\dfrac{1}{2} R'P_{2}^{2},\quad \dfrac{{{\bar{x}}}_{23}^{4}}{{{\bar{x}}}_{13}^{4}}(\pi _{12}^{a}\sigma _{21}^{a})^{2}=\dfrac{1}{2} R'P_{2}^{2}, \dfrac{{{\bar{x}}}_{23}^{4}}{{{\bar{x}}}_{12}^{4}}(\pi _{12}^{a}\sigma _{21}^{a})^{2}=\dfrac{1}{2} R'P_{3}^{2}\)
-
(a)
Note that other relations can be generated by cyclic permutation of 1, 2, 3 in the above list.
1.2 B.2 Parity odd relations
In this subsection we list the various parity-odd invariant structures built from the covariant building blocks. These will all be expressed in terms of our minimal set of invariants.
-
1.
\({{{\mathcal {O}}}}(\Theta ^{4})\):
-
(a)
\({\bar{x}}^{2}_{12}\Pi ^{ab}_{12}\Sigma ^{ab}_{12}=0\)
-
(a)
-
1.
\({{{\mathcal {O}}}}(\lambda ^{2} \Theta ^{2})\):
-
(a)
\(\sqrt{\dfrac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}{{{\bar{x}}}_{23}^{2}}}R_{1}^{a}\omega _{1}^{a}=\dfrac{1}{2} T' Q_{1},\quad \sqrt{\dfrac{{{\bar{x}}}_{13}^{2}}{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{23}^{2}}}R_{1}^{a}\pi _{21}^{a}=\dfrac{1}{2} T'P_{3}\)
-
(b)
\(\dfrac{{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{13}^{2}}\pi _{12}^{a}\sigma _{12}^{a}=\dfrac{1}{2} T' Q_{1},\quad \dfrac{{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{13}^{2}}\pi _{12}^{a}\sigma _{32}^{a}=\dfrac{1}{2} T' P_{2},\quad {\dfrac{{{\bar{x}}}_{13}^{2}}{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{23}^{2}}}\sigma _{12}^{a}\omega _{2}^{a}=\dfrac{1}{2} T' P_{3}-\dfrac{i}{2} R' S_{3}\)
-
(a)
-
2.
\({{{\mathcal {O}}}}(\lambda ^{2} \Theta ^{4})\):
-
(a)
\({{\bar{x}}}_{12}^{2}R_{1}^{a}\Sigma _{12}^{ab}R_{2}^{b}=-\dfrac{1}{2} R' S_{3}, {{\bar{x}}}_{12}^{4}\omega _{1}^{a}\Sigma _{12}^{ab}\omega _{2}^{b}=-\dfrac{1}{2} R' S_{3},\quad \pi _{21}^{a}\Sigma _{12}^{ab}\pi _{12}^{b}=\dfrac{1}{2} R' S_{3}, \dfrac{{{\bar{x}}}_{23}^{2}{{\bar{x}}}_{13}^{2}}{{{\bar{x}}}_{12}^{4}}\pi _{31}^{a}\Sigma _{12}^{ab}\pi _{32}^{b}=0,\quad \dfrac{{{\bar{x}}}_{12}^{2}}{{{\bar{x}}}_{23}^{4}}\pi _{21}^{a}\Sigma _{12}^{ab}\pi _{32}^{b}=-\dfrac{1}{2} R'S_{1},\quad \dfrac{{{\bar{x}}}_{12}^{2}}{{{\bar{x}}}_{13}^{4}}\pi _{31}^{a}\Sigma _{12}^{ab}\pi _{12}^{b}=-\dfrac{1}{2} R'S_{2}\)
-
(b)
\(\sqrt{\dfrac{{{\bar{x}}}_{23}^2}{{{\bar{x}}}_{13}^2{{\bar{x}}}_{12}^2}}R_{1}^{a}\Pi _{12}^{ab}\pi _{12}^{b}=0,\quad \sqrt{\dfrac{{{\bar{x}}}_{12}^2}{{{\bar{x}}}_{13}^2{{\bar{x}}}_{32}^2}}R_{1}^{a}\Pi _{12}^{ab}\pi _{32}^{b}=\dfrac{1}{2} R'S_{2}, \sqrt{\dfrac{{{\bar{x}}}_{12}^2{{\bar{x}}}_{23}^2}{{{\bar{x}}}_{13}^2}}R_{1}^{a}\Pi _{12}^{ab}\omega _{2}^{b}=-\dfrac{1}{2} R' S_{3}, \pi _{21}^{a}\Pi _{12}^{ab}\sigma _{12}^{b}=\dfrac{1}{2} R'S_{3},\quad \pi _{21}^{a}\Pi _{12}^{ab}\sigma _{32}^{b}=-\dfrac{1}{2} R'S_{1}, \dfrac{{{\bar{x}}}_{12}^2}{{{\bar{x}}}_{13}^2}\pi _{31}^{a}\Pi _{12}^{ab}\sigma _{12}^{b}=\dfrac{1}{2} R'S_{3},\quad {{\bar{x}}}_{12}^2\omega _{1}^{a}\Pi _{12}^{ab}\sigma _{12}^{a}=0\)
-
(c)
\({\dfrac{{{\bar{x}}}_{12}^2{{\bar{x}}}_{13}^4}{{{\bar{x}}}_{23}^4}}\pi _{21}^{a}\Omega _{1}^{ab}\sigma _{21}=0,\quad {\dfrac{{{\bar{x}}}_{13}^2{{\bar{x}}}_{12}^4}{{{\bar{x}}}_{23}^4}}\pi _{31}^{a}\Omega _{1}^{ab}\sigma _{21}=-\dfrac{1}{2} R'S_{1},\quad \dfrac{{{\bar{x}}}_{12}^4{{\bar{x}}}_{13}^4}{{{\bar{x}}}_{23}^4}\omega _{1}^{a}\Omega _{1}^{ab}\sigma _{21}^{a}=\dfrac{1}{2} R'S_{3}\)
-
(a)
-
3.
\({{{\mathcal {O}}}}(\lambda ^{4} \Theta ^{4})\):
-
(a)
\(\sqrt{\dfrac{{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{31}^{2}}}R_{1}^{a}R_{2}^{a}R_{1}^{b}\pi _{12}^{b}=\dfrac{1}{2} R' S_{3}Q_{1},\quad \sqrt{\dfrac{{{\bar{x}}}_{12}^{2}}{{{\bar{x}}}_{23}^{2}{{\bar{x}}} _{31}^{2}}}R_{1}^{a}R_{2}^{a}R_{1}^{b}\pi _{32}^{b}=-\dfrac{1}{2} R'S_{3}P_{2}, \sqrt{\dfrac{{{\bar{x}}}_{12}^{2}{{\bar{x}}}_{23}^{2}}{{{\bar{x}}}_{31}^{2}}}R_{1}^{a}R_{2}^{a}R_{1}^{b}\omega _{2}^{b}=\dfrac{1}{2} R' S_{3}P_{3}\)
-
(b)
\(\dfrac{1}{{{\bar{x}}}_{12}^2}\pi _{21}^{a}\pi _{12}^{a}\pi _{21}^{b}\sigma _{12}^{b}=-\dfrac{1}{2} R'S_{3}P_{3},\quad \dfrac{{{\bar{x}}}_{ik}^4}{{{\bar{x}}}_{23}^4}\pi _{21}^{a}\sigma _{21}^{a}\pi _{21}^{b}\omega _{1}^{b}=-\dfrac{1}{2} R'Q_{2}S_{3}\)
-
(a)
Again, we can obtain other relations by cyclically permuting 1, 2, 3 above.
1.3 B.3 A few more relations
Using the two relations (42) and (43), other relations with higher homogeneity in \(\lambda 's\) can be generated. For example, using Eq. (43), one gets the \({{{\mathcal {O}}}}(\lambda _{1}^{2}\lambda _{2}^2\lambda _{3}^2)\) fermionic relation
More combinations of the relations yield
Also, we can have purely fermionic relations, since the product of \(R'\) with any other fermionic invariant vanishes,
and so on.
Higher order parity-odd relations can also be generated. For example, at \({{{\mathcal {O}}}}(\lambda _{1}^{4}\lambda _{2}^{4}\lambda _{3}^{4})\) we have:
These relations are utilised in Sect. 5 where we write the linearly independent parity-even structures for various 3-point functions.
C Calculational details for free theory correlators
In this appendix we provide some calculation details for results quoted in Sect. 6. In particular, we will explain through two examples how one computes current correlators in the free-field theory using Wick contractions of the chiral scalar superfield. For \({{{\mathcal {N}}}}=2\), the basic superfields are (anti-)chiral,
and obey the following free field equations of motion,
Solving the above, we get the super-multiplet for the (anti-)chiral superfields to have the form
Here \(\phi \) and \(\psi \) satisfy, respectively, the free Klein-Gordon and Dirac equations, (\(\theta \gamma ^{\mu }{{\bar{\theta }}} \equiv \theta ^{\alpha }(\gamma ^{\mu })_{\alpha }^{\ \beta }{{\bar{\theta }}}_{\beta }\)).
Next, one can construct the 2-point function
where \(\Phi _{i}\) is the superfield at superspace location \((x_{i}, \theta _i)\), while \(y_{12}\) is built from \({{\bar{x}}}_{12}\) [11],
where we’ve used the 2-point structure \(V_{12}^{ab}=\delta ^{ab}+i\theta _{12}^{a\alpha }(X_{12+}^{-1})_{\alpha }^{\ \beta }\theta _{12\beta }^{b}\).
This form of the 2-point correlator can be explicitly checked by expanding the superfields and using the expressions
1.1 C.1 Computation of \(\langle J_{0}J_{0}J_{0}\rangle \)
The spin-0 conserved supercurrent is
The correlator \(\langle J_{0}J_{0}J_{0}\rangle \) can be written as
Since this is a free theory correlator it can be computed by Wick contractions on the the right hand side,
We find that the result of this computation is equal to a linear combination of the parity even invariant structures. Since there is no spin in this example, the only one allowed is \(R'\),
1.2 C.2 Computation of \(\langle J_{1}J_{1}J_{0}\rangle \)
The spin-0 and spin-1 conserved supercurrents are,
Thus, the 3-point correlator
can be calculated by expanding and performing all possible Wick contractions.
As an example, one of the nine Wick contraction terms in the above expansion is
Computing and collecting all the terms, the Wick contractions give as expected, a linear combination of all the linearly independent parity-even invariants with homogeneity \(\lambda _{1}^{2}\lambda _{2}^{2}\),
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Jain, A., Nizami, A.A. Superconformal invariants and spinning correlators in 3d \({{{\mathcal {N}}}}=2\) SCFTs. Eur. Phys. J. C 82, 1065 (2022). https://doi.org/10.1140/epjc/s10052-022-11016-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-11016-2