Hamiltonian actions on 0-shifted cosymplectic groupoids

Die Arbeit führt den Begriff der 0-verschobenen kosymplektischen Struktur auf differenzierbaren Stapeln ein, entwickelt eine Theorie der Momentabbildungen für Hamiltonsche kosymplektische Wirkungen und stellt Reduktionsverfahren, eine Version des Kirwanschen Konvexitätssatzes sowie Beispiele für Morse-Bott-Lie-Gruppoidmorphismen vor.

Das Wesentliche

Stellen Sie sich vor, Sie sind ein Architekt, der Gebäude entwirft, aber nicht nur aus Stein und Beton, sondern aus Bewegung und Zeit. Normalerweise arbeiten Mathematiker mit „symplektischen" Strukturen – das sind wie perfekte, statische Landkarten für physikalische Systeme, die sich in einem Moment abspielen. Aber was ist, wenn sich die Welt ändert? Was, wenn das System von der Zeit abhängt, wie ein Film, der läuft?

Hier kommt die Cosymplektische Geometrie ins Spiel. Man kann sich das wie den „Bruder" der normalen Geometrie vorstellen, der extra für Systeme mit einer Zeit-Komponente erfunden wurde.

Dieser Artikel von Daniel López-García und Fabricio Valencia baut nun eine noch komplexere, aber faszinierendere Brücke. Hier ist die Erklärung in einfachen Worten:

1. Das Problem: Wenn die Landkarte nicht perfekt ist

