24.06.2013 Views

For printing - MSP

For printing - MSP

For printing - MSP

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!