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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1. Poisson algebraic <strong>Groups</strong> 9<br />

Example 1.2.15. Let g be as in the previous example. Consider the Borel<br />

subalgebras b±, note that they are in fact Lie bialgebras with respect to the<br />

restriction <strong>of</strong> the cobracket from g to b±. Then the correspon<strong>di</strong>ng Manin<br />

triple is<br />

(g ⊕ h, b+, b−),<br />

where the Borel subalgebras are embedded into g ⊕ h so that if a ∈ b+ then<br />

a → (a, ah) and if a ∈ b− then a → (a, −ah), where we use the notation in<br />

the previous example, the bilinear form is given by<br />

〈(a, b), (c, d)〉 = 〈a, c〉g − 〈b, d〉h.<br />

with a, c ∈ g and b, d ∈ h, and 〈, 〉h as the restriction <strong>of</strong> 〈, 〉g to h. In<br />

particular, we see that the Borel subalgebras b+ and b− are dual to each<br />

other as Lie bialgebra.<br />

We consider, in the next example, an interme<strong>di</strong>ate case between Borel<br />

subalgebra b and Lie algebra g.<br />

Example 1.2.16. Using the notation <strong>of</strong> the previous example, we call parabolic<br />

subalgebra any subalgebra p <strong>of</strong> g such that b ⊆ p, note that b± and g<br />

are examples <strong>of</strong> parabolic subalgebra. Set R as the set <strong>of</strong> rot associated to g<br />

and Xα α ∈ R the root vectors, we define Rp := {α ∈ R : Xα ∈ p}. We call<br />

l := h ⊕ <br />

α∈Rp:−α∈Rp CXα the Levi factor and u = <br />

α∈Rp:−α/∈Rp CXα the<br />

unipotent part <strong>of</strong> p. Moreover, we have p = l ⊕ u, for more details one can<br />

see [Bou98] or [Hum78].<br />

Proposition 1.2.17. p is a Lie bialgebra with respect to the restriction <strong>of</strong><br />

the cobracket from g to p.<br />

Pro<strong>of</strong>. Simple verification <strong>of</strong> the definition.<br />

Proposition 1.2.18. The Manin triple correspon<strong>di</strong>ng to p is<br />

(g ⊕ l, p, s),<br />

where p is embedded into g ⊕ l so that a → (a, al) and<br />

<br />

s = (x, y) ∈ b− ⊕ b l <br />

+ : xh + yh = 0 ,<br />

where b l + = b+ ∩ l, the bilinear form is given by<br />

〈(a, b), (c, d)〉 = 〈a, c〉g − 〈b, d〉l.<br />

with a, c ∈ g and b, d ∈ l, and 〈, 〉l is the restriction <strong>of</strong> 〈, 〉g to l.

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

Saved successfully!

Ooh no, something went wrong!