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.
Topological quantum field theoryIn gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathematical interest, being related to, among other things, knot theory and the theory of four-manifolds in algebraic topology, and to the theory of moduli spaces in algebraic geometry. Donaldson, Jones, Witten, and Kontsevich have all won Fields Medals for mathematical work related to topological field theory.
Structure différentielleEn mathématiques, une structure différentielle à n dimensions (ou structure différentiable) sur un ensemble M transforme M en une variété différentielle à n dimensions, qui est une variété topologique avec une structure supplémentaire qui permet un calcul différentiel sur la variété. Si M est déjà une variété topologique, il est nécessaire que la nouvelle topologie soit identique à celle existante.
Médaille FieldsLa médaille Fields est la plus prestigieuse récompense en mathématiques avec le prix Abel. Elle est considérée comme équivalente à un prix Nobel inexistant pour cette discipline. Elle est attribuée tous les quatre ans depuis 1936 au cours du congrès international des mathématiciens à quatre mathématiciens au plus, tous de moins de . Les lauréats reçoivent chacun une médaille et . John Charles Fields, mathématicien canadien, propose la création de cette médaille en 1923 lors d'une réunion internationale à Toronto.
Topologie différentielleLa topologie différentielle est une branche des mathématiques qui étudie les fonctions différentiables définies sur des variétés différentielles, ainsi que les applications différentiables entre variétés différentielles. Elle est reliée à la géométrie différentielle, discipline avec laquelle elle se conjugue pour construire une théorie géométrique des variétés différentiables. Variété différentielle Les variétés différentielles constituent le cadre de base de la topologie différentielle.
Nahm equationsIn differential geometry and gauge theory, the Nahm equations are a system of ordinary differential equations introduced by Werner Nahm in the context of the Nahm transform – an alternative to Ward's twistor construction of monopoles. The Nahm equations are formally analogous to the algebraic equations in the ADHM construction of instantons, where finite order matrices are replaced by differential operators. Deep study of the Nahm equations was carried out by Nigel Hitchin and Simon Donaldson.
Exotic R4DISPLAYTITLE:Exotic R4 In mathematics, an exotic is a differentiable manifold that is homeomorphic (i.e. shape preserving) but not diffeomorphic (i.e. non smooth) to the Euclidean space The first examples were found in 1982 by Michael Freedman and others, by using the contrast between Freedman's theorems about topological 4-manifolds, and Simon Donaldson's theorems about smooth 4-manifolds. There is a continuum of non-diffeomorphic differentiable structures of as was shown first by Clifford Taubes.
Donaldson theoryIn mathematics, and especially gauge theory, Donaldson theory is the study of the topology of smooth 4-manifolds using moduli spaces of anti-self-dual instantons. It was started by Simon Donaldson (1983) who proved Donaldson's theorem restricting the possible quadratic forms on the second cohomology group of a compact simply connected 4-manifold. Important consequences of this theorem include the existence of an Exotic R4 and the failure of the smooth h-cobordism theorem in 4 dimensions.
Smooth structureIn mathematics, a smooth structure on a manifold allows for an unambiguous notion of smooth function. In particular, a smooth structure allows one to perform mathematical analysis on the manifold. A smooth structure on a manifold is a collection of smoothly equivalent smooth atlases. Here, a smooth atlas for a topological manifold is an atlas for such that each transition function is a smooth map, and two smooth atlases for are smoothly equivalent provided their union is again a smooth atlas for This gives a natural equivalence relation on the set of smooth atlases.
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.
