31.12.2014 Aufrufe

Ein Skript von mir von einer Vorlesung in Hamburg.

Ein Skript von mir von einer Vorlesung in Hamburg.

Ein Skript von mir von einer Vorlesung in Hamburg.

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND<br />

SPIN-GEOMETRIE<br />

BERND AMMANN, WS 2002/03<br />

WS 2002/03<br />

Bemerkung: <strong>E<strong>in</strong></strong> Metrik auf e<strong>in</strong>em komplexen Vektorbündeln ist <strong>in</strong> diesem <strong>Skript</strong> immer e<strong>in</strong> hermitesches<br />

(pos. def<strong>in</strong>ites) Skalarprodukt auf jeder Faser, das glatt vom Basispunkt abhängt.<br />

Literaturempfehlungen: Besonders empfehle ich [Roe88] und [LM89].<br />

In diesem <strong>Skript</strong> gilt 0 ∈ N, und 0 ist weder positiv noch negativ.<br />

1. Clifford-Moduln und verallgem<strong>e<strong>in</strong>er</strong>te Dirac-Operatoren<br />

Def<strong>in</strong>ition 1.1. Sei V e<strong>in</strong> endlich-dimensionaler reeller Vektorraum, b : V × V → R e<strong>in</strong>e symmetrische<br />

Bil<strong>in</strong>earform. <strong>E<strong>in</strong></strong> (komplexer) Clifford-Modul für (V, b) ist e<strong>in</strong> komplexer Vektorraum W<br />

mit <strong>e<strong>in</strong>er</strong> l<strong>in</strong>earen Abbildung<br />

so dass<br />

cl : V ⊗ R W → W<br />

v ⊗ w ↦→ v · w,<br />

(1.2) v 1 · (v 2 · w) + v 2 · (v 1 · w) + 2b(v 1 , v 2 ) w = 0<br />

für alle v 1 , v 2 ∈ V und alle w ∈ W . Die Abbildung cl heißt Clifford-Multiplikation.<br />

In manchen Anwendungen ist es auch s<strong>in</strong>nvoll, dass W e<strong>in</strong> reeller Vektorraum ist. Aus jedem<br />

solchen reellen Clifford-Modul W R erhält man durch Tensorieren mit C, d.h. ⊗ R C, e<strong>in</strong>en komplexen<br />

Clifford-Modul W . Die algebraische Struktur ist im reellen Fall aber komplizierter, deswegen wollen<br />

wir uns auf den komplexen Fall beschränken.<br />

LEMMA 1.3. Die Gleichung (1.2) ist genau dann für alle v 1 , v 2 ∈ V und alle w ∈ W erfüllt, wenn<br />

(1.4) v · (v · w) = −b(v, v) w ∀v ∈ V, w ∈ W.<br />

Beweis. Für v = v 1 = v 2 folgt (1.4) direkt aus (1.2). Gilt nun andererseits (1.2) für v = v 1 , v = v 2<br />

und v = v 1 + v 2 , so folgt durch Addition und Subtraktion der Gleichungen (1.4).<br />

✷<br />

1


2 BERND AMMANN, WS 2002/03<br />

Beispiele.<br />

(1) b ≡ 0, W = ⊕ dim V<br />

k=0 (Λk V ) ⊗ R C =: Λ ∗ CV , cl(v ⊗ w) := v ∧ w.<br />

(2) Wir können das vorige Beispiel auf allgeme<strong>in</strong>es b verallgem<strong>e<strong>in</strong>er</strong>n. Hierzu def<strong>in</strong>ieren wir<br />

p∑<br />

v(v 1 ∧ . . . ∧ v p ) := (−1) i+1 b(v, v 1 ) v 1 ∧ · · · ∧ ̂v i ∧ · · · ∧ v p ∈ Λ p−1 V ⊗ R C,<br />

i=1<br />

wobei der Hut über v i bedeuten möge, dass wir das Glied v i auslassen. Wir def<strong>in</strong>ieren nun<br />

cl(v ⊗ w) = v · w := v ∧ w − vw.<br />

Um die Relation (1.4) zu verifizieren, wollen wir zunächst<br />

(1.5) v ∧ (vw) + v(v ∧ w) = b(v, v)w.<br />

nachweisen. Man sieht leicht, dass diese Gleichung für w = v 1 ∧ . . . ∧ v k und w = v ∧ v 2 ∧ . . . v k<br />

mit b(v i , v) = 0 ∀i gilt. Da man jedes w durch L<strong>in</strong>earkomb<strong>in</strong>ation hieraus erhält, folgt (1.5).<br />

Es gilt nun<br />

v · (v · w) = v<br />

}<br />

∧<br />

{{<br />

v ∧ w<br />

}<br />

−v ∧ (vw) − v(v ∧ w) + v(vw) = −b(v, v)w.<br />

} {{ }<br />

0<br />

0<br />

Bemerkung 1.6. Sei F(V ) die freie (assoziative) Algebra erzeugt <strong>von</strong> V , dh.<br />

∞⊕<br />

F(V ) = R ⊕ V ⊗ . . . ⊗ V .<br />

} {{ }<br />

i=1<br />

i-mal<br />

Sei I das Ideal, das <strong>von</strong><br />

{v ⊗ v + b(v, v) | v ∈ V }<br />

erzeugt wird. Dann heißt die Algebra Cl(V, b) := F(V )/I die Clifford-Algebra <strong>von</strong> (V, b). <strong>E<strong>in</strong></strong><br />

Clifford-Modul ist e<strong>in</strong>e Darstellung der Clifford-Algebra. Insbesondere folgt aus Beispiel 2, dass<br />

für V ≠ {0} die Clifford-Algebra nicht trivial ist, d.h. Cl(V, b) ≠ 1, und dass die Abbildung<br />

V ∋ v ↦→ [v] ∈ Cl(V, b) <strong>in</strong>jektiv ist.<br />

Def<strong>in</strong>ition 1.7. Sei (M, g) e<strong>in</strong>e riemannsche Mannigfaltigkeit. <strong>E<strong>in</strong></strong> komplexes Vektorbündel W →<br />

M mit <strong>e<strong>in</strong>er</strong> Metrik 〈·, ·〉, e<strong>in</strong>em Zusammenhang ∇ W und <strong>e<strong>in</strong>er</strong> Clifford-Multiplikation cl : T ∗ M ⊗<br />

W → W heißt Clifford-Bündel, falls<br />

(i) Für alle p ∈ M ist (W p , cl p ) e<strong>in</strong> Clifford-Modul für (T ∗ p M, g),<br />

(ii) 〈α · w 1 , w 2 〉 = −〈w 1 , α · w 2 〉 ∀α ∈ T ∗ p M ∀w 1 , w 2 ∈ W p ,<br />

(iii) ∇ W is metrisch, d.h. ∂ X 〈w 1 , w 2 〉 = 〈∇ W X w 1, w 2 〉 + 〈w 1 , ∇ W X w 2〉.<br />

(iv) Für alle X ∈ Γ(T M), alle α ∈ Γ(T ∗ M) und alle w ∈ Γ(W ) gilt<br />

∇ W X (α · w) = (∇ X α) · w + α · ∇ W X w.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 3<br />

Alternativ könnten wir anstelle des komplexen Vektorbündels W auch diesselben Eigenschaften<br />

für e<strong>in</strong> reelles oder quaternionisches Vektorbündel W fordern. Dies erlaubt <strong>in</strong>teressante Anwendungen,<br />

die wir leider <strong>in</strong> der <strong>Vorlesung</strong> nicht mehr behandeln können. Wir wollen uns deshalb auf<br />

komplexe Bündel W beschränken.<br />

Beispiel. Sei (M, g) e<strong>in</strong>e Riemannsche Mannigfaltigkeit, und W = ⊕ n<br />

k=0 Λk T ∗ M ⊗ R C (=:<br />

Λ ∗ C T ∗ M), versehen mit dem Levi-Civita-Zusammenhang und der Riemannschen Metrik und b := g<br />

ist e<strong>in</strong> Clifford-Bündel. Die Eigenschaften (i) und (iii) s<strong>in</strong>d trivial.<br />

(ii) Sei α 1 , . . . , α n e<strong>in</strong>e Orthonormal-Basis <strong>von</strong> Λ k T ∗ M, v = α s . Man prüft dann<br />

〈α i1 ∧ . . . ∧ α ik+1 , α s ∧ α j1 ∧ . . . ∧ α jk 〉 = 〈α s (α i1 ∧ . . . ∧ α ik+1 ), α j1 ∧ . . . ∧ α jk 〉<br />

für alle möglichen Index-Komb<strong>in</strong>ationen durch. Es folgt hieraus<br />

woraus die gewünschte Relation folgt.<br />

〈v ∧ w 1 , w 2 〉 = 〈w 1 , vw 2 〉,<br />

(iv) Wir kennen bereits die Produktregel für α ∧ w<br />

∇ X (α ∧ w) = (∇ X α) ∧ w + α ∧ ∇ X w<br />

Als Übungsaufgabe zeigen wir die Prodktregel für αw<br />

(Tipp: Wenden Sie die Produktregel auf<br />

an.) Die Relation (iv) folgt daraus.<br />

Für w ∈ Γ(w) ist<br />

∇ X (αw) = (∇ X α)w + α∇ X w.<br />

∂ X 〈α ∧ w 1 , w 2 〉 = ∂ X 〈w 1 , αw 2 〉<br />

(X ↦→ ∇ X w) ∈ T ∗ M ⊗ W ∼ = Hom(T M, W ).<br />

Def<strong>in</strong>ition 1.8. Sei (M, g) e<strong>in</strong>e riemannsche Mannigfaltigkeit mit Clifford-Bündel W . Dann ist<br />

der (verallgem<strong>e<strong>in</strong>er</strong>te) Dirac-Operator D auf W def<strong>in</strong>iert als die Verkettung<br />

also D = cl ◦ D.<br />

Γ(W ) −→ ∇<br />

Γ(T ∗ cl<br />

M ⊗ W ) −→ Γ(W ),<br />

Sei e 1 , . . . , e n e<strong>in</strong>e Orthonormalbasis <strong>von</strong> T p M, e b 1, . . . , e b n die duale Basis <strong>von</strong> Tp ∗ M, so rechnet<br />

man leicht nach<br />

n∑<br />

(Dw)| p = e b i · (∇ ei w)| p .<br />

i=1<br />

Beispiel. Sei W = Λ ∗ C T ∗ M. Wir wollen Dω für ω ∈ Γ(W ) berechnen. Wir nehmen e<strong>in</strong>en auf <strong>e<strong>in</strong>er</strong><br />

offenen Teilmenge U def<strong>in</strong>ierten orthonormalen Rahmen (e 1 , . . . , e n ), und schränken uns zunächst<br />

auf den Fall supp ω ⊂ U, supp ω kompakt e<strong>in</strong>. Wir erhalten<br />

Dω = ∑ e b j · ∇ ej ω = ∑ e b j ∧ ∇ ej ω − ∑ e b j∇ ej ω.


4 BERND AMMANN, WS 2002/03<br />

Der erste Term ist der total antisymmetrische Anteil <strong>von</strong> ∇ω und dies ist bekanntlich dω. Wir<br />

def<strong>in</strong>ieren das Kodifferential δω := − ∑ e b j ∇ e j<br />

ω.<br />

(1.9) Dω = dω + δω<br />

Da sowohl Dω als auch dω nicht <strong>von</strong> der Wahl <strong>von</strong> U und der Wahl der e i abhängt, tut dies auch<br />

nicht δ. Da δ zudem lokal ist, kann man δ auch für beliebige ω ∈ Γ(W ) def<strong>in</strong>ieren, also auch solche<br />

ohne kompakte Träger. Hierzu zerlegen wir zunächst ω = ∑ ω i , wobei supp ω i kompakt seien und<br />

<strong>in</strong> <strong>e<strong>in</strong>er</strong> trivialisierenden offenen Menge U i liegen. Dann def<strong>in</strong>ieren wir δω = ∑ δω i . Später werden<br />

wir sehen, dass δ “formal adjungiert” zu d bezüglich dem L 2 -Skalarprodukt auf Γ(Λ ∗ T ∗ M) ist.<br />

Def<strong>in</strong>ition 1.10. Den Operator ∆ := (d + δ) 2 : Γ(Λ ∗ C T ∗ M) → Γ(Λ ∗ C T ∗ M) nennt man den Hodge-<br />

Laplace-Operator.<br />

Wir wissen also, dass für W = Λ ∗ T ∗ M gilt D 2 = ∆. Später werden wir noch andere Clifford-Bündel<br />

kennenlernen.<br />

2. Differentialoperatoren<br />

<strong>E<strong>in</strong></strong>ige Vorbemerkungen zu Vektorbündeln: Wenn V e<strong>in</strong> Vektorbündel ist, und v 1 , . . . , v k auf <strong>e<strong>in</strong>er</strong><br />

kle<strong>in</strong>en offenen Umgebung U def<strong>in</strong>ierte glatte Schnitte <strong>von</strong> V s<strong>in</strong>d, so dass für jedes p ∈ U, die<br />

Vektoren v 1 (p), . . . , v k (p) e<strong>in</strong>e Basis <strong>von</strong> V p bilden, so nennen wir das Tupel (v 1 , . . . , v k ) e<strong>in</strong>en<br />

lokalen Basisschnitt. Jeder lokale Basisschnitt liefert e<strong>in</strong>e lokale Trivialisierung. Und umgekehrt<br />

liefert jede lokale Trivialisierung e<strong>in</strong>en lokalen Basisschnitt.<br />

Für e<strong>in</strong> gegebenes p 0 ∈ M gibt es immer lokale Basisschnitte auf <strong>e<strong>in</strong>er</strong> kle<strong>in</strong>en Umgebung, so dass<br />

(∇ X v i )| p0 = 0. Solche Basisschnitte heißen synchron <strong>in</strong> p 0 .<br />

Lokale Basisschnite <strong>von</strong> T M heißen oft auch Rahmen. Ist die Basis zusätzlich <strong>in</strong> jedem Punkt orthonormal,<br />

so spricht man <strong>von</strong> orthonormalen lokalen Basisschnitten oder othonormalen Rahmen.<br />

Notation. <strong>E<strong>in</strong></strong>e Multi<strong>in</strong>dex ist e<strong>in</strong> Tupel (α 1 , . . . , α n ), α i ∈ N.<br />

|α| = ∑ i<br />

α i<br />

∂ |α|<br />

∂x α = ∂α1<br />

∂x · · · ∂ αn<br />

α1 ∂x αn<br />

Seien V, W → M reelle oder komplexe Bündel über <strong>e<strong>in</strong>er</strong> Mannigfaltigkeit. <strong>E<strong>in</strong></strong>e l<strong>in</strong>eare Abbildung<br />

P : Γ(V ) → Γ(W ) heißt Differentialoperator der Ordnung ≤ d, d ∈ N, falls gilt<br />

(1) Lokalität: Für jedes s ∈ Γ(V ) mit s| U ≡ 0 auf <strong>e<strong>in</strong>er</strong> offenen Menge U ⊂ M, ist auch (P s)| U ≡ 0.<br />

(2) Sei ψ : U → R n e<strong>in</strong>e Karte, und v 1 , . . . , v l bzw. w 1 , . . . , w m auf U def<strong>in</strong>ierte glatte Schnitte <strong>von</strong><br />

V bzw. W , die <strong>in</strong> jedem Punkt e<strong>in</strong>e Basis bilden,dann gibt es glatte Funktionen A α jk : U → R,


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 5<br />

α Multi<strong>in</strong>dex, |α| ≤ d, so dass für s ∈ Γ(V ) mit s = ∑ s j v j gilt<br />

(2.1) P (s) | U = ∑ ∑<br />

( ) ∂<br />

A α |α|<br />

jk<br />

∂ψ α sj w k .<br />

|α|≤d j,k<br />

Beispiele. d und δ s<strong>in</strong>d Differentialoperatoren 1. Ordnung, ∆ = (d+δ) 2 ist e<strong>in</strong> Differentialoperator<br />

2. Ordnung, und verallgem<strong>e<strong>in</strong>er</strong>te Dirac-Operatoren s<strong>in</strong>d Differentialoperatoren 1. Ordnung. Die<br />

Differentialoperator 0. Ordnung s<strong>in</strong>d genau die Schnitte <strong>von</strong> Hom(V, W ) = V ∗ ⊗ W .<br />

Bemerkung 2.2. Sei (U m , ψ m ) m∈I e<strong>in</strong>e Überdeckung <strong>von</strong> M mit Karten, und seien vi<br />

m und wi<br />

m<br />

auf U i def<strong>in</strong>ierte lokale Basisschnitte. Wenn man (2) für alle (U m , ψ m , v i , w i ) nachweist, so folgt es<br />

bereits für alle Karten und lokalen Basisschnitte.<br />

PROPOSITION 2.3. Sei g e<strong>in</strong>e riemannsche Metrik auf M. Die Bündel V und W mögen Metriken<br />

〈·, ·〉 V und 〈·, ·〉 W tragen. Dann gibt es zu jedem Differentialoperator P : Γ(V ) → Γ(W ) der Ordnung<br />

d, e<strong>in</strong>en e<strong>in</strong>deutigen Differentialoperator P # : Γ(W ) → Γ(V ) der Ordnung d, so dass<br />

∫<br />

∫<br />

〈P ϕ, ψ〉 W dvol g = 〈ϕ, P # ψ〉 V dvol g<br />

M<br />

für alle ϕ ∈ Γ(V ), ψ ∈ Γ(W ), wobei supp ψ oder supp ϕ kompakt ist.<br />

Der Beweis soll hier nur skizziert werden. Die <strong>E<strong>in</strong></strong>deutigkeit sieht man leicht. Um die Existenz zu<br />

zeigen, def<strong>in</strong>ieren wir den Operator zunächst <strong>in</strong> <strong>e<strong>in</strong>er</strong> kle<strong>in</strong>en Karte. Auf Grund der <strong>E<strong>in</strong></strong>deutigkeit,<br />

können wir die verschiedenen Karten-Def<strong>in</strong>itionen zu <strong>e<strong>in</strong>er</strong> globalen Def<strong>in</strong>ition zusammenkleben.<br />

Def<strong>in</strong>ition 2.4. Der Operator P # heißt der zu P formal adjungierte Differentialoperator. Gilt<br />

P = P # , so heißt P formal selbst-adjungiert.<br />

Offensichtlich gilt P ## = P .<br />

THEOREM 2.5. Verallgem<strong>e<strong>in</strong>er</strong>te Dirac-Operatoren s<strong>in</strong>d formal selbst-adjungiert.<br />

Das Theorem folgt aus der folgenden Proposition für Ω = M.<br />

PROPOSITION 2.6. Sei W e<strong>in</strong> Clifford-Bündel. Seien ϕ, ψ ∈ Γ(W ), Ω e<strong>in</strong> Gebiet mit (stückweise)<br />

glattem Rand, supp ϕ ∩ supp ψ ∩ Ω kompakt. Dann gilt<br />

∫<br />

∫<br />

∫<br />

〈Dϕ, ψ〉 dvol g − 〈ϕ, Dψ〉 dvol g = 〈ν b · ϕ, ψ〉 dvol g .<br />

Ω<br />

Ω<br />

In der Proposition bezeichnet ν b die nach außen gerichtete Normalen-1-Form, d.h. ν b = g(ν, .) für<br />

den nach außen gerichteten <strong>E<strong>in</strong></strong>heitsnormalen-Vektor ν.<br />

Beweis. Sei ϕ, ψ ∈ Γ(W ) wie oben. Def<strong>in</strong>iere das komplexifizierte Vektorfeld X (X ∈ Γ(T M)⊗ R C)<br />

durch<br />

ω(X) = 〈ω · ϕ, ψ〉<br />

M<br />

∂Ω<br />

∀ω ∈ Γ(T ∗ M).


6 BERND AMMANN, WS 2002/03<br />

Wir wollen div X <strong>in</strong> p ∈ M berechnen. Dazu nehmen wir e<strong>in</strong>en orthonormalen Rahmen e 1 , . . . , e n<br />

<strong>in</strong> <strong>e<strong>in</strong>er</strong> kle<strong>in</strong>en Umgebung <strong>von</strong> p mit (∇ ei e j ) p = 0. Wir rechnen dann<br />

Wir setzen ω = e b i<br />

∂ ei (ω(X)) = (∇ ei ω)(X) + ω(∇ ei X).<br />

und berechnen die Divergenz <strong>in</strong> p<br />

div X = ∑ e b i(∇ ei X) = ∑ ⎛<br />

= ∑ ∂ ei 〈e b i · ϕ, ψ〉<br />

⎞<br />

⎝∂ ei (e b i(X)) − (∇ ei e b i)(X)<br />

⎠<br />

} {{ }<br />

0<br />

= ∑ 〈e b i · ∇ ei ϕ, ψ〉 + ∑ 〈e b i · ϕ, ∇ ei ψ〉<br />

= ∑ 〈e b i · ∇ ei ϕ, ψ〉 − ∑ 〈ϕ, e b i · ∇ ei ψ〉<br />

= 〈Dϕ, ψ〉 − 〈ϕ, Dψ〉.<br />

Man beachte, dass die Endterme dieser Gleichungeskette unabhängig <strong>von</strong> der Wahl des synchronen<br />

Rahmens s<strong>in</strong>d. Insofern gilt div X = 〈Dϕ, ψ〉 − 〈ϕ, Dψ〉 <strong>in</strong> allen Punkten <strong>von</strong> M.<br />

Wenden wir nun den Divergenzsatz<br />

∫<br />

∫<br />

div X dvol g =<br />

an, so folgt die Behauptung.<br />

Ω<br />

∂Ω<br />

ν b (X) dvol g<br />

✷<br />

FOLGERUNG 2.7. Das Kodifferential δ ist formal adjungiert zu d. Auf k-Formen <strong>e<strong>in</strong>er</strong> n-dimensionalen<br />

Mannigfaligkeit gilt deswegen δ = (−1) nk+n+1 ∗ d∗. 1<br />

Beweis. Das Kodifferential δ bildet k-Formen auf (k − 1)-Formen ab. Schreiben wir d + δ <strong>in</strong><br />

Blockmatrix-Gestalt, wobei die Zeilen und Spalten den Formen-Graden entsprechen, so gilt<br />

⎛<br />

⎞<br />

⎛<br />

⎞<br />

0 δ<br />

0 d #<br />

d 0 δ<br />

δ # 0 d #<br />

d + δ =<br />

d 0<br />

⎜ · · ·<br />

(d + δ) # =<br />

δ # 0<br />

⎟<br />

⎜<br />

· · ·<br />

.<br />

⎟<br />

⎝<br />

· · · δ⎠<br />

⎝<br />

· · · d # ⎠<br />

d 0<br />

δ # 0<br />

Da verallgem<strong>e<strong>in</strong>er</strong>te Dirac-Operatoren formal selbstadjungiert s<strong>in</strong>d, folgt δ = d # = (−1) nk+n+1 ∗<br />

d∗.<br />

✷<br />

1 Vorzeichen!!


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 7<br />

Um das Bild abzurunden erwähnen wir hier noch:<br />

PROPOSITION 2.8. Für alle Vektorfelder X auf <strong>e<strong>in</strong>er</strong> Riemannschen Mannigfaltigkeit gilt:<br />

div X = −δX b .<br />

Beweis. Der Beweis erfolgt mit e<strong>in</strong>em orthonormalen Rahmen e 1 , . . . , e n .<br />

−δX b = ∑ e b i∇ ei X b = ∑ (∇ ei X b )(e i )<br />

= ∑ (<br />

∂ei (X b (e i )) − X b (∇ ei e i ) )<br />

i<br />

= ∑ i<br />

g(∇ ei X, e i ) = div X.<br />

✷<br />

Ziel: Vergleiche ∇ # ∇ mit D 2 .<br />

3. Der Bochner-Trick<br />

LEMMA 3.1. Sei W e<strong>in</strong> (reelles oder komplexes) Vektorbündel mit e<strong>in</strong>em metrischen Zusammenhang.<br />

Sei ∇ # : Γ(T ∗ M ⊗ W ) → Γ(W ) der formal adjungierte Operator zu ∇ : Γ(W ) →<br />

Γ(T ∗ M ⊗ W ). Sei e 1 , . . . , e n e<strong>in</strong>en lokaler orthonormaler Rahmen, der synchron <strong>in</strong> p ist. Wenn<br />

wir e<strong>in</strong>en Schnitt ϕ ∈ Γ(T ∗ M ⊗ W ) lokal als ϕ| U = ∑ j eb j ⊗ ϕ j schreiben so ergibt sich <strong>in</strong> p<br />

(∇ # ϕ) p := − ∑ (<br />

∇ej ϕ j<br />

)p .<br />

Beweis. Sei ψ ∈ Γ(W ), ϕ = ∑ j eb j ⊗ ϕ j ∈ Γ((T ∗ M ⊗ W )|U) mit supp ϕ ∩ supp ψ kompakt. Sei X<br />

das komplexifizierte Vektorfeld, so dass<br />

für alle 1-Formen ω. Wir rechnen<br />

und<br />

ω(X) = 〈ω ⊗ ψ, ϕ〉<br />

∂ ei (ω(X)) = (∇ ei ω)(X) − ω(∇ ei X)<br />

(div X) p = ∑ e b i(∇ ei X) p<br />

= ∑ ∂ ei (e b i(X)) p = ∑ ∂ ei 〈e b i ⊗ ψ, ϕ〉<br />

= ∑ ∂ ei 〈ψ, ϕ i 〉<br />

= ∑ 〈∇ ei ψ, ϕ i 〉 + 〈ψ, ∇ ei ϕ i 〉<br />

= 〈∇ψ, ϕ〉 + 〈ψ, ∑ ∇ ei ϕ i 〉<br />

Mit ∫ M div X dvol g = 0 folgt die Behauptung.<br />


8 BERND AMMANN, WS 2002/03<br />

PROPOSITION 3.2 (Bochner-Formel). Sei (M, g) e<strong>in</strong>e Riemannsche Mannigfaltigkeit, W e<strong>in</strong><br />

Clifford-Bündel über M. Sei D der verallgem<strong>e<strong>in</strong>er</strong>te Dirac-Operator, und R W die Krümmung des<br />

Bündels W . Dann gilt für alle ϕ ∈ Γ(W )<br />

D 2 ϕ = ∇ # ∇ϕ + K(ϕ),<br />

wobei der Krümmungsendomorphismus K lokal def<strong>in</strong>iert gegeben ist durch<br />

K(ϕ) = ∑ i


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 9<br />

Beweis. Zu (1): Sei Dϕ = 0.<br />

0 =<br />

=<br />

=<br />

=<br />

∫<br />

∫<br />

∫<br />

∫<br />

M<br />

M<br />

M<br />

M<br />

〈Dϕ, Dϕ〉 dvol g<br />

〈D 2 ϕ, ϕ〉 dvol g<br />

∫<br />

〈∇ # ∇ϕ, ϕ〉 dvol g +<br />

∫<br />

〈∇ϕ, ∇ϕ〉 dvol g +<br />

} {{ }<br />

≥0<br />

M<br />

M<br />

〈Kϕ, ϕ〉 dvol g<br />

〈Kϕ, ϕ〉 dvol g<br />

} {{ }<br />

≥0<br />

Wir schließen daraus, dass ∇ϕ = 0 und 〈Kϕ, ϕ〉 = 0. Im Fall (2) folgt aus letzterem ϕ(p) = 0. Da<br />

ϕ parallel, ist se<strong>in</strong>e Länge konstant. Im Fall (2) also ϕ ≡ 0.<br />

✷<br />

Im Falle des Dirac-Operators d+δ auf den Formen können wir diese Aussage noch verstärken. Man<br />

beachte hierzu, dass der Hodge-Laplace-Operator ∆ := D 2 = (d + δ) 2 = dδ + δd den Formen-Grad<br />

bewahrt. Wir erhalten somit<br />

KOROLLAR 3.4 (Bochner-Trick für k-Formen). Sei M e<strong>in</strong>e kompakte zusammenhängende Riemannsche<br />

Mannigfaltigkeit. Sei K k der Krümmungsendomorphismus <strong>von</strong> Λ ∗ T ∗ M, e<strong>in</strong>geschränkt<br />

auf die k-Formen.<br />

(1) Gilt 〈K k w, w〉 ≥ 0 ∀p ∈ M, w ∈ W p so ist jedes ϕ ∈ ker(d + δ) ∩ Γ(Λ k T ∗ M) parallel.<br />

(2) Gibt es zusätzlich e<strong>in</strong> p ∈ M mit<br />

so ist ker(d + δ) ∩ Γ(Λ k T ∗ M) = {0}.<br />

〈K k w, w〉 > 0 ∀w ∈ W p , w ≠ 0,<br />

Beweis. Wie oben.<br />

✷<br />

Wir werden diese Technik später verf<strong>e<strong>in</strong>er</strong>n, und die Lücke im Spektrum um die 0 genauer zu<br />

bestimmen.<br />

Übung: Berechnen Sie K 1 .<br />

4. Analysis <strong>von</strong> Dirac-Operatoren und elliptische Theorie<br />

In diesem kapitel werden uns e<strong>in</strong>ige Begriffe und Sätze aus der Funktionalanalysis begegnen. Das<br />

meiste, was wir benötigen werden, kann zum Beispiel <strong>in</strong> [HS71] gefunden werden.<br />

In diesem Kapitel ist (M, g) immer e<strong>in</strong>e kompakte riemannsche Mannigfaltigkeit. Sei zunächst W<br />

e<strong>in</strong> reelles oder komplexes Vektorbündel über M mit Metrik und metrischem Zusammenhang.


10 BERND AMMANN, WS 2002/03<br />

Def<strong>in</strong>ition 4.1. Sei Γ C k(M, W ) der Vektorraum der k-mal stetig differenzierbaren Schnitte <strong>von</strong><br />

W . Wir schreiben auch oft C k (M, W ) oder C k (W ), falls aus dem Kontext heraus klar ist, dass<br />

Schnitte <strong>von</strong> W → M geme<strong>in</strong>t s<strong>in</strong>d. Für ϕ ∈ C k (M, W ) def<strong>in</strong>ieren wir<br />

‖ϕ‖ C k := max<br />

max<br />

j=0,...,k p∈M<br />

j−mal<br />

{ }} {<br />

∣<br />

∣ ∇ . . . ∇ ϕ(p) ∣.<br />

Bemerkung 4.2. Ist P e<strong>in</strong> Differentialoperator der Ordnung m ∈ N, dann ist<br />

beschränkt.<br />

C k (M, W ) → C k−m (M, W )<br />

(C k (M, W ), ‖ · ‖ C k) ist e<strong>in</strong> Banach-Raum. Es wird aber hilfreich se<strong>in</strong>, mit Hilberträumen zu<br />

arbeiten. Wir führen deswegen die Sobolevräume W s e<strong>in</strong>. Wir werden hierfür zunächst auf dem<br />

n-dimensionalen Standard-Torus arbeiten, Sobolevräume H s def<strong>in</strong>ieren, und wichtige Sätze zeigen,<br />

und diese Def<strong>in</strong>itionen und Sätze dann auf beliebige kompakte riemannsche Mannigfaltigkeiten<br />

h<strong>in</strong>über transportieren. Wir betrachten nun den Standard-Torus T n = R n /(2π Z) n . Die <strong>von</strong> den<br />

Standard-Koord<strong>in</strong>aten des R n <strong>in</strong>duzierten Koord<strong>in</strong>aten nennen wir x 1 , . . . , x n .<br />

Def<strong>in</strong>ition 4.3. <strong>E<strong>in</strong></strong>e formale Fourier-Reihe ist e<strong>in</strong>e Familie {u ξ | ξ ∈ Z n }, u ξ ∈ C, die wir <strong>in</strong> der<br />

Form<br />

u = ∑<br />

ξ∈Z n u ξ e i〈x,ξ〉<br />

schreiben und <strong>in</strong>terpretieren wollen.<br />

Wir def<strong>in</strong>ieren das Sobolev-s-Skalarprodukt für s ∈ R<br />

(u, v) s := ∑<br />

ξ∈Z n (<br />

1 + |ξ|<br />

2 ) s<br />

uξ v ξ ,<br />

das für alle formalen Fourier-Reihen u, v def<strong>in</strong>iert ist, für die die Reihe konvergiert.<br />

Die Sobolev-s-Norm ist dann def<strong>in</strong>iert als<br />

‖u‖ s := √ (u, u) s ∈ R ≥ ∪ {∞}.<br />

Der Sobolev-Raum H s auf T n ist die Menge aller formalen Fourier-Reihen u auf T n , für die<br />

‖u‖ s < ∞.<br />

LEMMA 4.4. (H s , ‖ · ‖ s ) ist vollständig.<br />

Beweis.<br />

Sei (u k ) k e<strong>in</strong>e Cauchy-Folge <strong>in</strong> H s . Für jedes ɛ > 0 gibt es also e<strong>in</strong> N > 0, so dass<br />

Für festes ξ ∈ Z n gilt somit:<br />

‖u k − u l ‖ s < ɛ ∀k, l ≥ N.<br />

|u k,ξ − u j,ξ | ≤ ‖u k − u l ‖ s<br />

(1 + |ξ| 2 ) s/2 < ɛ<br />

(1 + |ξ| 2 ) s/2


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 11<br />

und somit ist (u k,ξ ) k e<strong>in</strong>e Cauchy-Folge. Wir setzen v ξ := lim k→∞ u k,ξ . Zu zeigen ist nun ‖u k − v‖ s → 0.<br />

Zunächst gilt<br />

Für R > 0 gilt somit<br />

∑<br />

|u k,ξ − v ξ | 2 ≤ (|u k,ξ − u l,ξ | + |u l,ξ − v ξ |) 2 ≤ 2 ( |u k,ξ − u l,ξ | 2 + |u l,ξ − v ξ | 2) .<br />

≤<br />

|ξ|≤R<br />

(1 + |ξ| 2 ) s |u k,ξ − v ξ | 2<br />

2 ∑<br />

(1 + |ξ| 2 ) s |u k,ξ − u l,ξ | 2 + 2<br />

|ξ|≤R<br />

≤ 2‖u k − u l ‖ 2 s + 2ɛ 2 ≤ 4ɛ 2<br />

∑<br />

(1 + |ξ| 2 ) s |u l,ξ − v ξ | 2<br />

|ξ|≤R<br />

} {{ }<br />

≤ɛ 2 für genügend großes l = l(R, ɛ)<br />

für k ≥ N(ɛ). In den letzten beiden Ungleichungen müssen wir l <strong>von</strong> R abhängig wählen, die<br />

Gesamt-Ungleichung gilt aber für alle k ≥ N(ɛ) gleichmäßig <strong>in</strong> R > 0. Also somit<br />

‖u k − v‖ s ≤ 2ɛ.<br />

✷<br />

LEMMA 4.5.<br />

mit<br />

C k (T n ) → H k<br />

f ↦→ ∑<br />

ξ∈Z n f ξ e i〈x,ξ〉<br />

f ξ = (2π) −n ∫T n f(x)e −i〈x,ξ〉 dvol g (x)<br />

ist <strong>in</strong>jektiv und beschränkt.<br />

Beweis. Die Funktionen ϕ ξ : x ↦→ e i〈x,ξ〉 bilden e<strong>in</strong>e Hilbert-Raum-Basis des Hilbert-Raums<br />

L 2 (T n ) der komplex-wertigen L 2 -Funktionen, versehen mit dem (reskalierten) L 2 -Skalarprodukt<br />

(f 1 , f 2 ) ′ := (2π) −n ∫T n f 1 f 2 .<br />

In Folge dessen gilt die Parsevalsche Gleichung für alle f ∈ L 2 (T n ):<br />

∫<br />

(2π) −n ff = ∑<br />

f ξ f ξ ,<br />

ξ∈Z n<br />

f ξ := (2π) −n ∫T n f(x)e −i〈x,ξ〉 .


12 BERND AMMANN, WS 2002/03<br />

Daraus folgt nun die Aussage wie folgt im Fall k = 0:<br />

‖f‖ 2 0 = ∑<br />

∫<br />

|f ξ | 2 = (2π) −n<br />

ξ∈Z n<br />

T n |f| 2 ≤ ‖f‖ 2 C 0.<br />

Wenn f im Kern liegt, so folgt daraus ∫ |f| 2 = 0, und da f stetig ist, bedeutet dies f ≡ 0. Die<br />

Injektivität folgt somit für k = 0 und deswegen auch für alle k.<br />

Für den Fall k > 0 berechnen wir zunächst<br />

( ∫<br />

∂f<br />

=<br />

∂x j )ξ<br />

Durch Induktion zeigen wir daraus:<br />

wobei ξ α := ξ α1<br />

1 · · · ξαn n .<br />

Somit<br />

(4.6)<br />

∑<br />

|α|≤k<br />

∑<br />

|α|≤k<br />

T n<br />

= −(2π) −n ∫<br />

= iξ j f ξ<br />

∂f<br />

∂x j (x)e−i〈x,ξ〉<br />

( ∂<br />

|α|<br />

∂x<br />

)ξ<br />

α f = ξ α i |α| f ξ ,<br />

T n f(x)(−iξ j )e −i〈x,ξ〉<br />

|ξ 2α | ≤ (1 + |ξ| 2 ) k ≤ C k<br />

∑<br />

∥ ∂ |α| ∥∥∥<br />

2<br />

∥∂x α f<br />

0<br />

≤<br />

|α|≤k<br />

(2π) −n ‖f‖ 2 k<br />

≤ C k<br />

∑<br />

≤<br />

|α|≤k<br />

∑<br />

C k<br />

′ |α|≤k<br />

≤ C ′′<br />

k ‖f‖ 2 C k<br />

|ξ 2α |.<br />

∥ ∂ |α| ∥∥∥<br />

2<br />

∥∂x α f<br />

0<br />

∥ ∂ |α| ∥∥∥<br />

2<br />

∥∂x α f<br />

Aus dem Beweis können wir sogar noch e<strong>in</strong>ige Folgerungen ziehen:<br />

FOLGERUNGEN 4.7. 1.) C ∞ (T n ) liegt dicht <strong>in</strong> H s<br />

