Signatursatz von Hirzebruch

Der Signatursatz von Hirzebruch ist eine Aussage aus dem mathematischen Teilgebiet der globalen Analysis. Er ist benannt nach dem Mathematiker Friedrich Hirzebruch und kann als Spezialfall des Atiyah-Singer-Indexsatzes angewandt auf den Signatur-Operator aufgefasst werden. Der Signatursatz gibt einen Zusammenhang zwischen der Signatur und dem L-Geschlecht einer Mannigfaltigkeit. Bewiesen wurde er 1953 von Friedrich Hirzebruch mittels Kobordismustheorie.

Aussage des Signatursatzes

Sei $X$ eine orientierte kompakte glatte Mannigfaltigkeit der Dimension $n:=4k$ . Mit $\sigma (M)$ wird die Signatur von $M$ bezeichnet, die als Signatur der Schnittform definiert ist. Dann gilt

\sigma (M)=(\pi i)^{-{\frac {n}{2}}}\int _{M}L(M)\,,

wobei $L(M)$ das L-Geschlecht von $M$ ist. Es ist definiert als

L(M):=\det \nolimits ^{\frac {1}{2}}\left({\frac {R/2}{\tanh(R/2)}}\right)\in {\mathcal {A}}^{4\bullet }(M)\,,

wobei ${\mathcal {A}}^{4\bullet }(M)$ der Raum der $4k$ -Differentialformen und $R$ die Riemannsche Krümmung ist.

Signatur-Operator und Signatur-Komplex

In diesem Abschnitt wird ein bestimmter Dirac-Operator, der Signatur-Operator genannt wird, definiert. Er steht in einem engen Zusammenhang zum Signatursatz. Sein Fredholm-Index ist nämlich gerade die auf der linken Seite des hirzebruchschen Satzes auftretende Signatur. Um den Signatur-Operator zu definieren, wird eine $\mathbb {Z} _{2}$ -Graduierung auf dem Raum der Differentialformen benötigt. Der Signatur-Operator ist nun ein Dirac-Operator, der diese Graduierung beachtet. Mit ihm kann ein Komplex mit zwei Termen induziert werden, der ein elliptischer Komplex ist. Dieser Komplex wird Signatur-Komplex genannt.

In diesem Abschnitt wird mit $X$ eine kompakte orientierbare Riemannsche Mannigfaltigkeit der Dimension $2k$ bezeichnet. Das komplexifizierte Kotangentialbündel von $X$ wird daher mit $T^{*}X\otimes \mathbb {C}$ notiert und mit ${\mathcal {A}}(X):=\Gamma (\Lambda (T^{*}X\otimes \mathbb {C} ))$ wird die Algebra der Differentialformen über dem komplexifizierten Kotangentialbündel notiert.

Graduierung der Algebra der Differentialformen

