Naar inhoud springen

Cohomologie

Uit Wikipedia, de vrije encyclopedie

Cohomologiegroepen of cohomologie-modulen zijn samen met het duale begrip homologieën het centrale studie-object van de homologische algebra. Ruw gezegd bepaalt de cohomologie de mate waarin een coketencomplex niet exact is. Zie het artikel homologie voor een andere inleidende motivering van het onderwerp.

De oudste besprekingen van cohomologie vertrekken van de vaststelling dat een gesloten differentiaalvorm niet altijd exact is; meer bepaald kan voor een gegeven gesloten differentiaalvorm (d.w.z. ) weliswaar lokaal steeds een differentiaalvorm gevonden worden zodat , maar deze voorwaarde kan niet altijd voldaan worden door eenzelfde op het hele domein van

Bernhard Riemann en Henri Poincaré gingen op zoek naar de "graad van onexactheid" van gesloten differentiaalvormen[1] en stootten op begrippen die eigen waren aan de bijzondere vorm van het domein van en die informeel overeenkwamen met "gaten" van verschillende dimensies in het domein.

Een voorbeeld van een gesloten vorm op is de 2-vorm

Deze differentiaalvorm is tevens exact. Hij is de uitwendige afgeleide van de 1-vorm

In het algemeen zijn alle gesloten vormen op exact, en dit heeft te maken met het feit dat samentrekbaar is: er zijn geen "obstructies" die beletten dat de lokale oplossingen van de vergelijking globaal aaneengeschakeld worden. We zullen zeggen dat de cohomologie van een samentrekbare ruimte in alle graden triviaal (de nulgroep) is.

Beschouw daarentegen de volgende 1-vorm op de niet-samentrekbare tweedimensionale ruimte

De ruimte is intuïtief niet samentrekbaar omdat de oorsprong er een gat in boort. De gesloten vorm kan niet differentieerbaar uitgebreid worden tot heel omdat de noemers een nulpunt hebben in de oorsprong.

De functie (of "0-vorm")

voldoet aan maar ze kan niet globaal gedefinieerd worden zonder discontinuïteit, bijvoorbeeld met een "sprong" van naar op de negatieve helft van de -as.

Technisch zal dit zich vertalen in de vaststelling dat de "eerste (de Rham-)cohomologie" van de niet-triviale groep is.

Zij een vaste commutatieve ring. Voor een gegeven coketencomplex van -modulen

is de n-de cohomologie het factormoduul tussen de kern van een morfisme en het beeld van het vorige morfisme:

Het feit dat de kern van elk morfisme het beeld van het vorige morfisme als deelmoduul omvat, volgt uit de definitie van een coketencomplex. Men kan ook zeggen dat de cohomologie bestaat uit de cocykels modulo de coranden.

Als de keten exact is in een moduul , dan zijn kern en beeld op die plaats gelijk en is de n-de cohomologie het triviale moduul {0}. De cohomologie geeft dus aan, in welke mate een coketencomplex afwijkt van exactheid.

Men spreekt ook van cohomologiegroep in het geval dat alle beschouwde structuren modulen over de ring der gehele getallen, en dus abelse groepen, zijn.

De de Rham-cohomologie van een oriënteerbare gladde variëteit wordt gevormd met het de Rham-complex, dit zijn de differentiaalvormen van orde verbonden door de differentiaaloperator die -vormen lineair afbeeldt op -vormen. De ring is in dit geval het lichaam der reële getallen; de modulen zijn dus reële vectorruimten, meer bepaald de reële vectorruimten der differentiaalvormen van orde voor

De -de cohomologie is dan eveneens een reële vectorruimte; ze bestaat uit de gesloten -vormen () modulo de exacte -vormen () en wordt op isomorfisme na gekarakteriseerd door haar dimensie.

De nulde cohomologie wordt gevormd door de scalaire functies waarvan de differentiaal nul is (modulo de triviale deelruimte ). Een functie met differentiaal nul moet constant zijn op iedere samenhangscomponent afzonderlijk. is dus de -dimensionale reële vectorruimte, waar het aantal samenhangscomponenten is van de variëteit.

De eerste cohomologie is het tensorproduct van met de abelianisering van de fundamentaalgroep, en meet dus het ruwweg het aantal "gaten" in de variëteit. Een enkelvoudig samenhangende variëteit, of algemener iedere variëteit met een eindige fundamentaalgroep heeft triviale eerste de Rham-cohomologie. Er bestaan andere, fijnere cohomologietheorieën (gebaseerd op andere complexen dan op complex van de Rham) die niet-triviale eindige fundamentaalgroepen wel kunnen detecteren.