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 ![{\displaystyle w.}](//wikimedia.org/api/rest_v1/media/math/render/svg/d358cd6be4381ccfa44bd5702785437956d6e23f)
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
![{\displaystyle w=x^{1}\mathrm {d} x^{1}\wedge \mathrm {d} x^{2}+x^{1}\mathrm {d} x^{1}\wedge \mathrm {d} x^{3}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ea29b489e76224820966907cc45422666922943e)
Deze differentiaalvorm is tevens exact. Hij is de uitwendige afgeleide
van de 1-vorm
![{\displaystyle q=-{\tfrac {1}{2}}(x^{1})^{2}\mathrm {d} x^{2}-{\tfrac {1}{2}}(x^{1})^{2}\mathrm {d} x^{3}}](//wikimedia.org/api/rest_v1/media/math/render/svg/3a6aa90381c0f79672ef6cb76f9e674203a2746a)
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 ![{\displaystyle {\mathbb {R} }^{2}-\{(0,0)\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/53dca9252317e3cf51e245b8fb2e7d29f40930f9)
![{\displaystyle w={\frac {-x^{2}}{(x^{1})^{2}+(x^{2})^{2}}}\mathrm {d} x^{1}+{\frac {x^{1}}{(x^{1})^{2}+(x^{2})^{2}}}\mathrm {d} x^{2}}](//wikimedia.org/api/rest_v1/media/math/render/svg/cbcad0ed38f4917d6ee5132ac5f4298a92b28a8f)
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")
![{\displaystyle f(x^{1},x^{2})=\arctan {\frac {x^{2}}{x^{1}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c2cd8edbee4ccc439bac89ad6e8776287221a276)
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
![{\displaystyle \cdots {\stackrel {d_{n-1}}{\to }}A_{n}{\stackrel {d_{n}}{\to }}A_{n+1}{\stackrel {d_{n+1}}{\to }}A_{n+2}{\stackrel {d_{n+2}}{\to }}\cdots }](//wikimedia.org/api/rest_v1/media/math/render/svg/0524140e3fed6624154ec966743689371f7c4215)
is de n-de cohomologie het factormoduul tussen de kern van een morfisme en het beeld van het vorige morfisme:
![{\displaystyle H^{n}={\hbox{Ker}}\,d_{n}/{\hbox{Im}}\,d_{n-1}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a4fb011a24da5bf9cfbbef4811224bd3b64e9b35)
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 ![{\displaystyle n\in {\mathbb {N} }.}](//wikimedia.org/api/rest_v1/media/math/render/svg/58ec3a22c00e1ba40475b4f2dc4a071d5e9555b5)
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.
Bronnen, noten en/of referenties
Dieudonné, Jean, "Eléments d'analyse," deel 9 "Topologie algébrique, topologie différentielle élémentaire," heruitgave Editions Jacques Gabay 2006.