Stellen Sie sich vor, Sie versuchen, einen Fluss zu kartieren. Manchmal ist das Wasser so ruhig, dass Sie eine perfekte Karte zeichnen können (das ist die klassische „Symplektische" Welt). Aber manchmal ist der Fluss unruhig, hat Strudel oder fließt nur in bestimmten Bahnen. Die Landkarte ist dann nicht mehr perfekt glatt; sie hat „Falten" oder „Lücken".

In der Mathematik nennen wir diese unperfekten, aber strukturierten Systeme prä-cosymplektisch. Sie sind wie ein Fluss, der nicht überall gleich tief ist, aber dennoch eine klare Richtung hat. Das Problem ist: Wenn man versucht, diese unregelmäßigen Systeme zu vereinfachen (zu „reduzieren"), stößt man oft auf Singularitäten – Stellen, an denen die Mathematik zusammenbricht, wie ein Kartenstapel, der umfällt.

2. Die Lösung: Der „0-verschobene" Cosymplektische Gruppoid

Die Autoren sagen: „Lassen Sie uns die Landkarte nicht auf dem Boden zeichnen, sondern in der Luft!"

Sie führen ein neues Konzept ein: den 0-verschobenen cosymplektischen Gruppoid.

• Die Analogie: Stellen Sie sich vor, Sie haben einen riesigen, chaotischen Tanzsaal (das ist Ihre Mannigfaltigkeit). Die Tänzer bewegen sich in bestimmten Mustern. Wenn Sie versuchen, den Saal von oben zu betrachten, sehen Sie nur ein Durcheinander.
• Aber wenn Sie einen Gruppoid bauen, ist es, als würden Sie für jeden Tänzer eine eigene „Bühne" bauen und alle Bühnen miteinander verbinden. Sie fassen die Tänzer in Gruppen zusammen, die sich ähnlich bewegen.
• Der Begriff „0-verschoben" bedeutet hier im Wesentlichen, dass wir die Geometrie nicht auf einem einzelnen Punkt fixieren, sondern sie so „verschieben", dass sie die gesamte Struktur des Tanzsaals (inklusive der Zeit) perfekt abbildet, ohne dass die Mathematik zusammenbricht. Es ist wie ein 3D-Hologramm eines 2D-Problems.

3. Die Momentenabbildung: Der Kompass für die Symmetrie

In der Physik gibt es oft Dinge, die sich drehen oder bewegen, ohne ihre Energie zu ändern (Symmetrien). Um diese zu messen, benutzen Physiker einen Momentenvektor (Moment map).

• Einfache Analogie: Stellen Sie sich einen Kreisel vor. Der Momentenvektor sagt Ihnen, wie stark er rotiert und in welche Richtung.
• In diesem Papier zeigen die Autoren, wie man diesen Kompass auch für ihre komplexen, „unperfekten" Systeme (die Gruppoiden) baut. Sie nennen es Momentenabbildung.
• Das Tolle daran: Selbst wenn das System chaotisch aussieht, gibt es immer noch eine Art „Kompass", der zeigt, wie sich das System verhält.

4. Der Kirwan-Satz und die Form der Welt

Einer der größten Erfolge der Arbeit ist eine Version des berühmten Kirwan-Satzes.

• Die Metapher: Stellen Sie sich vor, Sie werfen einen Stein in einen See. Die Wellen breiten sich aus und bilden eine bestimmte Form. Der Kirwan-Satz sagt im Grunde: „Egal wie komplex der Steinwurf war, die Form der Wellen (das Bild des Momentenvektors) wird immer eine konvexe Form sein – wie ein glatter, runder Stein oder ein Würfel, aber niemals ein zerklüfteter Felsbrocken mit Löchern."
• Die Autoren zeigen, dass dies auch für ihre neuen, komplexen Systeme gilt. Wenn Sie alle möglichen Zustände Ihres Systems auf einen Haufen werfen, bilden sie immer eine schöne, glatte Form. Das ist extrem nützlich, um vorherzusagen, was in einem System passieren kann.

5. Was bringt uns das? (Die Reduktion)

Das Ziel dieser ganzen Mathematik ist oft die Reduktion.

• Analogie: Sie haben einen riesigen, überfüllten Raum mit 1000 Leuten. Sie wollen nur die Leute betrachten, die eine bestimmte Farbe tragen. Wenn Sie einfach alle anderen wegschicken, bleibt vielleicht ein chaotischer Haufen übrig.
• Mit der Methode der Autoren können Sie jedoch den Raum so „zusammenfalten", dass die Leute mit der richtigen Farbe automatisch eine neue, perfekte, kleine Welt bilden.
• Sie nennen dies Marsden-Weinstein-Meyer-Reduktion. Sie zeigen, dass man auch bei diesen komplexen, zeitabhängigen Systemen immer noch eine saubere, neue Welt erschaffen kann, die man leicht verstehen kann.

Zusammenfassung

Dieser Artikel ist wie ein neues Werkzeugset für Architekten der Mathematik.

1. Es erlaubt uns, Systeme zu verstehen, die von der Zeit abhängen und nicht perfekt glatt sind (prä-cosymplektisch).
2. Es baut eine Brücke (Gruppoid), um diese Systeme so darzustellen, dass die Mathematik funktioniert, auch wenn sie kompliziert ist.
3. Es beweist, dass selbst in diesem Chaos Ordnung herrscht (konvexe Formen, glatte Reduktionen).

Das Ergebnis ist, dass wir nun besser verstehen können, wie sich komplexe physikalische Systeme über die Zeit entwickeln, von der Bewegung von Planeten bis hin zu Quantenphänomenen, und wie man sie in einfachere, handhabbare Modelle verwandeln kann. Es ist ein Schritt, um das Chaos der Zeit in eine schöne, mathematische Ordnung zu verwandeln.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Papers „Hamiltonian Actions on 0-Shifted Cosymplectic Groupoids" von Daniel López-García und Fabricio Valencia auf Deutsch.

1. Problemstellung und Motivation

Das Paper adressiert die Herausforderung, die Theorie der Hamiltonschen Wirkungen und der Reduktionsverfahren von der symplektischen Geometrie auf den Kontext der kosymplektischen Geometrie zu übertragen, insbesondere im Rahmen von Differentiellen Stapeln (Differentiable Stacks) und Lie-Gruppoiden.

• Kontext: Kosymplektische Geometrie wird oft als das „ungerade" Pendant zur symplektischen Geometrie betrachtet. Während symplektische Strukturen auf geraddimensionalen Mannigfaltigkeiten definiert sind, beschreiben kosymplektische Strukturen $(M, \omega, \eta)$ Mannigfaltigkeiten der Dimension $2n+1$mit einer geschlossenen 2-Form$\omega$und einer nicht-verschwindenden geschlossenen 1-Form$\eta$, wobei$TM = \ker(\omega) \oplus \ker(\eta)$. Dies ist besonders nützlich für die Behandlung zeitabhängiger Hamiltonscher Systeme.
• Das Problem: In vielen Fällen ist die Bedingung für eine strikte kosymplektische Struktur zu stark. Stattdessen betrachtet man präkosymplektische Strukturen, bei denen $\ker(\omega) \cap \ker(\eta)$ eine reguläre Distribution ist, die strikt in $\ker(\omega)$ enthalten ist. Dies führt zu einer Blätterung (Foliation) $F_{(\omega, \eta)}$. Der Raum der Blätter ist im Allgemeinen singulär.
• Die Lücke: Bisherige Arbeiten definierten kosymplektische Gruppoiden über multiplikative Strukturen auf den Pfeilen. Das vorliegende Paper zielt darauf ab, eine globale geometrische Objekte zu definieren, die die mit einer präkosymplektischen Struktur verbundene Blätterung integrieren, und eine Momentabbildungstheorie für diese Objekte zu entwickeln, die auf 0-verschobene kosymplektische Strukturen auf Lie-2-Gruppen und Differentiellen Stapeln anwendbar ist.

2. Methodik

Die Autoren verfolgen einen mehrstufigen methodischen Ansatz, der von der klassischen Mannigfaltigkeitsebene bis zur Stapeltheorie reicht:

1. Präkosymplektische Hamiltonsche Wirkungen:

   • Zunächst wird der Begriff der präkosymplektischen Mannigfaltigkeit $(M, \omega, \eta)$ formalisiert.
   • Die Lichnerowicz-Abbildung $\flat: TM \to T^*M$, definiert durch $\flat(v) = \iota_v \omega + \eta(v)\eta$, wird analysiert. Es wird gezeigt, dass $\ker(\flat) = \ker(\omega) \cap \ker(\eta)$ gilt, was eine reguläre Blätterung $F_\flat$ definiert.
   • Auf dem Raum der transversalen Vektorfelder und der Basis-1-Formen wird eine Poisson-Struktur eingeführt.
   • Der Begriff der Hamiltonschen Wirkung einer Lie-Gruppe $K$ wird definiert, einschließlich der Existenz einer Momentabbildung $\mu: M \to \mathfrak{k}^*$, die die Bedingungen $d\mu_\xi = \iota_{\xi_M}\omega$ und $\eta(\xi_M)=0$ erfüllt.

2. 0-verschobene kosymplektische Strukturen auf Lie-Gruppoiden:

   • Basierend auf Arbeiten zu 0-verschobenen symplektischen Strukturen wird eine Definition für 0-verschobene kosymplektische Strukturen auf einem Lie-Gruppoid $G \rightrightarrows M$ eingeführt.
   • Diese besteht aus einem Paar geschlossener basaler Differentialformen $(\omega, \eta)$, sodass die induzierte Lichnerowicz-Abbildung eine Quasi-Isomorphie zwischen den Komplexen der Tangential- und Kotangentialbündel des Gruppoids induziert.
   • Es wird bewiesen, dass diese Definition Morita-invariant ist, was die Definition auf Differentielle Stapel $[M/G]$ ermöglicht.

3. Hamiltonsche Wirkungen von Lie-2-Gruppen:

   • Die Autoren erweitern die Theorie auf Wirkungen von folierenden Lie-2-Gruppen $K_1 \rightrightarrows K_0$ auf Gruppoiden mit 0-verschobenen Strukturen.
   • Die Momentabbildung wird als Morphismus von Lie-Gruppoiden $\mu: G \to (\mathfrak{k}/\mathfrak{n})^*$ definiert, wobei $\mathfrak{n}$ ein Ideal im Lie-Algebra-Kern ist.

4. Reduktionsverfahren und Sätze:

   • Anwendung der Marsden-Weinstein-Meyer-Reduktion im Kontext von 0-verschobenen Strukturen.
   • Verallgemeinerung des Kirwan-Konvexitätssatzes und Untersuchung der Morse-Bott-Eigenschaften der Momentabbildungskomponenten.

3. Schlüsselbeiträge und Ergebnisse

Die Hauptbeiträge des Papers lassen sich wie folgt zusammenfassen:

• Definition 0-verschobener kosymplektischer Strukturen:
  Die Autoren führen den Begriff der 0-verschobenen kosymplektischen Struktur auf Lie-Gruppoiden ein. Dies ist ein globales geometrisches Objekt, das die Integration der durch eine präkosymplektische Struktur induzierten Blätterung darstellt. Ein zentrales Ergebnis ist der Beweis der Morita-Invarianz, was die wohldefinierte Theorie auf Differentielle Stapel ermöglicht.

• Momentabbildungstheorie für Lie-2-Gruppen:
  Es wird eine konsistente Theorie der Hamiltonschen Wirkungen von Lie-2-Gruppen auf 0-verschobene kosymplektische Gruppoiden entwickelt. Die Momentabbildung ist ein Gruppoid-Morphismus, der die Ad*-Äquivarianz bezüglich der 2-Gruppen-Wirkung erfüllt.

• Reduktionsverfahren (Marsden-Weinstein-Meyer):
  Das Paper stellt ein Reduktionsverfahren für 0-verschobene kosymplektische Gruppoiden vor. Wenn $0$ein regulärer Wert der Momentabbildung ist, ergibt der Quotient$\mu^{-1}(0)/K$ einen kosymplektischen Stapel.

  • Korollar 4.4: Falls die Wirkung von $K$ auf $\mu^{-1}(0)$ proper ist, ist der Quotient ein kosymplektischer Orbifold; bei freier und properer Wirkung ein kosymplektische Mannigfaltigkeit. Dies liefert neue Einsichten selbst für die Reduktion durch gewöhnliche Lie-Gruppen.

• Verallgemeinerung des Kirwan-Konvexitätssatzes:
  Unter der Annahme, dass die Lie-2-Gruppe vom kompakten Typ ist und die Wirkung „clean" ist, wird gezeigt, dass das Bild der Momentabbildung (der „Momentkörper") ein abgeschlossenes konvexes Polyeder ist. Dies ist eine direkte Konsequenz der Ergebnisse für präkosymplektische Mannigfaltigkeiten und der Theorie der 0-verschobenen symplektischen Strukturen.

• Morse-Bott-Eigenschaften:
  Es wird bewiesen, dass die Komponentenfunktionen der Momentabbildung Morse-Bott-Lie-Gruppoid-Morphismen sind. Die kritischen Mengen sind gesättigt, und der Index jeder nicht-entarteten kritischen Untermannigfaltigkeit ist gerade.

• Delzant-Klassifikation:
  Die Autoren skizzieren, wie diese Ergebnisse zu einer Klassifikation torischer kosymplektischer Stapel führen können, analog zur Delzant-Klassifikation torischer symplektischer Mannigfaltigkeiten, basierend auf der Klassifikation einfacher konvexer Polytope mit kombinatorischen Daten.

4. Beispiele

Das Paper illustriert die Theorie durch konkrete Beispiele:

• Symplektische Mapping-Tori: Konstruktion kosymplektischer Mannigfaltigkeiten aus symplektischen Abbildungen.
• Präkosymplektische Reduktion: Ein Beispiel, bei dem eine Hamiltonsche Wirkung eines Torus auf einer kosymplektischen Mannigfaltigkeit betrachtet wird, um eine präkosymplektische Struktur auf dem Niveaumenge zu erhalten.
• Holonomie-Gruppoiden: Die Konstruktion von 0-verschobenen kosymplektischen Strukturen auf den Holonomie- oder Monodromie-Gruppoiden der durch die präkosymplektische Struktur induzierten Blätterung.

5. Signifikanz und Ausblick

Die Arbeit ist von erheblicher Bedeutung für die moderne geometrische Physik und die mathematische Strukturtheorie:

1. Brücke zwischen Symplektik und Kosymplektik: Sie schließt eine Lücke, indem sie die mächtigen Werkzeuge der symplektischen Reduktion und der Stapeltheorie (die in der Quantisierung und Stringtheorie wichtig sind) auf den kosymplektischen Fall überträgt, der für zeitabhängige Systeme essenziell ist.
2. Globale Geometrie: Durch die Verwendung von Lie-Gruppoiden und Stapeln werden Singularitäten, die bei der Reduktion von präkosymplektischen Systemen auftreten, elegant behandelt, anstatt sie zu vermeiden.
3. Verallgemeinerung: Die Einführung von $m$-verschobenen kosymplektischen Strukturen auf Lie-$n$-Gruppoiden wird als natürlicher nächster Schritt identifiziert, wobei die hier entwickelten Methoden als Vorlage dienen können.
4. Anwendbarkeit: Die Ergebnisse bieten ein Fundament für die Klassifikation torischer kosymplektischer Räume und könnten Anwendungen in der Theorie der integrablen Systeme und der mathematischen Physik finden, wo zeitabhängige Hamiltonsche Systeme eine Rolle spielen.

Zusammenfassend etabliert das Paper einen rigorosen Rahmen für die Untersuchung symmetrischer kosymplektischer Systeme auf singulären Räumen und erweitert das Repertoire der geometrischen Reduktionsverfahren erheblich.