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 38<br />
Proposition 4.1.5. (i) The elements Eβj , j = 1, . . .,k, generated a subalgebra<br />
Uω which is independent <strong>of</strong> the choice <strong>of</strong> the reduced expression<br />
<strong>of</strong> ω.<br />
(ii) If ω ′ = ws with s a simple reflection and l(ω ′ ) = l(ω)+1 = k+1. then<br />
Uω′ is a twisted polynomial algebra <strong>of</strong> type Uω <br />
Eβk+1 σ,D , where σ and<br />
D are given by the following formula, given in 4.6<br />
Pro<strong>of</strong>. See [DCP93].<br />
= q (βj|βk+1) Eβj<br />
σ Eβj<br />
(4.8a)<br />
D <br />
Eβj = ckE k . (4.8b)<br />
k∈Z N +<br />
The elements Kα clearly normalize the algebra U ω and when we add<br />
them to these algebras we are performing an iterated construction <strong>of</strong> Laurent<br />
twisted polynomials. The related algebras will be called B ω .<br />
4.1.2 Degenerations <strong>of</strong> quantum groups<br />
We want to construct some degenerations <strong>of</strong> our algebra Uq(g) as the graded<br />
algebra associated to suitable filtration.<br />
Definition 4.1.6. Consider the monomials Mk,r,α = F kKαEr , where k =<br />
(k1, . . .,kN), r = (r1, . . .,rN) ∈ ZN + and α ∈ Λ. The total height <strong>of</strong> Mk,r,α =<br />
F kKαEr is defined by<br />
d0(Mk,r,α = F k KαE r ) = <br />
(ki + ri)htβi,<br />
And its total degree by<br />
d(Mk,r,α) = (kN, . . .,k1, r1, . . .,rN, d0) ∈ Z 2N+1<br />
+ ,<br />
where, ht β is the usual height <strong>of</strong> a root with respect to our choice <strong>of</strong> simple<br />
roots.<br />
We shall view Z 2N+1<br />
+ as a total ordered semigroup with the lexicographic<br />
order