A Lorentzian Equivariant Index Theorem

Diese Arbeit entwickelt eine Formel für den äquivarianten Index eines Dirac-Operators auf einer kompakten, global hyperbolischen Raumzeit mit zeitartigem Rand, die unter APS-Randbedingungen und einer isometrischen Gruppenwirkung steht und der bekannten Riemannschen Formel entspricht, wobei der Beweis eine vereinfachende Technik zur Reduktion auf den nicht-äquivarianten Fall nutzt, um eine Lorentzsche „Index = Spektralfluss"-Beziehung zu zeigen.

Das Wesentliche

Das große Rätsel: Zählen in einer gekrümmten Welt

Stellen Sie sich vor, Sie sind ein Mathematiker, der versucht, ein sehr kompliziertes Rätsel zu lösen: Wie viele „Lösungen" hat eine bestimmte Art von Gleichung (ein Dirac-Operator), die auf einem Raum existiert, der nicht nur gekrümmt ist, sondern auch die Zeit als vierte Dimension enthält?

In der normalen Welt (der sogenannten Riemannschen Geometrie, wie auf einer Kugel oder einer Ebene) gibt es dafür eine berühmte Formel, die Atiyah-Singer-Index-Theorem. Sie besagt im Grunde: „Die Anzahl der Lösungen hängt nur von der Form des Raumes ab, nicht von den Details der Gleichung." Man kann sich das wie eine Waage vorstellen: Auf der einen Seite steht die Anzahl der Lösungen, auf der anderen Seite ein Integral (eine Art Summe) über die Form des Raumes.

Das Problem: Zeit ist anders als Raum

Die Autoren dieses Papers arbeiten jedoch nicht mit normalen Räumen, sondern mit Raumzeiten (wie in Einsteins Relativitätstheorie). Hier gibt es einen entscheidenden Unterschied:

• Im normalen Raum sind alle Richtungen gleich (man kann sich überall hin bewegen).
• In der Raumzeit gibt es eine Zeitrichtung, die sich von den Raumrichtungen unterscheidet (man kann nur in die Zukunft, nicht in die Vergangenheit reisen).

Das macht die Mathematik viel schwieriger. Die klassischen Formeln funktionieren hier nicht direkt, weil die Gleichungen „hyperbolisch" sind (wie Wellen) und nicht „elliptisch" (wie statische Formen).

Die Lösung: Ein Trick mit der Zeit

Die Autoren haben einen cleveren Weg gefunden, um das Problem zu lösen. Sie nutzen eine Art Zeit-Schicht-Kuchen.

1. Der Kuchen: Sie stellen sich die Raumzeit als einen Kuchen vor, der aus vielen dünnen Schichten (Zeitpunkten) besteht. Jede Schicht ist ein normaler, räumlicher Raum.
2. Der Fluss: Sie zeigen, dass man den Dirac-Operator (die Gleichung) so umschreiben kann, als würde er nur zwischen diesen Schichten hin und her springen.
3. Der Vergleich: Der geniale Trick ist, dass sie die komplizierte Raumzeit-Gleichung mit einer einfacheren, rein räumlichen Gleichung vergleichen. Sie bauen eine Brücke zwischen der „schwierigen" Lorentz-Welt und der „bekannten" Riemann-Welt.

Die Symmetrie: Wenn sich alles dreht

Jetzt kommt der zweite Teil des Titels: „Equivariant" (äquivariant). Das bedeutet, dass eine Gruppe von Symmetrien auf dem Raum wirkt.

• Die Analogie: Stellen Sie sich einen Tanzboden vor, auf dem sich alle Tänzer gleichzeitig drehen (Symmetrie). Wenn Sie nun zählen wollen, wie viele Tänzer an einer bestimmten Stelle stehen, müssen Sie berücksichtigen, dass sich alle bewegen.
• Die Autoren fragen: „Wie viele Lösungen gibt es, wenn man die Symmetrie (das Drehen) mitberücksichtigt?"

Bisher gab es Formeln dafür nur für statische Räume. Die Autoren haben nun bewiesen, dass man diese Formeln auch auf die dynamische Raumzeit anwenden kann.

