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> 45<br />
This implies that [h, [g1, g−1]] = {0} and in particular [h, [x, g−1]] = {0}.<br />
Since the map (adx) 2 : g−1 → g1 is bijective,<br />
ad x| [x,g−1]: [x, g−1] → g1<br />
also is bijective. Thus adx([x, g−1]) = g1 and hence<br />
g0 = [x, g−1] ⊕ (keradx ∩ g0).<br />
For z ∈ g0 ∩ ker adx the operators adz and adx commutes, so that<br />
(adx) 2 ([y, z]) ∈ −adz(ad x) 2 .y = −2 ad z.x = 0,<br />
and there<strong>for</strong>e [y, z] = 0. This also implies that [h, z] = 0, and we conclude that<br />
h ∈ z(g0). Hence 1<br />
2h is a grading element.<br />
(2) For w ∈ g−1 the relations [y, w] = 0 and [h, w] = −2w imply that<br />
w generates an at most 3-dimensional submodule <strong>for</strong> the <strong>Lie</strong> subalgebra gx :=<br />
spanK{x, y, h} ([Bou90, Ch. VIII, §1, no. 1, Lemma 1]).<br />
For n = 2 we get with (C.3) and [y, w] = 0:<br />
ad y(adx) 2 .w = [ady, (adx) 2 ].w = −2(ad x) adh + id .w = 2 adx.w.<br />
w. We<br />
conclude that (adx) 2 |g−1 is injective.<br />
For w ∈ g1 the relations [h, w] = 2w and [x, w] = 0, together with the<br />
relation<br />
(C.4)<br />
[adx, (ady) n ] = n(ad y) n−1 ad h − (n − 1) id = n ad h + (n − 1) id (ady) n−1<br />
There<strong>for</strong>e (adx) 2 .w = 0 implies [x, w] = 0, so that 0 = [h, w] = −1 2<br />
leads to<br />
(ad x) 2 (ady) 2 .w = (adx).[adx, (ady) 2 ].w = (adx).(2 ady.w) = 2 ad[x, y].w = 4w,<br />
and hence to w ∈ (adx) 2 (g−1).<br />
References<br />
[ASS71] Araki, H., M.-S. Bae Smith, and L. Smith, On the homotopical<br />
significance of the type of von Neumann algebra factors, Commun.<br />
math. Phys. 22 (1971), 71–88.<br />
[BN04a] Bertram, W., and K.-H. Neeb, Projective completions of Jordan<br />
pairs. Part I. Geometries associated to 3-<strong>graded</strong> <strong>Lie</strong> algebras, Journal<br />
of Algebra 277:2 (2004), 474–519.<br />
[BN04b] —, Projective completions of Jordan pairs. Part II. Manifold structures<br />
and symmetric spaces, Geom. Dedicata, to appear.