Hamiltonian actions on 0-shifted cosymplectic groupoids

Deze paper introduceert het concept van 0-geshiftede cosymplectische structuren op differentieerbare stapels, ontwikkelt een theorie voor momentafbeeldingen bij Hamiltoniaanse acties, en presenteert een reductieprocedure, een versie van het Kirwan-convexiteitsstelling, en voorbeelden van Morse-Bott Lie-groepoidmorfismen.

De kern

Stel je voor dat wiskunde een enorme bibliotheek is, en in deze bibliotheek zijn er speciale boeken over hoe dingen bewegen en veranderen. Twee van de beroemdste boeken in deze bibliotheek gaan over symplectische geometrie (waar de natuurwetten van beweging vaak in staan) en contactmeetkunde (die vaak wordt gebruikt om tijd en ruimte te beschrijven).

De auteurs van dit artikel, Daniel en Fabricio, hebben een nieuw, heel speciaal boek geschreven dat een brug slaat tussen deze twee werelden, maar dan met een extra twist: ze kijken naar dingen die niet perfect "glad" of "eenvoudig" zijn, maar die soms een beetje "gekruld" of "gefolieerd" zijn.

Hier is de uitleg in simpele taal, met een paar creatieve vergelijkingen:

1. Het Probleem: De "Tijd" in de Wiskunde

In de gewone natuurkunde gebruiken we vaak een simpele kaart om beweging te beschrijven (symplectische meetkunde). Maar wat als je beweging hebt die afhankelijk is van de tijd? Stel je voor dat je een auto bestuurt, maar de weg verandert elke seconde. De oude kaarten werken dan niet meer goed.

Wiskundigen hebben een oplossing bedacht genaamd cosymplectische meetkunde. Dit is als een kaart die niet alleen de weg laat zien, maar ook de klok erbij. Het is een beetje als een filmrol: je ziet niet alleen het beeld, maar ook de tijd die voorbijgaat.

2. De Uitdaging: De "Gekrulde" Wegen

Soms is de wereld zelfs nog ingewikkelder. Stel je voor dat je door een bos loopt waar de bomen in perfecte rijen staan (dat is de "gewone" cosymplectische wereld). Maar wat als de bomen in groepjes staan die een patroon vormen, en je kunt niet zomaar van de ene groep naar de andere springen zonder de regels te breken?

Dit noemen de auteurs een precosymplectische structuur. Het is alsof je door een bos loopt waar de paden soms verdwijnen of samensmelten. Als je probeert de hele kaart te tekenen, krijg je een rommeltje met gaten en oneindige lussen.

3. De Oplossing: De "0-verschoven" Groep

Om dit rommeltje op te lossen, gebruiken de auteurs een slimme truc. In plaats van te proberen de hele rommelige kaart in één keer te tekenen, kijken ze naar de groepjes (of "groepen") die de patronen vormen.

Ze noemen dit een 0-verschoven cosymplectische groep.

• De Analogie: Stel je voor dat je een grote, rommelige stapel kaarten hebt. In plaats van elke kaart apart te bekijken, pak je de hele stapel en vouwt je die tot één super-kaart. Op deze super-kaart zijn de gaten en lussen verdwenen. Alles is nu netjes en overzichtelijk, zelfs als de onderliggende wereld (de losse kaarten) nog steeds rommelig is.
• In de wiskunde noemen ze deze super-structuur een stack. Het is een soort "meta-ruimte" die alle mogelijke verwarring oplost door alles samen te vatten.

4. De Kracht: Momenten en Reductie

In de natuurkunde hebben we vaak een "moment" nodig om te weten hoe iets draait of beweegt (zoals een momentkoppel bij een wiel). De auteurs tonen aan dat je dit "moment" ook kunt vinden in deze nieuwe, rommelige wereld.

Ze ontwikkelen een methode om de wereld te verkleinen (reductie).

• De Analogie: Stel je voor dat je een enorme, drukke markt hebt (de hele ruimte). Je wilt alleen kijken naar de kraampjes die een bepaald symbool dragen (de "moment" is nul). Als je alle andere kraampjes verwijdert, houd je een kleinere, rustigere markt over.
• De auteurs laten zien dat je dit kunt doen, zelfs als de markt vol met gaten en lussen zat. Je kunt de "gaten" eruit halen en een nieuwe, schone markt overhouden die nog steeds alle belangrijke regels volgt.

5. De Belangrijkste Resultaten

Wat hebben ze nu precies bewezen?

