title: Cohomologie
text: 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.
  
  Achtergrond
  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 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.
  
  Definitie
  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.
  
  Voorbeeld
  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.
  
  Algebraïsche topologie
  Homologische algebra
  Homologietheorie