Projectors separating spectra
for L2 on pseudounitary groups U(p, q)

arXiv:1703.08814v1 [math.RT] 26 Mar 2017

Yury A. Neretin1
The spectrum of L2 on a pseudo-unitary group U(p, q) (we assume p > q) naturally
splits into q + 1 types. We write explicitly orthogonal projectors in L2 to subspaces
with uniform spectra (this is an old question formulated by Gelfand and Gindikin).
We also write two finer separations of L2 . In the first case pieces are enumerated by
r = 0, 1, . . . , q and representations of discrete series of U(p − r, q − r), where r = 0,
. . . , q. In the second case pieces are enumerated by all discrete parameters of the
tempered spectrum of U(p, q).

1

Formulas for the projectors

1.1. Problem of separation of spectra. Recall a problem formulated in the
paper [8] by I. M. Gelfand and S. G. Gindikin in 1977. Consider a real semisimple
Lie group G, the left-right action of G × G on G and the corresponding regular
representation in L2 (G) (the group is equipped with the Haar measure). The
spectrum of the regular representation splits in a natural way into several pieces
(according the number of non-conjugate Cartan subgroups). Therefore there is
a natural decomposition of L2 (G) into a direct sum of subrepresentations with
uniform spectra,
L2 (G) = L1 ⊕ · · · ⊕ Lm .
Respectively, we have a natural decomposition of the identity operator
E = Π1 + · · · + Πm ,
where Πj are orthogonal projectors to the subspaces Lj . There arises a question
about explicit descriptions of such decompositions.

In [8] there was considered the case G = SL(2, R). The space L2 SL(2, R)
is a sum of highest weight representations, a sum of lowest weight representations, and a direct integral over the continuous series. It appears that the
summands corresponding to highest weight and lowest weight representations
can be regarded as certain Hardy spaces H 2 .
The same question about separation of spectra arises for L2 on semi-simple
pseudo-Riemannian symmetric spaces and for some other problems of noncommutative harmonic analysis (a natural splitting of spectrum to different
pieces is a usual phenomenon).
1.2. Known results. a) Transparent descriptions of decompositions are
known for several problems related to SL(2):
— For L2 (SL(2, R)), see [8], [11], [12], [1].
1 Supported

by the grants FWF, P25142, P28421

1

— Consider the homogeneous space SL(2, R)/H, where H is the diagonal
subgroup, this space can be identified with one-sheeted hyperboloid. The separation of spectrum in L2 was discussed in [23], [26].

— The space L2 SL(2, C)/SL(2, R) was considered in [7].
b) G. I. Olshanski [29] proposed a way of splitting of holomorphic series using
non-commutative ’Hardy spaces’, this approach was used in several works, see,
e.g., [18], [3], [22], [21].
Also, boundary values of holomorphic functions allow to split off a part of a
mostly continuous series for L2 on some pseudo-Riemannian symmetric spaces,
[13].
c) S. G. Gindikin [10] and V. F. Molchanov [24] in different ways solved a
problem for multi-dimensional hyperboloids O(p, q)/O(p, q − 1); this covers also
all SL(2)-cases mentioned above.
d) In [25] there was proposed a way to split summands of complementary
series using trace theorems, see more in [28], [27].
However up to now explicit separations of spectra on groups remain to be
unknown except SL(2, R).
In the present paper we obtain such description for L2 on pseudounitary
groups U(p, q).
1.3. Pseudounitary groups and principal series. Let p > q > 0.
p
q
We
 consider
 the space C ⊕ C equipped with an Hermitian form with matrix
1p
(absent elements of matrices are 0 on default, 1j denotes a unit
−1q
matrix of size j). The group
G := U(p, q)
consists of matrices g preserving this form, i.e.,




1p
1p
∗
.
g =
g
−1q
−1q

(1.1)

Consider the
 left-right regular representation R of the group U(p, q) × U(p, q) in
L2 U(p, q) ,
R(h1 , h2 )f (g) := f (h−1
1 gh2 ),

(h1 , h2 ) ∈ U(p, q) × U(p, q), g ∈ U(p, q).

Recall a decomposition of R into an integral of irreducible representations.
Denote by Jr the r × r-matrix with units on the secondary diagonal (other
matrix elements are 0-s). For a given r = 0, 1, . . . , q, consider an Hermitian
form determined by a matrix


0
Jr


1p−r

Ir := 


1q−r
Jr
0
2

For different r these forms are equivalent. Therefore the group of all matrices g
satisfying
gIr g ∗ = Ir .
is isomorphic to U(p, q). In this model, we consider subgroup Pr ⊂ U(p, q) of
all block upper-triangular matrices h ∈ U(p, q) of size
1 + · · · + 1 +(p + q − 2r) + 1 + · · · + 1
| {z }
| {z }
r times

having the form










h=








−1

ζ1

∗
−1

ζ2

r times

...
...
..
.

∗
∗

∗
∗

∗
∗

...
...

∗
∗

∗
−1
ζr

∗
∗
Z

∗
∗
∗
ζr

...
...
...
...
..
.

∗
∗
∗
∗
∗
ζ2


∗

∗


∗

∗

.
∗


∗

∗

∗

ζ1

Here Z ∈ U(p − r, q − r). We consider a representation µ of Pr given by
µA;c,m,ρ (h) =

r
Y

mj

|ζj |iρj ζj

· τA;c (Z),

(1.2)

j=1

where mj ∈ Z, ρj ∈ R, and τA;c is an irreducible representation of U(p − r, q − r)
of discrete series2 . Below in Subsect. 2.1 we will explain the meaning of the
parameters (A; c). Until this, we can understand τA;c as a symbol denoting
an arbitrary representation of a discrete series of U(p − r, q − r). We consider
representations TA;c,m,ρ of U(p, q) unitary induced (see, e.g, [2], §16.1) from
representations µA;c,m,ρ . For ρ being in a general position they are irreducible
(see the Harish-Chandra completeness theorem, [20], Theorem 14.31). Thus
we get q + 1 family Ar of representations numerated by r = 0, 1, . . . , q. The
regular left-right representation of U(p, q) × U(p, q) admits a decomposition in
a multiplicity free direct integral of the form
q
 M
L2 U(p, q) ≃
r=0

Z

(TA;c,m,ρ )∗ ⊗ TA;c,m,ρ dPr (A; c, m, ρ),

(1.3)

TA;c,m,ρ ∈Ar

where dPr (A; c, m, ρ) is the Plancherel measure.
2 By the definition, a representation of a reductive group is contained in a discrete series if
it is contained in L2 on the group.

3

