1 Introduction

It is known that the most general coset in the bosonic theory can be described by [1]

$$\begin{aligned} \frac{SU(N+M)_k }{ SU(N)_{k} \times U(1)_{ N M (N+M)k}}, \end{aligned}$$
(1.1)

where the three parameters, kM and N are present.Footnote 1 According to the observation of [3], this coset model is dual to \(M \times M\) matrix generalization of \(AdS_3\) Vasiliev higher spin theory [4, 5] by taking the appropriate limit on these parameters. Note that for \(M=1\) case, the Gaberdiel-Gopakumar conjecture [6] can be seen and see also [7,8,9] for the relevant works. At the particular value of the level k with generic N and M, the operator product expansion (OPE) between the charged spin-2 current and itself leads to the one of the “rectangular” W-algebra [10] with SU(M) symmetry which is the asymptotic symmetry of \(AdS_3\) higher spin theory [3] and see also [11]. For generic kN and M, this OPE is further studied in [12] and see also [13, 14].Footnote 2

Why do we add the complex fermions into the above coset model (1.1)? This is one of the ways to make the bosonic theory to be the supersymmetric theory. In other words, by using the fermionic operators of spin-\(\frac{1}{2}\), we can construct the half integer currents including the supersymmetry generators of spin-\(\frac{3}{2}\) explicitly.Footnote 3 We would like to discuss about the supersymmetric version of (1.1) and it is given by [1, 30]

$$\begin{aligned} \frac{SU(N+M)_k \times SO(2 N M)_1}{ SU(N)_{k+M} \times U(1)_{ N M (N+M)(k+N+M)}}. \end{aligned}$$
(1.2)

Note that there exists an \( SO(2 N M)_1\) factor associated with complex fermions in the numerator and the levels in the denominator are changed appropriately. For \(M=1\), by dividing (1.2) out the \(SU(M=1)_{k+N}\) further, the \({{\mathcal {N}}}=2\) \(AdS_3\) higher spin gravity is related to the Kazama–Suzuki model [31, 32], according to [33]. See also the relevant works in [27, 34,35,36,37,38,39,40,41,42,43,44,45]. For \(M=2\), the above coset arises in the context of the large \({{\mathcal {N}}}=4\) holography [46]. See also previous works on this holography [2, 44, 47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71].

For generic \(M > 2\), in [30], the extension of \({{\mathcal {N}}}=2\) superconformal algbra is described. The generators of \({{\mathcal {N}}}=2\) superconformal algebra are given by the spin-\(1, \frac{3}{2}, \frac{3}{2}, 2\) currents and denoted by \(K, G^+, G^-, T\) respectively.Footnote 4 The extra generators of SU(M) nonsinglets are classified by the spin-1 currents, spin-\(\frac{3}{2}\) currents, and the spin-2 currents. Their numbers are given by \((M^2-1)\), \(2(M^2-1)\) and \((M^2-1)\) respectively. If we increase the spin by one, then there are the spin-2 currents, spin-\(\frac{5}{2}\) currents, and the spin-3 currents of SU(M) singlets and nonsinglets. Their numbers are given by \( M^2\), \(2M^2\) and \(M^2\) respectively. As we increase further, then the general features of SU(M) singlets and nonsinglets go through: there are the \(M^2\) spin-s currents, the \(2M^2\) spin-\((s+\frac{1}{2})\) currents, and the \(M^2\) spin-\((s+1)\) currents.Footnote 5

We present them here, in the notation of \({{\mathcal {N}}}=2\) multiplet,Footnote 6 with the assignment of spin and the SU(M) index \(a=1,2, \ldots , (M^2-1)\) as follows:

$$\begin{aligned}&\big (W^{-(1), 0}, G^{+\big (\frac{3}{2}\big ), 0}, G^{-\big (\frac{3}{2}\big ), 0}, W^{+(2), 0}\big )\nonumber \\&\qquad \equiv (K, G^+, G^-, T), \nonumber \\&\big (W^{-(1), a}, G^{+\big (\frac{3}{2}\big ), a}, G^{-\big (\frac{3}{2}\big ), a}, W^{+(2), a}\big ), \nonumber \\&\big (W^{-(2), 0}, G^{+\big (\frac{5}{2}\big ), 0}, G^{-\big (\frac{5}{2}\big ), 0}, W^{+(3), 0}\big ), \nonumber \\&\big (W^{-(2), a}, G^{+\big (\frac{5}{2}\big ), a}, G^{-\big (\frac{5}{2}\big ), a}, W^{+(3), a}\big ), \nonumber \\&\big (W^{-(3), 0}, G^{+\big (\frac{7}{2}\big ), 0}, G^{-\big (\frac{7}{2}\big ), 0}, W^{+(4), 0}\big ), \nonumber \\&\big (W^{-(3), a}, G^{+\big (\frac{7}{2}\big ), a}, G^{-\big (\frac{7}{2}\big ), a}, W^{+(4), a}\big ), \qquad \cdots \qquad , \nonumber \\&\big (W^{-(s), 0}, G^{+\big (s+\frac{1}{2}\big ), 0}, G^{-\big (s+\frac{1}{2}\big ), 0}, W^{+(s+1), 0}\big ), \nonumber \\&\big (W^{-(s), a}, G^{+\big (s+\frac{1}{2}\big ), a}, G^{-\big (s+\frac{1}{2}\big ), a}, W^{+(s+1), a}\big ), \quad \cdots \quad . \nonumber \\ \end{aligned}$$
(1.3)

In (1.3), the generators of \({{\mathcal {N}}}=2\) superconformal algebra are denoted by \((K, G^+, G^-, T)\). Each current of half integer spins appears in the same \({{\mathcal {N}}}=2\) multiplet while each current of integer spins appears in the different \({{\mathcal {N}}}=2\) multiplets. The coset realization on the above currents is done for the generators of \((K,G^+, G^-, T)\) and the next three kinds of \( (W^{-(1), a}, G^{+(\frac{3}{2}), a}, G^{-(\frac{3}{2}), a})\) so far in [30].Footnote 7

  • In this paper, we would like to construct the coset realization for the following currents

    $$\begin{aligned}&(\text{ known }, \text{ known }, \text{ known }, W^{+(2), a}), \nonumber \\&(W^{-(2), 0}, G^{+(\frac{5}{2}), 0}, G^{-(\frac{5}{2}), 0}, W^{+(3), 0}), \nonumber \\&(W^{-(2), a}, G^{+(\frac{5}{2}), a}, G^{-(\frac{5}{2}), a}, W^{+(3), a}). \end{aligned}$$
    (1.4)

    Here, the first three components of the first \({{\mathcal {N}}}=2\) multiplet (1.4) are known in terms of coset fields.

Moreover, we describe some of the OPEs between the currents for low spins. Then how we can construct the currents in (1.4) in terms of coset fields explicitly? For the spin-2 current appearing in the first line of (1.4), we can use both the previous known currents which belong to the same \({{\mathcal {N}}}=2\) multiplet and the generators of \((K,G^+,G^-,T)\). For the currents belonging to the second and third \({{\mathcal {N}}}=2\) multiplets in (1.4), we can use the previous known currents of spin-2, 3 currents in the bosonic coset model (1.1). We figure out that the singlet spin-3 current \(W^{(3)}\) will appear in the last component of the second \({{\mathcal {N}}}=2\) multiplet while the nonsinglet spin-3 current \(P^a\) will appear in the last component of the third \({{\mathcal {N}}}=2\) multiplet and the nonsinglet spin-2 current \(K^a\) will appear in the first component of the third \({{\mathcal {N}}}=2\) multiplet, as the \({{\mathcal {N}}}=2\) supersymmetric versions. This is because the OPE between the spin-2 current \(K^a\) and the spin-2 current \(K^b\) leads to the spin-3 current \(P^c\) in the bosonic coset model. Furthermore, when we fix \(M=1\), the singlet spin-3 current arises in the last component of the corresponding \({{\mathcal {N}}}=2\) multiplet (For example, [27, 37, 39]) and therefore it is natural to think about the above description for general M case.

  • One way to determine the \({{\mathcal {N}}}=2\) superpartners of the spin-2, 3 currents found in the bosonic coset model is to consider, as a first step, the OPEs between the \({{\mathcal {N}}}=2\) supersymmetry generators \(G^{\pm }\) and the spin-3 currents \(W^{(3)}\) and \(P^a\) of the bosonic theory.

Then we will obtain the intermediate spin-\(\frac{5}{2}\) currents in the specific poles which depend on the complex fermions as well as the bosonic currents. Further computations for the OPEs between the above supersymmetry generators \(G^{\pm }\) and these intermediate spin-\(\frac{5}{2}\) currents obtained at the previous stage can be performed. Then we will obtain the spin-2 currents which will contain both the complex fermions and the bosonic currents as before. Then we have singlet spin-2 current \(W^{-(2),0}\) and the nonsinglet spin-2 currents \(W^{-(2),a}\) as in (1.4). By calculating the OPEs between the spin-\(\frac{3}{2}\) currents \(G^{\pm }\) and these spin-2 currents obtained newly, we can determine the singlet spin-\(\frac{5}{2}\) currents \(W^{\pm (\frac{5}{2}),0}\) and the nonsinglet spin-\(\frac{5}{2}\) currents \(W^{\pm (\frac{5}{2}),a}\). In general, they are different from the above intermediate spin-\(\frac{5}{2}\) currents. Finally, after further action of supersymmetry generators \(G^{\pm }\) on these spin-\(\frac{5}{2}\) currents, the singlet spin-3 current \(W^{+(3),0}\) and the nonsinglet spin-3 currents \(W^{+(3),a}\) can be determined completely.

So far, the OPEs we are considering are the ones between the currents of the \({{\mathcal {N}}}=2\) superconformal algebra (the first line of (1.3)) and the currents of the singlet and nonsinglet \({{\mathcal {N}}}=2\) multiplets (1.4). Therefore, the right hand sides of these OPEs look similar to the behavior of standard \({{\mathcal {N}}}=2\) primary currents. The difference is that we observe that there appear some other additional singular terms and other type of currents living in other \({{\mathcal {N}}}=2\) multiplet.

  • The next things we should do, for the simplest cases, is to compute (1) the OPEs between the currents in the first \({{\mathcal {N}}}=2\) multiplet in (1.4) and (2) the OPE between \(W^{-(2),0}\) and itself.

In this case we do expect that the right hand sides of these OPEs will produce other \({{\mathcal {N}}}=2\) multiplets nontrivially. For the OPEs between the first nonsinglet \({{\mathcal {N}}}=2\) multiplet in (1.4), there exist new primary spin-\(\frac{5}{2}\) currents having two free indices and primary spin-3 current also having two free indices. For the OPE between the lowest component and itself of the second singlet \({{\mathcal {N}}}=2\) multiplet in (1.4), there is no new primary current. Although we consider the OPE between the singlet spin-2 current and itself, we do expect that the OPEs between the currents of the singlet \({{\mathcal {N}}}=2\) multiplets \( (W^{-(s), 0}, G^{+(s+\frac{1}{2}), 0}, G^{-(s+\frac{1}{2}), 0}, W^{+(s+1), 0})\) do not contain the currents from the nonsinglet \({{\mathcal {N}}}=2\) multiplets, in the presence of the currents of the \({{\mathcal {N}}}=2\) superconformal algebra with modified stress energy tensor.

  • Furthermore, we can study the extension of the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra in the present context because we have some information on the coset fields via (1.4). The question is how to reorganize the currents of \({{\mathcal {N}}}=4\) multiplets in terms of the currents of \({{\mathcal {N}}}=2\) multiplets and the coset fields.

In this case, the parameter M is fixed by 2. We can try to obtain the relevant currents of the above extension by recalling the defining OPEs in [72] between them starting from the low spins. The nontrivial part is to obtain the currents of the the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra because the stress energy tensor appears very nontrivially (For example, [73]) and we should fix the normalizations for the spin-1 currents and the spin-\(\frac{3}{2}\) currents correctly. Once we identify the currents of the the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra, then it is rather straightforward to determine the currents of the lowest \({{\mathcal {N}}}=4\) multiplet by using the defining relations in the OPEs in [72].

In Sect. 2, we review how we can add the complex fermions into the bosonic coset model and the coset realization for the \({{\mathcal {N}}}=2\) superconformal algebra is reviewed. We describe the known currents in (1.4). In Sect. 3, after finding the nonsinglet spin-2 currents \(W^{+(2),a}\), we compute the OPEs between the first \({{\mathcal {N}}}=2\) multiplet in the second line of (1.3) and the \({{\mathcal {N}}}=2\) stress energy tensor in the first line of (1.3). In Sect. 4, by considering the OPEs between the spin-\(\frac{3}{2}\) currents \(G^{\pm }\) and the spin-3 current \(W^{(3)}\) and analyzing the OPEs between the spin-\(\frac{3}{2}\) currents \(G^{\pm }\) and the spin-\(\frac{5}{2}\) current found newly successively, the lowest current of the second \({{\mathcal {N}}}=2\) multiplet in the third of (1.3) can be obtained. Moreover, the remaining other three components of this \({{\mathcal {N}}}=2\) multiplet can be determined. As before, the OPEs between the second \({{\mathcal {N}}}=2\) multiplet in the third line of (1.3) and the \({{\mathcal {N}}}=2\) stress energy tensor in the first line of (1.3) are determined. In Sect. 5, we do this section by considering the third \({{\mathcal {N}}}=2\) multiplet in the fourth line of (1.3) by following the procedure done in Sect. 4. In Sect. 6, after analyzing the OPEs between the first \({{\mathcal {N}}}=2\) multiplet, the arising of the new primary currents of spin-\(\frac{5}{2}, 3\) having the free indices ab of SU(M) is described. In Sect. 7, some of the OPEs between the second \({{\mathcal {N}}}=2\) multiplet are analyzed. In Sect. 8, for the \(M=2\) case, the coset realization gives us an extension of the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra [73,74,75,76] and some of the currents of the lowest \({{\mathcal {N}}}=4\) multiplet are given explicitly. In Sect. 9, we conclude our work and the future directions are given. The various Appendices are for the details in previous sections we describe.

2 Review

Some known results are reviewed in this section.

2.1 The singlet currents of spins \((1, \frac{3}{2}, \frac{3}{2}, 2)\)

2.1.1 The role of complex fermions

In the coset

$$\begin{aligned} \frac{SU(N+M)_k \times SO(2 N M)_1}{ SU(N)_{k+M} \times U(1)_{ N M (N+M)(k+N+M)}}, \end{aligned}$$
(2.1)

the decomposition of \(SU(N+M)\) into the \(SU(N) \times SU(M)\) in the numerator can be performed as in the bosonic case [3]. We use the generators \((t^{\alpha }, t^a, t^{u(1)}, t^{(\rho {\bar{i}})}, t^{(\bar{\sigma } j)})\) with the normalized metric. The index \(\alpha \) runs over \(\alpha =1,2, \ldots , (N^2-1)\) while the index a runs over \(a=1,2, \ldots , (M^2-1)\). The fundamental indices \(\rho \) and j run over \(\rho =1,2, \ldots , N\) and \(j=1,2,\ldots , M\) while the antifundamental indices \(\bar{\sigma }\) and \({\bar{i}}\) run over \(\bar{\sigma }=1,2, \ldots , N\) and \({\bar{i}}=1,2, \ldots , M\). The f and d symbols can be obtained from the above generators. The \(SU(N+M)\) currents of spin-1 in the numerator satisfy the standard OPEs.

The NM complex fermions of spin-\(\frac{1}{2}\) in the numerator satisfy the following OPE

$$\begin{aligned} \psi ^{(\rho {\bar{i}})}(z) \, \psi ^{(\bar{\sigma } j)}(w) = \frac{1}{(z-w)} \, \delta ^{\rho \bar{\sigma }} \, \delta ^{j {\bar{i}}} + \cdots . \end{aligned}$$
(2.2)

We introduce the SU(N) currents, the SU(M) currents and U(1) current from these complex fermions living in the \(SO(2 N M)_1\) factor as follows [30]:

$$\begin{aligned}&J^{\alpha }_f \equiv t^{\alpha }_{\rho \bar{\sigma }} \, \delta _{j {\bar{i}}} \, \psi ^{(\rho {\bar{i}})} \, \psi ^{(\bar{\sigma } j)}, \quad J^{a}_f \equiv -t^{a}_{j {\bar{i}}} \, \delta _{\rho \bar{\sigma }} \, \psi ^{(\rho {\bar{i}})} \, \psi ^{(\bar{\sigma } j)}, \quad \nonumber \\&J^{u(1)}_f \equiv \delta _{\rho \bar{\sigma }} \, \delta _{j {\bar{i}}} \, \psi ^{(\rho {\bar{i}})} \, \psi ^{(\bar{\sigma } j)}. \end{aligned}$$
(2.3)

The appropriate contractions between the indices are taken. We can also choose the second currents with positive sign. Then the currents in the denominator of the coset (2.1) are given by

$$\begin{aligned} J^{\alpha } + J^{\alpha }_f, \qquad \sqrt{M N (M+N)} \, J^{u(1)} + (M+N) \, J_f^{u(1)}, \nonumber \\ \end{aligned}$$
(2.4)

together with (2.3). Note that the level for the \(J^{\alpha }_f\) is given by M and the level for the \(J_f^{u(1)}\) is given by MN by using (2.2). See also Appendix A.2. Compared with the bosonic coset (1.1), the levels in the denominator are increased by M and \(N M (N+M)^2\) respectively. Note that the level for \(J^{\alpha }\) and \(J^{u(1)}\) is given by k.

The role of \(J_f^a\) will appear in the next subsection. Note that the OPEs between any two different currents in (2.3) are regular.Footnote 8 See also Appendix A.2. With the help of complex fermions, we can construct the currents of half-integer spin which are necessary to obtain the supersymmetric theory.

2.1.2 The \({{\mathcal {N}}}=2\) superconformal algebra

The stress energy tensor by Sugawara construction is the difference between the stress energy tensor in the numerator and the one in the denominator and is given by

$$\begin{aligned} T= & {} \frac{1}{2(k+M+N)} \Bigg [ J^{\alpha } J^{\alpha } + J^a J^a + \delta _{\rho \bar{\sigma }} \delta _{j {\bar{i}}} \, J^{(\rho {\bar{i}})} J^{(\bar{\sigma } j)} \nonumber \\&+ \delta _{\rho \bar{\sigma }} \delta _{j {\bar{i}}} J^{(\bar{\sigma } j)} J^{(\rho {\bar{i}})} + J^{u(1)} J^{u(1)} \Bigg ] \nonumber \\&- \frac{1}{2} \Bigg [\delta _{\rho \bar{\sigma }} \, \delta _{j {\bar{i}}} \, \psi ^{(\rho {\bar{i}})} \, \partial \, \psi ^{(\bar{\sigma } j)} - \delta _{\rho \bar{\sigma }} \, \delta _{j {\bar{i}}} \, \partial \, \psi ^{(\rho {\bar{i}})} \, \psi ^{(\bar{\sigma } j)} \Bigg ] \nonumber \\&- \frac{1}{2(k+M+N)} \, \Bigg [ (J^{\alpha }+ J_f^{\alpha }) \, (J^{\alpha } + J_f^{\alpha }) \nonumber \\&+ \bigg ( J^{u(1)} + \sqrt{\frac{M+N}{M N}}\, J^{u(1)}_f \bigg )\nonumber \\&\times \bigg (J^{u(1)}+ \sqrt{\frac{M+N}{M N}} J^{u(1)}_f\bigg ) \Bigg ]. \end{aligned}$$
(2.5)

Compared with the bosonic case [3],Footnote 9 due to the presence of the \(SO(2 N M)_1\) factor in the numerator, its contribution appears in the second line of (2.5). The quantity \((k+M+N)\) in the first line can be interpreted as the sum of the level k and \((N+M)\) of \(SU(N+M)\). There exists a common factor \(\frac{1}{2(k+M+N)}\) in the stress energy tensor of the denominator. For the SU(N) current in (2.4), the quantity \((k+M+N)\) can be regarded as the sum of the level \((k+M)\) and the N of SU(N). When we multiply \(M N (M+N)\) in the third line of (2.5) and divide it, then the corresponding level provides the overall factor \(\frac{1}{2 N M (M+N)(k+M+N)}\) for the U(1) current (2.4) in the denominator (2.4). In other words, the level can be identified with \( N M (M+N)(k+M+N)\).

Then it is straightforward to compute the central charge for the supersymmetric coset model

$$\begin{aligned} c= & {} \frac{3 M N k}{(k+M+N)} + \frac{(k+N)(M^2-1)}{(k+M+N)}\nonumber \\= & {} \frac{(k M^2+3 k M N-k+M^2 N-N)}{(k+M+N)}. \end{aligned}$$
(2.6)

When we have further \(SU(M)_{k+N}\) factor in the denominator of (1.2), then the central charge is given by the first contribution of the first relation in (2.6). According to the observation of [31], this can be obtained from the level k of \(SU(N+M)\), the dual Coxeter number \((N+M)\) of \(SU(N+M)\) and the dimension 2NM of \(\frac{SU(N+M)}{SU(N) \times SU(M) \times U(1)}\). See also [37, 39]. The corresponding current of \(SU(M)_{k+N}\) factor is given by \((J^a + J^a_f)\) and the level of \(J_f^a\) is N. Therefore, the total level is \((k+N)\). By adding \(SU(M)_{k+N}\) factor in the previous coset, we obtain the above coset (2.1). Then the central charge for the \(SU(M)_{k+N}\) factor is given by the second contribution of the first relation in (2.6).Footnote 10