1. De Convexiteit (De vorm van de markt): Ze tonen aan dat als je naar de verzameling van alle mogelijke "momenten" kijkt, deze altijd een mooie, ronde vorm heeft (een convexe veelhoek). Het is alsof je zegt: "Als je alle mogelijke routes in dit bos neemt, vormen ze altijd een perfect vierkant of een driehoek, nooit een gekke kromme lijn."
2. Morse-Bott (De heuvels en dalen): Ze laten zien dat de "momenten" in deze wereld lijken op heuvels en dalen. Als je een bal over deze heuvels rolt, stopt hij altijd op een plek die logisch is (een dal of een plateau). Dit helpt wiskundigen om te voorspellen hoe systemen zich gedragen.
3. Voorbeelden: Ze geven concrete voorbeelden, zoals hoe je een torus (een donut-vorm) kunt gebruiken om deze theorie toe te passen.

Samenvatting in één zin

Dit artikel is als het vinden van een nieuwe bril: door door een complexe, rommelige wereld van beweging en tijd te kijken via deze nieuwe "0-verschoven" lens, wordt alles ineens helder, ordelijk en voorspelbaar, zelfs als de onderliggende wereld vol gaten en lussen zit.

Het is een stap voorwaarts om te begrijpen hoe de natuur (en de wiskunde erachter) werkt, zelfs als die niet perfect glad is.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Hamiltonian Actions on 0-Shifted Cosymplectic Groupoids" in het Nederlands.

Titel: Hamiltoniaanse Acties op 0-Geschoorde Cosymplectische Groeppoiden

Auteurs: Daniel López-García en Fabricio Valencia

---

1. Het Probleem en de Context

De auteurs adresseren de uitdaging om de theorie van Hamiltoniaanse systemen en symplectische meetkunde uit te breiden naar cosymplectische structuren, die vaak worden gebruikt om tijdsafhankelijke Hamiltoniaanse systemen te modelleren.

• Cosymplectische meetkunde is het oneven-dimensionale tegenhanger van symplectische meetkunde. Een cosymplectische variëteit $(M, \omega, \eta)$ wordt gekenmerkt door een gesloten 2-vorm $\omega$ en een niet-verdovende gesloten 1-vorm $\eta$, zodanig dat $TM = \ker(\omega) \oplus \ker(\eta)$.
• In veel praktische situaties is de voorwaarde dat $\ker(\omega) \cap \ker(\eta)$ een reguliere distributie is die strikt in $\ker(\omega)$ zit niet vervuld. Dit leidt tot precosymplectische structuren, waarbij de ruimte van bladeren van de bijbehorende foliatie vaak singulier is.
• De kernvraag: Hoe kan men een robuuste theorie van Hamiltoniaanse acties en reductie ontwikkelen voor deze precosymplectische structuren, en hoe kan men dit globaliseren naar differentieerbare stapels (differentiable stacks) en Lie 2-groepen? Bestaande theorieën voor cosymplectische groeppoiden (gebaseerd op multiplicatieve structuren op pijlen) dekken dit niet volledig.

2. Methodologie

De auteurs combineren technieken uit de meetkunde van Lie-groeppoiden, de theorie van differentieerbare stapels en de recente ontwikkelingen in $m$-geschoorde symplectische meetkunde (specifiek werk van [15, 20, 22]).

• Definitie van 0-Geschoorde Cosymplectische Structuren: In plaats van te werken met multiplicatieve vormen op de pijlen van een groeppoid, definiëren de auteurs de structuur via basale precosymplectische vormen op de objecten van het groeppoid.
  • Een 0-geschoorde cosymplectische structuur op een Lie-groeppoid $G \rightrightarrows M$ wordt bepaald door een paar gesloten basale vormen $(\omega, \eta)$ zodanig dat de bijbehorende Lichnerowicz-afbeelding $\flat: TM \to T^*M$ een quasi-isomorfisme induceert.
  • Dit impliceert dat het groeppoid een foliatiegroeppoid is en dat de structuur Morita-invariant is, waardoor het goed gedefinieerd is op differentieerbare stapels $[M/G]$.
• Hamiltoniaanse Acties: De auteurs definiëren Hamiltoniaanse acties van Lie-groepen en Lie 2-groepen op deze structuren. Ze gebruiken de theorie van foliatie-Lie 2-groepen om acties op de stapel te beschrijven.
• Reductie: Ze passen de Marsden-Weinstein-Meyer-reductieprocedure toe in deze context, waarbij ze de nulvezel van het momentbeeld nemen en quotiënten vormen onder de actie van de groep.

3. Belangrijkste Bijdragen