1.4. Purpose of the paper. Our main purpose is to write projectors Πr
corresponding to the orthogonal decomposition ⊕qr=0 in (1.3). The formula is
given in Theorem 1 at the end of this section.
We also consider two finer decompositions. First, we fix a representation
τA;c of a discrete series of U(p − r, q − r) and consider in (1.3) the integral of
all representations having fixed (A; c). Secondly, we fix (A; c, m). Formulas for
the corresponding orthogonal projectors are given in Theorems 2-3 in Section 2.
Notice that for r = 0 these formulas must coincide with characters of discrete
series, general formulas have a similar degree of complexity (not too simple).
The problems are reduced to an integration of characters as functions of
parameters with respect to the Plancherel measure3 . Characters of representations of real semisimple groups and the Plancherel formula were obtained by
Harish-Chandra [15], [16]. His formulas contain some undetermined constants,
for more explicit formulas, see [17].
We obtain formulas for the projectors Πr as a simple byproduct of Takeshi
Hirai’s [19] derivation of the Plancherel formula for U(p, q).
1.5. Cartan subgroups. We realize U(p, q) as (1.1). Cartan subgroups
Hk , where k = 0, . . . , q, are defined in the following way. First, define a
subgroup Hk+ consisting of matrices

1p−k


















0

0
cosh tk

sinh tk
cosh tk−1

sinh tk−1
..

.

.

.·

cosh t1
sinh t1
.·

sinh t1
cosh t1
..

.

sinh tk−1

.
cosh tk−1

sinh tk

cosh tk
1q−k





















Next, we define a subgroup Hk− consisting of diagonal matrices with entries
eiϕ1 , eiϕ2 , . . . , eiϕp−k , eiθk , eiθk−1 , . . . , eiθ1 ,
eiθ1 , . . . , eiθk−1 , eiθk , eiψq−k , . . . , eiψ2 , eiψ1 .
Here tγ ∈ R, ϕα , ψβ , θγ ∈ R/2πZ. We set
Hk := Hk+ · Hk− .
Denote
zj := t + iθj .
3 The Plancherel measure is supperted by a space with discrete and continuous coordinates,
below we prefer to say ’summation’ of characters.

4

The eigenvalues of h ∈ Hk are
eiϕ1 , eiϕ2 , . . . , eiϕp−k , ez1 , ez2 ,. . . , ezk ,
eiψ1 , eiψ2 , . . . , eiψq−k , e−z1 , e−z2 ,. . . , e−zk . (1.4)
It is convenient to use two notations for systems of coordinates on Hk , the first
is ϕα , ψβ , θγ , tγ , the second is ϕα , ψβ , zγ .
Define the canonical Lebesgue measure on Hk by
dk h =

p−k
Y

α=1

dϕα

q−k
Y

dψβ

β=1

k
Y

dtγ dθγ .

γ=1

The Weyl group Wk corresponding to a Cartan subgroup Hk is
Wk ≃ Sp−k × Sq−k × (Sk ⋉ Zk2 ),
the symmetric group Sp−k acts on Hk by permutations of coordinates ϕα , the
group Sq−k by permutations of ψβ , the Sk by permutations of pairs (tγ , θγ ),
and Zk2 is generated by k reflections
Rγ : (t1 , . . . , tγ−1 , tγ , tγ+1 , . . . , tk ) 7→ (t1 , . . . , tγ−1 , −tγ , tγ+1 , . . . , tk )
(over coordinates ϕα , ψβ , θγ on Hk remain fixed).
We say that a function f on Hk is εk -symmetric if it is invariant with respect
to the subgroups Sp−k , Sq−k , Sk and changes sign under each reflections Rγ . We
say that a function f is εk -skew-symmetric if it is skew-symmetric with respect
to Sp−k × Sq−k and invariant with respect to Sk ⋉ Z2 .
1.6. The Vandermonde expression. We denote by ∆(y) the Vandermonde expression
∆(y) = ∆(y1 , . . . , yn ) =

n
Y

(yj − yl ).

16j<l6n

Denote the eigenvalues (1.4) of a matrix h ∈ Hk by ex1 , . . . , exn , and set
∆k (h) := ∆(ex1 , . . . , exn ).
Next, consider the following differential operators X1 , . . . , Xn on Hk :
1 ∂
∂
1 ∂
∂ 
∂ 
∂
,...,
,...,
,
+
+
i∂ϕ1
i∂ϕp−k 2 ∂t1
i∂θ1
2 ∂tk
i∂θk


∂
∂
1
∂
∂ 
∂
1 ∂
,...,
,
+
+
−
−
,...,
. (1.5)
i∂ψ1
i∂ψq−k 2
∂t1
i∂θ1
2
∂tk
i∂θk

We set4

∆k (∂) = ∆(X1 , . . . , Xn ).
4 Such operators were introduced Gelfand and Naimark [9] for complex classical groups and
later were used by Harish-Chandra in a more general context.

5

1.7. Average operator. Denote by Cc∞ (G) the space of compactly supported smooth functions on U(p, q). Recall that a space G/Hk admits a unique
up to a scalar factor G-invariant measure (since both G, H are unimodular,
see, e.g., [2],§4.3). For any f ∈ Cc∞ (G) we assign a function (Harish-Chandra
transform of f ) on Hk by
Z
f (yhy −1 )dy,
h ∈ Hk , y ∈ G.
Ik f (h) =
G/Hk

Notice that for y ∈ G the expression yhy −1 depends only on a coset of G with
respect to Hk , therefore actually we have an integration over G/Hk . By the
definition, a function Ik f is invariant with respect to the group Wk .
Under a certain normalization of the Haar measure dg on G and invariant
measures on Hk we have a Weyl integration formula
Z
Z
q
X
ωk
f (g) dg =
Ik f (h) |∆(h)|2 dk (h),
G

k=0

where
ωk :=

Hk

1
1
=
#Wk
(p − k)! (q − k)! k! 2k

(this follows from the usual arguments establishing the Weyl integration formula).
Denote by Hk′ ⊂ Hk the subset ∆k (h) 6= 0. By Hk◦ ⊂ Hk we denote the
complement to the union of all hypersurfaces ϕj = ψl . For any f ∈ Cc∞ (G) we
define a function on Hk′ by
Y
Ξk f (h) :=
sign(tk ) · ∆(h)Ik f (h).
(1.6)

A function Φ = Ξk f satisfies the following properties (see [30], Corollary
8.5.1.2).
A) Φ is compactly supported;
B) Φ is εk -skew-symmetric;
C) Φ is C ∞ -smooth on each component U of Hk◦ and all partial derivatives
are bounded.
Moreover, an a operator Ξk is bounded in a natural sense, i.e. a convergence
of a sequence fj ∈ Cc∞ (G) implies uniform convergence of all partial derivatives
of Ξk f on Hk◦ .
A collection of functions (Ξ0 f, . . . , Ξq f ) satisfies some gluing conditions on
hypersurfaces ϕα = ψβ and tγ = 0, see Lemma 2.2 of [19]. These conditions are
an important element of the story about characters and the Plancherel formula,
but below we do not use them explicitly (these conditions are hidden in an
integration by parts in formula (3.2)).
Next, consider a function F := ∆k (∂)Ξk f . It satisfies the following conditions (Harish-Chandra [14], Lemma 40, in [19] it is formulated in a beginning
of Sect.3, see also [30], Corollary 8.5.1.5):
6

