Homologie singulière

En topologie algébrique, l'homologie singulière est une construction qui permet d'associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association est un invariant topologique non complet, c'est-à-dire que si deux espaces sont homéomorphes alors ils ont mêmes groupes d'homologie singulière en chaque degré mais que la réciproque est fausse.

Origine : intégration des formes différentielles fermées

Le théorème de Stokes appliqué à des formes fermées donne des intégrales nulles. Cependant, il se fonde sur une hypothèse cruciale de compacité. En présence de trous dans la variété sous-jacente, on peut construire des formes fermées avec des intégrales de bord non nulles. Par exemple,

\omega (x,y)=-{\frac {y}{x^{2}+y^{2}}}\mathrm {d} x+{\frac {x}{x^{2}+y^{2}}}\mathrm {d} y

1-forme définie sur ℝ² \ { (0, 0) }. Vérifions sa fermeture :

\mathrm {d} \omega =\left({\frac {\partial \omega _{y}}{\partial x}}-{\frac {\partial \omega _{x}}{\partial y}}\right)\mathrm {d} x\wedge \mathrm {d} y=\left({\frac {y^{2}-x^{2}}{(x^{2}+y^{2})^{2}}}+{\frac {x^{2}-y^{2}}{(x^{2}+y^{2})^{2}}}\right)\mathrm {d} x\wedge \mathrm {d} y=0.

Pourtant sa circulation le long du cercle unité est non nulle :

\oint _{S^{1}}\omega =\int _{0}^{2\pi }\omega (\cos \theta ,\sin \theta )\cdot (-\sin \theta ,\cos \theta )~\mathrm {d} \theta =\int _{0}^{2\pi }1~\mathrm {d} \theta =2\pi .

C'est bien le trou à l'origine qui empêche le théorème de Stokes de s'appliquer. Si on trace le cercle ailleurs dans le plan, pour qu'il n'entoure plus l'origine, la circulation de ω s'annulera. Les contours d'intégration fermés et formes différentielles fermées permettent ainsi de mesurer des caractéristiques topologiques de la variété sous-jacente.

Or les contours d'intégration ont une structure algébrique de groupe abélien. On peut additionner deux contours ; cela veut dire qu'on intégrera les formes sur chacun et qu'on sommera les résultats. D'autre part, on souhaite décréter nuls les contours qui intègrent à 0 toutes les formes fermées ; par le théorème de Stokes, ce sont tous les contours qui enferment un compact. Ces contours dits bords forment un sous-groupe, par lequel on peut quotienter pour obtenir les informations topologiques recherchées : les différentes façons d'intégrer les formes différentielles fermées.

L'homologie singulière abstrait cette mesure algébrique des propriétés topologiques d'un espace, en se détachant des notions analytiques de variété différentielle, intégrale et forme différentielle.

Le complexe

Avant de définir l'homologie singulière d'un espace topologique X, il est nécessaire d'introduire quelques définitions.

Simplexes

On appelle simplexe standard Δ_n de dimension n l'enveloppe convexe dans ℝⁿ des points e₀, e₁, … , e_n, où e₀ = (0,…,0) et e_i = (0, … , 0, 1, 0, … , 0), le 1 étant placé à la i^e position.

Un simplexe singulier de dimension n de X est une application continue de Δ_n dans X. Ainsi, un 0-simplexe s'identifie à un point de X. Un 1-simplexe est un chemin reliant deux points (éventuellement confondus). Un 2-simplexe est un triangle plein de X (ou plutôt une application du triangle Δ₂ dans X).

On considère ensuite les sommes formelles de n-simplexes, c'est-à-dire les applications à support fini, définies sur l'ensemble des n-simplexes de X et à valeurs entières. On les appelle n-chaînes. Par exemple, une 0-chaîne s'écrit sous la forme ∑n_PP où n_P est un entier relatif pour tout point P de X, la somme étant finie. L'ensemble M_n des n-chaînes constitue un groupe abélien libre (ou un module libre si on se place sur un anneau autre que $\mathbb {Z}$ ).

Par convention, M_{– 1} = 0.

L'application bord

On note ∂₀ l'application (nulle) de M₀ dans M_–1.

Si σ est un simplexe de X de dimension n > 0, la i-ème face orientée σ_i de σ est la restriction de l'application au simplexe standard de dimension n – 1, enveloppe convexe des points e₀, … , e_{i – 1}, e_{i + 1}, … , e_n. Le bord ∂σ de σ est par définition égal à

\partial \sigma =\sum _{i=0}^{n}(-1)^{i}\sigma _{i}.

L'application bord est étendue par linéarité aux chaînes. On obtient alors un morphisme ∂_n de M_n dans M_{n – 1}. Le bord d'une chaîne partage des analogies avec la notion de frontière d'une partie, mais cette dernière est une partie de X alors que le bord est un objet purement algébrique, sur lequel on peut effectuer des opérations.

