Groupes d'homotopie des sphères

En mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions et égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les -sphères). Le groupe d'homotopie d'ordre de la sphère de dimension , , est l'ensemble, noté , des classes d'homotopie d'applications continues qui envoient un point fixé de la sphère sur un point fixé de la sphère . Cet ensemble (pour et fixés), noté , peut être muni d'une structure de groupe abélien. Si , ce groupe est réduit à un seul élément : . Si , ce groupe est monogène infini (c'est-à-dire infini et engendré par un seul élément) : (cela résulte du point précédent, par le théorème d'Hurewicz). Si , le groupe est soit un groupe fini, soit la somme d'un groupe fini et d'un groupe infini monogène. La suite spectrale de Serre fut inventée pour calculer les groupes d'homotopie des sphères, mais aucune liste complète de ces groupes n'est connue. Pour calculer ces groupes, on utilise aussi les fibrations de Hopf et la technique des variétés équipées (framed en anglais) qui provient de la théorie du cobordisme. Une sphère de dimension 1 est un cercle. On a : pour . Pour la notion de sphère à trois dimensions, voir l'article 3-sphère. Les sphères de dimension au moins deux sont simplement connexes, en particulier : En toute dimension supérieure ou égale à 3, on a : , en particulier : En toute dimension , on a : , en particulier : En dimensions 2 et 3, la fibration de Hopf donne lieu à une suite exacte d'homotopie, Comme et pour , , on a donc un isomorphisme : pour , en particulier Pour les groupes d'homotopie supérieurs, d'autres techniques donnent les résultats suivants : Les groupes d'homotopie sont finis pour supérieur ou égal à 4. Calculer les groupes d'homotopie des sphères est difficile et les résultats sont compliqués.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (39)

Cours associés (8)

Séances de cours associées (215)

Groupes d'homotopie des sphères

Hopf invariant

In mathematics, in particular in algebraic topology, the Hopf invariant is a homotopy invariant of certain maps between n-spheres. TOC In 1931 Heinz Hopf used Clifford parallels to construct the Hopf map and proved that is essential, i.e., not homotopic to the constant map, by using the fact that the linking number of the circles is equal to 1, for any . It was later shown that the homotopy group is the infinite cyclic group generated by .

Hans Freudenthal

Hans Freudenthal ( – ) était un mathématicien juif allemand, naturalisé néerlandais, spécialiste en topologie algébrique mais dont les contributions ont largement débordé ce domaine. Il s'intéressa à l'enseignement des mathématiques. Il fut président de l'ICMI (Commission internationale de l'enseignement mathématique) et une récompense portant son nom est attribuée. On lui doit notamment le problème de Freudenthal, dans lequel « savoir que quelqu'un ne sait pas permet de savoir ».

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-506: Topology IV.b - cohomology rings

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

MATH-323: Topology III - Homology

Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its

Places Steenrod MATH-506: Topology IV.b - cohomology rings

Couvre le concept de Places Steenrod et leurs applications dans des opérations de cohomologie stables.

Le théorème topologique de Künneth MATH-506: Topology IV.b - cohomology rings

Explore le théorème topologique de Künneth, mettant l'accent sur la commutativité et l'équivalence homotopique dans les complexes en chaîne.

Théorème de la courbe de Jordan MATH-323: Topology III - Homology

Couvre la preuve du théorème de la courbe de Jordan et les propriétés des sphères incorporées.