Das Ergebnis: Die Formel

Das Endergebnis ihrer Arbeit ist eine neue Formel. Sie sagt aus:

Die Anzahl der Lösungen (der Index) in der Raumzeit ist gleich der Summe von zwei Dingen:

1. Ein Beitrag aus dem Inneren: Man integriert über die Punkte, die sich bei der Symmetrie-Bewegung nicht bewegen (die „Fixpunkte"). Das ist wie das Zählen der Tänzer, die genau in der Mitte des Kreises stehen und sich nicht drehen.
2. Ein Beitrag vom Rand: Da die Raumzeit einen Rand hat (Vergangenheit und Zukunft), muss man auch zählen, was an diesen Grenzen passiert. Das sind die „Randterme".

Die Überraschung: Die Formel sieht fast genauso aus wie die alte, bekannte Formel für statische Räume! Das ist, als würde man herausfinden, dass die Regeln für das Zählen von Schülern in einem sich drehenden Klassenzimmer (Raumzeit) genau dieselben sind wie in einem ruhigen Klassenzimmer, solange man die Ränder (Türen) richtig berücksichtigt.

Warum ist das wichtig?

• Vereinfachung: Sie haben gezeigt, dass man komplexe Probleme in der Raumzeit (die für die Physik wichtig sind, z.B. für Quantenfelder) auf bekannte Probleme aus der reinen Geometrie zurückführen kann.
• Neue Werkzeuge: Sie haben eine Methode entwickelt, um „symmetrische" Probleme (mit Gruppenaktionen) zu lösen, indem sie sie in viele kleine, einfache Probleme zerlegen (wie das Aufteilen eines großen Kuchens in einzelne Scheiben).
• Verbindung: Es verbindet zwei Welten: Die Welt der theoretischen Physik (Raumzeit, Relativität) und die Welt der reinen Mathematik (Topologie, Symmetrien).

Zusammenfassung in einem Satz

Die Autoren haben bewiesen, dass man die Anzahl der Lösungen für physikalische Gleichungen in einer sich bewegenden, gekrümmten Raumzeit berechnen kann, indem man einfach die Form des Raumes an den Stellen betrachtet, die sich nicht bewegen, und die Bedingungen an den Rändern (Vergangenheit/Zukunft) addiert – und das funktioniert überraschend ähnlich wie in einer statischen Welt.

Technische Zusammenfassung

1. Problemstellung und Motivation

Das klassische Atiyah-Singer-Indextheorem ist ein fundamentaler Satz der geometrischen Analysis, der den Fredholm-Index eines elliptischen Dirac-Operators auf einer geschlossenen Riemannschen Mannigfaltigkeit durch topologische Invarianten (Integrale charakteristischer Klassen über Fixpunktmengen) ausdrückt. Bei einer Gruppenwirkung $\Gamma$ wird dies durch das Atiyah-Segal-Singer-Indextheorem erweitert, das den äquivarianten Index als Funktion auf der Gruppe beschreibt.

Die Herausforderung in diesem Paper besteht darin, diese Theorie auf Lorentzsche Mannigfaltigkeiten (Raumzeiten) zu übertragen.

• Herausforderung 1: Dirac-Operatoren auf Lorentzschen Mannigfaltigkeiten sind hyperbolisch, nicht elliptisch. Daher ist der klassische Indexbegriff nicht direkt anwendbar.
• Herausforderung 2: Bär und Strohmaier [2019] haben gezeigt, dass auf einer global hyperbolischen Raumzeit mit raumartigen Randbedingungen (Atiyah-Patodi-Singer, APS) ein wohldefinierter Index existiert und mit der spektralen Fluss-Formel übereinstimmt.
• Herausforderung 3: Bisherige Verallgemeinerungen auf Gruppenwirkungen (z. B. Damaschke [2021]) behandelten meist $L^2$-Indizes auf nicht-kompakten Mannigfaltigkeiten, wobei die Gruppe zur Kompaktifizierung diente.
• Ziel: Die Autoren wollen einen äquivarianten Indexsatz für kompakte, global hyperbolische Raumzeiten mit raumartigem Rand beweisen. Das Ziel ist eine Lorentzsche Analogie zum Atiyah-Segal-Singer-Donnelly-Indextheorem, das sowohl den Volumenbeitrag (über die Fixpunktmenge) als auch Randbeiträge berücksichtigt.

2. Methodik und Beweisstrategie

Der Beweis folgt einem mehrstufigen Ansatz, der bestehende Ergebnisse aus der Riemannschen und der nicht-äquivarianten Lorentzschen Theorie kombiniert und durch neue Techniken zur Reduktion äquivarianter Probleme ergänzt.

A. Raumzeit-Splitting und Äquivarianz (Kapitel 2)

Um äquivariante Indizes zu berechnen, müssen die Eigenräume des Gruppenoperators mit der geometrischen Struktur verträglich sein.

• Die Autoren nutzen ein Splitting der Raumzeit $M \cong [0, 1] \times \Sigma$, wobei $\Sigma$ eine Cauchy-Hypersurface ist.
• Hauptergebnis (Korollar 2.7): Für eine kompakte global hyperbolische Mannigfaltigkeit mit einer isometrischen Gruppenwirkung $\Gamma$ existiert eine Zerlegung, bei der die Metrik die Form $g = -N^2 dt^2 + g_t$ hat, wobei die Lapse-Funktion $N$ nahe dem Rand konstant 1 ist und die Gruppenwirkung zeitunabhängig ist (d.h. $\gamma(t, x) = (t, \gamma x)$).
• Dies ermöglicht die Definition einer Familie äquivarianter Dirac-Operatoren $A(t)$ auf den Hypersurfaces $\Sigma_t$.

B. Reduktion von Äquivarianz auf Nicht-Äquivarianz (Kapitel 3)

Ein zentrales technisches Werkzeug ist die Zerlegung nach Eigenräumen des Gruppenoperators $\gamma$.

• Idee: Da $\gamma$ unitär wirkt, lässt sich der Hilbertraum in Eigenräume $E_\lambda(\gamma)$ zerlegen. Auf jedem Eigenraum wirkt $\gamma$ als Skalierung mit dem Eigenwert $\lambda$.
• Formeln: Der äquivariante Index und der äquivariante spektrale Fluss lassen sich als gewichtete Summen der nicht-äquivarianten Größen auf den Eigenräumen ausdrücken:
  $$\text{ind}_\gamma(T) = \sum_{\lambda} \lambda \cdot \text{ind}(T|_{E_\lambda})$$
  $$\text{sf}_\gamma(A) = \sum_{\lambda} \lambda \cdot \text{sf}(A|_{E_\lambda})$$
• Dies erlaubt es, Sätze aus der nicht-äquivarianten Theorie (wie der Index = Spektraler Fluss) direkt auf den äquivarianten Fall zu übertragen, sofern die Operatoren auf die Eigenräume restringiert werden können.

C. Verbindung zu abstrakten Modell-Operatoren (Kapitel 5)

Das Problem ist, dass die Einschränkung eines Dirac-Operators auf einen Eigenraum nicht wieder ein Dirac-Operator ist.

• Die Autoren zeigen (Theorem 5.6), dass der geometrische Dirac-Operator $D$ unitär äquivalent zu einem abstrakten Operator der Form $c(\nu)(N^{-1/2}(\partial_t - iB)N^{-1/2})$ ist.
• Hierbei ist $B$ eine Familie selbstadjungierter Operatoren, die unitär äquivalent zu den Hypersurface-Dirac-Operatoren $A(t)$ ist.
• Diese Transformation eliminiert die geometrischen Komplikationen (wie die Lapse-Funktion $N$) und reduziert das Problem auf das Studium der Familie $B(t)$, was die Anwendung der Ergebnisse aus Kapitel 3 ermöglicht.

D. Vergleich mit dem Riemannschen Fall (Kapitel 6)

• Die Autoren konstruieren eine zugehörige Riemannsche Metrik $\hat{g} = N^2 dt^2 + g_t$ und einen zugehörigen Dirac-Operator $\hat{D}$.
• Sie zeigen, dass der äquivariante Index von $D$ (Lorentz) und $\hat{D}$ (Riemann) beide gleich dem äquivarianten spektralen Fluss der Familie $A(t)$ sind.
• Damit wird das Lorentzsche Problem auf das Riemannsche äquivariante Indextheorem zurückgeführt.

E. Berechnung der charakteristischen Formen (Kapitel 6.2 - 6.3)

Um die rechte Seite des Indexsatzes explizit zu bestimmen, werden charakteristische Formen auf der Fixpunktmenge $M_\gamma$ und Transgressionsformen am Rand berechnet:

• Verwendung des $\hat{A}$-Form und des lokalisierten Chern-Charakters $ch_\gamma$.
• Berechnung der Transgressionsform $T_a$, die den Unterschied zwischen der ursprünglichen Geometrie und einer Produkt-Geometrie am Rand beschreibt.

3. Hauptergebnisse (Theorem 1.1)

Das zentrale Ergebnis ist die explizite Formel für den äquivarianten Index $\text{ind}_\gamma(D_{APS})$ unter APS-Randbedingungen:

$$\text{ind}_\gamma(D_{APS}) = \int_{M_\gamma} (2\pi i)^{-\ell - \ell^\perp} a + \int_{\partial M_\gamma} (2\pi i)^{-\ell - \ell^\perp} T_a + b$$

Dabei sind:

• $M_\gamma$: Die Fixpunktmenge von $\gamma$ in $M$.
• $a$: Ein Integrand, der aus dem $\hat{A}$-Form von $M_\gamma$, dem lokalisierten Chern-Charakter des Twist-Bündels $E$ und einem Term aus dem Normalenbündel $M_\gamma^\perp$ besteht.
• $T_a$: Die Transgressionsform von $a$, die über den Rand $\partial M_\gamma$ integriert wird.
• $b$: Ein Randterm, der die Spur von $\gamma$ auf den Kernen der Rand-Dirac-Operatoren $A(0), A(1)$ und die äquivarianten $\eta$-Invarianten $\eta_\gamma(A(0)), \eta_\gamma(A(1))$ enthält.

Spezialfall: Falls $M_\gamma$ eine Spin-Struktur besitzt, vereinfacht sich der Term $a$ durch Einbeziehung des Spinor-Bündels des Normalenbündels.

4. Signifikanz und Bedeutung

1. Erweiterung der Indextheorie: Dies ist der erste äquivariante Indexsatz für hyperbolische Dirac-Operatoren auf kompakten Raumzeiten mit Rand. Er schließt die Lücke zwischen der klassischen Riemannschen Theorie (Atiyah-Segal-Singer-Donnelly) und der Lorentzschen Theorie (Bär-Strohmaier).
2. Technische Innovation: Die Methode der Reduktion äquivarianter Größen auf nicht-äquivariante Größen durch Eigenraumzerlegung (Kapitel 3) ist überraschend einfach, aber sehr mächtig. Sie könnte auf andere äquivariante Probleme in der geometrischen Analysis übertragbar sein.
3. Verbindung von Geometrie und Analysis: Der Beweis zeigt, dass der Index eines hyperbolischen Operators (Lorentz) durch die spektrale Fluss-Formel mit dem Index eines elliptischen Operators (Riemann) verknüpft werden kann, selbst im äquivarianten Setting.
4. Randbeiträge: Im Gegensatz zu geschlossenen Mannigfaltigkeiten spielen die Randterme (APS-Bedingungen) hier eine entscheidende Rolle. Die Formel zeigt explizit, wie der Index durch das Verhalten der Eigenwerte der Rand-Dirac-Operatoren beeinflusst wird.
5. Anwendbarkeit: Die Ergebnisse sind relevant für die mathematische Physik, insbesondere für die Untersuchung von Quantenfeldtheorien auf gekrümmten Raumzeiten mit Symmetrien, wo äquivariante Indizes Informationen über Anomalien oder die Struktur des Quantenzustandsraums liefern können.

Zusammenfassend liefern Islam und Ronge eine vollständige und rigorose Verallgemeinerung des Atiyah-Segal-Singer-Indextheorems auf den Lorentzschen Kontext, indem sie die Techniken der spektralen Flussanalyse mit der Darstellungstheorie kompakter Gruppen kombinieren.