For printing - MSP
For printing - MSP
For printing - MSP
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
ON THE SIGNATURE 43<br />
and r = 1 The cases corresponding to SU(p, q) follows almost immediately<br />
from this cases above using, as before, the multiplicities of the positive roots<br />
for this group. <br />
Then we can give the:<br />
Proof of Theorem 2.1 for SO(p, q), p > q + 1 and SU(p, q), p > q. Is<br />
immediate from Proposition 5.5, Theorem 5.4 and Proposition 1.5. <br />
6. Case SU(n, n), n ≥ 2.<br />
In this case, identifying a C n we have that the restricted roots are {±ei ±<br />
ej, ±2el}. J G (ν) has integral infinitesimal character if and only if νi ≡<br />
ɛ mod 2Z, ɛ = 0, 1. Take ν ∈ a ∗ . Again, we may assume that<br />
(6.1)<br />
Hence we define<br />
(6.2)<br />
and<br />
(6.3)<br />
ν1 ≥ ν2 ≥ · · · ≥ νn ≥ 0.<br />
R(i) = Rν(i) = #{j : νj = 2i + ɛ}, i ≥ 1<br />
Now, we can state the following:<br />
R(0) = (2ɛ)#{j : νj = ɛ}.<br />
Theorem 6.4. If J(ν) has integral infinitesimal character, then an invariant<br />
Hermitian form is positive definite on J(ν) µ , µ ∈ p, if and only if the<br />
following conditions are satisfied:<br />
(1) R(i + 1) ≤ R(i) + 1, for i ≥ 0;<br />
(2) R(i + 1) = R(i) + 1, then R(i) is odd.<br />
Proof. See Theorem 7.1 in [BJ].<br />
With this, we can prove the following:<br />
Proposition 6.5. Consider ν ∈ a∗ int such that J(ν) has integral infinitesimal<br />
character. If conditions (1)-(2) above are satisfied then ν = <br />
α∈Σ + cαα<br />
with cα = 1/2 or 0.<br />
Proof. Let us first assume that ɛ = 0. By (6.3) we have that R(0) = 0.<br />
Then it follows from condition (2) in Theorem 6.4 that ν ≡ 0. So we can<br />
suppose that ɛ = 1 and again, by condition (2), we can consider that<br />
(6.6)<br />
with R(0) ≥ 2. Since n = k−1<br />
i=0<br />
ν = (2k + 1, . . . , 2k + 1, . . . . . . , 1, . . . , 1)<br />
k − m < n −<br />
1<br />
R(k − i) + 2R(0), we have<br />
m<br />
R(k − i), m = 0, . . . , k − 1<br />
i=0