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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

A <strong>topological</strong> <strong>Maslov</strong> <strong>index</strong> <strong>for</strong> 3-<strong>graded</strong> <strong>Lie</strong> <strong>groups</strong> 23<br />

Let (e, g, f) ∈ S3 ⊤ . In view of Lemma III.2(5), we may assume that f = −e.<br />

So it remains to see that if f⊤ ± e, then H.(e, −e, f) is open in S3 .<br />

Conjugating everything with the Cayley trans<strong>for</strong>m C = Ce, we are lead<br />

to the quasi-invertible triple (C(e), C(−e), C(f)) = (f−, f+, z) with z ∈ V × −<br />

(Lemma III.2, Corollary B.3)<br />

We have to show that the orbit of the group L0 in SC := C(S) ⊆ XτC is<br />

open. The <strong>Lie</strong> algebra l = C(h) is adapted to the grading of g (Lemma III.4),<br />

so that<br />

= l0.<br />

lf± = l± ⊕ l0 and lf+,f−<br />

The argument in the proof of Proposition III.6 shows that the map l0 → V, x ↦→<br />

x.z is surjective, and since l0 is the kernel of the surjective map<br />

l → Tf+ (SC ) × Tf− (SC ) = l1 ⊕ l−1, x ↦→ x.(e, −e) = (x+, x−),<br />

we see that the map l → Tf+ (SC ) × Tf− (SC ) × Tz(S C ) is surjective. In view of<br />

Proposition III.5, this implies that the L-orbit of (f+, f−, z) in (S C ) 3 is open<br />

and there<strong>for</strong>e that the H -orbit of (e, −e, f) in S 3 is open.<br />

So far we have seen that the H -orbits in S3 ⊤ coincide with the connected<br />

components and that each such orbit contains an element of the <strong>for</strong>m<br />

(e, −e, C(v)) <strong>for</strong> some v ∈ C(V × − ). With the aid of the following lemma, we<br />

shall be able to reduce this further to the case where v2 = −e.<br />

Lemma III.8. Let (A, e, ∗) be a real unital involutive Banach algebra and<br />

z ∈ A− such that λz + e is invertible <strong>for</strong> each λ ∈ R. If, in addition, z is<br />

invertible, then there exists a hermitian element x = x ∗ ∈ A with −z 2 = e x .<br />

Then σ := ze −1<br />

2 x ∈ A × − satisfies σ2 = −1 and σ lies in the same connected<br />

component of A × − as z.<br />

Proof. The assumption e+λz ∈ A × <strong>for</strong> λ ∈ R × implies that (z−λe)(z+λe) =<br />

z2 − λ2e is invertible, so that Spec(−z2 )∩] − ∞, 0[= Ø.<br />

Let AC denote the complexification of (A, ∗), endowed with the antilinear<br />

involution given by (x + iy) ∗ := x∗ − iy∗ . On the open subset<br />

Ω := {w ∈ AC: Spec(w)∩] − ∞, 0] = Ø}<br />

we then have a holomorphic logarithm function<br />

log: Ω → AC, log(w) = 1<br />

<br />

2πi<br />

log(ζ)(ζ1 − w) −1 dζ,<br />

where γ is a piecewise smooth cycle in C\]−∞, 0] with winding number 1 in each<br />

point of Spec(w) ([Ru73, Ths. 10.20, 10.38]). In view of Spec(w∗ ) = Spec(w),<br />

the domain Ω is invariant under the involution, and we have<br />

log(w) ∗ = − 1<br />

2πi<br />

<br />

γ<br />

log(ζ)(ζ1 − w<br />

γ<br />

∗ ) −1 dζ.

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

Saved successfully!

Ooh no, something went wrong!