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.
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, ...
Simon DonaldsonSir Simon Kirwan Donaldson, né le à Cambridge, est un mathématicien, connu principalement pour ses travaux sur la topologie des variétés de dimension 4. Donaldson a obtenu son Bachelor of Arts de mathématiques au Pembroke College en 1979, et effectua ses travaux de troisième cycle sous la direction de Nigel Hitchin, puis de Michael Atiyah. Il est encore étudiant lorsqu'il prouve, en 1982, un résultat qui le rendit célèbre, publié dans l'article Self-dual connections and the topology of smooth 4-manifolds en 1983.
4-manifoldIn mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique (i.e. there are smooth 4-manifolds which are homeomorphic but not diffeomorphic).
