Differentiable manifold

A differentiable manifold is a mathematical structure that allows us to use calculus on curved or complex shapes. While many shapes are difficult to study all at once, a manifold is locally similar to a flat vector space. This means that if you look at a very small part of the shape, it looks and behaves like a simple, flat plane. This local similarity is vital because it allows mathematicians to apply the rules of calculus to spaces that do not have a single, global coordinate system. By using these local rules, we can study how things change across the entire shape.

To understand how this works, we must look at the concept of an atlas and its charts. A manifold is described by a collection of maps called an atlas. Each individual map in the atlas is called a chart. A chart takes a small, open piece of the manifold and maps it to a piece of Euclidean space, which is a standard flat space. Within a single chart, we can use calculus to study functions by looking at their partial derivatives. However, a single chart usually cannot cover the whole manifold without causing problems.

Because charts often overlap, we need a way to move between them. The functions that relate the coordinates of one chart to the coordinates of another are called transition maps. If we only have a topological manifold, these transition maps are continuous, but they might not be smooth. This can create sharp corners or edges where the math breaks down. A differentiable manifold solves this by requiring that all transition maps in the atlas are differentiable. This ensures that if a function is differentiable in one chart, it remains differentiable when viewed through the overlapping chart.

There are different levels of smoothness that mathematicians use to define these structures. A manifold might be described as continuously differentiable, k-times differentiable, or smooth. In many contexts, "smooth" means that a function has infinitely many derivatives. There are even more specific types, such as analytic manifolds, where the maps are real-analytic. Some manifolds are also described as holomorphic, which relates to complex structures. These different levels of differentiability allow scientists to choose the exact amount of mathematical precision they need for their work.

The history of this field is tied to some of the most famous names in science. Carl Friedrich Gauss and Bernhard Riemann are credited with the emergence of differential geometry. In 1867, Riemann gave a famous lecture at Göttingen where he described manifolds. He suggested that the true character of a manifold is found in how we determine position using measurements. Later, mathematicians Gregorio Ricci-Curbastro and Tullio Levi-Civita developed tensor analysis. Their work on covariance helped identify geometric properties that stay the same even when we change our coordinate maps.

These mathematical tools became essential for understanding the physical universe. Albert Einstein used these concepts to build his theory of general relativity. This theory relies on the geometric properties of manifolds to explain how gravity works. Other major physical theories, such as classical mechanics and Yang-Mills theory, are also built on these foundations. Even the work of James Clerk Maxwell on electromagnetism provided an early example of the tensor formalism used in these studies.

Modern definitions of these structures were refined by several key figures. Hermann Weyl provided a modern definition of a 2-dimensional manifold in his 1913 book on Riemann surfaces. Later, in 1936, Hassler Whitney provided the widely accepted general definition of a manifold using the concept of an atlas. Today, a differentiable manifold is formally defined as a topological space equipped with a maximal differentiable atlas. This structure allows us to define important tools like tangent spaces, vector fields, and tensor fields across the entire manifold.