By taking the product of the above complex fermions and the spin 1 currents transforming \((\mathbf{N}, {\overline{\mathbf{M}}})\) or \(({\overline{\mathbf{N}}},\mathbf{M})\) with the appropriate contractions between the indices, we obtain the spin-\(\frac{3}{2}\) currents [30] of \({{\mathcal {N}}}=2\) superconformal algebra as follows:

$$\begin{aligned} G^{+}\equiv & {} \delta _{\rho \bar{\sigma }} \, \delta _{j {\bar{i}}} \, J^{(\rho {\bar{i}})} \, \psi ^{(\bar{\sigma } j)}, \qquad \nonumber \\ G^{-}\equiv & {} \delta _{\rho \bar{\sigma }} \, \delta _{j {\bar{i}}} \, \psi ^{(\rho {\bar{i}})} \, J^{(\bar{\sigma } j)}. \end{aligned}$$
(2.7)

It turns out that the remaining spin 1 current of \({{\mathcal {N}}}=2\) superconformal algebra is described by

$$\begin{aligned} K \equiv \frac{1}{(k+M+N)} \, \Bigg ( \sqrt{ \frac{M+N}{M N}} \, M N \, J^{u(1)} - k \, J_f^{u(1)} \Bigg ). \nonumber \\ \end{aligned}$$
(2.8)

Note that the currents (2.5), (2.7) and (2.8) of the \({{\mathcal {N}}}=2\) superconformal algebra

$$\begin{aligned} (K, G^{+}, G^{-}, T) \end{aligned}$$
(2.9)

are regular in the OPEs between these and the currents (2.4) of the denominator of the coset.

In Appendix A, we present some OPEs between the spin \(\frac{1}{2}\) operators and the spin 1 operators, some OPEs between the spin 1 operators, the OPEs between the spin \(\frac{1}{2}, 1\) operators and the currents (2.9), and the complete OPEs of the \({{\mathcal {N}}}=2\) superconformal algebra. As noted by [30], there is a difference between the \({{\mathcal {N}}}=2\) superconformal algebra we are using in this paper and the standard \({{\mathcal {N}}}=2\) superconformal algebra for general \(M (\ne 1)\): (i) the normalizations in the spin-\(1,\frac{3}{2}\) currents are different and (ii) in the OPE of \(G^{+}(z) \, G^{-}(w)\), the stress energy tensor term has an additional term, \((J^a + J_f^a)^2\). For \(M=1\) case, this additional term vanishes and we obtain the standard \({{\mathcal {N}}}=2\) superconformal algebra.

2.1.3 The so far known currents

In the bosonic coset model, the currents contain the \(J^a\) of spin-1, the \(K^a\) of spin-2, the \(P^a\) of spin-3 and the \(W^{(3)}\) of spin-3. They are all primary under the corresponding stress energy tensor appearing in the footnote 9. The question is whether they are primary under the above stress energy tensor (2.5) or not. Recall that the bosonic stress energy tensor consists of the first line of (2.5) in addition to \(J^{\alpha }\, J^{\alpha }\) and \(J^{u(1)} \, J^{u(1)}\) terms. By construction, the above primary currents do not have any singular terms in the OPEs between them and these quadratic terms. Then we can regard the first line of (2.5) as the bosonic stress energy tensor. Let us look at the second and third lines of (2.5). They are either purely complex fermions dependent terms, \(J^{\alpha }\) dependent term, \(J^{u(1)}\) dependent term, \(J^{\alpha }\) with complex fermions, or \(J^{u(1)}\) with complex fermions. It is clear to observe that the above primary currents consisting of purely bosonic operators do not produce any nontrivial singular terms when we calculate the OPEs between them and the second and third lines of (2.5). This implies that the above primary currents with bosonic stress energy tensor are primary also under the above stress energy tensor (2.5).

Furthermore, because the above primary currents do not contain the complex fermions, it is obvious that the regular conditions for these currents with the operators (2.4) in the denominator hold. Then all the (quasi)primary currents in the bosonic coset model can play the role of primary operators under the stress energy tensor (2.5). However, we should check whether they transform under the spin-\(\frac{3}{2}\) currents in (2.7) and the spin-1 current (2.8) or not.

So far, there exist the following currents [3, 12, 30]

$$\begin{aligned}&\text{ spin-1 }: J^a, \quad \text{ spin-2 }: K^a, \quad \text{ spin-3 }: P^a, \quad \cdots , \nonumber \\&\text{ spin-1 }: K, \quad \text{ spin- }\frac{3}{2}: G^{+}, G^{-}, \quad \text{ spin-2 }: T,\nonumber \\&\qquad \text{ spin-3 }: W^{(3)}, \quad \cdots . \end{aligned}$$
(2.10)

We would like to construct the additional higher spin currents of integer or half-integer spins in terms of the coset operators \((J^{\alpha }, J^a, J^{u(1)}, J^{(\rho {\bar{i}})},J^{(\bar{\sigma } j)})\) and \((\psi ^{(\rho {\bar{i}})}, \psi ^{(\bar{\sigma } j)})\). Moreover, by using their OPEs, we determine the possible new higher spin currents. We will obtain \({{\mathcal {N}}}=2\) supersymmetric currents corresponding to the above \(K^a, W^{(3)}\) and \(P^a\). Although these currents do not belong to the extension of \({{\mathcal {N}}}=2\) superconformal algebra we are describing in this paper, they can provide how we can construct their \({{\mathcal {N}}}=2\) supersymmetric versions explicitly by using the currents of \({{\mathcal {N}}}=2\) superconformal algebra.

2.2 The nonsinglet currents of spins \((1, \frac{3}{2}, \frac{3}{2}, 2)\)

In [30], the three currents of this multiplet were obtained. We can consider the SU(M) current in (2.3) as the lowest component of this multiplet. This current has the adjoint index a. In order to have the spin-\(\frac{3}{2}\) current which has an index a, we use the generator of SU(M) by making the product of spin-1 current and spin-\(\frac{1}{2}\) operator with the appropriate contractions of the indices. It turns out that in [30] there exist the nonsinglet spin-\(\frac{3}{2}\) currents

$$\begin{aligned} G^{+,a}\equiv & {} -t^a_{j {\bar{i}}} \, \delta _{\rho \bar{\sigma }} \, J^{(\rho {\bar{i}})} \, \psi ^{(\bar{\sigma } j)}, \qquad \nonumber \\ G^{-,a}\equiv & {} -t^a_{j {\bar{i}}}\, \delta _{\rho \bar{\sigma }} \, \psi ^{(\rho {\bar{i}})} \, J^{(\bar{\sigma } j)}. \end{aligned}$$
(2.11)

Then it is natural to describe the following \({{\mathcal {N}}}=2\) multiplet

$$\begin{aligned} (J^a_f, G^{+\, a}, G^{-\, a}, ?). \end{aligned}$$
(2.12)

In next section, we will determine the last component of this multiplet.

2.3 The regular condition

By construction, all the currents should satisfy the regular conditions in the OPEs between them and the currents in the denominator of the coset (2.1). All the bosonic currents in the coset model of [3] satisfy automatically because the additional currents in (2.3) come from the complex fermions. For example, the spin-1 current in (2.10) satisfies the trivial OPEs

$$\begin{aligned}&J^a(z) \, ( J^{u(1)} + \sqrt{\frac{M+N}{M N}}\, J^{u(1)}_f )(w) = 0 + \cdots , \nonumber \\&J^a(z) \, (J^{\alpha } + J_f^{\alpha })(w) =0 +\cdots . \end{aligned}$$
(2.13)

If we determine the currents from the coset fields from the beginning by taking the multiple product between them and introducing the arbitrary coefficients to be fixed, then it is necessary to check the regular conditions like as (2.13) explicitly. However, when we are calculating some OPEs between the known currents which satisfy the regular conditions already, we do not need to check them at each step because some composite operators appearing in the right hand sides of these OPEs satisfy these regular conditions automatically. At the final stage, it is better to check these conditions for consistency checks.

Therefore, the lowest singlet and nonsinglet \({{\mathcal {N}}}=2\) multiplets are classified by (2.9) and (2.12). The former is the \({{\mathcal {N}}}=2\) supersymmetric extension of the stress energy tensor of the bosonic coset model.

3 The nonsinglet multiplet of spins \((1,\frac{3}{2},\frac{3}{2},2)\)

After identifying the last component of the \({{\mathcal {N}}}=2\) multiplet correctly, we present the OPEs between the generators of \({{\mathcal {N}}}=2\) superconformal algebra and this \({{\mathcal {N}}}=2\) multiplet. Moreover, the OPEs between the supersymmetry generators and the spin-2 current \(K^a\) obtained in the bosonic coset model are given.

3.1 The spin-2 current

The simplest \({{\mathcal {N}}}=2\) multiplet is described in (2.12). In this section, we would like to obtain the last component of this multiplet in terms of coset fields explicitly. Later we will also consider their OPEs and determine their algebraic structures in Sect. 6.

How do we obtain the last component of the multiplet (2.12)? According to the primary condition of the \({{\mathcal {N}}}=2\) multiplet under the multiplet of (2.9) in the \({{\mathcal {N}}}=2\) superconformal algebra, we can use the OPEs between \(G^{\pm }(z)\) and \(G^{\mp ,a}(w)\) and look at the first order pole. See Appendix B. Based on the explicit expressions of (2.7) and (2.11), we can compute the OPE between \(G^{+}(z)\) and \(G^{-,a}(w)\) explicitly.

After subtracting the descendant terms from the first order pole of the OPE \(G^{+}(z)\, G^{-,a}(w)\), the primary spin-2 current isFootnote 11

$$\begin{aligned} W^{+(2),a}= & {} -t^a_{j {\bar{i}}} \, \delta _{\rho \bar{\sigma }} \, J^{(\rho {\bar{i}})}\, J^{(\bar{\sigma } j)} + k \,t^a_{j {\bar{i}}} \, \delta _{\rho \bar{\sigma }} \, \psi ^{(\rho {\bar{i}})}\, \partial \psi ^{(\bar{\sigma } j)}\nonumber \\&-\sqrt{\frac{M+N}{M N}} \, J^{u(1)}\, J_f^a \nonumber \\&+ t^{\alpha }_{\rho \bar{\sigma }} \, t^a_{j {\bar{i}}} \, J^{\alpha } \, \psi ^{(\rho {\bar{i}})}\, \psi ^{(\bar{\sigma } j)} -\frac{1}{M} \, J^a \, J_f^{u(1)} \nonumber \\&+ \frac{1}{2} (i f +d)^{b a c} \, J^b \, J_f^c \nonumber \\&- \frac{N}{2} \, \partial \, J^a + \frac{k}{2}\, \partial \, J_f^a \equiv -\frac{1}{2} \, K^a + {\hat{W}}^{+(2),a}, \nonumber \\ \end{aligned}$$
(3.1)

where the spin-2 current obtained in the bosonic coset model is given by [3]

$$\begin{aligned} K^a= & {} \delta _{\rho \bar{\sigma }} \, t^a_{j{\bar{i}}} \, (J^{(\rho {\bar{i}})} \, J^{(\bar{\sigma } j)} + J^{(\bar{\sigma } j)} \, J^{(\rho {\bar{i}})})\nonumber \\&-\frac{N}{(M+2k)} \, d^{abc} \, J^b\, J^c \nonumber \\&+ \frac{2N}{k} \sqrt{\frac{M+N}{M N}} \, J^a \, J^{u(1)}. \end{aligned}$$
(3.2)

We realize that the field contents in (3.1) cannot be written in terms of the known currents in (2.10) and (2.12) due to the first five terms. In particular, the fourth term of (3.1) looks like the first term of spin-3 current \(P^a\) appearing in (2.10) in the sense that \(J^{(\rho {\bar{i}})}\, J^{(\bar{\sigma } j)}\) is replaced by \(\psi ^{(\rho {\bar{i}})}\, \psi ^{(\bar{\sigma } j)}\) and other factors remain unchanged. The reason why we write down the above spin-2 current in terms of the known previous spin-2 current and other piece is that when we calculate some OPEs including this current, we can use the previous result found in [12]. For example, in the OPE between \(W^{+(2),a}(z)\) and \(W^{+(2),b}(w)\), it is rather complicated to determine the OPE between the first term of (3.1) and itself. Instead, we can change those first term by using (3.2) in terms of \(J^a, J^{u(1)}\) and \(K^a\). We will see the details in Sect. 6.

3.2 The OPEs with the currents of \({{\mathcal {N}}}=2\) superconformal algebra

Once we have determined the four currents in the multiplet,

$$\begin{aligned} (J_f^a, G^{+,a}, G^{-,a}, W^{+(2),a}), \end{aligned}$$
(3.3)

we need to check whether they are really the components of \({{\mathcal {N}}}=2\) multiplet or not. It is straightforward to calculate the following OPEs with the help of (2.3), (2.8), (2.11) and (3.1)

$$\begin{aligned} K(z) \, J_f^a(w)= & {} 0 +\cdots , \nonumber \\ K(z) \, G^{\pm ,a}(w)= & {} \pm \frac{1}{(z-w)}\, G^{\pm ,a}(w) +\cdots , \nonumber \\ K(z) \, W^{+(2),a}(w)= & {} \frac{1}{(z-w)^2}\, \Bigg [ N\, J^a -k \, J_f^a \Bigg ](w) +\cdots . \nonumber \\ \end{aligned}$$
(3.4)

When we compare the ones in Appendix B with these OPEs (3.4), the last OPE contains the additional term \(J^a\) in the second order pole of the right hand side. There are two ways to fix this inconsistency by considering the above spin-2 current with some modifications in order to have \(J^a_f(w)\) in the above second order pole or by taking the spin-1 current as \((N\, J^a -k \, J_f^a)\) rather than the previous \(J_f^a\). Recall that the OPE between K(z) and \(J^a(w)\) is regular because it is obvious to see that the OPE between the spin-1 current \(J^a\) and the spin-1 \(J_f^{u(1)}\) having complex fermions does not have any singular terms and moreover it is known that \(J^a(z) \, J^{u(1)}(w) = 0 + \cdots \) from the observation of [3]. This implies that the above linear combination of spin-1 current satisfies the corresponding OPE which is the first one in (3.4). Then we will have the right property in Appendix B.

However, we will take the lowest component of the multiplet as \(J^a_f\) rather than \((N\, J^a -k \,J_f^a)\) as in (3.3). One of the reasons why we do not consider this linear combination as the lowest component of the above multiplet is that it is better to treat \(J^a\) and \(J_f^a\) separately when we decide which composite operators are written in terms of the known currents or not. Otherwise we should replace all the \(J^a_f\) term by adding \(J^a\) term in order to preserve the above linear combination in all the composite operators.Footnote 12 We observe that the combination of \((N\, J^a -k \,J_f^a)\) will appear at many places of the OPEs we will calculate later.

Let us describe the OPEs between the spin-\(\frac{3}{2}\) current of \({{\mathcal {N}}}=2\) superconformal algebra and the currents of the multiplet in (3.3)Footnote 13

$$\begin{aligned} G^+(z) \, J_f^a(w)= & {} \frac{1}{(z-w)}\, G^{+,a}(w) + \cdots , \nonumber \\ G^{+}(z) \, G^{+,a}(w)= & {} 0 +\cdots , \nonumber \\ G^{+}(z) \, G^{-,a}(w)= & {} \frac{1}{(z-w)^2} \, \Bigg [ N\, J^a -k \, J_f^a \Bigg ](w) \nonumber \\&+ \frac{1}{(z-w)} \Bigg [\frac{1}{2}\, \Bigg ( N\, \partial \, J^a -k \, \partial \, J_f^a \Bigg )\nonumber \\&+W^{+(2),a} \Bigg ](w) + \cdots , \nonumber \\ G^{+}(z) \, W^{+(2),a}(w)= & {} \frac{1}{(z-w)^2}\, \frac{3}{2}\, (k+N)\, G^{+,a}(w)\nonumber \\&+ \frac{1}{(z-w)}\, \frac{1}{2}\, (k+N)\, \partial \, G^{+,a}(w) + \cdots . \nonumber \\ \end{aligned}$$
(3.5)

By changing the sign of \(J_f^a(w)\) (and the remaining currents are the same) we obtain the standard OPE of \(G^{+}(z) \, J_f^a(w)\) which leads to the minus sign of the right hand side of this OPE. See also Appendix B. Note that there is a term of \(J^a(w)\) in the second order pole of \(G^{+}(z) \, G^{-,a}(w)\) as before. From this OPE, we have obtained the nonsinglet spin-2 current we mentioned before. In the last OPE, the numerical value in the right hand side has an extra factor \((k+N)\) when we compare with the one in Appendix B.Footnote 14

Similarly, we obtain the following OPEs

$$\begin{aligned} G^-(z) \, J_f^a(w)= & {} -\frac{1}{(z-w)}\, G^{-,a}(w) + \cdots , \nonumber \\ G^{-}(z) \, G^{+,a}(w)= & {} \frac{1}{(z-w)^2} \, \Bigg [ -N\, J^a +k \, J_f^a \Bigg ](w) \nonumber \\&+ \frac{1}{(z-w)} \Bigg [\frac{1}{2}\, \Bigg ( -N\, \partial \, J^a + k \, \partial \, J_f^a \Bigg ) \nonumber \\&+W^{+(2),a} + i \, f^{a b c}\, J^b \, J_f^c \Bigg ](w) + \cdots , \nonumber \\ G^{-}(z) \, G^{-,a}(w)= & {} 0 +\cdots , \nonumber \\ G^{-}(z) \, W^{+(2),a}(w)= & {} \frac{1}{(z-w)^2}\, \frac{1}{2}\, (3k+2M+3N)\, G^{-,a}(w) \nonumber \\&+ \frac{1}{(z-w)} \, \Bigg [ \frac{1}{3} \, \frac{1}{2}\, (3k+2M+3N)\, \partial \, G^{-,a} \nonumber \\&+ i \, f^{a b c}\, J^b \, G^{-,c}- i \, f^{a b c}\, G^{-,b}\, J_f^c \nonumber \\&- \frac{ M}{3} \, \partial \, G^{-,a} \Bigg ](w) + \cdots . \end{aligned}$$
(3.6)

By changing the sign of \(J_f^a(w)\) as before, we obtain the standard OPE of \(G^{-}(z) \, J_f^a(w)\) in Appendix B. There exists a term of \(J^a(w)\) in the second order pole of \(G^{-}(z) \, G^{+,a}(w)\). In the last OPE of (3.6), we do not combine with the first and the fourth terms in the first order pole.Footnote 15 The last three terms of the last OPE (which is primary under the stress energy tensor) are written in terms of the known currents in (2.10).Footnote 16

We can check that each current in the multiplet we are considering in this subsection satisfies the primary condition under the stress energy tensor (2.5) as follows:

$$\begin{aligned} T(z) \, J_f^a(w)= & {} \frac{1}{(z-w)^2} \, J_f^a(w)\nonumber \\&+ \frac{1}{(z-w)} \, \partial \, J_f^a(w) + \cdots , \nonumber \\ T(z) \, G^{\pm ,a}(w)= & {} \frac{1}{(z-w)^2} \, \frac{3}{2} \, G^{\pm ,a}(w) \nonumber \\&+ \frac{1}{(z-w)} \, \partial \, G^{\pm ,a}(w) + \cdots , \nonumber \\ T(z) \, W^{+(2),a}(w)= & {} \frac{1}{(z-w)^2} \, 2 \, W^{+(2),a}(w)\nonumber \\&+ \frac{1}{(z-w)} \, \partial \, W^{+(2),a}(w) + \cdots . \end{aligned}$$
(3.7)

Of course, it is rather nontrivial to check these OPEs (3.7) for generic kN and M by hands but we can check them for fixed N and M by using the Thielemans package [80]. When we notice the presence of higher order terms where the pole is greater than or equal to three, then we can try to do this checking by hands on the higher order terms. Usually, it is not necessary to check the first and second order poles of the OPEs. For the quasi primary operators, it is nontrivial to check the fourth order poles by hands.

As a consistency check, we can check that the currents satisfy the following regular conditions

$$\begin{aligned}&(J_f^a, G^{+,a}, G^{-,a}, W^{+(2),a})(z) \, ( J^{u(1)} \nonumber \\&\quad + \sqrt{\frac{M+N}{M N}}\, J^{u(1)}_f )(w) = 0 + \cdots , \nonumber \\&(J_f^a, G^{+,a}, G^{-,a}, W^{+(2),a})(z) \, (J^{\alpha } + J_f^{\alpha })(w) =0 +\cdots . \nonumber \\ \end{aligned}$$
(3.8)

For example, the relative coefficients in (3.1) are fixed from these constraints and the primary condition under the stress energy tensor (2.5) (and its \({{\mathcal {N}}}=2\) extension).

3.3 Some OPEs with the spin-2 current \(K^a\)

It is clear that the OPE between K(z) and the spin-2 current \(K^a(w)\) does not contain the singular terms because the OPE between the \(J^{u(1)}(z)\) and \(K^a(w)\) is regular and the \(K^a(w)\) does not have the complex fermions. Then the question is what are the OPEs between \(G^{\pm }(z)\) and \(K^a(w)\).Footnote 17

By using the explicit expressions of (2.7) and (3.2) we obtain

$$\begin{aligned}&G^{+}(z) \, K^{a}(w) \nonumber \\&\quad = -\frac{1}{(z-w)^2} \, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, G^{+,a}(w) \nonumber \\&\qquad + \frac{1}{(z-w)} \, \Bigg [ -\frac{1}{3} \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \partial \, G^{+,a}\nonumber \\&\qquad + V^{+(\frac{5}{2}),a} \Bigg ](w) + \cdots . \end{aligned}$$
(3.9)

