Pairs of differential forms: a framework for precontact geometry

Dit artikel vestigt een geometrisch kader voor precontact-manifolds door algemene paren van 1-vormen en 2-vormen onder milde regulariteitsvoorwaarden te analyseren, hun eigenschappen te karakteriseren, geassocieerde vectorvelden en Hamiltoniaanse dynamica te definiëren, en de theorie met diverse voorbeelden te illustreren.

De kern

Stel je voor dat je probeert de vorm en de stroom van een complexe, meerdimensionale ruimte te beschrijven. In de wiskunde, specifiek in een veld genaamd differentiaalmeetkunde, gebruiken we hulpmiddelen die differentiaalvormen worden genoemd. Denk aan deze vormen als "regels" of "instructies" die ons vertellen hoe we zaken als oppervlakte, volume of richting meten binnen een dergelijke ruimte.

Dit artikel, geschreven door Xavier Gràcia, Ángel Martínez-Muñoz en Xavier Rivas, introduceert een nieuwe manier om naar deze regels te kijken door ze aan elkaar te koppelen. In plaats van naar een enkele regel te kijken, kijken ze naar een team van twee: een "1-vorm" (laten we dit een Richting gids noemen) en een "2-vorm" (laten we dit een Oppervlakte kaart noemen).

Hier is een uiteenzetting van hun ideeën met behulp van eenvoudige analogieën:

1. Het Teamwerk: De Richting gids en de Oppervlakte kaart

Normaal gesproken bestuderen wiskundigen "Contactmeetkunde", wat lijkt op een zeer rigide, perfect georganiseerde dansvloer. In deze dans heeft elke danser (een punt in de ruimte) een specifieke richting waarin hij moet kijken, en de vloer is zo gedraaid dat je nooit soepel in een rechte lijn kunt glijden zonder te draaien. Dit is een zeer strikt, "perfect" systeem.

Echter, realistische systemen (zoals machines met kapotte tandwielen of vloeistoffen met wrijving) zijn niet altijd perfect. Ze zijn "singulier" of "gedegenereerd". De auteurs vragen zich af: Wat gebeurt er als we de regels versoepelen?

Ze stellen voor om een paar vormen te bestuderen:

• De Richting gids ($\tau$): Vertelt je welke kant "op" of "vooruit" is.
• De Oppervlakte kaart ($\omega$): Vertelt je hoe oppervlaktes draaien en buigen.

Door deze twee samen te bestuderen, kunnen ze zowel de perfecte dansvloeren (Contact) als de rommelige, kapotte vloeren (Precontact) beschrijven.

2. De "Klasse": Hoeveel regels heb je nodig?

Het artikel introduceert een concept genaamd de "Klasse" van het paar. Stel je voor dat je een kamer probeert te beschrijven.

• Als de kamer simpel is, heb je misschien slechts 3 coördinaten nodig (lengte, breedte, hoogte) om haar te beschrijven.
• Als de kamer complex is, heb je er misschien 10 nodig.

De "Klasse" is een getal dat aangeeft wat het minimale aantal coördinaten is dat nodig is om de meetkunde op een specifiek punt te beschrijven.

• Oneven Klasse: De meetkunde gedraagt zich als een "Contact"-systeem. Het is als een systeem met een unieke "leider" (een zogenaamd Reeb-vectorveld) die iedereen precies vertelt wat hij moet doen.
• Even Klasse: De meetkunde gedraagt zich anders. Het heeft geen enkele leider. In plaats daarvan heeft het een "Liouville-vectorveld", wat meer een "schaalfactor" of een "vergrootglas" is dat de ruimte uitrekt of krimpt.

De auteurs laten zien dat je kunt zien welk type systeem je hebt door simpelweg te kijken of dit "Klasse"-getal even of oneven is.

3. De "Leiders" en de "Vergroters"

Het artikel richt zich op twee speciale soorten "vectoren" (pijlen die in een richting wijzen) die in deze systemen voorkomen:

