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

IV. Evaluating the <strong>index</strong> map<br />

In the preceding section we have reduced the problem to calculate the <strong>index</strong><br />

function µG: S 3 ⊤ → π1(G 0 ) to triples of the <strong>for</strong>m (e, −e, σ) with σ 2 = −e in the<br />

unital Jordan algebra (V, e). The next step is to calculate the <strong>index</strong> function on<br />

these triples explicitly by showing that µG(e, −e, σ) is represented by the group<br />

homomorphism<br />

χσ: T ∼ = R/Z → G 0 , t + Z ↦→ exp G(πt[σ, τ.e]).<br />

Applying the representation ρV : G 0 → GL(V ), this leads to the loop<br />

T ∼ = R/Z → G 0 , t + Z ↦→ e πt2L(σ) = P(e πtσ ).<br />

To obtain the explicit <strong>for</strong>mula <strong>for</strong> the <strong>index</strong>, we first investigate functoriality<br />

properties of the <strong>index</strong> and then calculate it explicitly <strong>for</strong> the group<br />

SL2(C)/{±1}.<br />

Remark IV.1. (a) Let U and G be 3-<strong>graded</strong> <strong>Lie</strong> <strong>groups</strong> and ϕ: U → G a<br />

homomorphism of <strong>Lie</strong> <strong>groups</strong> compatible with the 3-grading.<br />

We then have<br />

ϕ(U ± ) = ϕ(exp u±) = expL(ϕ)u± ⊆ exp g± = G ±<br />

and ϕ(U 0 0) ⊆ G 0 0.<br />

For a subset M ⊆ G we write CG(M) <strong>for</strong> the centralizer of M in G and<br />

<strong>for</strong> a subset M ⊆ Aut(g) we write CG(M) := Ad −1 (C Aut(g)(M)) <strong>for</strong> the set of<br />

all those elements g ∈ G <strong>for</strong> which Ad(g) commutes with M . This means that<br />

<strong>for</strong> a grading element E ∈ g0 we have G 0 = CG(ad E). If there is a grading<br />

element EU ∈ u0 <strong>for</strong> which EG := L(ϕ)EU is a grading element of g, then we<br />

thus obtain<br />

ϕ(U 0 ) = ϕ(CU(ad EU)) ⊆ CG(ad EG) = G 0 .<br />

Then ϕ induces a map U + U 0 U − → G + G 0 G − compatible with the projection<br />

maps p G j : G+ G 0 G − → G j in the sense that<br />

p G j ◦ ϕ = ϕ ◦ pU j<br />

, j = +, 0, −.<br />

For z ∈ u+ and w ∈ u− the condition expw exp z ∈ U + U 0 U − there<strong>for</strong>e<br />

implies<br />

(expL(ϕ)w)(expL(ϕ)z) ∈ G + G 0 G − ,<br />

which shows that L(ϕ) preserves quasi-invertibility, and <strong>for</strong> such pairs we have<br />

ϕ ◦ p U 0 (exp w exp z) = pG 0 ((expL(ϕ)w)(expL(ϕ)z)).

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

Saved successfully!

Ooh no, something went wrong!