Smooth structure and atlases

Intuition [Beginner]

A topological manifold has coordinate charts, but the charts might not fit together smoothly. Imagine two maps of the Earth that use different projections — the transition between them might stretch or twist.

A smooth atlas is a collection of charts where every transition between overlapping charts is smooth (infinitely differentiable). This means calculus works consistently across chart boundaries.

Think of it like a jigsaw puzzle: each piece (chart) is flat, and the edges between pieces must line up without kinks. A smooth atlas ensures there are no kinks at the seams.

Two atlases are equivalent if their union is still a smooth atlas — they describe the same smooth structure. A smooth manifold is a topological manifold with a chosen equivalence class of smooth atlases.

Visual [Beginner]

Two overlapping charts on a manifold, each mapping to a flat patch of ${\mathbb{R}}^n$. In the overlap region, the transition map $\psi \circ {\phi }^{-1}$ goes from one flat patch to another. A smooth arrow labelled "smooth transition" connects them.

The smooth atlas: every transition between charts is a smooth map between open sets of ${\mathbb{R}}^n$.

Worked example [Beginner]

On the circle $S^1$, use two charts: ${\phi }_1$ covering $S^1\setminus \{(1,0)\}$ and ${\phi }_2$ covering $S^1\setminus \{(-1,0)\}$.

In the overlap (the circle minus two points), the transition ${\phi }_2\circ {\phi }_1^{-1}$ maps an angle $\theta \in (0,2\pi )$ to $\theta$ or $\theta +\pi$ (depending on the chart conventions). This is a smooth function of $\theta$.

So these two charts form a smooth atlas, giving $S^1$ a smooth structure. This is the standard smooth structure on the circle.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition ($C^{\infty }$-compatible charts). Two charts $(U,\phi )$ and $(V,\psi )$ on a topological $n$-manifold $M$ are smoothly compatible if either $U\cap V=\varnothing$, or the transition map:

$$\psi \circ {\phi }^{-1}:\phi (U\cap V)\to \psi (U\cap V)$$

is a $C^{\infty }$ diffeomorphism (smooth with smooth inverse).

Definition (Smooth atlas). A smooth atlas on $M$ is a collection of pairwise smoothly compatible charts whose domains cover $M$.

Definition (Smooth structure). A smooth structure on $M$ is a maximal smooth atlas (one that contains every chart smoothly compatible with all charts in the atlas).

Every smooth atlas is contained in a unique maximal atlas. In practice, one specifies a smooth structure by giving any smooth atlas; the maximal extension is implicit.

Key theorem with proof [Intermediate+]

Theorem (Uniqueness of the maximal atlas). Every smooth atlas $\mathcal{A}$ on $M$ is contained in a unique maximal smooth atlas $\overline{\mathcal{A}}$, consisting of all charts smoothly compatible with every chart in $\mathcal{A}$.

Proof. Let $\overline{\mathcal{A}}=\{(U,\phi ):(U,\phi )\text{ is smoothly compatible with every chart in }\mathcal{A}\}$.

$\overline{\mathcal{A}}$ contains $\mathcal{A}$. Every chart in $\mathcal{A}$ is smoothly compatible with every other chart in $\mathcal{A}$ (by definition of atlas), so $\mathcal{A}\subset \overline{\mathcal{A}}$.

$\overline{\mathcal{A}}$ is an atlas. Let $(U,\phi )$ and $(V,\psi )$ be two charts in $\overline{\mathcal{A}}$. For any chart $(W,\eta )\in \mathcal{A}$, the compositions $\psi \circ {\phi }^{-1}=(\psi \circ {\eta }^{-1})\circ (\eta \circ {\phi }^{-1})$ are compositions of smooth maps, hence smooth. So $\overline{\mathcal{A}}$ is pairwise compatible and covers $M$.

Maximality. Any chart smoothly compatible with all charts in $\overline{\mathcal{A}}$ is smoothly compatible with all charts in $\mathcal{A}$, hence already in $\overline{\mathcal{A}}$.

Uniqueness. If ${\mathcal{A}}^{\prime }$ is another maximal atlas containing $\mathcal{A}$, then every chart in ${\mathcal{A}}^{\prime }$ is compatible with $\mathcal{A}$, so ${\mathcal{A}}^{\prime }\subset \overline{\mathcal{A}}$. By maximality of ${\mathcal{A}}^{\prime }$: ${\mathcal{A}}^{\prime }=\overline{\mathcal{A}}$. $\square$

Bridge. This construction generalises the idea of extending a basis to a maximal basis; the foundational reason smooth structures work is that compatibility is transitive, allowing local conditions to patch together globally. This pattern appears again in 03.02.03 where smooth maps between manifolds are defined using compatible charts. The bridge is that the maximal atlas is the "completion" of any atlas, identifying the smooth structure as an equivalence class of atlases.

Exercises [Intermediate+]

Advanced results [Master]