A◦ ) F
B◦ ) F
C◦ ) F
◦
Hk ;
D◦ ) F

is compactly supported;
is εk -symmetric;
admits a C ∞ -smooth extension to the closure of each component of
admits a continuous extension to the whole Hk .

1.8. Formula for projectors. Consider a distribution χ on G invariant with respect to conjugations. It determines a convolution operator Qχ :
Cc∞ (G) → C ∞ (G) by5
Qχ f (h) = hhf (gh), χ(g)ii(G) ,
where brackets denote a pairing of a test function and a distribution.
Theorem 1 For any r = 0, . . . , q the projector Πr is a convolution operator
determined by the following distribution Θr :
M∗ hhf, Θr ii(G) = (−1)n(n−1)/2+pq+qr+r(r−1)/2

q
X
2n−2k π n−k k!
k=r

p−k
Y

δ(ϕα )

α=1

q−k
Y

δ(ψβ )

k
Y

γ=1

β=1

(k − r)! r!

×

DD
× ωk ∆k (∂) Ξk f (ϕ, ψ, θ, t),

EE
coth(tγ /2) δ(θγ ) + tanh(tγ /2)δ(θγ − π)

(Hk )

, (1.7)

where δ(·) denotes the delta-function and M∗ is a constant.
Remark. A formula
hhF, coth(t/2)ii(R) := p.v

Z

coth(t/2)F (t) dt

(1.8)

R

determines a distribution on Cc∞ (R). However test functions in (1.7) are odd
with respect to the variables Tγ , for odd smooth F (t) the integrand in (1.8) is
smooth at 0.
Remark. In particular, the projector to the most continuous series (i.e.,
r = q) is determined by the distribution
2

M∗ hhf, Θq ii(G) = (−1)p(p−1)/2+q 2p−q π p ωq ×
DD
× ∆q (∂) Ξq f (ϕ, ψ, θ, t),
p−q
Y

α=1

δ(ϕα )

q
Y

γ=1

EE
coth(tγ /2) δ(θγ ) + tanh(tγ /2)δ(θγ − π)

(Hq )

,

1.9. Further structure of the paper. Section 2 contains preliminaries
from Hirai [19]. Theorem 1 is proved in Section 3. In Section 4 we write formula

for projectors determining finer orthogonal decompositions of L2 U(p, q) .
5 By

hhf, χii(L) we denote a pairing of a test function and a distribution on a manifold L.

7

c1 c2

ϕ1

. . . ϕp−k

(d1 , d1 ) . . . (dr , dr )

...

cn−2r

ψ1 . . . ψq−k

(z1 , −z 1 )

...

(zk , −z k )

Figure 1: Diagrams, which enumerate summands in the formula for characters.

2

The Plancherel formula. Preliminaries

Here we present the formula for characters and the Plancherel formula from [19].
2.1. Formula for characters. Recall that a character π of a unitary
representation T of a unimodular Lie group G is a distribution on G defined by
Z
f (g) T (g) dg
for all f ∈ Cc∞ (G).
hhf, πiiG) = tr T (f ) := tr
G

According Harish-Chandra, a character of an irreducible representation of a
reductive Lie group is a locally integrable function. Here we present a formula
for characters of representations of U(p, q) from [19], Section 1.
Fix r = 0, 1, . . . , q. Consider three collections of parameters
c1 > c2 > · · · > cn−2r ,

where cα ∈ Z;

m1 , . . . , mr , where mj ∈ Z;
ρ1 > ρ2 > · · · > ρr > 0, where ρj ∈ R.

(2.1)
(2.2)
(2.3)

We denote
dj = 21 (mγ + iργ ),
and use an alternative notation (a signature) for the same collection of parameters
(2.4)
(c, d) := (c1 , c2 . . . , cn−2r , d1 , d1 , d2 , d2 , . . . , dr , dr ).
Next, we split the set {1, 2, . . . , n − 2r} into two disjoint subsets A :=
{a1 , . . . , ap−r } and B := {b1 , . . . , bq−r }. Data (A; c, d) determine a character
κA;c,d of the group U(p, q), it is defined in this subsection.
Let j, l ∈ Z, z = t + iθ . We set

ξc (z; j, l) := sign(j − l) exp −|cj − cl | |t| + (cj + cl )iθ .
(2.5)
For given r and k > r we consider all possible diagrams σ of the form given
on Fig.1.

8

a)

b)

or

c)

d)

Figure 2: Possible pieces of a diagram.
The elements of the upper row, -s, -s, -s correspond to elements of a
signature (2.4). More precisely, -s correspond to caj , where aj ∈ A, -s correspond to cbl , where bl ∈ B, and -s correspond to d1 , d1 , . . . , dr , dr . For a
clarity, we connect dγ and dγ by an arc.
The elements of the lower row, -s, -s, and -s correspond to the coordinates
ϕ1 , . . . , ϕp−k , ψ1 , . . . , ψq−k , z1 , −z 1 , z2 , −z2 , . . . , zk , −z k .

(2.6)

Namely, -s correspond to ϕα , -s to ψβ , and -s to zγ , −zγ . We connect each
pair zγ and −z γ by an arc.
We connect elements of the upper row with elements of the lower row by
arcs (each element is an end of a unique arc). Each diagram σ establishes a
one-to-one correspondence between elements of rows (2.4) and of rows (2.6).
We allow only diagrams that are unions of pieces of 4 types a)-d) presented
on Fig. 2:
a) Arcs — or caj —ϕα , where aj ∈ A.
b) Arcs — or cbl —ψβ , where bl ∈ B.
c) Chains — — — or caj —zγ —(−z γ )—cbl . Un particular, this means
that a left is connected with and a right is connected with .
d) Cycles – — — — – or –ds —zγ —(−z γ )—ds –. Notice that a left is
connected with left .
We use the following notation:
— in the case a) we write [caj , ϕα ] ∈ σ;
— in the case b): [cbl , ψβ ] ∈ σ;
— in the case c): [caj , zγ , cbl ] ∈ σ;
— in the case d): [[ds , zγ ]] ∈ σ.
Denote by Ω(A|r, k) the set of all admissible diagrams σ. Recall that σ ∈
Ω(A|r, k) determines a substitution of a set {1, . . . , n}, in particular it has a
well-defined sign (−1)σ .
k
For a fixed signature (2.4) and a fixed A we define functions κ k = κA;c,d
on
Hk in the following way:
k
κA;c,d
= 0,

for k < r.

9

For k > r we set
X

