Differential Topology

Differential topology is the study of manifolds and differentiable maps between them, focusing on properties invariant under diffeomorphisms. It uses concepts like tangent spaces, transversality, and Morse theory to classify manifolds and understand their topological structure, differing from differential geometry by ignoring metric-dependent properties.

What is Differential Topology? Differential topology studies differentiable manifolds and differentiable mappings between them. Unlike differential geometry, which concerns itself with notions like curvature and distance that depend on a metric, differential topology focuses on properties that are invariant under diffeomorphisms (smooth invertible maps with smooth inverses). Think of it as rubber-sheet geometry where shapes can be stretched, bent, twisted, and shrunk, but not torn or glued. This allows us to classify manifolds based on their topology, looking at features like connectedness, orientability, and the existence of certain submanifolds. A crucial aspect is understanding the smooth structure of manifolds, which dictates what functions are considered smooth on the manifold. Key questions include determining when two manifolds are diffeomorphic and classifying manifolds up to diffeomorphism.

Manifolds: The Stage for Smoothness: A manifold is a topological space that locally resembles Euclidean space. Formally, a manifold of dimension n is a Hausdorff topological space with a countable basis that is locally homeomorphic to ℝⁿ. This means that every point on the manifold has a neighborhood that can be mapped continuously and invertibly to an open subset of ℝⁿ. These mappings are called charts. A collection of charts that cover the entire manifold is called an atlas. To do differential topology, we need a smooth structure, which is an atlas where the transition maps (composition of charts) are smooth. The transition maps ensure that the notion of smoothness is consistent across different charts. Common examples include spheres, tori, and projective spaces. Understanding manifolds is foundational, as they provide the setting for studying smooth functions and mappings.

Differentiable Maps and Diffeomorphisms: A differentiable map between manifolds M and N is a continuous function f: M → N such that when expressed in local charts, the corresponding map between Euclidean spaces is differentiable. More precisely, for charts φ: U → ℝ^m on M and ψ: V → ℝⁿ on N, the composition ψ ◦ f ◦ φ^-1 is a differentiable map from an open subset of ℝ^m to ℝⁿ. If f has a differentiable inverse, it is called a diffeomorphism. Diffeomorphisms are the isomorphisms of differential topology; they preserve the smooth structure. Two manifolds are diffeomorphic if there exists a diffeomorphism between them. The goal is often to classify manifolds up to diffeomorphism equivalence. This classification is generally a very difficult problem, especially in higher dimensions.

Tangent Spaces and Vector Fields: At each point p on a manifold M, we can define the tangent space T_pM, which is a vector space that captures the local linear structure of M at p. It can be thought of as the set of all possible tangent vectors at that point. A vector field on M is a smooth assignment of a tangent vector to each point of M. More formally, a vector field V is a smooth map V: M → TM, where TM is the tangent bundle of M, such that V(p) ∈ T_pM for all p ∈ M. Vector fields are crucial for understanding the dynamics on manifolds and are used extensively in differential equations and physics. They can be used to define flows, which describe how points move along the integral curves of the vector field.

Submanifolds and Immersions: A submanifold N of a manifold M is a subset of M that is itself a manifold, and the inclusion map i: N → M is an immersion. An immersion is a differentiable map f: N → M such that the derivative df_p: T_pN → T_f(p)M is injective for all p ∈ N. This means that the tangent space of N at any point is mapped injectively into the tangent space of M. An embedding is an immersion that is also a homeomorphism onto its image. A key result is the Whitney embedding theorem, which states that any smooth manifold of dimension n can be embedded into ℝ²ⁿ. Submanifolds are essential for studying the geometry and topology of manifolds, allowing us to understand the structure of manifolds by examining their sub-objects.