Par exemple, le bord d'un 1-simplexe reliant le point P au point Q est la 0-chaîne Q – P. Le bord d'un 2-simplexe de sommets P, Q, R est la 1-chaîne (QR) – (PR) + (PQ), en notant (QR) le chemin reliant Q à R, en se restreignant au premier côté de Δ₂. On remarque que, si l'on prend le bord de (QR) – (PR) + (PQ), on obtient R – Q – R + P + Q – P = 0.

Plus généralement, on montre que la composition successive de deux applications bord est nulle. Autrement dit, ∂_n ∘ ∂_{n + 1} = 0. On dit que la suite des groupes ou modules M_n, munie de l'application bord, forme un complexe de chaînes.

En général, le complexe construit est « très gros » et incalculable en pratique. Par exemple, le premier groupe, d'indice zéro, est le groupe des sommes formelles, à coefficients entiers relatifs, des points de l'espace étudié : c'est un groupe abélien libre de rang le cardinal de X.

Cycles et bords, groupes d'homologies

Puisque ∂_n ∘ ∂_{n + 1} = 0, on a Im(∂_{n + 1}) ⊂ Ker(∂_n). Les éléments de Im(∂_{n + 1}) sont appelés bords ; ce sont les chaînes qui sont images d'une autre chaîne par l'application bord. Les éléments de Ker(∂_n) sont appelés cycles ; ce sont les chaînes dont le bord est nul. Tout bord est un cycle.

Le groupe quotient ou module quotient Ker(∂_n)/Im(∂_{n + 1}) est le n-ième groupe H_n d'homologie singulière de l'espace topologique X. C'est un invariant topologique. On associe ainsi à tout espace topologique une suite de groupes abéliens.

Par exemple pour deux points P et Q, le cycle P – Q sera considéré comme nul dans le zéroième groupe d'homologie H₀ si c'est un bord. Il suffit qu'il soit le bord d'un chemin reliant P à Q. C'est le cas si P et Q sont dans la même composante connexe par arcs de X.

Résultats

Le calcul effectif des groupes d'homologie H₀, H₁, H₂, ... est en général difficile. Nous donnons ici les résultats les plus classiques. Une version simplifiée de l'homologie singulière, l'homologie simpliciale permet de calculer les groupes d'homologie des espaces topologiques admettant une triangulation.

Le point : tous les groupes sont nuls, sauf H₀ qui est isomorphe à ℤ.
La boule Bⁿ de ℝⁿ : comme le point, puisque la boule est contractile.
La sphère Sⁿ de ℝ^{n + 1}, pour n ≥ 1 : tous les groupes sont nuls sauf H₀ et H_n qui sont isomorphes à ℤ.
Le plan projectif réel P₂(ℝ) :
H₀ = ℤ
H₁ = ℤ/2ℤ
H_q = 0 si q ≥ 2.
Plus généralement, l'espace projectif réel P_n(ℝ) :
H₀ = ℤ
H_q = 0 si 1 < q ≤ n et q pair
H_q = ℤ/2ℤ si 1 ≤ q < n et q impair
H_n = ℤ si n impair
H_q = 0 si q > n.
L'espace projectif complexe P_n(ℂ) :
H_q = ℤ si 0 ≤ q ≤ n et q pair
H_q = 0 sinon
Le tore T² :
H₀ = ℤ
H₁ = ℤ²
H₂ = ℤ
H_q = 0 si q > 2.

Le tableau suivant donne les groupes d'homologie pour quelques espaces topologiques usuels, avec comme coefficients, les entiers, les entiers modulo 2, ou les réels.

Nom de l'espace topologique	Groupes d'homologie à coefficients entiers	Groupes d'homologie à coefficients entiers modulo 2	Groupes d'homologie à coefficients réels
Espace euclidien Rⁿ	H_*(Rⁿ, Z)=0	H_*(Rⁿ,Z₂)=0	H_*(Rⁿ,R)=0
Sphère Sⁿ	H_*(Sⁿ, Z)=Z[0]+Z[n]	H_*(Sⁿ,Z₂)=Z₂[0]+Z₂[n]	H_*(Sⁿ,R)=R[0]+R[n]
Espace projectif Pⁿ(R)	H_p(PⁿR,Z)=Z si p=0 ou p=n impair ; Z/2Z si 0<p<n+1, 0 sinon	H_*(PⁿR, Z₂)= Z₂[0] +Z₂[1] +...+Z₂ [n]

Propriétés

Homologie et connexité par arcs

Si (X_k) est la famille des composantes connexes par arcs de X alors, pour tout q, H_q(X) est la somme directe des H_q(X_k)[1]. Il suffit donc de chercher les groupes d'homologie d'espaces connexes par arcs.

