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

Proposition IV.8. Suppose that g is a complex <strong>Lie</strong> algebra and that τ<br />

is antilinear. Then (V, e, Q(e)) is a complex unital Jordan algebra and the<br />

involution Q(e)v = v ∗ is antilinear. For each hermitian projection p = p ∗ =<br />

p 2 ∈ V+ let<br />

γp: R/Z → G 0 , t + Z ↦→ exp(2πit[p, τ.p])<br />

denote the corresponding projection loop, which is a group homomorphism. We<br />

then have <strong>for</strong> the involution σ = e − 2p the projection loop <strong>for</strong>mula<br />

µG(e, −e, −iσ) = µG(e, −e, −ie) − [γp]<br />

Proof. We have V− = iV+, so that every unitary element in V− is of the <strong>for</strong>m<br />

iσ, where σ ∈ V+ is a hermitian involution. Then p := 1<br />

2 (e − σ) is a hermitian<br />

idempotent in the Jordan algebra (V, e) with σ = e − 2p.<br />

The <strong>index</strong> µG(e, −e, −iσ) can be calculated directly from the real τ -<br />

invariant subalgebra generated by e and −iσ, which is isomorphic to sl2(C). As<br />

we have seen in Theorem IV.6, this leads to the one-parameter subgroup T → G0 corresponding to the element<br />

π[iσ, τ.e] ∈ exp −1 (1).<br />

In particular, the <strong>index</strong> µG(e, −e, −ie) corresponds to the element<br />

and the difference is the element<br />

π[ie, τ.e] = πi[e, τ.e] ∈ exp −1 (1),<br />

(4.2) π[ie − iσ, τ.e] = πi[e − σ, τ.e] = 2πi[p, τ.e] = 2πi[p, τ.p],<br />

which belongs to the <strong>Lie</strong> algebra gp := spanC {p, τ.p, [p, τ.p]} ∼ = sl2(C) (cf.<br />

1 0<br />

Definition I.9), where h := [p, τ.p] corresponds to<br />

∈ sl2(C) which<br />

0 −1<br />

satisfies exp(2πih) = 1. From (4.2) we now derive the projection loop <strong>for</strong>mula<br />

because [e, τ.e] is central in g0 (Remark I.11).<br />

V. The <strong>Maslov</strong> <strong>index</strong> <strong>for</strong> some examples<br />

In this section we give more concrete <strong>for</strong>mulas <strong>for</strong> the <strong>index</strong> function <strong>for</strong><br />

several classes of hermitian Banach-∗-algebras and discuss the case of finitedimensional<br />

bounded symmetric domains.<br />

Example V.1. We take a closer look at the <strong>index</strong> function <strong>for</strong> the case G =<br />

GL2(A)/{±1} <strong>for</strong> a hermitian Banach-∗-algebra.

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

Saved successfully!

Ooh no, something went wrong!