[Math] Differential topology versus differential geometry

differential-geometrydifferential-topologysoft-question

I have just finished my undergraduate studies. During last two semesters I've taken two subjects dealing with manifolds:

  1. Analysis on manifolds, containing: definition of manifold, tangent space (as derivations and classes of curves), vector fields, vector bundles, flows, Lie derivatives, integration on manifolds (Stokes theorem), forms, Hodge decomposition theorem

  2. Introduction to differential geometry (for me it should be called introduction to Riemannian manifolds) containing: tensor calculus introduction, Riemannian manifold definition, connections, curvatures, geodesic, normal coordinates, geodesic completness theorem, classification throught curvature, jacobi fields, harmonic maps.

Now, for me differential geometry was/is a theory about manifolds, so anything dealing with manifolds is branch of differential geometry. On the other hand I am preparing for taking part in local conference called: "algebraic and differential topology". I have read:
I- books references,
II- books references,
III- wikipedia, yet I still don't really know if differential topology is subtheory of differential geometry or is it seperate theory and how is it located between differential geometry and algebraic topology. For example I expect that studies on Riemmanian manifolds are part of differential geometry but would problem of classification manifolds up to diffeomorphism be a part of differential topology or geometry ?

Request: I would be grateful for your characterisation of differential topology and differential geometry possibly with examples of problems, theorems present at them.

Best Answer

First of all, the concept of a "manifold" is certainly not exclusive to differential geometry. Manifolds are one of the basic objects of study in topology, and are also used extensively in complex analysis (in the form of Riemann surfaces and complex manifolds) and algebraic geometry (in the form of varieties).

Within topology, manifolds can be studied purely as topological spaces, but it is also common to consider manifolds with either a piecewise-linear or differentiable structure. The topological study of piecewise-linear manifolds is sometimes called piecewise-linear topology, and the topological study of differentiable manifolds is sometimes called differential topology.

I'm not sure I would necessarily describe these as distinct subfields of topology -- they are more like points of view towards geometric topology, and for the most part one can study the same geometric questions from each of the three main points of view. However, there are questions that only make sense from one of these points of view, e.g. the classification of exotic spheres, and there are certainly topology researchers who specialize in either piecewise-linear or differentiable methods. Differential topology can be found in position 57Rxx on the 2010 Math Subject Classification.

Differential geometry, on the other hand, is a major field of mathematics with many subfields. It is concerned primarily with additional structures that one can put on a smooth manifold, and the properties of such structures, as well as notions such as curvature, metric properties, and differential equations on manifolds. It corresponds to the heading 53-XX on the MSC 2010, and the MSC divides differential geometry into four large subfields:

  • Classical differential geometry, i.e. the study of the geometry of curves and surfaces in $\mathbb{R}^2$ and $\mathbb{R}^3$, and more generally submanifolds of $\mathbb{R}^n$.

  • Local differential geometry, which studies Riemannian manifolds (and manifolds with similar structures) from a local point of view.

  • Global differential geometry, which studies Riemannian manifolds (and manifolds with similar structures) from a global point of view.

  • Symplectic and contact geometry, which studies manifolds that have certain rich structures that are significantly different from a Riemannian structure.

As a general rule, anything that requires a Riemannian metric is part of differential geometry, while anything that can be done with just a differentiable structure is part of differential topology. For example, the classification of smooth manifolds up to diffeomorphism is part of differential topology, while anything that involves curvature would be part of differential geometry.