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