This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
<jthjt 3,t
+ >^jthjt)'
Now, y/^[fk,x] =
Y^ihthkt+^thkt)^ t
hence N l
"^"^
k=l
~^
Since dim^D(F)=n,
d i m ^ F = n,
dim^L_2 = n
and dim (0) = 2iV + 2
Y^
njk = dim^(i?(F)) = 2n,
l<j
we have dim (L_2 n q j . ) = nfc^iv+i,
Vfc,
and [xj Jx] = 0 impUes x = 0. Thus there exists an orthogonal basis pkt^ 1 < * < rik^N+i in 1^-2 n ^ ; , , such that pku Jpku 1 < * < rik^N+ij is an orthonormal basis in ^ ^ , where Pfc^ = yZi^ksu9k,N-\-hu
+
yksufk,N-hl,u)'
Therefore we find a new part J basis in ^ ^ . Without loss of generahty, let pkt = /fc,iv+i,t. We have
l
it follows that (3.12) holds.
~^^
fe=l
^
•
106
THEORY OF COMPLEX HOMOGENEOUS BOUNDED DOMAINS
3.5 Let D{V) be a homogeneous Siegel domain of the first kind in C^. Then there exists a maximal triangular subalgebra
THEOREM
(& = L-2 + Lon(3
(3.13)
in aS{D{V)) and a linear transformation J, a linear function t/; on 0 , such that (0; J, -0) is a normal J Lie algebra. The Piatetski-Shapiro decomposition of 0 is
0 - 01 + • • • + 0iv, 0^. = y{j + j ^ . + Mj,
dJlj = ^
Mjk^
^ ' ^
And there exists a real linear isomorphism 6 on D{V), the image 9{D{V)) is also a homogeneous Siegel domain of the first kind. The coordinates of 9{D{V)) are denoted by
The normal J Lie algebra 0 has a J basis { 9j^ fj, 9jku fjku ^
1 < j < fc < iV };
(3.16)
L-2 has a basis { Qj = V2^,
fjkt = -?iY, l
(3.17)
Lo n 0 has a basis
-V2fj = Aj = 2sj^ + J2^PJ^.+Y1 CfSq OZ'Q'i J
P<J
^J
hv4-^ OZqr)
J