Note that the first order pole provides the spin-\(\frac{5}{2}\) current which cannot be written in terms of the known currents (2.10) and (3.1). The primary spin-\(\frac{5}{2}\) current under the stress energy tensor (2.5), after subtracting the descendant term in the first order pole is

$$\begin{aligned} V^{+(\frac{5}{2}),a}= & {} -2 (k+N) \, t^a_{j {\bar{i}}} \, \delta _{\rho \bar{\sigma }} \, \partial \, J^{(\rho {\bar{i}})}\, \psi ^{(\bar{\sigma } j)}\nonumber \\&-\frac{2(k+N)}{k} \,\sqrt{\frac{M+N}{M N}} \, J^{u(1)}\, G^{+,a} \nonumber \\&- \frac{2}{k M} \, (k+M+N) \, J^a \, G^{+} \nonumber \\&-\bigg (i f - \frac{2k+M+2N}{2k+M} \, d\bigg )^{a b c} \, J^b \, G^{+,c} \nonumber \\&+ 2 \, t^{\alpha }_{\rho \bar{\sigma }} \, t^a_{j {\bar{i}}} \, J^{\alpha } \, J^{(\rho {\bar{i}})}\, \psi ^{(\bar{\sigma } j)} \nonumber \\&-\frac{2}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \partial \, G^{+,a}. \end{aligned}$$
(3.10)

Note that the first, second and fifth terms are the reasons why we cannot write down this current in terms of the known currents. Again, the field content of the fifth term looks like the fourth term of (3.1) in the sense that the spin-\(\frac{1}{2}\) operator is replaced by the spin-1 current.

Similarly, we can determine the following OPE

$$\begin{aligned}&G^{-}(z) \, K^{a}(w)\nonumber \\&\quad = -\frac{1}{(z-w)^2} \, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, G^{-,a}(w) \nonumber \\&\qquad + \frac{1}{(z-w)} \, \Bigg [ -\frac{1}{3} \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \partial \, G^{-,a}\nonumber \\&\qquad + V^{-(\frac{5}{2}),a} \Bigg ](w) + \cdots , \end{aligned}$$
(3.11)

where the primary spin-\(\frac{5}{2}\) current is

$$\begin{aligned} V^{-(\frac{5}{2}),a}= & {} -2 (k+N) \, t^a_{j {\bar{i}}} \, \delta _{\rho \bar{\sigma }} \, \partial \, J^{(\bar{\sigma } j)}\, \psi ^{(\rho {\bar{i}})} \nonumber \\&+\frac{2(k+N)}{k} \,\sqrt{\frac{M+N}{M N}} \, J^{u(1)}\, G^{-,a} \nonumber \\&+ \frac{2}{k M} \, (k+M+N) \, J^a \, G^{-}\nonumber \\&-(i f + \frac{2k+M+2N}{2k+M} \, d)^{a b c} \, J^b \, G^{-,c} \nonumber \\&- 2 \, t^{\alpha }_{\rho \bar{\sigma }} \, t^a_{j {\bar{i}}} \, J^{\alpha } \, J^{(\bar{\sigma } j)}\, \psi ^{(\rho {\bar{i}})} \nonumber \\&-\frac{2}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \partial \, G^{-,a}. \end{aligned}$$
(3.12)

The field contents of (3.12) look similar to the one in (3.10). They will appear at many places in the OPEs we will consider later. Due to the presence of the new primary fields (3.10) and (3.12) for given OPEs, the bosonic spin-2 current \(K^a\) by itself cannot play the role of the last component of the multiplet in (2.12). In other words, the right spin-2 current in (3.1) contains both fermionic dependent terms and bosonic current dependent terms in addition to \(K^a\). If we remember the OPEs in Appendix B, the OPEs in (3.9) and (3.11) imply that the spin-2 current \(K^a\) can be a candidate for the lowest component of other nonsinglet \({{\mathcal {N}}}=2\) multiplet which will be explained later if we succeed to eliminate the second order poles of (3.9) and (3.11).Footnote 18

In summary, the equations (3.4), (3.5), (3.6) and (3.7) imply that the right hand sides of these OPEs contain the currents (3.3), the nonsinglet spin-1 current \(J^a\) and their composite operators. As emphasized before, these OPEs do not satisfy Appendix B.

4 The singlet multiplet of spins \((2,\frac{5}{2},\frac{5}{2},3)\)

We would like to construct this multiplet starting from the singlet spin-3 current found in the bosonic coset model [3].

4.1 Construction of lowest component

Once we know any component of this multiplet, then the other three components can be determined, in principle, by using the \({{\mathcal {N}}}=2\) primary conditions described in Appendix B. Let us first consider how we obtain the lowest component of this \({{\mathcal {N}}}=2\) multiplet.Footnote 19

There exists a singlet spin-3 current \(W^{(3)}\) in the bosonic coset model and its expression in terms of coset fields is described by [3]

$$\begin{aligned} W^{(3)}= & {} b_1 \, d^{\alpha \beta \gamma } \, J^{\alpha } J^{\beta } J^{\gamma } + b_2 \, d^{a b c} \, J^a J^b J^c\nonumber \\&+ b_3 \, J^{u(1)} J^{u(1)} J^{u(1)} + b_4 \, J^{\alpha } J^{\alpha } J^{u(1)} \nonumber \\&+ b_5 \, J^a \, J^a \, J^{u(1)} + b_6 \, t^{\alpha }_{\rho \bar{\sigma }} \, \delta _{j{\bar{i}}}\, J^{\alpha } \, (J^{(\rho {\bar{i}})} \, J^{(\bar{\sigma } j)} \nonumber \\&+ J^{(\bar{\sigma } j)} \, J^{(\rho {\bar{i}})}) \nonumber \\&+ b_7 \, \delta _{\rho \bar{\sigma }} \, t^a_{j{\bar{i}}} \, J^a (J^{(\rho {\bar{i}})} J^{(\bar{\sigma } j)} + J^{(\bar{\sigma } j)} J^{(\rho {\bar{i}})}) \nonumber \\&+b_8 \, \delta _{\rho \bar{\sigma }} \, \delta _{j{\bar{i}}} \, J^{u(1)} (J^{(\rho {\bar{i}})} J^{(\bar{\sigma } j)} + J^{(\bar{\sigma } j)} J^{(\rho {\bar{i}})}) \nonumber \\&+ b_{12} \, \delta _{\rho \bar{\sigma }} \, \delta _{j{\bar{i}}} \, \partial \, J^{(\rho {\bar{i}})} \,J^{(\bar{\sigma } j)}\nonumber \\&+ b_{13} \, \, \delta _{\rho \bar{\sigma }} \, \delta _{j{\bar{i}}} \, \partial \, J^{(\bar{\sigma } j)} \, J^{(\rho {\bar{i}})} + b_{14} \, \partial ^2 \, J^{u(1)}. \end{aligned}$$
(4.1)

Here the relative coefficients are functions of kN and M as follows:

$$\begin{aligned} b_2= & {} -\frac{ N (k+N) (k+2 N)}{M (k+M) (k+2 M)} \, b_1, \qquad \nonumber \\ b_3= & {} \sqrt{\frac{M+N}{M N}} \, \frac{ 2 (k+N) (k+2 N) (M+N)}{k^2 M} \, b_1, \nonumber \\ b_4= & {} \sqrt{\frac{M+N}{M N}} \, \frac{ 6 (k+N)}{k} \, b_1, \qquad \nonumber \\ b_5= & {} \sqrt{\frac{ M+N}{M N}} \, \frac{ 6 N (k+N) (k+2 N)}{k M (k+2 M)}\, b_1, \nonumber \\ b_6= & {} -\frac{3 (k+N)}{M} \, b_1,\qquad \nonumber \\ b_7= & {} \frac{3 (k+N) (k+2 N)}{M (k+2 M)} \, b_1, \nonumber \\ b_8= & {} -\sqrt{\frac{M+N}{M N}}\, \frac{ 3 (k+N) (k+2 N)}{k M}\, b_1, \qquad \nonumber \\ b_{12}= & {} \frac{3 (k+N) (k+2 N)}{M}\, b_1, \nonumber \\ b_{13}= & {} -\frac{3 (k+N) (k+2 N)}{M} \, b_1, \qquad \nonumber \\ b_{14}= & {} - \sqrt{\frac{ M+N}{M N}}\, N (k+N) (k+2 N) \, b_1. \end{aligned}$$
(4.2)

Although we add the spin-1 currents coming from the complex fermions to the ones in the bosonic coset model studied in [3], the regular conditions with the coset fields in the coset (2.1) hold as follows:

$$\begin{aligned}&W^{(3)}(z) \, ( J^{u(1)} + \sqrt{\frac{M+N}{M N}}\, J^{u(1)}_f )(w) = 0 + \cdots , \nonumber \\&W^{(3)}(z) \, (J^{\alpha } + J_f^{\alpha })(w) =0 +\cdots , \end{aligned}$$
(4.3)

because the OPEs between the spin-3 current \(W^{(3)}\) (consisting of purely bosonic fields) and these spin-1 currents (consisting of purely fermionic fields) do not have any singular terms as in (3.8).

We need to calculate the OPEs between the supersymmetry generators of the \({{\mathcal {N}}}=2\) superconformal algebra and the above singlet spin-3 current in order to determine its superpartners. Because the spin-\(\frac{3}{2}\) currents consist of the spin-\(1, \frac{1}{2}\) operators transforming as \((\mathbf{N}, {\overline{\mathbf{M}}})\) or \(({\overline{\mathbf{N}}}, \mathbf{M})\), we should first calculate the OPEs between the spin-1 currents and the spin-3 current \(W^{(3)}\). Note that it is obvious to see that the OPEs between the spin-\(\frac{1}{2}\) operator and \(W^{(3)}\) are regular. In Appendix C, we present some relevant OPEs between the spin-1 current and the singlet spin-3 current.

It turns out that after extracting the OPE \(W^{(3)}(z) \, G^{\pm }(w)\) and then changing the order of the two currents we have

$$\begin{aligned}&G^{\pm }(z) \, W^{(3)}(w) \nonumber \\&\quad = \mp \frac{1}{(z-w)^3} \, \frac{ (k^2-1) (k^2-4) (k+M+N) (2 k+M+N) (3 k+2 M+2 N)}{ k^2 M (k+M) (k+2 M)} \, b_1 \, G^{\pm }(w)\nonumber \\&\quad \pm \frac{1}{(z-w)^2} \, G^{\pm (\frac{5}{2}),0}(w) + {{\mathcal {O}}} (\frac{1}{(z-w)}). \end{aligned}$$
(4.4)

We do not specify the first order poles of (4.4) here. They can be written explicitly from the results of Appendix C. Because there are no descendant terms associated with the spin-\(\frac{3}{2}\) currents at the second order pole, the primary singlet spin-\(\frac{5}{2}\) currents appear in the second order pole.

One of them is given by

$$\begin{aligned} G^{+(\frac{5}{2}),0}= & {} \frac{(k^2-4)(k+M+N)(3k+2M+2N)}{k M (k+2M)} \, b_1 \, \nonumber \\&\times \Bigg [ - 3 \, t^{\alpha }_{\sigma \bar{\sigma }} \, \delta _{j {\bar{i}}} \, J^{\alpha } \, \psi ^{(\bar{\sigma } j)}\, J^{(\sigma {\bar{i}})}\nonumber \\&- \frac{3}{(k+M)} \, (k+N) \, J^a \, G^{+,a}\nonumber \\&- \frac{3}{k}\, \sqrt{\frac{M+N}{M N}} \, (k+N) J^{u(1)}\, G^{+} \nonumber \\&+ 3 \, (k+N) \, \delta _{\rho \bar{\sigma }}\, \delta _{j {\bar{i}}} \, \psi ^{(\bar{\sigma } j)}\, \partial \, J^{(\rho {\bar{i}})} \nonumber \\&- \frac{(k^2-1)(2k+M+N)}{k(k+M)} \, \partial \, G^{+} \Bigg ]. \end{aligned}$$
(4.5)

Due to the first, third and fourth terms, we cannot rewrite (4.5) in terms of previous known currents we have discussed so far.Footnote 20 The field contents look similar to the one \(V^{+(\frac{5}{2}),a}\) (3.10). There is no f or d symbols in (4.5) because this current should be a singlet field. We can easily check that the first term comes from the sixth term of (4.1).

The other is given by

$$\begin{aligned} G^{-(\frac{5}{2}),0}= & {} \frac{(k^2-4)(k+M+N)(3k+2M+2N)}{k M (k+2M)} \, b_1 \, \nonumber \\&\times \Bigg [ 3 \, t^{\alpha }_{\sigma \bar{\sigma }} \, \delta _{j {\bar{i}}} \, J^{\alpha } \, \psi ^{(\sigma {\bar{i}})}\, J^{(\bar{\sigma } {\bar{j}})}\nonumber \\&+ \frac{3}{(k+M)} \, (k+N) \, J^a \, G^{-,a}\nonumber \\&+ \frac{3}{k}\, \sqrt{\frac{M+N}{M N}} \, (k+N) J^{u(1)}\, G^{-} \nonumber \\&+ 3 \, (k+N) \, \delta _{\rho \bar{\sigma }}\, \delta _{j {\bar{i}}} \, \psi ^{(\rho {\bar{i}})}\, \partial \, J^{(\bar{\sigma } j)} \nonumber \\&- \frac{(k^2-1)(2k+M+N)}{k(k+M)} \, \partial \, G^{-} \Bigg ]. \end{aligned}$$
(4.6)

The field contents of (4.6) look similar to the one \(V^{-(\frac{5}{2}),a}\) (3.12). Again the first term comes from the sixth term of (4.1). Of course, after we determine the lowest component of this multiplet later, we should check whether the above two primary spin-\(\frac{5}{2}\) currents are really the elements of this multiplet under the action of the generators of \({{\mathcal {N}}}=2\) superconformal algebra based on Appendix B. In general, we expect that the spin-\(\frac{5}{2}\) currents obtained by \(W^{(3)}\) from the bosonic coset model will be different from the ones determined by the corresponding currents in \({{\mathcal {N}}}=2\) multiplet. However, it turns out that they are equivalent to each other. In next section, we will observe some examples where this is not the case.

From Appendix B, the second order pole in the OPE of either \(G^{-}(z) \, G^{+(\frac{5}{2}),0}(w)\) or \(G^{+}(z) \, G^{-(\frac{5}{2}),0}(w)\) leads to the following primary singlet spin-2 current, which is the lowest component of \({{\mathcal {N}}}=2\) multiplet in this sectionFootnote 21

$$\begin{aligned} W^{-(2),0}= & {} \frac{(k^2-4) (k+M+N) (3 k+2 M+2 N)}{k M (k+2M)}\, b_1 \, \nonumber \\&\times \Bigg [- \frac{2 (k^3+2 k^2 M+2 k^2 N+3 k M N+2 k+M+N)}{k (k+M)}\nonumber \\&\times \delta _{\rho \bar{\sigma }} \delta _{j {\bar{i}}} \, J^{(\rho {\bar{i}})} J^{(\bar{\sigma } j)} \nonumber \\&+ 3 \, M \, J^{\alpha }\, J^{\alpha } -\frac{2 (k^2-1) (2 k+M+N) }{k (k+M) } \ J^{\alpha } \, J_f^{\alpha } \nonumber \\&- \frac{2 (k^2-1) (2 k+M+N) }{ k (k+M) } \, \sqrt{\frac{M+N}{M N}} \, J^{u(1)} J^{u(1)}_f \nonumber \\&- \frac{2 (k^2-1) (2 k+M+N) }{k (k+M)}\, J^a \, J^a_f \nonumber \\&+ \, \frac{ (k^2-1) (2 k+M+N) }{ (k+M) }\, \delta _{\rho \bar{\sigma }} \, \delta _{j {\bar{i}}} \, \partial \, \psi ^{(\rho {\bar{i}})} \, \psi ^{(\bar{\sigma } j)} \nonumber \\&+ \frac{3 N (k+N) }{ (k+M) }\, J^a \, J^a \nonumber \\&- \frac{ (k^2-1) (2 k+M+N) }{ (k+M) } \, \delta _{\rho \bar{\sigma }} \, \delta _{j {\bar{i}}} \, \psi ^{(\rho {\bar{i}})} \, \partial \, \psi ^{(\bar{\sigma } j)} \nonumber \\&+ \frac{3 (k+N) (M+N) }{k } \, J^{u(1)} \, J^{u(1)} \nonumber \\&+ \frac{ N M (k^3+2 k^2 M+2 k^2 N+3 k M N+2 k+M+N)}{k (k+M)}\,\nonumber \\&\sqrt{\frac{M+N}{M N}} \, \partial \, J^{u(1)} \, \Bigg ]. \end{aligned}$$
(4.7)

Note that the second, fifth and ninth terms in (4.7) do not arise in the stress energy tensor T (2.5) and we cannot express this in terms of the known currents obtained so far. The fifth term is characteristic of this spin-2 current (or of modified stress energy tensor in Appendix A) in the sense that we do not see this term from the bosonic stress energy tensor also. In doing this computation, we need to obtain the OPE between \(G^{-,a}(z)\) and \(G^{+,b}(w)\) when we consider the OPE between the \(G^-(z)\) and the second term of (4.5) at the coordinate w. See also Appendix D where the corresponding OPE is written in terms of the coset fields and Sect. 6 where the right hand side of this OPE is expressed in terms of the known currents explicitly.

In Sect. 7, we will calculate the OPE between this singlet spin-2 current and itself.

4.2 Construction of second and third components

From the Thielemans package [80] with [81], we can check that the OPE between \(G^+(z)\) and \(W^{-(2),0}(w)\) does not contain the singular terms except the first order pole for fixed \(N=5, M=4\) values. It turns out that the first order pole of this OPE is proportional to \(G^{+(\frac{5}{2}),0}(w)\). Then we should determine the coefficient appearing in front of this spin-\(\frac{5}{2}\) current. As described before, we can focus on the particular nonderivative term of \(G^{+(\frac{5}{2}),0}(w)\). That is, the first term of (4.5). We can observe that the contribution from this term comes from the first three terms in \(W^{-(2),0}(w)\) of (4.7) and by collecting all the contributions we can obtain the final coefficient appearing in the spin-\(\frac{5}{2}\) current \(G^{+(\frac{5}{2}),0}(w)\) in the above OPE. This implies that the spin-\(\frac{5}{2}\) current \(G^{+(\frac{5}{2}),0}\) belongs to the second component of this \({{\mathcal {N}}}=2\) multiplet. See also Appendix B.

Similarly, we should also check whether the spin-\(\frac{5}{2}\) current \(G^{-(\frac{5}{2}),0}\) belongs to the third component of this \({{\mathcal {N}}}=2\) multiplet or not. In this case, we also observe that the OPE between \(G^-(z)\) and \(W^{-(2),0}(w)\) does not contain the singular terms except the first order pole for fixed \(N=5, M=4\) values. By considering the first three terms in \(W^{-(2),0}(w)\) of (4.7) and collecting all the contributions, the final coefficient appearing in the spin-\(\frac{5}{2}\) current \(G^{-(\frac{5}{2}),0}(w)\) in the above OPE can be fixed completely. Therefore, the spin-\(\frac{5}{2}\) current \(G^{-(\frac{5}{2}),0}\) belongs to the third component of this \({{\mathcal {N}}}=2\) multiplet.

Then we have the following currents obtained so far in this multiplet

$$\begin{aligned} (W^{-(2),0}, G^{+(\frac{5}{2}),0}, G^{-(\frac{5}{2}),0}, ?), \end{aligned}$$
(4.8)

with the coset field contents given in (4.7), (4.5) and (4.6). The last component of (4.8) will be described in next subsection and we expect that the corresponding generalization of (4.1) will appear and further checks will be given later.

4.3 Construction of last component

In this subsection, we would like to construct the unknown last component in (4.8). First of all, in the previous description of (4.7), we have obtained the following result

$$\begin{aligned} G^{-}(z) \, G^{+(\frac{5}{2}),0}(w)\Bigg |_{\frac{1}{(z-w)^2}} = W^{-(2),0}(w). \end{aligned}$$
(4.9)

According to the explanation of Appendix B, the last component of the \({{\mathcal {N}}}=2\) multiplet can be obtained from the next first order pole in the OPE between \(G^{-}(z)\) and \(G^{+(\frac{5}{2}),0}(w)\). After subtracting the descendant term associated with (4.9) in the first order pole, we arrive at the following relation

$$\begin{aligned} W^{+(3),0}(w)\equiv & {} G^{-}(z) \, G^{+(\frac{5}{2}),0}(w)\Bigg |_{\frac{1}{(z-w)}}- \frac{1}{4}\, \partial \, W^{-(2),0}(w). \nonumber \\ \end{aligned}$$
(4.10)

Then from the first order pole in the OPE between \(G^{-}(z)\) and \(G^{+(\frac{5}{2}),0}(w)\) with derivative terms (4.10), we eventually obtain the following singlet spin-3 current as follows:

