The de Rham cohomology of a Lie group modulo a dense subgroup

Deze paper toont aan dat de diffeologische de Rham-cohomologie van de ruimte $G/H$, waarbij $H$ een dichte ondergroep is van een Lie-groep $G$, gelijk is aan de Lie-algebra-cohomologie van $\mathfrak g/\mathfrak h$.

De kern

De Kern: Een Wiskundig Mysterie opgelost

Stel je voor dat je een grote, perfecte bol hebt (dit is de "Lie-groep", laten we hem $G$ noemen). Op deze bol loop je rond. Nu neem je een dichtbevolkte menigte mensen die over de hele bol verspreid staan, maar zo willekeurig dat je nergens een leeg plekje kunt vinden zonder iemand aan te raken (dit is de "dichte ondergroep", $H$).

In de gewone wiskunde is dit een probleem. Als je probeert de ruimte te maken die overblijft als je de menigte $H$ "weglaat" of "samenvoegt" tot één punt, krijg je een rommeltje. De ruimte is zo vol met gaten en kieren dat hij geen normale vorm heeft. Het is alsof je probeert een kaart te tekenen van een land waar elke centimeter tegelijkertijd een stad en een bos is. De gebruikelijke regels van meetkunde (topologie) werken hier niet meer; de ruimte is "niet-Hausdorff" (een wiskundige term voor: je kunt punten niet van elkaar onderscheiden).

De vraag van de auteurs:
Hoe kun je de "vorm" of de "structuur" van deze chaotische ruimte ($G/H$) toch beschrijven? Kunnen we er nog iets zinnigs over zeggen?

De Oplossing: Een Nieuwe Bril (Diffeologie)

De auteurs, Brant Clark en François Ziegler, gebruiken een nieuwe manier van kijken, genaamd diffeologie.

• De oude bril: Kijkt naar de ruimte als een statisch object. Als de ruimte te rommelig is, zegt de bril: "Dit bestaat niet."
• De nieuwe bril (Diffeologie): Kijkt naar de ruimte als een landschap van paden. In plaats van te vragen "Hoe ziet het eruit?", vragen ze: "Welke paden kun je eroverheen lopen?" Zelfs als de ruimte chaotisch is, kun je vaak nog wel glimende, gladde paden (plots) eroverheen tekenen.

Met deze nieuwe bril ontdekken ze iets verrassends: Hoewel de ruimte $G/H$ eruitziet als een complete chaos, heeft hij een verborgen, strakke structuur.

De Magische Formule: Van Chaos naar Algebra

De grote ontdekking van het artikel is een soort "vertaalformule". Ze laten zien dat je de ingewikkelde vorm van deze chaotische ruimte kunt berekenen door simpelweg naar de algebra (de rekenregels) van de groep te kijken.

Stel je voor dat de Lie-groep $G$ een enorme machine is met tandwielen. De ondergroep $H$ is een specifiek type tandwiel dat overal in de machine zit.

1. De "Dichte" Eigenschap: Omdat $H$ overal zit (dicht is), gedraagt het zich alsof het de hele machine beheerst.
2. De "Ideal" Eigenschap: De auteurs bewijzen dat de "schaduw" van $H$ in de wiskundige taal van de machine (de Lie-algebra) een heel specifiek type structuur heeft, genaamd een ideaal. Dit betekent dat je de machine kunt "oplossen" door de $H$-delen eruit te halen en te kijken wat er overblijft.

De conclusie in simpele taal:
De "vorm" van de chaotische ruimte $G/H$ is precies hetzelfde als de "vorm" van een heel simpel, abstract wiskundig object dat je krijgt door de regels van de machine ($g$) te delen door de regels van de menigte ($h$).

Het artikel zegt: "Je hoeft niet naar de rommelige ruimte te kijken om te weten hoe hij eruitziet. Kijk gewoon naar de rekenregels van de machine, trek de regels van de menigte eraf, en je hebt het antwoord."

De Drie Scenarios (Met Verhelderende Voorbeelden)

De auteurs geven drie voorbeelden van hoe dit werkt:

1. De "Aaneengesloten" Menigte (D-connected):

   • Vergelijking: Stel je voor dat de menigte $H$ bestaat uit mensen die allemaal hand in hand een lange, ononderbroken keten vormen die over de hele bol loopt.
   • Resultaat: De overgebleven ruimte voelt aan als een volledige verzameling van vrije richtingen. De wiskundige cohomologie (de maat voor "gaten" in de vorm) is enorm en vol. Het is alsof je een heel nieuw universum van vormen hebt ontdekt dat eruitziet als een reeks van alle mogelijke hoeken.

2. De "Verspreide" Menigte (D-discrete):

   • Vergelijking: Nu staan de mensen in de menigte $H$ als losse, geïsoleerde eilandjes, heel ver uit elkaar, maar toch overal.
   • Resultaat: De ruimte $G/H$ gedraagt zich precies alsof de menigte er niet was. De "vorm" is identiek aan de vorm van de oorspronkelijke machine $G$. Het is alsof je door de eilandjes heen kijkt en alleen de achtergrond ziet.