Eine $\mathbb {Z} _{2}$ -Graduierung von ${\mathcal {A}}(X)$ wird durch den involutiven Operator ${\displaystyle \tau \phi$ für $\phi \in {\mathcal {A}}^{p}(T^{*}X\otimes \mathbb {C} )$ induziert, wobei $\star$ der Hodge-Stern-Operator ist. Die Graduierung ist also durch ${\mathcal {A}}(X)={\mathcal {A}}^{+}(X)\oplus {\mathcal {A}}^{-}(X)$ mit

{\mathcal {A}}^{+}(X):=\left(v\in {\mathcal {A}}(X)|\;\tau v=v\right)

und

{\mathcal {A}}^{-}(X):=\left(v\in {\mathcal {A}}(X)|\;\tau v=-v\right)

gegeben.

Signatur-Operator

Der Signatur-Operator ist nun der zum äußeren Bündel assoziierte Dirac-Operator. Mit Hilfe der äußeren Ableitung $\mathrm {d}$ kann dieser konkret angegeben werden. Mit $\mathrm {d} ^{t}$ wird der zur äußeren Ableitung adjungierte Operator bezeichnet. Dieser heißt auch Hodge-Ableitung. Auf kompakten orientierbaren Riemannschen Mannigfaltigkeiten gilt die Beziehung $\mathrm {d} ^{t}=-\tau \mathrm {d} \tau$ . Der Operator $\mathrm {d} +\mathrm {d} ^{t}\colon {\mathcal {A}}(X)\to {\mathcal {A}}(X)$ respektiert die zuvor definierte Graduierung und ist somit der gesuchte Signatur-Operator

(\mathrm {d} +\mathrm {d} ^{t})\colon {\mathcal {A}}^{\pm }(X)\to {\mathcal {A}}^{\mp }(X)\,.

Da er ein Dirac-Operator ist, ist er auch elliptisch und besitzt einen analytischen Index. Dieser ist durch die Signatur $\sigma (X)$ der Mannigfaltigkeit $X$ gegeben.

Signatur-Komplex

Der Signatur-Komplex ist der Komplex

0\longrightarrow {\mathcal {A}}^{+}(X){\stackrel {\mathrm {d} +\mathrm {d} ^{*}}{\longrightarrow }}{\mathcal {A}}^{-}(X)\longrightarrow 0

.

Dies ist ein elliptischer Komplex, das heißt, neben dem oben dargestellten Komplex ist auch der Komplex seiner Symbole

0\longrightarrow \pi ^{*}({\mathcal {A}}^{+}(X)){\stackrel {\sigma _{\mathrm {d} +\mathrm {d} ^{*}}}{\longrightarrow }}\pi ^{*}({\mathcal {A}}^{-}(X))\longrightarrow 0

exakt.

Beweisidee und Bezug zum Atiyah-Singer-Indexsatz

Mittels der Hodge-Theorie kann gezeigt werden, dass die Signatur $\sigma (M)$ der kompakten riemannschen Mannigfaltigkeit $M$ mit dem Fredholm-Index des Signatur-Operators übereinstimmt. Aus dem Atiyah-Singer-Indexsatz oder seinem Spezialfall für Dirac-Operatoren folgt, dass sich der Index eines Dirac-Operators als Polynom in den Pontrjagin-Klassen darstellen lässt. Im Fall des Signatur-Operators ist dieses Polynom gerade das L-Geschlecht. Hirzebruch selbst bewies 1953 den Signatursatz mit Methoden der Kobordismustheorie, bevor Atiyah und Singer ihren Indexsatz veröffentlichten.

Verallgemeinerung

Der Signatursatz von Hirzebruch wurde im Jahr 1975 von Michael Francis Atiyah, Vijay Kumar Patodi und Isadore M. Singer für eine spezielle Klasse von riemannschen Mannigfaltigkeiten mit Rand verallgemeinert. Im Gegensatz zum hirzebruchschen Signatursatz tritt in dieser verallgemeinerten Fassung eine weitere Invariante, die $\eta$ -Invariante auf. Diese Invariante ist weder eine topologische noch eine differentialgeometrische. Die $\eta$ -Invariante wird aus den Eigenwerten eines zum Signatur-Operator assoziierten Differentialoperators, dem sogenannten tangentialen Signatur-Operator berechnet.

Einzelnachweise

↑ Nicole Berline, Ezra Getzler, Michèle Vergne: Heat kernels and Dirac operators (= Grundlehren der mathematischen Wissenschaften 298). Berlin u. a. Springer 1992, ISBN 0-387-53340-0, S. 161.
↑ Hirzebruch The Signature Theorem. Reminiscences and recreation. Prospects in Mathematics, Annals of Mathematical Studies, Band 70, 1971, S. 3–31.
1 2 Nicole Berline, Ezra Getzler, Michèle Vergne: Heat kernels and Dirac operators (= Grundlehren der mathematischen Wissenschaften 298). Berlin u. a. Springer 1992, ISBN 0-387-53340-0, S. 146.
1 2 3 4 Nicole Berline, Ezra Getzler, Michèle Vergne: Heat kernels and Dirac operators (= Grundlehren der mathematischen Wissenschaften 298). Berlin u. a. Springer 1992, ISBN 0-387-53340-0, S. 127–129.
↑ Charles Nash: Differential Topology and Quantum Field Theory. 1992, S. 110.
↑ Atiyah, Patodi, Singer: Spectral asymmetry and Riemannian Geometry. I. Math. Proc. Camp. Phil. Soc. (1975), 77, 43–69.
↑ Peter B. Gilkey: Invariance theory, the heat equation, and the Atiyah-Singer index theorem (= Mathematics Lecture Series 11). Publish or Perish Inc., Wilmington DE 1984, ISBN 0-914098-20-9, S. 269 (Online)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Nicole Berline, Ezra Getzler, Michèle Vergne: Heat kernels and Dirac operators (= Grundlehren der mathematischen Wissenschaften 298). Berlin u. a. Springer 1992, ISBN 0-387-53340-0, S. 161.

[2] Hirzebruch The Signature Theorem. Reminiscences and recreation. Prospects in Mathematics, Annals of Mathematical Studies, Band 70, 1971, S. 3–31.

[BGV146-3] 1 2 Nicole Berline, Ezra Getzler, Michèle Vergne: Heat kernels and Dirac operators (= Grundlehren der mathematischen Wissenschaften 298). Berlin u. a. Springer 1992, ISBN 0-387-53340-0, S. 146.

[BGV127129-4] 1 2 3 4 Nicole Berline, Ezra Getzler, Michèle Vergne: Heat kernels and Dirac operators (= Grundlehren der mathematischen Wissenschaften 298). Berlin u. a. Springer 1992, ISBN 0-387-53340-0, S. 127–129.

[5] Charles Nash: Differential Topology and Quantum Field Theory. 1992, S. 110.

[6] Atiyah, Patodi, Singer: Spectral asymmetry and Riemannian Geometry. I. Math. Proc. Camp. Phil. Soc. (1975), 77, 43–69.

[Gilkey269-7] Peter B. Gilkey: Invariance theory, the heat equation, and the Atiyah-Singer index theorem (= Mathematics Lecture Series 11). Publish or Perish Inc., Wilmington DE 1984, ISBN 0-914098-20-9, S. 269 (Online)