$$\begin{aligned} W^{+(3),0}= & {} \frac{(k^2-4)(k+M+N)(3k+2M+2N)}{k M (k+2M)} \, b_1 \,\nonumber \\&\times \Bigg \{ - 3 \Bigg [ t^{\alpha }_{\sigma \bar{\sigma }}\,\delta _{j {\bar{i}}} \, J^{(\bar{\sigma } j)} \, J^{\alpha } \, J^{(\sigma {\bar{i}})}\nonumber \\&- t^{\alpha }_{\rho \bar{\nu }} \, \delta _{m {\bar{m}}}\, t^{\alpha }_{\sigma \bar{\sigma }}\, \delta _{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)}\, (( \psi ^{(\rho {\bar{m}})}\, J^{(\bar{\nu } m)})\, J^{(\sigma {\bar{i}})})\nonumber \\&+ \sqrt{\frac{M+N}{M N}}\, t^{\alpha }_{\sigma \bar{\sigma }}\, \delta _{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)}\, J^{\alpha }\, \psi ^{(\sigma {\bar{i}})}\, J^{u(1)} \nonumber \\&- (t^{\beta } \, t^{\alpha })_{\rho \bar{\sigma }}\, \delta _{j {\bar{i}}}\, J^{\alpha }\, J^{\beta }\, \psi ^{(\rho {\bar{i}})}\, \psi ^{(\bar{\sigma } j)}\nonumber \\&+ t^a_{i {\bar{k}}}\, t^{\alpha }_{\sigma \bar{\sigma }} \, J^{\alpha }\, J^a \, \psi ^{(\sigma {\bar{k}})}\, \psi ^{(\bar{\sigma } i)} \nonumber \\&- k \, t^{\alpha }_{\sigma \bar{\sigma }} \,\delta _{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)}\, J^{\alpha }\, \partial \, \psi ^{(\sigma {\bar{i}})} \Bigg ] \nonumber \\&- \frac{3}{(k+M)} \, (k+N) \,\nonumber \\&\times \Bigg [ \frac{1}{2}\, (-N \, J^a \, \partial \, J^a + k \, J^a \, \partial \, J_f^a)\nonumber \\&+ G^{-,a}\, G^{+,a}+J^a \, W^{+(2),a} + i \, f^{a b c}\, J^a \, J^b J_f^c \Bigg ]\nonumber \\&- \frac{3}{k}\, \sqrt{\frac{M+N}{M N}} \, (k+N) \Bigg [\sqrt{\frac{M+N}{M N}}\, G^- \, G^+\nonumber \\&-\frac{1}{2}\, (k+M+N)\, J^{u(1)}\, \partial \, K \nonumber \\&+ (k+M+N)\, J^{u(1)}\, T -\frac{1}{2}\, J^{u(1)}\, (J^a+J_f^a)^2 \Bigg ] \nonumber \\&+ 3 \, (k+N) \, \Bigg [ \delta _{\rho \bar{\sigma }}\, \delta _{j {\bar{i}}}\, J^{(\bar{\sigma } j)}\, \partial \, J^{(\rho {\bar{i}})} \nonumber \\&+ \sqrt{\frac{M+N}{M N}}\, \delta _{\rho \bar{\sigma }}\, \delta _{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)}\, \partial \,( \psi ^{(\rho {\bar{i}})} \, J^{u(1)}) \nonumber \\&+ t^{\alpha }_{\rho \bar{\sigma }}\, \delta _{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)} \, \partial \, (\psi ^{(\rho {\bar{i}})} \, J^{\alpha }) \nonumber \\&-t^a_{i {\bar{k}}}\, \delta ^{i {\bar{i}}}\, \delta _{\rho \bar{\sigma }}\, \delta _{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)} \, \partial \, (\psi ^{(\rho {\bar{k}})} \, J^{a}) \nonumber \\&- k \,\delta _{\rho \bar{\sigma }}\, \delta _{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)} \, \partial ^2 \, \psi ^{(\rho {\bar{i}})} \Bigg ] \nonumber \\&- \frac{(k^2-1)(2k+M+N)}{k(k+M)} \, \nonumber \\&\times \Bigg [ -\frac{1}{2}\, (k+M+N)\, \partial ^2 \, K\nonumber \\&+(k+M+N)\, \partial \, T \nonumber \\&- \frac{1}{2}\, \partial \, (J^a +J_f^a)^2 \Bigg ] \Bigg \}- \frac{1}{4}\, \partial \, W^{-(2),0}. \end{aligned}$$
(4.11)

We do not simplify this expression further because there are not too many common terms. The second term can be further simplified by using the rearrangement lemma in [78]. Except the last term of (4.11), we can read off the five contributions denoted by each two brackets inside of curly bracket from (4.5). Note that the first term of (4.11) originates from the \(b_6\) term of (4.1).Footnote 22 We can understand this feature from the OPE between \(G^{-}(z)\) and the first term of \(G^{+(\frac{5}{2}),0}(w)\) where the OPE between the former and the spin-\(\frac{1}{2}\) operator provides the spin-1 current transforming as \(({\overline{\mathbf{N}}},\mathbf{M})\). In this sense, the singlet spin-3 current (4.11) is a generalization of the spin-3 current (4.1) in the \({{\mathcal {N}}}=2\) supersymmetric coset model. As mentioned before, some OPEs in Appendix D (or in Sect. 6) can be used.

Then we have the following currents of this multiplet we are considering in this section

$$\begin{aligned} (W^{-(2),0}, G^{+(\frac{5}{2}),0}, G^{-(\frac{5}{2}),0}, W^{+(3),0}). \end{aligned}$$
(4.12)

They also satisfy the regular conditions as in (4.3). It would be interesting to construct the lowest singlet spin-2 current from the beginning directly without using the information of the spin-3 current in the bosonic coset model and by collecting all the possible composite singlet spin-2 operators with arbitrary coefficients. The nontrivial part in this direction is how to fix these coefficients which will depend on the three parameters kN and M explicitly.

In next subsection, in order to check that this multiplet (4.12) is right \({{\mathcal {N}}}=2\) multiplet, other OPEs with the generators of \({{\mathcal {N}}}=2\) superconformal algebra are described.Footnote 23

4.4 The OPEs with the currents of \({{\mathcal {N}}}=2\) superconformal algebra

The OPEs between the spin-1 current of (2.9) and the currents of (4.12), by realizing the corresponding OPEs for fixed N and M, can be summarized by

$$\begin{aligned}&K(z) \, W^{-(2),0}(w) = \frac{1}{(z-w)^2}\, \Bigg [ \frac{2 (k^2-1) (k^2-4) }{k^2 M (k+M) (k+2 M) } \times (k+M+N)^2 (2 k+M+N) (3 k+2 M+2 N)\, b_1 \Bigg ] \,\nonumber \\&\quad K(w) + \cdots , K(z) \, G^{\pm (\frac{5}{2}),0}(w) = \mp \frac{1}{(z-w)^2} \, \Bigg [ \frac{ (k^2-1) (k^2-4)}{k^2 M (k+M) (k+2 M)} \nonumber \\&\quad \times (k+M+N) (2 k+M+N) (3 k+2 M+2 N) \, b_1 \Bigg ] \, G^{\pm }(w) \nonumber \\&\quad \pm \frac{1}{(z-w)} \, G^{\pm (\frac{5}{2}),0}(w) + \cdots , K(z) \, W^{+(3),0}(w) = \frac{1}{(z-w)^2}\, \Bigg [ -\, W^{-(2),0} \nonumber \\&\quad - \frac{ (k^2-1) (k^2-4) (k+M+N)^2 (2 k+M+N) (3 k+2 M+2 N)}{ k^2 M (k+M) (k+2 M)} \, b_1 \, \nonumber \\&\quad \times \Big ( T-\frac{1}{2(k+M+N)}\, (J^a +J_f^a)^2 \Big ) \Bigg ](w) + \cdots . \end{aligned}$$
(4.13)

Note that in the last OPE of (4.13), the combination of stress energy tensor with \((J^a+J_f^a)^2\) term is exactly the same as the one in the OPE between the supersymmetry generators in Appendix A. Compared with the ones in Appendix B, there are additional terms in the right hand sides of the OPEs. Although we can check all the relevant terms in the right hand sides, the structure constants appearing in the composite operators of the right hand sides in (4.13) can be determined by focusing on the particular operators as before.

For example, in the last OPE of (4.13), we can focus on the \(J^{\alpha }\, J^{\alpha }\) term in the second order pole, which determines the coefficient of \(W^{-(2),0}\) because we do not see this particular term in the remaining two terms. After that by considering the \(J^a \, J_f^a\) term, which will appear in the first and the last terms of the second order pole, we can fix the coefficient of \((J^a+J_f^a)^2\) term because the coefficient of the first term is already known from the previous analysis. Finally, from the \(J^a \, J^a\) term in the second order pole, which will appear in the second and the last terms, the coefficient appearing in the stress energy tensor (the second term) can be obtained because the coefficient of the last terms is known.

Next we summarize the following OPEs between the spin-\(\frac{3}{2}\) currents of the \({{\mathcal {N}}}=2\) superconformal algebra and the currents of \({{\mathcal {N}}}=2\) multiplet in this section

$$\begin{aligned}&G^{\pm }(z) \, W^{-(2),0}(w) = \frac{1}{(z-w)}\, 2(k+M+N) \, G^{\pm (\frac{5}{2}),0}(w) + \cdots , \nonumber \\&G^{\pm }(z) \, G^{\pm (\frac{5}{2}),0}(w) = 0 + \cdots , G^{\pm }(z) \, G^{\mp (\frac{5}{2}),0}(w) = \nonumber \\&\quad \pm \frac{1}{(z-w)^3} \, \frac{ (k^2-1) (k^2-4) (k+M+N)^2 (2 k+M+N) (3 k+2 M+2 N)}{k^2 M (k+M) (k+2 M)} \, b_1\, K(w)\nonumber \\&\quad + \frac{1}{(z-w)^2}\, W^{-(2),0}(w) + \frac{1}{(z-w)}\, \Bigg [ \frac{1}{4}\, \partial \, W^{-(2),0} \mp W^{+(3),0} \Bigg ](w) + \cdots , \nonumber \\&G^{\pm }(z) \, W^{+(3),0}(w) =\mp \frac{1}{(z-w)^3} \frac{ (k^2-1) (k^2-4) (k+M+N)^2 (2 k+M+N) (3 k+2 M+2 N)}{ k^2 M (k+M) (k+2 M)} \, b_1 \, G^{\pm }(w)\nonumber \\&\quad \pm \frac{1}{(z-w)^2} \, \frac{5}{2} (k+M+N) \, \, G^{\pm (\frac{5}{2}),0}(w)\pm \frac{1}{(z-w)} \, \frac{1}{5}\, \frac{5}{2} (k+M+N) \, \partial \, G^{\pm (\frac{5}{2}),0}(w) + \cdots . \end{aligned}$$
(4.14)

As before, there are additional higher order terms in the right hand sides of these OPEs when we compare with the standard \({{\mathcal {N}}}=2\) primary conditions described in Appendix B. In the third OPE of (4.14), we can also obtain the singlet spin-3 current by using the upper sign. The lower sign was used in previous analysis. In the last OPE of (4.14), we can fix the structure constant of the second order pole (where there are no descendant terms) by focusing on the first terms in (4.5) or (4.6). In other words, in the computation of the left hand side of these OPEs, after we select the possible terms from \(W^{+(3),0}\) (4.11) for fixed (NM) in the Thielemans package and add all the contributions from those terms for generic (NM), we compute them manually and obtain kN and M dependence explicitly. It turns out that the first order pole is given by the descendant terms only.

Finally, we can compute the OPEs with stress energy tensor. It turns out that

$$\begin{aligned}&T(z) \, W^{-(2),0}(w) = \frac{1}{(z-w)^2}\, 2\, W^{-(2),0}(w)+ \frac{1}{(z-w)}\, \partial \, W^{-(2),0}(w) + \cdots , \nonumber \\&T(z) \, G^{\pm (\frac{5}{2}),0}(w) = \frac{1}{(z-w)^2}\, \frac{5}{2} \, G^{\pm (\frac{5}{2}),0}(w) + \frac{1}{(z-w)}\, \partial \, G^{\pm (\frac{5}{2}),0}(w) + \cdots , \nonumber \\&T(z) \, W^{+(3),0}(w) = - \frac{1}{(z-w)^4} \, \frac{3 (k^2-1) (k^2-4) (3 k+2 M+2 N) ( k+M+N)^2 (2 k+M+N)}{ 2 k^2 M (k+M) (k+2 M)} \, b_1 \, K(w)\nonumber \\&\quad + \frac{1}{(z-w)^2}\, 3 \, W^{+(3),0}(w) + \frac{1}{(z-w)}\, \partial \, W^{+(3),0}(w) +\cdots . \end{aligned}$$
(4.15)

The singlet spin-3 current \(W^{+(3),0}\) in (4.15) is a quasi primary current under the stress energy tensor. If we add the extra term to the \(W^{+(3),0}\),

$$\begin{aligned} W^{+(3),0}+ \frac{3}{4}\, K\, W^{-(2),0}, \end{aligned}$$
(4.16)

then we can remove the fourth order pole in the last OPE of (4.15) with stress energy tensor because the OPE between K(z) and \(W^{-(2),0}(w)\) has only a second order pole from (4.13). Then (4.16) becomes a primary field. We can easily obtain the OPEs between the currents of \({{\mathcal {N}}}=2\) superconformal algebra and the composite operator \( K\, W^{-(2),0}\) and then we will obtain the corresponding OPEs containing (4.16).Footnote 24

Therefore, the singlet currents are given by (4.7), (4.5), (4.6) and (4.11) in the coset realization and they satisfy (4.13), (4.14), and (4.15) under the action of the generators of \({{\mathcal {N}}}=2\) superconformal algebra. The right hand sides of these OPEs contain the currents of \({{\mathcal {N}}}=2\) multiplet, the composite spin-2 operator \((J^a+J_f^a)^2\) nonlinearly as well as the currents of \({{\mathcal {N}}}=2\) superconformal algebra. We will describe some features on the OPEs between this \({{\mathcal {N}}}=2\) multiplet and itself in Sect. 7.

5 The nonsinglet multiplet of spins \((2,\frac{5}{2},\frac{5}{2},3)\)

We continue to construct the \({{\mathcal {N}}}=2\) multiplet which has SU(M) index a. From the experience of [12], we realize that the OPE between the spin-2 current \(K^a(z)\) and itself \(K^b(w)\) produces the spin-3 current \(P^c(w)\). We can start with either this spin-2 current plus other terms as a candidate for the lowest component or this spin-3 current plus other terms as a candidate for the last component of the \({{\mathcal {N}}}=2\) multiplet. Let us take the latter.

5.1 Construction of lowest component

Let us consider the spin-3 current found in bosonic coset model of [3]

$$\begin{aligned} P^a= & {} a_1 \, t^{\alpha }_{\rho \bar{\sigma }} \, t^a_{j{\bar{i}}} \, J^{\alpha } J^{(\rho {\bar{i}})} \, J^{(\bar{\sigma } j)} \nonumber \\&+ a_2 \, J^{\alpha } \, J^{\alpha } \, J^a+a_3 \, J^b \, J^b \, J^a +a_4 \, J^a \, J^{u(1)} \, J^{u(1)} \nonumber \\&+ a_5 \, d^{abc} \, \delta _{\rho \bar{\rho }} \, t^b_{j{\bar{i}}} \, J^c (J^{(\rho {\bar{i}})} J^{(\bar{\rho } j)} + J^{(\bar{\rho } j)} J^{(\rho {\bar{i}})}) \nonumber \\&+ a_7 \, \delta _{\rho \bar{\sigma }} \, t^a_{j{\bar{i}}}\, J^{u(1)} (J^{(\rho {\bar{i}})} J^{(\bar{\sigma } j)} + J^{(\bar{\sigma } j)} J^{(\rho {\bar{i}})}) \nonumber \\&+ a_8 \, \delta _{\rho \bar{\sigma }} \, \delta _{j{\bar{i}}}\, J^a \, (J^{(\rho {\bar{i}})} \, J^{(\bar{\sigma } j)} + J^{(\bar{\sigma } j)} \, J^{(\rho {\bar{i}})})\nonumber \\&+ a_9 \, d^{abc} \, J^b \, J^c \, J^{u(1)} + a_{11} \, i \, f^{abc} \, \partial \, J^b \, J^c \nonumber \\&+ a_{12} \, \delta _{\rho \bar{\sigma }} \, t^a_{j{\bar{i}}} \, \partial \, J^{(\rho {\bar{i}})} \, J^{(\bar{\sigma } j)} \nonumber \\&+ a_{13} \, \delta _{\rho \bar{\sigma }} \, t^a_{j{\bar{i}}} \, \partial \, J^{(\bar{\sigma } j)} \, J^{(\rho {\bar{i}})}(z) +a_{16} \, \partial ^2 \, J^a \nonumber \\&+ a_{17} \, 6 \, \text{ Tr } \, (t^{a} \, t^{\left( b \right. } \, t^c \, t^{\left. d \right) }) \, J^b \, J^c \, J^d. \end{aligned}$$
(5.1)

Here the relative coefficients depend on kN and M as follows:

$$\begin{aligned} a_2= & {} \frac{a_1}{k}, \qquad a_3= \frac{ N (k+2 N)}{k (k+M) (3 k+2 M)} \, a_1, \quad \nonumber \\ a_4= & {} \frac{ (k+2 N) (M+N)}{k^2 M} \, a_1, \nonumber \\ a_5= & {} -\frac{ (k+2 N)}{4 (k+M)} \, a_1, \quad a_7 = \frac{(k+2 N)}{2 k} \, \sqrt{\frac{M+N}{M N}} \, a_1, \qquad \nonumber \\ a_8= & {} -\frac{ (k+2 N)}{2 k M} \, a_1, \nonumber \\ a_9= & {} - \frac{(k+2 N)N}{2 k (k+M)} \, \sqrt{\frac{ (M+N)}{M N}} \, a_1, \qquad \nonumber \\ a_{11}= & {} \frac{ (k^2-8) N (k+2 N)}{4 k (k+M) (3 k+2 M)} \, a_1, \nonumber \\ a_{12}= & {} -\frac{1}{2} \, (k+2 N) \, a_1, \qquad \nonumber \\ a_{13}= & {} \frac{1}{2} \, (k+2 N) \, a_1, \nonumber \\ a_{16}= & {} -\frac{ N (6 k^3{+}9 k^2 M{+}4 k M^2{+}12 M) (k{+}2 N)}{12 k (k{+}M) (3 k{+}2 M)} \, a_1, \nonumber \qquad \\ a_{17}= & {} \frac{ N (k+2 N)}{6 (k+M) (3 k+2 M)} a_1. \end{aligned}$$
(5.2)

First of all this nonsinglet spin-3 current satisfies

$$\begin{aligned}&P^{a}(z) \, ( J^{u(1)} + \sqrt{\frac{M+N}{M N}}\, J^{u(1)}_f )(w) 0 + \cdots , \nonumber \\&\quad =P^{a}(z) \, (J^{\alpha } + J_f^{\alpha })(w) =0 +\cdots . \end{aligned}$$
(5.3)

That is, the regular conditions in the bosonic coset model are valid in the \({{\mathcal {N}}}=2\) supersymmetric coset model because the additional terms in (5.3) come from the complex fermions which commute with the spin-3 currents made by bosonic operators purely.

Let us describe the OPEs between the supersymmetry generators of the \({{\mathcal {N}}}=2\) superconformal algebra and the nonsinglet spin-3 current of the bosonic coset model. We use the OPEs between the spin-1 currents and the spin-3 current described in Appendix C. It turns out that with the help of (5.1) and (5.2)

$$\begin{aligned}&G^{\pm }(z) \, P^a(w) \nonumber \\&\quad = \mp \frac{1}{(z{-}w)^3} \, \frac{ (k^2{-}1) (k^2{-}4) (2 k{+}M{+}N) (3 k{+}2 M{+}2 N)}{2k^2 (k{+}M) (3k{+}2 M)} \, \nonumber \\&\qquad \times b_1 \, G^{\pm ,a}(w)\nonumber \\&\quad \pm \frac{1}{(z-w)^2} \, {\hat{V}}^{\pm (\frac{5}{2}),a}(w) + {{\mathcal {O}}} \left( \frac{1}{(z-w)}\right) . \end{aligned}$$
(5.4)

The point here is that the second order pole of (5.4) possesses exactly the first, second and fifth terms of \(V^{+(\frac{5}{2}),a}\) (3.10) or \(V^{-(\frac{5}{2}),a}\) (3.12) with same relative coefficients. Then this implies that we can express the above second order pole of (5.4) in terms of previous known operators. We can absorb those three unwanted terms by using \(V^{\pm (\frac{5}{2}),a}\) and recombine the remaining terms with the known operators appearing in the second order pole.

Then we obtain the following spin-\(\frac{5}{2}\) currents which are not new because they are previously known expressions

$$\begin{aligned} {\hat{V}}^{\pm (\frac{5}{2}),a}= & {} \frac{(k^2-4)(3k+2M+2N)}{2k(k+M)} \, a_1 \, \Bigg [ \frac{1}{2}\, V^{\pm (\frac{5}{2}),a} \nonumber \\&\pm \frac{(2k+M+N)}{k (3k+2M)} \, J^a \, G^{\pm } \nonumber \\&+ \frac{(k^2-1) M (2k +M+N)}{3k(2k+M)(3k+2M)} \, \partial \, G^{\pm ,a} \nonumber \\&+ \frac{(2k+M+N)}{2(3k+2M)} \, i \, f^{a b c} \, J^b\, G^{\pm ,c}\nonumber \\&\mp \frac{M(2k+M+N)}{2(2k+M)(3k+2M)} \, d^{a b c} \, J^b\, G^{\pm ,c} \Bigg ], \end{aligned}$$
(5.5)

where \(V^{\pm (\frac{5}{2}),a} \) are given by (3.10) and (3.12). The last four terms in \({\hat{V}}^{\pm ,(\frac{5}{2}),a}\) (5.5) are primary operators under the stress energy tensor T (2.5) and they can be seen from (3.10) and (3.12).

As done in previous section, the second order pole in the OPEs of \(G^{\mp }(z) \, {\hat{V}}^{\pm ,(\frac{5}{2}),a}(w)\) leads to the following primary nonsinglet spin-2 current

