Invariant Differential Operators for Non-Compact Lie Groups: the Sp(n,R) Case

In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebras sp(n,R), in detail for n=6. Our choice of these algebras is motivated by the fact that they belong to a narrow class of algebras, which we call 'conformal Lie algebras', which have very similar properties to the conformal algebras of Minkowski space-time. We give the main multiplets and the main reduced multiplets of indecomposable elementary representations for n=6, including the necessary data for all relevant invariant differential operators. In fact, this gives by reduction also the cases for n<6, since the main multiplet for fixed n coincides with one reduced case for n+1.


Introduction
Consider a Lie group G, e.g., the Lorentz, Poincaré, conformal groups, and differential equations I f = j which are G-invariant.These play a very important role in the description of physical symmetries -recall, e.g., the early examples of Dirac, Maxwell, d'Allembert, equations and nowadays the latest applications of (super-)differential operators in conformal field theory, supergravity, string theory, (for a recent review, cf.e.g., [1]).Naturally, it is important to construct systematically such invariant equations and operators.In a recent paper [2] 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 the groups Sp(n, IR), which are very interesting for several reasons.First of all, they belong to the class of Hermitian symmetric spaces, i.e., the pair (G, K) is a Hermitian symmetric pair (K is the maximal compact subgroup of the noncompact semisimple group G).Further, Sp(n, IR) belong to a narrower class of groups/algebras, which we call 'conformal Lie groups or algebras' since they have very similar properties to the canonical conformal algebras so(n, 2) of n-dimensional Minkowski space-time.This class was identified from our point of view in [3].Besides so(n, 2) it includes the algebras su(n, n), sp(n, IR), so * (4n), E 7(−25) , (omitting to mention coincidences between the low-dimensional cases, cf.[3]).The corresponding groups are also called Hermitian symmetric spaces of tube type [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 [2]) 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 a follows.In section 2 we give the pre-liminaries, actually recalling and adapting facts from [2].In Section 3 we specialize to the sp(n, IR) 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.[12,2,13,14].
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 [15].(These are called generalized principal series representations (or limits thereof) in [16].)Their spaces of functions are: where a = exp(H) ∈ A ′ , H ∈ A ′ , m ∈ M ′ , n ∈ N ′ .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.[16]).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 I , where Λ ∈ (H C I ) * , H C I is a Cartan subalgebra of G C I , 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 I .
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 (finitedimensional) 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 [17,7].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 I , m ∈ IN, such that the BGG [18] 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 β non-compact) is embedded in the Verma module V Λ (or Ṽ Λ ).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 I generated by the negative root generators [19].
3 The Non-Compact Lie Algebras sp(n, IR) . This algebra has discrete series representations and highest/lowest weight representations.The split rank is equal to n, while M = 0.The Satake diagram [21] of sp(n, IR) is the same as the Dynkin diagram of sp(n, C I ) : •