Dans le cas particulier d'un espace X non vide et connexe par arcs, le zéroième groupe d'homologie H₀(X) est canoniquement isomorphe à ℤ (ou à A si l'on considère les modules sur un anneau A)[1].

Démonstration

La forme linéaire ε sur Ker(∂₀) = M₀ qui à tout point de X associe 1 est surjective (car X est non vide) et s'annule sur Im(∂₁). Réciproquement, tout élément c = ∑n_PP de son noyau est un bord car en fixant un point Q de X et en choisissant, pour tout P, un chemin σ_P de Q à P, on trouve ∂₁(∑n_Pσ_P) = ∑n_P(P – Q) = c – ε(c)Q = c. On conclut par le théorème de factorisation.

Dans le cas général, H₀(X) est donc le groupe abélien libre (ou le module libre) sur l'ensemble des composantes connexes par arcs de X[1].

Homologie et homotopie

Soit X un espace connexe par arcs. Un 1-cycle de X est une 1-chaîne dont le bord est nul. Intuitivement, on peut le voir comme un chemin qui se referme, ou un lacet. Par ailleurs, un 1-bord est le bord d'une 2-chaîne. Si ce bord se décompose en deux cycles, ces deux cycles seront considérés comme égaux dans le groupe d'homologie H₁(X), celui-ci étant le quotient de l'ensemble des cycles par l'ensemble des bords. Par ailleurs, on conçoit qu'on puisse déformer continûment l'un des cycles en l'autre en passant par la surface dont ils constituent les bords. On reconnaît alors la notion d'homotopie. Il n'est donc pas étonnant qu'il existe un rapport entre le premier groupe d'homotopie ou groupe fondamental de Poincaré $π$ ₁(X) et le premier groupe d'homologie H₁. Le théorème d'Hurewicz énonce que l'application qui, à une classe d'homotopie d'un lacet, associe la classe d'homologie de la 1-chaîne correspondant à ce lacet, est un morphisme surjectif de $π$ ₁(X) sur H₁(X), dont le noyau est le sous-groupe des commutateurs de $π$ ₁(X). Il en résulte que H₁(X) est l'abélianisé de $π$ ₁(X), autrement dit isomorphe à $π$ ₁(X) après avoir rendu la loi de composition du groupe commutative. Par exemple, le groupe fondamental d'un espace X en forme de 8 est le groupe libre engendré par deux éléments. Son groupe d'homologie H₁ est le groupe abélien libre engendré par deux éléments.

Deux espaces ayant même type d'homotopie (et a fortiori deux espaces homéomorphes) sont quasi-isomorphes donc ont mêmes groupes d'homologie mais la réciproque est fausse : par exemple si G est un groupe parfait non trivial, l'homologie de l'espace d'Eilenberg-MacLane K(G, 1) est la même que celle du point, mais pas son groupe fondamental.

Nombres de Betti et caractéristique d'Euler

Le n-ième nombre de Betti b_n de l'espace X est le rang (en) de son n-ième groupe d'homologie H_n. (Lorsque ce groupe est de type fini, c'est le nombre de générateurs du groupe abélien libre obtenu en quotientant H_n par son sous-groupe de torsion, constitué de ses éléments d'ordre fini.)

On définit alors la caractéristique d'Euler de X comme étant égale à :

\chi (X)=\sum _{n}(-1)^{n}b_{n}

si cette somme a un sens.

Dans le cas d'un espace X construit à partir de $a$ ₀ points, reliés par $a$ ₁ chemins, liés par $a$ ₂ faces, etc. (voir « Homologie cellulaire » et « CW-complexe » pour une description plus complète) on montre que :

\chi (X)=\sum _{n}(-1)^{n}a_{n}.

Généralisations

Mentionnons enfin que des méthodes inspirées de l'homologie singulière sont appliquées en géométrie algébrique, dans le cadre des théories homotopiques des schémas (en). Elles ont pour but de définir une cohomologie motivique, et ont des répercussions spectaculaires en arithmétique.

Notes et références

Cet article est partiellement ou en totalité issu de l'article intitulé « Liste des groupes d'homologie » (voir la liste des auteurs).

(en) Allen Hatcher, Algebraic Topology, New York, CUP, 2001, 544 p. (ISBN 978-0-521-79540-1, lire en ligne), p. 109.

Voir aussi

Bibliographie

(en) Glen E. Bredon (en), Topology and Geometry [détail de l’édition]
(en) Marvin Greenberg, Lectures on algebraic topology, W. A. Benjamin, New-York
(en) Edwin Spanier, Algebraic Topology, McGraw-Hill
Michel Zisman, Topologie algébrique élémentaire, Armand Colin, 1972

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.