$$\begin{aligned} G^{\mp }(z) \, {\hat{V}}^{\pm ,(\frac{5}{2}),a}(w)\Bigg |_{\frac{1}{(z-w)^2}}= & {} \pm W^{-(2),a }(w), \end{aligned}$$
(5.6)

where the lowest nonsinglet spin-2 current can be written as

$$\begin{aligned} W^{-(2),a }= & {} \frac{(k^2-4)(3 k+2 M+2 N) }{ k (k+M) (3 k+2 M)}\, a_1 \, \nonumber \\&\times \Bigg [ \frac{1}{4} \, (2 k+M) (3 k+M+3 N) \, K^a \nonumber \\&+ \frac{1}{k} \, (k^2-1) (2 k+M+N) \, \Bigg ( W^{+(2),a} \nonumber \\&+ \frac{1}{ 2 } \, i \, f^{a b c} \, J^b \, J_f^c \Bigg ) \Bigg ]. \end{aligned}$$
(5.7)

Here we have the relations \(W^{+(2),a}\) (3.1) and \(K^a\) (3.2) which are given by the coset fields. Note that this is a new quantity which cannot be written in terms of the previous known currents obtained so far. The spin-2 current \(K^a\) obtained in the bosonic coset model is not an element of any \({{\mathcal {N}}}=2\) multiplet. When we compute the OPEs between the supersymmetry generators and the fourth or fifth terms of (5.5) in the computation of (5.6), we should use some property appearing in Appendix D or Sect. 6 together with the footnote 22. Note that this (5.7) is a new current in the sense that although it contains both the known current \( W^{+(2),a}\) (3.1) and known operator \(i \, f^{a b c} \, J^b \, J_f^c\) which is primary, it also contains the spin-2 current \(K^a\) (3.2).Footnote 25 As soon as the spin-2 current \(K^a\) appears in any OPEs we are considering, then we should replace it with other two currents \(W^{\pm (2),a}\) and other terms by using the relation (5.7).

Therefore, we have obtained the nonsinglet spin-2 current in (5.7) by acting the supersymmetry generators of the \({{\mathcal {N}}}=2\) superconformal algebra on the spin-3 current successively. In next subsections, we would like to construct its superpartners explicitly.

5.2 Construction of second and third components

Because we have found the lowest component of the \({{\mathcal {N}}}=2\) multiplet we consider in this section, it is straightforward to determine the other three components. For given the lowest component in (5.7), we calculate the following OPEs

$$\begin{aligned} G^{\pm }(z) \, W^{-(2),a }(w)= & {} \frac{1}{(z-w)}\, G^{\pm (\frac{5}{2}),a}(w) +\cdots . \end{aligned}$$
(5.8)

It is a good sign for the existence of the pole one term by realizing Appendix B. When we compute the above OPE for the first term of (5.7), we can use the previous relations in (3.9) and (3.11). For the second term of (5.7), we can use the relations (3.5) and (3.6). For the third term of (5.7), we obtain the composite operators.

After simplifying further, the first order pole provides the following primary nonsinglet spin-\(\frac{5}{2}\) currents

$$\begin{aligned} G^{\pm (\frac{5}{2}),a}= & {} \frac{ (k^2-4)(3 k+2M+2N)}{ k (k+M) (3 k+2M)} \, a_1\nonumber \\&\times \Bigg [ \frac{1}{4} \, (2k+M)(3k+M+3N) \, V^{\pm (\frac{5}{2}),a} \nonumber \\&- \frac{1}{2k}\, (k^2-1)(2k+M+N) \, i\, f^{a b c } \, G^{\pm ,b}\, J_f^c \nonumber \\&+ \frac{1}{2k}\, (k^2-1)(2k+M+N) \, i\, f^{a b c } \, J^{b}\, G^{\pm ,c} \nonumber \\&- \frac{1}{6 k} \, (k^2-1) \, M \, (2k+M+N) \, \partial G^{\pm ,a} \Bigg ]. \end{aligned}$$
(5.9)

Due to the presence of the third term of (5.7), we have the second term of (5.9) which does not appear in (5.5). We can check that the three terms of (5.9) except the first one are given by the known operators and are primary under the stress energy tensor. Because the first term in (5.9) cannot be written in terms of the known currents, we have the new primary spin-\(\frac{5}{2}\) currents. Note that in the OPE of (5.8), there are no higher order pole terms which can be checked for fixed N and M also.

5.3 Construction of last component

As done in previous section, we construct the last component of this multiplet. We can compute the following OPE

$$\begin{aligned} G^{-}(z) \, G^{+(\frac{5}{2}),a}(w)\Bigg |_{\frac{1}{(z-w)^2}} = (2k+M+2N)\, W^{-(2),a}(w). \nonumber \\ \end{aligned}$$
(5.10)

The structure constant of (5.10) can be determined by keeping track of the particular term in the nonsinglet spin-2 current \(W^{-(2),a}(w)\).

Let us introduce the final last component which is given by

$$\begin{aligned} W^{+(3),a}\equiv & {} G^{-}(z) \, G^{+(\frac{5}{2}),a}(w)\Bigg |_{\frac{1}{(z-w)}}\nonumber \\&- \frac{1}{4}\, \partial \, \Bigg (G^{-}(z) \, G^{+(\frac{5}{2}),a}(w)\Bigg |_{\frac{1}{(z-w)^2}}\Bigg ) \nonumber \\= & {} \frac{ (k^2-4)(3 k+2M+2N)}{ k (k+M) (3 k+2M)} \, a_1 \nonumber \\&\times \left\{ \frac{1}{4} \, (2k+M)(3k+M+3N) \, \right. \nonumber \\&\times \Bigg (- 2(k+N) \Bigg [ \delta _{\rho \sigma } \, t^a_{j {\bar{i}}} \, J^{(\bar{\sigma } j)}\, \partial \, J^{(\rho {\bar{i}})}\nonumber \\&- k \, \delta _{\rho \bar{\sigma }} \, t^a_{j {\bar{i}}} \, \psi ^{(\bar{\sigma } j)}\, \partial ^2 \psi ^{(\rho {\bar{i}})} \nonumber \\&+ \sqrt{\frac{M+N}{M N}}\, \delta _{\rho \sigma } \, t^a_{j {\bar{i}}} \, \psi ^{(\bar{\sigma } j)}\,\partial \, (\psi ^{(\rho {\bar{i}})}\, J^{u(1)})\nonumber \\&+ \delta _{\rho \bar{\sigma }} \, t^a_{j {\bar{i}}} \, t^{\alpha }_{\sigma \bar{\rho }} \, \delta ^{\rho \bar{\rho }}\, \psi ^{(\bar{\sigma } j)} \, \partial \, (\psi ^{(\sigma {\bar{i}})} \, J^{\alpha })\nonumber \\&- \delta _{\rho \bar{\sigma }} \, (t^a \, t^b)_{j {\bar{k}}} \, \psi ^{(\bar{\sigma } j)} \, \partial \, (\psi ^{(\rho {\bar{k}})}\, J^b) \Bigg ]\nonumber \\&- \frac{2}{k}\, (k+N)\, \sqrt{\frac{M+N}{M N}}\, \Bigg [ \sqrt{\frac{M+N}{M N}}\, G^- \, G^{+,a}\nonumber \\&-\frac{N}{2}\, J^{u(1)}\, \partial \, J^a +\frac{k}{2} \, J^{u(1)}\, \partial \, J_f^a\nonumber \\&+ J^{u(1)}\, W^{+(2),a} + i \, f^{a b c}\, J^{u(1)}\, J^b \, J_f^c \Bigg ] \nonumber \\&- \frac{2}{k M}\, (k+M+N) \, \Bigg [ G^{-,a} \, G^+ \nonumber \\&-\frac{1}{2} \, (k+M+N) \, J^a \, \partial \, K + (k+M+N)\, J^a \, T \nonumber \\&- \frac{1}{2}\, J^a \, (J^b+J_f^b)^2 \Bigg ] - \Bigg [ i \, f^{a b c} \, G^{-,b}\, G^{+,c}\nonumber \\&+ \frac{1}{2} (-N \, J^b \, \partial \, J^c + k \, J^b \, \partial \, J_f^c) \, i\, f^{a b c} \nonumber \\&+ i \, f^{a b c}\, J^b \, W^{+(2),c}- f^{a b c}\, f^{c d e} \, J^b \, J^d \,J^e_f\Bigg ] \nonumber \\&+ \frac{(2k+M+2N)}{(2k+M)} \Bigg [ d^{a b c}\, G^{-,b} \, G^{+,c}\nonumber \\&-\frac{N}{2} \, d^{a b c} \, J^b \, \partial \, J^c \nonumber \\&+ \frac{k}{2}\, d^{a b c} \, J^b \, \partial \, J_f^c + d^{a b c}\, J^b\, W^{+(2),c} \nonumber \\ \end{aligned}$$
$$\begin{aligned}&+ d^{a b c} \, i\, f^{c d e} \, J^b \, J^d \, J^e_f \Bigg ] \nonumber \\&+ 2 \Bigg [ t^{\alpha }_{\rho \bar{\sigma }} \, t^a_{j {\bar{i}}}\, J^{(\bar{\sigma } j)} \, J^{\alpha }\, J^{(\rho {\bar{i}})} \nonumber \\&- t^{\alpha }_{\rho \bar{\sigma }} \, t^a_{j{\bar{i}}}\, t^{\alpha }_{\rho _1 \bar{\nu }} \, \delta _{m {\bar{m}}} \, \psi ^{(\bar{\sigma } j)} ((\psi ^{(\rho _1 {\bar{m}})} \, J^{(\bar{\nu } m)}) J^{(\rho {\bar{i}})})\nonumber \\&- k \, t^{\alpha }_{\rho \bar{\sigma }} \,t^a_{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)} \, J^{\alpha }\, \partial \, \psi ^{(\rho {\bar{i}})}\nonumber \\&+ \sqrt{\frac{M+N}{M N}}\, t^{\alpha }_{\rho \bar{\sigma }} \,t^a_{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)} \, J^{\alpha }\,\psi ^{(\rho {\bar{i}})}\, J^{u(1)}\ \nonumber \\&+ (t^{\beta } \, t^{\alpha })_{\sigma \bar{\sigma }}\, t^a_{j {\bar{i}}}\, \psi ^{(\bar{\sigma } j)} \, J^{\alpha }\,\psi ^{(\sigma {\bar{i}})}\, J^{\beta } \nonumber \\&- t^{\alpha }_{\rho \bar{\sigma }}\, (t^a \, t^b)_{j {\bar{k}}}\, \psi ^{(\bar{\sigma } j)} \, J^{\alpha }\, \psi ^{(\rho {\bar{k}})}\, J^b\Bigg ] \nonumber \\&- \frac{2}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \Bigg [ -\frac{N}{2}\, \partial ^2 \, J^a\nonumber \\&+\frac{k}{2}\, \partial ^2 \, J_f^a + \partial \, W^{+(2),a} + i \, f^{a b c} \, \partial \, (J^b \, J_f^c) \Bigg ]\Bigg ) \nonumber \\&- \frac{1}{2k}\, (k^2-1)(2k+M+N) \, i \, f^{a b c}\, \nonumber \\&\times \Bigg ( -\frac{N}{2} \, \partial \, J^b \, J_f^c +\frac{k}{2}\, \partial \, J^b_f \, J_f^c + W^{+(2),b}\, J_f^c \nonumber \\&+ i \, f^{b c d} (( J^c \, J_f^d) \, J_f^c)+ G^{+,b} \, G^{-,c}\Bigg ) \nonumber \\&+ \frac{1}{2k}\, (k^2-1)(2k+M+N) \, \Bigg ( i \, f^{a b c} G^{-,b} G^{+,c} \nonumber \\&+ \frac{1}{2} (-N \, J^b \, \partial \, J^c + k \, J^b \, \partial \, J_f^c) \, i\, f^{a b c} \nonumber \\&+ i \, f^{a b c}\, J^b \, W^{+(2),c}- f^{a b c}\, f^{c d e} \, J^b \, J^d \,J^e_f \Bigg ) \nonumber \\&- \frac{1}{6 k} \, (k^2-1) \, M \, (2k+M+N) \, \Bigg ( -\frac{N}{2}\, \partial ^2 \, J^a\nonumber \\&\left. +\,\frac{k}{2}\, \partial ^2 \, J_f^a + \partial \, W^{+(2),a} + i \, f^{a b c} \, \partial \, (J^b \, J_f^c) \Bigg ) \right\} \nonumber \\&- \frac{1}{4}\,(2k+M+2N)\, \partial \, W^{-(2),a}. \end{aligned}$$
(5.11)

The first seventeen lines of (5.11) come from the spin-\(\frac{5}{2}\) current \(V^{+(\frac{5}{2}),a}\) consisting of seven independent terms in (3.10) and the remaining six lines come from the remaining three terms of (5.9). Then we can read off the corresponding OPEs between the spin-\(\frac{3}{2}\) current and the spin-\(\frac{5}{2}\) current by looking at the seven pairs of brackets inside the curly bracket. We observe that the \( t^{\alpha }_{\rho \bar{\sigma }} \, t^a_{j {\bar{i}}}\, J^{(\bar{\sigma } j)} \, J^{\alpha }\, J^{(\rho {\bar{i}})}\) term appearing inside of the sixth pair of bracket originates from the \(a_1\) term of (5.1) and therefore the above nonsinglet spin-3 current is a generalization of (5.1) in the \({{\mathcal {N}}}=2\) supersymmetric coset model we are describing in this paper. As before, in the OPE between \(G^{-}(z)\) and the sixth term of \(V^{+(\frac{5}{2}),a}(w)\), the OPE between \(G^-\) and the spin-\(\frac{1}{2}\) operator leads to the spin-1 current transforming as \(({\overline{\mathbf{N}}},\mathbf{M})\). By combining this with the two other spin-2 currents, we obtain the first term inside the sixth pair of brackets.

Then we are left with the following currents

$$\begin{aligned} (W^{-(2),a}, G^{+(\frac{5}{2}),a}, G^{-(\frac{5}{2}),a}, W^{+(3),a}). \end{aligned}$$
(5.12)

As described in the beginning of this section, it is an open problem to consider the nonsinglet spin-2 current \(K^a\) first and obtain the nonsinglet spin-3 current after acting the spin-\(\frac{3}{2}\) currents of the \({{\mathcal {N}}}=2\) superconformal algebra on \(K^a\) successively. Once we have obtained the nonsinglet spin-3 current, then it is straightforward to determine its superpartners step by step. We can check whether this procedure reproduces the above \({{\mathcal {N}}}=2\) multiplet in (5.12) or not.

In next subsections, further checks on the currents under the action of the currents of \({{\mathcal {N}}}=2\) superconformal algebra are given.

5.4 The OPEs with the currents of \({{\mathcal {N}}}=2\) superconformal algebra

Let us present the OPEs with the spin-1 current of the \({{\mathcal {N}}}=2\) superconformal algebra

$$\begin{aligned}&K(z) \, W^{-(2),a}(w) = \frac{1}{(z-w)^2} \, \frac{ (k^2-1) (k^2-4) (3 k+2 M+2 N) (2 k+M+N)}{ k^2 (k+M) (3 k+2 M)}\, a_1 \, \nonumber \\&\qquad \times \Bigg [ N \, J^a -k \, J_f^a \Bigg ](w) + \cdots , K(z) \, G^{\pm (\frac{5}{2}),a}(w) \nonumber \\&\quad = \mp \frac{1}{(z-w)^2}\, \frac{ (k^2-1) (k^2-4) (k+N) (2 k+M+N) (3 k+2 M+2 N)}{ k^2 (k+M) (3 k+2 M)} \, a_1 \, G^{\pm ,a}(w) \pm \frac{1}{(z-w)}\, G^{\pm (\frac{5}{2}),a}(w) +\cdots , \nonumber \\&K(z) \, W^{+(3),a}(w) = \frac{1}{(z-w)^3} \Bigg [ \frac{ (k^2-1) (k^2-4) M (2 k+M+N) (3 k+2 M+2 N)}{ 2 k^2 (k+M) (3 k+2 M)} a_1\, ( N \, J^a - k \, J_f^a ) \Bigg ](w)\nonumber \\&\qquad + \frac{1}{(z-w)^2} \Bigg [ -\frac{1}{2}\, \partial \, (\text{ pole-3})-(2k+M+2N) \, W^{-(2),a}-\frac{ (k^2-1) (k^2-4) (k+N) (2 k+M+N) (3 k+2 M+2 N)}{ k^2 (k+M) (3 k+2 M)}\nonumber \\&\qquad \times a_1 \, i \, f^{a b c } \, J^b \, J_f^c -\frac{ (k^2-1) (k^2-4) (k+N) (2 k+M+N) (3 k+2 M+2 N)}{ k^2 (k+M) (3 k+2 M)} a_1\, W^{+2(a)}\Bigg ](w) + \cdots . \end{aligned}$$
(5.13)

As before, the easy way to determine the various structure constants appearing in the right hand sides of the above OPEs is to figure out how the various composite operators arise from which parts of each current. For the last OPE of (5.13), it is rather nontrivial to keep track of the contributions from \( t^{\alpha }_{\rho \bar{\sigma }} \, t^a_{j{\bar{i}}}\, t^{\alpha }_{\rho _1 \bar{\nu }} \, \delta _{m {\bar{m}}} \, \psi ^{(\bar{\sigma } j)} ((\psi ^{(\rho _1 {\bar{m}})} \, J^{(\bar{\nu } m)}) J^{(\rho {\bar{i}})})\) appearing in the sixth pair of brackets of the nonsinglet spin-3 current in (5.11) because of nontrivial normal ordering of the currents. Moreover, the presence of \(W^{+2(a)}\) (which belongs to other \({{\mathcal {N}}}=2\) multiplet) in the second order pole can be understood from the fact that the above spin-3 current contains this current in various places of (5.11). In doing this, we also need the OPEs between \(J_f^a(z)\) and \(G^{\pm ,b}(w)\) which will be described in detail later.

Let us describe other OPEs as follows:

$$\begin{aligned}&G^{+}(z) \, W^{-(2),a}(w) = \frac{1}{(z-w)}\, G^{+(\frac{5}{2}),a}(w) + \cdots , G^{+}(z) \, G^{+(\frac{5}{2}),a}(w) = 0 + \cdots , G^{+}(z) \, G^{-(\frac{5}{2}),a}(w) \nonumber \\&\quad =\frac{1}{(z-w)^3} \, \frac{ (k^2-1) (k^2-4) (k+M+N) (2 k+M+N) (3 k+2 M+2 N)}{ k^2 (k+M) (3 k+2 M)}\, \Bigg [ N \, J^a - k \, J_f^a \Bigg ](w) \nonumber \\&\qquad + \frac{1}{(z-w)^2} \, (2k+M+2N)\, W^{-(2),a}(w) +\frac{1}{(z-w)} \, \Bigg [\frac{1}{4} \, \partial \, \text{(pole-2) } + i\, f^{a b c} \, J^b \, W^{-(2),c} + i \, f^{a b c} \, J_f^b \, W^{-(2),c} \nonumber \\&\qquad + \frac{1}{4} \, (2 k+3 M+2 N)\, \partial \, W^{-(2),a} - W^{+(3),a} \Bigg ](w) + \cdots , \nonumber \\&G^{+}(z) \, W^{+(3),a}(w) = -\frac{1}{(z-w)^3}\, \frac{(k^2-1) (k^2-4) (k+N) (k+M+N) (2 k+M+N) (3 k+2 M+2 N)}{k^2 (k+M) (3 k+2 M)} \, a_1\, \times \, G^{+,a}(w) \nonumber \\&\qquad + \frac{1}{(z-w)^2} \,\frac{1}{4} (10 k+7 M+10 N)\, G^{+(\frac{5}{2}),a} + \frac{1}{(z-w)}\, \nonumber \\&\Bigg [ \frac{1}{5}\, \partial \, \text{(pole-2) } + i \, f^{a b c}\, J^b \, G^{+(\frac{5}{2}),c} + i \, f^{a b c}\, J_f^b \, G^{+(\frac{5}{2}),c} + \frac{2 M}{5}\, \partial \, G^{+(\frac{5}{2}),a} \Bigg ](w) + \cdots . \end{aligned}$$
(5.14)

In the third OPE of (5.14), it is rather nontrivial to observe the first order pole explicitly. We should write down all the possible terms of spin-3 with free index a. It turns out that the free index appears in the f symbols and the currents themselves. This first order pole is another way to determine the nonsinglet spin-3 current. For the last OPE of (5.14), we can fix the coefficient of the last term appearing in the first order pole by using the property of quasi primary condition. That is, after calculating the third order pole in the OPEs between the stress energy tensor and the second and third terms of the first order pole and obtaining \(-2M \, G^{+(\frac{5}{2}),a}(w)\), we can fix the structure constant of \(\partial \, G^{+(\frac{5}{2}),a}(w)\) as \(\frac{2M}{5}\) because we can check that the third order pole in the OPE between the stress energy tensor and this derivative term leads to \(5 \, G^{+(\frac{5}{2}),a}(w)\). Then the last three terms appearing in the first order pole of the last OPE satisfy the quasi primary condition as we expected.Footnote 26

We continue to describe the next OPEs

