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> 17<br />

Let X = G/B± the flag manifold. By proposition 1.4.8, we have<br />

X = <br />

Xω where Xω ⋍ B±ωB±/B±<br />

ω∈W<br />

Definition 1.4.9. Xω is the so-called Schubert cell <strong>of</strong> X correspon<strong>di</strong>ng to<br />

ω ∈ W.<br />

It is well know that Xω is naturally isomorphic to C l(ω) , where l(ω) is<br />

the length <strong>of</strong> ω.<br />

Proposition 1.4.10. The following Bruhat decomposition holds:<br />

<br />

D(G) = P · (ω1, ω2) · P, (1.9)<br />

(ω1,ω2)∈W×W<br />

where P = HG ∗ and H is the <strong>di</strong>stinguished Cartan subgroup <strong>of</strong> G associated<br />

to h.<br />

Consider the following sets:<br />

C (ω1,ω2) = (G ∗ · (ω1, ω2) · G ∗ )/G ∗ ,<br />

B (ω1,ω2) = C (ω1,ω2) ∩ ˜ G,<br />

A (ω1,ω2) = p −1<br />

<br />

h∈H<br />

hB (ω1,ω2)<br />

Proposition 1.4.11. (i) each symplectic leaf in ˜ G is <strong>of</strong> the form hB (ω1,ω2)<br />

for some h ∈ H and (ω1, ω2) ∈ W × W.<br />

(ii) each symplectic leaf in G is <strong>of</strong> the form hA (ω1,ω2) for some h ∈ H and<br />

(ω1, ω2) ∈ W × W.<br />

Proposition 1.4.12. Denote s(ω1, ω2) = co<strong>di</strong>mhker(ω1ω −1<br />

2<br />

<br />

C (ω1,ω2) ⋍ H s(ω1,ω2) × C l(ω1)+l(ω2)<br />

− 1). Then<br />

Example 1.4.13. The following is the full list <strong>of</strong> the symplectic leaves in<br />

SL2(C):<br />

<br />

t 0<br />

Tt =<br />

0 t−1 <br />

, t = 0,<br />

<br />

t b<br />

TtA (e,ω0) =<br />

0 t−1 <br />

: b = 0 , t = 0,<br />

<br />

t 0<br />

TtA (ω0,e) =<br />

c t−1 <br />

: c = 0 , t = 0,<br />

<br />

a b<br />

TtA (ω0,ω0) = : b, c = 0,<br />

c d<br />

b<br />

<br />

= t2 , t = 0.<br />

c

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

Saved successfully!

Ooh no, something went wrong!