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 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

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

Saved successfully!

Ooh no, something went wrong!