$$\begin{aligned}&G^{-}(z) \, W^{-(2),a}(w) = \frac{1}{(z-w)}\, G^{-(\frac{5}{2}),a}(w) + \cdots , \nonumber \\&G^{-}(z) \, G^{+(\frac{5}{2}),a}(w) = -\frac{1}{(z-w)^3} \frac{ (k^2-1) (k^2-4) (k+M+N) (2 k+M+N) (3 k+2 M+2 N)}{ k^2 (k+M) (3 k+2 M)}\, \times \, \Bigg [ N \, J^a - k \, J_f^a \Bigg ](w) \nonumber \\&\qquad + \frac{1}{(z-w)^2} \, (2k+M+2N)\, W^{-(2),a}(w) +\frac{1}{(z-w)} \, \Bigg [\frac{1}{4} \, \partial \, \text{(pole-2) } + W^{+(3),a} \Bigg ](w) + \cdots , \nonumber \\&G^{-}(z) \, G^{-(\frac{5}{2}),a}(w) = 0 + \cdots , G^{-}(z) \, W^{+(3),a}(w) = \frac{1}{(z-w)^3} \,\nonumber \\&\quad \times \frac{(k^2-1) (k^2-4) (k+N) (k+M+N) (2 k+M+N) (3 k+2 M+2 N)}{k^2 (k+M) (3 k+2 M)} \, a_1\, \nonumber \\&\quad \times \, G^{-,a}(w) - \frac{1}{(z-w)^2} \, \frac{5}{4} (2k+M+2N) \, G^{-(\frac{5}{2}),a}(w) -\frac{1}{(z-w)} \,\frac{1}{5} \, \partial \, \text{(pole-2) } +\cdots . \end{aligned}$$
(5.15)

The second OPE of (5.15) provides the way we obtain the nonsinglet spin-3 current described before. In the last OPE of (5.15) which will be rather complicated compared to other OPEs above, we should also calculate all the contributions from the nonsinglet spin-3 current. Note that when we calculate the OPE between \(G^-(z)\) and \(i \, f^{a b c}\, G^{+,b} \, G^{-,c}(w)\) which is one of the terms of \(W^{+(3),a}(w)\) and appears in the sixth line from the below, we should obtain the first order pole of the OPE between \(W^{+(2),b}(z)\) and \(G^{-,c}(w)\). See also the second OPE of (3.6). Then for example, the contribution of the fifth nonderivative term in \(V^{-(\frac{5}{2}),a}\) (3.12) with (5.9) arises in this particular pole. The point here is, in general, the first order pole of the OPE between \(W^{+(2),b}(z)\) and \(G^{-,c}(w)\) produces a new quasi primary operator but with the contraction of indices b and c appearing in the f symbol we can write down this first order pole in terms of the known currents. Therefore, there will be no new (quasi)primary field in the second order pole of the last OPE in (5.15).Footnote 27 We will return to this issue around (6.5) in next section.

After collecting all the contributions on the fifth nontrivial term in \(V^{-(\frac{5}{2}),a}\) (3.12) in this calculation of the OPE between \(G^-(z)\) and \(W^{+(3),a}(w)\), we are left with the structure constant in the second order pole as above. Moreover, the first order pole has the descendant terms only which can be checked by fixed N and M.

Finally, the OPEs with the stress energy tensor are described by

$$\begin{aligned}&T(z) \, W^{-(2),a}(w) = \frac{1}{(z-w)^2}\, 2\, W^{-(2),a}(w) + \frac{1}{(z-w)}\, \partial \, W^{-(2),a}(w) + \cdots , \nonumber \\&T(z) \, G^{\pm (\frac{5}{2}),a}(w) =\frac{1}{(z-w)^2}\, \frac{5}{2} \, G^{\pm (\frac{5}{2}),a}(w) + \frac{1}{(z-w)}\, \partial \, G^{\pm (\frac{5}{2}),a}(w) + \cdots , \nonumber \\&T(z) \, W^{+(3),a}(w) = \frac{1}{(z-w)^4} \Bigg [ -\frac{3(k^2-1)(k^2-4)(k+M+N)(2k+M+N)(3k+2M+2N)}{2k^2(k+M)(3k+2M)}\, a_1\, ( N \, J^a - k \, J_f^a) \Bigg ](w) \nonumber \\&\quad +\frac{1}{(z-w)^2}\, 3 \, W^{+(3),a}(w) + \frac{1}{(z-w)}\, \partial \, W^{+(3),a}(w) + \cdots . \end{aligned}$$
(5.16)

For the nonsinglet spin-3 current, there is a fourth order pole in (5.16). This implies that the nonsinglet spin-3 current is quasi primary field. By introducing the composite operator \( K \, W^{-(2),a}\), we can make the following nonsinglet spin-3 current

$$\begin{aligned} W^{+(3),a} + \frac{3}{2}\, (k+M+N) \, K \, W^{-(2),a} \end{aligned}$$
(5.17)

be primary. In doing this, the first OPE of (5.13) is used in (5.17).Footnote 28

Therefore, the nonsinglet currents are given by (5.7), (5.9) and (5.11) in the coset realization and they satisfy (5.13), (5.14), (5.15) and (5.16) under the action of the currents of \({{\mathcal {N}}}=2\) superconformal algebra. Also note that the right hand side of these OPEs contain the currents of \({{\mathcal {N}}}=2\) multiplet in (3.3) as well as the currents of \({{\mathcal {N}}}=2\) multiplet in (5.12).

6 The OPEs between the nonsinglet multiplet of spins \((1,\frac{3}{2},\frac{3}{2},2)\) and itself

The simplest nontrivial OPEs between the nonsinglet \({{\mathcal {N}}}=2\) multiplets can be described in this section.

6.1 The OPEs with lowest component

From the explicit coset realizations in (2.3), (2.11) and (3.1), we determine the following OPEs (the OPEs between the lowest component and the four components in (3.3))

$$\begin{aligned}&J_f^a(z) \, J_f^b(w) = \frac{1}{(z-w)^2}\, N \, \delta ^{a b} \nonumber \\&\quad + \frac{1}{(z-w)} \, i \, f^{a b c} \, J_f^c(w) + \cdots , \nonumber \\&J_f^a(z) \, G^{+,b}(w) = \frac{1}{(z-w)} \, \Bigg [ -\frac{1}{M} \, \delta ^{a b} \, G^{+}\nonumber \\&\quad + \frac{1}{2} \, ( i \, f + d)^{a b c} \, G^{+,c} \Bigg ](w) + \cdots , \nonumber \\&\quad J_f^a(z) \, G^{-,b}(w) = \frac{1}{(z-w)} \, \Bigg [ \frac{1}{M} \, \delta ^{a b} \, G^{-}\nonumber \\&\quad + \frac{1}{2} \, ( i \, f - d)^{a b c} \, G^{-,c} \Bigg ](w) + \cdots , \nonumber \\&J_f^a(z) \, W^{+(2),b}(w) = \frac{1}{(z-w)^2}\, \Bigg [ -\frac{1}{M}\,(k+M+N)\, \delta ^{a b}\, K \nonumber \\&-\frac{N}{2} \, i\, f^{a b c}\, J^c + \frac{1}{2} \, d^{a b c} ( N\, J^c- k \, J_f^c )\Bigg ](w) \nonumber \\&\quad + \frac{1}{(z-w)} \, \Bigg [ \frac{1}{2}\, (i \, f +d)^{c b d}\, i \, f^{a d e} \, J^c \, J_f^e \nonumber \\&\quad \quad + i \, f^{a b c} \Bigg ( W^{+(2),c} -\frac{1}{k M} \, (k+M+N)\, J^c K \nonumber \\&\quad - \frac{1}{2} \, (i \, f+ d)^{d c e} \, J^d \, J_f^e + \frac{N}{2} \, \partial \, J^c \nonumber \\&\quad + \frac{1}{2}\, \bigg (K^c +\frac{N}{(2k+M)} \, d^{c d e} \, J^d \, J^e - N \, \partial \, J^c\bigg ) \Bigg ) \Bigg ](w) \nonumber \\&\quad + \cdots . \nonumber \\ \end{aligned}$$
(6.1)

In the last OPE of (6.1), we should replace the nonsinglet spin-2 current \(K^c\) with the other spin-2 currents by using the nonsinglet spin-2 current (5.7) because the \(K^c\) is not an element of \({{\mathcal {N}}}=2\) multiplet we are considering in the \({{\mathcal {N}}}=2\) supersymmetric coset model. It is obvious to see \( J_f^a(z) \, K^{b}(w) = 0 +\cdots \) from Appendix A. The presence of the spin-2 current \(K^c\) can be understood from the fact that in doing this, the unwanted terms, consisting of the second, third, fourth, and sixth terms of \(W^{+(2),c}\) (3.1) with f symbol after simplifying, are replaced by the nonsinglet spin-2 current \(W^{+(2),c}\) and other terms which contain the nonsinglet spin-2 current \(K^c\). In the last line of (6.1), we replace the first term of \(K^c\) (3.2) with other terms where \(J^c \, J^{u(1)}\) term is combined with \(J^c \, K\) term and to appear in the second line from the below.

From the last OPE of (6.1), we observe that the right hand side of the OPE contains also the lowest component of the \({{\mathcal {N}}}=2\) multiplet in (5.12).

6.2 The OPEs with the second component

Now let us consider the following OPEs (the OPEs between the second component and the three components in (3.3))

$$\begin{aligned}&G^{+,a}(z) \, G^{+,b}(w) = 0 + \cdots , \nonumber \\&G^{+,a}(z) \, G^{-,b}(w) = \frac{1}{(z-w)^3} \, k \, N \, \delta ^{a b} \nonumber \\&\quad + \frac{1}{(z-w)^2} \, \Bigg [ \frac{(k+M+N)}{M} \, \delta ^{a b} \, K + \frac{N}{2} \, (i f - d)^{a b c} \, J^c \nonumber \\&\quad +\frac{k}{2} \, ( i f + d)^{a b c} \, J_f^c \Bigg ](w) \nonumber \\&\quad + \frac{1}{(z-w)} \, \Bigg [ \delta ^{a b} \Bigg ( \frac{1}{M} \, (k+M+N) \, T -\frac{1}{2M} \, J^a \, J^a \nonumber \\&\quad -\frac{1}{2M}\, J_f^a\, J_f^a + \frac{1}{2M} \, (k+M+N) \, \partial \, K \Bigg ) \nonumber \\&\quad + i \, f^{a b c} \Bigg ( -\frac{1}{2} \, W^{+(2),c} - \frac{N}{4} \, \partial \, J^c + \frac{k}{4} \, \partial \, J_f^c -\frac{1}{2}\, (K^c\nonumber \\&\quad +\frac{N}{(2k+M)} \, d^{c d e} \, J^d \, J^e - N \, \partial \, J^c)\nonumber \\&\quad + \frac{1}{4} \, d^{c d e} \, J^d \, J_f^e - \frac{1}{4} \, i \, f^{c d e} \, J^d \, J_f^e \nonumber \\&\quad + \frac{(k+M+N)}{k M} \, J^c \, K \Bigg ) \nonumber \\&\quad + d^{a b c} \Bigg (-\frac{1}{2} \, W^{+(2),c} - \frac{N}{4} \, \partial \, J^c + \frac{k}{4} \, \partial \, J_f^c \nonumber \\&\quad + \frac{1}{4} \, d^{c d e} \, J^d \, J_f^e - \frac{1}{4} \, i \, f^{c d e} \, J^d \, J_f^e \Bigg ) \nonumber \\&\quad - \frac{1}{M}\, J^b \, J_f^a -\frac{1}{4} \, (i f +d)^{e b c} \,\nonumber \\&\quad \times (i f +d)^{a c d} \, J^e\, J_f^d \Bigg ](w) + \cdots , \nonumber \\&G^{+,a}(z) \, W^{+(2),b}(w) \nonumber \\&\quad = \frac{1}{(z-w)^2}\, \Bigg [ \frac{1}{2M}\, (3k+2M+3N)\, \delta ^{a b}\, G^+ \nonumber \\&\qquad + \frac{1}{4} \, (N-k)\, i \, f^{a b c}\, G^{+,c} \nonumber \\&\qquad - \frac{3}{4}\, (k+N)\, d^{a b c}\, G^{+,c} \Bigg ](w) +\frac{1}{(z-w)}\, \nonumber \\&\qquad \times \Bigg [ \frac{1}{3}\, \partial \, \text{(pole-2) } + R^{+(\frac{5}{2}),a b} \Bigg ](w) + \cdots . \end{aligned}$$
(6.2)

In Appendix D, we present the coset realization for the second OPE of (6.2).

The question is how we obtain the above result from Appendix D? For the second order pole, we can check them without any difficulty. For the first order pole, we can compute the \(\delta ^{a b}\), \(i \, f^{a b c}\) and \(d^{a b c}\) with the first order pole appearing in Appendix D. In other words, we have a free index c for the last two cases while we do not have any free index for the first case. From the expression of \(\delta ^{a b} \, G^{+,a}(z) \, G^{-,b}(w)\Big |_{\frac{1}{(z-w)}}\), we can use the expression of stress energy tensor T (2.5). Then it turns out that we have four independent terms appearing in the first two lines of the first order pole having \(\delta ^{a b}\) in (6.2).

From the expression of \(i \, f^{a b c } \, G^{+,a}(z) \, G^{-,b}(w)\Big |_{\frac{1}{(z-w)}}\), we can use the expressions \(W^{+(2),c}\) (3.1) and \(K^c\) (3.2) in order to remove the unwanted terms. Then we have nine terms appearing in the second, third and fourth lines of the first order pole having \(i \, f^{a b c}\) as well as \(J^c \, J_f^{u(1)}\) term. From the expression of \( d^{a b c } \, G^{+,a}(z) \, G^{-,b}(w)\Big |_{\frac{1}{(z-w)}}\), the previous relation (3.1) can be used. Then we have the five terms appearing in the fifth line of the first order pole having \( d^{a b c}\) as well as \(J^c \, J_f^{u(1)}\) term in (6.2).

Furthermore, the last term in Appendix D having the factor \(t^a \, t^c \, t^b\) can be simplified and will appear in the last line of the first order pole as well as \(J^c \, J_f^{u(1)}\) term. However, this \(J^c \, J_f^{u(1)}\)-term can be cancelled by the above two contributions. Therefore, we are left with the above final result where there is no \(J^c \, J_f^{u(1)}\) term.Footnote 29

In the last OPE of (6.2), there exist the following terms, after subtracting the descendant terms, which is a primary

$$\begin{aligned} R^{+\big (\frac{5}{2}\big ),a b}= & {} \frac{(3 k+N)}{2 M}\, \delta ^{a b}\, \partial \, G^+ + \frac{1}{4} (- k-N) \, i \, f^{a b c}\, \partial \, G^{+,c} \nonumber \\&+ \frac{1}{4} (-3 k-N)\, d^{a b c}\, \partial \, G^{+,c} \nonumber \\&- \sqrt{\frac{M+N}{M N}}\, i \, f^{a b c}\,J^{u(1)}\, G^{+,c}\nonumber \\&-\frac{(k M N+M+2 N)}{M N}\, \delta _{\rho \bar{\sigma }}\, \delta ^{a b} \, \delta _{k {\bar{i}}}\, \psi ^{(\bar{\sigma } k)}\, \partial \, J^{(\rho {\bar{i}})} \nonumber \\&- \frac{(k N+1)}{2 N}\, i \, f^{a b c} \delta _{\rho \bar{\sigma }}\, \, t^c_{k {\bar{i}}}\, \psi ^{(\bar{\sigma } k)}\, \partial \, J^{(\rho {\bar{i}})} \nonumber \\&-\frac{(k M N+M+2 N)}{2 M N}\, d^{a b c} \delta _{\rho \bar{\sigma }}\, \, t^c_{k {\bar{i}}}\, \psi ^{(\bar{\sigma } k)}\, \partial \, J^{(\rho {\bar{i}})} \nonumber \\&+ i \, f^{a b c}\, t^c_{k {\bar{i}}}\, t^{\alpha }_{\rho \bar{\mu }}\, J^{(\rho {\bar{i}})}\, \psi ^{(\bar{\mu } k)}\, J^{\alpha }\nonumber \\&+ \frac{1}{M}\, J^a \, G^{+,b}-\frac{k}{M}\, \delta ^{a b}\, \delta _{\tau \bar{\mu }} \, \delta _{j {\bar{k}}}\, J^{(\tau {\bar{k}})}\, \partial \, \psi ^{(\bar{\mu } j)} \nonumber \\&+ \frac{k}{2}\, i \, f^{a b c}\, \delta _{\tau \bar{\mu }} \, t^c_{j {\bar{k}}}\, J^{(\tau {\bar{k}})}\, \partial \, \psi ^{(\bar{\mu } j)}\nonumber \\&-\frac{k}{2} \, d^{a b c}\, \delta _{\tau \bar{\mu }} \, t^c_{j {\bar{k}}}\, J^{(\tau {\bar{k}})}\, \partial \, \psi ^{(\bar{\mu } j)} \nonumber \\&- \frac{M+N}{M N}\, t^a_{l {\bar{k}}}\, \delta _{\tau \bar{\mu }} ((\psi ^{(\bar{\mu } l)}\, J^{(\tau {\bar{k}})}) \, J_f^b)\nonumber \\&- t^{\alpha }_{\rho \bar{\sigma }}\, t^b_{j {\bar{i}}}\, t^a_{l {\bar{k}}}\, t^{\alpha }_{\mu \bar{\nu }}\, \psi ^{(\bar{\sigma } j)} \, \psi ^{(\rho {\bar{i}})} \, \psi ^{(\bar{\nu } l)} \, J^{(\mu {\bar{k}})} \nonumber \\&+ \frac{1}{M^2}\, \delta ^{a b}\, G^{+}\, J_f^{u(1)} -\frac{1}{2M}\, i \, f^{a b c}\, G^{+,c}\, J_f^{u(1)} \nonumber \\&-\frac{1}{2M}\, d^{a b c}\, G^{+,c}\, J_f^{u(1)} -\frac{1}{M}\, J^b \, G^{+,a} \nonumber \\&- \frac{1}{2M}\, (i \, f+ d)^{a b c}\, G^{+}\, J_f^c \nonumber \\&+ \frac{1}{4}\, (i \, f+ d)^{a c e}(i \, f +d)^{c b d}\, G^{+,e}\, J_f^d \nonumber \\&+ \frac{1}{2M} (i \, f +d )^{c b a}\, J^c \, G^+ \nonumber \\&-\frac{1}{4}\, (i \, f+ d)^{d a e}(i \, f +d)^{c b d}\, J^c \, G^{+,e} \nonumber \\&- \frac{1}{2} \, (i \, f+ d)^{a c d} \, (t^d \, t^b)_{k {\bar{i}}}\, \delta _{\rho \bar{\sigma }}\, J^{(\rho {\bar{i}})}\, \psi ^{(\bar{\sigma } k)} \, J^{c} \nonumber \\&-\frac{1}{3}\, \partial \, \Bigg (G^{+,a}(z) \, W^{+(2),b}(w) \Bigg |_{\frac{1}{(z-w)^2}}\Bigg ). \end{aligned}$$
(6.3)

The question is whether this can be written in terms of the known currents or not. Let us look at \( t^{\alpha }_{\rho \bar{\sigma }}\, t^b_{j {\bar{i}}}\, t^a_{l {\bar{k}}}\, t^{\alpha }_{\mu \bar{\nu }}\, \psi ^{(\bar{\sigma } j)} \, \psi ^{(\rho {\bar{i}})} \, \psi ^{(\bar{\nu } l)} \, J^{(\mu {\bar{k}})} \) term appearing in the sixth line of (6.3). Although the index \(\alpha \) is summed but the product of the generators of SU(M) has the free indices a and b with four different lower indices contracted with the coset fields. As far as I know, there is no identity in the product of the two generators of SU(M) with two different free indices.Footnote 30

Therefore, we cannot express (6.3) in terms of the previous known currents obtained so far (although we have tried to rewrite it by using the various invariant tensors appearing in [12]). According to (1.3), each \({{\mathcal {N}}}=2\) current has a single SU(M) index. It would be interesting to study how we can obtain the superpartners of (6.3) explicitly if they exist. It is natural to consider (6.3) as the second component of the \({{\mathcal {N}}}=2\) multiplet and then the lowest, the third and last components are not known so far.

6.2.1 The OPE with spin-2 current

Although the nonsinglet spin-2 current \(K^b\) in the bosonic coset model does not belong to the component of the \({{\mathcal {N}}}=2\) multiplet, it is very useful to calculate the OPE between the nonsinglet spin-\(\frac{3}{2}\) current \(G^{+,a}\) of (3.3) and this spin-2 current. It turns out, from Appendix D where the coset field realizations are given, that we have

$$\begin{aligned}&G^{+,a}(z) \, K^{b}(w) = \frac{1}{(z-w)^2} \, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \nonumber \\&\quad \times \Bigg [ \frac{1}{M} \, \delta ^{a b} \, G^{+}- \frac{1}{2} \, ( i \, f + d)^{a b c} \, G^{+,c} \Bigg ](w)\nonumber \\&\quad + \frac{1}{(z-w)}\, \Bigg [ -\frac{1}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \nonumber \\&\quad \times \Bigg ( \frac{1}{M} \, \delta ^{a b} \, \partial \, G^{+}- \frac{1}{2} \, ( i \, f + d)^{a b c} \, \partial \, G^{+,c} \Bigg ) \nonumber \\&\quad - \frac{1}{2} \, ( i f +d)^{a b c} \, \Bigg ( V^{+(\frac{5}{2}),c} +\frac{2}{k M} \, (k+M+N) \, J^c\, G^+ \nonumber \\&\quad + (i f -\frac{(2k+M+2N)}{2k+M} \, d)^{ c d e}\, J^d \, G^{+,e}\nonumber \\&\quad + \frac{2}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \partial \, G^{+,c} \Bigg ) \nonumber \\&\quad - \frac{2}{k M}\, (k+M+N)\, J^b \, G^{+,a} \nonumber \\&\quad + \frac{2k(k+2M)}{3(k^2-4)(k+M+N)(3k+2M+2N) b_1}\nonumber \\&\quad \times \delta ^{a b} \, G^{+(\frac{5}{2}), 0} \nonumber \\&\quad - (i f -\frac{(2k+M+2N)}{2k+M} \, d)^{b c d}\,\nonumber \\&\quad \times \Bigg ( \frac{1}{M} \, \delta ^{a d} \, J^c\, G^+ - \frac{1}{2} \, (i f + d)^{a d e} \, J^c \, G^{+,e} \Bigg ) \nonumber \\&\quad - \frac{2}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \Bigg ( \frac{1}{M} \, \delta ^{a b} \, \partial \, G^{+}\nonumber \\&\quad - \frac{1}{2} \, ( i \, f + d)^{a b c} \, \partial \, G^{+,c} \Bigg ) \Bigg ](w) + \cdots . \end{aligned}$$
(6.4)