2.) H 0 = L 2 (T n )<br />

3.) Für k ∈ N ist ‖ · ‖ k äquivalent zu ∑ |α|≤k ∥ ∂|α|<br />

∂x<br />

f∥ .<br />

α L 2<br />

4.) Ist P : C ∞ (T n ) → C ∞ (T n ) e<strong>in</strong> Differentialoperator der Ordnung k, dann setzt sich P zu <strong>e<strong>in</strong>er</strong><br />

beschränkten l<strong>in</strong>earen Abbildung H s → H s−k fort (für alle s ∈ R).<br />

C 0<br />


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 13<br />

Beweis. 1.) Die (endlichen) Teilsummen der Fourier-Reihen liegen dicht <strong>in</strong> H s . Da die endlichen<br />

Summen aber Bilder glatter Funktionen s<strong>in</strong>d, ist das Bild <strong>von</strong> C ∞ (T n ) dicht.<br />

2.) Die Abbildung des Lemmas bewahrt die L 2 -Norm bis auf e<strong>in</strong>e Konstante. Wir sehen also, dass<br />

H 0 die L 2 -Vervollständigung der glatten Funktionen ist.<br />

3.) folgt aus (4.6)<br />

4.) jetzt klar ✷<br />

SATZ 4.8 (Sobolevscher <strong>E<strong>in</strong></strong>bettungssatz für T n ). Sei s > n/2. Dann konvergiert jede formale<br />

Fourier-Reihe u ∈ H k+s <strong>in</strong> der C k -Norm und die Abbildung<br />

ist <strong>in</strong>jektiv und beschränkt.<br />

Beweis. O.B.d.A. sei k = 0.<br />

H k+s → C k (T n )<br />

Sei u ∈ ∑ ξ u ξe i〈x,ξ〉 ∈ H s . Setze S R := ∑ |ξ|≤R u ξe i〈 · ,ξ〉 ∈ C ∞ (T n ). Für R ≤ R ′ gilt<br />

|S R (x) − S R ′(x)| ≤ ∑<br />

|u ξ |<br />

|ξ|≥R<br />

= ∑ ( ) 1 + |ξ|<br />

2 s/2<br />

|uξ |<br />

|ξ|≥R<br />

(1 + |ξ| 2 ) s/2<br />

⎧<br />

⎫<br />

⎨ ∑ (<br />

≤ 1 + |ξ|<br />

2 ) 1/2 ⎧ ⎫<br />

⎬ ⎨<br />

s<br />

∑<br />

|uξ | 2 (<br />

1 + |ξ|<br />

2 ) ⎬<br />

−s<br />

⎩<br />

⎭ ⎩<br />

⎭<br />

|ξ|≥R<br />

|ξ|≥R<br />

} {{ }<br />

≤‖u‖ s<br />

Mit Hilfe des Integralreihen-Kriteriums sieht man nun, dass<br />

(4.9) C := ∑<br />

|ξ|∈Z n (<br />

1 + |ξ|<br />

2 ) −s<br />

< ∞,<br />

da s > n/2. Es folgt daraus, dass (S Rj |R j → ∞) e<strong>in</strong>e Cauchy-Folge <strong>in</strong> C 0 (T n ) ist. Außerdem sehen<br />

wir (R = 0, R ′ → ∞), dass dann die Abbildung beschränkt ist.<br />

Die Injektivität ist klar.<br />

SATZ 4.10 (Rellichscher <strong>E<strong>in</strong></strong>bettungssatz). Für s 1 < s 2 ist die <strong>E<strong>in</strong></strong>bettung H s2 ↩→ H s1 kompakt.<br />

Beweis.<br />

Sei (u k ) k e<strong>in</strong>e beschränkte Folge <strong>in</strong> H s2 , d.h. es existiert e<strong>in</strong> C mit<br />

‖u k ‖ s2 ≤ C ∀k.<br />

Für festes ξ ∈ Z n bildet (u k,ξ ) k e<strong>in</strong>e beschränkte Folge <strong>in</strong> C.<br />

1/2<br />


14 BERND AMMANN, WS 2002/03<br />

Zu gegebenem ɛ > 0 wählen wir R so groß, dass<br />

1<br />

(1 + |ξ| 2 ) s2−s1 < ɛ<br />

und erhalten somit<br />

‖u k − u l ‖ 2 s 1<br />

= ∑ (<br />

1 + |ξ|<br />

2 ) s 1 |uk,ξ − u l,ξ | 2 + ∑ 1 (<br />

1 + |ξ|<br />

2 ) s 2 |uk,ξ − u l,ξ | 2<br />

} {{ } (1 + |ξ| 2 ) s2−s1<br />

|ξ|≤R<br />

|ξ|>R<br />

≤ɛ für<br />

} {{ }<br />

k,l≥N(ɛ,R)<br />


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 15<br />

3.) (Sobolev) Für s > n/2, s ∈ N setzt sich die Identität auf C ∞ (E) zu <strong>e<strong>in</strong>er</strong> beschränkten<br />

<strong>in</strong>jektiven Abbildung<br />

W k+s (E) → C k (E)<br />

fort.<br />

4.) (Rellich) Für s 1 < s 2 setzt sich Id C ∞ (E) zu <strong>e<strong>in</strong>er</strong> kompakten <strong>in</strong>jektiven Abbildung<br />

W s2 (E) → W s1 (E)<br />

fort.<br />

5.) ⋂ k∈N W k (E) = C ∞ (E).<br />

6.) Wähle e<strong>in</strong>en Zusammenhang ∇ auf E und e<strong>in</strong>e Metrik. Sei k ∈ N. Dann s<strong>in</strong>d die Normen<br />

zu ‖ · ‖ k äquivalente Normen.<br />

‖w‖ ′ k :=<br />

k∑<br />

‖<br />

}<br />

∇ .<br />