3. De "Rijst" in de Soep (Voorbeeld uit de tekst):

   • Een klassiek voorbeeld is een cirkel (een torus) met een lijn die eromheen loopt met een "irrationale" hoek (zoals $\pi$). De lijn raakt de cirkel nooit op dezelfde plek twee keer, maar komt wel overal in de buurt.
   • De auteurs laten zien dat deze lijn, hoewel hij eruitziet als een wirwar, in feite een heel simpele, rechte lijn is die je kunt "afrollen" tot een cirkel. De wiskundige structuur is net zo rijk als die van een gewone cirkel, ondanks dat de ruimte eruitziet als een wazige vlek.

Waarom is dit belangrijk?

Vroeger dachten wiskundigen dat als een ruimte te chaotisch was (zoals een dichte ondergroep), je er niets zinnigs over kon zeggen. Je kon er geen "gaten" in tellen of vormen in beschrijven.

Dit artikel zegt: "Nee, je kunt het wel!"
Ze tonen aan dat zelfs in de meest chaotische, "dichte" situaties, er een diepe, stille orde schuilt. Die orde is niet te vinden in de vorm van de ruimte zelf (die is te rommelig), maar in de rekenregels (de algebra) die de ruimte besturen.

Het is alsof je een wirwar van touwen ziet hangen. Je kunt de wirwar niet ontwarren. Maar als je kijkt naar de knopen waar de touwen aan vastzitten, zie je dat ze precies in een perfect patroon zijn gerangschikt. De auteurs hebben de sleutel gevonden om van die knopen direct naar het patroon te springen, zonder de wirwar ooit aan te raken.

Samenvatting in één zin

Zelfs als je een wiskundige ruimte zo chaotisch maakt dat hij eruitziet als een wazige vlek, kun je zijn ware vorm toch perfect beschrijven door simpelweg de rekenregels van de onderliggende structuur te gebruiken.

Technische samenvatting

Titel: De de Rham-cohomologie van een Lie-groep modulo een dichte ondergroep

1. Het Probleem

Het artikel adresseert een fundamenteel probleem in de differentiaalmeetkunde en de theorie van Lie-groepen: hoe definieert men de de Rham-cohomologie voor de quotiëntruimte $G/H$, wanneer $H$ een niet-gesloten (en specifiek dichte) ondergroep is van een Lie-groep $G$?

• De klassieke obstakels: In de standaard topologie is de deelruimtetopologie van een niet-gesloten ondergroep $H$ geen Lie-groeptopologie, en de quotiënttopologie van $G/H$ is niet-Hausdorff. Als $H$ dicht in $G$ ligt, is de quotiënttopologie zelfs triviaal (de enige open verzamelingen zijn de lege verzameling en de hele ruimte). In een dergelijke context is de algebra van gladde functies op $G/H$ triviaal, waardoor klassieke methoden voor cohomologie falen.
• Bestaande benaderingen: Eerdere pogingen om dit probleem op te lossen, zoals die van Connes en Lott, maakten gebruik van "niet-commutatieve topologie" en cyclische cohomologie van kruisproductalgebra's. Deze benaderingen zijn echter complex en vervangen de meetkundige structuur door algebraïsche structuren.

2. Methodologie: Differentiologische Ruimten

De auteurs kiezen voor een meetkundige benadering door gebruik te maken van de theorie van differentiologische ruimten (diffeological spaces), ontwikkeld door Souriau en anderen.

• Differentiologie: In plaats van kaarten (charts) te definiëren, definieert men een "plot" als een gladde afbeelding van een open deel van $\mathbb{R}^m$ naar de ruimte $X$. Een differentiologische structuur voldoet aan axioma's voor dekking, lokaliteit en gladde compatibiliteit.
• Quotiënten en deelruimten: Deze categorie heeft het voordeel dat willekeurige quotiënten en deelruimten bestaan en een natuurlijke "quotiënt-differentiologie" respectievelijk "deelruimte-differentiologie" dragen, zelfs als de onderliggende topologie slecht is (zoals bij dichte ondergroepen).
• De Rham-complex: Voor elke differentiologische ruimte $X$ kan men een de Rham-complex $(\Omega^\bullet(X), d)$ definiëren. Een $k$-vorm is een functionaal die elke plot $P: U \to X$ afbeeldt op een gewone $k$-vorm op $U$, op een compatibele manier. De cohomologie hiervan is de differentiologische de Rham-cohomologie $H^\bullet_{dR}(X)$.

3. Belangrijkste Bijdragen en Resultaten

De kern van het artikel is het bewijzen van een isomorfisme tussen de differentiologische cohomologie van $G/H$ en de Lie-algebra cohomologie van een gerelateerd quotiënt.