• De Reeb-vector (De Leider): Deze bestaat alleen wanneer het systeem "Oneven" is. Het is als een dirigent in een orkest. Als je een dirigent hebt, is de muziek (de meetkunde) erg gestructureerd. Het artikel bewijst dat als je een oneven klasse hebt, je deze dirigent moet hebben.
• De Liouville-vector (De Vergroter): Deze bestaat alleen wanneer het systeem "Even" is. Het is als een zoomlens. Het dirigeert niet; het schaalt zaken op of af. Als je een even klasse hebt, heb je in plaats van een dirigent deze zoomlens.

Cruciale bevinding: Je kunt niet beide tegelijkertijd hebben. Een systeem wordt ofwel geleid door een dirigent (Oneven) of gecontroleerd door een zoomlens (Even), maar nooit door beiden.

4. De Regels Veranderen (Conforme Veranderingen)

Een van de meest interessante delen van het artikel is wat er gebeurt als je de "Richting gids" verandert door deze met een getal (een functie) te vermenigvuldigen.

• Stel je voor dat je een kaart hebt. Als je de kaart met een getal vermenigvuldigt, blijven de richtingen hetzelfde, maar verandert de schaal.
• De auteurs ontdekten dat als je de "Richting gids" precies goed verandert, je de pariteit (even of oneven) van het systeem kunt omdraaien.
  • Je kunt een systeem met een "Leider" (Oneven) veranderen in een systeem met een "Vergroter" (Even).
  • Of je kunt een "Vergroter"-systeem veranderen in een "Leider"-systeem.

Ze bieden een wiskundig recept (een specifieke vergelijking) om precies uit te rekenen hoe je de regels moet veranderen om deze omschakeling te laten plaatsvinden. Het is also[gelijk] het vinden van de juiste sleutel om een deur te openen en de kamer te veranderen van een concertzaal in een sportzaal.

5. Waarom dit ertoe doet (Het "Precontact"-idee)

Het artikel gebruikt dit kader om "Precontact"-meetkunde te definiëren.

• Contactmeetkunde is de "perfecte" versie (zoals een zuivere kristal).
• Precontactmeetkunde is de "onvolmaakte" versie (zoals een kristal met een barst).

In het verleden probeerden wiskundigen deze gebarsten kristallen te bestuderen, maar liepen zij vast omdat ze ervan uitgingen dat er altijd een "dirigent" (Reeb-vector) aanwezig was. De auteurs laten zien dat in veel realistische gevallen (zoals singular mechanische systemen) er geen dirigent is. Door hun "Paar"-kader te gebruiken, kunnen ze deze rommelige systemen nauwkeurig beschrijven zonder de noodzaak dat er een dirigent bestaat.

Samenvatting

Beschouw dit artikel als een nieuwe gebruiksaanwijzing voor het beschrijven van vormen.

• Oude handleidingen werkten alleen voor perfecte, rigide vormen.
• Deze nieuwe handleiding werkt voor zowel perfecte vormen als gebroken, rommelige vormen.
• Dit doet het door een "richting" te paren met een "oppervlakte".
• Het vertelt je dat als de vorm "Oneven" is, het een leider heeft; als het "Even" is, heeft het een zoomlens.
• Het laat zelfs zien hoe je tussen deze twee toestanden kunt wisselen door de regels licht aan te passen.

Dit kader stelt wetenschappers in staat om complexe, realistische fysieke systemen (zoals machines met wrijving of vloeistoffen) te modelleren die voorheen te "rommelig" waren om in standaard geometrische theorieën te passen.

Technische samenvatting

Technische Samenvatting: Paren van differentiaalvormen: een kader voor precontactgeometrie

Probleemstelling
Het artikel adresseert de behoefte aan een rigoureus geometrisch kader voor het bestuderen van singuliere Lagrangiaanse systemen binnen de context van contactmechanica. Hoewel contactgeometrie effectief dissipatieve systemen modelleert, vertrouwen standaardformuleringen vaak op het bestaan en de uniciteit van een Reeb-vectorveld. Eerdere pogingen om "precontactstructuren" te definiëren (generalisaties van contactstructuren waarbij de niet-integreerbaarheidsconditie wordt verzwakt) waren beperkt omdat ze uitgingen van het bestaan van een Reeb-vectorveld, een aanname die in singuliere gevallen niet altijd wordt voldaan. Bovendien garandeerden bestaande definities van precontactvormen niet altijd de constantheid van de rang van de exterior afgeleide, wat tot potentiële degeneraties kan leiden. De auteurs beogen de geometrische fundamenten van precontactstructuren te verhelderen door ze te analyseren als een speciaal geval van een algemener object: een paar bestaande uit een 1-vorm en een 2-vorm.

