algèbre homologique

L’algèbre homologique étudie des objets algébriques en les reliant par des applications successives. Ces enchaînements, appelés complexes, permettent de repérer ce qui se transmet correctement d’une étape à l’autre et ce qui résiste à cet enchaînement. L’information importante se trouve précisément dans ce défaut d’exactitude, nommé homologie.

Ce qu'elle étudie

Dans un complexe, chaque application conduit vers un nouvel objet, lui-même relié au suivant. L’algèbre homologique examine alors l’écart entre ce qui arrive à une étape et ce qui devrait en repartir pour que la suite soit exacte. Elle transforme cet écart en un objet algébrique que l’on peut comparer, calculer et suivre. Au lieu d’observer seulement les objets isolés, elle révèle ainsi une structure portée par leurs relations. Cet outillage, né pour étudier les formes, est devenu transversal : un même langage sert à rapprocher des constructions algébriques différentes.

À quoi elle sert

Elle fournit des moyens communs pour :

• analyser algébriquement les propriétés des formes ;
• étudier des objets de géométrie algébrique ;
• comparer des structures grâce aux défauts d’exactitude qu’elles présentent.

Où elle se place

Elle se situe au croisement de l’algèbre et de la topologie algébrique. Son caractère transversal en fait aussi un outillage de comparaison pour d’autres branches de la géométrie.