Manifolds and Charts

⚡ Key Takeaways

A manifold is a topological space that locally looks like Euclidean space $\mathbb{R}^n$ ; a chart is a homeomorphism from an open subset to an open subset of $\mathbb{R}^n$ that makes this resemblance precise. Together with compatible charts forming an atlas, they furnish the foundational language of differential geometry. Used throughout geometry, topology, general relativity, gauge theory, dynamical systems, and Lie theory. Concept crystallized by Bernhard Riemann (1854) and made rigorous by Hermann Weyl, Élie Cartan, and Hassler Whitney (1900s–1936).

💡 The Core Insight

Geometry on a curved space is done coordinate-free in spirit but coordinate-wise in practice. Charts let you pull global, intrinsic objects (functions, vectors, tensors) back to $\mathbb{R}^n$ and compute; the compatibility of overlapping charts (via smooth transition maps) guarantees that the answers are consistent and intrinsic, independent of which chart you chose. The manifold is the equivalence class of these consistently glued local pictures.

DefinitionTopological Manifold

A topological manifold of dimension $n$ is a topological space $M$ satisfying:

(Locally Euclidean) Every point $p \in M$ has an open neighborhood $U$ homeomorphic to an open subset of $\mathbb{R}^n$ .
(Hausdorff) Distinct points have disjoint neighborhoods.
(Second countable) The topology has a countable base.

The pair $(U, \varphi)$ with $\varphi : U \to \widetilde{U} \subseteq \mathbb{R}^n$ a homeomorphism onto an open set is a chart (or coordinate system). The component functions $\varphi = (x^1, \dots, x^n)$ are the local coordinates.

DefinitionSmooth Atlas and Transition Maps

A $C^k$ atlas on a topological $n$ -manifold $M$ is a collection $\mathcal{A} = \{(U_\alpha, \varphi_\alpha)\}_{\alpha \in A}$ of charts with $\bigcup_\alpha U_\alpha = M$ such that for every overlapping pair the transition map (change of coordinates) is a $C^k$ diffeomorphism between open subsets of $\mathbb{R}^n$ . A smooth ( $C^\infty$ ) structure is a maximal $C^\infty$ atlas; the resulting object is a smooth manifold.

DefinitionSmooth Map and Diffeomorphism

A map $F : M \to N$ between smooth manifolds is smooth if for all charts $(U,\varphi)$ on $M$ and $(V,\psi)$ on $N$ with $F(U)\subseteq V$ , the coordinate representation $\psi \circ F \circ \varphi^{-1} : \mathbb{R}^m \to \mathbb{R}^n$ is $C^\infty$ where defined. $F$ is a diffeomorphism if it is a smooth bijection with smooth inverse.

TheoremWell-Definedness of Smoothness

Smoothness of $F:M\to N$ is independent of the choice of compatible charts. If $\widehat F = \psi\circ F\circ\varphi^{-1}$ is $C^\infty$ for one pair, it is $C^\infty$ for any other compatible pair $(U',\varphi'),(V',\psi')$ .

Proof

Step 1. Let $(U',\varphi')$ and $(V',\psi')$ be alternative charts compatible with the originals. On the overlap the new coordinate representation is

\widehat F' = \psi'\circ F\circ\varphi'^{-1}.

Step 2. Insert identities $\psi^{-1}\circ\psi$ and $\varphi^{-1}\circ\varphi$ :