⇐= •
αn Also the root systems coincide.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, IR), cf.[2].Thus, these induced representations are representations of finite K-type [22].Relatedly, the number of ERs in the corresponding multiplets is equal to [23], 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 n − 1 entries are labels of the finite-dimensional nonunitary irreps of M ′ , (or of the finite-dimensional unitary irreps of 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.
Below we shall use the following conjugation on the finite-dimensional entries of the signature: The ERs in the multiplet are related also by intertwining integral operators.The integral operators were introduced by Knapp and Stein [24].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. 3urther, we need more explicitly the root system of the algebra sp(n, F ).
In terms of the orthonormal basis ǫ i , i = 1, . . ., n, the positive roots are given by while the simple roots are: With our choice of normalization of the long roots 2ǫ k have length 4, while the short roots ǫ i ± ǫ j have length 2. From these the compact roots are those that form (by restriction) the root system of the semisimple part of K C I , the rest are noncompact, i.e., compact : Thus, the only non-compact simple root is α n = β nn .
We adopt the following ordering of the roots: This ordering is lexicographical adopting the ordering of the ǫ : Further, we shall use the so-called Dynkin labels: where Λ = Λ(χ), ρ is half the sum of the positive roots of G C I .We shall use also the so-called Harish-Chandra parameters: where β is any positive root of G C I .These parameters are redundant, since they are expressed in terms of the Dynkin labels, however, some statements are best formulated in their terms.In particular, in the case of the noncompact roots we have: Now we can give the correspondence between the signatures χ and the highest weight Λ.The explicit connection is: where α = β 11 is the highest root.
There are several types of multiplets: the main type, (which contains maximal number of ERs/GVMs, the finite-dimensional and the discrete series representations), and some reduced types of multiplets.
In the next Section we give the main type of multiplets and the main reduced types for sp(n, IR) for n ≤ 6.

Multiplets
The multiplets of the main type are in 1-to-1 correspondence with the finitedimensional irreps of sp(n, IR), i.e., they will be labelled by the n positive Dynkin labels m i ∈ IN.As we mentioned, each such multiplet contains 2 n ERs/GVMs.It is difficult to give explicitly the multiplets for general n.Thus, we shall give explicitly the case n = 6 which can still be represented and comprehended, and then show how to obtain the cases n < 6.

Main multiplets
The main multiplets R 6 contain 64(= 2 6 ) ERs/GVMs whose signatures can be given in the following pair-wise manner: where the notation (...) ± employs the conjugation ( 7) : (n 1 , ..., n 5 ) − = (n 1 , ..., n 5 ) , (n 1 , ..., n 5 ) + = (n 1 , ..., n 5 ) * = (n 5 , ..., n 1 ) (19) Obviously, the pairs in (18) 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 finite-dimensional nonunitary subrepresentation in a finite-dimensional subspace E. The latter corresponds to the finite-dimensional irrep of sp(6) with signature {m 1 , . . ., m 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, for α from the second row of (11).[That this holds for our χ + can be easily checked using the signatures (18).] In fact, the Harish-Chandra parameters are reflected in the division of the ERs into χ − and χ + : for the χ − less than half of the 21 noncompact Harish-Chandra parameters are negative, (none for χ − 0 ), while for the χ + more than half of the 21 non-compact Harish-Chandra parameters are negative, (all for χ + 0 ), Note that the ER χ + 0 contains also the conjugate anti-holomorphic discrete series.The direct sum of the holomorphic and the antiholomorphic 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 anti-holomorphic discrete series.The conformal weight of the ER χ + 0 has the restriction d = 7  2 + c = 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. to the bullet in the middle of the figure -this represents the Weyl symmetry realized by the Knapp-Stein operators.

Reduced multiplets R 6 1
The reduced multiplets of type R 6  1 contain 48 ERs/GVMs whose signatures can be given in the following pair-wise manner: The multiplets are given explicitly in Fig. 1a.
The reduced multiplets of type R 6  2 contain 48 ERs/GVMs whose signatures can be given in the following pair-wise manner: The multiplets are given explicitly in Fig. 1b.
The reduced multiplets of type R 6 3 contain 48 ERs/GVMs whose signatures can be given in the following pair-wise manner: The multiplets are given explicitly in Fig. 1c.

Reduced multiplets R 6 4
The reduced multiplets of type R 6  4 contain 48 ERs/GVMs whose signatures can be given in the following pair-wise manner: The multiplets are given explicitly in Fig. 1d  The reduced multiplets of type R 6  5 contain 48 ERs/GVMs whose signatures can be given in the following pair-wise manner: The multiplets are given explicitly in Fig. 1e.

Reduced multiplets R 6 6
The reduced multiplets of type R 6  6 contain 32 ERs/GVMs whose signatures can be given in the following pair-wise manner: The multiplets are given explicitly in Fig. 1f.
Here the ER χ + 0 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, for α from ( 16).(Actually, we have: m 11 = 0, m α < 0 for the rest of the non-compact α.) Its conformal weight has the restriction d = 7  2

The Cases sp(n,IR) for n ≤ 5
We start with sp(5, IR).The main multiplets R 5 contain 32(= 2 5 ) ERs/GVMs whose signatures can be given in the following pair-wise manner: Recalling that the Sp(6, IR) reduced multiplets of type R 6 6 also have 32 members we check whether they may be coinciding.Indeed, that turns out to be the case and this is obvious from the corresponding figures, Fig. 1f and Fig. 2 (though our graphical representations are a little distorted!).To make it explicit via the signatures we do the following manipulations of Table (26) : in each signature we just drop the entry m 5 (there is exactly one such entry in each signature).Then we replace each entry of the kind: m k5 , (k = 1, 2, 3, 4), by m k4 + 2m 5 (identifying m 44 ≡ m 4 ).Thus (26) becomes exactly (27).(Of course, this does not mean that the contents is the same. For instance, the ER χ + 0 from ( 27) contains the (anti)holomorphic discrete series representations of sp(5, IR), while the ER χ + 0 from ( 26) contains the limits of the (anti)holomorphic discrete series representations of sp(6, IR).) Thus, it is clear how to obtain from the case sp(6, IR) all the cases sp(n, IR) for n ≤ 5. We shall not do it here due to the lack of space.

Outlook
In the present paper we continued the programme outlined in [2] on the example of the non-compact group Sp(n, IR).Similar explicit descriptions are planned for the 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) [3] 4 , E 6(−14) [29], SU(n, n) (n ≤ 4) [30].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., [31].In our further plans it shall be very useful that (as in [2]) 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 [32,33] and to quantum groups [34].1a.Reduced multiplets R 6  1 for Sp(6, IR) .