Exotic spheres (Milnor, 1956). Milnor constructed a smooth 7-manifold ${\Sigma }^7$ that is homeomorphic to $S^7$ but not diffeomorphic to $S^7$. This means the same topological manifold can carry inequivalent smooth structures. Milnor's construction used an $S^3$-bundle over $S^4$ and showed that the resulting manifold has a non-standard Pontryagin class.

The number of exotic smooth structures on $S^n$:

• $S^1,S^2,S^3$: unique smooth structure (standard only)
• $S^4$: unknown (the smooth Poincare conjecture in dimension 4)
• $S^5,S^6$: unique
• $S^7$: 28 exotic structures (oriented)
• $S^8,S^9,S^{10},S^{11}$: 2, 8, 6, 992 exotic structures respectively

Exotic ${\mathbb{R}}^4$. By work of Freedman and Donaldson (1982), ${\mathbb{R}}^4$ admits exotic smooth structures — the only Euclidean space to do so. This is deeply connected to the failure of smooth Versus topological in dimension 4.

Smooth Versus topological. In dimensions $n\le 3$, every topological manifold admits a unique smooth structure (up to diffeomorphism). In dimension $n\ge 5$, existence and classification are controlled by surgery theory. Dimension 4 is the wild case where both existence and uniqueness can fail.

Synthesis. The smooth structure is the bridge between topology and calculus on manifolds; the central insight is that smooth compatibility of charts is a local condition with global consequences — it determines which functions are smooth, which maps are diffeomorphisms, and ultimately what geometric invariants the manifold carries. This pattern recurs in the theory of exotic spheres where the same topology supports different smooth geometries. The bridge is that smooth structures are the "calculus certificates" for manifolds — they appear again in Riemannian geometry where a metric adds distance to the smooth foundation.

Full proof set [Master]

Proposition (Smooth maps are well-defined). If $F:M\to N$ is represented by a smooth map in one pair of charts, then it is smooth in every pair of compatible charts.

Proof. Let $(U,\phi )$ and $(V,\psi )$ be charts on $M$ and $N$ respectively, and suppose $\hat{F}=\psi \circ F\circ {\phi }^{-1}$ is smooth. Let $(U^{\prime },{\phi }^{\prime })$ and $(V^{\prime },{\psi }^{\prime })$ be any other compatible charts. Then:

$${\hat{F}}^{\prime }={\psi }^{\prime }\circ F\circ ({\phi }^{\prime }{)}^{-1}=({\psi }^{\prime }\circ {\psi }^{-1})\circ \hat{F}\circ (\phi \circ ({\phi }^{\prime }{)}^{-1}).$$

Since the transition maps ${\psi }^{\prime }\circ {\psi }^{-1}$ and $\phi \circ ({\phi }^{\prime }{)}^{-1}$ are smooth (by chart compatibility), and $\hat{F}$ is smooth, the composition is smooth. $\square$

Connections [Master]

Topological manifolds 03.02.01 provide the underlying space on which smooth structures are built; the smooth atlas adds calculus-compatible coordinate transitions.

Smooth maps between manifolds 03.02.03 are the morphisms of the smooth category; their well-definedness depends on the chart compatibility proved here.

Exotic spheres and differential topology show that smooth structure carries information beyond topology; the invariants that detect exotic structures (Pontryagin classes, Seiberg-Witten invariants) are smooth invariants with no topological counterpart.

Bibliography [Master]

@article{whitney1936,
  author = {Whitney, Hassler},
  title = {Differentiable manifolds},
  journal = {Ann. of Math.},
  volume = {37},
  pages = {645--680},
  year = {1936}
}

@article{milnor1956,
  author = {Milnor, John},
  title = {On manifolds homeomorphic to the $7$-sphere},
  journal = {Ann. of Math.},
  volume = {64},
  pages = {399--405},
  year = {1956}
}

@book{lee-smooth,
  author = {Lee, John M.},
  title = {Introduction to Smooth Manifolds},
  edition = {2},
  publisher = {Springer},
  year = {2013}
}

@book{spivak-dg,
  author = {Spivak, Michael},
  title = {A Comprehensive Introduction to Differential Geometry},
  volume = {1},
  edition = {3},
  publisher = {Publish or Perish},
  year = {1999}
}

Historical & philosophical context [Master]

Hassler Whitney introduced the modern definition of a smooth manifold in 1936 ^{[Whitney 1936]}, providing the rigorous foundation that Riemann's vision required. Whitney proved that every smooth manifold embeds in Euclidean space, showing that the abstract definition coincides with the concrete notion of a smooth surface.

John Milnor's 1956 discovery of exotic spheres ^{[Milnor 1956]} was a watershed moment. It showed that "smooth" and "topological" are genuinely different categories: the same topological space can carry inequivalent smooth structures. This result launched differential topology as a major field and earned Milnor the Fields Medal.

The philosophical lesson is that smoothness is not a property but a choice. A topological manifold does not come with a preferred smooth structure; choosing one is an additional geometric act with profound consequences for the global properties of the space.