k
κA;c,d
(h) = (−1)k(k+1)/2+pq−r(k+q)

Y

×
Y

×

σ∈Ω(A|r,k)

e

icaj ϕα

·

Y

eicbl ψβ ×

[cbl ,ψβ ]∈σ

[caj ,ϕα ]∈σ

ξc (zγ ; aj , bl ) ·

[caj ,zγ ,cbl ]∈σ

(−1)σ ×

Y

[[ds ,zγ ]]∈σ


eims θγ eiρs tγ + e−iρs tγ . (2.7)

k
The functions κA;c,d
are εk -skew-symmetric.
There exists a unitary representation TA;c,d of G = U(p, q) such that for any
f ∈ Cc∞ (G), we have

tr TA;c,d(f ) = hhf (g), πA;c,d ii(G) =

q
X

k=0

ωk

Z

Hk

k
Ξk f (h) κA;c,d
(h) dh.

Moreover, TA;c,d are the representations defined in Subsect. 1.3.
If r = 0 (i.e., the parameters d are absent), then TA;c is a representation of
U(p, q) of discrete series.
Let r > 0. Then κA;c,∅ determines a representation of a discrete series τA;c
of U(p − r, q − r). The representation TA;c,d is induced from the representation
(1.2) of the parabolic Pr .
2.2. The Plancherel formula. See Hirai [19], Theorem 3. For m ∈ Z, we
set
(
−(i/2) coth(πρ/2),
if m is even;
em (ρ) :=
−(i/2) tanh(πρ/2),
if m is odd.
We also define the Vandermonde expression in the parameters (c, d),
∆r (c, d) = ∆(c1 , . . . , cp−r , d1 , . . . , dr , cp−r+1 , . . . , cn−2r , d1 , . . . , dr ).
The Plancherel formula for U(p, q) is given by
M∗ f (e) =

q 
X
r=0

Z

X

X

c1 >c2 >···>cn−2r m1 ,...,mr ∈Z

ρ1 >ρ2 >···>ρr >0

X
A



Y
tr TA;c,d(f ) ∆r (c, d)
ems (ρs ) dρ1 . . . dρr . , (2.8)
s

where M∗ is a constant.
Denote by F1 ∗ F2 the convolution of functions on G. For F ∈ Cc∞ (G) denote
by F ⋆ the function F ⋆ (g) = F (g −1 ). For any unitary representation T of G we
have
T (F ∗ F ⋆ ) = T (F ) T (F )∗ > 0.
10

Therefore for f = F ∗ F ◦ the integrand in the right hand side of (2.8) is positive.
By polarization arguments this implies absolute convergence of the integral and
the series in (2.8) for functions of the form f = F ∗ F ′ , hence the absolute
convergence holds on the subspace consisting of functions
f=

N
X

Fj ∗ Fj′ ,

where Fj , Fj′ ∈ Cc∞ (G).

(2.9)

j=1

This subspace is dense in Cc∞ (G) and invariant with respect to left and right
shifts. For arbitrary f ∈ Cc∞ (G) the identity (2.8) holds if to understand the
right-hand side in the sense of a successive integration as below.

3

Evaluation of the projectors Πr

Here we prove Theorem 1.
b the set of all possible parameters
3.1. Preliminary remarks. Denote by G
b
λ = (A; c, d), see (2.1)–(2.3), so G consists of pieces enumerated by r = 0,
1, . . . , q, and each piece is a product of a discrete set and a simplicial cone
ρ1 > · · · > ρr > 0. We equip the discrete set with the counting measure and
the simplicial cone with the Lebesgue measure, so we get a sigma-finite measure
b Denote dP(A; c, d) = dP(λ) the measure on G
b with the positive density
on G.
Q
∆r (c, d) s ems (ρs ). Denote by Tλ the irreducible representation with parameter
λ and by Hλ the space of the representation.
b which for each λ assign
Next, consider the space L2 (G) of functions Φ on G,
a Hilbert–Schmidt operator Φ(λ) : Hλ → Hλ and satisfy the condition
Z

tr Φ(λ)Φ(λ)∗ dP(λ) < ∞.
b
G

This space is a Hilbert space with respect to the inner product
Z
tr Φ(λ)Ψ(λ)∗ dP(λ).
hΦ, ΨiL2 (G)
b :=
b
G

For any f ∈ L2 (G) ∩ L1 (G) the formula
Z
Tλ (f ) =
f (g)Tλ (g) dg
G

b Moreover
determines an element of L2 (G).

hf1 , f2 iL2 (G) = hTλ (f1 ), Tλ (f2 )iL2 (G)
b

and the map I : f 7→ Tλ (f ) (the Fourier transform) extends to a unitary
b The inverse Fourier transform is given by
operator L2 (G) → L2 (G).
Z

−1
tr Φ(λ)T (g −1 ) dP(λ).
I Φ(g) =
e
G

11

b and the subspace L2 (U ) ⊂ L2 (G)
b consisting of
Consider a subset U ⊂ G
functions supported by U . Let us write a formula for a projection operator ΠU
in L2 (G) corresponding to L2 (U ). According the kernel theorem any bounded
operator in L2 (G) is determined by a kernel, which is a distribution on G × G.
Let f has the form (2.9). Then
Z
Z

ΠU f (g) =
tr Tλ (f )T (g −1 ) dP(λ) = hhLg f, πλ ii(G) dP(λ),
U

U

where Lg f (h) := f (g −1 h) and the integral absolutely converges.

3.2. Transformations of the Plancherel formula. Denote by W (r)
the group of all transformations of the set of all signatures (2.4) generated by
permutations of parameters c, permutations of parameters d and reflections Rs
changing ds and ds . Clearly,

W (r) ≃ Sn−2r × Sr ⋉ Zr2 .

We say that a function F in variables c, d is εr -symmetric if it is invariant
with respect to Sn−2r and Sr and changes a sign under each reflection Rs . A
function F is εr -skew-symmetric if it is skew-symmetric with respect to Sn−2r
and invariant with respect to Sr ⋉ Zr2 .
We write the right-hand side of (2.8) as
q
X

Zr .

r=0

Our purpose is to find summands Zr . Following [19], we define a sum
X

X
X Z
k
tr TA;c,d(f ) =
ωk
Ξk f (h)
κA;c,d
(h) dh.
A

k

Hk

The expressions
k
κ
ec,d
:=

A

X

k
κA;c,d

A

have form (2.7) but the summation
X

...

e
Ω(r,k)



e
now is taken over the set Ω(A;
r, k) of diagrams shown on Fig. 3, namely we
forget a difference between -s and -s and allow to connect any ϕα , ψβ with
e
an arbitrary cτ . The number of elements of Ω(A|r,
k) is
e
#Ω(A|r,
k) =

12

k!(n − 2r)!
.
(k − r)!

c1 c2

. . . ϕp−k

