Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...
Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...
Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...
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.