Invariant differential operators for non-compact Lie groups: The main su(n, n) cases

In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebras su(n, n). Our choice of these algebras is motivated by the fact that for n = 2 this is the conformal algebra of 4-dimensional Minkowski space-time. Furthermore for general n these algebras belong to a narrow class of algebras, which we call “conformal Lie algebras”, which have very similar properties to the conformal algebras of n2-dimensional Minkowski space-time. We give the main multiplets of indecomposable elementary representations for n = 2, 3, 4, including the necessary data for all relevant invariant differential operators.


INTRODUCTION
Invariant differential operators play very important role in the description of physical symmetriesstarting from the early occurrences in the Maxwell, d'Allembert, Dirac equations (for more examples cf., e.g., [1]), to the latest applications of (super-)differential operators in conformal field theory, supergravity and string theory, (for a recent review, cf., e.g., [2]). Thus, it is important for the applications in physics to study systematically such operators.
In a recent paper [3] we started the systematic explicit construction of invariant differential operators. We gave an explicit description of the building blocks, namely, the parabolic subgroups and subalgebras from which the necessary representations are induced. Thus, we have set the stage for study of different non-compact groups.
In the present paper we focus on one particular group SU (n, n), which is very interesting for several reasons. First of all, for n = 2 this is the conformal algebra of 4-dimensional Minkowski spacetime. Furthermore, for general n these algebras belong to a narrow class of algebras, which we call "conformal Lie algebras," which have very similar properties to the canonical conformal algebras of Minkowski space-time. This class was identified * The text was submitted by the author in English.
** E-mail: vkdobrev@yahoo.com 1) Plenary talk by VKD at SYMPHYS XV, Dubna, July 12-16, 2011. from our point of view in [4]. The same class was identified from different considerations in [5], where these groups/algebras were called "conformal groups of simple Jordan algebras." It was identified from still different considerations also in [6], where the objects of the class were called simple space-time symmetries generalizing conformal symmetry. In our further plans it shall be very useful that (as in [3]) we follow a procedure in representation theory in which intertwining differential operators appear canonically [7] and which procedure has been generalized to the supersymmetry setting and to quantum groups.
The present paper is organized as follows. In Section 2 we give the preliminaries, actually recalling and adapting facts from [3]. In Section 3 we specialize to the su(n, n) case. In Section 4 we present some results on the multiplet classification of the representations and intertwining differential operators between them.

PRELIMINARIES
Let G be a semisimple non-compact Lie group, and K a maximal compact subgroup of G. Then we have an Iwasawa decomposition G = KA 0 N 0 , where A 0 is Abelian simply connected vector subgroup of G, N 0 is a nilpotent simply connected subgroup of G preserved by the action of A 0 . Further, let M 0 be the centralizer of A 0 in K. Then the subgroup P 0 = M 0 A 0 N 0 is a minimal parabolic subgroup of G. A parabolic subgroup P = M A N is any subgroup of G (including G itself) which contains a minimal parabolic subgroup.
The importance of the parabolic subgroups comes from the fact that the representations induced from them generate all (admissible) irreducible representations of G [8]. For the classification of all irreducible representations it is enough to use only the so-called cuspidal parabolic subgroups P = M A N , singled out by the condition that rank M = rank M ∩ K [9,10], so that M has discrete series representations [11]. However, often induction from non-cuspidal parabolics is also convenient, cf. [3,12,13].
Let ν be a (non-unitary) character of A , ν ∈ A * , let μ fix an irreducible representation D μ of M on a vector space V μ .
We call the induced representation χ = Ind G P (μ ⊗ ν ⊗ 1) an elementary representation of G [14]. (These are called generalized principal series representations (or limits thereof) in [15].) Their spaces of functions are: The representation action is the lef t regular action: For our purposes we need to restrict to maximal parabolic subgroups P (so that rank A = 1), that may not be cuspidal. For the representations that we consider the character ν is parameterized by a real number d, called the conformal weight or energy.
Further, let μ fix a discrete series representation D μ of M on the Hilbert space V μ , or the so-called limit of a discrete series representation (cf. [15]). Actually, instead of the discrete series we can use the finite-dimensional (non-unitary) representation of M with the same Casimirs.
An important ingredient in our considerations are the highest/lowest-weight representations of G. These can be realized as (factor-modules of) Verma modules V Λ over G C , where Λ ∈ (H C ) * , H C is a Cartan subalgebra of G C , weight Λ = Λ(χ) is determined uniquely from χ [7]. In this setting we can consider also unitarity, which here means positivity w.r.t. the Shapovalov form in which the conjugation is the one singling out G from G C .
Actually, since our ERs may be induced from finite-dimensional representations of M (or their limits) the Verma modules are always reducible. Thus, it is more convenient to use generalized Verma modulesṼ Λ such that the role of the highest/lowest-weight vector v 0 is taken by the (finite-dimensional) space V μ v 0 . For the generalized Verma modules (GVMs) the reducibility is controlled only by the value of the conformal weight d. Relatedly, for the intertwining differential operators only the reducibility w.r.t. non-compact roots is essential.
One main ingredient of our approach is as follows. We group the (reducible) ERs with the same Casimirs in sets called multiplets [7,16]. The multiplet corresponding to fixed values of the Casimirs may be depicted as a connected graph, the vertices of which correspond to the reducible ERs and the lines between the vertices correspond to intertwining operators. The explicit parametrization of the multiplets and of their ERs is important for understanding of the situation.
In fact, the multiplets contain explicitly all the data necessary to construct the intertwining differential operators. Actually, the data for each intertwining differential operator consists of the pair (β, m), where β is a (non-compact) positive root of G C , m ∈ N, such that the BGG [17] Verma module reducibility condition (for highest-weight modules) is fulfilled: When (3) holds, then the Verma module with shifted weight V Λ−mβ (orṼ Λ−mβ for GVM and β noncompact) is embedded in the Verma module V Λ (or V Λ ). This embedding is realized by a singular vector v s determined by a polynomial P m,β (G − ) in the universal enveloping algebra (U (G − ))v 0 , G − is the subalgebra of G C generated by the negative root generators [18]. More explicitly, [7], v s m,β = P m,β v 0 (or v s m,β = P m,β V μ v 0 for GVMs) 2) . Then there exists [7] an intertwining differential operator given explicitly by: where G − denotes the right action on the functions F, cf. (1).

