Supersymmetric Extensions of Non-Relativistic Scaling Algebras

An exciting subject in string theory is to consider some applications of the AdS/CFT correspondence to realistic systems like condensed matter systems. Since most of such systems are non-relativistic, an anisotropic scaling symmetry with the general value of dynamical critical exponent z plays an important role in constructing the gravity duals for non-relativistic field theories. Supersymmetric extensions of symmetry algebras including the anisotropic scaling are very helpful to consider holographic relations accurately. We give a short summary on the classification of superalgebras with the anisotropic scaling as subalgebras of the following Lie superalgebras, psu(2,2|4), osp(8|4) and osp (8∗|4), which appear in the study of AdS/CFT in type IIB string and M theories. It contains supersymmetric extensions of Schrödinger algebra and Lifshitz algebra.


Introduction
One of the most well-studied subjects in string theory is the AdS/CFT correspondence [1][2][3].Although it has not been rigorously proven yet, it is supported by an enormous amount of evidence and there is no doubt for the correspondence.Assuming that it surely holds, there are two important assets.The one is that AdS/CFT provides us a powerful tool to study the unknown quantum gravity from the well-known quantum field theory without gravity.The other is that the AdS/CFT correspondence is a strong/weak duality and it enables us to study strongly-coupled quantum field theories non-perturbatively by using a description of classical gravitational theories.
Based on the latter aspect, many applications of AdS/CFT to realistic systems in nature like QCD and condensed matter physics have been explored enthusiastically (for comprehensive reviews, for example, see [4,5]).In this direction there is a motive to figure out the holographic description of non-relativistic field theories because most condensed matter systems are non-relativistic.In particular, having some applications of AdS/CFT to condensed matter systems in our mind, we are interested in non-relativistic fixed points.For example, such fixed points appear in real experiments using ultra-cold atoms.The fixed points exhibit an anisotropic scaling invariance defined by a dynamical critical exponent z like where λ is a scaling constant and d is the number of spatial directions.The exponent z measures the anisotropy in the time direction t.When z = 1, this is the usual scaling symmetry in relativistic field theories.The case with z ̸ = 1 does not respect the Lorentz symmetry any more and the system has to be realized in a non-relativistic manner.The invariance under the anisotropic scaling ( 1) is a key ingredient to construct the spacetime metrics of the gravity duals [6][7][8].Then the spacetimes described by these metrics are homogeneous and are represented by cosets [9].Thus it is of importance to consider symmetry algebras with an isotropic scaling invariance like conformal symmetries in conformal field theories.(For example, the Schrödinger symmetry [10,11] fixes the behavior of two-point functions [12,13].)The scaling symmetry provides us a first clue in looking for the holographic description as in the usual study of AdS/CFT.There are two typical examples of algebras including a non-relativistic scale invariance with z ̸ = 1.The former is the Schrödinger algebra [10,11] and the latter is the Lifshitz algebra (For the explicit algebra, e.g., see [6,7,9,13]).The Schrödinger algebra comprises the centrally extended Galilean (Bargmann) algebra and the dilatation with z ̸ = 1 .(Rigorously speaking, the z = 2 case is called the Schrödinger algebra and then the generator of special conformal transformation is contained.However, for convenience, we will call the algebra with z ̸ = 1 the Schrödinger algebra with z loosely as in most of the recent works.)The Lifshitz algebra consists of time and spatial translations, spatial rotations and the dilatation with z ̸ = 1 (in particular, no Galilean boost).It is well known that the two algebras can be realized as subalgebras of relativistic conformal algebras (z = 1) and it would be helpful to see a schematic sequence of the algebras like Lifshitz algebra ⊂ Schrödinger algebra ⊂ Relativistic conformal algebra .
Thus the non-relativistic algebras are intimately related each other from the point of view of the algebraic structure.
The purpose of this review article is to give a short summary on the classification of superalgebras with the anisotropic scaling (1) as subalgebras of the following Lie superalgebras (for other Lie superalgebras, see earlier works [14,15]), psu(2,2|4), osp(8|4) and osp (8 * |4), which are concerned with AdS/CFT in type IIB string and M theories.It contains supersymmetric extensions of Schrödinger algebra and Lifshitz algebra.This classification is basically based on the previous works [16,17] but it contains a generalization of the results [16,17] to the arbitrary z case and a new result on supersymmetric Lifshitz algebras.This review article is organized as follows.In Section 2 we give general prescriptions to pick up a subalgebra including an anisotropic scaling.In Section 3 possible superalgebras including the anisotropic scaling invariance are classified as subalgebras of psu(2,2|4) .In Sections 4 and 5 we classify superalgebras of osp(8|4) and osp(8 * |4) in the same way.Section 6 is devoted to summary.In Appendices we summarize the notation and convention of psu(2,2|4), osp(8|4) and osp(8 * |4) utilized in this article.