Hoofdstelling (Theorem 0.2):
Laat $H$ een dichte ondergroep zijn van een Lie-groep $G$ met Lie-algebra $\mathfrak{g}$. Definieer:
$$\mathfrak{h} = \{ Z \in \mathfrak{g} : \exp(tZ) \in H \text{ voor alle } t \in \mathbb{R} \}$$
Dan is $\mathfrak{h}$ een ideaal in $\mathfrak{g}$, en er geldt een isomorfisme van complexe:
$$(\Omega^\bullet(G/H), d) \cong (\Lambda^\bullet(\mathfrak{g}/\mathfrak{h})^*, d)$$
Hierbij is het rechterlid het Chevalley-Eilenberg-complex van de Lie-algebra $\mathfrak{g}/\mathfrak{h}$. Dit leidt tot de cohomologie-isomorfisme:
$$H^\bullet_{dR}(G/H) \cong H^\bullet(\mathfrak{g}/\mathfrak{h})$$

Technische Bewijsstappen:

1. Invariantheid: De auteurs tonen aan dat het pull-back via de projectie $\Pi: G \to G/H$ een bijectie is tussen de differentiaalvormen op $G/H$ en de vormen op $G$ die rechts-invariant zijn en "horizontaal" zijn ten opzichte van $\mathfrak{h}$ (d.w.z. ze verdwijnen op vectoren in $\mathfrak{h}$).
2. Overgang naar links-invariantie: Door gebruik te maken van de inversie-afbeelding, worden rechts-invariante vormen gekoppeld aan links-invariante vormen.
3. Lie-algebra koppeling: Links-invariante vormen op $G$ corresponderen met elementen van $\Lambda^\bullet \mathfrak{g}^*$. De voorwaarde van $\mathfrak{h}$-horizontaliteit reduceert dit tot $\Lambda^\bullet(\mathfrak{g}/\mathfrak{h})^*$.
4. Differentiaal: De Chevalley-Eilenberg differentiaal op $\Lambda^\bullet(\mathfrak{g}/\mathfrak{h})^*$ komt overeen met de externe afgeleide $d$ op de differentiologische vormen.

Corollaria en Speciale Gevallen (0.4):

• (a) D-connected $H$: Als $H$ "D-connected" is (verbonden in de Lie-groeptopologie van $H$), dan is $\mathfrak{g}/\mathfrak{h}$ abels. De cohomologie is dan het volledige uitwendige algebra $\Lambda^\bullet(\mathfrak{g}/\mathfrak{h})^*$.
• (b) D-discrete $H$: Als $H$ "D-discrete" is (d.w.z. $\mathfrak{h} = \{0\}$), dan is $H^\bullet_{dR}(G/H) \cong H^\bullet(\mathfrak{g})$. Dit betekent dat elke Lie-algebra cohomologiering kan worden gerealiseerd als de cohomologie van een dichte ondergroep.
• (c) Vectorruimte quotiënten: Voor $V/A$ (vectorruimte modulo een dichte, discrete additieve ondergroep) is de cohomologie het volledige uitwendige algebra $\Lambda^\bullet V^*$.

4. Voorbeelden en Vergelijkingen

• Irrationele winding: Het klassieke voorbeeld is de 2-torus $G = S^1 \times S^1$ modulo een irrationale winding $H$. Hier is $G/H$ een "quasicirkel". De auteurs tonen aan dat $H^\bullet_{dR}(G/H) \cong \mathbb{R} \oplus \mathbb{R}$, wat overeenkomt met de cohomologie van een cirkel, ondanks dat de topologie triviaal is.
• Vergelijking met andere theorieën:
  • De resultaten verschillen van de periodieke cyclische cohomologie van de bijbehorende kruisproductalgebra (zoals gevonden door Connes en Lott), die voor een quasicirkel een andere structuur geeft ($\mathbb{R} \oplus \mathbb{R}^2 \oplus \mathbb{R}$).
  • De resultaten komen echter overeen met de differentiologische Čech-cohomologie (zoals gedefinieerd door Kihara), wat suggereert dat $G/H$ zich gedraagt als een differentiologische $K(A, 1)$-ruimte.

5. Significatie

• Unificatie: Het artikel biedt een elegante, zuiver meetkundige oplossing voor het cohomologieprobleem van dichte ondergroepen, zonder terug te grijpen op niet-commutatieve algebra.
• Nieuw inzicht: Het toont aan dat de "triviale" topologische structuur van $G/H$ (bij dichte $H$) niet betekent dat de ruimte cohomologisch triviaal is. De differentiologische structuur vangt de "gladde" informatie die in de topologie verloren gaat.
• Algebraïsche reductie: Het resultaat reduceert een complex meetkundig probleem (cohomologie van een quotient van een Lie-groep) tot een puur algebraïsch probleem (Lie-algebra cohomologie), wat berekeningen aanzienlijk vereenvoudigt.
• Onafhankelijke ontdekking: De auteurs merken op dat H. Kihara onafhankelijk tot hetzelfde resultaat is gekomen, wat de robuustheid en relevantie van de stelling onderstreept.

Kortom, het paper demonstreert dat de theorie van differentiologische ruimten een krachtig hulpmiddel is om de meetkundige eigenschappen van pathologische ruimten (zoals quotiënten door dichte ondergroepen) te bestuderen, en dat deze eigenschappen direct gekoppeld kunnen worden aan de algebra van de onderliggende Lie-groep.