THE NON-COMPACT LIE ALGEBRA su(n, n)
2) For explicit expressions for singular vectors we refer to [19]. 3) The case n = 1 is special, so we exclude it for expository reasons. On the other hand, it is well known but also archetypical in a certain sense, and we shall comment on it when considering the case n = 2.
. This algebra has discrete series representations and highest/lowest-weight representations.
The split rank is equal to n, while The Satake diagram is [20]: Thus, the restricted root system (G, A) looks as that of the symplectic algebra C n with simple roots λ 1 , . . . , λ n , however, the root spaces of the short roots λ 1 , . . . , λ n−1 have multiplicity 2. Thus, the root system (G, A) is presented by a Dynkin-Satake diagram looking like the C n Dynkin diagram. Going to the C n diagram we identify (as shown in (6)) a j with a 2n−j , for j = 1, . . . , n − 1, and map α 1 , . . . , α n , to λ 1 , . . . , λ n , respectively.
We choose a maximal parabolic P = M A N , such that A ∼ = so(1, 1), while the factor M has the same finite-dimensional (nonunitary) representations as the finite-dimensional (unitary) representations of the semi-simple subalgebra of K, i.e., M = sl(n, C) R , cf. [3]. Thus, these induced representations are representations of finite K type [21]. Relatedly, the number of ERs in the corresponding multiplets is equal to |W (G C , H C )|/|W (K C , H C )| = 2n n , cf. [22], where H is a Cartan subalgebra of both G and K. Note also that We label the signature of the ERs of G as follows: where the last entry of χ labels the characters of A , and the first 2(n − 1) entries are labels of the finitedimensional nonunitary irreps of M (or of the finitedimensional unitary irreps of su(n) ⊕ su(n)).
The reason to use the parameter c instead of d is that the parametrization of the ERs in the multiplets is given in a simpler way, as we shall see.
The ERs in the multiplet are related also by intertwining integral operators. The integral operators were introduced by Knapp and Stein [23]. In fact, these operators are defined for any ER, not only for the reducible ones, the general action being: The above action on the signatures is also called restricted Weyl reflection, since it represents the nontrivial element of the 2-element restricted Weyl group which arises canonically with every maximal parabolic subalgebra 4) .
Further, we need the root system of the complex algebra sl(2n, C). With Dynkin diagram enumerating the simple roots α i as in (6), the positive roots in terms of the simple roots are: From these the compact roots are those that form (by restriction) the root system of the semisimple part of K C , the rest are noncompact, i.e., i.e., the only non-compact simple root is α n .
Further, we give the correspondence between the signatures χ and the highest-weight Λ. The connection is through the Dynkin labels: where Λ = Λ(χ), ρ is half the sum of the positive roots of G C . The explicit connection is: 4) Generically, the Knapp-Stein operators can be normalized so that indeed G KS • G KS = IdC χ . However, this usually fails exactly for the reducible ERs that form the multiplets, cf., e.g., [14]. DOBREV = − 1 2 (n 1 + . . . + n n−1 + 2n n + n n+1 + . . . + n 2n−1 ), whereα = α 1 + . . . + α 2n−1 is the highest root. We shall use also the so-called Harish-Chandra parameters: where β is any positive root of G C . These parameters are redundant, since obviously they are expressed in terms of the Dynkin labels: m α ij = m i + . . . + m j (i < j), however, some statements are best formulated in their terms.
There are several types of multiplets. First of all there is the main type, which contains the maximal possible number of ERs/GVMs, the finitedimensional and the discrete series representations. Furthermore, there are the reduced types of multiplets, each of which contains less ERs/GVMs than the main type.