ϕ1

(d1 , d1 ) . . . (dr , dr )

...

cn−2r

ψ1 . . . ψq−k

(z1 , −z 1 )

...

(zk , −z k )

k
Figure 3: Diagrams enumerating summands in κ
e c,d
.

k
k
We defined κA;c,d
and κ
ec,d
under conditions (2.1) and (2.3). However, the
expressions make sense for arbitrary c1 , . . . , cn−2r ∈ Z and ρ1 , . . . ρr ∈ R.
k
Functions κ
e c,d
are εr -skew-symmetric with respect to the parameters c, d, d.
k
For any signature (2.4) we define functions ηc,d
on Hk by
k
ηc,d
(h) =

X

Y

eicaj ϕα ·

e
[caj ,ϕα ]∈σ
σ∈Ω(r,k)

×

Y

[caj ,zγ ,cbl ]∈σ



Y

eicbl ψβ ×

[cbl ,ψβ ]∈σ


sign(tγ ) exp{−|caj − cbl | · |tj | + i(caj + cbl )θj } ×
Y

×

[[ds ,zγ ]]∈σ


eims θγ eiρs θγ − e−iρs θγ . (3.1)

This expression is εk -symmetric as a function in variables ϕα , ψβ and εr - symmetric as a function in parameters ca , ds , ds . It is easy to verify that
k
k
∆k (∂)ηc,d
(h) = (−1)pq+qr+r(r−1)/2 ∆k (c, d)e
κc,d
.
k
Remark. We can also define functions ηc,d|A
replacing a summation with
e
respect to Ω(r, k) by a summation with respect to Ω(A|r, k). These functions
are εk -symmetric in coordinates, but the εr -symmetry with respect to the parameters does not hold.
⊠

Therefore, we can present Zr as
Zr = (−1)pq+qr+r(r−1)/2
Z

ρ1 >ρ2 >···>ρr >0

X
q
k=r

X

X

c1 >c2 >···>cn−2r m1 ,...,mr ∈Z

ωk

Z

Hk

Ξk f (h) ·

k
(h) dh
∆k (∂)ηc,d

Y
s

13

ems (ρs ) dρ1 . . . dρr .

Next, Theorem 2 of [19] allows to integrate by parts:
q
X

ωk

Z

Hk

k=r

k
Ξk f (h) · ∆k (∂)ηc,d
(h) dh =

= (−1)n(n−1)/2

q
X

Z

ωk

k=r

Hk

k
∆k (∂)Ξk f (h) · ηc,d
(h) dh. (3.2)

k
Remark. This is a delicate point since functions Ξk f (h) and ηc,d
(h) have
singularities on hypersurfaces ϕα = ψβ , an integration
by
parts
in
each
sumPq
mand produces extra terms, however in the sum k=r all such terms cancel.


3.3. Transformations of distributions Zr . Next, both ∆k (∂)Ξk f (h) and
k
ηc,d
(h) are εr -symmetric as functions of parameters c, d, d, Therefore, we can
transform Zr to the form
Zr = (−1)n(n−1)/2 (−1)pq+qr+r(r−1)/2
Z

ρ1 ,...,ρr ∈R

X
q

ωk

k=r

Z

1
#W (r)

∆k (∂)Ξk f (h) ·

Hk

X

X

c1 ,...,cn−2r ∈Z m1 ,...,mr ∈Z

k
ηc,d
(h) dh

Y

ems (ρs ) dρ1 . . . dρr

s

(we also use the property em (ρ) = −em (−ρ)).
At least for f of the form (2.9) this expression converges as an integral over
b (the integrand is the expression in the big brackets). But we have also a finite
G
summation and an integration over Hk and we have no reasons to believe to
the absolute convergence of the whole expression. For further manipulations we
pass to a successive integration and after this change the order of the successive
integration and a finite summation. In this way, we transform Zr to the form
q
(−1)n(n−1)/2 (−1)pq+qr+r(r−1)/2 X
ωk Zr,k ,
Zr =
#W (r)
k=0

where
Zr,k =

X

c1 ∈Z

···

X

X Z

cn−2r ∈Z m1 ∈Z

Z

Hk

X Z

ρ1 ∈R m ∈Z
2

···

ρ2 ∈R

k
∆k (∂)Ξk f (h) · ηc,d
(h) dh

X Z

mr ∈Z

Y

ρr ∈R

ems (ρs ) dρr . . . dρ1 . (3.3)

s

k
We apply the definition (3.1) of ηc,d
and move a finite summation
the front of our integral. Thus we get
X
σ
Zr,k =
Yr,k
,

14

P

e
Ω(r,k)

in

where
σ
Yr,k
=

X

c1 ∈Z

X Z

X

···

···

cn−2r ∈Z m1 ∈Zρ ∈R
1

Y

×
Y

×

[caj ,zγ ,cbl ]∈σ

×

Y



X Z

Z

∆k (∂)Ξk f (h)×

mr ∈Zρ ∈R H
r
k

eicaj ϕα ·

Y

eicbl ψβ ×

[cbl ,ψβ ]∈σ

[caj ,ϕα ]∈σ


sign(tγ ) exp{−|caj − cbl | · |tj | + i(caj + cbl )θj } ×
eims θγ eiρs θγ − e−iρs θγ

Y

ems (ρs ) dh dρr . . . dρ1 . (3.4)

s

[[ds ,zγ ]]∈σ

3.4. Summation of distributions. Preliminaries. Lemmas below
follow Hirai [19], but we need some additional details.
Lemma 1 Let f (t) be a smooth compactly supported function on R. Then
Z
Z Z
iρt
f (t)2i coth(t) dt;
(3.5)
f (t)e dt coth(πρ/2) dρ =
R
R R
Z
Z Z
2i dt
f (t) ·
f (t)eiρt dt tanh(πρ/2) dρ =
.
(3.6)
sinh
t
R
R R
We will apply this lemma for odd functions f (t). In this case, the integrals
in the right hand sides and the repeated integrals in the left hand sides are
absolutely convergent.
Proof. We must evaluate Fourier transforms of tempered distributions
tanh(πρ/2), coth(πρ/2). See Tables of Fourier transforms of distributions in [4],
Table 1, lines (396), (397), in the second case we also must apply [5], formula
(1.7.11). Also, it is possible to apply formulas [6], (2.9.7), (2.9.8) and continuity
of the Fourier transform in the space of tempered distributions.

Lemma 2 Let f (t, θ) be a smooth function with compact support, satisfying
f (−t, θ) = f (t, θ). Then
Z Z Z

1 X ∞ π ∞
f (t, θ)eimθ eiρt − e−iρt dt dθ em (ρ) dρ =
2
−π −∞
m∈Z 0
X Z ∞Z π Z ∞
=
f (t, θ)eimθ eiρt dt dθ em (ρ) dρ =
=

DD

