H-espace

En mathématiques, un H-espace^[1] est une version homotopique théorique^[Quoi ?] d'une généralisation de la notion de groupe topologique, dans laquelle les axiomes d'associativité et inverse^{[Information douteuse]} sont supprimés.

Définition

Un H-espace est constitué d'un espace topologique X, ainsi que d'un élément e de X et d'une application continue μ : X × X → X, tel que μ(e, e) = e et les applications x ↦ μ(x, e) et x ↦ μ(e, x) sont toutes les deux homotopes à l'application identité relativement à e^[2]. Cet espace peut être considéré comme un espace topologique pointé avec une multiplication continue pour laquelle le point de base est un élément d'identité homotopie^[Quoi ?], à homotopie près préservant le point de base.

On dit qu'un espace topologique X est un H-espace s'il existe e et μ tels que le triplet (X, e, μ) est un H-espace comme dans la définition ci-dessus^[3]. Alternativement, un H-espace peut être défini sans imposer que le point base e soit fixé par les homotopies, ou en exigeant que e soit l'identité, sans aucune considération homotopique^[4]. Dans le cas d'un CW-complexe, ces trois définitions sont en fait équivalentes^[5].

Exemples et propriétés

La définition standard du groupe fondamental, ainsi que le fait qu'il s'agit d'un groupe, peut être reformulée en disant que l'espace des lacets d'un espace topologique pointé a la structure d'un H-groupe, équipé des opérations standard de concaténation et d'inversion^[6]. De plus, une application continue préservant les points de base de l'espace topologique pointé induit un H-morphisme des espaces de lacets correspondants ; cela reflète le morphisme de groupes sur les groupes fondamentaux induit par une application continue^[6].

Il est immédiat de vérifier que, étant donné une équivalence d'homotopie pointée d'un H-espace à un espace topologique pointé, il existe une structure naturelle de H-espace sur ce dernier^[7]. Ainsi, l'existence d'une structure de H-espace sur un espace donné ne dépend que de son type d'homotopie pointée.

La structure multiplicative d'un espace H ajoute une structure à ses groupes d'homologie et de cohomologie. Par exemple, l'anneau de cohomologie d'un H-espace connexe par arcs dont les modules de cohomologie sont libres de type fini est une algèbre de Hopf^[8]. Aussi, on peut définir le produit de Pontryagin sur les groupes d'homologie d'un H-espace^[9].

Le groupe fondamental d'un H-espace est abélien.

Démonstration

Soit X un H-espace d'identité e et soit f et g des lacets en e. Définissons une application F : [0,1] × [0,1] → X par F(a, b) = f(a) g(b). Alors F (a ,0) = F (a ,1) = f (a)e est homotope à f, et F (0, b) = F (1, b) = eg(b) est homotope à g. Il est facile de définir une homotopie de [ f ][ g ] à [ g ][ f ].

Le théorème d'Adams, du nom de Frank Adams, stipule que S⁰, S ¹, S³, S⁷ sont les seules sphères qui sont des H-espaces. Chacun de ces espaces forme un H-espace en le considérant comme le sous-ensemble d'éléments de norme 1 des réels, complexes, quaternions et octonions, respectivement, et en utilisant les opérations de multiplication de ces algèbres. En fait, S⁰, S¹ et S³ sont des groupes (groupes de Lie) avec ces multiplications. Mais S⁷ n'est pas un groupe de cette manière parce que la multiplication des octonions n'est pas associative, et on ne peut lui donner aucune autre multiplication continue pour laquelle c'est un groupe.

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « H space » (voir la liste des auteurs).

1. 

   Texte à traduire

   Portion de texte anglais à traduire en français

   Texte anglais à traduire :
   The H in H-space was suggested by Jean-Pierre Serre in recognition of the influence exerted on the subject by Heinz Hopf (see J. R. Hubbuck, « A Short History of H-spaces », History of Topology, 1999, p.747-755).

   Traduire ce texte • Outils • (+)
2. Spanier^{[réf. incomplète]} p. 34 ; Switzer^{[réf. incomplète]} p. 14.
3. Hatcher^{[réf. incomplète]} p. 281.
4. Stasheff (1970)^{[réf. incomplète]}, p. 1.
5. Hatcher p. 291.
6. Spanier p. 37-39.
7. Spanier p. 35-36.
8. Hatcher p. 283.
9. Hatcher p. 287.

Articles connexes

• Cohomologie de Čech
• Monoïde topologique