06.08.2013 Views

A topological Maslov index for 3-graded Lie groups - ResearchGate

A topological Maslov index for 3-graded Lie groups - ResearchGate

A topological Maslov index for 3-graded Lie groups - ResearchGate

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.

A <strong>topological</strong> <strong>Maslov</strong> <strong>index</strong> <strong>for</strong> 3-<strong>graded</strong> <strong>Lie</strong> <strong>groups</strong> 5<br />

(3) X := G/P − is a homogeneous Banach manifold and the map g1 → X, x ↦→<br />

exp xP − is a diffeomorphism onto an open subset.<br />

(4) The orbits of the identity component G0 of G coincide with the connected<br />

components of X.<br />

(5) For the inner 3-filtrations f± = (g±, g± + g0) of g we have Gf± = P ± and<br />

hence an embedding<br />

(1.1) X → F, gP − ↦→ g.f−<br />

of X into the set F of inner 3-filtrations of g.<br />

Proof. (1) Since G 0 preserves the grading of g, it normalizes the sub<strong>groups</strong><br />

G ± , so that P ± are <strong>groups</strong>.<br />

We consider the two inner 3-filtrations<br />

f+ := (g+, g+ + g0) and f− := (g−, g− + g0)<br />

defined by the 3-grading of g (cf. Appendix B <strong>for</strong> the definitions concerning<br />

inner 3-filtrations). For a 3-filtration f = (f1, f0) let<br />

Gf := {g ∈ G: Ad(g).f0 = f0, Ad(g).f1 = f1}<br />

denote its stabilizer subgroup in G. Then we clearly have P ± ⊆ Gf± .<br />

On the other hand each element g ∈ Gf+ also stabilizes the subset f⊤ + =<br />

{e ∈ F: e⊤f+} of all inner 3-filtrations of g transversal to f+. According to<br />

[BN04a, Th. 1.6(2)], the group G + acts transitively on the set f⊤ + containing f−.<br />

Hence there exists an element g+ ∈ G + with g.f− = g+.f−. Then g −1<br />

+ g.f± = f±<br />

implies that g −1<br />

+ g also preserves the 3-grading given by<br />

g+ = f+,1, g− = f−,1 and g0 = f+,0 ∩ f−,0.<br />

There<strong>for</strong>e g −1<br />

+ g ∈ G0 , so that g ∈ g+G0 ⊆ P + . This shows that P + = Gf+ and<br />

likewise we get P − = Gf− . From that we obtain<br />

P + ∩ P − = Gf+ ∩ Gf− = G0 .<br />

Let E ∈ g0 be a grading element, i.e., gj is the j-eigenspace of ad E.<br />

Then we have <strong>for</strong> x ∈ g+ the relation<br />

Ad(expx).E = e ad x .E = E − [x, E] = E + x.<br />

Since this element is contained in g− + g0 = f−,0 if and only if x = 0, we get<br />

G + ∩ P − = G + ∩ Gf−<br />

= {1},<br />

and likewise G − ∩ P + = {1}.<br />

From P ± = Gf± we derive in particular that P ± and G 0 are <strong>Lie</strong> sub<strong>groups</strong><br />

of g with the <strong>Lie</strong> algebras p ± = g++g0 which are the normalizers of the flags f±

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

Saved successfully!

Ooh no, something went wrong!