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

Proof.<br />

<br />

0<br />

(1) For I =<br />

−1<br />

<br />

1<br />

0<br />

and its square is I . There<strong>for</strong>e the order of Ce is at most 8 and we have<br />

C 2 e = η G <br />

e<br />

0<br />

−1<br />

<br />

1 π<br />

<br />

= exp ad(e − f) .<br />

0 2<br />

the matrix 1<br />

√ 2 (1 + I) ∈ SL2(R) is of order 8<br />

If e is invertible, then g is a direct sum of trivial and 3-dimensional<br />

simple sl2(R)-modules (Remark I.10(b)). On both types of modules the matrix<br />

0 1<br />

∈ SL2(R) acts like an involution, so that C<br />

−1 0<br />

2 e is an involution and<br />

there<strong>for</strong>e C4 e = idg.<br />

(2) From the decomposition<br />

√ <br />

1 1 1 1 1 2 0 1 0<br />

√ =<br />

1<br />

2 −1 1 1 0 0 √2 −1 1<br />

in SL2(R) we derive in Aut(g) the decomposition<br />

(2.1) Ce = exp(ade) exp (log √ 2) adh exp(−adf).<br />

Since exp(ade) exp (log √ 2) adh ∈ Ad(P + ) acts as an affine map on V ⊆ X ,<br />

we see that Ce(v) ∈ V is equivalent to exp(−τ.e).v = exp(−f).v ∈ V , which<br />

means that (e, v) is quasi-invertible (Definition I.5, Lemma I.3). If this is the<br />

case, then<br />

exp(−f).v = B(v, e) −1 .(v − Q(v).e)<br />

([BN04a, 2.8]). In the Jordan algebra V (e) we have Q(v).e = Q(v)Q(e).e =<br />

P(v).e = v 2 and<br />

B(v, e) = idV −2L(v) + P(v),<br />

and in the unital Jordan algebra V (e) × R with the identity 1 := (0, 1) we have<br />

1 − 2L(x) + P(x) = P(1,1) − 2P(1, x) + P(x, x) = P(1 − x),<br />

i.e., the quasi-invertibility of (x, e) is equivalent to the quasi-invertibility of x in<br />

the Jordan algebra V (e) . In this algebra we have <strong>for</strong> any quasi-invertible pair<br />

(v, e):<br />

exp(−f).v = P(1 − v) −1 .(v − v 2 ) = (1 − v) −1 v.<br />

For any element v in the unital Jordan algebra (V2, e), the Cayley trans<strong>for</strong>m<br />

there<strong>for</strong>e takes the <strong>for</strong>m<br />

Ce(v) = e + 2(e − v) −1 v = (e − v + 2v)(e − v) −1 = (e + v)(e − v) −1 .<br />

(3) We have Ce(−e) = (e − e)(e − (−e)) −1 = 0 and Ce(0) = e.<br />

We further have in V , as a subset of X , the relation τX(e) = e ♯ = e<br />

(Proposition B.2), which leads to<br />

exp(−ad f).e = exp(−ad τ.e).e = τX exp(−ade)τX.e = τX exp(−ade).e = τX.0 = τX.f− = f+,

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

Saved successfully!

Ooh no, something went wrong!