MULTIPLETS
The multiplets of the main type are in 1-to-1 correspondence with the finite-dimensional irreps of su(n, n), i.e., they will be labelled by the 2n − 1 positive Dynkin labels m i ∈ N. As we mentioned, each such multiplet contains 2n n ERs/GVMs. We are not able (due to the factorial numbers involved) to give explicitly the multiplets for general n. Thus, we shall give explicitly the cases n = 2, 3, 4, and then make some statements in general.

su(2,2)
This case is well known, since this is the wellstudied conformal group/algebra in four-dimensional Minkowski space-time, but we include it for a better understanding of the more complicated cases.
Obviously, the pairs in (15) are related by Knapp-Stein integral operators, i.e., Matters are arranged so that in every multiplet only the ER with signature χ − 0 contains a finitedimensional nonunitary subrepresentation in a finitedimensional subspace E. The latter corresponds to the finite-dimensional irrep of G with signature {m 1 , m 2 , m 3 } of dimension m 1 m 2 m 3 m 12 m 23 m 13 /6. The subspace E is annihilated by the operator G + , and is the image of the operator G − . The subspace E is annihilated also by the intertwining differential operator acting from χ − to χ − (more about this operator below). When all m i = 1, then dim E = 1, and in that case E is also the trivial one-dimensional UIR of the whole algebra G. Furthermore in that case the conformal weight is zero: Analogously, in every multiplet only the ER with signature χ + 0 contains holomorphic discrete series representation. This is guaranteed by the criterion [11] that for such an ER all Harish-Chandra parameters for non-compact roots must be negative, i.e., in our situation, m α < 0. [That this holds for our χ + can be easily checked using the signatures (15).] In fact, the Harish-Chandra parameters are reflected in the division of the ERs into χ − and χ + : for χ − 0 none of the four non-compact Harish-Chandra parameters are negative, for χ − one of the noncompact Harish-Chandra parameters is negative, while for χ + 0 all four non-compact Harish-Chandra parameters are negative, for χ + three non-compact Harish-Chandra parameters are negative. Only the cases χ ± may be switched between each other since for them two non-compact Harish-Chandra parameters are negative and two are positive. Furthermore in (15) the last entries with sign plus (respectively, minus) are positive (respectively, negative), except in the cases χ ± when they do not have a definite sign.
Note that the ER χ + 0 contains also the conjugate anti-holomorphic discrete series. The direct sum of the holomorphic and the anti-holomorphic representations are realized in an invariant subspace D of the ER χ + 0 . That subspace is annihilated by the operator G − , and is the image of the operator G + .
Note that the corresponding lowest-weight GVM is infinitesimally equivalent only to the holomorphic discrete series, while the conjugate highest weight GVM is infinitesimally equivalent to the antiholomorphic discrete series.
The conformal weight of the ER χ + 0 has the restriction d = 2 + c = 2 + 1 2 (m 1 + 2m 2 + m 3 ) ≥ 4. The multiplets are given explicitly in Fig. 1, where we use the notation: Λ ± = Λ(χ ± ). Each intertwining differential operator is represented by an arrow accompanied by a symbol i j...k encoding the root β j...k and the number m β j...k which is involved in the BGG criterion. This notation is used to save space, but it can be used due to the fact that only intertwining differential operators which are non-composite are displayed, and that the data β, m β , which is involved in the embedding V Λ ←→ V Λ−m β ,β turns out to involve only the m i corresponding to simple roots, i.e., for each β, m β there exists i = i(β, m β , Λ) ∈ {1, . . . , 2n − 1}, such that m β = m i . Hence, the data β j...k , m β j...k is represented by i j...k on the arrows.
The pairs Λ ± are symmetric w.r.t. the bullet in the middle of the figure-this represents the Weyl symmetry realized by the Knapp-Stein operators. The dashed line separates the Λ − modules from the Λ + modules, and the fact that the pair Λ ± sits on the dashed line is due with the peculiarities mentioned above.
Remark on su(1, 1) su(1, 1) su(1, 1). As we mentioned, the case su(1, 1) is well known-it was studied 60 years ago in the isomorphic form sl(2, R) [24,25]. In the current setting it was given in [13]. Here we shall only mention that the multiplets contain two ERS/GVMs (cf. 2n n n=1 = 2), and we can take as their representatives the pair Λ ± 0 and all statements that fit the setting are true. In fact, the old results are prototypical for these pairs, which appear once for each algebra that we consider in this paper. Also, the much later general definition of the Knapp-Stein integral operator has its prototype in [24,25], see also [26].
Reduced multiplets. There are three types of reduced multiplets, R 1 , R 2 , R 3 . Each of them contains two ERS/GVMs and may be obtained from the main multiplet by setting formally m 1 = 0, m 2 = 0, m 3 = 0, respectively. The signatures are Here the ER 2 χ + contains the limits of the (anti)holomorphic discrete series representations. This is guaranteed by the fact that for this ER all Harish-Chandra parameters for non-compact roots are non-positive, i.e., m α ≤ 0. Its conformal weight has the restriction d = 2 + 1 2 (m 1 + m 3 ) ≥ 3. Actually, types R 1 , R 3 are conjugated under the " * " operation (that is not the Weyl symmetry since the sign of c is not changed).
In the context of the present paper, this algebra was considered in great detail in [13].