General Prescriptions
We explain general prescriptions to pick up a subalgebra with an anisotropic scaling in order to make our discussion clear.
The first is a prescription to pick up subalgebras.As a warm-up, let us consider a relativistic conformal algebra in four dimensions, that is a portion of the bosonic part of psu(2,2|4) , Here P µ describes a time translation and spatial translations, L µν contains spatial rotations and Lorentz boosts, D is a relativistic dilatation (z = 1) and K µ describes special conformal transformations.For a generator T , the dimension d(T ) is measured as It is easy to read the dimensions of the generators from the commutation relations of conformal algebra.The dimensions of the generators in the subset are non-negative and the set (3) forms a subalgebra of (2).Thus we can find out a subalgebra by eliminating negative-dimension generators.This is the case in general and hence should be regarded as a general prescription to pick up a subalgebra, which is known as Borel subalgebra.In fact, this prescription picks up less supersymmetric subalgebra, as we will see later.Furthermore, a smaller subalgebra of (3) can be found because the dilatation D never appears in the right-hand side of commutators of the generators in (3) .Therefore D can be removed and the reduced set of the generators, {P µ , L µν } forms a subalgebra.This is nothing but the Poincaré algebra.This is also the case in general even if the starting algebra contains many U(1) charges.The last is how to introduce an anisotropic scaling generator with an arbitrary z.Indeed, the Schrödinger and Lifshitz algebras are obtained from a relativistic conformal algebra by shifting the relativistic dilatation D (z = 1) with a certain U(1) generator V like The anisotropic dilatation generator Dz plays a central role in our discussions.Furthermore, it would be convenient to introduce two charges d z and v of D z and V defined as, respectively, where T is a generator.The v charge enables us to figure out subalgebras pictorially, as we will see later.
Two su(2) subalgebras are contained in psu(2,2|4) like Thus there are two u(1) generators L 1  1 and L1 1 , which are the Cartan generators of the two su(2)s.By taking a linear combination of the two generators, a couple of new u(1) generators are defined as The V is used to shift D while U generates the two-dimensional space rotation.The resulting v charges of the generators in psu(2,2|4) are summarized as follows: The list of d and v charges enables us to represent the generators of psu(2,2|4) on the d-v plane as depicted in Figure 1 (For d charges, see Appendix A).This d-v plane picture is very helpful to find out subalgebras.For simplicity, it is convenient to introduce the following notation: ) , H = P 11 , P i = (P 12 , P 21 ) , M = P 22 Then we shall give some examples of subalgebras of psu(2,2|4) .
(1) Schrödinger algebra with an arbitrary z and 24 supercharges (d To deduce the algebra, we have to use the new dilatation generator D z defined in (4) , instead of the relativistic dilatation D .Since the generator V appears in the right-hand side of commutators, V must be included when z ̸ = 2 .As we explain in detail as the next example, the z = 2 case is a bit special.
The charges d z and v of the generators are summarized in the following list: The resulting algebra is generated by the set of the charges, The set (8) contains 16 supertranslations and 8 superconformal generators.Hence the amount of supercharges are 24 in total.Note that the generators in (8) are confined in the lower triangular region (shaded) on the d-v plane (not d z but d!) as depicted in Figure 1.This region is specified by the Schrödinger condition d − v ≥ 0 .Thus the d-v plane picture is very useful to understand a subalgebra pictorially.The commutation relations of the bosonic part are nothing but those of Schrödinger algebra with an arbitrary z , The (anti-)commutation relations including fermionic generators are Here trivial (anti-)commutation relations have been omitted.In addition, u(1) 2 and su(4) act on these generators as ( 5), (6), and (40) in Appendix A.
(2) Schrödinger algebra with z = 2 and 24 supercharges (d − v ≥ 0) As briefly mentioned before, the case with z = 2 is a bit special because V does not appear in the right-hand side of the (anti-)commutation relations.It implies that the algebra may be closed without V .
Anyway, V can be eliminated in this case and thus the reduced algebra is generated by the following set of the generators, The charge d 2 is assigned as in the following list: This algebra contains 24 supercharges and this is nothing but the super Schrödinger algebra found in [16,17].This super Schrödinger algebra is realized in the AdS 5 ×S 5 background with a periodic boundary condition for x − -direction corresponding to the generator M [18].The periodic boundary condition breaks 8 superconformal symmetries.
According to the prescription explained in Section 2, it is possible to find out a smaller subalgebra without the dilatation D 2 .This is nothing but a supersymmetric (centrally extended) Galilean algebra.
(3) Schrödinger algebra with an arbitrary z and 16 supercharges (d − v ≥ 0 and d ≥ 0) This algebra is generated by the set of the generators, This is the Schrödinger algebra including 16 supercharges.The (anti-)commutation relations are given by ( 5), ( 6), ( 9), ( 10), ( 12), ( 13) and (40).Note that V has been omitted because it does not appear in the right-hand side of the commutators.This is usually referred as the Schrödinger algebra with an arbitrary z in the literature.This subalgebra is specified by imposing an additional condition d ≥ 0 as well as d − v ≥ 0 .The condition comes from the prescription to eliminate negative dimension generators as explained in Section 2. Before moving to Lifshitz examples, we would like to comment on gravity solutions preserving super Schrödinger symmetry.Such solutions are reported in many literatures (For example, see [19][20][21][22][23][24][25][26]).Basically, the Schrödinger symmetry is realized by adding a deformation term of pp-wave type to the AdS spacetime.The deformation term breaks the relativistic superconformal algebra to a smaller one like a super Schrödinger algebra discussed here.It is an open problem to construct gravity solutions preserving the super Schrödingier symmetry including K and V , because the isometry seems to be enhanced to the full relativistic superconformal algebra by adding K and V .Less supersymmetric Schrödinger symmetry also appears in this context.All of the symmetry can be found out by considering smaller subalgebras.
(4) Lifshitz algebra with an arbitrary z and 16 supercharges (d It is a turn to consider a Lifshitz subalgebra.We consider D z defined in (4) .The resulting algebra is generated by the set of the generators, Note that V has been omitted because it does not appear in the right-hand side of the commutators.This set contains the usual Lifshitz algebra but there is an additional generator M as the bosonic part, because M is not a center of the algebra any more when z ̸ = 2 .The case with z = 2 is a bit special as we will explain in the next example.It also contains 16 supercharges and thus the resulting algebra should be referred to as the super Lifshitz algebra.This subalgebra can be pictorially understood by imposing an additional Lifshitz condition d + v ≥ 0 as well as the Schrödinger condition d − v ≥ 0 .The (anti-)commutation relations are given only by ( 5), ( 6), ( 9), ( 12) and (40).
(5) Lifshitz algebra with z = 2 and 16 supercharges (d The generator V may be omitted because it does not appear in the right-hand side of the commutators.Then the subalgebra is generated by the set of the generators, The dynamical critical exponent is given by z = 2 because d 2 (H) = 2 .The (anti-)commutation relations are given by ( 5) with z = 2, (6), ( 9), ( 12) and (40).This is the Lifshitz algebra with 16 supercharges and center M .In the bosonic case M does not appear in the right-hand side of commutators and hence it can be eliminated to give the usual Lifshitz algebra.However, in the supersymmetric case, the anti-commutator of Q a 2 and Qa 2 gives rise to M .Thus, by restricting to representations with zero central charge M , or by dropping Q a 2 and Qa 2 , the generator M can also be removed.In the latter case, the resulting 8 super Lifshitz algebra is generated by Interestingly, gravity solutions of Lifshitz spacetime preserving 8 super Lifshitz symmetry are found in the literatures [27][28][29][30][31][32][33].The strategy to construct the solutions is the same as in the Schrödinger spacetime.Note that the original construction of Lifshitz spacetime with z = 2 starts from a Schrödinger spacetime with z = 0 [27,28].This construction can be explained algebraically by identifying the dilatation D 0 in the Schrödinger spacetime with z = 0 with the generator M in the Lifshitz spacetime with z = 2 .That is, the Lifshitz algebra with z = 2 can also be obtained as a subalgebra of Schrödinger algebra with z = 0 .

Non-Relativistic Superalgebras from osp(8|4)
Next let us consider subalgebras of sp(4) ⊂ osp(8|4) .The detail of our convention and notation for this superalgebra is summarized in Appendix B. The result is basically the same as in the case of psu(2,2|4), up to small differences.Thus we will briefly mention the difference and do not try to repeat the same explanation.For example, the relation to gravity solutions is omitted here.
First let us note that so(1,2) is contained as a subalgebra of osp(8|4) .Then the diagonal u(1) generator is contained in so(1,2) and it is represented by The charge v(T ) of a generator T can be measured with (6) .The values of v(T ) of the generators are summarized in the list: For d charges see Appendix B. The generators are expressed on the d-v plane (See Figure 2).For simplicity, it is convenient to introduce the following notation, As in the case of psu(2,2|4), it is possible to find out some subalgebras as follows.
(1) Schrödinger algebra with an arbitrary z and 24 supercharges (d − v ≥ 0) Let us consider the dilatation generator defined in (4) .The algebra is generated by the set of the generators, All of the generators are confined in the lower triangular region (shaded) on the d-v plane as depicted in Figure 2.This region is specified by the Schrödinger condition d − v ≥ 0 again as in the case of psu(2,2|4) .The set (20) contains 16 supertranslations and 8 superconformal symmetries.Hence 24 supercharges are included in total.The charges dz and v of the generators are summarized in the list, The commutation relations of the bosonic subalgebra are given by The (anti-)commutation relations including fermionic generators are given by Note that u(1) 2 and so(8) act on the generators, following ( 5), (6), and (47) in Appendix B.
(2) Schrödinger algebra with z = 2 and 24 super charges (d − v ≥ 0) The z = 2 case is a bit special and the generator V does not appear in the right-hand side of the (anti-)commutation relations.This implies that V may be omitted.After eliminating V , the resulting algebra generated by is the Schrödinger algebra with 24 supercharges originally found in [16,17].Note that the bosonic part is rigorously the Schrödinger algebra because V is not contained.According to the prescription in Section 2, the set (25) contains a supersymmetric (centrally extended) Galilean algebra as a subalgebra.
(3) Schrödinger algebra with an arbitrary z and 16 supercharges (d − v ≥ 0 and d ≥ 0) This algebra is generated by the set of the generators, The region in the d-v plane where all of the generator are confined is specified by an additional condition d ≥ 0 as well as the Schrödinger condition d − v ≥ 0 .This set contains 16 supercharges (only supertranslations).The generator V has been omitted because it does not appear in the right-hand side of the commutators.The (anti-)commutation relations are given by ( 5), ( 6), ( 21), ( 23), ( 24) and (47).The generator M is now a center.
(4) Lifshitz algebra with an arbitrary z and 16 supercharges (d − v ≥ 0 and d + v ≥ 0) In the same way as in the case of psu(2,2|4) , it is possible to find out a super Lifshitz algebra.This algebra is generated by the set of the generators, All of the generators are confined the region specified by the Lifshitz condition d + v ≥ 0 as well as the Schrödinger condition d − v ≥ 0 .The generator V has been omitted again because it does not appear in the right-hand side of the commutators.The (anti-)commutation relations are given by ( 5), ( 6), ( 23) and (47) .In a special case with z = 2 , the generator M becomes a center but it appears in the anti-commutator of Q I2 's.However, by restricting to representations with zero central charge M , or by removing supercharges Q I2 , the exact Lifshitz algebra is reproduced.

Non-Relativistic Superalgebras from osp(8 * |4)
Finally we consider the case of osp(8 * |4) .The notation and convention for osp(8 * |4) are summarized in Appendix C. The result is basically the same as in the case of psu(2,2|4) and osp(8|4) again, up to notational differences.We will briefly mention the differences as in the previous section.
Let us consider the diagonal u(1) generator defined as which is contained in so(1,5) ⊂ so * (8).Then the v charge is assigned to the generators as in the list: Here we have defined The U (I) with I = 1, 2 generate two su(2)'s , respectively, This implies that {U (1) , U (2) } generates an so(4) symmetry after all.The generators are represented on the d-v plane as depicted in Figure 3 (For d charges see Appendix C).For simplicity, it is convenient to introduce the following notation, H = P 14 , P i = (P 12 , P 13 , P 24 , P 34 ) , M = P 23 Let see some examples of subalgebras of osp(8 * |4) below.
(1) Schrödinger algebra with an arbitrary z and 24 supercharges (d We use the dilatation generator D z defined in (4) .The algebra is generated by the set of the generators, {K, S 1A , S 4A , L AB , D z , V, U (1) , U (2) , G i , Q aA , H, P i , M } ( All of the generators are confined in the lower triangular region (shaded) on the d-v plane as depicted in Figure 3.This region is specified by the Schrödinger condition d − v ≥ 0 .The set (29) contains 16 supertranslations and 8 superconformal symmetries.Thus the total amount of supercharges is 24.
The charges d z and v are summarized in the list: (1) , U (2)  This algebra is generated by the set of the generators, {L AB , D z , U (1) , U (2) , Q aA , H, P i , M } (37) The generators are in the region fixed by the Lifshitz condition d + v ≥ 0 and the Schrödinger condition d − v ≥ 0 .This set contains 16 supersymmetries.Again we have omitted V because it does not appear in the right-hand side of the commutators.The (anti-)commutation relations are given by ( 5), ( 6), ( 28), ( 32) and (49).
In the same way as in the case of psu(2,2|4) and osp(8|4) , it is possible to realize the exact Lifshitz algebra when z = 2 , by restricting to representations with zero central charge M or by removing half of supersymmetries.

Summary
We have presented a classification of superalgebras with the anisotropic scaling (1) as subalgebras of the superalgebras: psu(2,2|4), osp(8|4) and osp (8 * |4), which are concerned with AdS/CFT in type IIB string and M theories.Our method to extract subalgebras is basically to find Borel subalgebras of these superalgebras.It enables us to derive non-relativistic scaling algebras systematically.In particular, we have considered two u(1) charges, d and v, and supersymmetric extensions of Schrödinger algebra and Lifshitz algebra have been obtained.This method provides us a pictorial understanding on non-relativistic scaling superalgebras obtained in the previous works [16,17].Furthermore, we have extracted Schrödinger superalgebras and Lifshitz superalgebras with arbitrary z.We hope that our result would be useful in constructing gravity solutions preserving superalgebras including the anisotropic scaling and in discussing the relation to the field-theory side.

Acknowledgments
This work was supported by the scientific grants from the ministry of education, science, sports, and culture of Japan (No. 22740160), and in part by the Grant-in-Aid for the Global COE Program "The Next Generation of Physics, Spun from Universality and Emergence" from the Ministry of Education, Culture, Sports, Science and Technology (MEXT) of Japan.
We begin with u(2,2|4), in which the (anti-)commutation relations are given by • translation P αβ and special conformal transformation We are interested in psu(2,2|4) and so we set B = C = 0 here.