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