The first two lines of the first order pole in (6.4) are the descendant terms associated with the currents in the second order pole. Recall that the first, second and fifth terms in \(V^{+(\frac{5}{2}),c}\) (3.10) appear as unwanted terms in the sense that they cannot be written in terms of the known currents. We can check that the second, fourth and last terms of the first order pole in the corresponding OPE in Appendix D can be written in terms of \(V^{+(\frac{5}{2}),c}\) with f and d symbols plus other terms. Moreover, the spin-\(\frac{5}{2}\) current \(G^{+(\frac{5}{2}),0}\) (4.5) contains similar first, third and fourth terms and they can be written in terms of \(G^{+(\frac{5}{2}),0}\) and other known operators. Finally, we arrives at the above results of the first order pole in (6.4) by matching those unwanted terms with \(V^{+(\frac{5}{2}),c}\), \(G^{+(\frac{5}{2}),0}\) and other known composite operators. Of course, we can write down \(V^{+(\frac{5}{2}),c}\) in terms of \(G^{+(\frac{5}{2}),c}\) with other terms by using (5.9).

In summary, as before, from the second OPE in (6.2), we observe that the right hand side of the OPE contains the lowest component of the \({{\mathcal {N}}}=2\) multiplet in (5.12) by noting the presence of the nonsinglet spin-2 current. Moreover, from the last OPE, we observe that \( i \, f^{a b c}\, t^c_{k {\bar{i}}}\, t^{\alpha }_{\rho \bar{\mu }}\, J^{(\rho {\bar{i}})}\, \psi ^{(\bar{\mu } k)}\, J^{\alpha }\) term of (6.3) can be interpreted as \( i \, f^{a b c}\, V^{+(\frac{5}{2}),c}\) (or \(i \, f^{a b c}\, G^{+(\frac{5}{2}),c}\)) plus other terms. This implies that the right hand side of the OPE contains the second component of the \({{\mathcal {N}}}=2\) multiplet in (5.12) as we expect.

6.3 The OPEs with the third component

The remaining two OPEs are given by

$$\begin{aligned}&G^{-,a}(z) \, G^{-,b}(w) = 0 + \cdots , \nonumber \\&G^{-,a}(z) \, W^{+(2),b}(w) = \frac{1}{(z-w)^2}\, \Bigg [ \frac{1}{2M}\, (3k+3N)\, \delta ^{a b}\, G^- \nonumber \\&\quad - \frac{1}{4} \, (N-k)\, i \, f^{a b c}\, G^{-,c} \nonumber \\&\quad - \frac{3}{4}\, (k+N)\, d^{a b c}\, G^{-,c} \Bigg ](w)\nonumber \\&\quad +\frac{1}{(z-w)}\, \Bigg [ \frac{1}{3}\, \partial \, \text{(pole-2) } + R^{-(\frac{5}{2}),a b}\Bigg ](w) + \cdots . \end{aligned}$$
(6.5)

The first order pole in the last OPE of (6.5), after subtracting the descendant terms, contains the following primary spin-\(\frac{5}{2}\) current with free indices a and b

$$\begin{aligned} R^{-(\frac{5}{2}),a b}= & {} \frac{(k+N)}{2 M}\, \delta ^{a b}\, \partial \, G^{-} -\sqrt{\frac{M+N}{M N}}\, i \, f^{a b c}\, J^{u(1)}\, G^{-,c} \nonumber \\&- \frac{(M+2 N)}{M^2 N}\, \delta ^{a b}\, \delta _{\rho \bar{\sigma }}\, \delta _{i {\bar{k}}}\, \psi ^{(\sigma {\bar{k}})}\, \partial \, J^{(\bar{\rho } i)} \nonumber \\&+ \frac{(2 k N+1)}{2 N}\, i \, f^{a b c} \, t^c_{k {\bar{i}}}\, \delta _{\rho \bar{\sigma }}\, \psi ^{(\rho {\bar{i}})}\, \partial \, J^{(\bar{\sigma } k)} \nonumber \\&-\frac{(M+2 N)}{2 M N}\, d^{a b c} \, t^c_{k {\bar{i}}}\, \delta _{\rho \bar{\sigma }}\, \psi ^{(\rho {\bar{i}})}\, \partial \, J^{(\bar{\sigma } k)} \nonumber \\&+ i \, f^{a b c}\, t^{c}_{i {\bar{k}}}\, t^{\alpha }_{\mu \bar{\rho }}\, J^{(\bar{\rho } i)}\, \psi ^{(\mu {\bar{k}})}\, J^{\alpha }- \frac{1}{M}\, J^a \, G^{-,b} \nonumber \\&+ \frac{(M+N)}{M N}\, t^a_{k {\bar{l}}}\, \delta _{\mu \bar{\tau }}\, ((\psi ^{(\mu {\bar{l}})} \, J^{(\bar{\tau } k)})\, J_f^b) \nonumber \\&- t^{\alpha }_{\sigma \bar{\rho }}\, t^b_{i {\bar{j}}}\, t^a_{k {\bar{l}}}\, t^{\alpha }_{ \nu \bar{\mu }} \, \psi ^{(\sigma {\bar{j}})}\,\psi ^{(\bar{\rho } i)}\, \psi ^{(\nu {\bar{l}})}\, J^{(\bar{\mu } k)} \nonumber \\&-\frac{1}{M^2}\, \delta ^{a b}\, G^- \, J_f^{u(1)}-\frac{1}{2M}\, i \, f^{a b c}\, G^{-,c}\, J_f^{u(1)} \nonumber \\&+ \frac{1}{2M}\,d^{a b c}\, G^{-,c}\, J_f^{u(1)}+\frac{1}{M}\, J^b \, G^{-,a} \nonumber \\&+ \frac{1}{2M} \, (i \, f +d)^{a b d}\, G^- \, J_f^d \nonumber \\&- \frac{1}{4}\, (i \, f+d)^{c a e} (i\, f +d)^{c b d}\, G^{-,e}\, J_f^d \nonumber \\&-\frac{1}{2M}\, (i \, f+d)^{c b a} \, J^c \, G^- \nonumber \\&- \frac{1}{4}\, (i \, f-d)^{d a e} (i\, f +d)^{c b d}\, J^c \, G^{-,e}\nonumber \\&+ \frac{1}{4} (3 k+N)\, i \, f^{a b c}\, \partial \, G^{-,c} \nonumber \\&+\frac{1}{4} (-k-N)\, d^{a b c}\, \partial \, G^{-,c} + \frac{1}{2}\, (i \, f+ d)^{c a d}\, t^b_{j{\bar{i}}}\, \delta _{\rho \bar{\sigma }}\, \nonumber \\&\quad \times ( t^b \, t^d)_{j {\bar{l}}}\, J^{(\bar{\sigma } j)}\, \psi ^{(\rho {\bar{l}})}\, J^c \nonumber \\&- \frac{1}{3}\, \partial \, \Bigg (G^{-,a}(z) \, W^{+(2),b}(w) \Bigg |_{\frac{1}{(z-w)^2}}\Bigg ). \end{aligned}$$
(6.6)

Again, due to the existence of \(t^{\alpha }_{\sigma \bar{\rho }}\, t^b_{i {\bar{j}}}\, t^a_{k {\bar{l}}}\, t^{\alpha }_{ \nu \bar{\mu }} \, \psi ^{(\sigma {\bar{j}})}\,\psi ^{(\bar{\rho } i)}\, \psi ^{(\nu {\bar{l}})}\, J^{(\bar{\mu } k)}\) in (6.6), we cannot express this in terms of the known currents. It is an open problem whether the above spin-\(\frac{5}{2}\) current (6.6) is a third component of any \({{\mathcal {N}}}=2\) multiplet with free two indices. It is natural to consider the OPE between the spin-\(\frac{3}{2}\) current \(G^-\) of the \({{\mathcal {N}}}=2\) superconformal algebra and the previous spin-\(\frac{5}{2}\) current with two indices \(R^{+(\frac{5}{2}), a b}\) (6.3) and obtain the possible lowest component of \({{\mathcal {N}}}=2\) multiplet. After that we need to check whether the OPE between the spin-\(\frac{3}{2}\) current \(G^-\) and this lowest component (which will contain the quartic complex fermions with generators of SU(N) and SU(M)) will give us the above spin-\(\frac{5}{2}\) current (6.6) plus other terms or not. See also the footnote 31 for the four product of complex fermions.

6.3.1 The OPE with the spin-2 current

As before, the corresponding OPE can be described as

$$\begin{aligned}&G^{-,a}(z) \, K^{b}(w) = -\frac{1}{(z-w)^2} \, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \nonumber \\&\quad \times \Bigg [ \frac{1}{M} \, \delta ^{ b a} \, G^{-} - \frac{1}{2} \, ( i \, f + d)^{b a c} \, G^{-,c} \Bigg ](w)\nonumber \\&\quad + \frac{1}{(z-w)}\, \Bigg [ -\frac{1}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \nonumber \\&\quad \times \Bigg ( \frac{1}{M} \, \delta ^{ b a} \, \partial \, G^{-}- \frac{1}{2} \, ( i \, f + d)^{ b a c} \, \partial \, G^{-,c} \Bigg ) \nonumber \\&\quad - \frac{1}{2} \, ( i f +d)^{ b a c} \, \Bigg ( V^{-(\frac{5}{2}),c} -\frac{2}{k M} \, (k+M+N) \, J^c\, G^- \nonumber \\&\quad + (i f +\frac{(2k+M+2N)}{2k+M} \, d)^{ c d e}\, J^d \, G^{-,e}\nonumber \\&\quad + \frac{2}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \partial \, G^{-,c} \Bigg ) \nonumber \\&\quad + \frac{2}{k M}\, (k+M+N)\, J^b \, G^{-,a} \nonumber \\&\quad - \frac{2k(k+2M)}{3(k^2-4)(k+M+N)(3k+2M+2N) b_1}\nonumber \\&\quad \times \delta ^{a b} \, G^{-(\frac{5}{2}), 0} \nonumber \\&\quad - (i f +\frac{(2k+M+2N)}{2k+M} \, d)^{b c d}\, \nonumber \\&\quad \times \Bigg ( \frac{1}{M} \, \delta ^{ d a } \, J^c\, G^- - \frac{1}{2} \, (i f + d)^{ d a e} \, J^c \, G^{-,e} \Bigg ) \nonumber \\&\quad - \frac{2}{3}\, \frac{2(k^2-1)(2k+M+N)}{k(2k+M)} \, \nonumber \\&\quad \times \Bigg ( \frac{1}{M} \, \delta ^{ b a } \, \partial \, G^{-}- \frac{1}{2} \, ( i \, f + d)^{ b a c} \, \partial \, G^{-,c} \Bigg ) \Bigg ](w)\nonumber \\&\quad + \cdots . \end{aligned}$$
(6.7)

The second, fourth and last terms of the first order pole in the corresponding OPE in Appendix D can be written in terms of \(V^{-(\frac{5}{2}),c}\) with f and d symbols plus other terms. By using the first, second and fifth terms in \(V^{-(\frac{5}{2}),c}\) (3.12) appearing as unwanted terms, we can reexpress the corresponding terms in the first order pole in terms of \(V^{-(\frac{5}{2}),c}\) and other known operators. From the first, third and fourth terms in the spin-\(\frac{5}{2}\) current \(G^{-(\frac{5}{2}),0}\) (4.6), the corresponding terms in the first order pole can be written in terms of \(G^{-(\frac{5}{2}),0}\) and other known operators by focusing on the \(\delta ^{a b}\) factor in the product of two SU(M) generators with indices a and b. Finally, we obtain the above results (6.7) where we can write down \(V^{-(\frac{5}{2}),c}\) in terms of \(G^{-(\frac{5}{2}),c}\) with other terms by using (5.9).

6.4 The final OPE

Now we describe the final OPE between the spin-2 current and itself with Appendix E

$$\begin{aligned}&W^{+(2),a}(z) \, W^{+(2),b}(w) = \frac{1}{(z-w)^4}\, \frac{3}{2}\, k \, N \, (k + N)\, \delta ^{a b} \nonumber \\&\quad + \frac{1}{(z-w)^3} \, \Bigg [ \frac{1}{2} N (2 k+N)\, i \, f^{a b c}\, J^c + \frac{1}{2} k (k+2 N)\, i \, f^{a b c}\,J_f^c \Bigg ](w) \nonumber \\&\quad + \frac{1}{(z-w)^2} \Bigg [ \delta ^{a b} \, 2(k+N) \Bigg ( \frac{1}{M} \, (k+M+N) \, T \nonumber \\&\quad -\frac{1}{2M}\, J^c \, J^c - \frac{1}{2M} \, J_f^c \, J_f^c \Bigg ) \nonumber \\&\quad + d^{a b c}\, \Bigg ( -(k+N)\, W^{+(2),c} +\frac{1}{2}\, (i \, f +d)^{d c e}\, J^d \, J_f^e\nonumber \\&\quad +\frac{k}{2}\, (1-k-N)\, \partial \, J_f^c + \frac{1}{2} N (k+N-1)\, \partial \, J^c \Bigg ) \nonumber \\&\quad + i\, f^{a b c}\, \Bigg ( \frac{k}{4}\, (k+2N)\, \partial \, J_f^c \nonumber \\&\quad + \frac{N (2 k^3 M+k^2 M^2+k^2 M N+2 k M+4 k N+M^2+M N)}{ 2 k M (2 k+M)}\, \partial \, J^c\Bigg ) \nonumber \\&\quad -\frac{(k+2 M+N)}{M}\,J^b \, J^a_f -\frac{(k+N)}{M}\, J^a \, J^b_f \nonumber \\&\quad -\frac{k}{4}\, (i \, f + d)^{d a e}\, (i \, f+d)^{c b d} \, J^c \,J_f^e \nonumber \\&\quad -\frac{k}{4}\, (i \, f + d)^{d b e}\, (i \, f+d)^{c a d} \, J^c \,J_f^e \nonumber \\&\quad -\frac{1}{4}\, f^{d h f} \, f^{e c g}\, (i \, f + d)^{h a c}\, (i \, f+d)^{d b e} \, J^f \, J_f^g\nonumber \\&\quad -\frac{k}{4}\, i \, f^{b c g}\, (i \, f+d)^{d a c} \, J^d \,J_f^g -\frac{N}{4}\, d^{e b c}\, (i \, f+d)^{e a d} \, J^c \,J_f^d \nonumber \\&\quad -\frac{k}{4}\, i \, f^{a c g}\, (i \, f+d)^{d b c} \, J^d \,J_f^g\nonumber \\&\quad -\frac{N}{4}\, d^{e a c}\, (i \, f+d)^{e b d} \, J^c \,J_f^d \Bigg ](w) \nonumber \\&\quad + \frac{1}{(z-w)} \, \Bigg [ \frac{1}{2}\, \partial \, \text{(pole-2) } + R^{+(3),a b} \Bigg ](w) + \cdots . \end{aligned}$$
(6.8)

In the second order pole of (6.8), we observe that there exists \(d^{a b c}\, W^{+(2),c}\) term. Moreover, there are no quartic terms in the complex fermions by collecting all the contributions.Footnote 31 In the first order pole of (6.8), after subtracting the descendant terms, we are left with \(R^{+(3),a b}\) terms. In particular, we observe that by checking the purely bosonic terms in \(R^{+(3), a b}\), there is a term

$$\begin{aligned}&\frac{2k(k+M)(3k+2M)}{(k^2-4)(2k+M)(3k+2M+2N)(3k+M+3N)}\,\nonumber \\&\quad \frac{1}{a_1}\, i \, f^{a b c}\, W^{+(3),c}. \end{aligned}$$
(6.9)

This can be seen from the OPE between \(K^a\) and \(K^b\) and the \(a_1\) term of \(P^c\) appears in the inside of the sixth pair of bracket in (5.11). The nonsinglet spin-3 current \( W^{+(3),c}\) in (6.9) is the last component of the \({{\mathcal {N}}}=2\) multiplet in (5.12). This is reasonable because the OPE between \(K^a(z)\) and \(K^b(w)\) leads to \(i \, f^{a b c}\, P^c\) term at the first order pole in the bosonic coset model [12].

One of the reasons why we cannot write down this \(R^{+(3), a b}\) in terms of the known currents is that there is a term from the OPE between the fourth term of \(W^{+(2),a}\) (3.1)and itself (which is presented in Appendix E)

$$\begin{aligned} i \, f^{\alpha \beta \gamma } \, t^{\alpha }_{\rho \bar{\sigma }}\, t^{\beta }_{\sigma \bar{\nu }} \, t^b_{j {\bar{i}}}\, t^a_{l {\bar{k}}} \, J^{\gamma }\, \psi ^{(\rho {\bar{i}})} \,\psi ^{(\bar{\sigma } j)} \,\psi ^{(\sigma {\bar{k}})} \,\psi ^{(\bar{\nu } l)}, \end{aligned}$$
(6.10)

which can be obtained by acting \(G^-(z)\) on \(t^{\alpha }_{\rho \bar{\sigma }}\, t^b_{j {\bar{i}}}\, t^a_{l {\bar{k}}}\, t^{\alpha }_{\mu \bar{\nu }}\, \psi ^{(\bar{\sigma } j)} \, \psi ^{(\rho {\bar{i}})} \, \psi ^{(\bar{\nu } l)} \, J^{(\mu {\bar{k}})}(w)\). This spin-\(\frac{5}{2}\) operator is the characteristic term for the \(R^{+(\frac{5}{2}), a b}\) in (6.3). Then the OPE between \(G^-\) and \(R^{+(\frac{5}{2}), a b}\) contains the above term (6.10). Note from the footnote 22 that the OPE between \(G^{-}\) and \(J^{\gamma }\) leads to the composite field of spin-\(\frac{1}{2}\) and spin-1 operators transforming as \((\mathbf{N}, {\overline{\mathbf{M}}})\) and \(({\overline{\mathbf{N}}}, \mathbf{M})\) respectively. Therefore we obtain (6.10) after contracting the indices properly. In this way, there is a connection between \(R^{+(\frac{5}{2}), a b}\) and \(R^{+(3), a b}\) via a supersymmetry generator. It is an open problem to see whether there exists any \({{\mathcal {N}}}=2\) multiplet of \((R^{-(2),a b}, R^{+(\frac{5}{2}), a b}, R^{-(\frac{5}{2}),a b }, R^{+(3), a b})\) or not. Probably, if we compute the OPEs between the currents of high spins, then the lowest current \(R^{-(2), a b }\) can be seen.Footnote 32

In summary, we have the complete OPEs in (6.1), (6.2), (6.5) and (6.8). The nontrivial part of these OPEs is that in the right hand side of these OPEs, the components of the third \({{\mathcal {N}}}=2\) multiplet (5.12) as well as the components of the first \({{\mathcal {N}}}=2\) multiplet (3.3) and the currents of \({{\mathcal {N}}}=2\) superconformal algebra arise. We have seen the new primary currents having two free indices of SU(M). The various quasi primary operators in the first order pole of (6.8) will appear as in the bosonic case.

7 Towards the OPEs between the singlet multiplet of spins \((2,\frac{5}{2},\frac{5}{2},3)\) and itself

The simplest OPE between the singlet currents is given by the OPE between the singlet spin-2 current and itself. We obtain the following OPE with the help of Appendix F

$$\begin{aligned}&W^{-(2),0}(z) \, W^{-(2),0}(w) = \frac{1}{(z-w)^4}\,\Bigg [ \frac{ 6 (k^2-1) (k^2-4)^2 N (k+M+N)^3 ( 2 k+M+N) (3 k+2 M+2 N)^2}{k^3 M (k+M)^2 (k+2 M)^2} \nonumber \\&\quad \times (k^3+2 k^2 M+2 k^2 N+3 k M N+2 k+M+N) \, b_1^2 \Bigg ] \nonumber \\&\quad + \frac{1}{(z-w)^2}\, \Bigg [\frac{ 8 (k^2-1) (k^2-4)^2 (k+M+N)^4 (2 k+M+N) (3 k+2 M+2 N)^2 }{ k^4 M^2 (k+M)^2 (k+2 M)^2} \nonumber \\&\quad \times (k^3+2 k^2 M+2 k^2 N+3 k M N+2 k+M+N) \, b_1^2 \, \nonumber \\&\quad \Bigg (T- \frac{1}{2(k+M+N)} \, (J^a+J_f^a)^2\Bigg ) + \frac{ 4 (k^2-4) (k+M+N)^2 (3 k+2 M+2 N)}{k^2 M (k+M) (k+2 M)}\nonumber \\&\quad \times (k^3-k^2 M-k^2 N-3 k M N-4 k-2 M-2 N) \, b_1\, W^{-(2),0} \Bigg ](w) + \frac{1}{(z-w)} \, \frac{1}{2} \, \partial \, (\text{ pole-2})(w) +\cdots . \end{aligned}$$
(7.1)