Methodologie
De auteurs hanteren een algemene benadering door "doublets" te bestuderen, gedefinieerd als paren $(\tau, \omega)$ bestaande uit een differentiële 1-vorm $\tau$ en een 2-vorm $\omega$ op een gladde variëteit $M$. Zij leggen milde regulariteitsvoorwaarden op, specifiek door te eisen dat het paar een constante "klasse" heeft.

De methodologie verloopt via de volgende stappen:

1. Generalisatie van Klasse: Het concept van de "klasse" van een differentiaalvorm wordt uitgebreid naar paren $(\tau, \omega)$. De klasse wordt gedefinieerd als de codimensie van de karakteristieke distributie $K_{(\tau, \omega)} = \text{Ker}\,\tau \cap \text{Ker}\,\omega$.
2. Algebraïsche Karakterisering: De auteurs karakteriseren deze paren via algebraïsche condities met betrekking tot de exterior machten van $\omega$ en het wedge-product $\tau \wedge \omega^r$. Zij stellen de relatie vast tussen de pariteit van de klasse (oneven of even) en de existentie van specifieke vectorvelden.
3. Geometrische Objecten: Zij introduceren en analyseren geassocieerde geometrische structuren, waaronder een karakteristieke tensorveld $B = \tau \otimes \tau + \omega$, de uitgebreide karakteristieke distributie, en een uitgebreide 3-vorm $\tau \wedge \omega$.
4. Toepassing op Precontactvormen: Het specifieke geval van precontactvariëteiten wordt behandeld als het paar $(\eta, d\eta)$, waarbij $\eta$ een nergens verdwijnende 1-vorm is. De algemene resultaten worden toegepast om precontactvormen van zowel oneven als even klassen te karakteriseren.
5. Conforme Analyse: Het artikel onderzoekt hoe conforme transformaties (rescaling door een functie $e^f$) de pariteit van de klasse beïnvloeden, waarbij noodzakelijke en voldoende voorwaarden worden afgeleid voor een functie die de klasse verandert van even naar oneven of de oneven pariteit behoudt.

Belangrijkste Bijdragen en Resultaten

• Classificatie via Klasse-pariteit: Het artikel stelt vast dat de pariteit van de klasse van een doublet $(\tau, \omega)$ de existentie van onderscheiden vectorvelden bepaalt:

  • Oneven Klasse ($2r+1$): Equivalent aan de existentie van een Reeb-vectorveld $R$ (voldoet aan $\iota_R \tau = 1, \iota_R \omega = 0$). In dit geval is de karakteristieke distributie opgenomen in de kernel van $\omega$, maar niet andersom.
  • Even Klasse ($2r+2$): Equivalent aan de existentie van een Liouville-vectorveld $\Delta$ (voldoet aan $\iota_\Delta \omega = \tau$). Hier geldt $\text{Ker}\,\omega \subset \text{Ker}\,\tau$.
  • Cruciaal is dat Reeb- en Liouville-vectorvelden niet tegelijkertijd kunnen bestaan voor hetzelfde paar.

• Algebraïsche Karakteriseringen: De auteurs bieden expliciete algebraïsche criteria voor de klasse:

  • Klasse $2r+1$: $\omega^{r+1} = 0$ en $\tau \wedge \omega^r \neq 0$.
  • Klasse $2r+2$: $\omega^{r+1} = 0$, $\omega^r \neq 0$, en $\tau \wedge \omega^r = 0$.
  • Deze condities maken het mogelijk om de klasse te bepalen zonder de vectorvelden expliciet te construeren.