m∈Z

0

−π

−∞

EE
f (t, θ), π coth(t/2)δ(θ) + tanh(t/2)δ(θ − π)

(R/2πZ ×R+ )

. (3.7)

Proof. The first equality follows from f (−t, θ) = f (t, θ). The convergence
of the series is obvious, and we fulfill a formal calculation with distributions.
We have
X
eimθ = 2πδ(θ)
m∈Z

15

and therefore
X

ei2lθ = π δ(θ) + δ(θ − π) ,

X

l∈Z

l∈Z


ei(2l+1)θ = π δ(θ) − δ(θ − π) .

(3.8)

Keeping in the mind Lemma 1, we evaluate
XZ

m∈Z

=

− 2i

eimθ eiρt em (ρ) dρ =

ρ∈R

X

e

2ilθ

·

l∈Z

=

Z

e

iρt

coth(πρ/2) dρ −

i
2

X
l∈Z

ρ∈R


δ(θ) + δ(θ − π) · 2i coth(t) −

− πi
2

e

i(2l+1)θ

πi
2

·

Z

eiρt tanh(πρ/2) dρ =

ρ∈R


δ(θ) − δ(θ − π) ·

2i
sinh(t)


= π coth(t/2)δ(θ) + tanh(t/2)δ(θ − π) .

=


Lemma 3 Let f (t, θ) satisfy the conditions of the previous lemma and be supported by the set |t| 6 R. Then
a) For any N > 0 there exists a constant C(f, N ) such that for any a, b ∈ Z,
Z

∞
0


f (t, θ) exp −|a − b| · |t| + i(a + b)θ dt dθ 6
6

C(f, N )
, (3.9)
(1 + (a − b)2 )(1 + |a + b|N )

where C(f, N ) admits a uniform estimate in terms of R and numbers
max

∂j f
,
∂θj

max

∂ j+1 f
,
∂t ∂θj

where j = 0, . . . , N .

b) The following identity holds:
X Z

a,b∈Z

π

−π

Z

=

∞

−∞

DD


f (t, θ) sign(t) exp −|a − b| · |t| + i(a + b)θ dt dθ =

EE
f (t, θ)π coth(t/2)δ(θ) + tanh(t/2)δ(θ − π)

(R/2πZ×R)

, (3.10)

Proof. a) We integrate by parts N times with respect to θ and one time
with respect to t.
b) By a) the double series in the left-hand side of (3.10) absolutely converges.
We change summation indices to m = a, n = a − b. Thus we must evaluate a
sum of distributions
XX


exp −|n|t exp i(2m − n)θ ,
n∈Z m∈Z

16

to simplify notation we assume t > 0, recall that we consider functional on the
space functions that odd in t. By (3.8) we get
X
k∈Z


 X


exp −|2k| t ·π δ(θ)+δ(θ −π) +
exp −|2k +1| t ·π δ(θ)−δ(θ −π) =
k∈Z


= coth t · π δ(θ) + δ(θ − π) +


1
· π δ(θ) − δ(θ − π)
sinh t

The last pass is a formal manipulation with series, it is justified by the dominated
convergence of the expression
Z ∞

XZ ∞
2e−t 
−|n| t
dt,
f (t, 0)e
dt =
f (t, 0) 1 +
1 − e−t
0
0
k∈Z

recall that f (t, θ) = 0. After a simple transformation we come to
π coth(t/2) δ(θ) + π tanh(t/2) δ(θ − π).



Lemma 4 Let f (ϕ) be a continuous piece-wise smooth function on R/2πZ.
Then there exist a constant C(f ) such that
Z π
C(f )
f (ϕ)e−ikϕ dϕ 6
,
(3.11)
(1 + |n|2 )
−π
where C(f ) can be estimated in terms of
max |f |,

max |f ′ |,

max |f ′′ |

and the number of singular points of f . Moreover
XZ π
f (ϕ)e−ikϕ dϕ = 2π f (0).
k∈Z

−π

Proof. To obtain (3.11) we integrate two times by parts (after the first integration boundary term do not appear). This implies the absolute convergence
of the Fourier series and the second statement.

Lemma 5 Let f (ϕ, t, θ) be a continuous function piece-wise smooth function
on R/2πZ × R/2πZ, which is smooth for any fixed ϕ. Then the following double
sum absolutely converges
XXZ π Z π

f (ϕ, t, θ) sign(t) exp −|a − b| · |t| + i(a + b)θ dθ dϕ (3.12)
a∈Z c∈Z

−π

−π

Proof. This follows from estimates (3.9), (3.11).

17



Lemma 6 Let f (t1 , t2 , θ1 , θ2 ) be a smooth function on R × R × R/2πZ × R/2πZ
odd in t1 and odd in t2 . Then the following series absolutely converges
XXZ π Z π

f (t1 , t2 , θ1 , θ2 ) sign(t) exp −|a − b| · |t1 | + i(a + b)θ1 ×
a∈Z c∈Z

−π

−π


× sign(t) exp −|c − d| · |t2 | + i(c + d)θ2 dθ1 dθ2 .

Proof. This follows from (3.9).

3.5. Summation of distributions. Formally transforming (3.4) we get

p X
q X
Y
 Y

iaψα
= ∆k (∂)Ξk f (ϕ, ψ, t, θ) ,
·
e
eibϕβ ×

σ
Yr,k

×

Y

X

γ: [caj ,zγ ,cbl ]∈σ a,b∈Z

Y

×

X

e

imθγ

γ: [[ds ,zγ ,]]∈σ m∈Z

α=1 a∈Z

β=1 b∈Z



sign(tγ ) exp −|a − b| · |tγ | + i(a + b)θγ ×
Z

e

iρtγ

e

iρtγ

−e

−iρtγ

ρ∈R



em (ρ) dρ



(3.13)

(Hk )

Applying Lemmas 2–4 we come to
σ
Yr,k
= 2n−2k+r π n−k ×

×

p
Y

δ(ϕα ) ·

α=1

q
Y

δ(ψβ ) ·

β=1

k
Y

γ=1


coth(tγ )δ(θγ ) + tanh(tj )δ(θγ − π) . (3.14)

σ
and we observe that for all σ the sums Yr,k
are equal. However, in the initial
σ
expression for Yr,k we have a successive integration-summation, the calculation
above assumes changings of the order of the summation.
Step 1. We can change a summation in mr with any integration in dϕα ,
dψβ , and dtγ , dθγ except γ linked with r on the diagram σ. For this, we use
two identities, the first is

 Z π X Z π
X Z π Z π
eimθ F (θ, ϕ) dθ dϕ
eimθ F (θ, ϕ) dθ dϕ =
m∈Z

−π

−π m∈Z

−π

−π

for a function F , which is piece-wise smooth on a torus. The second is
 Z X Z π

