23.07.2013 Views

Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...

Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...

Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4. General Theory 49<br />

Thus we introduce the skew symmetric matrix A = (aij) with aij = (βi|βj)<br />

if i < j.<br />

Let ki the class <strong>of</strong> Ki, relations 4.9 we obtain a n × N matrix<br />

B = ((ωi|βj)) 1≤i≤n,1≤j≤N<br />

Let t = 2 unless the Cartan matrix is <strong>of</strong> type G2 in which case t = 6, and<br />

let Z ′ = Z <br />

1 . We wish to think the matrix A as the matrix <strong>of</strong> a skew form<br />

t<br />

on a free Z ′ module V with basis u1, . . .,uN. Identifying V with its dual<br />

V ∗ using the given basis, we may also think A as linear operator from V to<br />

itself.While we may think <strong>of</strong> the matrix B as a linear map from the module<br />

V to the module Q∗ ⊗Z Z ′ , where Q∗ = HomZ(Λ, Z) be the dual lattice.<br />

Construct the matrix T:<br />

T =<br />

A − t B<br />

B 0<br />

T is the matrix associated to the twisted polynomial algebra Uǫ(b). To study<br />

this the matrix we need the following<br />

Lemma 4.5.4. Let w ∈ W and fix a reduced expression w = si1 · · ·sik .<br />

Given ω = n i=1 δiωi, with δi = 0 or 1. Set<br />

Then<br />

<br />

,<br />

Iω(w) := {t ∈ {1, . . .,k} : sit(ω) = ω} .<br />

ω − w(ω) = <br />

Pro<strong>of</strong>. We proceed by induction on the length <strong>of</strong> w. The hypothesis made<br />

implies si(ω) = ω or si(ω) = ω − αi. Write w = w ′ sik . If k /∈ Iω, then<br />

w(ω) = w ′ (ω) and we are done by induction. Otherwise<br />

and again we are done by induction.<br />

t∈Iω<br />

βt<br />

w(ω) = w ′ (ω − αik ) = w′ (ω) − βk<br />

Consider the operator T1 = A − t B and N = B 0 so that<br />

T = T1 ⊕ N.<br />

Lemma 4.5.5. (i) The operator T1 is surjective<br />

(ii) The vector vω := <br />

t∈Iω ut<br />

<br />

− ω − w0(ω), as ω run thought the fundamental<br />

weights, form a basis <strong>of</strong> the kernel <strong>of</strong> T1.<br />

(iii) N(vω) = ω − w0(ω) = <br />

t∈Iω βt.<br />

Pro<strong>of</strong>. See [DCKP95] or [DCP93] §10.

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

Saved successfully!

Ooh no, something went wrong!