• Geometrische Structuren:

  • Karakteristieke Tensor: De tensor $B = \tau \otimes \tau + \omega$ definieert een bundelmorfisme. Voor een oneven klasse is $B$ een isomorfisme dan en slechts dan als de karakteristieke distributie nul is (het contactgeval). Voor een even klasse relateert de kernel van $B$ zich aan het Liouville-veld.
  • Uitgebreide Karakteristieke Distributie: Gedefinieerd als vectoren $v \in \text{Ker}\,\tau$ waarvoor $\iota_v \omega = a\tau$. Het artikel toont aan dat deze distributie samenvalt met de karakteristieke distributie voor oneven klassen, maar strikt groter is (gespannen door de karakteristieke distributie en een Liouville-veld) voor even klassen.
  • Uitgebreide 3-vorm: De vorm $\tau \wedge \omega$ is getoond bijna-multisymplectisch te zijn dan en slechts dan als de klasse gelijk is aan de dimensie van de variëteit (en oneven is).

• Precontactvormen: Een precontactvorm wordt gedefinieerd als een nergens verdwijnende 1-vorm $\eta$ zodanig dat het paar $(\eta, d\eta)$ een constante klasse heeft.

  • Het artikel biedt Darboux-stellingen voor zowel oneven als even klassen, wat lokale coördinatenexpressies voor $\eta$ geeft.
  • Het bewijst dat voor precontactvariëteiten de karakteristieke distributie, de kernel van $d\eta$ en de uitgebreide karakteristieke distributie allemaal involutief zijn.

• Hamiltoniaanse Dynamica: De auteurs definiëren Hamiltoniaanse dynamica op precontactvariëteiten met behulp van formuleringen die niet steunen op het Reeb-vectorveld. Een precontact Hamiltoniaans vectorveld $X$ voor een functie $H$ wordt gedefinieerd door:
  $$(\iota_X d\eta) \wedge \eta = dH \wedge \eta \quad \text{en} \quad \iota_X \eta = -H$$
  Deze formulering is geldig ongeacht of de klasse even of oneven is, waarmee de beperking van eerdere werken die een uniek Reeb-veld vereisten, wordt opgeheven.

• Conforme Veranderingen van Pariteit: Het artikel onderzoekt wanneer een conforme verandering $\eta \to e^f \eta$ de pariteit van de klasse wijzigt.

  • Van Even naar Oneven: Een functie $f$ verandert de klasse van $2r+2$ naar $2r+1$ dan en slechts dan als de Lie-afgeleide van $f$ langs elk Liouville-vectorveld voldoet aan $\mathcal{L}_\Delta f = -1$.
  • Behoud van Oneven Pariteit: Een functie behoudt de oneven klasse $2r+1$ dan en slechts dan als $\mathcal{L}_\Gamma f = 0$ voor alle $\Gamma$ in de karakteristieke distributie.
  • De auteurs bieden voldoende voorwaarden (betreffende de integrabiliteit van distributies) voor de lokale existentie van dergelijke functies.

Betekenis en Omvang
Het artikel beweert een verenigd kader te bieden dat de contactgeometrie uitbreidt om ook singuliere gevallen te omvatten waar de standaard niet-integreerbaarheidsconditie niet geldt of waar het Reeb-vectorveld niet uniek is of niet bestaat. Door precontactstructuren te behandelen als een specifiek geval van paren van differentiële vormen, herstellen de auteurs bekende resultaten van contact-, cosymplectische en symplectische geometrieën, terwijl zij nieuwe inzichten bieden in het geval van even klassen.

De primaire betekenis ligt in:

1. Generalisatie: Het verder gaan dan de restrictie tot oneven-klasse precontactvormen, waardoor een breder scala aan singuliere Lagrangiaanse systemen kan worden ondergebracht.
2. Reeb-Onafhankelijke Formulering: Het bieden van een definitie van Hamiltoniaanse dynamica op precontactvariëteiten die niet afhankelijk is van de existentie of uniciteit van een Reeb-vectorveld, wat cruciaal is voor singuliere systemen.
3. Structurele Helderheid: Het verhelderen van de geometrische rol van de klasse van een vorm en de pariteit ervan bij het bepalen van de existentie van Reeb- versus Liouville-velden.

De auteurs stellen dat dit kader bedoeld is om toegepast te worden op de studie van singuliere Lagrangiaanse systemen (zowel actie-afhankelijke als niet-autonome) en om situaties te analyseren waarin de klasse niet constant is, hoewel deze specifieke toepassingen als toekomstig werk worden genoteerd en niet als resultaten in de huidige tekst worden gepresenteerd.