Transversality: Transversality is a fundamental concept. Two submanifolds N₁ and N₂ of M are transverse if, at every point p in their intersection, the tangent spaces T_pN₁ and T_pN₂ span the tangent space T_pM. Formally, T_pN₁ + T_pN₂ = T_pM. If f: N → M is a smooth map and Z is a submanifold of M, then f is transverse to Z if for all p ∈ f^-1(Z), df_p(T_pN) + T_f(p)Z = T_f(p)M. The transversality theorem states that 'generically', a map will be transverse to a given submanifold. If f is transverse to Z, then f^-1(Z) is a submanifold of N, and its dimension is given by dim(N) - (dim(M) - dim(Z)).

Intersection Theory: Intersection theory studies how submanifolds intersect. If two submanifolds N₁ and N₂ of M intersect transversely, then their intersection N₁ ∩ N₂ is also a submanifold of M. Its dimension is given by dim(N₁) + dim(N₂) - dim(M). If the intersection is not transverse, it can be perturbed to make it transverse, thanks to transversality theorems. In certain cases, intersection numbers can be defined, which are integers that count the number of intersection points (with appropriate signs). These numbers are invariant under small deformations of the submanifolds, and they provide important topological information about the ambient manifold.

Morse Theory: Morse theory studies smooth functions on manifolds by analyzing their critical points (where the derivative vanishes). The Morse lemma states that near a non-degenerate critical point (where the Hessian matrix is non-singular), a function can be locally expressed as a sum of squares with positive and negative signs. The number of negative signs is called the index of the critical point. Morse theory provides a powerful tool for understanding the topology of manifolds by relating it to the critical points of a Morse function. For instance, the Euler characteristic of a manifold can be expressed as an alternating sum of the number of critical points of each index. It provides a deep connection between analysis and topology. A common misconception is that every function is a Morse function, but this is not true; however, generically, functions can be perturbed to become Morse functions.

Framed Cobordism: Framed cobordism is a tool to classify manifolds. Two n-dimensional manifolds M and N are cobordant if there is an (n+1)-dimensional manifold W with boundary equal to the disjoint union of M and N. If M and N are framed manifolds, then we require that W has a framing that extends those of M and N. The set of cobordism classes forms a group under disjoint union. Cobordism theory is a powerful technique for studying the classification of manifolds and has connections to algebraic topology and homotopy theory. The Pontryagin-Thom construction provides a link between cobordism groups and homotopy groups of spheres.

Degree of a Map: The degree of a map f: M → N between compact oriented manifolds of the same dimension is an integer that measures the 'number of times' f wraps M around N. If y is a regular value of f, then the degree of f is the sum of the signs of the determinant of the differential df_x over all points x in f^-1(y). The degree is independent of the choice of regular value and depends only on the homotopy class of f. The degree is a powerful invariant that can be used to distinguish between maps and to study the topology of manifolds. It is used extensively in applications such as the Brouwer fixed-point theorem.

The h-Cobordism Theorem: The h-cobordism theorem is a fundamental result in high-dimensional differential topology. It states that if W is an h-cobordism between two n-dimensional manifolds M and N with n ≥ 5, and W is simply connected, then W is diffeomorphic to M × [0, 1]. This implies that M and N are diffeomorphic. The theorem is used to prove the Poincaré conjecture in dimensions greater than or equal to 5. It is a powerful tool for studying the classification of high-dimensional manifolds. The proof relies on handlebody theory and the s-cobordism theorem.

Applications of Differential Topology: Differential topology has a wide range of applications in various fields. In physics, it is used to study topological defects in materials, such as dislocations and disclinations. It also plays a role in string theory and quantum field theory. In computer graphics and visualization, differential topology is used for surface reconstruction, shape analysis, and mesh parameterization. In robotics, it is used for motion planning and pathfinding. In data analysis, it provides tools for understanding the topology of high-dimensional datasets. The ideas of differential topology are also used in mathematical economics and game theory. Understanding the underlying topology is critical for modeling and analyzing systems in many domains.

Browse public study notes