X Z π Z
imθ
e F (θ, τ ) dθ dτ =
eimθ F (θ, τ ) dθ dτ
m∈Z

−π

R

R m∈Z

−π

for a smooth compactly supported G on R/2πZ × R.
The same property holds for the integration in dρr ,
So we can start the integration-summation from the integral
Z
Z
XZ
∆k (∂)Ξk f (ϕ, ψ, t, θ)×
mr

ρr ∈R

t∈R

θ∈[0,2π]


× eimr θγ eiρr tγ − e−iρr tγ dtγ dθγ em (ρr ) dρr
18

c1 c2

ϕ1

. . . ϕp−k

...

cn−2r

ψ1 . . . ψq−k

(z1 , −z 1 )

...

(zk , −z k )

Figure 4: Elements of Ω◦ (A|r, k).
We apply Lemma 2 and continue the process. In this way, we perform
P Rsuccessive
integrations and summations in (3.4) one after another for all ms dρs .
Step 2. We start a successive summation with respect to cn−2r , cn−2r−1 ,
. . . . As above, we can change one summation in cj with an integration in dϕα ,
dψβ , dtγ , dθγ (if this variables are not linked with ca in the diagram σ.) If we
meet ca linked with ϕα or ψα , we apply Lemma 4. For the factors of the type


sign(tγ ) exp{−|caj − cbl | · |tj | + i(caj + cbl )θj }
P
P
the corresponding summations ca , cb generally are not adjacent in (3.4)
j
j
and we can not immediately
apply
Lemma
2. But Lemmas 5, 6 allow to change
P P
adjacent summations cj , cj+1 in two case
— if both cj , cj+1 are connected with black boxes;
— if precisely one of cj , cj+1 is connected with a black box.
This allows a consequent application of Lemmas 4 and 3.
In this way, we justify (3.14 and get

This implies Theorem 1.

4

σ
e k) · Yr,k
Zr,k = #Ω(r,

Refinements of the orthogonal decomposition

4.1. The decomposition with respect to the parameters (A; c). Fix
r and (A; c). Denote by LA;c the subspace in the Plancherel decomposition
(1.3), which is the integral of all representations with given (A; c). To write
the projector to LA;c we need some notations. Denote by Ω◦ (A|r, k) the set
of all diagrams of the form shown on Figure 4. These diagrams are obtained
from elements of Ω(A|r, k) by forgetting black circles and adjacent arcs. These
diagrams split into elements of the following 4 types
a) Arcs — or caj —ϕα , where aj ∈ A.
b) Arcs — or cbl —ψβ , where bl ∈ B.
19

c) Chains — — — or caj —zγ —(−z γ )—cbl .
d)∗ Arcs — , or zγ —(−z γ ).
Theorem 2 An invariant distribution ΘA;c determining an orthogonal projector to LA;c is given by the formula
M∗ hhf, ΘA;c ii(G) =
n(n−1)/2+pq+qr+r(r−1)/2

= (−1)

n
X
2n−2k π n−k ωk

r!

k=r

k
hh∆k (∂)Ξk f, ζA;c
ii(Hk ) ,

where
k
ζA;c
=

X

Y

×

[caj ,zγ ,cbl ]∈σ



eicbl ψβ ×

[cbl ,ψβ ]∈σ

σ∈Ω◦ (A|r,k) [caj ,ϕα ]∈σ

Y

Y

eicaj ϕα ·


sign(tγ ) exp{−|caj − cbl | · |tj | + i(caj + cbl )θj } ×
Y

×

[[zγ ,−zγ ]]∈σ


coth(tγ /2)δ(θγ ) + tanh(tγ /2)δ(θγ − π) .

k
A calculation of the distributions ζA;c
are the same as above. It is important
k
that Theorem 2 from [19] allows the integration by parts for functions ηA;c,d
r
defined in Subsect. 3.2. We symmetrize with respect to Sr ⋉ Z2 instead of W (r)
in (3.3). In the calculation described in Subsect. 3.5 we make only Step 1.
4.2. The decomposition with respect to the parameters (A; c) and
m. Take r, A, (c1 , . . . , cn−2r ), and

(m1 + iρ1 , . . . , mr + iρr )

(4.1)

Consider a representation TA;c,m,ρ of U(p, q) unitary induced from a representation (1.2). The hyperoctahedral group Sr ⋉ Zn2 acts on the set of collections
(4.1) by permutations and complex cojugations ms + iρs 7→ ms − iρs . Elements
of this group send representations TA;c,m,ρ to equivalent representations. In
particular, we can assume that
m1 > m2 > . . . > mr .

(4.2)

Denote by LA;c,m the integral of all representations with fixed A, c, m in L2 (G).
We intend to write a projector to LA;c,m .
Sinse a collection (4.2) can contain repeating entries, we will use an alternative notation for the same collection,
1

u1 times

(here uι > 0,

P

1

2

2

3

3

m ,...,m > m ,...,m > m ,...,m > ...
|
{z
} |
{z
} |
{z
}
u2 times

uι = r).

20

u3 times

(4.3)

