Differential topology

Last updated

In mathematics, differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to differential geometry and together they make up the geometric theory of differentiable manifolds.



Differential topology considers the properties and structures that require only a smooth structure on a manifold to be defined. Smooth manifolds are 'softer' than manifolds with extra geometric structures, which can act as obstructions to certain types of equivalences and deformations that exist in differential topology. For instance, volume and Riemannian curvature are invariants that can distinguish different geometric structures on the same smooth manifoldthat is, one can smoothly "flatten out" certain manifolds, but it might require distorting the space and affecting the curvature or volume. [ citation needed ]

On the other hand, smooth manifolds are more rigid than the topological manifolds. John Milnor discovered that some spheres have more than one smooth structure—see Exotic sphere and Donaldson's theorem. Michel Kervaire exhibited topological manifolds with no smooth structure at all. [1] Some constructions of smooth manifold theory, such as the existence of tangent bundles, [2] can be done in the topological setting with much more work, and others cannot.

One of the main topics in differential topology is the study of special kinds of smooth mappings between manifolds, namely immersions and submersions, and the intersections of submanifolds via transversality. More generally one is interested in properties and invariants of smooth manifolds that are carried over by diffeomorphisms, another special kind of smooth mapping. Morse theory is another branch of differential topology, in which topological information about a manifold is deduced from changes in the rank of the Jacobian of a function.

For a list of differential topology topics, see the following reference: List of differential geometry topics.

Differential topology versus differential geometry

Differential topology and differential geometry are first characterized by their similarity. They both study primarily the properties of differentiable manifolds, sometimes with a variety of structures imposed on them.

Animation of a coffee cup transforming into a donut shape Mug and Torus morph.gif
Animation of a coffee cup transforming into a donut shape

One major difference lies in the nature of the problems that each subject tries to address. In one view, [3] differential topology distinguishes itself from differential geometry by studying primarily those problems that are inherently global. Consider the example of a coffee cup and a donut. From the point of view of differential topology, the donut and the coffee cup are the same (in a sense). This is an inherently global view, though, because there is no way for the differential topologist to tell whether the two objects are the same (in this sense) by looking at just a tiny (local) piece of either of them. They must have access to each entire (global) object.

From the point of view of differential geometry, the coffee cup and the donut are different because it is impossible to rotate the coffee cup in such a way that its configuration matches that of the donut. This is also a global way of thinking about the problem. But an important distinction is that the geometer does not need the entire object to decide this. By looking, for instance, at just a tiny piece of the handle, they can decide that the coffee cup is different from the donut because the handle is thinner (or more curved) than any piece of the donut.

To put it succinctly, differential topology studies structures on manifolds that, in a sense, have no interesting local structure. Differential geometry studies structures on manifolds that do have an interesting local (or sometimes even infinitesimal) structure.

More mathematically, for example, the problem of constructing a diffeomorphism between two manifolds of the same dimension is inherently global since locally two such manifolds are always diffeomorphic. Likewise, the problem of computing a quantity on a manifold that is invariant under differentiable mappings is inherently global, since any local invariant will be trivial in the sense that it is already exhibited in the topology of . Moreover, differential topology does not restrict itself necessarily to the study of diffeomorphism. For example, symplectic topology—a subbranch of differential topology—studies global properties of symplectic manifolds. Differential geometry concerns itself with problems—which may be local or global—that always have some non-trivial local properties. Thus differential geometry may study differentiable manifolds equipped with a connection , a metric (which may be Riemannian, pseudo-Riemannian, or Finsler), a special sort of distribution (such as a CR structure), and so on.

This distinction between differential geometry and differential topology is blurred, however, in questions specifically pertaining to local diffeomorphism invariants such as the tangent space at a point. Differential topology also deals with questions like these, which specifically pertain to the properties of differentiable mappings on (for example the tangent bundle, jet bundles, the Whitney extension theorem, and so forth).

The distinction is concise in abstract terms:

See also


  1. Kervaire 1960
  2. Lashof 1972
  3. Hirsch 1997

Related Research Articles

Differential geometry Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra to study problems in geometry. The theory of plane and space curves and surfaces in the three-dimensional Euclidean space formed the basis for development of differential geometry during the 18th century and the 19th century.

Riemannian geometry

Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a Riemannian metric, i.e. with an inner product on the tangent space at each point that varies smoothly from point to point. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.

Vector bundle

In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X : to every point x of the space X we associate a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X, which is then called a vector bundle over X.

Fiber bundle Continuous surjection satisfying a local triviality condition

In mathematics, and particularly topology, a fiber bundle is a space that is locally a product space, but globally may have a different topological structure. Specifically, the similarity between a space and a product space is defined using a continuous surjective map

In mathematics, the Chern theorem states that the Euler-Poincaré characteristic of a closed even-dimensional Riemannian manifold is equal to the integral of a certain polynomial of its curvature form.

Contact geometry

In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying a condition called 'complete non-integrability'. Equivalently, such a distribution may be given as the kernel of a differential one-form, and the non-integrability condition translates into a maximal non-degeneracy condition on the form. These conditions are opposite to two equivalent conditions for 'complete integrability' of a hyperplane distribution, i.e. that it be tangent to a codimension one foliation on the manifold, whose equivalence is the content of the Frobenius theorem.

This is a glossary of terms specific to differential geometry and differential topology. The following three glossaries are closely related:

Geometric topology Branch of mathematics studying (smooth) functions of manifolds

In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another.

Low-dimensional topology

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

In differential topology, an exotic sphere is a differentiable manifold M that is homeomorphic but not diffeomorphic to the standard Euclidean n-sphere. That is, M is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one.

In differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM of M.

Manifold Topological space that locally resembles Euclidean space

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or n-manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to the Euclidean space of dimension n.

Differentiable manifold Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a linear space to allow one to do calculus. Any manifold can be described by a collection of charts, also known as an atlas. One may then apply ideas from calculus while working within the individual charts, since each chart lies within a linear space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In mathematics, a Hilbert manifold is a manifold modeled on Hilbert spaces. Thus it is a separable Hausdorff space in which each point has a neighbourhood homeomorphic to an infinite dimensional Hilbert space. The concept of a Hilbert manifold provides a possibility of extending the theory of manifolds to infinite-dimensional setting. Analogously to the finite-dimensional situation, one can define a differentiable Hilbert manifold by considering a maximal atlas in which the transition maps are differentiable.

In mathematics, a differentiable manifold of dimension n is called parallelizable if there exist smooth vector fields

In mathematics, specifically geometry and topology, the classification of manifolds is a basic question, about which much is known, and many open questions remain.

In mathematics, geometry and topology is an umbrella term for the historically distinct disciplines of geometry and topology, as general frameworks allow both disciplines to be manipulated uniformly, most visibly in local to global theorems in Riemannian geometry, and results like the Gauss–Bonnet theorem and Chern–Weil theory.

Dan Burghelea is a Romanian-American mathematician, academic and researcher. He is an Emeritus Professor of Mathematics at Ohio State University.