On the Moser trick for Lie subalgebras and foliations

Technische Samenvatting: Over de Moser-truc voor Lie-subalgebra's en foliaties

Probleemstelling
Het artikel behandelt het probleem van het karakteriseren van de gladde trivialiteit van deformaties binnen de context van Lie-algebroiden. Specifiek richt het zich op twee limietgevallen van Lie-algebroiden: Lie-subalgebra's en foliaties. Hoewel de deformatietheorie voor Lie-algebroiden reeds is vastgesteld (met name door Crainic en Moerdijk), streeft de auteur naar het leveren van directe, zelfstandige bewijzen voor deze specifieke randgevallen. De centrale vraag is het vaststellen van noodzakelijke en voldoende voorwaarden waaronder een gladde deformatie van een Lie-subalgebra of een foliatie "triviaal" is (d.w.z. equivalent aan de constante deformatie via een gladde familie van automorfismen of diffeomorfismen). Een bijzondere motivatie is het uitbreiden van deze resultaten naar algemene Lie-subalgebroiden, waarbij de quasi-isomorfisme tussen verschillende deformatiecomplexen (die geldt voor foliaties) over het algemeen faalt.

Methodologie
De auteur hanteert een deformatie-theoretische benadering die geworteld is in de Chevalley-Eilenberg-complex en de "Moser-truc" (een methode die gebruikmaakt van tijd-afhankelijke vectorenvelden en stromingen om equivalenties te construeren).

1. Lie-subalgebra's en idealen (Sectie 2):

   • De auteur associeert een familie van cocycli aan een gladde deformatie van een Lie-algebra morfisme, een Lie-subalgebra, of een Lie-ideaal.
   • Door de vergelijkingen die deze structuren definiëren te differentiëren met betrekking tot de deformatieparameter $t$, leidt de auteur voorwaarden af die betrokken zijn bij de tijd-afgeleide van de deformatie-afbeeldingen.
   • De kerntechniek bestaat uit het construeren van tijd-afhankelijke vectorenvelden op de relevante Lie-groepen of vectorruimten. Het bestaan van een oplossing voor een specifieke differentiaalvergelijking (betrokken bij de deformatie-cocyclus en een tijd-afhankelijk vectorenveld) wordt aangetoond equivalent te zijn aan de trivialiteit van de deformatie.
   • De bewijzen steunen op de lokale existentie van stromingen voor tijd-afhankelijke vectorenvelden en de uniciteit van integraalcurven.

2. Foliaties (Sectie 3):

   • Het artikel behandelt een foliatie als een involutieve distributie. Een gladde deformatie wordt gedefinieerd als een foliatie op $M \times I$ die tangentieel is aan de sneden.
   • De auteur maakt gebruik van het deformatiecomplex van foliaties, geïdentificeerd met $(\Omega^\bullet(\mathcal{F}; \nu(\mathcal{F})), d^\nabla)$, waarbij $\nu(\mathcal{F})$ de normale bundel is en $\nabla$ de Bott-verbinding.
   • Een "deformatie-cocyclus" $\sigma_t$ wordt gedefinieerd als de tijd-afgeleide van de projectie op de foliatie.
   • De Moser-truc wordt geïmplementeerd door een tijd-afhankelijk vectorenveld op de productvariëteit $M \times I$ te construeren. De involutiviteit van een specifieke subbundel $D$ (geconstrueerd uit de totale foliatie en het vectorenveld) wordt aangetoond equivalent te zijn aan het verdwijnen van de deformatie-cocyclus in de cohomologie.

Kernbijdragen en Resultaten

• Lie-subalgebra's (Stelling 2.2): Het artikel stelt een cohomologische criterium vast voor de trivialiteit van een gladde deformatie van een Lie-subalgebra $(h, \iota) \subset g$. Het bewijst dat een deformatie $Aut(g)$-triviaal is dan en slechts dan als de geassocieerde cochain $\pi_{can} \circ \dot{\iota}_t$ (de projectie van de tijd-afgeleide van de inclusie-afbeelding) verdwijnt in de cohomologie van het deformatiecomplex $C^\bullet_{\iota_t}(h_t; g/\iota_t(h_t))$.
• Lie-idealen (Stelling 2.3): Een analoog criterium wordt afgeleid voor de deformatie van een Lie-ideaal binnen een kort exacte sequentie van Lie-algebra's. De trivialiteit van de deformatie is gekoppeld aan het verdwijnen van een specifieke cocyclus in het complex $C^\bullet_{\pi_t}(g; Hom(h_t, k_t))$.
• Moser-truc voor foliaties (Stelling 3.7): De auteur levert een direct bewijs van de Moser-truc voor foliaties. Het hoofdbestanddeel van het resultaat is dat een gladde deformatie $(F_t)_{t \in I}$ van een foliatie $F$ op een compacte variëteit $M$ triviaal is dan en slechts dan als de deformatie-cocycli $\sigma_t$ glad verdwijnen in de cohomologie (d.w.z. $[\sigma_t] = 0$ in $H^1(F_t; \nu(F_t))$).
• Verfijning van bestaande resultaten (Lemma 3.8): Het artikel demonstreert dat een triviale deformatie altijd een exacte deformatie-cocyclus oplevert, waarmee een resultaat van Heitsch [10] wordt teruggewonnen maar onder zwakkere aannames (het verwijderen van de noodzaak voor een volledige vectorenveld op de omringende variëteit).

Betekenis en Claims
Het artikel claimt een "direct bewijs" te leveren van de Moser-truc voor foliaties dat uitsluitend steunt op het deformatiecomplex van de foliatie beschouwd als een involutieve distributie, in plaats van de bredere machinerie van de Lie-algebroid deformatietheorie aan te roepen.

De auteur merkt op dat hoewel de deformatietheorie voor Lie-algebroiden (Crainic-Moerdijk) het resultaat voor foliaties impliceert via een quasi-isomorfisme, deze quasi-isomorfisme over het algemeen niet geldt voor willekeurige Lie-subalgebroiden. Daarom zijn de hier ontwikkelde technieken — specifiek de infinitesimale analogen van de Moser-trucs voor Lie-subalgebra's en idealen — bedoeld om te dienen als een fundament voor het uitbreiden van de trivialiteitsresultaten naar algemene Lie-subalgebroiden, een taak die de auteur aangeeft het onderwerp te zijn van vervolgwerk [1].

Het werk is bescheiden in zijn reikwijdte en richt zich op het vaststellen van de noodzakelijke en voldoende cohomologische voorwaarden voor trivialiteit in deze specifieke geometrische omgevingen, zonder nieuwe experimentele toepassingen of brede fysieke theorieën voor te stellen. Het dient als een technische brug tussen de deformatietheorie van Lie-algebra's en de complexere theorie van Lie-algebroiden.