From the fourth order pole of (7.1), we can fix the normalization of the singlet spin-2 current by taking the unknown coefficient \(b_1^2\) properly. For example, one way to fix is such that the fourth order pole is given by \(\frac{c}{2}\) where c is the central charge in (2.6). The self coupling constant of the singlet spin-2 current which depends on the kN and M explicitly appears in the second order pole of (7.1). As we expected, the right sides of this OPE consist of (1) the central term, (2) stress energy tensor, (3) \((J^a+J_f^a)^2\) term, (4) the singlet spin-2 current and (5) their descendant terms.Footnote 33

We can check that the singlet spin-\(2, \frac{5}{2}, 3\) currents, \(W^{-(2),0}\), \(G^{\pm (\frac{5}{2}),0}\) and \(W^{+(3),0}\) have the regular terms in the OPEs with \((J^a+J_f^a)\). Moreover, the OPE between the combination of \(T- \frac{1}{2(k+M+N)} \, (J^a+J_f^a)^2\) and \((J^a+J_f^a)\) does not have any singular terms. This implies that the singlet currents,

$$\begin{aligned}&T- \frac{1}{2(k+M+N)} \, (J^a+J_f^a)^2, \qquad W^{-(2),0},\qquad \nonumber \\&G^{\pm (\frac{5}{2}),0}, \qquad W^{+(3),0}, \end{aligned}$$
(7.2)

are decoupled from the spin-1 current \((J^a+J_f^a)\). It is easy to observe that the previous (quasi)primary conditions for these singlet spin-\(2, \frac{5}{2}, 3\) currents still hold under the modified stress energy tensor because the \((J^a+J_f^a)^2\) term does not produce any singular terms.Footnote 34

After the OPEs between the currents of \((W^{-(s),0}, G^{+(s+\frac{1}{2}),0}, G^{-(s+\frac{1}{2}),0},W^{+(s+1),0})\) in (1.3) where \(s=2,3,4, \cdots \) are obtained, we expect that the right hand sides of these OPEs will consist of the composite operators in terms of these singlet currents as well as the modified stress energy tensor (7.2) (and maybe K and \(G^{\pm }\) also). The new singlet (quasi)primary current will have the regular OPE with the spin-1 current \((J^a+J_f^a)\).

Then the algebra from \((W^{-(s),0}, G^{+(s+\frac{1}{2}),0}, G^{-(s+\frac{1}{2}),0},W^{+(s+1),0})\) will close by themselves up to the presence of the currents of \({{\mathcal {N}}}=2\) superconformal algebra with modified stress energy tensor. In other words, the right hand sides of these OPEs do not contain the SU(M) nonsinglet fields appearing in (1.3). On the other hands, the OPEs between the nonsinglet currents do contain the SU(M) singlet fields.

8 The extension of the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra for \(M=2\)

We describe in this section how we can realize the extension of the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra for \(M=2\).

8.1 Four spin-\(\frac{3}{2}\) currents

The four supersymmetry generators of the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra can be obtained by combining \(G^{+,a}\) with \(G^{-,a}\) and also combining \(G^+\) and \(G^-\) properly

$$\begin{aligned} {\hat{G}}_{11}= & {} \sqrt{\frac{1}{k+N+2}} \, \Bigg [ G^{+,1}-i \, G^{+,2} + G^{-,1}-i \, G^{-,2} \Bigg ], \nonumber \\ {\hat{G}}_{12}= & {} -\frac{1}{\sqrt{2}} \, \sqrt{\frac{1}{k+N+2}} \, \Bigg [ G^{+}+\sqrt{2} \, G^{+,3} - G^{-}+\sqrt{2} \, G^{-,3} \Bigg ], \nonumber \\ {\hat{G}}_{21}= & {} \frac{1}{\sqrt{2}} \, \sqrt{\frac{1}{k+N+2}} \, \Bigg [ G^{+}-\sqrt{2} \, G^{+,3} - G^{-}-\sqrt{2} \, G^{-,3} \Bigg ], \nonumber \\ {\hat{G}}_{22}= & {} \sqrt{\frac{1}{k+N+2}} \, \Bigg [ G^{+,1}+i \, G^{+,2} + G^{-,1}+i \, G^{-,2} \Bigg ]. \end{aligned}$$
(8.1)

These expressions (8.1) satisfy the fundamental relations Appendix (D.1) of [72] or Appendix (G.1) in this paper.Footnote 35 From the explicit expressions in \(G^{\pm }\) (2.7) and \(G^{\pm ,a}\) (2.11), the summation over the fundamental and antifundamental SU(N) indices appears in the Kronecker delta with the coset fields. On the other hands, the summation over the fundamental and antifundamental \(SU(M=2)\) indices appears in the matrix elements of the \(SU(M=2)\) generators with the coset fields. For example, in the spin-\(\frac{3}{2}\) current \({\hat{G}}_{11}\), the index \(j=1\) and the index \({\bar{i}}=2\) survives in the first combination of \( (G^{+,1}-i \, G^{+,2})\) and the index \(j=2\) and the index \({\bar{i}}=1\) survives in the second combination of \( (G^{-,1}-i \, G^{-,2})\). This corresponds to the last \(4N \times 4N\) matrix in Appendix (B.2) of [72] where the nonzero elements appear in the two \(N \times N \) identity matrices inside of this matrix. We can analyze the other three currents similarly from \(G^{\pm }\) (2.7) and \(G^{\pm ,a}\) (2.11).

8.2 Higher spin-\(\frac{3}{2}\) currents

Then the next spin-\(\frac{3}{2}\) currents can be determined by using the relations Appendix (G.1) of [72] (or Appendix (G.2) in this paper) and it turns out that

$$\begin{aligned} T_{+}^{(\frac{3}{2})}= & {} -\frac{1}{\sqrt{2}} \, \sqrt{\frac{1}{k+N+2}} \, \Bigg [ G^{+}-\sqrt{2} \, G^{+,3} \Bigg ], \nonumber \\ T_{-}^{(\frac{3}{2})}= & {} \frac{1}{\sqrt{2}} \, \sqrt{\frac{1}{k+N+2}} \, \Bigg [ G^{-}-\sqrt{2} \, G^{-,3} \Bigg ], \nonumber \\ U^{(\frac{3}{2})}= & {} - \sqrt{\frac{1}{k+N+2}} \, \Bigg [ G^{+,1}-i \, G^{+,2} \Bigg ], \nonumber \\ V^{(\frac{3}{2})}= & {} \sqrt{\frac{1}{k+N+2}} \, \Bigg [ G^{-,1}+ i \, G^{-,2} \Bigg ]. \end{aligned}$$
(8.2)

Again, from (2.7) and (2.11), we observe that in the spin-\(\frac{3}{2}\) current \(T_{+}^{(\frac{3}{2})}\), the index \(j=1\) and the index \({\bar{i}}=1\) survives and this corresponds to the nonzero elements in the \(N \times N \) identity matrix inside of the \(4N \times 4N\) matrix in the last expression of Appendix B of [72]. Here, each of spin-\(\frac{3}{2}\) currents in (8.1) is reduced to further here. Note that the eight rank two tensors which are \(4N \times 4N\) matrices and the nonzero elements appear in four \(N \times N\) identity matrices in [72]. In (8.2), we are left with these \(4N \times 4N\) matrices where only \(N \times N\) identity matrix arises.

Then the eight spin-\(\frac{3}{2}\) currents of the left hand sides in (8.1) and (8.2) for generic k and N can be realized by two \(G^{\pm }\) and six \(G^{\pm , a}\) (where \(a=1,2,3\)) in the right hand sides.

8.3 Higher spin-2 currents

By using Appendix (G.2) of [72] together with (8.1) and (8.2) (or Appendix (G.3)), we can determine the following spin-2 currents for generic k and N as follows:

$$\begin{aligned} U_{-}^{(2)}= & {} -\frac{1}{2(k+N+2)} \Bigg [ - i \, f^{3 1 c} \, K^c \nonumber \\&+ \frac{(k+N+2)}{k}\, i \, f^{3 1 c} \, J^c \, K + 2 \, J^1 \, J_f^3 \nonumber \\&- f^{3 2 c} \, K^c + \frac{(k+N+2)}{k} \, f^{3 2 c} \, J^c \, K - 2 i \, J^2 \, J_f^3 \Bigg ], \nonumber \\ V_{+}^{(2)}= & {} \frac{1}{2(k+N+2)} \Bigg [ i \, f^{3 1 c} \, K^c \nonumber \\&- \frac{(k+N+2)}{k}\, i \, f^{3 1 c} \, J^c \, K + 2 \, J^1 \, J_f^3 \nonumber \\&- f^{3 2 c} \, K^c + \frac{(k+N+2)}{k}\, f^{3 2 c} \, J^c \, K + 2 i \, J^2 \, J_f^3 \Bigg ], \nonumber \\ U_{+}^{(2)}= & {} -\frac{1}{2(k+N+2)} \Bigg [ 2 \, i\, f^{1 3 c} \, W^{+(2),c} + i \, f^{1 3 c} \, K^c \nonumber \\&- \frac{1}{k}\, i \, f^{1 3 c} \, J^c \, K + 4 \, J^3 \, J_f^1\nonumber \\&+ f^{a 3 c} \, f^{1 c d} \, J^a \, J_f^d +2 \, f^{2 3 c} \, W^{+(2),c} \nonumber \\&+ f^{2 3 c} \, K^c - \frac{(k+N+2)}{k} \, f^{2 3 c} \, J^c \, K\nonumber \\&- 4 i \, J^3 \, J_f^2 - i\, f^{a 3 c} \, f^{2 c d} \, J^a \, J_f^d \Bigg ], \nonumber \\ V_{-}^{(2)}= & {} \frac{1}{2(k+N+2)} \Bigg [ 2\, i\, f^{3 1 c} \, W^{+(2),c} + i \, f^{3 1 c} \, K^c \nonumber \\&- \frac{(k+N+2)}{k}\, i \, f^{3 1 c} \, J^c \, K + 2 \, J^1 \, J_f^3 \nonumber \\&- 2 \, f^{3 2 c} \, W^{+(2),c} - f^{3 2 c} \, K^c \nonumber \\&+ \frac{(k+N+2)}{k} \, f^{3 2 c} \, J^c \, K + 2 i \, J^2 \, J_f^3 \Bigg ], \nonumber \\ T^{(2)}= & {} -\frac{1}{2(k+N+2)} \Bigg [ -\frac{2 (k+N)(k+N+2)}{(k+N+2 k N)}\, \delta ^{3 3} \, T\nonumber \\&+2 \, J^3 \, J_f^3 \nonumber \\&+ \sqrt{2} \, i \, f^{3 a b} \, J^a \, J_f^b \nonumber \\&+ J^a \, J^a + J_f^a \, J_f^a + 2 \sqrt{2}\, W^{+(2),3} \Bigg ], \nonumber \\ W^{(2)}= & {} \frac{1}{2(k+N+2)} \Bigg [ -2 \, J^1 \, J_f^1 \nonumber \\&- 2 \, f^{2 1 c} \, W^{+(2),c} - 2 \, f^{2 1 c} \, K^{c} \nonumber \\&+ \frac{2 (k+N+2)}{k} \, f^{2 1 c} \, J^c \, K \nonumber \\&+ 2 i \, J^1 \, J_f^2 + i \, f^{a 1 c} \, f^{2 c d} \, J^a \, J_f^d \nonumber \\&+ 2 (k+N+2)\, \delta ^{2 2} \, T - \delta ^{2 2}\, J^a \, J^a \nonumber \\&- \delta ^{2 2}\,J_f^a \, J_f^a + f^{a 2 c} \, f^{2 c d} \, J^a \, J_f^d \Bigg ]. \end{aligned}$$
(8.3)

The way we obtain (8.3) is that for fixed \((N,M)=(5,2)\), we can determine the field contents explicitly. After that, we read off the generic (NM) dependence manually. If we compute the relevant OPEs manually from the beginning, then we will obtain different expressions. However, we can check that eventually those become the above results (8.3) by using some identities in the structure constants. In (8.3), although there exist the spin-2 current \(K^a\) dependent terms, we can replace them by using (5.7) with \(W^{\pm (2),a}\) term and others.

Therefore, the six spin-2 currents for generic k and N can be realized by the six spin-2 currents \(W^{\pm (2),a}\) where \(a=1,2,3\) and other composite operators.Footnote 36

8.4 Higher spin-\(\frac{5}{2},3\) currents

Now we can compute Appendix (G.4) of [72] by using (8.1) and (8.3) and taking the first order poles (or Appendix (G.4)), we will obtain the four spin-\(\frac{5}{2}\) currents. Then we need to calculate the OPEs between \(G^{\pm ,a}(z)\) and \(W^{\pm (2),b}(w)\) as done in Sect. 6. In other words, we should compute the OPEs between the second \({{\mathcal {N}}}=2\) multiplet and itself (and the OPEs between the first \({{\mathcal {N}}}=2\) multiplet and the second \({{\mathcal {N}}}=2\) multiplet). For fixed N with \(M=2\), we have checked that we can write down the spin-\(\frac{5}{2}\) currents explicitly. See Appendix (H.1). It turns out that they can be written in terms of \(V^{\pm (\frac{5}{2}),a}\) (or \(G^{\pm (\frac{5}{2}),a}\)) plus other terms.Footnote 37

Eventually, the spin-3 current can be realized by the equation (3.50) of [72]. That is, after determining the spin-\(\frac{5}{2}\) current \( W_{-}^{(\frac{5}{2})}\) for generic N and M, we use

$$\begin{aligned} W^{(3)}= & {} {\hat{G}}_{21}(z) \, W_{-}^{(\frac{5}{2})}(w) \Bigg |_{\frac{1}{(z-w)}} \nonumber \\&-\Bigg [ \frac{1}{4} \, \partial \, \Bigg ( {\hat{G}}_{21}(z) \, W_{-}^{(\frac{5}{2})}(w) \Bigg |_{\frac{1}{(z-w)^2}}\Bigg ) \nonumber \\&+ \frac{8 i N(3k+1)}{(N+k+2) ( 5N+4+6k N+5k )} \, \bigg (-\frac{i}{\sqrt{2}}\bigg ) \, \Big ( T \, J^3\nonumber \\&- \frac{1}{2} \partial ^2 \, J^3 \Big ) \nonumber \\&+ \frac{8 i k (3N+1)}{(N+k+2) ( 5N+4+6 k N+5k )} \, \bigg (\frac{i}{\sqrt{2}}\bigg ) \, \Big ( T \, J_f^3\nonumber \\&- \frac{1}{2} \partial ^2 \, J_f^3 \Big )\nonumber \\&+ \frac{8(k-N)}{ (5N+4+6 k N+5k) } \, \Big ( T \, K- \frac{1}{2} \partial ^2 K \Big ) \Bigg ]. \end{aligned}$$
(8.4)

Of course, from the first line of (8.4), we should calculate the corresponding OPEs. In the last three lines, the relations appearing in the footnotes 35 and 36 are used.

8.5 For \(M=3\)

What happens for \(M=3\) case? In particular, how do the supersymmetry generators appear when we increase M by 1? The field contents for the spin-\(\frac{3}{2}\) currents \(G^{\pm , a}\) remain the same when we select the right choice for the index a as SU(2). The previous indices 1, 2, 3 in (8.1) correspond to 1, 4, 7 for \(M=3\) case. From the definition of \(G^{\pm ,a}\) (2.11), the summations over j and \({\bar{i}}\) contain the index 3. However, any generators \(t^a\) for indices \(a=1,4,7\) do not have any rows and columns having an index 3. Then we are left with the spin-\(\frac{3}{2}\) currents \(G^{\pm , a}\) with same field contents for \(M=2\) case. Now we look at the other spin-\(\frac{3}{2}\) currents in \(G^{\pm }\) (2.7). In this case, there exist the summations over j and \({\bar{i}}\) having the index 3. Therefore, as we increase the M value, the field contents for these spin-\(\frac{3}{2}\) currents are increasing. In other words, the field contents of spin-\(\frac{3}{2}\) currents for \(M=3\) are the same as the one for \(M=2\) and other terms.

This implies that for example, the OPE between \({\hat{G}}_{11}(z)\) and \({\hat{G}}_{12}\), where the numerical factor 2 inside of the square root is replaced by 3 and the indices 1, 2, 3 are replaced by 1, 4, 7, does not lead to the one of the known relation in the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra due to the contribution from other terms we mentioned above. Therefore, we do not have \({{\mathcal {N}}}=4\) supersymmetry for \(M=3\) and we expect that this holds for \(M >2\).

In summary, the currents of \({{\mathcal {N}}}=4\) nonlinear superconformal algebra are given by (8.1) together with other currents appearing in the footnotes 35 and 36. Moreover, the higher spin-\(\frac{3}{2}, 2\) currents are described in (8.2) and (8.3). The spin-\(\frac{5}{2}\) currents are in Appendix H for fixed \(N=5\). Finally, the spin-3 current is given by (8.4) implicitly.

9 Conclusions and outlook

The highest component of the first \({{\mathcal {N}}}=2\) multiplet is found in (3.1). The second \({{\mathcal {N}}}=2\) multiplet is found by (4.7), (4.5), (4.6) and (4.11). The third \({{\mathcal {N}}}=2\) multiplet is obtained from (5.7), (5.9) and (5.11). Their OPEs between the currents of the \({{\mathcal {N}}}=2\) superconformal algebra and these above currents are determined completely in the Sects. 3, 4 and 5. Moreover the OPEs between the first \({{\mathcal {N}}}=2\) multiplet and itself are described with the observation of three kinds of new primary operators. Similarly, we describe the OPE between the lowest singlet spin-2 current and itself in the second \({{\mathcal {N}}}=2\) multiplet. Finally, the extension of the large \({{\mathcal {N}}}=4\) nonlinear superconformal algebra for \(M=2\) is realized from the coset fields living in (1.2).

Therefore, we have obtained some currents (and their OPEs) in the supersymmetric coset model for generic kN and M which correspond to the generators of the \({{\mathcal {N}}}=2\) “rectangular” W-algebra in the \(AdS_3\) bulk theory according to a holography [30]. We have obtained the \({{\mathcal {N}}}=2\) version of [12] and obtained the generalization of [72] (which is for \(M=2\) case) to a generic M. In this paper, we have f, d symbols or Kronecker delta in the structure constants of the OPEs compared with the ones of [72] with various invariant tensors. For generic \(M > 2\), we do not have to worry about the identities between these invariant tensors although the supersymmetry is given by \({{\mathcal {N}}}=2\).

We present the future directions related to the results of this paper as follows:

  • More supersymmetric cases

It is obvious that when we further restrict the level for \(SU(N+M)_k\) to be the dual Coxeter number of \(SU(N+M)\), there arises an enhancement of the \({{\mathcal {N}}}=3\) supersymmetry [82]. It would be interesting to see how we can construct the relevant coset fields explicitly by using the additional fermions. Note that in the coset of (1.2), there is no \(SU(M)_{k+N}\) factor in the denominator and this will lead to more general case because we should add this factor into the one of [82].

  • At the critical level with \(M=2\)

In this case (by fixing the M value further in previous consideration), we should check whether the original \({{\mathcal {N}}}=4\) supersymmetry is enhanced to more supersymmetric cases or not. The point is how to obtain the additional supersymmetry generator by using the additional spin-\(\frac{1}{2}\) fermions without spoiling the present \({{\mathcal {N}}}=4\) supersymmetry generators.

  • More OPEs between the \({{\mathcal {N}}}=2\) multiplets

So far we have considered the simplest OPEs in Sect. 6. However, there are other OPEs between the \({{\mathcal {N}}}=2\) multiplets we should consider. It is an open problem to study their OPEs systematically.

  • Are there any \({{\mathcal {N}}}=2\) primary basis?

We have seen that the \({{\mathcal {N}}}=2\) superconformal algebra we describe in this paper has the modified stress energy tensor. It is an open problem to find whether there are any \({{\mathcal {N}}}=2\) primary basis where the description of Appendix B is satisfied or not. What happens if we use the modified stress energy tensor rather than the stress energy tensor T (2.5)?

  • How do we construct the higher spin algebra in the \(AdS_3\) gravity side via holography?

According to the result of [3] on the holography, it is natural to ask whether we can construct the corresponding \({{\mathcal {N}}}=2\) higher spin algebra in the supersymmetric coset model in this paper. For \(M=2\), there is a construction in [70]. For generic M, it is an interesting problem to obtain them explicitly. The additional M dependence will play the role newly.

  • The orthogonal case

Once we have found the higher spin currents in the bosonic orthogonal case, then its supersymmetric version can be obtained similarly. If we use the embedding between the unitary and orthogonal groups, then maybe the f and d symbols in the unitary group can be used. The previous works [83,84,85,86] can be used. See also [87].

  • Are there any systematical construction for the currents having more than two free indices?

We have seen the new primary currents in the Sect. 6 having the two free indices. Then the question is how we can determine the spin contents of this kind of primary currents. As a first step, we should obtain the \({{\mathcal {N}}}=2\) description for the above three spin-\(\frac{5}{2},3\) currents. That is, can we obtain the possible lowest (and highest) components explicitly?

  • Extension of the large \({{\mathcal {N}}}=4\) linear superconformal algebra

We can think of the large \({{\mathcal {N}}}=4\) linear superconformal algebra [88,89,90,91,92,93,94,95,96] by introducing the four spin-\(\frac{1}{2}\) operators and the spin-1 current with fixed \(M=2\). For the spin-1 current we can think of some linear combination of the spin-1 operator \(J^{u(1)}\) and \(J^{u(1)}_f\) appearing in the spin-1 current of (2.9) as a candidate. For the spin-\(\frac{1}{2}\) operators, it is not clear how to construct them by some contractions of the indices. It would be interesting to study further.