su(3,3)
The main multiplet contains 20 ERs/GVMs whose signatures can be given in the following pairwise manner: All general facts that were stated in the SU (2, 2) case are valid also here, in particular, the special role of the pair χ ± 0 . The finite-dimensional irreps E of su (3,3) are sitting in the ERs χ − 0 and have dimension as the UIRs of SU (6).
Reduced multiplets. There are five types of main reduced multiplets, R a , a = 1, . . . , 5, which may be obtained from the main multiplet by setting formally m a = 0. Multiplets of type R 4 , R 5 are conjugate under the " * " operation to the multiplets of type R 2 , R 1 , respectively. There are also further reductions of multiplets. Due to the lack of space we cannot give the reduced multiplets here, cf. [27].

su(4,4)
The main multiplet contains 70 ERs/GVMs whose signatures can be given in the following pairwise manner:  ± 1 2 (m 1 − m 7 )}. The multiplets are given in Fig. 3. All general facts that were stated in the SU (2, 2) case are valid also here, in particular, the special role of the pair χ ± 0 . The finite-dimensional irreps E of su (4,4) are sitting in the ERs χ − 0 and have dimension as the UIRs of SU (8). Reduced multiplets. There are seven types of reduced multiplets, R a , a = 1, . . . , 7, which may be obtained from the main multiplet by setting formally m a = 0. Multiplets of type R 5 , R 7 , R 7 , are conjugate under the " * " operation to the multiplets of type R 3 , R 2 , R 1 , respectively. We shall give these and further reductions of multiplets in [27].

OUTLOOK
In the present paper we continued the program outlined in [3] on the example of the non-compact group su(n, n). Similar explicit descriptions are planned for other non-compact groups, in particular those with highest/lowest-weight representations. From the latter we have considered so far the cases of E 7(−25) [4] and E 6(−14) [28]. We plan also to extend these considerations to the supersymmetric cases and also to the quantum group setting. Such considerations are expected to be very useful for applications to string theory and integrable models, cf., e.g., [29]. In our further plans it shall be very useful that (as in [3]) we follow a procedure in representation theory in which intertwining differential operators appear canonically [7] and which procedure has been generalized to the supersymmetry setting [30,31] and to quantum groups [32].
This work was supported in part by the Bulgarian National Science Fund, grant DO 02-257.