De Rham-cohomologie
In de wiskunde, is een De Rham-cohomologie (vernoemd naar de Zwitserse wiskundige Georges de Rham) een hulpmiddel dat zowel in de algebraïsche topologie als de differentiaaltopologie wordt gebruikt. Een De Rham-cohomologie maakt het mogelijk elementaire topologische informatie over gladde variëteiten uit te drukken in een vorm die in het bijzonder geschikt is voor berekeningen en de concrete weergave van cohomologieklassen. Het is een cohomologietheorie gebaseerd op het bestaan van differentiaalvormen met voorgeschreven eigenschappen. Een De Rham-cohomologie is in verschillende, opzichten duaal, zowel met betrekking tot de singuliere homologie als met betrekking tot de Alexander-Spanier-cohomologie.

Definitie

Gewone cohomologie
Zij  een -dimensionale differentieerbare variëteit en  de reële vectorruimte van reëelwaardige differentiaalvormen van orde .

Tussen de ruimten  en  werkt de lineaire differentiaaloperator

Deze operator heeft de belangrijke eigenschap dat , wat inhoudt dat de ruimten  en de operatoren  een coketencomplex vormen.

Een -vorm  heet gesloten als hij tot de kern van  behoort, d.w.z.

Een -vorm  heet exact als hij tot het beeld van  behoort, d.w.z. dat er een  bestaat met de eigenschap dat

De coketencomplex-eigenschap is gelijkwaardig met de vaststelling dat elke exacte differentiaalvorm gesloten is, oftewel

De -de cohomologie van De Rham is de quotiëntvectorruimte

Het coketencomplex van De Rham is exact op de -de plaats als , dus als . De cohomologie geeft een precieze betekenis aan de "mate van inexactheid" van gesloten differentiaalvormen.

Cohomologie met compacte drager
Als de variëteit  niet compact is, onderscheidt met ook de reële deelvectorruimten  der -vormen met compacte drager. Een differentiaalvorm  heeft compacte drager als er een compacte deelverzameling  bestaat zodat de restrictie van  tot  identiek is met de nulvorm.

Voor de definitie van gesloten en exacte vormen met compacte drager kijken we naar het beeld en de kern van de operatoren , beperkt tot de vectorruimten . Uitdrukkelijker heet een -vorm met compacte drager gesloten als zijn differentiaal identiek 0 is. Hieruit volgt dat iedere gesloten element van  ook gesloten is als element van .

Een -vorm met compacte drager heet exact (opgevat als differentiaalvorm met compacte drager) als hij de differentiaal is van een -vorm met compacte drager. Deze laatste vereiste is in het algemeen strenger dan de eis dat  een vorm is met compacte drager die exact is als element van . Anderzijds is ieder exact element van  ook exact als element van .

De -de cohomologie van De Rham met compacte drager is opnieuw de quotiëntvectorruimte van gesloten vormen modulo exacte vormen:

waarbij de differentiaaloperatoren  steeds beperkt blijven tot de ruimten .

De inbeddingen van gesloten vormen met compacte drager in alle gesloten vormen, en van exacte vormen met compacte drager in alle exacte vormen, geven aanleiding tot een lineaire afbeelding

In het algemeen is dit homomorfisme noch injectief, noch surjectief.

Elementair voorbeeld
Beschouw  als eendimensionale variëteit. Zoals op elke variëteit zijn de 0-vormen de onbeperkt differentieerbare reële functies. Een 1-vorm is een uitdrukking

waar  een willekeurige onbeperkt differentieerbare reële functie is. Omdat  eendimensionaal is, zijn er geen niet-triviale 2-vormen en dus zijn alle 1-vormen gesloten:

Wegens de hoofdstelling van de integraalrekening is elke onbeperkt differentieerbare functie  de afgeleide van een andere onbeperkt differentieerbare functie 

en daaruit volgt dat alle 1-vormen op  exact zijn:

We besluiten dat

In het algemeen is elke gesloten differentiaalvorm op  exact, d.w.z. dat de De Rham-cohomologie van  triviaal is. Dit staat bekend als het lemma van Poincaré.

Als we naar cohomologie met compacte drager kijken, is de situatie lichtjes anders. Weliswaar is nog steeds elke 1-vorm met compacte drager gesloten, maar niet elke dergelijke vorm is exact: de functie  hierboven heeft namelijk alleen een compacte drager als de integraal van de oorspronkelijke functie  nul is. Gesloten vormen zijn dus slechts exact op een constant veelvoud na van één vaste gekozen vorm  met integraal 1. Hieruit volgt dat de eerste cohomologie met compacte drager een eendimensionale reële vectorruimte is:

Zie ook
Hodge-theorie

Homologietheorie
Homologische algebra
Topologie