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.

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 )

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!