Un groupe d'homologie est un invariant algébrique d'un espace topologique obtenu en prenant les cycles modulo les bords dans un complexe de chaînes ; il mesure les 'trous' de dimension k et est gradué par dimension.

Principe

Construire des groupes de chaînes de combinaisons formelles de k‑simplices (ou k‑chaînes singulières), appliquer l'opérateur bord pour définir cycles (noyau) et bords (image), et former le quotient H_k = Ker(∂_k)/Im(∂_{k+1}).

Démonstration

Pour un tore T^2, le premier groupe d'homologie H_1(T^2) ≅ Z⊕Z : un générateur pour chaque lacet non contractile indépendant (méridien et longitude), tandis que H_0 ≅ Z enregistre les composantes connexes.

Mauvaise application

Utiliser les groupes d'homologie pour distinguer des espaces homéomorphes mais différant par des invariants plus fins (par exemple en ignorant les coefficients et l'information d'homotopie supérieure) peut induire en erreur.

Conséquence

Les groupes d'homologie fournissent des invariants calculables et fonctoriels : les nombres de Betti (rangs) comptent les cycles indépendants ; la torsion algébrique indique des caractéristiques d'ordre fini ; ils disposent de suites exactes et du principe de Mayer–Vietoris pour le calcul.

Inversion

La cohomologie inverse les flèches du complexe de chaînes pour produire des groupes H^k qui possèdent une structure de produit cup et des informations duales ; la cohomologie affine souvent l'homologie en offrant une structure d'anneau.

Limite

S'applique aux espaces topologiques munis de modèles de chaînes singulières ou simpliciales ; l'homologie ne capture pas en général la structure des groupes d'homotopie et omet des invariants plus fins comme le type d'homotopie lorsque ceux‑ci diffèrent.

Tension sémantique

Tension avec le groupe fondamental : les deux détectent des lacets, mais le groupe fondamental est non abélien et dépend du point base via la concaténation des lacets, alors que H_1 est l'abelianisation de π_1 et peut perdre la structure non abélienne.

Synthèse

Les groupes d'homologie sont des groupes abéliens gradués calculés à partir de complexes de chaînes qui quantifient les cycles de dimension k indépendants modulo les bords, fournissant des invariants topologiques calculables et des nombres de Betti.