Un théorème comparant homotopie et homologie en affirmant que pour un espace connexe par arcs X l'homomorphisme de Hurewicz de premier groupe d'homotopie non trivial vers l'homologie est un isomorphisme sous des hypothèses de connexité ; plus généralement il identifie le premier groupe d'homotopie non nul avec le groupe d'homologie correspondant lorsque les homotopies inférieures s'annulent.

Principe

Quand un espace est suffisamment connecté (π_i(X)=0 pour i < n), l'application de Hurewicz π_n(X) → H_n(X) capture l'obstruction primaire à la nullhomotopie et devient un isomorphisme (les applications de Hurewicz supérieures sont contrôlées par les produits de Whitehead et les opérations supérieures).

Démonstration

Pour la sphère S^n, l'application de Hurewicz π_n(S^n) ≅ Z → H_n(S^n) ≅ Z est un isomorphisme ; pour un complexe CW simplement connexe obtenu en attachant des cellules de dimension > n, le premier groupe d'homotopie non trivial coïncide avec le groupe d'homologie correspondant par Hurewicz.

Mauvaise application

Supposer l'isomorphisme de Hurewicz sans vérifier la connexité (par exemple pour des espaces avec de l'homotopie non triviale en basse dimension) conduit à des identifications incorrectes entre homotopie et homologie.

Conséquence

Son usage approprié fournit un pont entre l'homotopie (difficile à calculer) et l'homologie (souvent accessible), donnant des invariants algébriques concrets du premier groupe d'homotopie non trivial et permettant des calculs en théorie des obstructions et en classification homotopique.

Inversion

Inverser le concept reviendrait à affirmer que l'homologie détermine toujours les groupes d'homotopie en tous degrés ; l'échec de cette affirmation en degrés supérieurs montre le rôle des produits de Whitehead et des structures supérieures invisibles en homologie.

Limite

S'applique sous des hypothèses de connexité (annulation des groupes d'homotopie inférieurs) et pour des espaces connexes par arcs ; n'identifie généralement pas les groupes d'homotopie supérieurs à l'homologie sauf pour le premier degré non trivial et doit être manié prudemment pour des espaces non-CW ou pathologiques.

Tension sémantique

Tension entre l'identification par Hurewicz du premier homotopie non trivial avec l'homologie et l'attente plus large selon laquelle l'homologie détermine l'homotopie ; les sens concurrents sont « primaire » (Hurewicz) versus « secondaire/supérieur » (produits de Whitehead, opérations d'homotopie).

Synthèse

Le théorème de Hurewicz affirme que sous une connexité appropriée le premier groupe d'homotopie non nul s'envoie isomorphiquement sur l'homologie, fournissant un lien calculable entre homotopie et homologie et délimitant les degrés où l'information homologique suffit.