En topologie algébrique, une sphère d'homologie (ou encore, sphère d'homologie entière) est une variété X de dimension n ≥ 1 qui a les mêmes groupes d'homologie que la n-sphère standard S, à savoir : H0(X,Z) = Z = Hn(X,Z) et Hi(X,Z) = {0} pour tout autre entier i. Une telle variété X est donc connexe, fermée (i.e. compacte et sans bord), orientable, et avec (à part b0 = 1) un seul nombre de Betti non nul : bn. Les sphères d'homologie rationnelle sont définies de façon analogue, avec l'homologie à coefficients rationnels. Toute sphère d'homologie entière est une sphère d'homologie rationnelle mais l'inverse n'est pas vrai. Pour n > 1, la nullité de b1 n'implique pas que X soit simplement connexe, mais seulement que son groupe fondamental soit parfait (voir théorème d'Hurewicz). La seule 3-sphère d'homologie qui soit simplement connexe est la 3-sphère usuelle S (voir Conjecture de Poincaré). Mis à part la sphère d'homologie de Poincaré (cf. ci-dessous), toutes les autres ont un groupe fondamental infini. L'existence de 3-sphères d'homologie non simplement connexes montre que la conjecture de Poincaré ne peut pas se formuler en termes purement homologiques. La sphère d'homologie de Poincaré (à ne pas confondre avec la sphère de Poincaré) est une 3-sphère d'homologie particulière. Son groupe fondamental est le . Ce groupe admet la présentation , est d'ordre 120 et est isomorphe au groupe SL(2,Z/5Z). Le groupe binaire icosaédrique est le groupe d'isométries laissant invariant l'icosaèdre élémentaire. Il est aussi le revêtement double parfait du groupe icosaédrique . La sphère d'homologie de Poincaré se construit de diverses manières. Une première est à partir du dodécaèdre par identification de chaque face avec la face opposée, en choisissant la rotation d'angle minimum qui superpose ces deux faces (voir l'article Espace dodécaédrique de Poincaré). On obtient ainsi une 3-variété fermée. (Les deux autres choix possibles de rotation donnent soit une – l' – soit l'espace projectif ).

À 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.
Cours associés (32)
MATH-201: Analysis III
Calcul différentiel et intégral. Eléments d'analyse complexe.
MATH-213: Differential geometry I - curves and surfaces
Ce cours est une introduction à la géométrie différentielle classique des courbes et des surfaces, principalement dans le plan et l'espace euclidien.
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
Afficher plus
Publications associées (47)
Concepts associés (10)
3-variété
En mathématiques, une 3-variété est une variété de dimension 3, au sens des variétés topologiques, ou différentielles (en dimension 3, ces catégories sont équivalentes). Certains phénomènes sont liés spécifiquement à la dimension 3, si bien qu'en cette dimension, des techniques particulières prévalent, qui ne se généralisent pas aux dimensions supérieures.
Variété (géométrie)
En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Binary icosahedral group
In mathematics, the binary icosahedral group 2I or is a certain nonabelian group of order 120. It is an extension of the icosahedral group I or (2,3,5) of order 60 by the cyclic group of order 2, and is the of the icosahedral group under the 2:1 covering homomorphism of the special orthogonal group by the spin group. It follows that the binary icosahedral group is a discrete subgroup of Spin(3) of order 120. It should not be confused with the full icosahedral group, which is a different group of order 120, and is rather a subgroup of the orthogonal group O(3).
Afficher plus
MOOCs associés (1)
Introduction to optimization on smooth manifolds: first order methods
Learn to optimize on smooth, nonlinear spaces: Join us to build your foundations (starting at "what is a manifold?") and confidently implement your first algorithm (Riemannian gradient descent).

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.