\widehat F' = \big(\psi'\circ\psi^{-1}\big)\circ\big(\psi\circ F\circ\varphi^{-1}\big)\circ\big(\varphi\circ\varphi'^{-1}\big).

Step 3. Identify the bracketed factors:

\widehat F' = \underbrace{\tau^N_{\psi'\psi}}_{C^\infty} \circ\; \underbrace{\widehat F}_{C^\infty\ \text{(hypothesis)}}\;\circ \underbrace{\tau^M_{\varphi\varphi'}}_{C^\infty}.

The outer factors are transition maps, smooth by the atlas compatibility [2]–[3]; the middle factor is smooth by hypothesis.

Step 4. A composition of $C^\infty$ maps between open subsets of Euclidean spaces is $C^\infty$ (chain rule, applied to all orders). Hence $\widehat F'$ is smooth. $\blacksquare$

∎

mathematician · Bernhard Riemann | 1826–1866

In his 1854 Habilitationsvortrag, Über die Hypothesen, welche der Geometrie zu Grunde liegen ("On the Hypotheses which lie at the Foundations of Geometry"), Riemann introduced the notion of an $n$ -fold extended quantity ( $n$ -fach ausgedehnte Größe)—a space described by $n$ varying coordinates, with a notion of length given by a quadratic differential form. He distinguished the topological structure ("the placement relations") from the metric structure, and explicitly considered spaces of variable curvature and arbitrary dimension. Gauss, his advisor and present at the lecture, reportedly walked home in unusual contemplative excitement. Riemann's coordinate-patches-with-a-metric vision is the genetic ancestor of both the manifold and the chart; the full topological rigor (Hausdorff, atlases, transition maps) would take another seventy years to formalize.

🧠 Intuition

Think of an atlas of the Earth: no single flat page can faithfully represent the globe, but a book of overlapping map-pages does. Each page is a chart $\varphi_\alpha$ . Where two pages overlap—say one shows Spain's east coast and another its west—the transition map $\tau_{\beta\alpha}$ tells you how to convert grid coordinates from one page to the other, and it had better be smooth (no tearing, no folding) so that a route drawn across the seam is unambiguous. The manifold itself is the territory, never the maps. You can never see all of it flat at once (that's the content of "no global chart" for, e.g., the sphere), but every neighborhood is faithfully Euclidean. Smooth structure means the overlap conversions are differentiable, so notions like "velocity," "tangent direction," and "rate of change" transfer coherently from page to page. This is why a vector field, a metric, or a differential equation can be defined on the territory by specifying it on each page and checking only that the pages agree on overlaps.

Figure

Two overlapping charts on a manifold and their transition map

ExampleThe circle

S^1

via stereographic charts

Given. $S^1 = \{(x,y)\in\mathbb{R}^2 : x^2+y^2 = 1\}$ . Define two stereographic charts: $\varphi_N$ projecting from the north pole $N=(0,1)$ onto the $x$ -axis, and $\varphi_S$ from the south pole $S=(0,-1)$ .

Step 1 — write the charts. For $(x,y)\ne N$ ,

\varphi_N(x,y) = \frac{x}{1-y} =: u, \qquad U_N = S^1\setminus\{N\}.

For $(x,y)\ne S$ ,

\varphi_S(x,y) = \frac{x}{1+y} =: v, \qquad U_S = S^1\setminus\{S\}.

Together $U_N\cup U_S = S^1$ , an atlas of two charts.

Step 2 — overlap. The overlap $U_N\cap U_S = S^1\setminus\{N,S\}$ has image $\varphi_N(U_N\cap U_S) = \mathbb{R}\setminus\{0\}$ .

Step 3 — transition map. Using $u\cdot v = \dfrac{x^2}{1-y^2} = \dfrac{x^2}{x^2} = 1$ (since $1-y^2=x^2$ on the circle):

\tau_{SN}(u) = \varphi_S\circ\varphi_N^{-1}(u) = \frac{1}{u}, \qquad u\in\mathbb{R}\setminus\{0\}.

Step 4 — verify smoothness. $\tau_{SN}(u)=1/u$ is $C^\infty$ on $\mathbb{R}\setminus\{0\}$ with smooth inverse $v\mapsto 1/v$ .

\boxed{\;S^1 \text{ is a smooth 1-manifold; transition map } \tau_{SN}(u)=1/u \text{ (dimensionless)}.\;}

ExampleCoordinate representation of a rotation, with numbers

Given. The map $R_\theta : S^1\to S^1$ rotating by $\theta = \pi/2$ . Use the stereographic chart $\varphi_N(u) = x/(1-y)$ from the previous example. Question: compute $\widehat{R} = \varphi_N\circ R_\theta\circ\varphi_N^{-1}$ and evaluate at the point with coordinate $u=1$ (i.e. the point $(x,y)=(1,0)$ ).

Step 1 — invert the chart. Solving $u=x/(1-y)$ with $x^2+y^2=1$ :

\varphi_N^{-1}(u) = \left(\frac{2u}{u^2+1},\ \frac{u^2-1}{u^2+1}\right).

At $u=1$ : $\varphi_N^{-1}(1) = (1,0)$ . ✓

Step 2 — apply the rotation by $\pi/2$ . $R_{\pi/2}(x,y) = (-y,\,x)$ , so $R_{\pi/2}(1,0) = (0,1) = N$ .

Step 3 — read off in coordinates. $(0,1)=N$ is not in $U_N$ : the chart $\varphi_N$ fails there. So $\widehat R$ is defined only on $u$ -values whose image avoids $N$ ; the coordinate $u=1$ maps to the chart's singular point.

Step 4 — general formula and a regular point. In general,

\widehat{R}_{\pi/2}(u) = \varphi_N(-y,x) = \frac{-y}{1-x} = \frac{-(u^2-1)/(u^2+1)}{1-2u/(u^2+1)} = \frac{1-u^2}{u^2-2u+1} = \frac{(1-u)(1+u)}{(u-1)^2} = -\frac{1+u}{u-1}.

Evaluate at $u=2$ (the point $(4/5,3/5)$ ): $\widehat R_{\pi/2}(2) = -\dfrac{3}{1} = -3$ .

\boxed{\;\widehat{R}_{\pi/2}(u) = -\frac{1+u}{u-1};\quad \widehat R_{\pi/2}(2) = -3\ \text{(dimensionless coordinate)}.\;}

Lesson. A perfectly smooth global map ( $R_\theta$ is a diffeomorphism) can have a coordinate representation that blows up ( $u=1$ ); this is a chart artifact, not a property of $M$ , and is repaired by switching to $\varphi_S$ near that point.

⚠️ Common mistake

A manifold is not "a subset of $\mathbb{R}^N$ ." The modern definition is intrinsic: $M$ is an abstract topological space with an atlas, with no ambient Euclidean space presupposed. Whitney's embedding theorem guarantees that any smooth $n$ -manifold embeds in $\mathbb{R}^{2n}$ , but this is a theorem, not a definition, and the embedding is non-canonical. Conflating the two leads to errors about which structures are intrinsic (the smooth structure, tangent spaces, differential forms) versus extrinsic (a particular embedding, second fundamental form, ambient normal vectors).

⚠️ Common mistake

The Hausdorff and second-countability axioms are not optional decorations. Dropping Hausdorff allows pathologies like the line with two origins, where limits are not unique and tangent bundles misbehave. Dropping second countability permits the long line, which is locally Euclidean and Hausdorff but admits no Riemannian metric and no partition of unity, breaking the entire integration apparatus. These axioms exist precisely so that partitions of unity exist.

CounterexampleThe line with two origins is locally Euclidean but not Hausdorff

Take two copies of $\mathbb{R}$ , $\mathbb{R}\times\{0\}$ and $\mathbb{R}\times\{1\}$ , and glue them along all nonzero points: identify $(x,0)\sim(x,1)$ for $x\ne 0$ . The result $L$ has two distinct "origins" $0_a, 0_b$ . Every point has a neighborhood homeomorphic to $\mathbb{R}$ (locally Euclidean ✓, second countable ✓), yet any neighborhood of $0_a$ meets any neighborhood of $0_b$ . Thus $L$ is not Hausdorff. Consequences: a sequence $x_n\to 0$ converges to both origins, smooth curves do not have unique limits, and $L$ is not a manifold in the standard sense—demonstrating that local Euclideanness alone is insufficient.

CounterexampleDistinct smooth structures on the same topological manifold

The topological 7-sphere carries exactly 28 distinct smooth structures (15 if one ignores orientation): Milnor's exotic spheres (1956) are smooth manifolds homeomorphic but not diffeomorphic to the standard $S^7$ . Built as $S^3$ -bundles over $S^4$ , they are distinguished by an invariant computed from the signature and Pontryagin numbers of bounding 8-manifolds. This shows that the smooth atlas is strictly more data than the topology: a topological manifold can be smoothable in genuinely inequivalent ways, and—by work of Kervaire—some topological manifolds (e.g. the Kervaire 10-dimensional sphere context, and in dim 4 the $E_8$ -manifold) admit no smooth structure at all.

connection

Charts are the entry point to the entire differential-geometric edifice. The Tangent Space at $p$ is defined chart-independently (as derivations or velocity-classes), but its basis $\partial/\partial x^i$ comes directly from a chart; the change-of-basis under [2] is governed by the Jacobian of the transition map, which is the prototype of all tensorial transformation laws. The collection of all tangent spaces glued via transition Jacobians forms the Tangent Bundle, the first nontrivial example of a Vector Bundle whose cocycle is exactly $D\tau_{\beta\alpha}$ . Smooth maps and their coordinate representations [4] underlie the Differential of a Smooth Map and the Inverse Function Theorem on Manifolds. The compatibility cocycle [3] is the manifold-level shadow of Čech Cohomology with values in a structure group, linking charts to Principal Bundles and Fiber Bundles. Adding a positive-definite quadratic form in each chart, consistently transformed, yields a Riemannian Metric and the realm of curvature.

🔬 Where this appears

⏳ History

- 1827 — Gauss's Disquisitiones generales circa superficies curvas establishes intrinsic geometry of surfaces (the Theorema Egregium), the seed of intrinsic, coordinate-independent thinking.

- 1854 — Riemann's habilitation lecture introduces

n

-dimensional "manifoldnesses" (Mannigfaltigkeiten) with variable metric; the word and the concept enter mathematics.

- 1895–1904 — Poincaré's Analysis Situs founds algebraic topology and works with manifolds via local coordinates and gluing, though without modern axioms.

- 1913 — Hermann Weyl, in Die Idee der Riemannschen Fläche, gives the first rigorous abstract definition of a (Riemann) surface as a space patched by charts with holomorphic transition functions—the historical birth of the atlas concept.

- 1925–1930 — Élie Cartan develops moving frames and connections, and Veblen–Whitehead formalize "differentiable manifolds" in The Foundations of Differential Geometry (1932), pinning down atlases and smooth structures.

- 1936 — Hassler Whitney proves the embedding theorem (any smooth

n

-manifold embeds in

\mathbb{R}^{2n}

) and rigorously establishes the abstract manifold concept, reconciling intrinsic and extrinsic viewpoints.

- 1956 — John Milnor discovers exotic 7-spheres, proving smooth structures are not topologically determined and launching differential topology.

- 1960 — Kervaire exhibits a topological manifold (dimension 10) with no smooth structure.

- 1982–1987 — Donaldson and Freedman, using gauge theory and the

h

-cobordism technology, reveal exotic $\mathbb{R}^4$ 's—uncountably many smooth structures on

\mathbb{R}^4

, a phenomenon unique to dimension four.

open-problem

Existence and uniqueness of smooth structures remain partly open. Dimensions 1, 2, 3 are tame (Radó, Moise: every topological manifold there has a unique smooth structure). Dimension 4 is wild and largely mysterious: the smooth 4-dimensional Poincaré conjecture—is every smooth manifold homeomorphic to $S^4$ also diffeomorphic to it?—is open, and it is unknown whether any exotic 4-sphere exists. The classification of smooth structures on a fixed topological 4-manifold is generally not understood, and gauge-theoretic invariants (Donaldson, Seiberg–Witten) are the only tools. In high dimensions ( $n\ge 5$ ) surgery theory tames the problem in principle, yet computing the group $\Theta_n$ of homotopy spheres connects to deep open questions in stable homotopy theory (the Kervaire invariant problem, largely resolved by Hill–Hopkins–Ravenel in 2009 except in dimension 126, settled affirmatively only recently). Thus "what smooth manifolds exist?" is, at its frontier, a problem in algebraic topology and analysis simultaneously.

Formal Statement

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also