Spectre (topologie)En topologie algébrique, une branche des mathématiques, un spectre est un objet représentant une théorie cohomologique généralisée (qui découle du ). Cela signifie que, étant donné une théorie de cohomologie,il existe des espaces tels que l'évaluation de la théorie cohomologique en degré sur un espace équivaut à calculer les classes d'homotopie des morphismes à l'espace , soit encore.Remarquons qu'il existe plusieurs catégories de spectres différentes conduisant à de nombreuses difficultés techniques, mais ils déterminent tous la même , connue sous le nom de catégorie d'homotopie stable.
Bott periodicity theoremIn mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by , which proved to be of foundational significance for much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres. Bott periodicity can be formulated in numerous ways, with the periodicity in question always appearing as a period-2 phenomenon, with respect to dimension, for the theory associated to the unitary group.
Espace classifiantEn mathématiques, un espace classifiant pour un groupe topologique G est la base d’un fibré principal particulier EG → BG appelé fibré universel, induisant tous les fibrés ayant ce groupe de structure sur n’importe quel CW-complexe X par (pullback). Dans le cas d’un groupe discret, la définition d’espace classifiant correspond à celle d’un espace d'Eilenberg-MacLane K(G, 1), c’est-à-dire un espace connexe par arcs dont tous les groupes d'homotopie sont triviaux en dehors du groupe fondamental (lequel est isomorphe à G).
Homotopy sphereIn algebraic topology, a branch of mathematics, a homotopy sphere is an n-manifold that is homotopy equivalent to the n-sphere. It thus has the same homotopy groups and the same homology groups as the n-sphere, and so every homotopy sphere is necessarily a homology sphere. The topological generalized Poincaré conjecture is that any n-dimensional homotopy sphere is homeomorphic to the n-sphere; it was solved by Stephen Smale in dimensions five and higher, by Michael Freedman in dimension 4, and for dimension 3 (the original Poincaré conjecture) by Grigori Perelman in 2005.
Frank AdamsJohn Frank Adams ( – ) est un mathématicien britannique, l'un des fondateurs de la théorie de l'homotopie. Frank Adams est né à Woolwich, dans la banlieue sud-est de Londres. Il commence ses recherches au Trinity College de Cambridge auprès d'Abram Besicovitch, mais se réoriente rapidement vers la topologie algébrique. En 1956, il soutient à Cambridge un Ph. D., dirigé par Shaun Wylie et devient Fellow du Trinity. Une bourse lui permet de faire un séjour à l'université de Chicago et à l'IAS (Institute for Advanced Study) en 1957-1958 et il séjourne de nouveau à l'IAS en 1961.
Théorie de l'homotopie stableEn mathématiques, la théorie de l'homotopie stable est une partie de la théorie de l'homotopie concernée par les structures et tous les phénomènes qui subsistent après suffisamment d'applications du foncteur de suspension. Un résultat fondateur a été le théorème de suspension de Freudenthal, qui stipule que, étant donné tout espace pointé , les groupes d'homotopie se stabilisent pour suffisamment grand. En particulier, les groupes d'homotopie des sphères se stabilisent pour .
Adams spectral sequenceIn mathematics, the Adams spectral sequence is a spectral sequence introduced by which computes the stable homotopy groups of topological spaces. Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a reformulation using homological algebra, and an extension, of a technique called 'killing homotopy groups' applied by the French school of Henri Cartan and Jean-Pierre Serre. For everything below, once and for all, we fix a prime p.
Fibration de HopfEn géométrie la fibration de Hopf donne une partition de la sphère à 3-dimensions S3 par des grands cercles. Plus précisément, elle définit une structure fibrée sur S3. L'espace de base est la sphère à 2-dimensions S2, la fibre modèle est un cercle S1. Ceci signifie notamment qu'il existe une application p de projection de S3 sur S2, telle que les images réciproques de chaque point de S2 soient des cercles. Cette structure a été découverte par Heinz Hopf en 1931.
Théorème du point fixe de BrouwerEn mathématiques, et plus précisément en topologie algébrique, le théorème du point fixe de Brouwer fait partie de la grande famille des théorèmes de point fixe, qui énoncent que si une fonction continue f vérifie certaines propriétés, alors il existe un point x0 tel que f(x0) = x0. La forme la plus simple du théorème de Brouwer prend comme hypothèse que la fonction f est définie sur un intervalle fermé borné non vide I et à valeurs dans I. Sous une forme plus générale, la fonction est définie sur un convexe compact K d'un espace euclidien et à valeurs dans K.
Serre spectral sequenceIn mathematics, the Serre spectral sequence (sometimes Leray–Serre spectral sequence to acknowledge earlier work of Jean Leray in the Leray spectral sequence) is an important tool in algebraic topology. It expresses, in the language of homological algebra, the singular (co)homology of the total space X of a (Serre) fibration in terms of the (co)homology of the base space B and the fiber F. The result is due to Jean-Pierre Serre in his doctoral dissertation. Let be a Serre fibration of topological spaces, and let F be the (path-connected) fiber.
