Abstract
The W(a, b) and \(W(a,b;\bar{a},\bar{b})\) algebras are deformations of \(\mathfrak {bms}_{3}\) and \(\mathfrak {bms}_{4}\) algebras, respectively. We present a \(\mathcal {N}=2\) supersymmetric extension of both algebras in the presence of Rsymmetry generators that rotates the two supercharges. Our construction provides the most generic central extensions of the W(a, b) algebra. In particular, we find that \(\mathcal {N}=2\) \(\mathfrak {bms}_{3}\) algebra admits a new central extension. On the other hand, we explicitly demonstrate that an infinite \(U(1)_V \times U(1)_A\) extension of the \(W(a,b;\bar{a},\bar{b})\) algebra corresponding to the \(R-\)symmetry is not possible for linear and quadratic structure constants with generic deformation parameters. This also implies that the infinite R symmetry considered in our analysis is broken for the \(\mathcal {N}=2 \, \mathfrak {bms}_{4}\) algebra.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and summary
For any theory, its asymptotic symmetries are of immense physical significance. The symmetries at the asymptotic boundary of a theory depend on the boundary fall-off of its constituent fields. In most examples, the asymptotic symmetry is generally increased compared to the bulk symmetry of the theory. However, the bulk symmetry must be contained in the asymptotic symmetry group algebra as a subalgebra. For a theory in asymptotically flat spacetime, if one recedes from sources towards null infinity, at any finite radial distance from the source, one expects the symmetry algebra to be just Poincaré. However, at null infinity, the asymptotic symmetry algebra in the Bondi gauge is enhanced to the Bondi–Metzner–Sachs or the \(\mathfrak {bms}\) algebra generated by an infinite number of generators known as supertranslations [1, 2]. The \(\mathfrak {bms}\) algebra can also be realized in other asymptotic regions, such as at spatial or time-like infinity [3, 4]. One can further extend the \(\mathfrak {bms}\) algebra by including superrotations [5], which manifest as a double copy of Virasoro algebra. The finite-dimensional Poincaré algebra is a subalgebra of the extended \(\mathfrak {bms}\) algebra. These infinite-dimensional \(\mathfrak {bms}\) algebras have gained renewed importance due to recent developments on the relations between soft theorems and asymptotic symmetries in analyzing the vacuum of gauge theories and gravity [6,7,8,9,10,11]. It is well understood that at any null boundary in two- or three-dimensional spacetime, one can obtain an infinite-dimensional algebra by constructing the conserved charges [12].Footnote 1 Recently, this has also been realized in general dimensions [14]. It is interesting to understand how these \(\mathfrak {bms}\) algebras are modified in the presence of extended supersymmetries in a theory of gravity. Furthermore, in the presence of internal gauge fields, namely the \(R-\) symmetry fields, the supercharges rotate non-trivially among themselves. This brings interesting dynamics to the system such as modification of the Bogomol’nyi–Prasad–Sommerfield (BPS) condition in the presence of \(R-\)charges [15, 16]. The effects of extended supersymmetries and \(R-\)symmetries have been studied extensively in the context of asymptotic symmetries of three-dimensional supergravity theories. The supersymmetric deformations of \(\mathfrak {bms}_{3}\) algebras and their consequences were detailed in [16,17,18,19,20,21,22,23,24,25]. In particular, it has been shown that the \(R-\)charges also obtain infinite extensions at the null infinity, and the space of the asymptotically flat cosmological solutions is extended considerably [16, 22]. There has been no similar study in the context of four-dimensional asymptotically flat extended supergravity theory. This leads us to look for deformations of \(\mathfrak {bms}_{4}\) algebra.
There are two distinct possible ways of generating a new algebra starting from one, namely deformations and contractions of an algebra. Deformation of a Lie algebra can be viewed as an inverse procedure of Inönü–Wigner [26] contraction. While physicists have tackled more with contraction of Lie algebras, deformations of various well-known Lie algebras in physics have been recently considered in the literature [27,28,29,30,31,32]. In contraction prescription, one tries to obtain a new non-isomorphic algebra through specific limits of a known algebra, whereas in the deformation prescription one deforms a Lie algebra to obtain new (more stable) algebras by turning on structure constants in some commutators [33, 34]. For instance, one may take the limit of the Poincaré algebra by sending the speed of light to infinity (or to zero) to obtain Galilean (or Carroll) algebra, and conversely, the Galilean (or the Carroll) algebra may be deformed into the Poincaré algebra [27, 35]. In recent works [36, 37], it has been proven that the three- and four-dimensional pure \(\mathfrak {bms}\) algebras can be deformed, in their non-ideal part, into two families of new non-isomorphic infinite-dimensional algebras called W algebras. In the context of three spacetime dimensions, these are known as W(a, b) algebras, where \(\mathfrak {bms}_{3}\) corresponds to \(W(0,-1)\). In the context of four spacetime dimensions, these are known as \(W(a,b;\bar{a},\bar{b})\) algebras, where \(\mathfrak {bms}_{4}\) corresponds to \(W(-1/2.-1/2;-1/2,-1/2)\). It has been shown that by imposing appropriate boundary conditions, both W(0, b) and W(b, b; b, b) algebras are obtained as near-horizon symmetry algebras of three- and four-dimensional black holes [38]. Also, W(b, b; b, b) has been obtained as the asymptotic symmetry algebra of flat Friedmann–Lemaître–Robertson–Walker (FLRW) spacetimes [39]. On the other hand, W(0, 1), W(0, 0) and \(W(0,-1)\) have appeared as asymptotic symmetry algebras in various gravitational theories [40,41,42].
In this paper, our primary goal is to find the supersymmetric extension of \(\mathfrak {bms}_{4}\) algebras in the presence of \(R-\)symmetry charges. To achieve this, we need to extend the W(a, b) and \(W(a, b; \bar{a}, \bar{b})\) algebras with two (fermionic) supercharges. We further consider that the two supercharges rotate among themselves due to an internal R-symmetry. Our construction is purely group-theoretic with only two inputs, namely, (a) we demand the consistency of the possible extended algebra with the Jacobi identities, and (b) we demand that the extended algebra contains the super-Poincaré algebra as its subalgebra, for particular values of deformation parameters. The explicit construction is as follows:
-
In three spacetime dimensions, we first introduce a set of infinite fermionic generators to grade the known W(a, b) algebras and ensure that the resulting superalgebra satisfies graded Jacobi identities. Next, we perform a similar construction with infinite bosonic \(R-\)charge generators. We further extend our analysis to include the central charges in the algebras. As we have stated above, \(W(0,-1)\) gives the usual \(\mathfrak {bms}_{3}\), and various supersymmetric extensions of \(\mathfrak {bms}_{3}\) algebras are well investigated [22, 23]. Our construction of supersymmetric centrally extended W(a, b) algebras in this paper reproduces the known results for \(a=0, b=-1\), although we obtain a new possible central extension.
-
So far in four spacetime dimensions, we know generic bosonic \(W(a, b; \bar{a}, \bar{b})\) algebra with central extensions [37]. As stated above, \(\mathfrak {bms}_{4}\) is a special case of these for \(a=b=\bar{a}=\bar{b} =-1/2.\) Furthermore, in [43], minimal supersymmetric generalization of \(\mathfrak {bms}_{4}\) with one supercharge has been obtained. In this paper, we first extend bosonic \(W(a, b; \bar{a}, \bar{b})\) with a set of infinite supercharges. Next, we perform further extension with infinite \(R-\)charges. In this case, the resulting algebra has not been centrally extended. Interestingly, we find that for \(\mathfrak {bms}_{4}\) with two supercharges, one cannot infinitely extend the \(R-\)charge sectors. We have shown this rigidity for both linear and quadratic dependence of the structure constants. The Jacobi identities are only satisfied within the global sector, i.e., for \(\mathcal {N}=2\) super-Poincaré algebra with global \(R-\)charges. This is one of the primary results of this paper.
Here we must mention that both the three- and four-dimensional algebras constructed in this paper are purely mathematical. In both cases, the corresponding super-Poincaré algebras are embedded in them as subalgebras for appropriate values of the deformation parameters. Thus, in principle, these algebras might show up as the asymptotic symmetry algebras for three- and four-dimensional asymptotically flat theories. In particular, the \(\mathcal{{N}}=2\) extension of \(\mathfrak {bms}_{4}\) is a probable candidate for four-dimensional \(\mathcal{{N}}=2\) supergravity theories with \(R-\)charges.
Let us summarize the organization and results of the paper below:
-
In Sect. 2, we begin with a brief review of the basic properties of the W(a, b) algebra. Next, we present a new analysis on a \(\mathcal {N}=2\) supersymmetric extension in the presence of R-charges which rotate the supercharges among themselves. We conclude this section with the central extension of the supersymmetric W(a, b) algebra. Equation (2.43) represents the \(\mathcal {N}=2, \, W(a,b)\) algebra, whereas Eq. (2.45) along with the table below it represents its most generic central extensions.
-
Section 3 discusses the basic properties of \(W(a, b, \bar{a}, \bar{b})\) algebra and may be skipped by the experts. We have added it for establishing the notations used in the later sections.
-
In Sect. 4, we extend the \(W(a, b, \bar{a}, \bar{b})\) algebra to include two supercharges, but any internal symmetry. This section forms the base of the main results of the paper, which are presented in Sect. 5. Equation (4.5) presents the key results of this section, which is an infinite extension of \(\mathfrak {bms}_{4}\) in the presence of two supercharges.
-
Section 5 contains the most important results of this paper. In this section, we introduce two sets of R-charges along with other \(\mathcal {N}=2 \,\, W(a, b, \bar{a}, \bar{b})\) generators and studied the possibility to find an infinite extension of the algebra. Here we consider the cases for structure constants being both linear and nonlinear in their arguments and perform a detailed analysis. We find a non-affirmative result (unlike the case of Sect. 4), as discussed at the end of the section.
-
In Sect. 6, we conclude with a discussion on the main results and possible future directions.
2 Three-dimensional supersymmetric W(a, b) and R-extended W(a, b)
Earlier works such as [36, 37] discussed aspects of deformation and stability of \(\mathfrak {bms}_{3}\) and \(\mathfrak {bms}_{4}\) algebras. In this section, we briefly describe their results and observations for \(\mathfrak {bms}_{3}\). The centerless \(\mathfrak {bms}_{3}\) algebra can be written as
Physically, the \(J_m\)s are identified with superrotations, while the \(P_n\)s are supertranslations. This algebra can be deformed into the two-parameter family algebra called W(a, b), where a, b are arbitrary real parameters [37]. Explicitly, the W(a, b) algebra is given by
It is straightforward to see that \(W(0,-1)\) corresponds to \(\mathfrak {bms}_{3}\).
2.1 Supersymmetric W(a, b) algebra
In this section, we write down a supersymmetric version of the W(a, b) algebra. Subsequently, we will introduce R- and S-charges and also determine the central extension to the algebra. We start by introducing fermionic generators \(G_s\) in the W(a, b) algebra where s runs over half-integers. Our goal would be to write down an extended algebra starting with the centerless W(a, b) algebra as given above by demanding the consistency of Jacobi identities. For the time being, unlike \(\mathfrak {bms}_{3}\), we do not search for the realization of the algebra as the asymptotic symmetry algebra of a supersymmetric theory at null infinity in three spacetime dimensions.
Along with the usual W(a, b) algebra as given in (2.2), we introduce the following three commutators
The above extension is motivated by various super-\(\mathfrak {bms}_{3}\) algebras written in [21,22,23]. We choose to normalize the super-current generators \(G_s\) in such a way that the structure constant appearing in (2.3) is unity. It is expected that any deformation of the \(\mathfrak {bms}_{3}\) algebra by the parameters a and b will not change the index structure appearing on the RHS of (2.4). For \(\mathfrak {bms}_{3}\), it is known that \([P_m,G_r]=0\). However, it is possible that a deformation gives a nontrivial commutator between the supercurrents and supertranslation which vanishes when \(a=0, b=-1\).Footnote 2 This motivates us to propose (2.5), where l(m, s) is a linear function in m and s. The structure constants \(\alpha \) and \(\beta \) appearing above are also assumed to be linear functions of its arguments. Our strategy will be to fix these structure constants and l(m, s) by demanding the consistency of certain relevant Jacobi identities.
The Jacobi identity involving the generators \(G_r, G_s\) and \(P_m\) is given by
Using (2.2) and (2.3)–(2.5), we obtain
Assuming linearity of l(m, s) and the structure constant \(\beta (m,s)\) in both of their arguments, the above equation is satisfied if \(l(m,s)=l_0+l_1m +s\), where \(l_0\) and \(l_1\) are constants and \(\beta (m,r)=-\beta (m,s)\) for any r, s. This hence yields \(\beta (m,s)=0\).
Next, we use Jacobi identities on the operators \(J_m, G_s\) and \(G_r\) to determine \(\alpha (m,s)\). The corresponding Jacobi identity is
Using (2.2), (2.3)–(2.5), we obtain
Clearly, equating the coefficients of \(P_{m+r+s}\), we recover
The Jacobi identity applied on \(J_m,J_n\) and \(G_s\) reads as
A similar exercise on the above Jacobi identity followed by equating the coefficient of \(G_{m+n+s}\) yields
It can be easily seen that the structure constant \(\alpha (m,s)\) as determined in (2.10) indeed satisfies the above equality. We thus end up with a possible \(\mathcal {N}=1\) supersymmetric extension of W(a, b) algebra given by
Now that we have obtained a possible \(\mathcal {N}=1\) extension of the W(a, b) algebra, we can consider including another copy of fermionic supercharges which we denote by \(H_s\), where the index s can take half-integer values. They satisfy the following commutators with the superrotation and supertranslation generators of the W(a, b) algebra
The supercurrent generators \(G_s\) and \(H_s\) can be used to define the following linear combinations
The newly defined generators \(Q^1_r\) and \(Q^2_r\) satisfy
2.2 R-extension of supersymmetric W(a, b) algebra
Our next aim is to write the generalized algebra in the presence of R-charges. R-charge generators rotate the supercharge generators and thus introduce additional non-trivialities in the algebra. It is known that the introduction of \(R-\)charge generators necessitates the introduction of S-charge generators [44] in the context of \(\mathfrak {bms}_{3}\) symmetries. Motivated by the \(\mathcal {N}=2\) \(\mathfrak {bms}_{3}\) algebra as discussed in [23], we begin our analysis by proposing the following relations involving the R-charge and S-charge generators
In writing the above ansatz, we have assumed that the addition of \(R-\) symmetry generators to the \(\mathcal {N}=2\) super-W(a, b) algebra will not affect the index structure of the undeformed algebra. The Jacobi identity for the operators \(Q_m^1, Q_n^2\) and \(R_s\) is given by
Using (2.17) and (2.18) in the above, we obtain
Further, noting that \([S_m,R_n]= 0\) implies that the LHS of (2.20) is independent of the translation generator \(P_m\), in order to make this Jacobi identity consistent, the coefficient of the translation generator on the RHS must vanish identically, implying
Since the above has to be true for arbitrary half-integer values of r, s and integer values of m, we conclude that both \(\beta '(m,s)\) and \(\beta (m,r)\) depend only on m, assuming they are linear in their argument. For simplicity, we denote the structure constant appearing in (2.17) as \(\beta (m)\).
Demanding further consistency of (2.20) yields
The two Jacobi identities involving \(Q_r^1, J_n\) and \(R_m\), and \(R_l, J_m\) and \(J_n\),
lead to
Assuming the structure constants \(\gamma (m,n)\) and \(\beta (m)\) to be linear in m and n, we explicitly take them to be of the form
The above ansatz for \(\gamma (m,n)\) along with (2.24) ensures that
(2.23) then gives us five equations satisfied by four parameters \(\beta _0, \beta _1, \gamma _0\) and \(\gamma _2\), where
Clearly, the above set of equations are over-constrained but admit the following consistent solution
while \(\beta _0\) is a nonzero constant that cannot be further fixed. One can easily check that this is also consistent with the Jacobi identity for \(R_m, R_n\) and \(Q^i_r\). Thus, we can write the following commutation relations
The Jacobi identity involving \(J_m, J_n\) and \(S_l\),
yields
Similar to the ansatz for \(\gamma (m,n)\), we assume the following ansatz for \(\kappa (m,n)\)
Plugging the above ansatz into (2.31), we obtain \(\kappa _1=1\). The Jacobi identity for the operators \(J_l, P_m\) and \(R_n\) leads to the relation
Assuming a linear ansatz for \(\sigma (m,n)\), i.e.,
one can substitute it back into (2.33) to obtain the set of seven relations:
The above system of equations has two consistent solutions:
-
Case I: \(\sigma _0=\sigma _1=0\); \(\kappa _0=a\), \(\kappa _2=b+1\) while \(\sigma _2\) is arbitrary.
-
Case II: \(\sigma _1=\sigma _2=0\); \(\kappa _0=a\), \(\kappa _2=b\) while \(\sigma _0\) is arbitrary.
In light of the above, we can rewrite (2.18) and (2.19) as
Finally, we need to find the structure constant \(\eta (r,s)\) appearing in \(\{Q_r^1,Q_s^2\}\) in (2.18). Assuming a linear form of \(\eta (r,s)\) i.e. \(\eta (r,s)=\eta _0+\eta _1 r +\eta _2 s ,\) we use (2.22) to see that we must have a relation of the form
It is quite evident that a choice of parameters as defined in Case II in our preceding analysis is inconsistent with the above equation since the LHS is a constant and independent of m. However, from the structure constants of Case I, we arrive at the relation
Finally, the Jacobi identity for \(Q_r^1, Q_s^2\) and \(J_m\) can be written as
Using (2.18) and (2.19), the above gives rise to
Since, \(\kappa (m,n)=a+m+(b+1)n\), the above equation will be satisfied if,
Thus, the R- and S-charge sector algebra under a deformation reads:Footnote 3
Redefining \(S_n \rightarrow \mathcal {S}_n/\eta _1\) and \(R_n \rightarrow \beta _0 \mathcal {R}_n\), we arrive at the full W(a, b) algebra including R- and S-charge generators
where indices \(\{m,n,p,q\} \in \mathbb {Z}\), while \(\{r,s\} \in \mathbb {Z}+\frac{1}{2}\) and \(i\in \{1,2\}\). All other commutators vanish. The conformal weight of the generators \(P_m\) and \(S_m\) are \(-b+1\) and \(-b\), respectively, while the weight of \(Q^1,Q^2\) is \(-\frac{b}{2}+1\). For the specific case \(a=0\) and \(b=-1\) which corresponds to supersymmetric-\(\mathfrak {bms}_{3}\), we recover the same algebra as given in [23].Footnote 4
2.3 Central extensions of supersymmetric W(a, b)
One can show that the W(a, b) algebra for generic values of its parameters just admits one central term in its Witt part, but for certain specific values of a and b, it admits various central extensions. The most general centrally extended supersymmetric W(a, b) algebra can be written as
where the Jacobi identity between the generators will put constraints on unknown functions \(u,v,x_i,y,z,w,g_i,f,h,w_i,t_i,k,s,h^i,f^i\), which denote the possible central extensions.
The analysis in Appendix A gives a complete classification of all possible central extensions to the W(a, b) algebra for arbitrary values of a and b. Although our ansatz (2.44) was very general, we eventually ended up with only a few nonzero central extensions for certain specific values of a and b. To summarize our findings, we tabulate the nontrivial central charges obtained for other specific domains of the deformation parameters a and b in the following (Table 1):
Note that in the above, we have not included the central extension in the \([J_m,J_n]\) commutator, which is the usual Virasoro central extension \(C_{jj}m^3\delta _{m+n}\) that is present for any values of a and b. In addition, the central terms in the \([J_m, \mathcal{R}_n]\) and \([\mathcal{R}_m, \mathcal{R}_n]\) commutator also exist for all values of a and b and are given by \(y(m,n)=C_{jr}^{(0)}m^2\delta _{m+n,0}\) and \(w(m,n)=C_{rr}m\delta _{m+n,0}\), respectively. For all cases other than those above, the central extensions vanish.
Here, we tabulate the W(a, b) for \(a= 0\) and \(b=-1\), which is the same as the super-\(\mathfrak {bms}_{3}\) algebra
The above is largely in agreement with the results of [23] except for the \([J_m, \mathcal {R}_n]\) case, where we find a new central term. It is interesting to understand the source of this central term in the three-dimensional asymptotically flat bulk supergravity theory. From the analysis of [23], one can observe that such a central term would not arise with the usual Barnich–Compere boundary conditions. Nevertheless, the study of [45] clearly indicates that an asymptotically Rindler-like behavior will modify the asymptotic symmetry algebra with such central extensions. Therefore, with the Rindler-like boundary condition, one can expect to obtain a BMS-like symmetry with this new central term.
3 \(\mathfrak {bms}_{4}\) group and \(W(a,b;\bar{a},\bar{b})\) algebra
Having established a realization of the extended W(a, b) algebra, we now move on to generalize the above analysis in four spacetime dimensions. Like before, our starting point will be the \(\mathfrak {bms}_{4}\) algebra, which can be thought of as a special case of the more general \(W(a,b; \bar{a},\bar{b})\) algebra [37, 46]. In the early 1960s, [1, 2] attempted to understand and study the radiation that would be detected by a distant observer. Interestingly, they found that the full set of symmetries for an asymptotically flat spacetimeFootnote 5 is an infinite-dimensional group spanned by the so-called supertranslation and superrotation generators, dubbed the \(\mathfrak {bms}_{4}\) group.
The infinite-dimensional centerless asymptotic symmetry algebra of four-dimensional flat spacetime, conventionally known as the \(\mathfrak {bms}_{4}\) algebra [37, 49], is given by
where the indices \(m,n,p,q,k,l \in \mathbb {Z}\). The generators \(\mathcal {L}_m\) and \(\bar{\mathcal {L}}_m\) forming two independent copies of the Witt algebra are known to correspond to superrotations, while the generators \(T_{p,q}\) are known to correspond to supertranslations. Following [37, 50], we briefly describe the map between the global sector of \(\mathfrak {bms}_{4}\) algebra and Poincaré algebra.
Denoting the Lorentz generators as \(M_{\mu \nu }\) and the translations as \(P_{\mu }\), we know that in four spacetime dimensions, they satisfy the algebra
where the indices \(\mu , \nu , \rho , \sigma \in \{0,1,2,3\}\) and \(\eta _{\mu \nu } \equiv \text{ diag }(-1,+1,+1,+1)\) is the flat Minkowski metric. We can define the generator of rotations and boosts as
respectively, where \(\epsilon _{ijk}\) is the Levi-Civita tensor and the indices \(i, j, k \in \{1,2,3\}\). Further, we define the quantities
where
It can be easily verified that the set of operators \(\{\mathcal {L}_{\pm 1},\mathcal {L}_0,\bar{\mathcal {L}}_{\pm 1}, \bar{\mathcal {L}}_0\}\) satisfy the algebra
for \((m,n) \in \{\pm 1,0\}\), thus showing that the set of operators defined in (3.4) indeed correspond to the global part of the infinite-dimensional \(\mathfrak {bms}_{4}\) algebra.
The translation generators \(P_{\mu }\) can be mapped to linear combinations of \(T_{p,q}\), where \((p,q) \in \{0,1\}\), as follows:
This demonstrates that appropriate combinations of the global part of \(\mathfrak {bms}_{4}\) algebra consisting of the operators \(\{\mathcal {L}_{\pm 1},\mathcal {L}_0,\bar{\mathcal {L}}_{\pm 1},\bar{\mathcal {L}}_0,T_{1,0},T_{0,1},T_{0,0},T_{1,1}\}\) can be suitably repackaged to give the Poincaré algebra. It is noteworthy that the \(T_{0,1}, T_{1,0}, T_{0,0}\ \text{ and }\ T_{1,1}\) gives rise to the translation generators, while a certain combination of \((\mathcal {L}_m,\bar{\mathcal {L}}_m)\) where \((m,n) \in \{\pm 1,0\}\) gives rise to the Lorentz generators.
Similarly, for four spacetime dimensions, it has been proved that \(\mathfrak {bms}_{4}\) algebra is not rigid and can be deformed into four-parameter family algebra called \(W(a,b;\bar{a},\bar{b})\) algebra, with commutators as
where \(a,b,\bar{a}\) and \(\bar{b}\) are arbitrary real parameters. In this way, \(\mathfrak {bms}_{4}\) algebra (3.1) can be viewed as \(W(-\frac{1}{2},-\frac{1}{2};-\frac{1}{2},-\frac{1}{2})\). This algebra can be viewed as two copies of W(a, b) and \(W(\bar{a},\bar{b})\), with the identification of \(T_{p,q}\) as a product of supertranslation generators of both algebras. However, as we see in the next section, this structure does not extend to the supersymmetric extensions of the algebra. Another interesting case is W(0, 0; 0, 0), which represents an infinite-dimensional algebra of the symmetries of the near-horizon geometry of non-extremal black holes [51]. The algebra with \(a=b=\bar{a}=\bar{b}=-\frac{1+s}{2}\) for \(0<s<1\) describes the asymptotic symmetry algebra of decelerating FLRW spacetime [39].
4 Supersymmetric \(W(a,b;\bar{a},\bar{b})\) algebra from \(\mathcal {N}=2\) super-\(\mathfrak {bms}_{4}\)
In this section, we write down a supersymmetric extension of \(W(a,b;\bar{a},\bar{b})\) algebra with two supercharges. To get to this, like the \(\mathfrak {bms}_{3}\) algebra, our first goal is to write the supersymmetrized \(\mathfrak {bms}_{4}\) algebra. The first attempt towards the construction of a super-\(\mathfrak {bms}\) algebra was carried out in [52], which however did not consider superrotation generators. [53] further explored asymptotic fermionic charges in \(\mathcal{N}=1\) supergravity on a four-dimensional asymptotically flat background.Footnote 6 [43, 56] have derived such an algebra by analyzing operator product expansions (OPEs) of appropriate operators of Einstein–Yang–Mills theory at the celestial sphere. However, their convention for indices on the supertranslation generators is different from ours. This changes the index structure that appears in the commutators. We fix the index structure of the supersymmetrized \(\mathfrak {bms}_{4}\) algebra by demanding consistency between its global part and the four-dimensional super-Poincaré algebra, which along with (3.2) now also contains
Our starting point in the current context is the algebra stated at (3.1). However, as mentioned earlier, we need to determine the index structure once we include the super-current generators, which we denote by \(Q^i_r\) and \(\bar{Q}^i_r\), where \(i=1,2\) while \(r \in \mathbb {Z} +\frac{1}{2}\). We begin with the global algebra to determine the indices. Hence, we propose the following ansatz involving the supertranslation and superrotation generators with the fermionic supercurrent generators
and all other elements in the super-algebra are zero. We must note here that it is not a priori necessary that the other possible (anti)-commutators are zero for a four-dimensional asymptotically flat supergravity theory; however, we consider this simplified deformation for the purpose of this paper. Our approach is pragmatic—we simply want to write a possible supersymmetric extension of \(\mathfrak {bms}_{4}\) algebra such that its global part coincides with the super-Poincaré algebra. The OPE analysis of [43, 56] found that the only nonzero commutators in super-\(\mathfrak {bms}_{4}\) algebra are those mentioned above in (4.2). This motivates us to propose the ansatz as written above. We further make the simplifying assumption that the functions parameterizing the indices \(f,g,h,\bar{h}\) are all linear in their arguments.Footnote 7
We demand that the map between supercurrent modes and the fermionic generators of the super-Poincaré algebra be
Assuming the indices f and g are linear in their arguments, one can fix the explicit form using the global sector, i.e., the super-Poincaré algebra, to obtain
The details of the derivation are provided in Appendix 1.
Thus, a particular realization of the \(\mathcal {N}=2\) super-\(\mathfrak {bms}_{4}\) algebra can be written as
while the other (anti)-commutators are identically zero. One can easily check that all the Jacobi identities are satisfied for the above algebra. Now that we have fixed the indices in the super-\(\mathfrak {bms}_{4}\) algebra, we assume that deformations do not change that and thus will carry over to the \(W(a,b;\bar{a},\bar{b})\) algebra. Thus, the supersymmetrized \(W(a,b;\bar{a},\bar{b})\) algebra is
where all other commutators are zero. \(\alpha (m,r)\) is fixed by the Jacobi identity for \(Q^i_r, \bar{Q}^j_s\) and \(\mathcal {L}_m\), which is given by
Similarly. we fix \(\bar{\alpha }(m,r)\) using the Jacobi identities of \(Q^i_r, \bar{Q}^j_s\) and \(\bar{\mathcal {L}}_m\).
5 R-extended supersymmetric \(W(a,b;\bar{a},\bar{b})\) algebra
Before going to the R-extension of the \(W(a,b;\bar{a},\bar{b})\) algebra, let us briefly recall some important points about super-Poincaré algebras in the presence of \(R-\)symmetry. R-charge rotates the SUSY generators among themselves. The \(R-\)extension is the largest subgroup of the automorphism group of the supersymmetry algebra which commutes with the Lorentz group. As discussed in [58], generic \(\mathcal {N}=2\) super-Poincaré algebra contains two species of R-symmetry generators—vectorial and axial—which act on the supercharges as
As a matter of fact, theories with extended supersymmetries are extremely rich precisely due to the presence of these two kinds of supercharges. These R-symmetries can in fact be used as a powerful tool to define various twistings in a theory (A-type or B-type), resulting in what is known as topological field theories whose correlators happen to be independent of the background metric. Although, conventionally, theories with either kind of R-symmetry are considered, in general, the full theory does contain both kinds of R-symmetries. In the current context, since we are specifically interested in \(\mathcal {N}=2\) SUSY, the R-symmetry generator in fact generates the group \(U(1)_V \times U(1)_A\). Following [58], we will associate \(R_0\) with the vectorial R-symmetry while \(\bar{R}_0\) will be associated as the axial R-symmetry. Another important aspect of super-Poincaré algebras is that the \(R-\)charges commute with the bosonic Poincaré generators. We utilize these facts in our constructions. To be precise, in the following we demand that our R-extended \(W(a,b;\bar{a},\bar{b})\) algebra must have vanishing commutators of the \(R-\)charge generators with other bosonic generators in the global sector for the deformation \(W(-1/2,-1/2;-1/2,-1/2)\)Footnote 8
In order to realize the extension of R-charges in the context of \(W(a,b;\bar{a},\bar{b})\) algebra, we will start with a general ansatz,
It must be noted that in the above ansatz, although i is a repeated index on the RHS, there is no sum over i. While we will be primarily interested in \(\mathcal {N}=2\) algebras, the discussion in this section is valid for an arbitrary value of \(\mathcal {N}\). Thus we consider \(i=1,2,\ldots ,\mathcal {N}\). Furthermore, since we are working in a very general setting, we assume that \(\beta ^{i}\) is different for \(i=1,2,\ldots ,\mathcal {N}\). This is of course not the most general extension one can think of, but rather a simpler starting point, which is also consistent with the global subsector (5.1).
In the following analysis, we will assume that the indices appearing in the above ansatz are linear in their arguments, which is a basic feature of most algebras. Consistency with the global subsector, i.e., (5.1), fixes the form of the indices as
where \(c,\bar{c},k\) and \(\bar{k}\) are integers, and the structure constants are nonzero at least in the global subsector, i.e., when \(r= \pm \frac{1}{2}\) and \(n=0\). We have to find their form away from the global sector. Subsequently, we will concentrate on the commutators \([R_n, T_{p,q}]\) and \([\bar{R}_n, T_{p,q}]\). Consider the Jacobi identity for the operators \(Q^i_r, \bar{Q}^j_s\) and \(R_n\), which gives us
Using (5.3), in the above, we get
In the above equation, i, j are free indices. In particular for \(\mathcal {N}=2\) SUSY , we see that
which also implies \(\beta ^{(1)}(r,n)=\beta ^{(2)}(r,n)\) and \(\bar{\beta }^{(1)}(r,n)=\bar{\beta }^{(2)}(r,n)\). An identical exercise with \(Q^i_r, \bar{Q}^j_s\) and \(\bar{R}_n\) gives
leading to the condition that \(\kappa ^{(1)}(r,n)=\kappa ^{(2)}(r,n)\) and \(\bar{\kappa }^{(1)}(r,n)=\bar{\kappa }^{(2)}(r,n)\). Given the relation between the structure constants for \(i=1,2\), we see that the index is extraneous, and hence we will subsequently simply be dropping it from our notation. Thus, we may write more simply
Note that the above commutation relations also ensure that the Jacobi identities between \(T_{p,q}, T_{m,n}, R_l\) as well as \(T_{p,q}, Q^i_r, R_n\) (and its corresponding counterparts with \(Q^i_r\) replaced with \(\bar{Q}^j_s\) and \(R_n\) replaced with \(\bar{R}_n\)) are also satisfied. Now that we have identified \(R_n\) and \(\bar{R}_n\) to the vectorial and axial R-supercurrents, we make a further assumption that
The above assumptions applied to the Jacobi identity of \(R_n, \bar{R}_m\) and \(Q^i_r\) leads to a relation between the structure constants
and analogously the Jacobi identity of \(R_n, \bar{R}_m\) and \(\bar{Q}^i_r\) gives rise to
The above two relations seem to put certain constraints on the free parameters \(c,\bar{c},k\) and \(\bar{k}\). However, we will explore this subsequently.
Finally, we need to fix the algebra between the R-supercurrents and the superrotations \(\mathcal {L}_m\) and \(\bar{\mathcal {L}}_m\). For this purpose we consider a set of Jacobi identities detailed in Appendix C between C.1 and C.28. This analysis helps us to fix the form of the commutators between the R-charge supercurrents and the superrotation generators. Thus, by simply imposing Jacobi identities in a systematic manner we have obtained the following simplified algebra involving the R-supercurrents
In Appendix C we have further listed the Jacobi identities involving the R-supercurrent generator and superrotation generator which will help to fix the form of w and h.
5.1 Algebra with linear structure constants
In our analysis so far, the structure constants have been kept arbitrary. However, at this point, we make two powerful simplifying assumptions which will somewhat reduce the complexity of the problem. The assumptions are as follows:
-
The structure constants appearing in the proposed algebra are linear in their arguments.
-
The global subsector of \(W(-1/2,-1/2;-1/2,-1/2)\) algebra must coincide with the R-extended \(\mathcal {N}=2\) super-Poincarë algebra.
This leads us to propose an ansatz of the form
where \(\mu _i\) denotes the structure constants w(n, p), h(n, p) or \(\bar{h}(n,p)\). Since, for the global subsector, we must have \([R_0, \mathcal {L}_m]=[\bar{R}_0,\mathcal {L}_m]=[R_0,\bar{\mathcal {L}}_m]=[\bar{R}_0,\bar{\mathcal {L}}_m]=0\), it implies that \(\mu _i(0,0)=\mu _i(0,1)=\mu _i(0,-1)=0\). This along with the proposed ansatz leads us to conclude that these structure constants must be of the form
where \(\omega \) is an arbitrary constant.
The global sector of the R-supercurrent, i.e., \(R_0\) and \(\bar{R}_0\), is supposed to commute with the generators of the Poincaré algebra \(M_{\mu \nu }, P_{\mu }\), while its commutator with the SUSY generators \(Q^i_{\pm \frac{1}{2}}, \bar{Q}^i_{\pm \frac{1}{2}}\) must be nonzero. Specifically, imposing this constraint on the translation generators \(P_{\mu }\), and using the identification (3.6)–(3.6), we obtain
An identical set of relations is true for \(\bar{R}_0\). The above implies that the structure constants are related by
Now, assuming that both \(\beta (r,n)\) and \(\bar{\beta }(r,n)\) are linear in its argument, the above relation immediately implies that they must be of the form
where \(\beta _1, \beta _2, \bar{\beta }_1\) and \(\bar{\beta }_2\) are constants. One can repeat the same exercise with the structure constants \(\kappa (r,n)\) and \(\bar{\kappa }(r,n)\) to see that they are also independent of the first index r and hence can be written as
One immediate consequence of the above is that (5.8) and (5.9) is now trivially satisfied. With all of these conclusions, we have a more simplified algebra, given by
Now, we will focus on (C.22) specifically, which yields two equations given by
The first equation written above must be true for arbitrary integral values of m, n and p. However, it contains a term of the form \(w_1(n)p\) which must vanish, implying that \(w_1(n)=0\) identically. A similar argument can be applied to the Jacobi identities (C.24), (C.26) and (C.28) to reach the conclusion that \(w_2=w_3=w_4=0\) too. Plugging in the linear forms of \(h_1(n),\bar{h}_1(n)\) and \(\beta (n)\) in the equations (5.18) and (5.19), we obtain
The above set of equations implies that \(\beta _1 =0\). Applying the exact same argument to (C.24), (C.26) and (C.28) yields \(\bar{\beta }_1=\kappa _1=\bar{\kappa }_1=0\). Essentially, this shows that irrespective of the arguments, \(\beta , \bar{\beta }, \kappa \) and \(\bar{\kappa }\) are constants and related as \(\beta =-\bar{\beta }\) and \(\kappa =-\bar{\kappa }\). However, (5.18) and (5.19) reduce to simply
which leads us to conclude that the structure constant \(\beta \) must be identically zero, which is clearly in contradiction with (5.14). (C.24), (C.26). Similarly, (C.28) leads to the conclusion that \(\bar{\beta }, \kappa \) and \(\bar{\kappa }\) must also be vanishing. Thus we essentially find that an infinite-dimensional extension of R-charges in \(\mathcal {N}=2 \, \mathfrak {bms}_{4}\) algebra is impossible with linear structure constants. Therefore we conclude that a generic \(\mathcal {N}=2\) \(W(a,b;\bar{a},\bar{b})\) algebra (4.5) of 4 cannot have infinite \(R-\)extension with linear structure constants. In Appendix D we have further assumed that the structure constants are quadratic in the arguments. Still, one cannot have infinite \(R-\)extension.
6 Conclusion
As mentioned earlier, symmetry algebras are powerful tools which severely constrain the dynamics and vacua of gauge and gravity theories. In this work, we have concentrated on supersymmetric W(a, b) and \(W(a,b; \bar{a},\bar{b})\) algebras which are deformations of the asymptotic symmetry algebra of supergravity theories in three and four spacetime dimensions, respectively. Earlier works [36, 37] have established that generic deformations of \(\mathfrak {bms}_{3}\) algebras involve two parameters a and b, while generic deformations of \(\mathfrak {bms}_{4}\) algebras involve \(a,b, \bar{a}\) and \(\bar{b}\). The \(a=0, b=-1\) centerless R-extension of supersymmetric W(a, b) algebra given by (2.43) indeed matches with earlier results of [23], where the authors performed an asymptotic symmetry analysis to obtain the super-\(\mathfrak {bms}_{3}\) algebra. We also classified and wrote down the possible central extensions of the supersymmetric, R-extended W(a, b) algebra. We observed interesting and novel central charges appearing in the \(\{Q^1_r, Q^2_s\}\) anticommutator, denoted by f(r, s), for various values of a and b. We also found that \([J_m, \mathcal {R}_n]\) admits a quadratic central charge which was not realized through the asymptotic symmetry analysis performed in [23], although it seems to be present for arbitrary values of a and b. Thus, it remains an interesting open problem to find the importance of this central term in the context of three-dimensional asymptotically flat supergravity theory in more generic contexts. As mentioned earlier, the W(0, 0) and W(0, 1) algebras have also appeared as asymptotic symmetry algebras of gravity theories [40, 41], so it is worth exploring appropriate boundary/fall-off conditions to obtain supersymmetric W(0, 0) and W(0, 1) algebras as asymptotic symmetry algebras in some supergravity theory. To conclude, the analysis of the present work, being mathematically rigorous, provides new asymptotic algebras and hence opens up the possibility for finding new boundary conditions for supergravity fields. We hope to report on these possibilities in future works.
The construction of the R-extended supersymmetric \(W(a,b;\bar{a},\bar{b})\) algebra turned out to be more involved. Physically, the R-charge generators are supposed to rotate the global SUSY-generators, which motivates us to propose an ansatz of the form (5.2). We essentially tried to extend the super-\(W(a,b;\bar{a},\bar{b})\) algebra (written explicitly in (4.5)) by a \(U(1)_V \times U(1)_A\) group where each sector is represented by infinitely many generators. One of the sectors of the \(U(1)_V\) symmetry can be thought of as vectorial R-symmetry, while the other copy of the \(U(1)_A\) symmetry can be thought of as axial R-symmetry. We considered two primary guiding principles to fix the algebra:
-
For \(a=b=\bar{a}=\bar{b}=-\frac{1}{2}\), the global subalgebra must be identical to the R-extended super-Poincaré algebra.
-
The indices appearing in all the proposed commutators involving the R-charges must be linear in their arguments.
In order to simplify our calculations, we considered both linear and quadratic structure constants. In either case, we realized that having infinitely many R-charges is in contradiction with one or more Jacobi identities that must be followed by such a graded Lie algebra. Essentially, it seems there is an obstruction in the \(u(1) \times u(1)\) extension of super-\(W(a,b;\bar{a},\bar{b})\) algebra—which will naturally hinder the construction of an R-extended super-\(\mathfrak {bms}_{4}\) algebra. Recent work [59] has carried out u(1) and u(N) extensions of \(\mathfrak {bms}_{4}\) by analyzing celestial amplitudes of Einstein–Maxwell and Einstein–Yang–Mills theories, and has indeed obtained nontrivial asymptotic symmetry algebras at the boundary which does include infinitely many generators parameterizing the u(1) or u(N) symmetry. This is, however, not in contradiction with our results. Our demand on the behavior of R-charges, i.e., it must non-trivially rotate the global SUSY generators, forces us to demand (5.14), which ensures the \([Q^i_r, R_m]\) commutator to be nonzero for the global sector. Such a constraint need not be followed for the u(1) or u(N) gauge groups that enter the analysis of [59]. Relaxing (5.14) in our current work does indeed recover the symmetry algebras derived in [59]. Finally, the methodology of our construction by thoroughly analyzing all possible Jacobi identities while imposing consistency with the global subsector is quite general. It is possible to adapt this algorithm to construct u(1) or u(N) extension for other exotic symmetry algebras. We must emphasize that in this paper, we have studied the R-extended super-W(a, b) and super-\(W(a, b; \bar{a}, \bar{b})\) algebras for generic permissible values of a and b. However, it is only for specific values of a and b, physical theories of gravity or supergravity are known where these are realized as boundary symmetry algebras. It will be interesting to explore what kind of supergravity theories give rise to these wide ranges of W-algebras for more generic values of \(a, b, \bar{a}\) and \(\bar{b}\).
Let us conclude the paper with the importance of the study of supersymmetric extensions of the deformations of \(\mathfrak {bms}\) algebras. As is well understood, \(\mathfrak {bms}\) algebras are symmetries of asymptotically flat gravity theories at their null boundaries. Some of their deformations have also been realized as the symmetry algebra at the horizon of certain black hole backgrounds. In the context of three spacetime dimensions, the presence of extended supersymmetries and internal \(R-\)symmetries plays crucial roles in characterizing the soft hair modes (that give nontrivial cosmological solutions) and their thermodynamics [16, 22, 60, 61]. A similar study has not been performed for four spacetime dimensions, where nontrivial black hole and gravitational wave solutions exist. In the context of \(\mathfrak {bms}_{4}\), the soft hair modes contribute to black hole entropy, although they do not correspond to the entire microscopic degeneracy. The microscopic degeneracy for a class of four-dimensional \(\mathcal {N}=2,4,8\) supersymmetric BPS black holes is very well understood [62,63,64,65,66,67]. It would be interesting to understand how much of this entropy is contributed by the soft hairs. Such a study will be involved and is not within the scope of the present work. However, our present results suggest that, for black holes appearing in \(\mathcal {N}=2\) supergravity theory, where the internal \(R-\)symmetry (that only scales the supercharges) will not have any contributions to the soft hairs. A similar study for other supergravity theories with exotic internal symmetries remains an open problem for the future.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: The nature of our work is entirely mathematical in nature and uses tools and techniques from Lie Algebra and Asymptotic Symmetries. All calculations performed in the work are completely analytic in nature and require no numerical studies.]
Notes
One can impose more general boundary conditions compared to boundary fall-offs consistent with Bondi gauge to obtain an infinite number of non-conserved asymptotic charges. They can, however, be made integrable by appropriate field redefinitions [13].
One can think of the expression \(a+b+1\). Clearly, for \(\mathfrak {bms}_{3}\), this combination identically vanishes and can be a possible candidate structure constant in (2.5). However, if l(m, s) is indeed a linear function of its argument, we will see that such a commutator does not satisfy the Jacobi identity.
\(\eta _1=0\) or \(\beta _0=0\) are also viable choices of parameters that satisfy the Jacobi identities. But for interpreting \(R_0\) as the \(R-\)symmetry generator, we must consider nonzero values of those parameters.
There is a typo in Eq. 3.19 and Eq. 8.59 of [23]. The structure constant in the \([M_n, R_m]\) commutator will be \(-2m\) instead of \(-4m\); otherwise the \((\mathcal{G}_r^1, \mathcal{G}_s^2, {R}_{m})\) will not be satisfied.
This structure does not hold for certain symmetry algebras such as that discussed in [57].
\(W(-1/2,-1/2;-1/2,-1/2)\) is the \(\mathfrak {bms}_{4}\) algebra whose global sector coincides with the \(\mathcal {N}=2\) super-Poincaré algebra.
References
H. Bondi, M.G.J. Van der Burg, A.W.K. Metzner, Gravitational waves in general relativity, VII. Waves from axi-symmetric isolated system. Proc. R. Soc. Lond. A 269, 21–52 (1962)
R.K. Sachs, Gravitational waves in general relativity VIII. Waves in asymptotically flat space-time. Proc. R. Soc. Lond. A 270, 103–126 (1962)
M. Henneaux, C. Troessaert, BMS group at spatial infinity: the Hamiltonian (ADM) approach. JHEP 03, 147 (2018). [arXiv:1801.03718]
A.H. Anupam, A. Khairnar, A. Kundu, Generalized BMS algebra at timelike infinity. Phys. Rev. D 103(10), 104030 (2021). arXiv:2005.05209
G. Barnich, C. Troessaert, Symmetries of asymptotically flat 4 dimensional spacetimes at null infinity revisited. Phys. Rev. Lett. 105, 111103 (2010). arXiv:0909.2617
A. Strominger, On BMS invariance of gravitational scattering. JHEP 07, 152 (2014). arXiv:1312.2229
T. He, V. Lysov, P. Mitra, A. Strominger, BMS supertranslations and Weinberg’s soft graviton theorem. JHEP 05, 151 (2015). arXiv:1401.7026
A. Strominger, A. Zhiboedov, Gravitational memory, BMS supertranslations and soft theorems. JHEP 01, 086 (2016). arXiv:1411.5745
S.G. Avery, B.U.W. Schwab, Soft black hole absorption rates as conservation laws. JHEP 04, 053 (2017). arXiv:1609.04397
Y. Hamada, G. Shiu, Infinite set of soft theorems in gauge-gravity theories as Ward–Takahashi identities. Phys. Rev. Lett. 120(20), 201601 (2018). arXiv:1801.05528
S. Atul Bhatkar, Ward identity for loop level soft photon theorem for massless QED coupled to gravity. JHEP 10, 110 (2020). arXiv:1912.10229
H. Adami, M.M. Sheikh-Jabbari, V. Taghiloo, H. Yavartanoo, C. Zwikel, Symmetries at null boundaries: two and three dimensional gravity cases. JHEP 10, 107 (2020). arXiv:2007.12759
R. Ruzziconi, C. Zwikel, Conservation and integrability in lower-dimensional gravity. JHEP 04, 034 (2021). arXiv:2012.03961
H. Adami, D. Grumiller, M.M. Sheikh-Jabbari, V. Taghiloo, H. Yavartanoo, C. Zwikel, Null boundary phase space: slicings, news and memory. JHEP 11, 155 (2021). arXiv:2110.04218
S. Ferrara, A. Marrani, Matrix norms, BPS bounds and marginal stability in N = 8 supergravity. JHEP 12, 038 (2010). arXiv:1009.3251
O. Fuentealba, J. Matulich, R. Troncoso, Asymptotic structure of \(\cal{N} =2\) supergravity in 3D: extended super-BMS\(_3\) and nonlinear energy bounds. JHEP 09, 030 (2017). arXiv:1706.07542
G. Barnich, L. Donnay, J. Matulich, R. Troncoso, Asymptotic symmetries and dynamics of three-dimensional flat supergravity. JHEP 08, 071 (2014). arXiv:1407.4275
G. Barnich, L. Donnay, J. Matulich, R. Troncoso, Super-BMS\(_{3}\) invariant boundary theory from three-dimensional flat supergravity. JHEP 01, 029 (2017). arXiv:1510.08824
N. Banerjee, D.P. Jatkar, I. Lodato, S. Mukhi, T. Neogi, Extended supersymmetric BMS\(_3\) algebras and their free field realisations. JHEP 11, 059 (2016). arXiv:1609.09210
I. Lodato, W. Merbis, Super-BMS\(_{3}\) algebras from \( \cal{N} =2 \) flat supergravities. JHEP 11, 150 (2016). arXiv:1610.07506
N. Banerjee, I. Lodato, T. Neogi, N = 4 supersymmetric BMS3 algebras from asymptotic symmetry analysis. Phys. Rev. D 96(6), 066029 (2017). arXiv:1706.02922
N. Banerjee, A. Bhattacharjee, I. Lodato, T. Neogi, Maximally \( \cal{N} \)-extended super-BMS\(_{3}\) algebras and generalized 3D gravity solutions. JHEP 01, 115 (2019). arXiv:1807.06768
N. Banerjee, A. Bhattacharjee, Neetu, T. Neogi, New \( mathcal N \) = 2 SuperBMS\(_{3}\) algebra and invariant dual theory for 3D supergravity. JHEP 11, 122 (2019). arXiv:1905.10239
N. Banerjee, S. Khandelwal, P. Shah, Equivalent dual theories for 3D \(mathcal N =2\) supergravity. Phys. Rev. D 100(10), 105013 (2019). arXiv:1907.05866
N. Banerjee, A. Bhattacharjee, S. Biswas, T. Neogi, Dual theory for maximally \(\cal{N}\) extended flat supergravity. arXiv:2110.05919
E. Inonu, E.P. Wigner, On the contraction of groups and their representations. Proc. Natl. Acad. Sci. 39, 510–524 (1953)
H. Bacry, J.-M. Lèvy-Leblond, Possible kinematics. J. Math. Phys. 9(10), 1605–1614 (1968)
J.M. Figueroa-O’Farrill, Deformations of the Galilean algebra. J. Math. Phys. 30, 2735 (1989)
J.M. Figueroa-O’Farrill, Kinematical Lie algebras via deformation theory. J. Math. Phys. 59(6), 061701 (2018). arXiv:1711.06111
J.M. Figueroa-O’Farrill, Conformal Lie algebras via deformation theory. arXiv:1809.03603
M. Enriquez-Rojo, T. Procházka, I. Sachs, On deformations and extensions of Diff(S\(^{2}\)). JHEP 10, 133 (2021). arXiv:2105.13375
M. Enriquez-Rojo, H.R. Safari, Boundary Heisenberg algebras and their deformations. arXiv:2111.13225
A. Nijenhuis, R. Richardson, Deformations of lie algebra structures. J. Math. Mech. 17(1), 89–105 (1967)
M. Levy-Nahas, Deformation and contraction of Lie algebras. J. Math. Phys. 8(6), 1211–1222 (1967)
J.-M. Lévy-Leblond, Une nouvelle limite non-relativiste du groupe de poincaré. Ann. Inst. H. Poincaré 3, 1–12 (1965)
A. Farahmand Parsa, H. Safari, M. Sheikh-Jabbari, On rigidity of 3d asymptotic symmetry algebras. JHEP 03, 143 (2019). arXiv:1809.08209
H.R. Safari, M.M. Sheikh-Jabbari, BMS\(_{4}\) algebra, its stability and deformations. JHEP 04, 068 (2019). arXiv:1902.03260
D. Grumiller, A. Pérez, M. Sheikh-Jabbari, R. Troncoso, C. Zwikel, Spacetime structure near generic horizons and soft hair. Phys. Rev. Lett. 124(4), 041601 (2020). arXiv:1908.09833
M. Enriquez-Rojo, T. Heckelbacher, Holography and black holes in asymptotically flat FLRW. arXiv:2102.02234
H. Afshar, B. Oblak, Flat JT gravity and the BMS-Schwarzian. arXiv:2112.14609
G. Compère, W. Song, A. Strominger, New boundary conditions for \(\text{ AdS}_3\). JHEP 05, 152 (2013). arXiv:1303.2662
G. Barnich, G. Compère, Classical central extension for asymptotic symmetries at null infinity in three spacetime dimensions. Class. Quantum Gravity 24(5), F15 (2007)
A. Fotopoulos, S. Stieberger, T.R. Taylor, B. Zhu, Extended super BMS algebra of celestial CFT. JHEP 09, 198 (2020). arXiv:2007.03785
P.S. Howe, J. Izquierdo, G. Papadopoulos, P. Townsend, New supergravities with central charges and Killing spinors in (2 + 1)-dimensions. Nucl. Phys. B 467, 183–214 (1996). arXiv:hep-th/9505032
H. Afshar, S. Detournay, D. Grumiller, B. Oblak, Near-horizon geometry and warped conformal symmetry. JHEP 03, 187 (2016). arXiv:1512.08233
H.R. Safari, Deformation of asymptotic symmetry algebras and their physical realizations. Ph.D. thesis, IPM, Tehran, 9, 2020. arXiv:2011.02318
J. Frauendiener, Conformal infinity. Living Rev. Relativ. 3, 4 (2000)
A. Ashtekar, B. Bonga, A. Kesavan, Asymptotics with a positive cosmological constant: I. Basic framework. Class. Quantum Gravity 32(2), 025004 (2015). arXiv:1409.3816
G. Barnich, C. Troessaert, BMS charge algebra. JHEP 12, 105 (2011). arXiv:1106.0213
R. Caroca, P. Concha, O. Fierro, E. Rodríguez, Three-dimensional Poincaré supergravity and \(N\)-extended supersymmetric \(BMS_3\) algebra. Phys. Lett. B 792, 93–100 (2019). arXiv:1812.05065
L. Donnay, G. Giribet, Cosmological horizons, Noether charges and entropy. Class. Quantum Gravity 36(16), 165005 (2019). arXiv:1903.09271
M. Awada, G. Gibbons, W. Shaw, Conformal supergravity, twistors, and the super-bms group. Ann. Phys. 171(1), 52–107 (1986)
S.G. Avery, B.U.W. Schwab, Residual local supersymmetry and the soft gravitino. Phys. Rev. Lett. 116(17), 171601 (2016). arXiv:1512.02657
M. Henneaux, J. Matulich, T. Neogi, Asymptotic realization of the super-BMS algebra at spatial infinity. Phys. Rev. D 101(12), 126016 (2020). arXiv:2004.07299
O. Fuentealba, M. Henneaux, S. Majumdar, J. Matulich, T. Neogi, Asymptotic structure of the Rarita–Schwinger theory in four spacetime dimensions at spatial infinity. JHEP 02, 031 (2021). arXiv:2011.04669
A. Fotopoulos, S. Stieberger, T.R. Taylor, B. Zhu, Extended BMS algebra of celestial CFT. JHEP 03, 130 (2020). arXiv:1912.10973
O. Fuentealba, M. Henneaux, S. Majumdar, J. Matulich, T. Neogi, Local supersymmetry and the square roots of Bondi–Metzner–Sachs supertranslations. Phys. Rev. D 104(12), L121702 (2021). arXiv:2108.07825
K. Hori, S. Katz, A. Klemm, R. Pandharipande, R. Thomas, C. Vafa, R. Vakil, E. Zaslow, Mirror Symmetry, Clay Mathematics Monographs, vol. 1 (AMS, Providence, 2003)
N. Banerjee, T. Rahnuma, and R. K. Singh, Asymptotic symmetry of four dimensional Einstein–Yang–Mills and Einstein–Maxwell theory. arXiv:2110.15657
H. Afshar, A. Bagchi, R. Fareghbal, D. Grumiller, J. Rosseel, Spin-3 gravity in three-dimensional flat space. Phys. Rev. Lett. 111(12), 121603 (2013). arXiv:1307.4768
G. Barnich, Entropy of three-dimensional asymptotically flat cosmological solutions. JHEP 10, 095 (2012). arXiv:1208.4371
J.R. David, D.P. Jatkar, A. Sen, Product representation of Dyon partition function in CHL models. JHEP 06, 064 (2006). arXiv:hep-th/0602254
J.R. David, A. Sen, CHL Dyons and statistical entropy function from D1–D5 system. JHEP 11, 072 (2006). arXiv:hep-th/0605210
J.R. David, D.P. Jatkar, A. Sen, Dyon Spectrum in N=4 Supersymmetric Type II String Theories. JHEP 11, 073 (2006). [hep-th/0607155]
J.R. David, D.P. Jatkar, A. Sen, Dyon spectrum in generic N = 4 supersymmetric Z(N) orbifolds. JHEP 01, 016 (2007). arXiv:hep-th/0609109
N. Banerjee, D.P. Jatkar, A. Sen, Asymptotic expansion of the N = 4 Dyon degeneracy. JHEP 05, 121 (2009). arXiv:0810.3472
A. Sen, A twist in the Dyon partition function. JHEP 05, 028 (2010). arXiv:0911.1563
S. Gao, C. Jiang, Y. Pei, Low-dimensional cohomology groups of the lie algebras \(\text{ W }(a, b)\). Commun. Algebra 39(2), 397–423 (2011)
Acknowledgements
We would like to thank M. M. Sheikh-Jabbari for collaboration and useful discussions during the initial course of this work and for his comments on the manuscript. DM would like to thank IISER Bhopal for their kind hospitality during the end of this project. The work of NB is partially supported by SERB ECR Grant ECR/2018/001255. The work of DM is supported in part by the SERB core research Grant CRG/2018/002373. Finally, we thank the people of India for their generous support of fundamental research. HRS acknowledges the support of Saramadan Grants ISEF/M/99407.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Fixing the structure constants of centrally extended supersymmetric W(a, b)
In this section we have provided a detailed analysis to find the form of structure constants involved in the central extension of \(\mathcal{N}=2\) supersymmetric W(a, b) algebra. The nontrivial central extensions of \(\mathcal{N}=2\) supersymmetric W(a, b) algebra belong to its second real cohomology \(\mathcal {H}^2(W,\mathbb {R})\). To compute it, we must take two steps:
-
Consider all possible central terms in various commutators
-
Eliminate the trivial central terms.
For the first step, we set some unknown functions in various commutators, and try to find the (nontrivial) form of the functions by using the constraints obtained from Jacobi identity analysis (also known as 2-cocycle conditions). Then, it should be checked which of these functions cannot be absorbed by the redefinition of the generators. These terms are nontrivial central extensions of the algebra or equivalently the elements of the second real cohomology of the algebra.
The central term in the commutator \([{J}_{m},{J}_{n}]\), which we denoted as u(m, n), is an arbitrary antisymmetric function. The Jacobi identity
leads to the relation
which has the nontrivial solution \(u(m,n)=C_{jj}^{(1)}\,(m^3-m)\,\delta _{m+n,0}\). This, as expected, is in the form of the usual Virasoro central charge. Other Jacobi identities do not put any new constraint on u(m, n). A redefinition of \(J_m \rightarrow J_m +A \delta _{m,0}\) with an appropriate choice of A can be used to absorb the linear term in m.
One can fix the central term v(m, n) of the \([{J}_{m},{P}_{n}]\) commutator in the following way. The Jacobi identity between \(J_m, J_n\) and \(P_l\) leads to
Specific values of a and b yield even more nontrivial solutions. We systematically tabulate all the cases below
-
1.
\(a=b=0\) where, \(v(m,n)=(C^{(1)}_{jp} m^2 + C^{(2)}_{jp} m)\delta _{m+n,0}\),
-
2.
\(a=0\), \(b=1\) where, \(v(m,n)= (C^{(3)}_{jp}m+C^{(4)}_{jp})\delta _{m+n,0}\),
-
3.
\(a=0\), \(b=-1\) where, \(v(m,n)= (C^{(5)}_{jp}m^3+C^{(6)}_{jp}m)\delta _{m+n,0}\),
-
4.
\(a=0\), \(b \ne 0, 1,-1\) where, \(v(m,n)=C_{jp}^{(7)}m\delta _{m+n,0}\),
-
5.
\(a \ne 0\) and b is arbitrary where, \(v(m,n)=C_{jp}^{(8)}\left( 1+\frac{b-1}{a}m\right) \delta _{m+n,0}\).
Here the subscript jp denotes the central extension in the [J, P] commutator. Out of the eight central terms appearing in the above five scenarios, only \(C^{(1)}_{jp},C^{(3)}_{jp}, C^{(4)}_{jp}\) and \(C^{(5)}_{jp}\) are the nontrivial ones. Other central terms can be absorbed by a simple redefinition of \({P}_{m}\rightarrow {P}_{m}+B\delta _{m,0} \) and subsequently choosing the constant B in an appropriate manner. Thus we drop the remaining central terms \(C^{(2)}_{jp},C^{(6)}_{jp}, C^{(7)}_{jp}\) and \(C^{(8)}_{jp}\) for the remaining analysis.
The above analysis demonstrates that there may be certain values for the parameters a and b for which certain central terms will be allowed in the algebra. This opens up a host of possibilities in the central extension. We will focus on the most general extension that is admissible for arbitrary values of a and b.
The commutator \([J_m,Q^1_r]\) may admit a central term given by
where \(x_1(m,r)\) is an arbitrary function. The Jacobi identity between \(J_m, J_n\) and \(Q^1_r\) gives us
The \(x_1\) central term appearing in the \([J_m,,Q^1_r]\) commutator is identically zero since a central term proportional to \(\delta _{m+r,0}\) is identically zero, as m is an integer and r is a half-integer. An identically similar argument is true for \(x_2(m,r)\) which is the central extension in the \([J_m,Q^2_r]\) commutator.
The central term in the \([J_m,S_n]\) commutator is denoted by z(m, n), and the full commutator is written as
The Jacobi identity of \(J_m, J_n\) and \(\mathcal {S}_l\) yields
which admits the following nontrivial solutions
-
1.
\(a \ne 0\) and b are arbitrary, where \(z(m,n)=C^{(0)}_{js}\left( 1+\frac{b}{a}m \right) \delta _{m+n,0}\),
-
2.
\(a=0\) and \(b \ne 0,-1,-2\), where \(z(m,n)=C_{js}^{(1)}m\delta _{m+n,0}\),
-
3.
\(a=0\) and \(b=-1\), where \(z(m,n)=(C_{js}^{(2)}m+C_{js}^{(3)}m^2)\delta _{m+n,0}\),
-
4.
\(a=0\) and \(b=-2\), where \(z(m,n)=(C_{js}^{(4)}m+C_{js}^{(5)}m^3)\delta _{m+n,0}\),
-
5.
\(a=b=0\), where \(z(m,n)=(C^{(6)}_{js}+C^{(7)}_{js}m)\delta _{m+n,0}\).
Again, performing the shift \(\mathcal {S}_m \rightarrow \mathcal {S}_m + S\delta _{m,0}\) will remove some of the constants appearing above with an appropriate choice of S. A detailed analysis reveals that we can drop \(C_{js}^{(0)}, C_{js}^{(1)}, C_{js}^{(2)}\) and \(C_{js}^{(4)}\).
The central term y(m, n)
can be determined from the Jacobi identity of \(J_m, J_n\) and \(\mathcal {R}_l\), which gives
This has the nontrivial solution \(y(m,n)=C^{(0)}_{jr} m^2\delta _{m+n,0}\). This was discussed in earlier works [37, 68].
The anticommutator \( \{Q_r^1,Q_s^2\}\) may have the possible central term f(r, s) and is given by
The Jacobi identity of \(Q^1_r, Q^2_s\) and \(J_m\) gives
The above equation needs to be dealt with on a case-by-case basis. We tabulate all possible solutions for various values of the deformation parameter a and b.
-
1.
When \(a=b=0\), we obtain the solution as \(f(r,s)=C_{qq}^{(0)}r \delta _{r+s,0}\). Also, for consistency of the above equation, we must have \(C_{jp}^{(1)}=C_{js}^{(6)}=C_{js}^{(7)}=0\). This in turn ensures that for \(a=b=0\), \(v(m,n)=z(m,n)=0\). Note that the linear term appearing in f(r, s) cannot be absorbed in the shift of generators. A possible absorbing of the central term can be performed by shifting the supertranslation generators \(P_n\). This was already performed earlier to ensure that \(C_{jp}^{(2)}\) drops out in the expression of the central charge. Thus, there is no more freedom to absorb this piece in the generators.
-
2.
When \(a=0\) and \(b=1\), we obtain the solution \(f(r,s)=C_{qq}^{(1)}\delta _{r+s,0}\). Again, consistency demands that we set \(C_{jp}^{(3)}=C_{jp}^{(4)}=0\), again ensuring that v(m, n) vanishes for this case.
-
3.
When \(a=0\) and \(b=-1\), we obtain the solution \(f(r,s)=2C_{jp}^{(5)}r^2 \delta _{r+s,0}\) along with the constraint that \(C_{js}^{(3)}=0\). This implies that for \(a=0\) and \(b=-1\), we have \(z(m,n)=0\).
-
4.
When \(a=0\) and \(b=-2\), we obtain the solution as \(f(r,s)=C_{js}^{(5)}r^3 \delta _{r+s,0}\).
-
5.
When \(a=0\) and \(b =2\), we obtain the solution \(f(r,s)=C_{qq}^{(2)}r^2\delta _{r+s,0}\), while for \(a=0\) and \(b \ne -2,-1,0,1,2\), f(r, s) must vanish identically.
-
6.
When \(a \ne 0\) and b are arbitrary, we recover \(f(r,s)=0\) identically.
\(g_1(m,n)\) is an arbitrary symmetric function which denotes the central term in the \([\mathcal {R}_m, Q_r^1]\) commutator and is given by
For \(g_1(m, r) \propto \delta _{m+r,0}\), we can easily conclude that this will be zero identically, since m is an integer and r is a half-integer.
The commutator of \([P_m,\mathcal {R}_n]\) may admit a central term h(m, n), which appears as follows:
The Jacobi identity of \(J_m, \mathcal {R}_n\) and \(P_l\) leads to
Clearly, the RHS of the above equation depends crucially on the values of a and b. However, dealing case-by-case, it turns out that \(h(m,n)=0\) for all values of a and b along with the constraint \(C_{js}^{(5)}=0\). This in turn implies that z(m, n) vanishes for \(a=0\) and \(b=-2\).
The commutator of \([\mathcal {R}_m,\mathcal {S}_n]\) can admit a central extension given by
The Jacobi identity of \(Q^1_r, Q^2_s\) and \(\mathcal {R}_m\) gives
Depending on the form of f(r, s), we will have different solutions for k(m, n). We list the possible solutions as follows:
-
1.
For \(a=b=0\), the above equation simplifies to
$$\begin{aligned} (r-s)k(m,r+s)=C_{qq}^{(0)}m \delta _{m+r+s,0} . \end{aligned}$$(A.17)For the above equation to be consistent, we must have \(C_{qq}^{(0)}=0\), which further implies for this case that \(f(r,s)=k(m,n)=0\).
-
2.
For \(a=0, b=1\), we simply recover \((r-s)k(m,r+s)=0\), which immediately implies that \(k(m,n)=0\).
-
3.
For \(a=0\), \(b=-1\), we see that the equation for k(m, n) is satisfied provided that \(k(m,n)=2C_{jp}^{(5)}m \delta _{m+n,0}\).
-
4.
For \(a=0\), \(b=-2\), consistency demands us to set \(C_{js}^{(5)}=0\), which in turn ensures that \(z(m,n)=f(r,s)=k(m,n)=0\).
-
5.
For \(a=0\), \(b=2\), we see the solution of \(k(m,n)=C_{qq}^{(2)}m \delta _{r+s,0}\).
-
6.
For \(a \ne 0\) and arbitrary b, we must have \(k(r,s)=0\).
A quick glance at (2.44) tells us that the central extension to the commutator \([\mathcal {R}_m,\mathcal {R}_n]\) will affect the Jacobi identity between \(J_m\), \(\mathcal {R}_n\) and \(\mathcal {R}_p\). Denoting the central extension in this case as
the \(J_m\), \(\mathcal {R}_n\), \(\mathcal {R}_p\) Jacobi identity leads to
A little algebra shows that the solution to the above functional equation is given by \(w(m,n)=C_{rr}m\delta _{m+n,0}\).
The central term in the \([S_m,S_n]\) commutator is denoted as s(m, n) and can be explicitly written as
The Jacobi identity between \(P_m, \mathcal {R}_n\) and \(\mathcal {S}_l\) gives
which naturally implies \(s(m,n)=0\) identically. The reader can easily verify that the Jacobi identities of (\(\mathcal {R}_m, \mathcal {S}_n, Q^i_r\)), (\(\mathcal {R}_m, P_n, Q^i_r\)) and (\(Q^1_r, Q^2_s, P_m \)) imply \(f^i(m,n)=h^i(m,n)=t_2(m,n)=0\). The supertranslation commutator \([P_m,P_n]\) also does not admit any central term, as discussed in further detail in an earlier work [36] by one of the authors.
Finally, we consider the anticommutator \(\{Q_r^1,Q_s^1\}\) which may admit a central term as
It is clear that \(w_1(r,s)\) must be symmetric in its arguments. The Jacobi identity between \(Q^1_r, Q^1_s\) and \(R_m\) gives
For \(m=0\), we see that \(w_1(m,n)\) should be antisymmetric, which is clearly a contradiction. Thus, \(w_1(m,n)=0\) identically, and a similar argument involving \(Q^2_r\) yields \(w_2(m,n)=0\). This completes a full description of the central extension for the W(a, b) algebra, which clearly depends on the values of the parameters a and b.
Appendix B: Solving ansatz for supersymmetric \(W(a,b;\bar{a},\bar{b})\)
In this section, we solve for the indices and structure constants proposed in the ansatz (4.2). As mentioned earlier, the linearity of the indices implies
where \(f_i\) and \(g_i\) are constants. Using (4.1), along with (3.6)–(3.6), we must have
Thus, the mapping (4.3) requires the functions f(r, s) and g(r, s) to satisfy
Thus, we need to solve for the six unknowns \(f_i, g_i (i=0,1,2)\) appearing in (B.1) from the above eight equations. There does exist a consistent solution to the above system given by
Thus, we eventually recover
The exact map (4.3) can be seen to be
Using the above map, along with the map described in Sect. 3, we obtain
Further assuming linearity of the structure constant \(\alpha (m,r)\) and h(m, r) appearing in (4.2), we see that the above global sector is consistent provided one has
An identical exercise on the “barred” sector first leads us to the relations
This shows that we must have
Appendix C: Jacobi identities for supersymmetric \(W(a,b; \bar{a}, \bar{b})\)
-
1.
Jacobi identity for \(\mathcal {L}_m, Q^i_r, R_n\) and \(\mathcal {L}_m, \bar{Q}^j_s, R_n\)
We start with the Jacobi identity for \(\mathcal {L}_m, Q^i_r\) and \(R_n\), which is given by
$$\begin{aligned}{}[[\mathcal {L}_m, Q^i_r],R_n]+[[Q^i_r,R_n],\mathcal {L}_m]+[[R_n,\mathcal {L}_m],Q^i_r]=0 . \end{aligned}$$(C.1)Using (4.5) and (5.6), we can simplify the above equation to obtain
$$\begin{aligned}{} & {} [[R_n,\mathcal {L}_m],Q^i_r]+[\alpha (m,r)\beta (m+r,n)\nonumber \\ {}{} & {} -\beta (r,n)\alpha (m,cn+r)]Q^i_{cn+m+r}=0 . \end{aligned}$$(C.2)Clearly, looking at the above, on very general grounds, one can schematically write
$$\begin{aligned}{} & {} [R_n, \mathcal {L}_m] = w_1(n,m)\mathcal {L}_{t_1(n,m)}\nonumber \\{} & {} \quad +h_1(n,m)R_{u_1(n,m)}+\bar{h}_1(n,m)\bar{R}_{v_1(n,m)} . \end{aligned}$$(C.3)The Jacobi identity for \(\mathcal {L}_m, \bar{Q}^j_s\) and \(R_n\) along with (4.5) and (5.3) leads to
$$\begin{aligned}{}[[R_n, \mathcal {L}_m], \bar{Q}^j_s]=0 . \end{aligned}$$(C.4)Now, if we consider the \([R_n,\mathcal {L}_m]\) to be of the form as (C.3), we easily see that the part \([R_{u(n,m)},\bar{Q}^j_s]\) and \([\bar{R}_{v(n,m)},\bar{Q}^j_s]\) will be generically nonzero individually for arbitrary values of n, m and s; however, a linear combination with specific forms of \(h_1\) and \(\bar{h}_1\) might presumably ensure that the expression vanishes. Note that (C.3) has certain features which put it in stark contrast to its three-dimensional W(a, b) analog. Firstly, the first term appearing on the RHS in the above equation has no analog for the W(a, b) algebra as stated explicitly in (2.43). We can also see that commutators similar to the W(a, b) algebra, i.e.,
$$\begin{aligned}{}[R_n, \mathcal {L}_m]\sim R_{u(n,m)}\ \text {and}\ [\bar{R}_n, \mathcal {L}_m]\sim \bar{R}_{v(n,m)} \end{aligned}$$(C.5)are clearly inconsistent with (C.4) for arbitrary values of the indices m and n.
-
2.
Jacobi identity for \(\bar{\mathcal {L}}_m, \bar{Q}^j_s, R_n\) and \(\bar{\mathcal {L}}_m, Q^i_r\) and \(R_n\)
The Jacobi identity of \(\bar{\mathcal {L}}_m, \bar{Q}^j_s\) and \(R_n\) leads us to
$$\begin{aligned} \begin{aligned}&[[R_n, \bar{\mathcal {L}}_m],\bar{Q}^j_s]\\&\quad +\left( \bar{\beta }(s,n)\left( \bar{a}+\bar{b}m-\bar{c}n-s+\frac{1}{2}\right) \right. \\&\quad \left. -\bar{\beta }(-m+s,n)\left( \bar{a}+\bar{b}m-s+\frac{1}{2}\right) \right) \bar{Q}^j_{\bar{c}n+s-m}=0 . \end{aligned} \end{aligned}$$(C.6)The above, along with the Jacobi identity for \(\bar{\mathcal {L}}_m, Q^i_r\), which simplifies to
$$\begin{aligned}{}[[R_n, \bar{\mathcal {L}}_m],Q^i_r]=0 , \end{aligned}$$(C.7)suggests a relation of the form
$$\begin{aligned}{} & {} [R_n, \bar{\mathcal {L}}_m] =w_2(n,m)\bar{\mathcal {L}}_{t_2(n,m)}\nonumber \\{} & {} \quad +\,h_2(n,m)R_{u_2(n,m)}+\bar{h}_2(n,m)\bar{R}_{v_2(n,m)} . \end{aligned}$$(C.8) -
3.
Jacobi identity for \(\mathcal {L}_m, Q^i_r, \bar{R}_n\) and \(\mathcal {L}_m, \bar{Q}^j_s, \bar{R}_n\)
The Jacobi identity for \(\mathcal {L}_m, Q^i_r\) and \(\bar{R}_n\) leads to
$$\begin{aligned}{} & {} [[\bar{R}_m,\mathcal {L}_m],Q^i_r] \nonumber \\{} & {} \quad +\left( \kappa (r,n)\left( a+bm+kn+r+\frac{1}{2}\right) \kappa (m+r,n)\right. \nonumber \\{} & {} \quad -\left. \left( a+bm+r+\frac{1}{2}\right) \right) Q^i_{kn+m+r}=0 , \end{aligned}$$(C.9)while the Jacobi identity for \(\mathcal {L}_m, \bar{Q}^j_s\) and \(\bar{R}_n\) gives
$$\begin{aligned}{}[[\bar{R}_n, \mathcal {L}_m],\bar{Q}^j_{s}]=0 . \end{aligned}$$(C.10)This leads us to propose
$$\begin{aligned}{} & {} [\bar{R}_n, \mathcal {L}_m]=w_3(n,m)\mathcal {L}_{t_3(n,m)}+h_3(n,m)R_{u_3(n,m)}\nonumber \\{} & {} \quad +\bar{h}_3(n,m)\bar{R}_{v_3(n,m)} . \end{aligned}$$(C.11) -
4.
Jacobi identity for \(\bar{\mathcal {L}}_m, Q^i_r, \bar{R}_n\) and \(\bar{\mathcal {L}}_m, \bar{Q}^j_s, \bar{R}_n\)
The Jacobi identity for \(\bar{\mathcal {L}}_m, Q^i_r, \bar{R}_n\) simplifies to
$$\begin{aligned}{}[[\bar{R}_n,\bar{\mathcal {L}}_m],Q^i_r]=0\ \end{aligned}$$(C.12)and the \(\bar{\mathcal {L}}_m, \bar{Q}^j_s, \bar{R}_n\) Jacobi identity leads to
$$\begin{aligned} \begin{aligned}&[[\bar{R}_n,\bar{\mathcal {L}}_m],\bar{Q}^j_s]\\&+\left( \bar{\kappa }(s,n)\left( \bar{a}+\bar{b}m-\bar{k}n-s+\frac{1}{2}\right) \right. \\&\left. -\bar{\kappa }(-m+s,n)\left( \bar{a}+\bar{b}m-s+\frac{1}{2}\right) \right) \bar{Q}^j_{\bar{k}n+s-m}=0 . \end{aligned} \end{aligned}$$(C.13)The above two equations lead us to the ansatz
$$\begin{aligned}{} & {} {[\bar{R}_n,\bar{\mathcal {L}}_m]}=w_4(n,m)\bar{\mathcal {L}}_{t_4(n,m)}\nonumber \\{} & {} \quad +h_4(n,m)R_{u_4(n,m)}+\bar{h}_4(n,m)\bar{R}_{v_4(n,m)} . \end{aligned}$$(C.14) -
5.
Jacobi identity for \(\mathcal {L}_m, T_{p,q}, R_n\) and \(\bar{\mathcal {L}}_m, T_{p,q}, R_n\)
The Jacobi identity for the operators \(\mathcal {L}_m, T_{p,q}\) and \(R_n\) is given by
$$\begin{aligned}{}[[\mathcal {L}_m, T_{p,q}],R_n]+[[T_{p,q},R_n],\mathcal {L}_m]+[[R_n,\mathcal {L}_m],T_{p,q}]=0 , \end{aligned}$$(C.15)which upon using (4.5) and (5.6) leads us to the relation
$$\begin{aligned} \begin{aligned}&[[R_n, \mathcal {L}_m],T_{p,q}]\\&+\left( (a+bm+cn+p)\beta \left( p-\frac{1}{2},n\right) \right. \\&\left. -(a+bm+p)\beta \left( m+p-\frac{1}{2},n\right) \right) T_{cn+m+p,q}=0 , \end{aligned} \end{aligned}$$(C.16)which is consistent with the ansatz (C.3). Further, the Jacobi identity for \(\bar{\mathcal {L}}_m, T_{p,q}, R_n\) gives
$$\begin{aligned} \begin{aligned}&[[R_n, \bar{\mathcal {L}}_m],T_{p,q}]\\&+\left( \bar{\beta }\left( -q+\frac{1}{2},n\right) (\bar{a}+\bar{b}m-\bar{c}n+q)\right. \\&\left. -\bar{\beta }\left( -m-q+\frac{1}{2},n\right) (\bar{a}+\bar{b}m+q)\right) T_{p,-\bar{c}n+m+q}=0 , \end{aligned} \end{aligned}$$(C.17)which is consistent with the ansatz (C.8).
-
6.
Jacobi identity for \(\mathcal {L}_m, T_{p,q}, \bar{R}_n\) and \(\bar{\mathcal {L}}_m, T_{p,q}, \bar{R}_n\)
The Jacobi identity for \(\mathcal {L}_m, T_{p,q}, \bar{R}_n\) leads to
$$\begin{aligned} \begin{aligned}&[[\bar{R}_n,\mathcal {L}_m],T_{p,q}]\\&+\left( {\kappa }\left( p-\frac{1}{2},n\right) (a+bm+kn+p)\right. \\&\left. -\kappa \left( m+p-\frac{1}{2},n\right) (a+bm+p)\right) T_{kn+m+p,q}=0 , \end{aligned} \end{aligned}$$(C.18)while for the other tuple, namely \(\bar{\mathcal {L}}_m, T_{p,q}, \bar{R}_n\), we have
$$\begin{aligned} \begin{aligned}&[[\bar{R}_n,\bar{\mathcal {L}}_m],T_{p,q}]\\&+\left( \bar{\kappa }\left( -q+\frac{1}{2},n\right) (\bar{a}+\bar{b}m-\bar{k}n+q)\right. \\&\left. -\bar{\kappa }\left( -m-q+\frac{1}{2},n\right) (\bar{a}+\bar{b}m+q)\right) T_{p,-\bar{k}n+m+q}=0 . \end{aligned} \end{aligned}$$(C.19)One can easily see that the above two equations are indeed consistent with the proposed ansatze (C.8) and (C.14), respectively.
Armed with a series of ansatze and a number of Jacobi identities, we enumerate below the index structure and which equations they follow from.
-
Plugging ansatz (C.3) in (C.2), we get
$$\begin{aligned}{} & {} -w_1(n,m)\alpha (t_1,r)Q^i_{t_1+r}-h_1(n,m)\beta (r,u_1)Q^i_{cu_1+r} \nonumber \\{} & {} \quad -\bar{h}_1(n,m)\kappa (r,v_1)Q^i_{kv_1+r}\nonumber \\{} & {} \quad +[\alpha (m,r)\beta (m+r,n)-\beta (r,n)\alpha (m,cn+r)]Q^i_{cn+m+r}=0.\nonumber \\ \end{aligned}$$(C.20)The above equation must be satisfied for arbitrary permissible values of m, n and r. Also, by definition, \(\beta \) and \(\kappa \) cannot be identically zero. This implies that
$$\begin{aligned} u_1(n,m)= & {} n+ \frac{m}{c} \\ v_1(n,m)= & {} \frac{c}{k}n+\frac{m}{k} . \end{aligned}$$Since, clearly, the indices must be integers, we see that both k and c must divide every integer, which naturally implies that both can take values \(\pm 1\). Using (C.4), we further get
$$\begin{aligned} \frac{\bar{c}}{c}=\frac{\bar{k}}{k} =\xi \ (\text {say}) , \end{aligned}$$(C.21)where \(\xi \) is some real number. Further looking at (C.20), we can have \(w_1\) be either identically zero or \(t_1= cn+m\). Further, (C.16) gives
$$\begin{aligned} \begin{aligned}&\left( -w_1(n,m)(a+bcn+bm+p) \right. \\&\quad \left. -\,h_1(n,m)\beta \left( p-\frac{1}{2},n+\frac{m}{c}\right) \right. \\&\quad \left. -\,\bar{h}_1(n,m)\kappa \left( p-\frac{1}{2},\frac{c}{k}n+\frac{m}{k} \right) \right. \\&\quad \left. +\,(a+bm+cn+p)\beta \left( p-\frac{1}{2},n\right) \right. \\&\quad \left. -\,(a+bm+p)\beta \left( m+p-\frac{1}{2},n\right) \right) T_{cn+m+p,q}\\&\quad +\left( -h_1(n,m)\bar{\beta }\left( -q+\frac{1}{2},n+\frac{m}{c}\right) -\bar{h}_1(n,m)\bar{\kappa }\right. \\&\quad \times \left. \left( -q+\frac{1}{2},\frac{c}{k}n+\frac{m}{k} \right) \right) T_{p,-\bar{c}n-\xi m+q}=0 . \end{aligned} \end{aligned}$$(C.22)In the above expression, each of the coefficients of the \(T_{cn+m+p,q}\) and \(T_{p,-\bar{c}n-\xi m+q}\) has to vanish individually.
-
Ansatz (C.8) along with (C.6) implies \(t_2(n,m)=-\bar{c}n+m\) provided \(w_2\) does not vanish identically. Along similar arguments as before, we also conclude that
$$\begin{aligned} u_2= & {} n- \frac{m}{\bar{c}} \\ v_2= & {} \frac{\bar{c}}{\bar{k}}n-\frac{m}{\bar{k}}. \end{aligned}$$Again, since both \(u_2\) and \(v_2\) must be integers for all values of m and n, this leads us to conclude that \(\bar{c}\) and \(\bar{k}\) can only take values \(\pm 1\). Thus, \(\xi \) appearing in (C.21) can only be \(\pm 1\). Now, since \(c^2=k^2=\bar{c}^2=\bar{k}^2=\xi ^2=1\), we can rewrite
$$\begin{aligned} u_1= n+mc ,\quad v_1=kcn+km ,\quad u_2= n-\xi cm ,\quad v_2= kcn-\xi km . \end{aligned}$$(C.23)Further, using (C.17), we get
$$\begin{aligned} \begin{aligned}&-w_2(n,m)(\bar{a}-\bar{b}\bar{c}n+\bar{b}m+q)-h_2(n,m)\bar{\beta }\\&\quad \times \left( -q+\frac{1}{2},n-\xi \frac{m}{c} \right) \\&-\bar{h}_2(n,m)\bar{\kappa }\left( -q+\frac{1}{2},\frac{c}{k}n-\xi \frac{m}{k} \right) \\&+\bar{\beta }\left( -q+\frac{1}{2},n\right) (\bar{a}+\bar{b}m-\bar{c}n+q)\\&\quad -\bar{\beta }\left( -m-q+\frac{1}{2},n\right) (\bar{a}+\bar{b}m+q)=0 , \end{aligned} \end{aligned}$$(C.24)and
$$\begin{aligned}{} & {} h_2(n,m)\beta \left( p-\frac{1}{2}, n-\xi \frac{m}{c}\right) +\bar{h}_2(n,m)\kappa \nonumber \\{} & {} \times \left( p-\frac{1}{2},\frac{c}{k}n-\xi \frac{m}{k}\right) =0 . \end{aligned}$$(C.25) -
Ansatz (C.11) along with (C.9) tells us that we must have
$$\begin{aligned} u_3= & {} \frac{k}{c}n+\frac{m}{c} \equiv kcn+cm \nonumber \\ v_3= & {} n+\frac{m}{k} \equiv n+km , \nonumber \end{aligned}$$while \(w_3\) identically vanishes or \(t_3=kn+m\). The Jacobi identity (C.18) implies
$$\begin{aligned}{} & {} -w_3(n,m)(a+bkn+bm+p)-h_3(n,m)\beta \nonumber \\{} & {} \quad \times \left( p-\frac{1}{2},kcn+cm\right) \nonumber \\{} & {} \quad -\,\bar{h}_3(n,m)\kappa \left( p-\frac{1}{2},n+km\right) \nonumber \\{} & {} \quad +\,{\kappa }\left( p-\frac{1}{2},n\right) (a+bm+kn+p)\nonumber \\{} & {} \quad -\,\kappa \left( m+p-\frac{1}{2},n\right) (a+bm+p)=0 , \end{aligned}$$(C.26)and
$$\begin{aligned} \begin{aligned}&h_3(n,m)\bar{\beta }\left( -q+\frac{1}{2},kcn+cm\right) +\bar{h}_3(n,m)\bar{\kappa }\\&\times \left( -q+\frac{1}{2},n+km\right) =0. \end{aligned} \end{aligned}$$(C.27) -
Ansatz (C.14) along with (C.13) tells us that
$$\begin{aligned} u_4= & {} \frac{k}{c}n-\xi \frac{m}{c} \equiv kcn-\xi cm \nonumber \\ v_4= & {} n-\xi \frac{m}{k} \equiv n-\xi km , \nonumber \end{aligned}$$along with \(t_4=-\bar{k}n+m\) provided if \(w_4\) is nonzero. The Jacobi identity (C.19) gives
$$\begin{aligned} \begin{aligned}&-w_4(n,m)(\bar{a}+\bar{b}m-\xi k\bar{b}n +q)-h_4(n,m)\bar{\beta }\\&\quad \times \left( -q+\frac{1}{2},kcn-\xi cm\right) \\&\quad -\bar{h}_4(n,m)\bar{\kappa }\left( -q+\frac{1}{2},n-\xi km\right) \\&\quad +\bar{\kappa }\left( -q+\frac{1}{2},n\right) (\bar{a}+\bar{b}m-\bar{k}n+q)\\&\quad -\bar{\kappa }\left( -m-q+\frac{1}{2},n\right) (\bar{a}+\bar{b}m+q)=0 , \end{aligned} \end{aligned}$$(C.28)and
$$\begin{aligned}{} & {} h_4(n,m)\beta \left( p-\frac{1}{2},kcn-\xi cm\right) +\bar{h}_4(n,m)\kappa \nonumber \\{} & {} \left( p-\frac{1}{2},n-\xi km\right) =0\ . \end{aligned}$$(C.29)
To finalize the form of w and h we need to consider Jacobi identities involving two R-supercurrent generators and one superrotation generator.
-
1.
Jacobi identity for \(R_m, R_n\) and \(\mathcal {L}_p\) leads to
$$\begin{aligned} \begin{aligned}&w_1(n,p)w_1(m,cn+p)= w_1(m,p)w_1(n,cm+p) ,\\&h_1(m,cn+p)w_1(n,p)= h_1(n,cm+p)w_1(m,p) ,\\&\bar{h}_1(m,cn+p)w_1(n,p)= \bar{h}_1(n,cm+p)w_1(m,p) . \end{aligned} \end{aligned}$$(C.30) -
2.
Jacobi identity for \(R_m, R_n\) and \(\bar{\mathcal {L}}_p\) leads to
$$\begin{aligned} \begin{aligned}&w_2(n,p)w_2(m,-\xi cn+p)=w_2(m,p)w_2(n,-\xi cm+p) ,\\&h_2(m,-\xi cn+p)w_2(n,p)= h_2(n,-\xi cm+p)w_2(m,p) ,\\&\bar{h}_2(m,-\xi cn+p)w_2(n,p)= \bar{h}_2(n,-\xi cm+p)w_2(m,p) . \end{aligned} \end{aligned}$$(C.31) -
3.
Jacobi identity for \(\bar{R}_m, \bar{R}_n\) and \({\mathcal {L}}_p\) leads to
$$\begin{aligned} \begin{aligned}&w_3(n,p)w_3(m,kn+p)=w_3(m,p)w_3(n,km+p) ,\\&h_3(m,kn+p)w_3(n,p)= h_3(n,km+p)w_3(m,p) ,\\&\bar{h}_3(m,kn+p)w_3(n,p)= \bar{h}_3(n,km+p)w_3(m,p) . \end{aligned} \end{aligned}$$(C.32) -
4.
Jacobi identity for \(\bar{R}_m, \bar{R}_n\) and \(\bar{\mathcal {L}}_p\) leads to
$$\begin{aligned} \begin{aligned}&w_4(n,p)w_4(m,-\xi kn+p)=w_4(m,p)w_4(n,-\xi km+p) ,\\&h_4(m,-\xi kn+p)w_4(n,p)= h_4(n,-\xi km+p)w_4(m,p) ,\\&\bar{h}_4(m,-\xi kn+p)w_4(n,p)= \bar{h}_4(n,-\xi km+p)w_4(m,p) . \end{aligned} \end{aligned}$$(C.33) -
5.
Jacobi identity for \({R}_m, \bar{R}_n\) and \({\mathcal {L}}_p\) leads to
$$\begin{aligned} \begin{aligned}&w_3(n,p)w_1(m,kn+p)=w_1(m,p)w_3(n,cm+p) ,\\&h_1(m,kn+p)w_3(n,p)= h_3(n,cm+p)w_1(m,p) ,\\&\bar{h}_1(m,kn+p)w_3(n,p)= \bar{h}_3(n,cm+p)w_1(m,p) . \end{aligned} \end{aligned}$$(C.34) -
6.
Jacobi identity for \({R}_m, \bar{R}_n\) and \(\bar{\mathcal {L}}_p\) leads to
$$\begin{aligned} \begin{aligned}&w_4(n,p)w_2(m,-\xi kn+p)=w_2(m,p)w_4(n,-\xi cm+p) ,\\&h_2(m,-\xi kn+p)w_4(n,p)= h_4(n,-\xi cm+p)w_2(m,p) ,\\&\bar{h}_2(m,-\xi kn+p)w_4(n,p)= \bar{h}_4(n,-\xi cm+p)w_2(m,p) . \end{aligned} \end{aligned}$$(C.35)
Finally, we have another family of Jacobi identities involving two superrotation generators and one R-supercurrent generator. The Jacobi identities for \(\mathcal {L}_m, \bar{\mathcal {L}}_n, R_n\) and \(\mathcal {L}_m, \bar{\mathcal {L}}_n, \bar{R}_n\) are trivially satisfied. We list the equations that follow from the nontrivial Jacobi identities systematically.
-
1.
Jacobi identity for \(\mathcal {L}_m, \mathcal {L}_n\) and \(R_p\) implies
$$\begin{aligned}{} & {} (m-n)w_1(p,m+n)+w_1(p,m)(n-cp-m)\nonumber \\{} & {} \qquad -\, w_1(p,n)(m-cp-n)\nonumber \\{} & {} \qquad +\,h_1(p,n)w_1(p+cn,m)\nonumber \\{} & {} \qquad -\,h_1(p,m)w_1(p+cm,n)\nonumber \\{} & {} \qquad +\,\bar{h}_1(p,n)w_3(kcp+kn,m)\nonumber \\{} & {} \qquad -\,\bar{h}_1(p,m)w_3(kcp+km,n)=0 , \end{aligned}$$(C.36)$$\begin{aligned}{} & {} (m-n)h_1(p, m+n)+ h_1(p,n)h_1(p+cn,m)\nonumber \\{} & {} \qquad -\,h_1(p,m)h_1(p+cm,n)\nonumber \\{} & {} \quad =\,\bar{h}_1(p,m)h_3(kcp+km,n)\nonumber \\{} & {} \qquad -\,\bar{h}_1(p,n)h_3(kcp+kn,m) , \end{aligned}$$(C.37)$$\begin{aligned}{} & {} (m-n)\bar{h}_1(p, m+n) + h_1(p,n)\bar{h}_1(p+cn,m)\nonumber \\{} & {} \qquad -\,h_1(p,m)\bar{h}_1(p+cm,n)=\nonumber \\{} & {} \qquad \times \, \bar{h}_1(p,m)\bar{h}_3(kcp+km,n)\nonumber \\{} & {} \qquad -\,\bar{h}_1(p,n)\bar{h}_3(kcp+kn,m) . \end{aligned}$$(C.38) -
2.
Jacobi identity for \(\mathcal {L}_m, \mathcal {L}_n\) and \(\bar{R}_p\) implies
$$\begin{aligned}{} & {} (m-n)w_3(p,m+n)+w_3(p,m)(n-kp-m)\nonumber \\{} & {} \quad -\, w_3(p,n)(m-kp-n)\nonumber \\{} & {} \quad +\,h_3(p,n)w_1(kcp+cn,m)\nonumber \\{} & {} \quad -\,h_3(p,m)w_1(kcp+cm,n)\nonumber \\{} & {} \quad +\,\bar{h}_3(p,n)w_3(p+kn,m)\nonumber \\{} & {} \quad -\,\bar{h}_3(p,m)w_3(p+km,n)=0 , \end{aligned}$$(C.39)$$\begin{aligned}{} & {} (m-n)h_3(p,m+n)+ h_3(p,n)h_1(kcp+cn,m)\nonumber \\{} & {} \quad -\,h_3(p,m)h_1(kcp+cm,n)=\nonumber \\{} & {} \quad \bar{h}_3(p,m)h_3(p+km,n)\nonumber \\{} & {} \quad -\,\bar{h}_3(p,n)h_3(p+kn,m) , \end{aligned}$$(C.40)$$\begin{aligned}{} & {} (m-n)\bar{h}_3(p,m+n)+ h_3(p,n)\bar{h}_1(kcp+cn,m)\nonumber \\{} & {} \quad -\,h_3(p,m)\bar{h}_1(kcp+cm,n)=\nonumber \\{} & {} \bar{h}_3(p,m)\bar{h}_3(p+km,n)\nonumber \\{} & {} \quad -\,\bar{h}_3(p,n)\bar{h}_3(p+kn,m) . \end{aligned}$$(C.41) -
3.
Jacobi identity for \(\bar{\mathcal {L}}_m, \bar{\mathcal {L}}_n\) and \({R}_p\) implies
$$\begin{aligned}{} & {} (m-n)w_2(p,m+n)+w_2(p,m)(n+\xi cp-m)\nonumber \\{} & {} \qquad -\, w_2(p,n)(m+\xi cp-n)\nonumber \\{} & {} \qquad +\,h_2(p,n)w_2(p-\xi cn,m)\nonumber \\{} & {} \qquad -\,h_2(p,m)w_2(p-\xi cm,n)\nonumber \\{} & {} \qquad +\,\bar{h}_2(p,n)w_4(kcp- \xi kn,m)\nonumber \\{} & {} \qquad -\,\bar{h}_2(p,m)w_4(kcp-\xi km,n)=0 , \end{aligned}$$(C.42)$$\begin{aligned}{} & {} (m-n)h_2(p,m+n)+ h_2(p,n)h_2(p-\xi cn,m)\nonumber \\{} & {} \qquad -\,h_2(p,m)h_2(p-\xi cm,n)\nonumber \\{} & {} \quad =\,\bar{h}_2(p,m)h_4(kc p-\xi km,n)\nonumber \\{} & {} \quad -\,\bar{h}_2(p,n)h_4(kcp-\xi kn,m) , \end{aligned}$$(C.43)$$\begin{aligned}{} & {} \qquad \times (m-n)\bar{h}_2(p,m+n)+ h_2(p,n)\bar{h}_2(p-\xi cn,m)\nonumber \\{} & {} \qquad -\,h_2(p,m)\bar{h}_2(p-\xi cm,n)\nonumber \\{} & {} \quad =\, \bar{h}_2(p,m)\bar{h}_4(kcp- \xi km,n)\nonumber \\{} & {} \qquad -\,\bar{h}_2(p,n)\bar{h}_4(kcp-\xi kn,m) . \end{aligned}$$(C.44) -
3.
Jacobi identity for \(\bar{\mathcal {L}}_m, \bar{\mathcal {L}}_n\) and \(\bar{R}_p\) implies
$$\begin{aligned}{} & {} (m-n)w_4(p,m+n)+w_4(p,m)(n-\xi kp-m)\nonumber \\{} & {} \qquad -\, w_4(p,n)(m-\xi kp-n)\nonumber \\{} & {} \qquad +\,h_4(p,n)w_2(kcp-\xi cn,m)\nonumber \\{} & {} \qquad -\,h_4(p,m)w_2(kcp-\xi cm,n)\nonumber \\{} & {} \qquad +\,\bar{h}_4(p,n)w_4(p- \xi kn,m)\nonumber \\{} & {} \qquad -\,\bar{h}_4(p,m)w_4(p-\xi km,n)=0 , \end{aligned}$$(C.45)$$\begin{aligned}{} & {} (m-n)h_4(p,m+n)+ h_4(p,n)h_2(kcp-\xi cn,m)\nonumber \\{} & {} \qquad -\,h_4(p,m)h_2(kcp-\xi cm,n)\nonumber \\{} & {} \quad = \,\bar{h}_4(p,m)h_4(p-\xi km,n)\nonumber \\{} & {} \qquad -\,\bar{h}_4(p,n)h_4(p-\xi kn,m) , \end{aligned}$$(C.46)$$\begin{aligned}{} & {} (m-n)\bar{h}_4(p,m+n)+ h_4(p,n)\bar{h}_2(kcp-\xi cn,m)\nonumber \\{} & {} \qquad -h_4(p,m)\bar{h}_2(kcp-\xi cm,n)\nonumber \\{} & {} \quad = \,\bar{h}_4(p,m)\bar{h}_4(p- \xi km,n)\nonumber \\{} & {} \qquad -\,\bar{h}_4(p,n)\bar{h}_4(p-\xi kn,m) . \end{aligned}$$(C.47)
Appendix D: Algebra with non-linear structure constants
We can relax the criteria of the linearity of structure constants and assume further that they can be at best quadratic in the arguments. Continuing to refer to the structure constants \(w_i, h_i\) and \(\bar{h}_i\) as \(\mu _i\), we write down an ansatz of the form
Since \(\mu _i(0,p)\) must vanish for \(p=0, \pm 1\), we can write
Demanding (5.14), we see that \(\beta \) and \(\kappa \) (and similarly \(\bar{\beta }\) and \(\bar{\kappa }\)) must take the form
Unlike the linear case, (5.8) and (5.9) are not trivially satisfied now. Focusing specifically on (5.9), we recover the following equations
We will obtain an analogous set of equations following from (5.9). The above set of equations implies
thus making the structure constants \(\beta (r,n)\) (and \(\bar{\beta }(r,n)\)) and \(\kappa (r,n)\) (and \(\bar{\kappa }(r,n)\)) independent of r. As before, (5.14) implies
Now, armed with the above results from (C.22), we again recover equations very close to those of (5.18) and (5.19), which again leads us to conclude that \(w_i=0\) identically. Thus, in this case, the two equations following from (C.22) simplify to
Plugging in the forms of the ansatze for \(h_1(n,m), \bar{h}_1(n,m), \beta (n)\) and \(\kappa (n)\) in (D.8) and equating the various coefficients of the monomials in m and n gives
The same exercise with (D.9) gives the following equations
The above system of equations is highly nontrivial to solve in general. But from (D.10D.11D.12D.13D.14D.15D.16D.17D.18D.19) and (D.20D.21D.22D.23D.24D.25D.26D.27D.28D.29) we easily see that
which implies that \(\beta (0)=0\), and similarly we find \(\bar{\beta }(0)={\kappa }(0)=\bar{\kappa }(0)=0\). This is in contradiction with the constraint from the global subalgebra (5.14). Thus, akin to the case of linear structure constants, even for quadratic structure constants, an extension by \(U(1)_V \times U(1)_A\) realized as infinitely many generators \(R_n\) and \(\bar{R}_n\) (R-symmetry generators) of \(W(a,b,\bar{a},\bar{b})\) algebra turns out to be impossible.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Banerjee, N., Mitra, A., Mukherjee, D. et al. Supersymmetrization of deformed BMS algebras. Eur. Phys. J. C 83, 3 (2023). https://doi.org/10.1140/epjc/s10052-022-11036-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-11036-y