Define function fm (t), where m ∈ Z, by
(
coth(t),
where m ∈ 2Z;
fm (t) =
1/ sinh(t),
where m ∈ 2Z + 1.
Theorem 3 The invariant distribution ΘA;c,m determining the orthogonal projector to LA;c,m is given by
M∗ hhf, ΘA;c,m ii(G)

n
(−1)n(n−1)/2+pq+qr+r(r−1)/2 X
=
hh∆k (∂)Ξk f, ζA;c,m ii(Hk ) ,
2r
k=r

where
1
ζA;c,m = Q
uι !
×

Y

X

Y

eicaj ϕα ·

[caj ,zγ ,cbl ]∈σ

eicbl ψβ ×

[cbl ,ψβ ]∈σ

σ∈Ω(r,k) [caj ,ϕα ]∈σ



Y


sign(tγ ) exp{−|caj − cbl | · |tj | + i(caj + cbl )θj } ×
×

Y

eims θγ fms (tγ ).

[[ds ,zγ ]]∈σ

Proof. In the Plancherel formula we have summation over the set m1 , . . . ,
mr ∈ Z, ρ1 > ρ2 > · · · > ρr . We can replace this domain by any fundamental domain of the hyperoctahedral group Sr ⋉ Zr2 . Denote the parameters ρ
corresponding to (4.3) by
ρ11 , ρ21 , . . . , ρu1 1 , ρ12 , ρ22 , . . . , ρu2 2 , ρ13 , ρ23 , . . . , ρu3 3 , . . .
We choose a fundamental domain determined by (4.3) and
ρ11 > ρ21 > · · · > ρu1 1 > 0,

ρ12 > ρ22 > · · · > ρu2 2 > 0,

...

Now problem is reduced to an evaluation of
Z
Y
ηA;c,d
em (ρs ) dρ.
ρ11 > ρ21 > · · · > ρu1 1 > 0,
ρ12 > ρ22 > · · · > ρu2 2 > 0,
........................

s

Using symmetry, we change this to
Z
Y
1
Q
η
em (ρs ) dρ.
A;c,d
2r uι !
s
u
(ρ11 , ρ21 , . . . , ρ1 1 ) ∈ Ru1 ,
(ρ12 , ρ22 , . . . , ρu2 2 ) ∈ Ru2 ,
......................
P
We pass to the sum σ∈Ω(A|r,k) and integrate it termwise in ρr , . . . ρ1 using
(3.6), (3.5).

21

References
[1] Alldridge, A.; Upmeier, H. Toeplitz operators on Hardy spaces over
SL(2, R): irreducibility and representations. In Geometry and analysis on
finite- and infinite-dimensional Lie groups, 173–209, Banach Center Publ.,
55, Polish Acad. Sci., Warsaw, 2002. Barut, Asim O.
[2] Barut A. O; Raczka, R. Theory of group representations and applications.
PWN, Warszawa, 1977.
[3] Ben Said, S. Espaces de Bergman pondérés et série discréte holomorphe de
^
U(p,
q). J. Funct. Anal., 173, (2000), 1, 154-181.
[4] Brychkov, Yu. A.; Prudnikov, A. P. Integral transforms of generalized functions. Nauka, Moscow, 1977 (Russian); English transl. from the Second
Russian edition: Gordon and Breach, New York, 1989.
[5] Erdélyi, A.; Magnus, W.; Oberhettinger, F.; Tricomi, F. G. Higher transcendental functions. Vols. I. Based, in part, on notes left by Harry Bateman. McGraw-Hill Book Company, Inc., New York-Toronto-London, 1953.
[6] Erdélyi, A.; Magnus, W.; Oberhettinger, F.; Tricomi, F. G. Tables of integral transforms. Vol. I. Based, in part, on notes left by Harry Bateman.
McGraw-Hill Book Company, Inc., New York-Toronto-London, 1954.
[7] Frenkel I., Libine L. Split quaternionic analysis and separation of the series
for SL(2, R) and SL(2, C)/SL(2, R). Adv. Math. 228 (2011), 2, 678-763.
[8] Gelfand, I. M.; Gindikin, S. G. Complex manifolds whose spanning trees are
real semisimple Lie groups, and analytic discrete series of representations.
Funct. Anal. Appl., 1977, 11:4, 258-265.
[9] Gelfand I.M., Naimark M.A. Unitary representations of the classical groups.
Trudy Mat. Inst. Steklov., vol. 36, 1950; German transl.: Gelfand, I. M.,
Neumark, M. A. Unitäre Darstellungen der klassischen Gruppen. AkademieVerlag, Berlin, 1957.
[10] Gindikin S., Conformal analysis on hyperboloids, J. Geom. Phys., 10, 175184 (1993).
[11] Gindikin, S. Integral geometry on SL(2; R). Math. Res. Lett. 7 (2000), no.
4, 417-432.
[12] Gindikin, S. An analytic separation of series of representations for SL(2; R).
Mosc. Math. J. 2 (2002), no. 4, 635-645.
[13] Gindikin, S, Krötz, B., Ólafsson, G. Hardy spaces for non-compactly causal
symmetric spaces and the most continuous spectrum. Math. Ann. 327
(2003), no. 1, 25-66.

22

[14] Harish-Chandra, A formula for semisimple Lie groups. Amer. J. Math. 79
(1957) 733-760.
[15] Harish-Chandra, Discrete series for semisimple Lie groups. II. Explicit determination of the characters. Acta Math. 116 (1966) 1-111.
[16] Harish-Chandra Harmonic analysis on real reductive groups. III. The
Maass-Selberg relations and the Plancherel formula. Ann. of Math. (2) 104
(1976), no. 1, 117-201.
[17] Herb, R., Wolf, J. A., The Plancherel theorem for general semisimple
groups. Compositio Math. 57 (1986), no. 3, 271-355.
[18] Hilgert J., Ólafsson G., Causal symmetric spaces. geometry and harmonic
analysis, Academic Press Inc., San Diego, CA, 1997.
[19] Hirai, T. The Plancherel formula for SU(p, q). J. Math. Soc. Japan 22
(1970), 134-179.
[20] Knapp A. Representation theory of semisimple groups : An overview based
on examples, Princeton: University Press, 2001.
[21] Kobayashi T., Gen Mano The inversion formula and holomorphic extension
of the minimal representation of the conformal group, in Harmonic Analysis, Group Representations, Automorphic Forms and Invariant Theory: In
Honour of Roger E. Howe, World Scientific, 2007, pp. 159-223.
[22] Koufany, K.; Ørsted, B. Function spaces on the Olshanski semigroup and
the Gelfand-Gindikin program. Ann. Inst. Fourier (Grenoble) 46 (1996), no.
3, 689-722.
[23] Molchanov, V. F. Quantization on the imaginary Lobachevski plane. Funct.
Anal. and Appl., 1980, 14:2, 142-144
[24] Molchanov, V. F. Separation of series for hyperboloids. Funct. Anal. Appl.
31 (1997), no. 3, 176-182.
[25] Neretin, Yu. A. Discrete occurrences of representations of the complementary series in tensor products of unitary representations. Functional Anal.
Appl. 20 (1986), no. 1, 68-70.
[26] Neretin, Yu. A. Restriction of functions holomorphic in a domain to curves
lying on the boundary of the domain, and discrete SL2 (R)-spectra. Izv.
Math. 62 (1998), no. 3, 493-513.
[27] Neretin, Yu. A. On the separation of spectra in the analysis of Berezin
kernels. Funct. Anal. Appl. 34 (2000), no. 3, 197-207
[28] Neretin, Yu. A.; Olshansky, G. I. Boundary values of holomorphic functions, singular unitary representations of the groups O(p, q) and their limits
as q → ∞. (Russian) Zap. Nauchn. Sem. POMI, 223 (1995), 9-91; translation in J. Math. Sci. (New York) 87 (1997), no. 6, 3983-4035
23

[29] Olshanski, G. I. Complex Lie semigroups, Hardy spaces and the GelfandGindikin program. (Russian) Problems in group theory and homological
algebra, 85-98, 161, Yaroslav. Gos. Univ., Yaroslavl, 1982; English transl.:
Differential Geom. Appl. 1 (1991), no. 3, 235-246.
[30] Warner, G. Harmonic analysis on semi-simple Lie groups. II. SpringerVerlag, New York-Heidelberg, 1972.
Math. Dept., University of Vienna;
Institute for Theoretical and Experimental Physics (Moscow)
MechMath Dept., Moscow State University
Institute for Information Transmission Problems
e-mail:neretin(frog)mccme.ru
URL: http://mat.univie.ac.at/∼neretin/

24

