Espace de ThomEn topologie, l'espace de Thom est un espace topologique associé à un fibré vectoriel. Il est au cœur de plusieurs constructions homotopiques, parmi lesquelles la construction de Thom-Pontrjagin et le de Thom. Il porte le nom de René Thom, qui a introduit ces constructions en 1954. Soit un fibré vectoriel de rang k sur un espace topologique . Notons l'espace total de ce fibré. Si l'on munit les fibres de d'un produit scalaire, on peut définir les fibrations en boules et en sphères associées : et .
Normal invariantIn mathematics, a normal map is a concept in geometric topology due to William Browder which is of fundamental importance in surgery theory. Given a Poincaré complex X (more geometrically a Poincaré space), a normal map on X endows the space, roughly speaking, with some of the homotopy-theoretic global structure of a closed manifold. In particular, X has a good candidate for a stable normal bundle and a Thom collapse map, which is equivalent to there being a map from a manifold M to X matching the fundamental classes and preserving normal bundle information.
Piecewise linear manifoldIn mathematics, a piecewise linear (PL) manifold is a topological manifold together with a piecewise linear structure on it. Such a structure can be defined by means of an atlas, such that one can pass from chart to chart in it by piecewise linear functions. This is slightly stronger than the topological notion of a triangulation. An isomorphism of PL manifolds is called a PL homeomorphism.
Théorie de l'obstructionEn mathématiques, la théorie de l'obstruction est le nom donné en fait à plusieurs théories topologiques distinctes dont le but est de déterminer des invariants cohomologiques. Le sens le plus ancien donné à l'expression « théorie de l'obstruction » est, en topologie algébrique, et plus précisément en théorie de l'homotopie, celui d'une procédure, définie par récurrence sur la dimension, permettant de prolonger une application continue définie sur un complexe simplicial, ou sur un CW-complexe.
Fibré normalEn géométrie différentielle, le fibré normal d’une sous-variété différentielle est un fibré vectoriel orthogonal au fibré tangent de la sous-variété dans celui de la variété ambiante. La définition s’étend au cas d’une immersion d’une variété différentielle dans une autre. Elle s’étend aussi plus généralement en topologie différentielle comme un fibré supplémentaire au fibré tangent de la sous-variété.
CobordismeEn topologie différentielle, le cobordisme est une relation d'équivalence entre variétés différentielles compactes. Deux variétés compactes M et N sont dites cobordantes ou en cobordisme si leur réunion disjointe peut être réalisée comme le bord d'une variété à bord compacte L. On dit alors que cette variété L est un cobordisme entre M et N, ou bien que L réalise un cobordisme entre M et N. L'existence d'un tel cobordisme implique que M et N soient de même dimension.
Dualité de PoincaréEn mathématiques, le théorème de de Poincaré est un résultat de base sur la structure des groupes d'homologie et cohomologie des variétés, selon lequel, si M est une variété « fermée » (i.e. compacte et sans bord) orientée de dimension n, le k-ième groupe de cohomologie de M est isomorphe à son (n – k)-ième groupe d'homologie, pour tout entier naturel k ≤ n : La dualité de Poincaré a lieu quel que soit l'anneau de coefficients, dès qu'on a choisi une orientation relativement à cet anneau ; en particulier, puisque toute variété a une unique orientation mod 2, la dualité est vraie mod 2 sans hypothèse d'orientation.
H-cobordismIn geometric topology and differential topology, an (n + 1)-dimensional cobordism W between n-dimensional manifolds M and N is an h-cobordism (the h stands for homotopy equivalence) if the inclusion maps are homotopy equivalences. The h-cobordism theorem gives sufficient conditions for an h-cobordism to be trivial, i.e., to be C-isomorphic to the cylinder M × [0, 1]. Here C refers to any of the categories of smooth, piecewise linear, or topological manifolds.
Whitehead torsionIn geometric topology, a field within mathematics, the obstruction to a homotopy equivalence of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion which is an element in the Whitehead group . These concepts are named after the mathematician J. H. C. Whitehead. The Whitehead torsion is important in applying surgery theory to non-simply connected manifolds of dimension > 4: for simply-connected manifolds, the Whitehead group vanishes, and thus homotopy equivalences and simple homotopy equivalences are the same.
L-théorie algébriqueEn mathématiques, la « L-théorie algébrique » est l'équivalent de la K -théorie pour des formes quadratiques. Le terme a été inventé par C. T. C. Wall, qui a utilisé L car c'était la lettre après le K . La théorie L algébrique, également connue sous le nom de « théorie K hermitienne », est importante dans la théorie de la chirurgie. On peut définir des L -groupes pour tout anneau d'involution R : les L -groupes quadratiques (Wall) et les L -groupes symétriques (Mishchenko, Ranicki).
Immersion (mathématiques)En géométrie différentielle, une immersion est une application différentiable d'une variété différentielle dans une autre, dont la différentielle en tout point est injective. Soient V et W deux variétés et f une application différentiable de V dans W. On dit que f est une immersion si pour tout x appartenant à V, le rang de l'application linéaire tangente Tf(x) est égal à la dimension de V. On la différencie : de la submersion (le rang de Tf(x) est égal à la dimension de W) ; du plongement (en plus d'être une immersion, f est un homéomorphisme de V sur f(V)).
HandlebodyIn the mathematical field of geometric topology, a handlebody is a decomposition of a manifold into standard pieces. Handlebodies play an important role in Morse theory, cobordism theory and the surgery theory of high-dimensional manifolds. Handles are used to particularly study 3-manifolds. Handlebodies play a similar role in the study of manifolds as simplicial complexes and CW complexes play in homotopy theory, allowing one to analyze a space in terms of individual pieces and their interactions.
Topologie géométriqueEn mathématiques, la topologie géométrique est l'étude des variétés et des applications entre elles, en particulier les plongements d'une variété dans une autre. Quelques exemples de sujets en topologie géométrique sont l'orientablité, la décomposition en anses, la platitude locale et le théorème de Jordan-Schoenflies dans le plan et en dimensions supérieures.
Sphère exotiqueEn mathématiques, et plus précisément en topologie différentielle, une sphère exotique est une variété différentielle M qui est homéomorphe, mais non difféomorphe, à la n-sphère euclidienne standard. Autrement dit, M est une sphère du point de vue de ses propriétés topologiques, mais sa structure différentielle (qui définit, par exemple, la notion de vecteur tangent) n'est pas la structure usuelle, d'où l'adjectif « exotique ». La n-sphère unité, Sn, est l'ensemble de tous les n+1-uplets (x1, x2, ...
Théorème de plongement de WhitneyEn géométrie différentielle, le théorème de plongement de Whitney fait le lien entre les notions de variété abstraite et de sous-variété de l'espace vectoriel réel Rn : toute variété différentielle de dimension m (à base dénombrable par définition) se plonge dans l'espace euclidien de dimension 2m. Cette valeur 2m peut bien sûr être diminuée dans certains exemples particuliers, comme la sphère. Mais pour l'exemple de l'espace projectif réel de dimension m = 2, la constante 2m est optimale.
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.
K-théorieEn mathématiques, la K-théorie est un outil utilisé dans plusieurs disciplines. En topologie algébrique, la sert de théorie de cohomologie. Une variante est utilisée en algèbre sous le nom de K-théorie algébrique. Les premiers résultats de la K-théorie ont été dans le cadre de la topologie algébrique, comme une théorie de cohomologie extraordinaire (elle ne vérifie pas l'axiome de dimension). Par la suite, ces méthodes ont été utilisées dans beaucoup d'autres domaines comme la géométrie algébrique, l'algèbre, la théorie des nombres, la théorie des opérateurs, etc.
Théorie de MorseEn mathématiques, et plus précisément en topologie différentielle, la théorie de Morse est un ensemble de techniques et de méthodes mises en place durant la seconde moitié du , permettant d'étudier la topologie d'une variété différentielle en analysant les lignes de niveau d'une fonction définie sur cette variété. Le premier résultat d'importance est le lemme de Morse, qui donne le lien entre points critiques d'une fonction suffisamment générale et modification de la topologie de la variété.