{{<br />

. . ∇<br />

}<br />

w‖ L 2<br />

j−mal<br />

j=0<br />

<strong>E<strong>in</strong></strong>schub: Getwistete Clifford-Bündel. Sei W e<strong>in</strong> Clifford-Bündel über der riemannschen<br />

Mannigfaltigkeit (M, g). Sei E e<strong>in</strong> weiteres reelles oder komplexes Vektorbündel über M mit <strong>e<strong>in</strong>er</strong><br />

Metrik und e<strong>in</strong>em metrischen Zusammenhang (wir fordern nicht, dass es e<strong>in</strong>e Cliffordmultiplikation<br />

auf E gibt). Dann ist auch W ⊗ E e<strong>in</strong> Clifford-Bündel, wobei W ⊗ E die Tensor-Metrik und den<br />

Tensor-Zusammenhang trägt, und die Clifford-Multiplikation ist gegeben durch<br />

α · (w ⊗ e) = (α · w) ⊗ e.<br />

Wir nennen W ⊗ E das mit E getwistete Clifford-Bündel.<br />

Der zugehörige Dirac Operator erfüllt:<br />

D W ⊗E (w ⊗ e) = ∑ e b j · ∇ ej (w ⊗ e)<br />

= ∑ e b j · (∇ ej w ⊗ e + w ⊗ ∇ ej e)<br />

= (D W w) ⊗ e + ∑ e b j · w ⊗ ∇ ej e<br />

K W ⊗E (w ⊗ e) = ∑ e b i · e b j · R W ⊗E (e i , e j )(w ⊗ e)<br />

i


16 BERND AMMANN, WS 2002/03<br />

die Krümmung des Bündels den Eichfeldern entpricht. Auch <strong>in</strong> dieser <strong>Vorlesung</strong> werden sie noch<br />

wichtig werden.<br />

LEMMA 4.13 (Twist mit dem Tangentialbündel). Sei W → M e<strong>in</strong> Clifford-Bündel und D der<br />

Dirac-Operator. Sei D W ⊗T ∗M der Dirac-Operator des mit T ∗ M getwisteten Clifford-Bündels. Dann<br />

gilt<br />

n∑<br />

D W ⊗T ∗M ◦ ∇ϕ − ∇ ◦ Dϕ = e b i · R W (e i , e j )ϕ ⊗ e b j<br />

für e<strong>in</strong>en lokalen orthonormalen Rahmen e 1 , . . . , e n .<br />

Die rechte Seite der Gleichung ist zunächst nur lokal def<strong>in</strong>iert. Man sieht aber leicht durch Nachrechnen,<br />

dass der Ausdruck der rechten Seite nicht <strong>von</strong> der Wahl des orthonormalen Rahmens<br />

abhängt, also global def<strong>in</strong>iert ist. Etwas eleganter sieht man dies, <strong>in</strong>dem man R W als Element <strong>von</strong><br />

T ∗ M ⊗ T ∗ M ⊗ W → W <strong>in</strong>terpretiert. Dann ist<br />

n∑<br />

T ∗ M ⊗ W ∋ (id ⊗cl) ◦ R W = e b i ⊗ (e b j · R W (e i , e j ))<br />

bis auf e<strong>in</strong> Vorzeichen und Vertauschung der Reihenfolge gleich der rechten Seite. Offensichtlich<br />

ist (id ⊗cl) ◦ R W unabhängig <strong>von</strong> der Wahl der e i .<br />

Beweis des Lemmas. Nach dem soeben gesagten können wir annehmen, dass e 1 , . . . , e n e<strong>in</strong> orthonormaler<br />

Rahmen ist, der <strong>in</strong> p ∈ M synchron ist. Wir rechnen für ϕ ∈ C ∞ (W )<br />

D W ⊗T ∗M ◦ ∇ϕ − ∇ ◦ Dϕ = ∑ i<br />

i,j=1<br />

i,j=1<br />

D W ⊗T ∗M (∇ ei ϕ ⊗ e b i) − ∑ j<br />

∇(e b j · ∇ ej ϕ)<br />

= ∑ i,j<br />

(<br />

(e<br />

b<br />

j · ∇ ej ∇ ei ϕ) ⊗ e b i − e b j · ∇ ei ∇ ej ϕ ⊗ e b i)<br />

= ∑ i,j<br />

e b j · R W (e j , e i )ϕ ⊗ e b i<br />

Man beachte, dass diese Gleichungskette nur im Punkt p gilt.<br />

✷<br />

Ende des <strong>E<strong>in</strong></strong>schubes<br />

Sei nun W → M e<strong>in</strong> Clifford-Bündel über der kompakten riemannschen Mannigfaltigkeit M. Den<br />

dazugehörigen (verallgem<strong>e<strong>in</strong>er</strong>ten) Dirac-Operator bezeichnen wir mit D.<br />

PROPOSITION 4.14 (Gård<strong>in</strong>g-Ungleichung). Es existiert e<strong>in</strong>e Konstante C > 0, so dass<br />

‖ϕ‖ 1 ≤ C (‖ϕ‖ 0 + ‖Dϕ‖ 0 ) ∀ϕ ∈ C ∞ (W ).<br />

Beweis. Aus der Bochner-Formel<br />

D 2 ϕ = ∇ # ∇ϕ + Kϕ


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 17<br />

folgt<br />

‖∇ϕ‖ 2 0 = (∇ # ∇ϕ, ϕ) 0 = (D 2 ϕ, ϕ) 0 − (Kϕ, ϕ) 0 ≤ ‖Dϕ‖ 2 0 + C ′ ‖ϕ‖ 2 0.<br />

✷<br />

PROPOSITION 4.15 (Elliptische Abschätzungen). Es existieren Konstanten C k , C<br />

k ′ > 0, so dass<br />

‖ϕ‖ k ≤ C k<br />

(<br />

‖ϕ‖0 + ‖Dϕ‖ 0 + · · · + ‖D k ϕ‖ 0<br />

)<br />

≤ C<br />

′<br />

k ‖ϕ‖ k .<br />

Beweis. Die rechte Ungleichung ist bereits klar. Zu zeigen ist also die Existenz <strong>von</strong> C k . Für k = 1<br />

ist dies gerade die Gård<strong>in</strong>g-Ungleichung. Für alle k > 1 zeigen wir die Behauptung durch Induktion<br />

über k. Nach Induktionsvoraussetzung gelte die Aussage für k − 1 für alle Clifford-Bündel.<br />

‖ϕ‖ k ≤ C 1 {‖ϕ‖ 0 + ‖∇ϕ‖ k−1 }<br />

≤ C 2<br />

{<br />

‖ϕ‖0 + ‖∇ϕ‖ 0 + ‖D∇ϕ‖ 0 + · · · + ‖D k−1 ∇ϕ‖ 0<br />

}<br />

≤ C 3<br />

{<br />

‖ϕ‖k−1 + ‖∇ϕ‖ 0 + ‖∇Dϕ‖ 0 + · · · + ‖∇D k−1 ϕ‖ 0<br />

}<br />

≤ C 4<br />

(<br />

‖ϕ‖0 + ‖Dϕ‖ 0 + · · · + ‖D k ϕ‖ 0<br />

)<br />

Die zweite und letzte Ungleichung beruhen auf der Induktionsvoraussetzung. In der dritten Ungleichung<br />

haben wir D r und ∇ vertauscht, und nach Lemma (4.13) wissen wir<br />

‖D s+1 ∇D r ϕ − D s ∇D r+1 ϕ‖ 0 = ‖D s (D∇ − ∇D)D r ϕ‖ 0 ≤ C ′ ‖ϕ‖ r+s .<br />

Def<strong>in</strong>ition 4.16. Seien H 1 , H 2 Hilbert-Räume, D ⊂ H 1 e<strong>in</strong> dichter Unterraum. <strong>E<strong>in</strong></strong> l<strong>in</strong>earer<br />

Operator A : D → H 2 heißt unbeschränkter Operator. Der Graph <strong>von</strong> A ist<br />

Γ A = {(x, Ax) | x ∈ D} ⊂ H 1 ⊕ H 2 .<br />

Der Operator A heißt abgeschlossen, falls der Graph Γ A abgeschlossen ist.<br />

Überall def<strong>in</strong>ierte Operatoren (D = H 1 ) s<strong>in</strong>d genau dann stetig, wenn sie abgeschlossen s<strong>in</strong>d. Unser<br />

wichtigstes Beispiel ist H 1 = H 2 = L 2 , D = C ∞ (W ) und A e<strong>in</strong>e Differentialoperator, <strong>in</strong>sbesondere<br />

A = D.<br />

LEMMA 4.17. Sei M kompakt und P e<strong>in</strong> Differentialoperator auf M. Der Abschluss des Graphen<br />

Γ P <strong>in</strong> L 2 ⊕ L 2 ist wieder e<strong>in</strong> Graph.<br />

Die l<strong>in</strong>eare Abbildung die durch Γ P beschrieben wird, heißt der Abschluss <strong>von</strong> P .<br />

Beweis. Sei (0, y) im Abschluss <strong>von</strong> Γ P . Dann gibt es e<strong>in</strong>e Folge (x j ) <strong>in</strong> C ∞ mit (x j , P x j ) → (0, y)<br />

<strong>in</strong> L 2 ⊕ L 2 , also x j → 0 und P x j → y <strong>in</strong> L 2 . Es folgt für alle glatten ϕ:<br />

Da die glatten Schnitte dicht liegen, folgt y = 0.<br />

(x j , P # ϕ) L 2 → 0<br />

||<br />

(P x j , ϕ) L 2 → (y, ϕ) L 2.<br />

✷<br />


18 BERND AMMANN, WS 2002/03<br />

Bemerkung 4.18. Sei P e<strong>in</strong> Differentialoperator der Ordnung k. Dann ist der Sobolevraum W k<br />

im Def<strong>in</strong>itionsbereich des Abschlusses <strong>von</strong> P enthalten.<br />

<strong>E<strong>in</strong></strong> Unterraum e<strong>in</strong>es vollständigen metrischen Raumes ist genau dann abgeschlossen, wenn er<br />

vollständig <strong>in</strong> der <strong>in</strong>duzierten Metrik ist. Sei A : D ⊂ H 1 → H 2 e<strong>in</strong> unbeschränkter Operator.<br />

Wir folgern, dass A genau dann abgeschlossen ist, wenn der Graph <strong>in</strong> der <strong>in</strong>duzierten Topologie<br />

vollständig ist. Vermöge des Isomorphismus D → Γ A def<strong>in</strong>iert die <strong>in</strong>duzierte Norm e<strong>in</strong>e Norm auf<br />

D, die Graphen-Norm auf D<br />

‖ϕ‖ 2 A := ‖ϕ‖ 2 H 1<br />

+ ‖Aϕ‖ 2 H 2<br />

.<br />

Beispiel. Die Gård<strong>in</strong>g-Ungleichung für Dirac-Operatoren besagt, dass die Graphen-Norm äquivalent<br />

zur W 1 -Norm ist. Insofern ist die stetige Fortsetzung <strong>von</strong> D zu <strong>e<strong>in</strong>er</strong> Abbildung W 1 (W ) →<br />

L 2 (W ) e<strong>in</strong> abgeschlossener Operator, und stimmt deswegen mit dem Abschluss <strong>von</strong> D übere<strong>in</strong>,<br />

also D D<br />

= W 1 (W ) ⊂ L 2 (W ).<br />

Def<strong>in</strong>ition 4.19. Sei M e<strong>in</strong>e kompakte Mannigfaltigkeit. Sei P e<strong>in</strong> Differentialoperator der Ordnung<br />

m, der Schnitte <strong>von</strong> E → M auf Schnitte <strong>von</strong> F → M abbildet. Sei f ∈ L 2 (F ). Man sagt,<br />

die Differentialgleichung P u = f ist<br />

(a) im klassischen S<strong>in</strong>n erfüllt, falls u ∈ C m (E), f ∈ C 0 (F ), und P u = f,<br />

(b) im starken S<strong>in</strong>n erfüllt, falls es u j ∈ C m (E) gibt mit u j → u und P u j → f <strong>in</strong> L 2 ,<br />

(c) im schwachen S<strong>in</strong>n erfüllt, falls (u, P # ϕ) 0 = (f, ϕ) 0 für alle ϕ ∈ C ∞ (F ).<br />

Offensichtlich ist (b) äquivalent zu (u, f) ∈ Γ P , oder anders ausgedrückt: (b) besagt, dass u im<br />

Def<strong>in</strong>itionsbereich des Abschlusses <strong>von</strong> P liegt, und der Abschluss <strong>von</strong> P die Funktion u auf f<br />

abbildet. Es ist deswegen klar, dass aus der Gültigkeit im klassischen S<strong>in</strong>n, die Gültigkeit im<br />

starken S<strong>in</strong>n folgt. Ist andererseit u e<strong>in</strong>e starke Lösung, so folgt<br />

Also ist auch u e<strong>in</strong>e schwache Lösung.<br />

(u, P # ϕ) 0 ← (u j , P # ϕ) 0 = (P u j , ϕ) 0 → (f, ϕ) 0 .<br />

Wir wollen nun umgekehrt zeigen, dass im Falle des Dirac-Operators jede schwache Lösung u <strong>von</strong><br />

Du = f bereits e<strong>in</strong>e starke Lösung ist.<br />

PROPOSITION 4.20. Ist für u, f die Gleichung Du = f im schwachen S<strong>in</strong>n erfüllt, so ist sie<br />

auch im starken S<strong>in</strong>n erfüllt.<br />

Def<strong>in</strong>ition 4.21. Sei M kompakt. E, F Bündel über M. Sei π 1/2 : M × M → M die Projektion<br />

auf die erste bzw. zweite Komponente. <strong>E<strong>in</strong></strong>e l<strong>in</strong>eare Abbldung<br />

A : L 2 (E) → L 2 (F )<br />

heißt Glättungs-Operator, falls es e<strong>in</strong>en glatten Schnitt k <strong>von</strong> π1F ∗ ⊗ π2E ∗ ∗ gibt mit<br />

∫<br />

(Aϕ)(x) = k(x, y)ϕ(y) dvol(y).<br />

Solch e<strong>in</strong> k heißt Glättungskern.<br />

M


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 19<br />

Bemerkung 4.22. Für Glättungsoperatoren A gilt A(L 2 (E)) ⊂ C ∞ (F ), und A : L 2 (E) → C k (F )<br />

ist für alle k beschränkt.<br />

Def<strong>in</strong>ition 4.23. Sei nun E = F . <strong>E<strong>in</strong></strong>e Familie {F ɛ | ɛ ∈ (0, ɛ 0 ]} <strong>von</strong> selbstadjungierten Glättungsoperatoren<br />

heißt Friedrichs-Glätter, falls gilt<br />

(1) F ɛ : L 2 → L 2 ist gleichmäßig <strong>in</strong> ɛ beschränkt,<br />

(2) [B, F ɛ ] : L 2 → L 2 ist gleichmäßig <strong>in</strong> ɛ beschränkt für alle Differentialoperatoren B der<br />

Ordnung 1,<br />

(3) F ɛ konvergiert <strong>in</strong> der schwachen Operator-Topologie gegen id, d.h. für alle u, v ∈ L 2 gilt<br />

(F ɛ u, v) 0 → (u, v) 0 für ɛ → 0.<br />

LEMMA 4.24. Auf kompakten Mannigfaltigkeiten existieren Friedrichs-Glätter.<br />

Beweis (Skizze). Sei ɛ 0 der Injektivitätsradius <strong>von</strong> M. Wähle e<strong>in</strong>e glatte Funktion χ : R → R mit<br />

χ ≥ 0 χ(t) ≡ 0 falls t ≥ 1, die konstant ist <strong>in</strong> <strong>e<strong>in</strong>er</strong> Umgebung <strong>von</strong> 0 und<br />

∫ 1<br />

0<br />

χ(t)t n−1 dt = 1/ vol(S n−1 ).<br />

Dann gilt ∫ R n χ(|x|) dx = 1. Wir def<strong>in</strong>ieren für d(x, y) < ɛ 0<br />

k ɛ (x, y) = ɛ −n χ(d(x, y)/ɛ)P x,y ,<br />

wobei P x,y der Paralleltransport längs der Kürzesten <strong>von</strong> y nach x ist. Für alle anderen x, y kann<br />

man k ɛ durch 0 glatt fortsetzen.<br />

<strong>E<strong>in</strong></strong>e Rechnung liefert dann, dass die zugehörigen Operatoren Friedrichs-Glätter s<strong>in</strong>d.<br />

✷<br />

Beweis <strong>von</strong> Proposition 4.20. Sei also u, f ∈ L 2 , Du = f schwach. Zu zeigen ist dann u ∈ W 1 .<br />

Daraus folgt dann nämlich für alle glatten ϕ, dass<br />

und somit Du = f stark.<br />

Wir def<strong>in</strong>ieren<br />

Für alle glatten ϕ gilt somit<br />

(Du, ϕ) 0 = (u, Dϕ) 0 = (f, ϕ) 0 ,<br />

u ɛ := F ɛ u ∈ C ∞ .<br />

(Du ɛ , ϕ) 0 = (u ɛ , Dϕ) 0 = (u, F ɛ Dϕ) 0<br />

Daraus folgt dann (alle C i s<strong>in</strong>d unabhängig <strong>von</strong> ɛ)<br />

= (u, DF ɛ ϕ) 0 + (u, [F ɛ , D]ϕ) 0<br />

= (f, F ɛ ϕ) 0 + (u, [F ɛ , D]ϕ) 0<br />

|(Du ɛ , ϕ) 0 | ≤ ‖f‖ 0 C 1 ‖ϕ‖ 0 + ‖u‖ 0 C 2 ‖ϕ‖ 0 ≤ C 3 ‖ϕ‖ 0 ,<br />

also ‖Du ɛ ‖ 0 ≤ C 3 und ‖u ɛ ‖ 0 ≤ ‖F ɛ u‖ 0 ≤ C 1 ‖u‖ 0 ≤ C 4 . Folglich ‖u ɛ ‖ 1 ≤ C 5 .


20 BERND AMMANN, WS 2002/03<br />

Nach [HS71, Satz 14.9] s<strong>in</strong>d abgeschlossene Bälle <strong>in</strong> e<strong>in</strong>em Hilbert-Raum schwach folgenkompakt.<br />

Da W 1 e<strong>in</strong> Hilbert-Raum ist, und u ɛ beschränkt <strong>in</strong> W 1 ist, gibt es also e<strong>in</strong>e Folge ɛ j → 0, so dass<br />

u ɛj schwach 3 gegen e<strong>in</strong> ũ ∈ W 1 konvergiert. Für jedes glatte ϕ ist ( · , ϕ) 0 stetig auf L 2 und W 1 .<br />

Es gibt also e<strong>in</strong> w ∈ W 1 mit ( · , ϕ) 0 = ( · , w) 1 , und somit gilt für alle glatten ϕ<br />

(u ɛj − ũ, ϕ) 0 → 0.<br />

Da u ɛj → u, folgt hieraus (u − ũ, ϕ) 0 = 0 für alle ϕ und somit u = ũ. ✷<br />

Wir können hieraus den folgenden stärkeren Satz herleiten<br />

SATZ 4.25 (Regularität der Lösungen). Sei W e<strong>in</strong> Clifford-Bündel über <strong>e<strong>in</strong>er</strong> kompakten riemannschen<br />

Mannigfaltigkeit M. S<strong>in</strong>d u ∈ L 2 (W ) und f ∈ W k (W ) und gilt Du = f schwach, dann gilt<br />

u ∈ W k+1 .<br />

Bemerkung 4.26. Man kann sogar auch zeigen, dass es e<strong>in</strong>e Konstante C = C(M) gibt mit<br />

‖u‖ k+1 ≤ C‖f‖ k .<br />

Beweis. Für k = 0 haben wir es gezeigt. Wir wollen die Aussage durch Induktion über k zeigen.<br />

Wir nehmen also nach Induktionsvoraussetzung an, dass der Satz für k − 1 gelte, k ≥ 1. Sei X ∈<br />

Γ(T M). Man rechnet leicht nach, dass der Kommutator [∇ X , D] wieder e<strong>in</strong> Differentialoperator<br />

erster Ordnung ist (entweder <strong>in</strong> lokalen Koord<strong>in</strong>aten oder <strong>in</strong>dem man zeigt, dass die Hauptsymbole<br />

<strong>von</strong> ∇ X und D kommutieren, denn das Hauptsymbol <strong>von</strong> ∇ X ist gegeben durch T ∗ M ∋ α ↦→<br />

α(X) Id ∈ End(W )). Folglich s<strong>in</strong>d [∇ X , D] und [∇ X , D] # = −[∇ # X<br />

, D] Differentialoperatoren erster<br />

Ordnung. Wir wissen bereits, dass u ∈ W k (W ) und somit ∇ X u ∈ W k−1 (W ). Für die schwache<br />

Lösung Du = f gilt:<br />

Wir rechnen dann nach<br />

Also ist ∇ X u e<strong>in</strong>e schwache Lösung <strong>von</strong><br />

(u, D∇ X ϕ) 0 = (f, ∇ X ϕ) 0 ϕ ∈ C ∞ (W ).<br />

(∇ X u, Dϕ) 0 = (u, D∇ # X ϕ) 0 + (u, [∇ # X , D]ϕ) 0<br />

= (∇ X f, ϕ) 0 − ([∇ X , D]u, ϕ)<br />

} {{ }<br />

∈W k−1 (W )<br />

D(∇ X u) = ∇ X f − [∇ X , D]u ∈ W k−1 (W ),<br />

und somit nach Induktionsvoraussetzung ∇ X u ∈ W k (W ). Da dies für alle Vektorfelder X gilt,<br />

folgt u ∈ W k+1 (W ).<br />

✷<br />

3 Die schwache Konvergenz ist def<strong>in</strong>iert als: Für alle w ∈ W 1 gilt (u ɛj − ũ, w) 0 → 0 für j → 0.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 21<br />

LEMMA 4.27. Setze J : L 2 (W ) ⊕ L 2 (W ) → L 2 (W ) ⊕ L 2 (W ), J(u, v) = (v, −u). Dann gilt<br />

Beweis.<br />

L 2 (W ) ⊕ L 2 (W ) = Γ D ⊕ J(Γ D ).<br />

Man rechnet direkt nach, dass für jeden Differentialoperator P gilt<br />

J(Γ P ) ⊥ Γ P #.<br />

Sei nun (u, v) ⊥ Γ D , so gilt für alle glatten ϕ, dass ((u, v), (ϕ, Dϕ)) = 0, also (u, ϕ) 0 = −(v, Dϕ) 0 .<br />

Insofern ist Dv = −u schwach erfüllt, also auch stark, also v ∈ W 1 und Dv = −u, also (v, −u) ∈ Γ D<br />

und schließlich (u, v) ∈ J(Γ D ).<br />

✷<br />

Sei Q nun die Verkettung<br />

L 2 (W ) → L 2 (W ) ⊕ L 2 (W ) = Γ D ⊕ J(Γ D ) → Γ D → L 2 (W )<br />

wobei der erste Pfeil die Inklusion <strong>in</strong> die erste Komponente, der zweite Pfeil Orthogonalprojektion<br />

und der dritte Pfeil Projektion auf die erste Komponente bedeutet. Also gilt somit<br />

u ↦→ (u, 0) ↦→ (Qu, DQu) ↦→ Qu<br />

und Qu ∈ W 1 (W ). Nach dem vorangegangenen Lemma gibt es e<strong>in</strong> v ∈ W 1 (W ) mit<br />

(u, 0) = (Qu, DQu) + (Dv, −v).<br />

Wir erhalten u = Qu + Dv und v = DQu, <strong>in</strong>sgesamt somit<br />

u = (Id +D 2 )Qu.<br />

Offensichtlich ist (Dv, −v) die Projektion <strong>von</strong> (u, 0) auf J(Γ D ), also s<strong>in</strong>d die Abbildungen u ↦→ Qu,<br />

u ↦→ DQu und u → Dv = D 2 Qu, im S<strong>in</strong>ne <strong>von</strong> L 2 → L 2 -Funktionen beschränkt, also<br />

(<br />

)<br />

‖Qu‖ 2 ≤ C 1 ‖Qu‖ 0 + ‖DQu‖ 0 + ‖D 2 Qu‖ 0 ≤ C 2 ‖u‖ 0 ,<br />

also Q : L 2 (W ) → W 2 (W ) stetig.<br />

Zusammen mit Rellich (Satz 4.10) folgt, dass Q e<strong>in</strong> kompakter Operator ist, der wegen (1+D 2 )Q =<br />

1 auch selbstadjungiert ist.<br />

Wir zitieren nun den Spektralsatz für kompakte selbstadjungierte Operatoren (siehe zum Beispiel<br />

[HS71, Satz 26.3]<br />

SATZ 4.28 (Spektralsatz für selbstadjungierte kompakte Operatoren). Sei H e<strong>in</strong> komplexer Hilbert-<br />

Raum und Q : H → H kompakt und selbstadjungiert. Dann gilt<br />

H =<br />

⊕<br />

H λ ,<br />

λ∈spec(Q)<br />

wobei H λ der Eigenraum zu λ ∈ R ist, und für λ ≠ 0 gilt dim H λ < ∞. Insbesondere ist spec(Q)<br />

abzähbar und der e<strong>in</strong>zige mögliche Häufungspunkt ist 0.


22 BERND AMMANN, WS 2002/03<br />

Unser Q <strong>von</strong> oben ist <strong>in</strong>jektiv, also ist H 0 = {0}. Wir erhalten somit e<strong>in</strong>e Zerlegung on L 2 <strong>in</strong><br />

endlich-dimensionale Räume H λ auf denen D 2 den Eigenwert λ −1 − 1 hat. Offensichtlich bewahrt<br />

D diese Zerlegung, und jedes H λ zerfällt <strong>in</strong> die beiden Eigenräume <strong>von</strong> D zu den Eigenwerten<br />

± √ λ −1 − 1. Die Eigenwert <strong>von</strong> D s<strong>in</strong>d reell, da D selbstadjungiert ist. Mit dem Regularitäts-Satz<br />

(Satz 4.25) folgt, dass alle Eigenvektoren <strong>in</strong><br />

⋂<br />

W k (W ) = C ∞ (W )<br />

liegen.<br />

k∈N<br />

THEOREM 4.29 (Spektralsatz für verallgem<strong>e<strong>in</strong>er</strong>te Dirac-Operatoren). Sei W → M e<strong>in</strong> Clifford-<br />

Bündel über der kompakten Mannigfaltigkeit (M, g). Dann gibt es endlich-dimensionale Räume<br />

E λ ⊂ C ∞ (W ), so dass<br />

L 2 (W ) =<br />

⊕<br />

λ∈spec(D)<br />

mit Dϕ = λϕ für alle ϕ ∈ E λ . Und spec(D) ist e<strong>in</strong>e diskrete Teilmenge <strong>von</strong> R, und die e<strong>in</strong>zigen<br />

potentiellen Häufungspunkte s<strong>in</strong>d ±∞.<br />

PROPOSITION 4.30. Sowohl +∞ als auch −∞ s<strong>in</strong>d Häufungspunkte des Spektrums <strong>von</strong> D.<br />

Beweis. Die Aussage gilt trivialerweise für n = 1 (Nachrechnen) und für orientierte 2-dimensionale-<br />

Mannigfaltigkeiten (folgende Proposition). Wir zeigen es hier für n ≥ 3. Der verbleibende Fall<br />

n = 2, nicht orientiert, wird hier nicht gezeigt, und kann zum Beispiel aus [Bär00] gefolgert werden.<br />

Sei also n ≥ 3.<br />

Da L 2 (W ) unendlich dimensional ist, ist zum<strong>in</strong>dest ∞ oder −∞ e<strong>in</strong> Häufungspunkt. Wir wollen<br />

annehmen, dass −∞ ke<strong>in</strong> Häufungspunkt des Spektrums ist und daraus e<strong>in</strong>en Widerspruch<br />

herleiten. Für +∞ ist die Argumentation völlig analog.<br />

Sei −∞ ke<strong>in</strong> Häufungspunkt. Dann ist das Spektrum <strong>von</strong> D nach unten, aber nicht nach oben<br />

beschränkt, sagen wir<br />

E λ<br />

(Dϕ, ϕ) 0 ≥ λ m<strong>in</strong> (ϕ, ϕ) 0 ∀ϕ ∈ W 1 (W ).<br />

Wir nehmen e<strong>in</strong>e offene Überdeckung <strong>von</strong> M mit offenen Mengen U 1 , . . . , U k , die alle zu e<strong>in</strong>em<br />

Ball diffeomorph s<strong>in</strong>d. Wir f<strong>in</strong>den auf jedem U j e<strong>in</strong>en orthonormalen Rahmen e j 1 , . . . , ej n. 4 Sei χ j<br />

e<strong>in</strong>e Partition der <strong>E<strong>in</strong></strong>s, passend zur Überdeckung U j . Wir setzen<br />

Y j<br />

i :=<br />

{ √χj<br />

e j i auf U j<br />

0 sonst<br />

4 Der Beweis der <strong>Vorlesung</strong> enthielt e<strong>in</strong>en kle<strong>in</strong>en Fehler, der hier korrigiert wird.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 23<br />

Sei nun Dϕ = λϕ. Wir rechnen nun zunächst<br />

∑<br />

Es gilt dann zum e<strong>in</strong>en<br />

∑<br />

i,j<br />

i,j<br />

(Y j<br />

i<br />

(DY j<br />

i<br />

· ϕ, Y j<br />

i · ϕ) 0 = n(ϕ, ϕ) 0 .<br />

· ϕ, Y j<br />

i · ϕ) 0 ≥ nλ m<strong>in</strong> (ϕ, ϕ) 0 .<br />

und zum andern<br />

∑<br />

(DY j<br />

i · ϕ, Y j<br />

i · ϕ) 0<br />

i,j<br />

= ∑ (e j k · ∇ e j (Y j<br />

i · ϕ), Y j<br />

i · ϕ) 0<br />

k<br />

i,j,k<br />

≤<br />

∑ (e j k · Y j<br />

i<br />

i,j,k<br />

· ∇ e<br />

j ϕ, Y j<br />

i · ϕ) 0 + C‖ϕ‖ 2 0<br />

k<br />

Insgesamt folgt<br />

= − ∑ i,j,k<br />

i≠k<br />

(Y j<br />

i<br />

· e j k · ∇ e j ϕ, Y j<br />

i · ϕ) 0 + ∑ (Y j<br />

i · e j i · ∇ k<br />

e j ϕ, Y j<br />

i · ϕ) 0 + C‖ϕ‖ 2 0<br />

i<br />

j,i<br />

= −(n − 2)(Dϕ, ϕ) 0 + C‖ϕ‖ 2 0<br />

(n − 2)λ ≤ C − nλ m<strong>in</strong> .<br />

Da wir C unabhängig <strong>von</strong> λ wählen konnten, erhalten wir für genügend großes λ e<strong>in</strong>en Widerspruch.<br />

✷<br />

PROPOSITION 4.31. Ist die Dimension <strong>von</strong> M gerade und ist M orientiert, so ist das Spektrum<br />

<strong>von</strong> D symmetrisch, d.h. ist λ e<strong>in</strong> Eigenwert, so ist auch −λ e<strong>in</strong> Eigenwert und die Dimensionen<br />

der Eigenräume stimmen übere<strong>in</strong>.<br />

Zunächst überlegen wir, wie wir e<strong>in</strong>e Clifford-Multiplikation für Formen erklären. Sei α ∈ Γ(Λ k Tp ∗ M)<br />

und ϕ ∈ W p . Wir schreiben lokal<br />

α =<br />

∑<br />

α i1···i k<br />

e b i 1<br />

∧ . . . ∧ e b i k<br />

i 1


24 BERND AMMANN, WS 2002/03<br />

Sei M orientiert. Die Volumenform ist dann lokal ω = e b 1 ∧ . . . ∧ e b n, wobei e 1 , . . . , e n e<strong>in</strong>e positiv<br />

orientierte Orthonormalbasis ist. Man rechnet nach, dass<br />

Wir def<strong>in</strong>ieren das komplexe Volumenelement als<br />

ω · ω · ϕ = (−1) n(n+1)<br />

2 ϕ.<br />

ω C := i [ n+1<br />

2 ] ω.<br />

In den Übungen zeigen wir das Lemma:<br />

LEMMA 4.32.<br />

D(ω C · ϕ) = (−1) n−1 ω C · (Dϕ).<br />

Beweis <strong>von</strong> Proposition 4.31.<br />

Es gelte Dϕ = λϕ. somit folgt also<br />

D(ω C · ϕ) = (−1) n−1 ω C · (Dϕ) = −λω C · ϕ.<br />

✷<br />

Zum Abschluss noch e<strong>in</strong>e Proposition, die im nächsten Kapitel wichtig werden wird:<br />

PROPOSITION 4.33. Es gilt im D| C ∞ ⊕ ker D = C ∞ (W ) und die Summe ist orthogonal.<br />

Beweis. Offensichtlich bestehen beide Summanden aus glatten Schnitten, und die Summe ist<br />

direkt. Zu zeigen ist also, dass sich jeder Schnitt <strong>in</strong> C ∞ (W ) zerlegen lässt. Hierzu schreiben wir<br />

ϕ =<br />

∑<br />

ϕ λ , Dϕ λ = λϕ λ .<br />

λ∈spec(D)<br />

Wir setzen ψ := ∑ λ ≠ 0 1 λ ϕ λ. Diese Reihe konvergiert, und D kann gliedweise re<strong>in</strong>gezogen werden,<br />

also<br />

Dψ + ϕ 0 = ϕ.<br />

✷<br />

5. Hodge-Theorie<br />

Im folgenden sei immer (M n , g) e<strong>in</strong>e kompakte riemannsche Mannigfaltigkeit ohne Rand. Das<br />

punktweise Skalarprodukt bezeichnen wir mit 〈·, ·〉 und das L 2 - bzw. Sobolev-0-Skalarprodukt mit<br />

(·, ·).<br />

Def<strong>in</strong>ition 5.1. Seien S 0 , . . . , S N komplexe Vektorbündel über M zusammen mit Differentialoperatoren<br />

d j : C ∞ (S j ) → C ∞ (S j+1 ) mit d j+1 ◦ d j = 0 heißt Dirac-Komplex, falls S = ⊕ N<br />

j=0 S j e<strong>in</strong>e<br />

Clifford-Bündel-Struktur trägt, so dass für den zugehörigen Dirac-Operator gilt<br />

D = d + d ∗ .<br />

Beispiele. 1.) S j = Λ j T ∗ M, d j sei die äußere Ableitung.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 25<br />

2.) S 0 = Λ gerade T ∗ M und S 1 = Λ ungerade T ∗ M,<br />

d 0 = d| Λ gerade T ∗ M + (d| Λ ungerade T ∗ M ) ∗ .<br />

Der zugehörige Dirac-Operator heißt Euler-Operator.<br />

3.) Signatur-Operator, Dolbeault-Operator, klassischer Dirac-Operator (= Atiyah-S<strong>in</strong>ger-Operator),<br />

sp<strong>in</strong> c -Dirac-Operator (kommt später).<br />

Die j-te Kohomologie des Komplexes def<strong>in</strong>ieren wir als<br />

H j (S ∗ , d ∗ ) :=<br />

ker d j<br />

im d j−1<br />

.<br />

Harmonische Schnitte s<strong>in</strong>d def<strong>in</strong>iert als die Elemente <strong>von</strong><br />

H j := {ϕ ∈ C ∞ (S j ) | Dϕ = 0} = {ϕ ∈ C ∞ (S j ) | D 2 ϕ = 0}.<br />

THEOREM 5.2 (Hodge-Theorem). Sei M kompakt mit Dirac-Komplex. Dann ist die kanonische<br />

Abbildung<br />

Φ : H j → H j (S ∗ , d ∗ )<br />

e<strong>in</strong>e Isomorphismus.<br />

Beweis.<br />

Nach 4.33 wissen wir bereits dass<br />

C ∞ (S) = ker(D) ⊕ im(D| C ∞ (S)),<br />

und die Zerlegung ist orthogonal. Der erste Summand ist gerade ker(D) = ⊕ H j . Ebenso splittet<br />

im(D| C∞ (S)) bezüglich der Graduierung <strong>von</strong> S = ⊕ S j . Für ϕ ∈ Γ(S j−1 ) und α ∈ Γ(S j+1 ) gilt<br />

d.h. als orthogonale Summe haben wir<br />

(dϕ, d ∗ α) = (d 2 ϕ, α) = 0,<br />

im(D| C ∞) ∩ Γ(S j ) = im d j−1 ⊕ im d ∗ j .<br />

Wir sehen ker d j = im d j−1 ⊕ H j orthogonal, also folgt die Aussage.<br />

FOLGERUNG 5.3.<br />

dim H j < ∞.<br />

Beispiele. (1) S j := Λ j T ∗ M. Dann heißt H j dR (M, R) = Hj deRham-Kohomologie <strong>von</strong> M. Außerdem<br />

heißt b j (M) :=: dim H j dR<br />

(M, R) die j-te Betti-Zahl.<br />

(2) Gilt M kompakt und ric > 0, so folgt daraus K 1 (X, X) > 0 für alle X ≠ 0, d.h. ker D| Λ1 T ∗ M =<br />

{0}, also b 1 (M) = 0.<br />

SATZ 5.4 (Po<strong>in</strong>caré-Dualität). Sei M n kompakt orientiert. Die Abbildung<br />

S : HdR(M, k R) × H n−k<br />

dR<br />

(M, R) → R<br />

∫<br />

([α], [β]) ↦→<br />

M<br />

α ∧ β<br />


26 BERND AMMANN, WS 2002/03<br />

ist e<strong>in</strong>e nicht ausgeartete Bil<strong>in</strong>earform. Insbesondere gilt<br />

S heißt Schnittform.<br />

b k (M) = b n−k (M).<br />

Beweis. S ist wohldef<strong>in</strong>iert (Übung).... ✷<br />

6. Etwas Darstellungstheorie<br />

6.1. Darstellungstheorie der Clifford-Algebren. Sei (V, g) e<strong>in</strong> euklidischer Vektorraum der<br />

Dimension n. Wir wollen nun die Struktur der Clifford-Moduln klassifizieren. Sei<br />

Cl(V, g) := Cl(V, g) ⊗ R C<br />

die komplexifizierte Clifford-Algebra. Die Multiplikation <strong>in</strong> Cl(V, g) bzw. Cl(V, g) bezeichnen wir<br />

mit ·.<br />

Nach den Bemerkungen aus dem ersten Abschnitt wissen wir, dass jeder Clifford-Modul W e<strong>in</strong>en<br />

Algebra-Homomorphismus Cl(V, g) → End(W ) <strong>in</strong>duziert, und umgekehrt def<strong>in</strong>iert jeder solche<br />

Algebra-Homomorphismus e<strong>in</strong>e Multiplikation V ⊗ W → W , die die Clifford-Relationen (1.2)<br />

erfüllt.<br />

Es gilt deswegen die Algebren-Homomorphismen Cl(V, g) → End(W ), also die Darstellungstheorie<br />

der Clifford-Algebren zu studieren.<br />

Für viele Überlegung kann man o.B.d.A. V = R n , versehen mit der euklidischen Metrik, annehmen.<br />

Wir konstruieren zunächst <strong>in</strong>duktiv (wie <strong>in</strong> den Übungen) (komplexe) Clifford-Moduln für R n . Für<br />

n = 1 def<strong>in</strong>ieren wir<br />

und die Clifford-Multiplikation ist<br />

Σ 1 := C<br />

e 1 · ϕ := −iϕ.<br />

Dies ist offensichtlich e<strong>in</strong> Clifford-Modul der komplexen Dimension 1 für R 1 . <strong>E<strong>in</strong></strong> anderer Clifford-<br />

Modul ist gegeben durch<br />

̂Σ 1 := C, e 1ˆ·ϕ := iϕ.<br />

Es gilt ω C | Σ1 = Id und ω C |̂Σ1<br />

= − Id, <strong>in</strong>sbesondere s<strong>in</strong>d die beiden Clifford Moduln Σ 1 und ̂Σ 1 nicht<br />

isomorph. Σ 1 bzw. ̂Σ 1 heißt die positive bzw. negative Sp<strong>in</strong>or-Darstellung der Clifford-Algebra.<br />

Wir def<strong>in</strong>ieren nun <strong>in</strong>duktiv auch für alle höheren n die Sp<strong>in</strong>or-Darstellungen, und zwar für gerade<br />

n e<strong>in</strong>en Clifford-Modul Σ n , und für ungerade n zwei Clifford-Moduln Σ n und ̂Σ n .


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 27<br />

Schritt <strong>von</strong> n auf n + 1 für ungerade n: Wir setzen Σ n+1<br />

Multiplikation ist hierauf def<strong>in</strong>iert als<br />

:= Σ n ⊕ ̂Σ n , und die Clifford-<br />

R n+1 ⊗ (Σ n ⊕ ̂Σ n ) → Σ n ⊕ ̂Σ n<br />

e k · (σ 1 , σ 2 ) := (e k · σ 1 , e kˆ·σ 2 ) k = 1, . . . , n<br />

e n+1 · (σ 1 , σ 2 ) := (−σ 2 , σ 1 )<br />

Schritt <strong>von</strong> n auf n + 1 für gerade n: Wir setzen Σ n+1 := ̂Σ n+1 := Σ n und<br />

R n+1 ⊗ Σ n → Σ n<br />

e k ·n+1 σ := e k ·n σ k = 1, . . . , n<br />

e n+1 · σ := iω C,n σ<br />

e kˆ·n+1 σ := −e k ·n σ k = 1, . . . , n<br />

e n+1ˆ·σ := −iω C,n σ<br />

Offensichtlich gilt dim Σ n = 2 [n/2] . Und für n ungerade gilt ω C | Σn = Id und ω C |̂Σn<br />

= − Id.<br />

SATZ 6.1 (Klassifikation der Clifford-Moduln für n = 2m). Sei n gerade. Dann gibt es zu jedem<br />

Clifford-Modul W e<strong>in</strong>en komplexen Vektorraum Z, so dass<br />

(6.2) ϕ : W ∼ = Σ n ⊗ Z,<br />

im S<strong>in</strong>ne <strong>von</strong> Clifford-Moduln, d.h. das folgende Diagramm kommutiert:<br />

(6.3)<br />

R n ⊗ W<br />

↓ id ⊗ϕ<br />

R n ⊗ Σ n ⊗ Z<br />

cl W<br />

−→<br />

clΣn ⊗id<br />

−→<br />

W<br />

↓ ϕ<br />

Σ n ⊗ Z<br />

Beweis. Wird noch e<strong>in</strong>gefügt.... ✷<br />

Dies heißt also, dass jeder Clifford-Modul e<strong>in</strong> getwisteter Modul <strong>von</strong> Σ n ist. Anschaulich gesprochen<br />

ist dieser Modul deswegen der fundamentale Bauste<strong>in</strong> um e<strong>in</strong>en beliebigen Clifford-Modul zu<br />

konstruieren. Wir nennen Σ n die Sp<strong>in</strong>or-Darstellung der Clifford-Algebra.<br />

Falls n gerade, kommutiert das komplexe Volumenelement ω C mit X· für alle X ∈ R n . Deswegen<br />

hat ω C die Eigenwerte ±1, und die Dimension der Eigenräume Σ + n und Σ − n ist 2 (n−2)/2 .<br />

Sei nun n ungerade. Wir konstruieren aus Σ n e<strong>in</strong>en anderen Clifford-Modul ̂Σ n , der als Vektorraum<br />

Σ n ist, aber ĉl(v ⊗ ψ) = −cl(v ⊗ ψ).


28 BERND AMMANN, WS 2002/03<br />

Wir betrachten R ⊂ R n+1 , n ungerade. Dann ist Σ n+1 auch e<strong>in</strong> Clifford-Modul für R n und das<br />

n-dimensionale komplexe Volumenelement ω C,n kommutiert mit X· für alle X ∈ R n und antikommutiert<br />

mit e n+1·. Es gilt im S<strong>in</strong>ne <strong>von</strong> Cilfford-Moduln<br />

Σ n+1<br />

∼ = Σn ⊕ ̂Σ n<br />

wobei die Summanden die Eigenräume <strong>von</strong> ω C,n zu den Eigenwerten 1 und −1 s<strong>in</strong>d.<br />

Allgeme<strong>in</strong> erhält man für ungerade n den analogen Klassifikaitonssatz.<br />

SATZ 6.4 (Klassifikation der Clifford-Moduln für n = 2m + 1). Sei n ungerade. Dann gibt es zu<br />

jedem Clifford-Modul W komplexe Vektorräume Z 1 und Z 2 , so dass<br />

(6.5) ϕ : W ∼ = Σ n ⊗ Z 1 ⊕ ̂Σ n ⊗ Z 2 ,<br />

im S<strong>in</strong>ne <strong>von</strong> Clifford-Moduln wobei die Summanden die Eigenräume <strong>von</strong> ω C,n zu den Eigenwerten<br />

1 und −1 s<strong>in</strong>d.<br />

Beweis. ....<br />

✷<br />

PROPOSITION 6.6. Sei e 1 , . . . , e n e<strong>in</strong>e Orthonormalbasis <strong>von</strong> V . Wir def<strong>in</strong>ieren<br />

e ∅ := 1 ∈ Cl(V )<br />

e J := e i1 · . . . · e ik ∈ Cl(V ),<br />

falls 1 ≤ i 1 < . . . < i k ≤ n natürliche Zahlen. Dann ist B := (e J ) J⊂{1,...,n} e<strong>in</strong>e Basis <strong>von</strong> Cl(V, g)<br />

als komplexer Vektorraum. Insbesondere ist die Dimension <strong>von</strong> Cl(V ) gleich 2 dim V .<br />

Beweis.<br />

Erzeugendensystem: Nutze die Relationen zum Vertauschen und Vernichten...<br />

L<strong>in</strong>ear unabhängig: Λ ∗ V ⊗ R C ist e<strong>in</strong> Clifford Modul. Schränke<br />

Cl(V, g) ⊗ Λ ∗ V ⊗ R C → Λ ∗ V ⊗ R C<br />

a ⊗ α ↦→ a · α<br />

auf Elemente der Form a ⊗ 1, 1 ∈ C ⊗ R Λ 0 V = C e<strong>in</strong>. Wir erhalten e<strong>in</strong>e Abbildung<br />

Cl(V, g) → Λ ∗ V ⊗ R C<br />

a ↦→ a · 1<br />

die e i1 · . . . · e ik auf e i1 ∧ . . . ∧ e ik abbildet. Hieraus folgt die l<strong>in</strong>eare Unabhängigkeit. ✷<br />

PROPOSITION 6.7. (a) Ist n gerade, dann ist die Sp<strong>in</strong>or-Darstellung<br />

Cl(R n ) → End(Σ n )<br />

e<strong>in</strong> Algebren-Isomorphismus.<br />

(b) Ist n ungerade, dann ist die summe der beiden Sp<strong>in</strong>or-Darstellungen<br />

e<strong>in</strong> Algebren-Isomorphismus.<br />

Cl(R n ) → End(Σ n ) ⊕ End(̂Σ n )


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 29<br />

Beweis. Sei ρ n : Cl(R n ) → End(Σ n ), falls n gerade und ρ n : Cl(R n ) → End(Σ n ) ⊕ End(̂Σ n ), falls<br />

n ungerade. Aus der <strong>in</strong>duktiven Konstruktion der Σ n sieht man <strong>in</strong>duktiv über n, dass ρ n surjektiv<br />

ist. Die Injektivität folgt dann aus Dimensionsgründen.<br />

✷<br />

Jede Isometrie A : R n → R n setzt sich zu e<strong>in</strong>em Algebren-Homomorphsmus A : Cl(R n ) → Cl(R n )<br />

fort. Insbesondere gilt dies für die Punktspiegelung am Ursprung P : R n → R n , X ↦→ −X. Wir<br />

schreiben<br />

Cl(R n ) = Cl 0 (R n ) ⊕ Cl 1 (R n ),<br />

wobei Cl j (R n ) der Eigenraum <strong>von</strong> P zum Eigenwert (−1) j ist. Der Isomorphismus<br />

Cl(R n ) → Λ ∗ R n<br />

A ↦→ A · 1<br />

bildet Cl 0 (R n ) auf Λ even R n und Cl 1 (R n ) auf Λ odd R n ab.<br />

PROPOSITION 6.8. Sei n ungerade. Wir betrachten nur noch e<strong>in</strong>e der beiden Sp<strong>in</strong>or-Darstellungen<br />

und schränken Sie auf Cl 0 (R n ) bzw. Cl 1 (R n ) e<strong>in</strong>. Dann s<strong>in</strong>d<br />

und<br />

Vektorraumisomorphismen.<br />

Cl 0 (R n ) → End(Σ n ) Cl 1 (R n ) → End(Σ n )<br />

Cl 0 (R n ) → End(̂Σ n ) Cl 1 (R n ) → End(̂Σ n )<br />

Beweis. Die Surjektivität kann man wiederum durch Induktion zeigen, und die Injektivität folgt<br />

dann aus Dimensionsgründen.<br />

✷<br />

PROPOSITION 6.9. Jeder Clifford-Modul W über e<strong>in</strong>em euklidischen Vetorraum V trägt e<strong>in</strong><br />

hermitesches Skalarprodukt, so dass<br />

für alle X ∈ V und alle ϕ, ψ ∈ W .<br />

〈X · ϕ, ψ〉 = −〈ϕ, X · ψ〉<br />

Beweis. Wir wählen zunächst irgende<strong>in</strong> Skalarprodukt 〈 · , · 〉 0 . Sei e 1 , . . . , e n wieder e<strong>in</strong>e ONB<br />

<strong>von</strong> V und e I wie oben. Wir setzen dann<br />

〈X, Y 〉 =<br />

∑<br />

〈e I · X, e I · Y 〉 0 .<br />

I⊂{1,...,n}<br />

Dann gilt 〈e j · X, e j · Y 〉 = 〈X, Y 〉 Daraus folgt für Y := e j · Z<br />

und daraus wiederum die Behauptung.<br />

〈e j · X, Z〉 = −〈X, e j · Z〉<br />


30 BERND AMMANN, WS 2002/03<br />

6.2. Lie-Gruppen und Ihre Darstellungen. Wir wollen e<strong>in</strong> paar Def<strong>in</strong>itionen und Sachverhalte<br />

über Lie-Gruppen zusammentragen, die wir im folgenden brauchen werden. Man beachte auch die<br />

Ergänzungen <strong>in</strong> Abschnitt 14.4.<br />

Def<strong>in</strong>ition 6.10. <strong>E<strong>in</strong></strong>e Lie-Gruppe ist e<strong>in</strong> Gruppe G zusammen mit <strong>e<strong>in</strong>er</strong> Mannigfaltigkeitsstruktur<br />

auf G, so dass die Multiplikation G × G → G und die Inversenabbildung G → G glatte<br />

Abbildungen s<strong>in</strong>d.<br />

Beispiele. GL(n, R), SO(n), SU(m), GL(m, C). Man kann zeigen [War83, Theorem 3.42], dass<br />

jede abgeschlossene Untergruppe <strong>von</strong> GL(n, R) e<strong>in</strong>e Untermannigfaltigkeit ist und deswegen ist es<br />

e<strong>in</strong>e Lie-Gruppe. Es gibt aber auch Lie-Gruppen, die man nicht als abgeschlossene Untergruppe<br />

e<strong>in</strong>es GL(n, R) erhält.<br />

SATZ 6.11. Ist G e<strong>in</strong>e Lie-Gruppe, so trägt die universelle Überlagerung ˜G e<strong>in</strong>e e<strong>in</strong>deutige Gruppenstruktur,<br />

so dass ˜G → G e<strong>in</strong> glatter Gruppenhomomorphismus ist.<br />

Beweisskizze siehe <strong>Vorlesung</strong>.<br />

Def<strong>in</strong>ition 6.12. <strong>E<strong>in</strong></strong>e reelle (oder komplexe) Darstellung <strong>e<strong>in</strong>er</strong> Lie-Gruppe G besteht aus e<strong>in</strong>em<br />

reellen (oder komplexen) Vektorraum V zusammen mit e<strong>in</strong>em glatten Gruppenhomomorphismus<br />

ρ : G → GL(V ).<br />

Wir wollen uns hier auf endlich-dimensionale Darstellung beschränken. 5<br />

Beispiele. (1) Die triviale Darstellung: V = R, ρ(g) = Id für alle g ∈ G.<br />

(2) Sei G e<strong>in</strong>e Untergruppe <strong>von</strong> GL(V ). Dann ist (V, ρ) mit ρ(g) = g die kanonische Darstellung<br />

<strong>von</strong> G.<br />

(3) Die Adjungierte Darstellung aus Abschnitt 14.4<br />

Als Literatur zu Lie-Gruppen ist [War83] zu empfehlen. Wer noch mehr über Darstellungstheorie<br />

wissen will, kann auch <strong>in</strong> [Hum80] und [BtD95] viel Interessantes f<strong>in</strong>den.<br />

6.3. Die Sp<strong>in</strong>-Gruppe. Die Lie-Gruppe SO(n) ist für n ≥ 2 nicht e<strong>in</strong>fach zusmmenhängend.<br />

die Dimension n = 2 ist hierbei e<strong>in</strong> Spezialfall: SO(2) ∼ = U(1) ∼ = S 1 , also π 1 (SO(2)) ∼ = Z. Die<br />

universelle Überlagerung <strong>von</strong> SO(2) ist R.<br />

Für n ≥ 3 gilt h<strong>in</strong>gegen π 1 (SO(n)) = Z/(2Z).<br />

Wir konstruieren nun für alle n ≥ 2 die Sp<strong>in</strong>-Gruppe Sp<strong>in</strong>(n), und zeigen anschließend, dass es<br />

e<strong>in</strong>e zweifache zusammenhängende Überlagerung ist. Hieraus folgt dann direkt, dass Sp<strong>in</strong>(n) für<br />

alle n ≥ 3 die universelle Überlagerung <strong>von</strong> SO(n) ist.<br />

5 In der Quantenmechanik s<strong>in</strong>d auch unendlich-dimensionale Darstellungen sehr wichtig.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 31<br />

Def<strong>in</strong>ition 6.13. Sei Cl(R n ) wieder die komplexifizierte Clifford-Algebra. Die Elemente <strong>von</strong> Cl(R n ),<br />

die e<strong>in</strong> Inverses besitzen, bilden e<strong>in</strong>e Gruppe, die <strong>E<strong>in</strong></strong>heiten-Gruppe Cl(R n ) ∗ <strong>von</strong> Cl(R n ). Die Sp<strong>in</strong>-<br />

Gruppe Sp<strong>in</strong>(n) ist def<strong>in</strong>iert als die Untergruppe die <strong>von</strong> den Elementen<br />

⎧<br />

⎫<br />

⎨<br />

⎬<br />

⎩ X } {{ · Y }<br />

· | X, Y ∈ R n , |X| = |Y | = 1<br />

⎭<br />

∈Cl(R n )<br />

erzeugt wird.<br />

Wir bezeichnen mit s X die Spiegelung R n → R n an X ⊥ .<br />

SATZ 6.14. Die Abbildung<br />

Θ : Sp<strong>in</strong>(n) → SO(n)<br />

(X · Y ·) ↦→ s X ◦ s Y<br />

ist e<strong>in</strong> wohldef<strong>in</strong>ierter Gruppenhomomorphismus und e<strong>in</strong>e glatte 2-fache Überlagerung. Es gilt<br />

kern Θ = {±1}.<br />

Beweis. Wie bisher betten wir R n <strong>in</strong> Cl(R n ) e<strong>in</strong>. Die Punktspiegelung R n → R n , X ↦→ −X setzt<br />

sich zu e<strong>in</strong>em Algebren-Isomorphismus P : Cl(R n ) → Cl(R n ) fort. Für alle B ∈ Cl(R n ) ∗ def<strong>in</strong>ieren<br />

wir<br />

S B : Cl(R n ) → Cl(R n )<br />

A ↦→ P(B) · A · B −1<br />

Es gilt S B1·B 2<br />

= S B1 ◦ S B2 . Für alle X ∈ R n , |X| = 1 ist S X e<strong>in</strong>e Forsetzung <strong>von</strong> s X zu e<strong>in</strong>em<br />

Endomorphismus S X <strong>von</strong> Cl(R n ). (Übung!) Hieraus folgt, dass Θ e<strong>in</strong> wohldef<strong>in</strong>ierter Gruppenhomomorphismus<br />

ist. Offensichtlich ist Θ surjektiv. Als Übung, zeigen wir, dass der Kern <strong>von</strong> Θ nur<br />

aus ±1 ∈ Cl(R n ) besteht, d.h.<br />

B ∈ Sp<strong>in</strong>(n), Θ(B) = 1 ⇒ B = ±1.<br />

Wir werden nun zeigen, dass es e<strong>in</strong>e Umgebung U der <strong>E<strong>in</strong></strong>s 1 <strong>in</strong> SO(n) und e<strong>in</strong>e <strong>in</strong>jektive glatte<br />

Abbildung f : U → Cl(R n ) ∗ gibt mit f(U) ⊂ Sp<strong>in</strong>(n) und Θ ◦ f = Id | U . Durch Komposition mit<br />

den L<strong>in</strong>ks-Translation l A , A ∈ Sp<strong>in</strong>(n) und l Θ(A) erhalten wir dann e<strong>in</strong>e Familie<br />

(<br />

lA ◦ f ◦ l Θ(A) −1 | A ∈ Sp<strong>in</strong>(n) )<br />

<strong>von</strong> lokalen Diffeomorphismen, die den Gruppenhomorphismus Θ : Sp<strong>in</strong>(n) → SO(n) <strong>in</strong> <strong>e<strong>in</strong>er</strong><br />

Umgebung der <strong>E<strong>in</strong></strong>s umkehren und auf l Θ(A) (U) def<strong>in</strong>iert s<strong>in</strong>d. Hieraus folgen dann alle Aussagen.<br />

Der Tangentialraum T 1 SO(n) besteht aus den schiefsymmetrischen Matrizen und diese wiederum<br />

identifizieren wir mit Λ 2 R n mittels<br />

e i ∧ e j ↦→ (δ il δ jk − δ ik δ jl ) lk ∈ Mat(n, R).


32 BERND AMMANN, WS 2002/03<br />

Sei nun J : Λ 2 R n → Cl(R n ), J(e i ∧ e j ) = (1/2)e i · e j . Wir wählen zunächst e<strong>in</strong>e Umgebung U 1 <strong>von</strong><br />

0 ∈ T 1 SO(n) so kle<strong>in</strong>, dass die Exponential-Abbildung <strong>von</strong> Matrizen<br />

∞∑<br />

T 1 SO(n) ∋ A ↦→ exp SO(n) 1<br />

(A) :=<br />

k! Ak ∈ SO(n)<br />

e<strong>in</strong> Diffeomorphismus <strong>von</strong> U 1 auf das Bild ist. Sei außerdem<br />

∞∑<br />

Cl(R n ) ⊃ Ũ ∋ B ↦→ ) ∗ 1<br />

(B) :=<br />

expCl(Rn k! Bk ∈ Cl(R n ) ∗<br />

LEMMA 6.15. Es gilt<br />

und<br />

k=0<br />

k=0<br />

exp Cl(Rn ) ∗ ◦J(A) ∈ Sp<strong>in</strong>(n)<br />

Θ ◦ exp Cl(Rn ) ∗ ◦J(A) = exp SO(n) A.<br />

Beweis des Lemmas. Nach <strong>e<strong>in</strong>er</strong> euklidischen Koord<strong>in</strong>atentransformation hat A die Gestalt<br />

[n/2]<br />

∑<br />

j=1<br />

a j e 2j−1 ∧ e 2j ,<br />

also J(A) = B = (1/2) ∑ j a je 2j−1 · e 2j . Daraus folgt dann<br />

exp Cl(Rn ) ∗ (B) = ∏ (<br />

e 2j−1 cos a j<br />

2 e 2j−1 + s<strong>in</strong> a )<br />

j<br />

2 e 2j .<br />

Die ist offensichtlich e<strong>in</strong> Element <strong>von</strong> Sp<strong>in</strong>(n) und das Lemma folgt dann durch e<strong>in</strong>e kurze Überlegung.<br />

✷<br />

Also ist<br />

e<strong>in</strong>e Abbildung, die das Gewünschte liefert.<br />

f := exp Cl(Rn ) ∗ ◦J ◦<br />

(exp SO(n)) −1<br />

✷<br />

Aus dem Beweis folgt auch direkt:<br />

FOLGERUNG 6.16. Sp<strong>in</strong>(n) ist e<strong>in</strong>e Untermannigfaltigkeit <strong>von</strong> Cl(R n ) und somit e<strong>in</strong>e Lie-<br />

Gruppe. Es gilt<br />

T 1 Sp<strong>in</strong>(n) = span {e j · e k | 1 ≤ j < k ≤ n} .<br />

Man sieht leicht, dass Sp<strong>in</strong>(n) für alle n ≥ 2 zusammenhängend ist.<br />

Beispiele.<br />

(1) Sp<strong>in</strong>(2) ∼ = S 1 ∼ = U(1), ϑ : S 1 → S 1 , z ↦→ z 2 ,


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 33<br />

(2) Sp<strong>in</strong>(3) ⊂ Cl 0 (R 3 ) = EndΣ 3 = EndC 2 und man rechnet nach, dass Sp<strong>in</strong>(3) = SU(2). Identifizieren<br />

wir C 2 mit den Quaternionen, so besteht SU(2) aus den <strong>E<strong>in</strong></strong>heits-Quaternionen. Also<br />

ist Sp<strong>in</strong>(3) = SU(2) diffeomorph zu S 3 . Insbesondere ist Sp<strong>in</strong>(3) e<strong>in</strong>fach zusammenhängend<br />

und somit π 1 (SO(3)) = Z/(2Z).<br />

(3) Sp<strong>in</strong>(4) ∼ = SU(2) × SU(2). (ohne Beweis)<br />

(4) Alle Sp<strong>in</strong>(n) für n ≥ 3 s<strong>in</strong>d e<strong>in</strong>fach zusammenhängend. Beweis siehe Anhang 14.5.<br />

KOROLLAR 6.17. Für n ≥ 3 ist Sp<strong>in</strong>(n) die universelle Überlagerung <strong>von</strong> SO(n).<br />

7. Hauptfaserbündel und assoziierte Vektorbündel<br />

Das Ziel dieses Abschnitt ist es, lokale Basisschnitte etwas konzeptioneller zu verstehen als bisher.<br />

Wir wollen e<strong>in</strong> Bündel konstruieren, dessen lokale Schnitte gerade lokale Basisschnitte s<strong>in</strong>d.<br />

Da es im allgeme<strong>in</strong>en ke<strong>in</strong>e globalen Basisschnitte gibt, erwarten wir auch, dass dieses Bündel im<br />

allgeme<strong>in</strong>en ke<strong>in</strong>e global def<strong>in</strong>ierten Schnitte hat. Da aber jedes Vektorbündel m<strong>in</strong>destens e<strong>in</strong>en<br />

globalen Schnitt besitzt, den Nullschnitt, kann dieses Bündel ke<strong>in</strong> Vektorbündel se<strong>in</strong>. Wir werden<br />

nun Bündel konstruieren, dessen Fasern nicht mehr Vektorräume s<strong>in</strong>d, sondern Lie-Gruppen.<br />

Solche Faserbündel heißen Hauptfaserbündel. Wir benötigen Hauptfaserbündel zur Konstruktion<br />

des klassischen Dirac-Operators. Hauptfaserbündel s<strong>in</strong>d außerdem zentral im Standard-Modell der<br />

Elementarteilchen-Physik.<br />

Def<strong>in</strong>ition 7.1. Sei G e<strong>in</strong>e Lie-Gruppe und M e<strong>in</strong>e Mannigfaltigkeit. <strong>E<strong>in</strong></strong> G-Hauptfaserbündel<br />

über M ist e<strong>in</strong>e Mannigfaltigkeit P , zusammen mit <strong>e<strong>in</strong>er</strong> glatten Abbildung π : P → M und <strong>e<strong>in</strong>er</strong><br />

glatten Abbildung P × G → P , (p, g) ↦→ pg so dass gilt<br />

(1) (pg 1 )g 2 = p(g 1 g 2 ) für alle p ∈ P , g 1 , g 2 ∈ G, (G operiert <strong>von</strong> rechts auf P )<br />

(2) Für jedes m ∈ M gibt es e<strong>in</strong>e Umgebung U <strong>von</strong> m <strong>in</strong> M, und e<strong>in</strong>en Diffeomorphismus ϕ :<br />

π −1 (U) → U × G, so dass π ◦ ϕ −1 (u, g) = u für alle (u, g) ∈ U × G und (ϕ −1 (u, g))g ′ =<br />

ϕ −1 (u, gg ′ ).<br />

Wir nennen P den Totalraum des Bündels, ϕ heißt lokale Trivialisierung, G heißt Strukturgruppe,<br />

und Mengen der Form π −1 (m), m ∈ M heißen Fasern.<br />

Dies impliziert <strong>in</strong>sbesondere, dass die Operation <strong>von</strong> G frei ist (pg ≠ p, falls g ≠ e), und auf den<br />

Fasern transitiv operiert (gilt π(p 1 ) = π(p 2 ), so gibt es e<strong>in</strong> g ∈ G mit p 1 = p 2 g).<br />

Beispiele. (1) Sei M e<strong>in</strong>e n-dimensionale differenzierbare Mannigfaltigkeit. Dann ist<br />

P GL (M) := {(m, E m ) | m ∈ M, E m Basis <strong>von</strong> T m M}<br />

e<strong>in</strong> GL(n)-Hauptfaser-Bündel.<br />

(2) Sei (M, g) e<strong>in</strong>e n-dimensionale Riemannsche Mannigfaltigkeit. Dann ist<br />

P O (M, g) := {(m, E m ) | m ∈ M, E m Orthonormalbasis <strong>von</strong> T m M}<br />

e<strong>in</strong> O(n)-Hauptfaser-Bündel,


34 BERND AMMANN, WS 2002/03<br />

(3) Sei (M, g) e<strong>in</strong>e n-dimensionale orientierte Riemannsche Mannigfaltigkeit mit Orientierung ω.<br />

Dann ist<br />

P SO (M, g, ω) := {(m, E m ) | m ∈ M, E m positiv orientierte Orthonormalbasis <strong>von</strong> T m M}<br />

e<strong>in</strong> SO(n)-Hauptfaser-Bündel,<br />

(4) Sei V e<strong>in</strong> k-dimensionales reelles Vektorbündel über M mit <strong>e<strong>in</strong>er</strong> Metrik. Dann ist<br />

P SO (V ) := {(m, E m ) | m ∈ M, E m komplexe Orthonormalbasis <strong>von</strong> V }<br />

e<strong>in</strong> SO(k)-Hauptfaserbündel.<br />

(5) Sei V e<strong>in</strong> k-dimensionales komplexes Vektorbündel über M mit <strong>e<strong>in</strong>er</strong> hermiteschen Metrik.<br />

Dann ist<br />

P U (V ) := {(m, E m ) | m ∈ M, E m komplexe Orthonormalbasis <strong>von</strong> V }<br />

e<strong>in</strong> U(k)-Hauptfaserbündel. Wenn wir V zugleich als 2k-dimensionales reelles Vektorbündel<br />

ansehen, so gilt<br />

P U (V ) ⊂ P O (V ),<br />

wobei die Inklusion (e 1 , . . . , e k ) auf (e 1 , ie 1 , . . . , e k , ie k ) abbildet.<br />

Def<strong>in</strong>ition 7.2. Sei P → M e<strong>in</strong> G-Hauptfaserbündel. <strong>E<strong>in</strong></strong>e G-äquivariante Distribution <strong>von</strong> Horizontalräumen<br />

ist e<strong>in</strong> Familie <strong>von</strong> Vektorräumen (H p ) p∈P , so dass<br />

(1) H p ist e<strong>in</strong> Unterraum <strong>von</strong> T p P und<br />

(2) Sei µ g : P → P , p ↦→ pg. Dann gilt<br />

T p P = H p ⊕ T p π −1 (π(p)),<br />

Beispiele.<br />

(dµ g )(H p ) = H pg .<br />

V trage e<strong>in</strong>en Zusammenhang. Dann ist ... e<strong>in</strong>e GL(n)-äquivariante Distribution <strong>von</strong> Horizontalräumen.<br />

Def<strong>in</strong>ition 7.3. Sei P → M e<strong>in</strong> G-Hauptfaserbündel. Sei außerdem ρ : G → GL(V ) e<strong>in</strong>e reelle<br />

(bzw. komplexe) Darstellung <strong>von</strong> G, dim V = k. Dann operiert G <strong>von</strong> l<strong>in</strong>ks auf P × V wie folgt<br />

g(p, v) := (pg −1 , ρ(g)v).<br />

Der Quotient <strong>von</strong> P × V nach dieser Gruppen-Operation heißt das assoziierte Vektor-Bündel<br />

P × ρ V.<br />

Es ist e<strong>in</strong> reelles (bzw. komplexes) Vektorbündel über M vom Rang k.<br />

Nun trage P zusätzlich e<strong>in</strong>e G-äquivariante horizontale Distribution (H p | p ∈ P ). Wir wollen e<strong>in</strong>en<br />

Zusammenhang auf P × ρ V def<strong>in</strong>ieren.<br />

Zushg., Beispiele, assoziierte Vektorbündel, .... etc., wird noch e<strong>in</strong>gefügt.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 35<br />

8. Der klassische Dirac-Operator<br />

Def<strong>in</strong>ition 8.1. <strong>E<strong>in</strong></strong>e Sp<strong>in</strong>-Struktur auf <strong>e<strong>in</strong>er</strong> orientierten Riemannschen Mannigfaltigkeit (M, g, ω)<br />

besteht aus e<strong>in</strong>em Sp<strong>in</strong>(n)-Hauptfaser-Bündel P Sp<strong>in</strong> und <strong>e<strong>in</strong>er</strong> Abbildung ϑ : P Sp<strong>in</strong> → P SO (M, g, ω),<br />

so dass das Diagramm kommutiert<br />

P Sp<strong>in</strong> × Sp<strong>in</strong>(n) → P Sp<strong>in</strong><br />

↘<br />

↓ ϑ × Θ ↓ ϑ M<br />

↗<br />

P SO (M, g, ω) × SO(n) → P SO (M, g, ω)<br />

.<br />

Das Sp<strong>in</strong>or-Bündel, Sp<strong>in</strong>oren....<br />

Es gibt e<strong>in</strong>e nützliche Klasse <strong>von</strong> Invarianten <strong>von</strong> Vektorbündeln, die charakteristische Klassen genannt<br />

werden. Diese Klassen ordnen Vektorbündeln Kohomologie-Klassen zu. <strong>E<strong>in</strong></strong>ige dieser Klassen<br />

werden wir später kennenlernen.<br />

Hier an dieser Stelle wollen wir uns darauf beschränken, zu sagen, dass es auch e<strong>in</strong>e solche Klasse<br />

gibt, die mißt, ob e<strong>in</strong>e Sp<strong>in</strong>-Struktur auf (M, g, ω) existiert. Diese Klasse heißt 2. Stiefel-<br />

Whitney-Klasse w 2 (T M), und w 2 (T M) ∈ H 2 (M, Z 2 ). Zum Vergleich: Die 1. Stiefel-Whitney-<br />

Klasse w 1 (T M) ∈ H 2 (M, Z 2 ) ist genau dann 0, wenn M orientierbar ist. Für weitergehende Aussagen<br />

zu Stiefel-Whitney-Klassen liest man am besten <strong>in</strong> [MS74], §4.<br />

Bemerkungen 8.2. (1) Insbesondere folgt daraus, dass die Eigenschaft, ob e<strong>in</strong>e Sp<strong>in</strong>-Struktur<br />

existiert oder nicht, nicht <strong>von</strong> der Wahl der Riemannschen Metrik abhängt.<br />

(2) Wenn man die analoge Konstruktion des Sp<strong>in</strong>or-Bündels für semi-Riemannsche Mannigfaltigkeiten<br />

durchführt, ist die Lösung e<strong>in</strong> bischen komplizierter. Man splittet dann das Bündel<br />

T M <strong>in</strong> zwei Unterbündel T + M und T − M auf, so dass T M = T + M ⊕ T − M und die Metrik<br />

ist auf T + M positiv def<strong>in</strong>it und auf T − M negativ def<strong>in</strong>it. <strong>E<strong>in</strong></strong>e orientierte semi-Riemannsche<br />

Mannigfaltigkeit besitzt genau dann e<strong>in</strong>e Sp<strong>in</strong>-Struktur, falls<br />

w 2 (T M) = w 1 (T + M) ∩ w 1 (T − M).<br />

Falls M e<strong>in</strong>e zeitorientierte Lorentzmannigfaltigkeit ist, dann gilt w 1 (T − M) = 0. Also besitzt<br />

M genau dann e<strong>in</strong>e Sp<strong>in</strong>-Struktur zu der Lorentz-Metrik, wenn M e<strong>in</strong>e Sp<strong>in</strong>-Struktur zu <strong>e<strong>in</strong>er</strong><br />

Riemannschen Metrik trägt. <strong>E<strong>in</strong></strong>e sehr gute Referenz ist [Bau81]. 6<br />

Beispiele. (1) T n ist sp<strong>in</strong>,<br />

(2) S n ist sp<strong>in</strong>,<br />

(3) CP m ist sp<strong>in</strong>, genau dann wenn m ≡ 1 mod2,<br />

(4) RP n ist sp<strong>in</strong>, genau dann wenn n ≡ 3 mod4.<br />

Bemerkung 8.3. Sei M e<strong>in</strong>e triangulierte Mannigfaltigkeit. Dann ist das k-Gerüst (M) k die<br />

Vere<strong>in</strong>igung der Zellen der Dimension <strong>von</strong> 0 bis k.<br />

6 Helga Baum’s Buch [Bau81] ist leider nicht mehr lieferbar.


36 BERND AMMANN, WS 2002/03<br />

Wir zitieren zwei Sätze ohne Beweis.<br />

SATZ 8.4. Sei M e<strong>in</strong>e Mannigfaltigkeit. Dann s<strong>in</strong>d äquivalent<br />

(1) M ist orientierbar,<br />

(2) w 1 (T M) = 0,<br />

(3) es gilt dim M = 2 oder es gibt e<strong>in</strong>en globalen Basisschnitt auf dem 1-Gerüst (M) 1 <strong>von</strong> M, d.h.<br />

es gibt e<strong>in</strong>e Funktion (M) 1 → P GL (M), so dass die Verkettung (M) 1 → P GL (M) → M die<br />

Inklusion ist.<br />

SATZ 8.5. Sei (M, ω) e<strong>in</strong>e orientierte Mannigfaltigkeit. Dann s<strong>in</strong>d äquivalent:<br />

(1) auf (M, ω) existiert e<strong>in</strong>e Sp<strong>in</strong>-Struktur,<br />

(2) w 2 (T M) = 0,<br />

(3) es gilt dim M = 2 oder es gibt e<strong>in</strong>en globalen Basisschnitt auf dem 2-Gerüst (M) 2 <strong>von</strong> M, d.h.<br />

es gibt e<strong>in</strong>e Funktion (M) 2 → P GL (M), so dass die Verkettung (M) 2 → P GL (M) → M die<br />

Inklusion ist.<br />

Wir wollen nun annehmen, dass e<strong>in</strong>e Sp<strong>in</strong>-Struktur existiert, und fragen uns dann, ob diese auch<br />

e<strong>in</strong>deutig ist.<br />

Sei<br />

α : π 1 (M) → Z 2 ↩→ ker Θ ⊂ Sp<strong>in</strong>(n).<br />

Die universelle Überlagerung π : ˜M → M ist e<strong>in</strong> π 1 (M)-Hauptfaserbündel über M. Das assoziierte<br />

Bündel<br />

P α := ˜M × α Z 2 → M<br />

ist e<strong>in</strong> Z 2 -Hauptfaserbündel über M. Sei nun P Sp<strong>in</strong> e<strong>in</strong>e Sp<strong>in</strong>-Struktur. Das faserweise Produkt<br />

P Sp<strong>in</strong> × P α ist e<strong>in</strong> Sp<strong>in</strong>(n) × Z 2 -Hauptfaserbündel. Wir schrieben<br />

Dann ist<br />

wieder e<strong>in</strong>e Sp<strong>in</strong>-Struktur über M.<br />

m : Sp<strong>in</strong>(n) × Z 2 → Sp<strong>in</strong>(n),<br />

P α sp<strong>in</strong> := (P Sp<strong>in</strong> × P α ) × m Sp<strong>in</strong>(n)<br />

m(g, h) = gh.<br />

PROPOSITION 8.6. Falls e<strong>in</strong>e Sp<strong>in</strong>-Struktur P auf M existiert, so ist die Abbildung<br />

Hom(π 1 (M), Z 2 ) → {Sp<strong>in</strong>-Strukturen auf M}/Isomorphie<br />

e<strong>in</strong>e Bijektion.<br />

α ↦→ P α sp<strong>in</strong><br />

Der Beweis wird ausgelassen 7 .<br />

Bemerkung 8.7. Es gilt Hom(π 1 (M), Z 2 ) = Hom(H 1 (M, Z), Z 2 ) = H 1 (M, Z 2 ).<br />

7 Der Beweis ist nicht schwierig und wird zusammen mit der Isomorphie <strong>von</strong> Sp<strong>in</strong>-Strukturen vielleicht noch<br />

nachgeliefert.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 37<br />

Lokale Formel für den Zusammenhang des Sp<strong>in</strong>or-Bündels. Seien Γ k ij die Christoffelsymbole<br />

bezüglich e<strong>in</strong>es orthonormalen Rahmens e 1 , . . . , e n . Sei q e<strong>in</strong> lokaler Schnitt <strong>von</strong> P Sp<strong>in</strong> mit<br />

ϑ ◦ q = (e 1 , . . . , e n ), der def<strong>in</strong>iert auf U ist. Sei ψ ∈ Γ(ΣM). Es gibt dann e<strong>in</strong>e <strong>in</strong>duzierte glatte<br />

Funktion τ : U → Σ n , so dass<br />

ψ| U = [q, τ].<br />

LEMMA 8.8.<br />

∇ ΣM<br />

X [q, τ] = [q, ∂ X τ + 1 4<br />

n∑<br />

i,j,k=1<br />

〈X, e i 〉 Γ k ije b j · e b k · τ].<br />

Beweis. ...<br />

✷<br />

PROPOSITION 8.9. (i) Die Krümmung <strong>von</strong> ΣM ist gegeben durch<br />

R ΣM (X, Y )ϕ = − 1 ∑<br />

(R T M (X, Y )e k ) b · e b k · ϕ.<br />

4<br />

k<br />

(ii) Für den Krümmungsendomorphismus K <strong>von</strong> ΣM gilt<br />

K(ϕ) = 1 4 scalϕ.<br />

Diese Formel wurde <strong>von</strong> Schröd<strong>in</strong>ger und später unabhängig da<strong>von</strong> <strong>von</strong> Lichnerowizc gezeigt.<br />

Beweis.<br />

(ii) .....<br />

(i) Nachrechnen <strong>in</strong> Koord<strong>in</strong>aten.<br />

✷<br />

Zusammen mit der Bochner-Formel ()<br />

KOROLLAR 8.10 (Schröd<strong>in</strong>ger, Lichernowicz). Für den klassischen Dirac-Operator gilt<br />

D 2 ϕ = ∇ ∗ ∇ϕ + scal<br />

4 ϕ.<br />

KOROLLAR 8.11. Sei M e<strong>in</strong>e kompakte orientierte Riemannsche sp<strong>in</strong> Mannigfaltigkeit, sei s 0 =<br />

m<strong>in</strong> M scal > 0. Dann erfüllt jeder Eigenwert λ des klassischen Dirac-Operators auf M die Abschätzung<br />

Insbesondere gilt ker(D) = {0}.<br />

λ 2 ≥ s 0<br />

4 .<br />

Beweis. Sei ϕ e<strong>in</strong> Sp<strong>in</strong>or der Eigenvektor <strong>von</strong> D zum Eigenwert λ ist. (Solche Sp<strong>in</strong>oren nennen<br />

wir ab sofort Eigensp<strong>in</strong>oren.) Dann gilt<br />

λ 2 (ϕ, ϕ) = (D 2 ϕ, ϕ) = (∇ϕ, ∇ϕ) + s 0<br />

} {{ } 4 (ϕ, ϕ) ≥ s 0<br />

4 (ϕ, ϕ).<br />

≥0<br />


38 BERND AMMANN, WS 2002/03<br />

Bemerkung 8.12. Man kann zeigen [Sem99], dass für alle Sp<strong>in</strong>oren (∇ϕ, ∇ϕ) ≥ 1 n<br />

(Dϕ, Dϕ),<br />

wobei n = dim M. Hieraus folgt die folgende stärkere Abschätzung <strong>von</strong> Thomas Friedrich [Fri80].<br />

λ 2 ≥<br />

n s 0<br />

n − 1 4 .<br />

Diese Abschätzung ist scharf, (das heißt die Konstante kann nicht ohne weitere Annahmen verbessert<br />

werden), da für den betragsmäßig kle<strong>in</strong>sten Eigenwert λ 1 des klassischen Dirac-Operators auf<br />

S n (mit Standardmetrik) gilt<br />

λ 2 1 =<br />

n<br />

n − 1<br />

scal<br />

4 .<br />

9. Wärmeleitungs- und Wellen-Geichung<br />

In diesem Abschnitt sei W immer e<strong>in</strong> Clifford-Bündel über M und D der verallgem<strong>e<strong>in</strong>er</strong>te Dirac-<br />

Operator auf W Ziel dieses Abschnittes ist es, Lösungen der Wärmeleitungsgleichung<br />

∂s<br />

∂t + D2 s = 0 s : M × [0, ∞) → W, s( · , t) =: s t ∈ Γ(W )<br />

und der Wellengleichung<br />

∂s<br />

∂t − iDs = 0 s : M × R → W, s( · , t) =: s t ∈ Γ(W )<br />

zu f<strong>in</strong>den zu vorgegebenem Anfangswert s 0 ∈ Γ(W ).<br />

Wir müssen zunächst def<strong>in</strong>ieren, wie wir D <strong>in</strong> beschränkte Funktionen e<strong>in</strong>setzen können.<br />

Wir def<strong>in</strong>ieren<br />

CB(spec(D)) := {f | f : spec(D) → C beschränkt.}<br />

Diese Raum ist zusammen mit der Supremumsnorm e<strong>in</strong> Banachraum. Sei H e<strong>in</strong> Hilbert-raum, z.B.<br />

H = L 2 (W ) oder H = W k (W ), dann schreiben wir:<br />

B(H) := {A : H → H | A beschränkt, }.<br />

Versehen mit der Operator-Norm ist B(H) e<strong>in</strong> Banachraum.<br />

Für f ∈ CB(spec(D)) sei f(D) die e<strong>in</strong>deutige beschränkte l<strong>in</strong>eare Abbildung f(D) : L 2 (W ) →<br />

L 2 (W ), so dass<br />

f(D)| Eλ = λ Id | Eλ .<br />

PROPOSITION 9.1. (1) ι D : CB(spec(D)) → B(L 2 (W )), f ↦→ f(D) ist e<strong>in</strong> unitärer ∗-R<strong>in</strong>g-<br />

Homomorphismus<br />

(2) ι D ist stetig.<br />

(3) D kommutiert mit f(D).<br />

(4) f(D) bildet die C ∞ (W ) auf C ∞ (W ) ab.<br />

(5) Ist f reell-wertig, so ist f(D) selbstadjungiert.<br />

Beispiele. Die Funktionen λ ↦→ e −tλ2 , t ≥ 0 und λ ↦→ e itλ , t ∈ R, sowie alle ihre Ableitungen<br />

nach t s<strong>in</strong>d Elemente <strong>von</strong> CB(spec(D).


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 39<br />

Beweis. Eigenschaft (1) kann man e<strong>in</strong>fach kontrollieren. Die Stetigkeit (2) ist dann klar, da die<br />

Operator-Norm <strong>von</strong> f(D) mit der Supremums-Norm <strong>von</strong> f übere<strong>in</strong>stimmt. (3) ist ebenfalls klar.<br />

Nun zeigen wir (4). Es gilt für ϕ ∈ C ∞ (W ): D k f(D)ϕ = f(D)D k ϕ ∈ L 2 . Also f(D) ∈ W k (W ),<br />

und somit f(D) ∈ C ∞ (W ). (5) ist e<strong>in</strong>e direkt Folgerung <strong>von</strong> (1).<br />

✷<br />

KOROLLAR 9.2. Sei I ⊂ R e<strong>in</strong> Intervall und I → CB(spec(D)), t ↦→ f t e<strong>in</strong>e glatte Abbildung, so<br />

dass ∂k<br />

∂t k f t ∈ CB(spec(D)), für alle k = 0, . . . , k 0 , dann ist die Abbildung<br />

F t : I → B(L 2 (W ))<br />

t ↦→ f t (D)<br />

ebenfalls glatt und es gilt für alle k = 0, . . . , k 0 :<br />

( ) ( k ( ) k ∂ ∂<br />

F t = f t (D).<br />

∂t<br />

∂t)<br />

Beweis. Die Abbildung ι D ist beschränkt und l<strong>in</strong>ear und somit ist bereits die 2. Ableitung (im<br />

Fréchet-S<strong>in</strong>ne) <strong>von</strong> ι D gleich 0. Also ist ι D glatt im Fréchet-S<strong>in</strong>n. Das Korollar folgt dann aus der<br />

Kettenregel.<br />

✷<br />

KOROLLAR 9.3. Sei I ⊂ R e<strong>in</strong> Intervall und I → CB(spec(D), t ↦→ f t e<strong>in</strong>e glatte Abbildung, so<br />

dass ∂k<br />

∂t k f t ∈ CB(spec(D)), für alle k = 0, . . . , k 0 dann ist die Abbildung<br />

F t : I → B(W r (W ))<br />

t ↦→ f t (D)<br />

für alle r ∈ N wohldef<strong>in</strong>iert und ebenfalls glatt und es gilt (bezüglich der Operator-Topologie <strong>von</strong><br />

B(W r (W ))) für alle k = 0, . . . , k 0<br />

( ) ( k ( ) k ∂ ∂<br />

F t = f t (D).<br />

∂t<br />

∂t)<br />

Beweis. Der Beweis geht fast wie oben, wobei man noch zusätzlich nutzt, dass D mit allen f t (D)<br />

und allen Ableitungen vertauscht.<br />

✷<br />

Beispiele. (1) f t (λ) = e iλt . Sei s 0 ∈ Γ(W ). Dann gilt ∂k<br />

∂t k f t ∈ CB(spec(D)) für alle k ∈ N. als<br />

Folgerung hier<strong>von</strong> ist dann t ↦→ f t (D)s 0 glatt als Abbildung I → W k (W ) für alle k, und somit<br />

ist nach den Sobolevschen <strong>E<strong>in</strong></strong>bettungs-Sätzen auch I → C r (W ), t ↦→ f t (D)s 0 glatt. Somit ist<br />

e<strong>in</strong>e glatte Lösung der Wellengleichung.<br />

s(x, t) := e itD s 0 (x)


40 BERND AMMANN, WS 2002/03<br />

(2) Analoge Betrachtungen für f t (λ) = e −λt2 liefern, dass für glatte Anfangsdaten s 0 ∈ Γ(W ) auch<br />

e −tD2 s 0 (x)<br />

e<strong>in</strong>e glatten Schnitt auf M × [0, ∞) liefert, der e<strong>in</strong>e Lösung der Wärmeleitungsgleichung ist.<br />

Wir wollen nun die <strong>E<strong>in</strong></strong>deutigkeit der Lösungen klären.<br />

PROPOSITION 9.4 (Endliche Ausbreitungsgeschw<strong>in</strong>digkeit). Sei s t e<strong>in</strong>e Lösung der Wellengleichung.<br />

Dann gilt<br />

(9.5) supp s t ⊂ {y ∈ M | d(y, supp s 0 ) ≤ |t|}.<br />

Beweis. O.B.d.A. können wir annehmen, dass t ≥ 0.<br />

Wir werden die Behauptung zunächst für t < <strong>in</strong>jrad(M, g) zeigen. Wir zeigen zunächst e<strong>in</strong> Lemma:<br />

LEMMA 9.6. Sei R < <strong>in</strong>jrad(M, g) und m ∈ M. Dann ist<br />

∫<br />

|s t | 2<br />

e<strong>in</strong>e monoton <strong>in</strong> t fallende Funktion.<br />

B(m,R−t)<br />

Beweis des Lemmas. Die Ableitung des Intergrals liefert zwei Terme: e<strong>in</strong> erster aus der Ableitung<br />

des Integranden, e<strong>in</strong> zweiter aus der Ableitung der Integrationsmenge.<br />

∫<br />

(<br />

d<br />

|s t | 2 = 〈 ∂ dt B(m,R−t)<br />

∂t s t, s t 〉 + 〈s t , ∂ ) ∫<br />

∂t s t〉 − |s t | 2<br />

S(m,R−t)<br />

∫<br />

= (〈iDs t , s t 〉 + 〈s t , iDs t 〉) − |s t | 2<br />

S(m,R−t)<br />

Mit Proposition 2.6 formen wir den ersten Term <strong>in</strong><br />

∫<br />

i 〈ν b · s t , s t 〉<br />

S(m,R−t)<br />

um. Es gilt mit Cauchy-Schwartz<br />

∫<br />

( ∫ ) 1/2 ( ∫ 1/2 〈ν b · s t , s t 〉<br />

∣ S(m,R−t) ∣ ≤ 〈ν b · s t , ν b · s t 〉<br />

〈s t , s t 〉)<br />

.<br />

S(m,R−t)<br />

S(m,R−t)<br />

Da ∫ Clifford-Multipikation mit ν b e<strong>in</strong>e punktweise Isometrie ist, ist die rechte Seite hier<strong>von</strong> gleich<br />

S(m,R−t) |s t| 2 . Also folgt das Lemma.<br />

✷<br />

Sei nun zunächst t ∈ (0, ρ M ), ρ M := <strong>in</strong>jrad(M, g). Für x ∉ {y ∈ M | d(y, supp s 0 ) ≤ |t|} gilt<br />

B(x, t 0 ) ∩ supp(s 0 ) = ∅, also mit dem Lemma<br />

∫<br />

∫<br />

|s t | 2 ≤ |s 0 | 2 = 0.<br />

B(m,0)<br />

B(m,t)


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 41<br />

Also auch x ∉ supp(s t ). die Aussage ist somit bewiesen für alle t < ρ M .<br />

Sei nun t 0 das Supremum über alle t, für die (9.5) gilt. Falls t 0 < ∞, dann ist ˜s t := s t+t0−(ρ M /2)<br />

ebenfalls e<strong>in</strong>e Lösung der Wellengleichung und zwar zu den Anfangswerten s t0−(ρ M /2). Da (9.5)<br />

für ˜s t ∀t ∈ (0, ρ M ) gilt, folgt (9.5) auch für alle t ≤ t 0 + (ρ M /2). Also ist t 0 = ∞. ✷<br />

Bemerkung 9.7. Dieser Beweis gilt auch dann noch wenn M nicht kompakt ist.<br />

KOROLLAR 9.8. Zu gegebenem glatten Anfangswerten s 0 existiert e<strong>in</strong>e e<strong>in</strong>deutige Lösung der<br />

Wellengleichung.<br />

Beweis. Die Existenz haben wir bereits gesehen. S<strong>in</strong>d s t , ˜s t Lösungen zu den gleichen Anfangswerten,<br />

so ist ŝ t := s t − ˜s t e<strong>in</strong>e Lösung zu den Anfangswerten 0. Wegen supp ŝ 0 = ∅ gilt supp ŝ t = ∅<br />

für alle t.<br />

✷<br />

PROPOSITION 9.9. Sei s t e<strong>in</strong>e Lösung der Wärmeleitungsgleichung. Dann gilt für t > 0<br />

∫<br />

d<br />

|s t | 2 ≤ 0.<br />

dt<br />

M<br />

Beweis.<br />

∫ ∫<br />

d<br />

|s t | 2 = (〈−D 2 s t , s t 〉 + 〈s t , −D 2 s t 〉) = −2‖Ds t ‖ 2 ≤ 0.<br />

dt M<br />

M<br />

✷<br />

KOROLLAR 9.10. Zu gegebenem glatten Anfangswerten s 0 exisitert e<strong>in</strong>e e<strong>in</strong>deutige Lösung der<br />

Wärmeleitungsgleichung.<br />

Seien V 1 und V 2 Vektorbündel über M. Sei π j : M × M → M, j = 1, 2, die Projektion auf die j-te<br />

Komponente. Wir def<strong>in</strong>ieren<br />

V 1 ⊠ V 2 := π ∗ 1V 1 ⊗ π ∗ 2V 2 .<br />

Dies ist e<strong>in</strong> Bündel über M × M.<br />

Ist k e<strong>in</strong> C k -Schnitt <strong>von</strong> V 1 ⊠ V2 ∗ , so bildet der Operator<br />

∫<br />

(A k ϕ)(x) := k(x, y)ϕ(y) dvol y<br />

M<br />

L 2 (V 2 ) auf C k (V 1 ) ab. Diese k heißt Intergrationskern <strong>von</strong> A k . Wir wollen nun umgekehrt zu e<strong>in</strong>em<br />

Operator e<strong>in</strong>en Kern f<strong>in</strong>den.<br />

LEMMA 9.11. Sei A e<strong>in</strong> beschränkter selbstadjungierter Operator auf L 2 (V ), so dass A : L 2 (V ) →<br />

C r+1 (V ) stetig ist. Dann hat A 2 e<strong>in</strong>en Integrationskern k ∈ C r (V ⊠ V ∗ ), d.h. es gilt<br />

∫<br />

A 2 s(x) = k(x, y)s(y) dvol y .<br />

M<br />


42 BERND AMMANN, WS 2002/03<br />

Beweis. kommt noch ✷<br />

Für k ∈ N sei R k (R) die Menge aller Funktionen f : R → C, so dass<br />

für alle x ∈ R. Zusammen mit der Norm<br />

ist R k (R) e<strong>in</strong> Banachraum.<br />

|f(x)| ≤ C k (1 + |x|) −k<br />

‖f‖ k := sup |f(x)|(1 + |x|) k<br />

x∈R<br />

Ferner sei R ∞ (R) := ⋂ k Rk (R). Dies ist mit den obigen Normen e<strong>in</strong> Frechet-Raum.<br />

Beispiel. f t : λ ↦→ e −tλ2 und alle Ableitungen <strong>von</strong> f t nach t s<strong>in</strong>d <strong>in</strong> R k (R) für alle k ∈ N und<br />

t > 0.<br />

f ∈ R k (R) ist äquivalent zu λ ↦→ f(λ), . . . , λ ↦→ |λ| k f(λ) ∈ R 0 (R).<br />

Seien B(B 1 , B 2 ) die beschränkten Abbildungen vom normierten Raum B 1 <strong>in</strong>d B 2 . Man sieht dann<br />

analog zu den vorigen Überlegungen:<br />

PROPOSITION 9.12. die Restriktion <strong>von</strong> ι D ist e<strong>in</strong>e stetige l<strong>in</strong>eare Abbildung <strong>von</strong> R k (R) nach<br />

B(L 2 (W ), W k (W )). Falls f t und alle se<strong>in</strong>e Ableitungen nach t <strong>in</strong> R k (R) liegen, so ist t → f t (D)<br />

e<strong>in</strong>e glatte Abbildung <strong>von</strong> I → B(L 2 (W ), W k (W )).<br />

Beweis. Geht ähnlich wie vorh<strong>in</strong>. ✷<br />

Durch Komposition mit dem Sobolevschen <strong>E<strong>in</strong></strong>bettungssatz erhalten wir auch diesselbe Proposition,<br />

wenn wir W k durch C r mit r < k − (n/2) ersetzen.<br />

FOLGERUNG 9.13. Der Operator e −tD2 bildet für alle t > 0 die Funktionen L 2 (W ) stetig <strong>in</strong><br />

W k (W ) und <strong>in</strong> C r (W ) ab, also <strong>in</strong>sbesondere für t > 0<br />

e −tD2 (L 2 (W )) ⊂ C ∞ (W ).<br />

Bemerkung 9.14. Man kann sogar nachprüfen, dass e −tD2 ist für t > 0 e<strong>in</strong> Friedrichs-Glätter<br />

ist.<br />

Wenden wir Proposition 9.9 auf A = e −tD2 /2 an, so sehen wir dass A 2 = e −tD2 für jedes t > 0<br />

e<strong>in</strong>en Integrationskern k t ∈ C ∞ (W ⊠ W ∗ ) besitzt. Die Familie k t heißt Wärmeleitungskern oder<br />

kürzer Wärmekern. Wir wollen nun zeigen, dass k t auch glatt <strong>in</strong> t ist.<br />

PROPOSITION 9.15. Für jedes f ∈ R ∞ (R) hat f(D) e<strong>in</strong>en glatten Integrationskern, also ist<br />

f(D) e<strong>in</strong> Glättungs-Operator. Weiterh<strong>in</strong> ist die Abbildung<br />

R ∞ (R) → C ∞ (W ⊠ W ∗ )<br />

die jedem f ∈ R ∞ (R) den Integrationskern <strong>von</strong> f(D) zuordnet, ist stetig.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 43<br />

Beweis.<br />

Zunächst bestimmen wir g j ∈ R ∞ (mR), g j ≥ 0 so dass<br />

f =<br />

4∑<br />

i j gj 2 .<br />

Nach Lemma 9.11 für A = g j (D) besitzt f(D) e<strong>in</strong>en Integrationskern.<br />

j=1<br />

Zu zeigen bleibt die Stetigkeit. Wir wenden den Satz des abgeschlossenen Graphen für Fréchet-<br />

Räume an [Yos94, II.6.,Theorem 1]. Wir müssen also zeigen, dass der Graph abgeschlossen ist. Sei f j<br />

e<strong>in</strong>e Folge, die <strong>in</strong> R ∞ (mR) gegen f konvergiert, und so dass der zugehörige Kern k j <strong>in</strong> C ∞ (W ⊠W ∗ )<br />

gegen e<strong>in</strong>en Kern k konvergiert. Dann konvergiert f j (D) gegen f(D) <strong>in</strong> der Operator-Topologie<br />

(Stetigkeit <strong>von</strong> ι D ). Da die C ∞ -Konvergenz <strong>von</strong> Integrationskernen die Operator-Konvergenz <strong>von</strong><br />

den zugehörgen Operatoren impliziert, ist k der Kern <strong>von</strong> f(D). Somit folgt die Aussage. ✷<br />

KOROLLAR 9.16. Der Wärmekern (t, x, y) → k t (x, y) ist glatt <strong>in</strong> t > 0, x und y.<br />

10. Der formale Wärmekern<br />

Wir folgen hier im wesentlichen [AB02, Abschnitt 2].<br />

11. Spuren und Eigenwert-Asymptotik<br />

Def<strong>in</strong>ition 11.1. Sei H und H ′ separable Hilbert-Räume mit Orthonormalbasen {e i } i und {e ′ j } j.<br />

Zu A, B ∈ B(H, H ′ ) setze<br />

〈A, B〉 HS := ∑ ij<br />

〈Ae i , e ′ j〉〈Be i , e ′ j 〉,<br />

‖A‖ 2 HS :) ∑ ij<br />

|〈Ae i , e ′ j〉| 2 .<br />

Wenn ‖A‖ HS < ∞, so heißt A Hilbert-Schmidt-Operator (A ∈ HS(H, H ′ )).<br />

LEMMA 11.2.<br />

Kommt noch....<br />

12. Charakteristische Klassen<br />

Wir folgen e<strong>in</strong>em Crashkurs über charakeristische Klassen <strong>von</strong> Christian Bär. (Kann <strong>von</strong> s<strong>e<strong>in</strong>er</strong><br />

Homepage runtergeladen werden.)


44 BERND AMMANN, WS 2002/03<br />

13. Atiyah-S<strong>in</strong>ger-Satz und Getzler-Formailsmus<br />

13.1. Filtrierte und graduierte Algebren. Cl(V ): nicht komplexifizierte Clifford-Algebra Cl(V ):<br />

komplexifizierte Clifford-Algebra<br />

Wir wollen e<strong>in</strong>en Formalismus entwickeln, mit dem wir str(Φ n/2 ) berechnen können.<br />

Def<strong>in</strong>ition 13.1. Filtrierte und graduierte Algebren, Symbolabbildung, assoziierte graduierte<br />

G(A)<br />

LEMMA 13.2. Sei A e<strong>in</strong>e filtrierte Algebra und G e<strong>in</strong>e graduierte Algebra, und σ· : A → G e<strong>in</strong>e<br />

Symbol-Abbildung, so dass<br />

(1) σ k (A k ) = G k ,<br />

(2) ker σ k = A k−1 .<br />

Dann ist G = G(A).<br />

Beweis. ...<br />

✷<br />

Beispiel. Sei V e<strong>in</strong>e euklidischer Vektorraum. Die Abbildungen<br />

σ k : Cl(V ) k → Λ k V,<br />

v 1 · . . . · v k ↦→ v 1 ∧ . . . ∧ v k<br />

s<strong>in</strong>d wohldef<strong>in</strong>iert und bilden e<strong>in</strong>e Symbol-Abbildung, die die obigen Eigenschaften (1) und (2)<br />

erfüllen. Somit gilt<br />

Λ ∗ (V ) = G(Cl(V )).<br />

13.1.1. Reskalierungen. Als Vorstufe zum Verständnis der Getzler-Reskalierung wollen wir zeigen<br />

wie durch Reskalierung e<strong>in</strong>e filtrierte Algebra zu s<strong>e<strong>in</strong>er</strong> assoziierten graduierten Algebra konvergiert.<br />

LEMMA 13.3. Sei A e<strong>in</strong>e filtrierte Algebra, A = ⋃ A l , so dass es Vektorräume C l , l ∈ Z gibt, so<br />

dass als Vektorräume gilt<br />

A k = ⊕ l≤k<br />

C l .<br />

Wir def<strong>in</strong>ieren auf C l<br />

R λ | Cl := λ −l Id<br />

Cl<br />

und setzen es l<strong>in</strong>ear zu e<strong>in</strong>em Vektorraum-Endomorphismus <strong>von</strong> A fort, der die Algebra-Struktur<br />

i.a. nicht erhält. Wir existiert für a und b<br />

und (A, •) ist algebra-isomorph zu G(A).<br />

a • b := lim<br />

λ→0<br />

R λ (R −1<br />

λ (a)R λ(b) −1 )


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 45<br />

Beweis.<br />

Sei σ· die kanonische Symbol-Abbildung A → G(A). Wir setzen<br />

τ| Cl σ l : C l → G(A) l<br />

zu <strong>e<strong>in</strong>er</strong> l<strong>in</strong>earen Abbildung A → G(A) fort. Man sieht, dass τ bijektiv ist. Es bleibt zu zeigen, das<br />

τ die Multiplikation erhält. Wegen L<strong>in</strong>earität reicht zu zeigen, dass<br />

Wir zerlegen ab <strong>in</strong> se<strong>in</strong>e C j -Komponenten:<br />

Dann gilt<br />

Und somit<br />

Es ergibt sich<br />

τ(a • b) = τ(a)τ(b) ∀a ∈ C k , b ∈ C l .<br />

ab = c k+l + . . . + c k+l−s c j ∈ C j .<br />

R −1<br />

λ<br />

(R λ(a)R λ (b)) = c k+l + λc −1<br />

k+l . . . + λs c k+l−s .<br />

a • b := lim R λ (R −1<br />

λ<br />

(a)R−1 λ<br />

(b)) = c k+l.<br />

λ→0<br />

τ(a • b) = σ k+l (a • b) = σ k+l (c k+l ) = σ k+l (ab) = σ k (a)σ l (b) = τ(a)τ(b).<br />

Identifizieren wir Cl(V ) ∼ = Λ ∗ V als Vektorraum, dann konvergiert die Clifford-Multiplikation gegen<br />

die äußere Multiplikation ∧. Man sieht dies auch direkt, da ι X gegen Null konvergiert, wenn wir<br />

die Metrik g auf V durch λ 2 g ersetzen und den Limes λ → 0 betrachten.<br />

13.2. Getzler-Symbole <strong>von</strong> Differential-Operatoren. Die Idee des Getzler-Formalismus ist<br />

nun, sowohl die Zeitkoord<strong>in</strong>ate als auch die Raumrichtung im Wärmekern so zu reskalieren, dass<br />

die wichtigen Terme im Limes überleben. Die filtrierte Algebra der Differentialoperatoren auf Γ(W )<br />

konvergiert hierbei gegen e<strong>in</strong>e graduierte Algebra konvergiert. Der Filtrierungs-Grad ist dabei die<br />

Summe der Differentiationsordnung und des Filtrierungs-Grad des Clifford-Elements. 8<br />

Sei W → M e<strong>in</strong> Clifford-Bündel über <strong>e<strong>in</strong>er</strong> Mannigfaltigkeit M gerader Dimension n = 2m. Wir<br />

def<strong>in</strong>ieren<br />

End Cl = {A ∈ End C (W ), so dass A(X · ϕ) = X · A(ϕ) ∀X ∈ Γ(T M), ϕ ∈ Γ(W )}<br />

Es gilt kanonisch End C (W ) = Cl(T M)⊗ R End Cl (W ). Die Algebra D(W ) der Differentialoperatoren<br />

auf Γ(W ) wird deswegen <strong>von</strong> den folgenden Operatoren erzeugt<br />

(1) Schnitte <strong>von</strong> Γ(End Cl (W ))<br />

(2) Clifford-Multiplikationen γ X = X b·, wobei X e<strong>in</strong> beliebiges Vektorfeld ist,<br />

(3) kovarianten Ableitungen ∇ X , wobei X e<strong>in</strong> beliebiges Vektorfeld ist.<br />

8 Allerd<strong>in</strong>gs werden wir <strong>in</strong> dieser Idee nicht strikt folgen, um die Darstellung e<strong>in</strong>fach zu halten. U.a. arbeiten wir<br />

mit <strong>e<strong>in</strong>er</strong> Symbolabbildung an Stelle der oben erwähnten graduierten Algebra.<br />


46 BERND AMMANN, WS 2002/03<br />

Die Getzler-Filtrierung ist def<strong>in</strong>iert als<br />

D(W ) −n := {0} ∀n > 0.<br />

D(W ) 0 := Γ(End Cl (W )).<br />

D(W ) 1 := span {D(W ) 0 , Operatoren vom Typ (2) und (3)} .<br />

D(W ) k+1 := span {D(W ) k , D(W ) 1 } .<br />

Sei V e<strong>in</strong> euklidischer Vektorraum und P(V ) die graduierte Algebra der polynomialen Differentialoperatoren<br />

auf V , wobei der grad <strong>von</strong> x α ∂|β| als |β| − |α| def<strong>in</strong>iert ist.<br />

∂x β<br />

P(T M) = ⋃<br />

P(T p M).<br />

p∈M<br />

Sei X ∈ Γ(T M). Wir betrachten V ∗ als Unterraum <strong>von</strong> P(V ), jede L<strong>in</strong>ear-Form auf V ist e<strong>in</strong><br />

polynomialer Differential-Operator der Ordnung 0. Dann def<strong>in</strong>ieren wir:<br />

R X ∈ Γ(T ∗ M ⊗ Λ 2 T ∗ M) ⊂ Γ(P(T M) ⊗ Λ 2 T ∗ M)<br />

(R X ) p<br />

:= { T p M ∋ v ↦→ g(R( . , . )X, v) ∈ Λ 2 T ∗ M }<br />

Wenn X ∈ T p M notieren wir mit ∂X F die Derivation <strong>von</strong> Funktionen auf T pM <strong>in</strong> Richtung X,<br />

wobei p festgehalten wird. Ist X also e<strong>in</strong> Vektorfeld, so ist ∂X F e<strong>in</strong>e Ableitungen <strong>von</strong> Funktionen<br />

auf dem Totalraum <strong>von</strong> T M <strong>in</strong> Richtung der Fasern <strong>von</strong> T M.<br />

THEOREM 13.4. Es gibt genau e<strong>in</strong>e Symbol-Abbildung, das sogenannte Getzler-Symbol<br />

so dass<br />

σ· : D(W ) → C ∞ (P(T M) ⊗ λ ∗ T M ⊗ End Cl (W )),<br />

(1) σ 0 (F ) = id ⊗1 ⊗ F für alle F ∈ Γ(End Cl (W ),<br />

(2) σ 1 (γ X ) = id ⊗X b ⊗ Id,<br />

(3) σ 1 (∇ X ) = ∂ F X + 1 4 R X.<br />

Als Beweis dieses Theorems wollen wir das Getzler-Symbol durch e<strong>in</strong>e Reskalierung def<strong>in</strong>ieren, und<br />

danach zeigen, dass es die obigen Relationen erfüllt.<br />

Wir fixieren p ∈ M und wollen das Symbol e<strong>in</strong>es Differentialoperators Q auf Γ(W ) im Punkte p<br />

def<strong>in</strong>ieren. Wir betrachten dazu e<strong>in</strong>e Umgebung U <strong>von</strong> p <strong>in</strong> Gaussschen Normalkoord<strong>in</strong>aten und<br />

trivialisieren W durch Paralleltransport entlang der radialen Geodäten. Wir wählen e<strong>in</strong>e Basis<br />

(e ρ ) ρ=1,...,n <strong>von</strong> T p M und verschieben sie <strong>in</strong> radiale Richtung parallel. Dies liefert uns e<strong>in</strong>e Trivialisierung<br />

<strong>von</strong> T M auf U. Wir identizeren vo nun ab T ∗ M mit T M mit Hilfe der Metrik.<br />

<strong>E<strong>in</strong></strong>en Schnitt f <strong>von</strong> Cl(T M) <strong>in</strong>terpretieren wir deswegen als Abbildung <strong>in</strong> U → Cl(T p M). Wir<br />

def<strong>in</strong>ieren auf dem Raum<br />

F := C ∞ (T p M, Cl(T p M) ⊗ End Cl (W p ))


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 47<br />

e<strong>in</strong>e Reskalierungsabbildung durch<br />

(R λ f)(x) := (R λ ⊗ id)(f(λx)),<br />

wobei auf der rechten Seite R λ die oben benutzte Reskalierung <strong>von</strong> Cl(T p M) ist und mit der<br />

Identität auf End Cl (W p ) tensoriert wird.<br />

<strong>E<strong>in</strong></strong> Differentialoperator Q operiert auf Elementen <strong>von</strong> F.<br />

Dann ist<br />

R λ ◦ Q ◦ R −1<br />

λ<br />

1<br />

e<strong>in</strong> auf<br />

λ U def<strong>in</strong>ierter Differentialoperator. Wir schreiben falls der Limes (im S<strong>in</strong>ne <strong>von</strong> C∞ -<br />

Konvergenz der Koeffizieten der Differentialoperatoren)<br />

und nach Identifikation Cl(T p M) ∼ = Λ ∗ T p M ist<br />

σ l (Q)(p) := lim λ m R λ ◦ Q ◦ R −1<br />

λ<br />

λ→0<br />

σ l (Q)(p) ∈ P(T p M) ⊗ Λ ∗ T p M ⊗ End Cl (W p ).<br />

LEMMA 13.5. Die folgenden Symbole s<strong>in</strong>d def<strong>in</strong>iert und es gilt:<br />

(1) σ 0 (F )(p) = id ⊗1 ⊗ F für alle F ∈ End Cl (W p ),<br />

(2) σ 1 (γ X ) = id ⊗X b ⊗ Id für alle X ∈ T p M,<br />

(3) σ 1 (∇ X ) = ∂ X + (1/4)R X für alle X ∈ T p M.<br />

Beweis.<br />

(1) und (2) s<strong>in</strong>d bereits klar.<br />

(3) Hierzu berechnen wir den Term<strong>in</strong> höchster Getzler-Ordnung <strong>in</strong> der Koord<strong>in</strong>aten-Darstellung<br />

<strong>von</strong> ∇ X . Wir berechnen zunächst ∇ X ϕ für X =<br />

∂<br />

∂x<br />

und konstantes ϕ ∈ F. Wir setzen Y :=<br />

∑ i x<br />

j ∂<br />

∑ ∂x<br />

. Es gilt dann [X, Y ] = X und ∂ j Y x α = |α|x α . Die Taylorentwicklung <strong>von</strong> ∇ X ϕ sei ∇ X ϕ ∼<br />

x α ϕ α .<br />

R W (X, Y )ϕ = ∇ X ∇ Y ϕ − ∇ Y ∇ X ϕ − ∇ [X,Y ] ϕ<br />

∼<br />

∑ α<br />

(|α| + 1)x α ϕ α<br />

Es gilt R W = R Σ + R W/Σ , wobei der Clifford-Grad <strong>von</strong> R Σ 2 ist und der Clifford-Grad <strong>von</strong> R W/Si<br />

0 ist. Wir betrachten nur die Terme <strong>von</strong> höchstem Getzler-Grad und erhalten modulo Terme<br />

niedrigerer Ordnung<br />

∇ X ϕ ≡ − 1 2<br />

∑<br />

x j R Σ (∂/∂x i , ∂/∂x j )ϕ = 1 4 RT M (∂/∂x i , ∂/∂x j ) · ϕ = 1 4 R Xϕ<br />

Hierbei wurde Proposition zur Umformung <strong>von</strong> R Σ und der Isomorphismus Cl(Tp ∗ M) ∼ = Λ ∗ Tp ∗ M<br />

benutzt. Es gilt somit (3) für X =<br />

∂<br />

∂x<br />

und konstantes ϕ ∈ F. Der allgeme<strong>in</strong>e Fall folgt aus den<br />

i<br />

Axiomen <strong>von</strong> Zusammenhängen.<br />


48 BERND AMMANN, WS 2002/03<br />

LEMMA 13.6. Hat Q Getzler-Ordnung ≤ m dann existiert<br />

σ m (Q) = lim λ m R λ ◦ Q ◦ R −1<br />

λ ,<br />

λ→0<br />

wobei die Konvergenz C ∞ -Konvergenz der Koeffizienten des Differentialoperators ist. Außerdem<br />

ist σ· e<strong>in</strong>e Symbolabbildung.<br />

Beweis D. ie Existenz des Limes für F ∈ End Cl (W p ), γ X und ∇ X haben wir bereits im letzten<br />

Lemma gezeigt. S<strong>in</strong>d σ k (Q 1 ) und σ l (Q 2 ) def<strong>in</strong>iert, so ist auch σ k+l (Q 1 ◦ Q 2 ) def<strong>in</strong>iert und es gilt<br />

σ k+l (Q 1 ◦ Q 2 ) = σ k (Q 1 )σ l (Q 2 ).<br />

Hieraus folgt rekursiv, dass σ k auf den Operatoren <strong>von</strong> Getzler-Grad ≤ k wohldef<strong>in</strong>iert ist, und es<br />

folgt die multiplikative Eigenschaft <strong>von</strong> σ·.<br />

✷<br />

13.3. Getzler-Symbole <strong>von</strong> Fundamentallösungen. Sei A = ⊕ k∈Z Ak e<strong>in</strong>e graduierte Algebra.<br />

Dann sei A −∗ bzw. A −∗/2 die graduierte Algebra A mit der Graduierung, so dass Elemente<br />

<strong>in</strong> A k Grad −k bzw. −2k haben.<br />

Wir fixieren e<strong>in</strong> y ∈ M. Sei s ∈ Γ(W ⊠ W ∗ y ), z.B. s(x) = k t (x, y), wobei k t der Wärmekern<br />

ist. Wir trivialisieren W <strong>in</strong> <strong>e<strong>in</strong>er</strong> Gaußschen Normalkoord<strong>in</strong>aten-Umgebung <strong>von</strong> p mit Hilfe <strong>von</strong><br />

Paralleltransport wntlang radialer Geodätischer. Dann gilt<br />

(13.7)<br />

Γ(W ⊠ W ∗ y → U) ∼ = C ∞ (U, R) ⊗ End(W p ) = C ∞ ⊗ Cl(T ∗ p M) ⊗ End Cl (W p ).<br />

Dies s<strong>in</strong>d also genau die Restriktionen der Elemente <strong>von</strong> F.<br />

C ∞ (U, R) trage die Filtrierung, dass f Grad ≤ −k, k ∈ Z hat, falls f m<strong>in</strong>destens <strong>von</strong> der Ordnung<br />

k <strong>in</strong> p verschw<strong>in</strong>det.<br />

C ∞ (U, R) −k := ∑<br />

x α C ∞ (U, R) ∀k ∈ Z, k > 0<br />

|α|≤k<br />

C ∞ (U, R) k := C ∞ (U, R). ∀k ≥ 0<br />

Die Getzler-Filtrierung auf Γ(W ⊠W ∗ p ) ist die Produkt-Filtrierung dieser Filtrierung auf C ∞ (U, R)<br />

der Clifford-Filtrierung auf Cl(T p M) und der trivialen 9 Filtrierung auf End Cl (W p ).<br />

Die Algebra<br />

R[T p M] −∗ ⊗ Λ ∗ T p M ⊗ End Cl (W p )<br />

trage auf aänhliche Art und Weise die Produkt-Graduierung. Wir erhalten e<strong>in</strong>e Symbol-Abbildung<br />

σ (p)<br />

l<br />

: Γ(W ⊠ W ∗ y → U) l → ( R[T p M] −∗ ⊗ Λ ∗ T p M ⊗ End Cl (W p ) ) l<br />

,<br />

<strong>in</strong>dem wir den kanonischen Vektorraum-Isomorphismus Cl(T ∗ p M) → Λ ∗ T ∗ p M auf das Taylor-<br />

Polynom der Ordnung l <strong>von</strong> s ∈ Γ(W ⊠ W ∗ y → U) l anwenden.<br />

9 <strong>E<strong>in</strong></strong>e Graduirung ist trivial, falls A k = {0} für k ≠ 0. <strong>E<strong>in</strong></strong>e Filtrierung ist trivial, wenn sie <strong>von</strong> der trivialen<br />

Graduierung herkommt.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 49<br />

14.1. Dolbeault-Operator.<br />

14. Anhang<br />

14.2. Das Symbol <strong>von</strong> Differential-Operatoren.<br />

Def<strong>in</strong>ition 14.1. Der Differentialoperator P sei lokal durch Formel (2.1) gegeben. Dann def<strong>in</strong>ieren<br />

wir das totale Symbol <strong>von</strong> P bezüglich der Trivialisierung (U, v i , w i ) als<br />

σ tot : T ∗ U → Hom(V, W )|U<br />

T (q1 ,...,q n )U ∋ (q 1 , . . . , q n , ξ 1 , . . . , ξ n ) = ∑ ξ i dx i q ↦→ (v j ↦→ ∑ ∑<br />

i |α| A α jk ξ α1<br />

1 · · · ξαn n w k .<br />

} {{ }<br />

α|≤d k<br />

=:ξ α<br />

Für die Def<strong>in</strong>ition des Hauptsymbols <strong>von</strong> σ(P ) summieren wir nur über die höchste Ordnung:<br />

σ : T ∗ U → Hom(V, W )|U<br />

⎛<br />

⎞<br />

∑<br />

ξi dx i ⎜<br />

q ↦→ ⎝v j ↦→ ∑ ∑<br />

i |α| A α jk ξ α1<br />

1 · · · ⎟<br />

ξαn n w k ⎠ .<br />

} {{ }<br />

α|=d k<br />

=:ξ α<br />

PROPOSITION 14.2. Das Hauptsymbol ist unabhängig <strong>von</strong> der Wahl <strong>von</strong> U und ψ und <strong>von</strong> der<br />

Wahl der v i und w i . Es ist deswegen e<strong>in</strong>e wohldef<strong>in</strong>ierte Abbildung<br />

Der Beweis folgt durch nachrechnen.<br />

σ(P ) : T ∗ M → Hom(V, W ).<br />

Man beachte aber, dass das totale Symbol <strong>von</strong> der Wahl <strong>von</strong> ψ und der Wahl der v i und w i<br />

abhängt.<br />

PROPOSITION 14.3. Seien<br />

Γ(V ) P,P −→ ′<br />

Γ(W ) −→ Q<br />

Γ(Z)<br />

Differentialoperatoren ord P = ord P ′ = d P , ord Q = d Q . Dann ist Q ◦ P e<strong>in</strong> Differentialoperator<br />

der Ordnung d P + d Q und es gilt für alle ξ ∈ T ∗ M<br />

σ ξ (Q ◦ P ) = σ ξ (Q) ◦ σ ξ (P ),<br />

σ ξ (tP + t ′ P ′ ) = tσ ξ (P ) + t ′ σ ξ (P ′ ).<br />

Def<strong>in</strong>ition 14.4. <strong>E<strong>in</strong></strong> Differentialoperator heißt elliptisch, falls für alle p ∈ M und alle ξ ∈ T p M<br />

mit ξ p ≠ 0 das Hauptsymbol σ ξ ∈ Hom p (V, W ) <strong>in</strong>vertierbar ist.<br />

PROPOSITION 14.5. Das Symbol e<strong>in</strong>es verallgem<strong>e<strong>in</strong>er</strong>ten Dirac-Operators D auf e<strong>in</strong>em Clifford-<br />

Bündel W ist gegeben durch<br />

Insbesondere ist D elliptisch.<br />

σ : T ∗ M → Hom(W, W )<br />

ξ ↦→ (w ↦→ iξ · w).


50 BERND AMMANN, WS 2002/03<br />

Beweis. Wir rechnen <strong>in</strong> Koord<strong>in</strong>aten und v i = w i .<br />

⎛ ⎞<br />

D ⎝ ∑ s j v j<br />

⎠ = ∑ e b α · ∇ eα (s j v j )<br />

j<br />

j,α<br />

= ∑ j,α<br />

(<br />

e<br />

b<br />

α · (∂ eα s j )v j + s j e b α · ∇ eα v j<br />

)<br />

= ∑ j<br />

(ds j · v i + s j Dv j )<br />

σ ξ (D) =<br />

(<br />

v j ↦→<br />

α=1<br />

= ∑ j,α<br />

∑<br />

k<br />

k<br />

A (α)<br />

jk<br />

∂s j<br />

∂ψ α dxα · v i + 0. Ordnung<br />

= dxα · v j<br />

n∑ ∑<br />

iA (α)<br />

jk ξ αv j = i<br />

)<br />

n∑<br />

ξ α dx α · v j = ξ · v j .<br />

α=1<br />

✷<br />

14.3. Ideale <strong>in</strong> Algebren.<br />

Def<strong>in</strong>ition 14.6. Sei A e<strong>in</strong>e Algebra (wie immer assoziativ, mit 1). <strong>E<strong>in</strong></strong>e Teilmenge I heißt Ideal,<br />

falls gilt:<br />

(1) I ist Untervektorraum<br />

(2) für i ∈ I und a ∈ A gilt ai ∈ I und ia ∈ I.<br />

Ist f : A → B e<strong>in</strong> Algebren-Homomorphismus, und I ⊂ B e<strong>in</strong> Ideal <strong>in</strong> B, so ist auch f −1 (I)<br />

e<strong>in</strong> Ideal. Unter anderem ist der Kern e<strong>in</strong>es Algebren-Homomorphismus e<strong>in</strong> Ideal. Umgekehrt, ist<br />

I ⊂ A e<strong>in</strong> Ideal , so trägt der Quotientenvektorraum A/I e<strong>in</strong>e e<strong>in</strong>deutige Algebren-Struktur, so<br />

dass π : A → A/I e<strong>in</strong> Algebren-Homomorhpismus ist und der Kern hier<strong>von</strong> ist I.<br />

Es gilt auch die folgende universelle Eigenschaft: Ist f : A → B e<strong>in</strong> Algebren-Homomorphismus und<br />

I e<strong>in</strong> Ideal <strong>in</strong> A, das im Kern <strong>von</strong> f enthalten ist, so läßt sich f auf e<strong>in</strong>deutige Art als Verkettung<br />

f : A π → A/I → B schreiben.<br />

Jedes Ideal ist auch e<strong>in</strong>e Unteralgebra. Aber Achtung: ist I e<strong>in</strong> Ideal <strong>in</strong> A und J e<strong>in</strong> Ideal <strong>in</strong> I, so<br />

folgt i.a. nicht, dass J e<strong>in</strong> Ideal <strong>in</strong> A ist. Der Schnitt <strong>von</strong> beliebig vielen Idealen <strong>in</strong> A ist wieder e<strong>in</strong><br />

Ideal.<br />

Def<strong>in</strong>ition 14.7. Sei S e<strong>in</strong> Teilmenge <strong>von</strong> A. Dann ist das <strong>von</strong> S erzeugte Ideal def<strong>in</strong>iert als<br />

I S :=<br />

⋂<br />

I,<br />

I Ideal<br />

S ⊂ I


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 51<br />

Offensichtlich enthält I S bereits span S, nach Def<strong>in</strong>ition den <strong>von</strong> S aufgespannten Vektorraum.<br />

Weiter s<strong>in</strong>d alle Elemente der Form aϕb mit a, b ∈ A, ϕ ∈ span S,<strong>in</strong> I S enthalten. Man sieht nun<br />

direkt, dass der <strong>von</strong> diesen Elementen aufgespannte Vektorraum bereits e<strong>in</strong> Ideal ist, und somit<br />

mit I S übere<strong>in</strong>stimmt.<br />

14.4. Lie-Algebren und Zusammenhangs-1-Formen.<br />

Def<strong>in</strong>ition 14.8. <strong>E<strong>in</strong></strong>e Lie-Algebra ist e<strong>in</strong> reeller Vektorraum V mit <strong>e<strong>in</strong>er</strong> Abbildung [ · , · ] :<br />

v × V → V , der sogenannten Lie-Klammer, mit den Eigenschaften<br />

(1) [ · , · ] ist bil<strong>in</strong>ear<br />

(2) [X, Y ] = −[Y, X] für alle X, Y ∈ V (Asymmetrie)<br />

(3) [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y ]] = 0 für alle X, Y, Z ∈ V (Lie-Klammer).<br />

Sei G e<strong>in</strong>e Lie-Gruppe. Wir identifizieren den Tangentialraum an die <strong>E<strong>in</strong></strong>s T e G mit den l<strong>in</strong>ks<strong>in</strong>varianten<br />

Vektorfeldern auf G. Die Lie-Klammer [ · , · ] auf den Vektorfeldern liefert mit dieser<br />

Identifikation e<strong>in</strong>e Lie-Klammer auf T e G.<br />

Man kann umgekehrt auch zeigen<br />

THEOREM 14.9. [War83, Theorem 3.28] Zu jeder endlich dimensionalen Lie-Algebra (V, [ · , · ])<br />

gibt es e<strong>in</strong>e (bis auf Isomorphie <strong>von</strong> Lie-Gruppen e<strong>in</strong>deutige) zusammenhängende und e<strong>in</strong>fach<br />

zusammenhängende Lie-Gruppe G, so dass T e G als Lie-Algebra isomorph zu (V, [ · , · ]) ist.<br />

Wir haben also e<strong>in</strong>e e<strong>in</strong>e<strong>in</strong>deutige Beziehung zwischen endlich-dimensionalen Lie-Algebren und<br />

e<strong>in</strong>fach zusammenhängend, zusammenhängenden Lie-Gruppen.<br />

PROPOSITION 14.10. Ist π : ˜G → G e<strong>in</strong>e Überlagerung und e<strong>in</strong> Gruppenhomorphismus, so ist<br />

(dπ) e e<strong>in</strong> Lie-Algebren-Isomorphismus<br />

Beweis siehe [War83].<br />

Sei für g ∈ G<br />

(T e ˜G, [ · , · ]) → (Te G, [ · , · ]).<br />

I g : G → G<br />

h ↦→ ghg −1<br />

Wir setzen Ad := (dI g ) e : T e G → T e G. Dann ist (T e G, Ad) e<strong>in</strong>e Darstellung <strong>von</strong> G, die adjungierte<br />

Darstellung <strong>von</strong> G.<br />

14.5. π 1 (Sp<strong>in</strong>(n)).<br />

PROPOSITION 14.11. Sp<strong>in</strong>(n) ist e<strong>in</strong>fach zusammenhängend für n ≥ 3.


52 BERND AMMANN, WS 2002/03<br />

Beweis. Wir zeigen es durch Induktion über n. Die Aussage gilt für n = 3, da Sp<strong>in</strong>(3) = S 3 . Im<br />

folgenden kommutativen Diagramm s<strong>in</strong>d nach Satz 6.11 die Zeilen kurze exakte Sequenzen<br />

Z 2 → Sp<strong>in</strong>(n) → SO(n)<br />

↓ id ↓ ↓<br />

Z 2 → Sp<strong>in</strong>(n + 1) → SO(n + 1)<br />

Man überlegen sich, dass SO(n + 1) das SO-Rahmen-Bündel über der Standard-Sphäre S n ist und<br />

somit e<strong>in</strong> SO(n)-Hauptfaser-Bündel. Daraus folgt, dass Sp<strong>in</strong>(n+1) e<strong>in</strong> Sp<strong>in</strong>(n)-Hauptfaser-Bündel<br />

über S n ist. Die Proposition folgt nun aus dem folgenden Lemma.<br />

✷<br />

LEMMA 14.12. Sei G e<strong>in</strong>e e<strong>in</strong>fach zusammenhängende, zusammenhängende Lie-Gruppe und P<br />

e<strong>in</strong> G-Hauptfaserbündel über M. Dann ist π 1 (P ) → π 1 (M) bijektiv.<br />

Beweis. Der Beweis ist e<strong>in</strong> bischen Arbeit, aber nicht schwer. Man ueberlegt sich zunächst, dass<br />

man Wege und Familien <strong>von</strong> Wegen liften kann. Die Surjektivität folgt dann aus der Tatsache,<br />

dass G zusammenhängend ist. Um die Injektivität zu zeigen, nehmen wir e<strong>in</strong>e Schleife γ <strong>in</strong> P , so<br />

dass das Bild <strong>von</strong> γ <strong>in</strong> M als Schleife <strong>in</strong> M homotop zu <strong>e<strong>in</strong>er</strong> konstanten Schleife ist. Man zeigt<br />

nun, dass diese Homotopie liftet (etwas Arbeit). Somit ist γ homotop zu <strong>e<strong>in</strong>er</strong> Kurve, die ganz<br />

<strong>in</strong> <strong>e<strong>in</strong>er</strong> faser verläuft. Da die Faser e<strong>in</strong>fach zusammenhängend ist, ist γ homotop zur konstanten<br />

Kurve.<br />

✷<br />

Literatur<br />

[AB02] Bernd Ammann and Christian Bär. The <strong>E<strong>in</strong></strong>ste<strong>in</strong>-Hilbert action as a spectral action. In Vortrag auf<br />

der Arbeitstagung “Das Standardmodell der Elementarteilchenphysik unter mathematisch-geometrischem<br />

Aspekt”, F. Scheck (Ed.), Hesselberg 1999. Spr<strong>in</strong>ger Verlag, 2002.<br />

[Bär00] Christian Bär. Localization and semibounded energy – a weak unique cont<strong>in</strong>uation theorem. J. Geom.<br />

Phys., 34(2):155–161, 2000.<br />

[Bau81] Helga Baum. Sp<strong>in</strong>-Strukturen und Dirac-Operatoren über pseudoriemannschen Mannigfaltigkeiten. Teubner<br />

Verlag, 1981.<br />

[BtD95] Theodor Bröcker and Tammo tom Dieck. Representations of compact Lie groups. Corrected repr<strong>in</strong>t of the<br />

1985 orig. Graduate Texts <strong>in</strong> Mathematics. 98. New York, Spr<strong>in</strong>ger, 1995.<br />

[Fri80] Thomas Friedrich. Der erste Eigenwert des Dirac-Operators <strong>e<strong>in</strong>er</strong> kompakten Riemannschen Mannigfaltigkeit<br />

nicht-negativer Krümmung. Math. Nach., 97:117–146, 1980.<br />

[HS71] Friedrich Hirzebruch and W<strong>in</strong>fried Scharlau. <strong>E<strong>in</strong></strong>führung <strong>in</strong> die Funktionalanalysis. Number 296 <strong>in</strong> BI-<br />

Hochschultaschenbücher. BI-Wissenschafts-Verlag, 1971.<br />

[Hum80] James E. Humphreys. Introduction to Lie algebras and representation theory. 3rd pr<strong>in</strong>t<strong>in</strong>g, rev. Graduate<br />

Texts <strong>in</strong> Mathematics, 9. New York - Heidelberg - Berl<strong>in</strong>: Spr<strong>in</strong>ger-Verlag, 1980.<br />

[LM89] H.-B. Lawson and M.-L. Michelsohn. Sp<strong>in</strong> Geometry. Pr<strong>in</strong>ceton University Press, Pr<strong>in</strong>ceton 1989, 1989.<br />

[MS74] J. Milnor and J. Stasheff. Characteristic Classes. Annals of Mathematical Studies. Pr<strong>in</strong>ceton University<br />

Press, Pr<strong>in</strong>ceton, 1974.<br />

[Roe88] J. Roe. Elliptic operators, topology and asymptotic methods. Number 179 <strong>in</strong> Pitman Research Notes <strong>in</strong><br />

Mathematics Series. Longman, 1988.


ANALYSIS AUF MANNIGFALTIGKEITEN, INDEXTHEORIE UND SPIN-GEOMETRIE 53<br />

[Sem99] Uwe Semmelmann. A short proof of eigenvalue estimates for the Dirac operator on Riemannian and<br />

Kähler manifolds. In Kolár, Ivan (ed.) et al., Differential geometry and applications. Proceed<strong>in</strong>gs of the<br />

7th <strong>in</strong>ternational conference, DGA 98, and satellite conference of ICM <strong>in</strong> Berl<strong>in</strong>, Brno, Czech Republic,<br />

August 10-14, 1998. Brno: Masaryk University. 137-140 . 1999.<br />

[War83] Frank W. Warner. Foundations of differentiable manifolds and Lie groups. Repr<strong>in</strong>t. Graduate Texts <strong>in</strong><br />

Mathematics, 94. New York etc.: Spr<strong>in</strong>ger-Verlag. IX, 272 p., 57 figs. DM 58.00; $ 22.50 , 1983.<br />

[Yos94] Kosaku Yosida. Functional analysis.Repr. of the 6th ed. Berl<strong>in</strong>: Spr<strong>in</strong>ger-Verlag, 1994.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!