1. Definitie van 0-Geschoorde Cosymplectische Groeppoiden:

   • De auteurs introduceren een nieuwe definitie die Morita-invariant is. Dit stelt hen in staat om cosymplectische structuren op differentieerbare stapels te definiëren, wat essentieel is voor het behandelen van singuliere ruimtes van bladeren.
   • Ze tonen aan dat deze structuur een quasi-isomorfisme tussen de complexe van vectorvelden en 1-vormen induceert, analoog aan de 0-geschoorde symplectische gevallen.

2. Theorie van Hamiltoniaanse Acties en Momentafbeeldingen:

   • Ze ontwikkelen een momentafbeeldingstheorie voor precosymplectische variëteiten en breiden deze uit naar acties van Lie 2-groepen op 0-geschoorde cosymplectische groeppoiden.
   • Ze definiëren een momentafbeelding $\mu: G \to (\mathfrak{k}/\mathfrak{n})^*$ die Ad*-equivariant is en voldoet aan de standaard voorwaarden voor Hamiltoniaanse systemen (met betrekking tot de Reeb-vector en de symplectische vorm).

3. Reductieprocedure:

   • Ze presenteren een Marsden-Weinstein-Meyer-reductieprocedure voor 0-geschoorde cosymplectische groeppoiden. Als 0 een reguliere waarde is van de momentafbeelding, dan is de quotiëntruimte $\mu^{-1}(0)/K$ opnieuw een cosymplectische stapel (of orbifold/manifold onder geschikte voorwaarden).
   • Deze procedure levert nieuwe inzichten op, zelfs in het geval van reductie door een gewone Lie-groep op een cosymplectische variëteit.

4. Convexiteit en Morse-Bott Eigenschappen:

   • Kirwan Convexiteit: Ze bewijzen een versie van het Kirwan-convexiteitstheorema voor deze setting. Het beeld van de momentafbeelding (de "moment body") is een gesloten convex polyhedron.
   • Morse-Bott Eigenschappen: Ze tonen aan dat de componentfuncties van de momentafbeelding Morse-Bott Lie-groeppoid-morfismen zijn. Dit betekent dat de kritieke punten een gesatureerde verzameling vormen en dat de index van de kritieke subvariëteiten even is.

4. Resultaten en Voorbeelden

• Voorbeelden: De auteurs illustreren de theorie met voorbeelden die voortkomen uit symplectische mapping tori en torische symplectische variëteiten. Ze tonen aan hoe een Hamiltoniaanse actie op een precosymplectische variëteit kan worden "gepromoot" tot een actie op een 0-geschoorde cosymplectische groeppoid.
• Foliaties en Holonomie: Ze analyseren het gedrag van de foliaties $F_\flat$ en $F_\omega$ in specifieke voorbeelden, waarbij ze aantonen dat de holonomie van deze foliaties niet-triviaal kan zijn (bijv. holonomie groepen $\mathbb{Z}_2$ of $\mathbb{Z}$), wat de noodzaak van de groeppoid-benadering onderstreept.
• Classificatie: Ze suggereren dat deze resultaten kunnen leiden tot een Delzant-achtige classificatie voor "torische cosymplectische stapels", gebaseerd op de classificatie van convexe polytopen met combinatorische data.

5. Betekenis en Impact

• Unificatie: Het werk verenigt de meetkunde van tijdsafhankelijke systemen (cosymplectisch) met de moderne theorie van differentieerbare stapels en higher-groupoids.
• Generalisatie: Het breidt de bestaande theorie van cosymplectische groeppoiden uit (die vaak multiplicatieve structuren vereisen) naar een bredere klasse van structuren die gebaseerd zijn op basale vormen, wat essentieel is voor de behandeling van singuliere quotiënten.
• Toepassingsgebied: De ontwikkelde reductietechnieken en convexiteitsresultaten bieden nieuwe instrumenten voor de studie van integrabele systemen, symmetrieën in tijdsafhankelijke dynamica en de classificatie van meetkundige objecten in de hogere meetkunde.
• Toekomstperspectief: De auteurs wijzen erop dat deze theorie de basis legt voor het bestuderen van $m$-geschoorde cosymplectische structuren op Lie $n$-groeppoiden, analoog aan de ontwikkeling in de symplectische meetkunde.

Kortom, dit artikel levert een fundamentele bijdrage aan de meetkunde van tijdsafhankelijke systemen door een robuust raamwerk te bieden voor Hamiltoniaanse dynamica op singuliere ruimtes via de taal van 0-geschoorde cosymplectische groeppoiden.