Foundations of Differential Topology

Differential Topology: A Foundation What is Differential Topology? Differential topology is the mathematical study of smooth manifolds—curved spaces that locally look like Euclidean space—focusing on their topological and smooth properties. The key insight is that we can classify and understand these manifolds based on their intrinsic structural features, without needing to measure distances or angles. To understand what this means, it helps to know what differential topology is not. Differential geometry, by contrast, studies geometric properties like volume, curvature, and angles. These properties depend heavily on how we measure distances (called a metric). Differential topology strips away these rigid geometric constraints and examines only the features that survive when we allow smooth deformations of the manifold. The Central Goal: Classification The fundamental question driving differential topology is simple but profound: Can we classify all smooth manifolds up to diffeomorphism? A diffeomorphism is a smooth bijective map with a smooth inverse—essentially, a perfect smooth equivalence between two manifolds. Two manifolds are considered "the same" in differential topology if a diffeomorphism exists between them. Since dimension is preserved under diffeomorphism (you cannot smoothly deform a 2-dimensional sphere into a 3-dimensional sphere), we classify manifolds dimension by dimension. In dimension 1, all connected manifolds are diffeomorphic to the circle. In dimension 2, the story becomes richer: we have the sphere, torus, and other surfaces. Higher dimensions reveal increasingly complex structures. What We Study: Smooth Properties A smooth property is any characteristic of a manifold that remains unchanged under diffeomorphisms. The number of holes, the genus (loosely, how many "handles" a surface has), and the homotopy type are all smooth properties. The figure above shows tori with different numbers of holes—these topological features are smooth invariants. What we do not study as smooth properties are measurements that depend on a metric. For instance, the volume of a manifold or the curvature at a point are geometric properties, not smooth properties, because they change when we deform the manifold smoothly. Think of it this way: if you can squeeze, stretch, and bend a surface without tearing or gluing, the shape may change drastically, but its smooth properties remain fixed. Key Tools: Immersions, Submersions, and Transversality To understand and classify manifolds, we need precise language for how smooth maps behave and how subspaces intersect. Immersions and Submersions An immersion is a smooth map $f: M \to N$ where the differential (the best linear approximation at each point) is injective—meaning it preserves dimensionality locally. Intuitively, immersions are maps that allow self-intersections but never "collapse" directions. A submersion is the dual concept: a smooth map $f: M \to N$ where the differential is surjective—meaning information can be locally "compressed" without loss. Submersions look locally like projection maps. These concepts capture whether a smooth map preserves or loses directional information at each point. Transversality: Generic Intersection Behavior Transversality describes when two submanifolds intersect in the "generic" or "expected" way—that is, when their intersection is as clean and simple as possible. In the diagram, manifolds $M$, $W$, and $N$ are shown. Transversality roughly means that when two submanifolds meet, they do so at the right angles in a sense that their tangent spaces "spread out" sufficiently. This ensures the intersection has the expected dimension and nice structural properties. For example, if two curves in a plane intersect transversally, they cross cleanly at a point rather than being tangent to each other. This generic behavior is crucial because most intersections that occur "naturally" are transverse. Why This Matters The tools of differential topology allow us to study manifolds without metric constraints. This makes the classification problem more tractable: we ignore rigid geometric details and focus on the flexible topological structure. Algebraic topology provides the algebraic machinery—tools like homology and homotopy groups—to capture and compute these coarse topological properties, translating geometric questions into computable algebraic questions. Understanding smooth manifolds and the concepts of immersions, submersions, and transversality forms the foundation for answering the central question: which manifolds are truly different, and which are merely different disguises of the same underlying structure?