Manifolds, Charts & Atlases

A manifold is the central mathematical object in modern geometry and physics—a space that locally resembles Euclidean space but may possess nontrivial global topology. Charts provide coordinate systems, and atlases ensure smooth transitions between them.

Historical Context

The concept of a manifold was introduced by Bernhard Riemann in his 1854 Habilitationsschrift "On the Hypotheses Which Lie at the Foundations of Geometry." Riemann's revolutionary insight was that geometry should not be confined to flat Euclidean space but should encompass spaces of arbitrary dimension and curvature. This laid the groundwork for Einstein's general relativity, where spacetime itself is a 4-dimensional Lorentzian manifold.

The modern axiomatization was developed by Hassler Whitney (1936) and later refined by the Bourbaki school. Whitney proved that every smooth manifold can be embedded in some Euclidean space, establishing a bridge between intrinsic and extrinsic geometry.

Derivation 1: The Definition of a Smooth Manifold

A topological manifold $M$ of dimension $n$ is a second-countable, Hausdorff topological space such that every point $p \in M$ has an open neighborhood homeomorphic to an open subset of $\mathbb{R}^n$.

Coordinate Charts

A chart (or coordinate system) is a pair $(U, \varphi)$ where $U \subset M$ is open and $\varphi: U \to \varphi(U) \subset \mathbb{R}^n$ is a homeomorphism. For a point $p \in U$, the coordinates are:

$\varphi(p) = (x^1(p), x^2(p), \ldots, x^n(p)) \in \mathbb{R}^n$

Transition Maps

Given two overlapping charts $(U_\alpha, \varphi_\alpha)$ and $(U_\beta, \varphi_\beta)$ with$U_\alpha \cap U_\beta \neq \emptyset$, the transition map is:

$\varphi_{\beta\alpha} = \varphi_\beta \circ \varphi_\alpha^{-1}: \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta)$

This is a map between open subsets of $\mathbb{R}^n$. If all transition maps are$C^\infty$ (smooth), we say the charts are smoothly compatible.

Atlas and Smooth Structure

An atlas is a collection of charts $\{(U_\alpha, \varphi_\alpha)\}_{\alpha \in A}$ such that $\bigcup_\alpha U_\alpha = M$. A smooth atlas requires all transition maps to be $C^\infty$. A maximal smooth atlas (smooth structure) includes every chart compatible with the atlas. The pair $(M, \mathcal{A})$ is then a smooth manifold.

Key theorem (Whitney, 1936): Every smooth manifold of dimension $n$ can be smoothly embedded in $\mathbb{R}^{2n+1}$. This is sharp for $n = 1$ (the figure-eight cannot be embedded in $\mathbb{R}^2$ as a manifold).

Derivation 2: Stereographic Projection of $S^n$

The $n$-sphere $S^n = \{x \in \mathbb{R}^{n+1} : |x|^2 = 1\}$ is the prototypical compact manifold. We construct an explicit smooth atlas using stereographic projection.

North Pole Chart

Let $N = (0, \ldots, 0, 1)$ be the north pole. The stereographic projection from $N$ maps$S^n \setminus \{N\} \to \mathbb{R}^n$. For a point $p = (x^1, \ldots, x^{n+1}) \in S^n$:

Project from north pole along the line through N and p:

$\varphi_N(p) = \frac{1}{1 - x^{n+1}}(x^1, x^2, \ldots, x^n)$

South Pole Chart

Similarly, projecting from $S = (0, \ldots, 0, -1)$:

$\varphi_S(p) = \frac{1}{1 + x^{n+1}}(x^1, x^2, \ldots, x^n)$

Transition Map Computation

On the overlap $S^n \setminus \{N, S\}$, writing $y = \varphi_N(p)$ with $|y|^2 = \frac{1 - (x^{n+1})^2}{(1 - x^{n+1})^2} = \frac{1 + x^{n+1}}{1 - x^{n+1}}$:

Step 1: Express south chart coordinates in terms of north chart:

$\varphi_S \circ \varphi_N^{-1}(y) = \frac{y}{|y|^2}$

The transition map is inversion through the unit sphere:

$\boxed{\varphi_{SN}(y) = \frac{y}{|y|^2}, \quad y \in \mathbb{R}^n \setminus \{0\}}$

The Jacobian of this inversion is:

$\frac{\partial y_S^i}{\partial y_N^j} = \frac{1}{|y|^2}\left(\delta^i_j - \frac{2 y^i y^j}{|y|^2}\right), \quad \det = \frac{(-1)^n}{|y|^{2n}}$

Since this is smooth and nondegenerate on $\mathbb{R}^n \setminus \{0\}$, the two charts form a smooth atlas for $S^n$. This proves $S^n$ is a smooth manifold.

Derivation 3: Smooth Maps and Diffeomorphisms

Given smooth manifolds $(M, \mathcal{A}_M)$ and $(N, \mathcal{A}_N)$, a continuous map $f: M \to N$ is smooth if for every chart $(U, \varphi)$ on $M$ and$(V, \psi)$ on $N$, the composite:

$\hat{f} = \psi \circ f \circ \varphi^{-1}: \varphi(U \cap f^{-1}(V)) \to \psi(V)$

is a smooth map between open subsets of Euclidean spaces. This is the coordinate representation of $f$. In coordinates $x^i$ on $M$ and $y^a$ on $N$:

$y^a = \hat{f}^a(x^1, \ldots, x^m)$

Diffeomorphisms

A smooth map $f: M \to N$ is a diffeomorphism if it is bijective and $f^{-1}$ is also smooth. If such a map exists, $M$ and $N$ arediffeomorphic ($M \cong N$) and are considered the same smooth manifold.

Exotic spheres (Milnor, 1956): In dimension 7, there exist smooth manifolds homeomorphic to $S^7$ but not diffeomorphic to it. This shows that a single topological manifold can carry multiple distinct smooth structures. Milnor found 28 exotic 7-spheres, earning him the Fields Medal.

Derivation 4: Partitions of Unity

Partitions of unity are the fundamental tool for passing from local to global constructions on manifolds. Given an open cover $\{U_\alpha\}$ of $M$, a partition of unity subordinate to this cover is a collection of smooth functions $\{\rho_\alpha: M \to [0,1]\}$ such that:

$\text{supp}(\rho_\alpha) \subset U_\alpha$

Each function is supported inside the corresponding open set

$\sum_\alpha \rho_\alpha(p) = 1 \quad \text{for all } p \in M$

The functions sum to unity at every point (locally finite sum)

Construction via Bump Functions

The key ingredient is the existence of smooth bump functions. The standard bump function on $\mathbb{R}$ is:

$\psi(t) = \begin{cases} e^{-1/t} & t > 0 \\ 0 & t \leq 0 \end{cases}$

Using this, define $\chi(t) = \frac{\psi(t)}{\psi(t) + \psi(1-t)}$, which smoothly interpolates from 0 to 1 on $[0,1]$. Composing with a radial function gives a bump function supported in any desired ball.

Application in physics: Partitions of unity allow defining global objects (like Riemannian metrics, volume forms, integration) from local data. In general relativity, this ensures the metric tensor $g_{\mu\nu}$ can be constructed globally despite working in local coordinate patches.

Derivation 5: Submanifolds and the Implicit Function Theorem

A subset $S \subset M$ is a regular submanifold of dimension $k$ if around every point $p \in S$, there exists a chart $(U, \varphi)$ of $M$ such that:

$\varphi(U \cap S) = \{(x^1, \ldots, x^n) \in \varphi(U) : x^{k+1} = \cdots = x^n = 0\}$

Level Set Theorem

Let $f: M \to N$ be smooth with $\dim M = m$, $\dim N = n$, and $m > n$. If $c \in N$ is a regular value (meaning $df_p$ is surjective for all $p \in f^{-1}(c)$), then:

$\boxed{f^{-1}(c) \text{ is a smooth submanifold of } M \text{ with dimension } m - n}$

Example: The sphere as a level set

Define $f: \mathbb{R}^{n+1} \to \mathbb{R}$ by $f(x) = |x|^2$. Then $df_x = 2x$, which is surjective for all $x \neq 0$. Thus $S^n = f^{-1}(1)$ is a smooth $n$-dimensional submanifold of $\mathbb{R}^{n+1}$.

Immersions and Embeddings

A smooth map $f: M \to N$ is an immersion if $df_p$ is injective for all $p \in M$. It is an embedding if additionally $f$ is a homeomorphism onto its image. The distinction matters: the figure-eight is an immersed but not embedded circle in $\mathbb{R}^2$.

Physics application: In string theory, the worldsheet is a 2-dimensional manifold immersed in the target spacetime. The embedding map $X^\mu(\sigma, \tau)$ defines the string's trajectory, and the pullback of the spacetime metric determines the induced geometry on the worldsheet.

Applications to Physics

General Relativity

Spacetime is a 4-dimensional smooth manifold $(\mathcal{M}, g)$ equipped with a Lorentzian metric. Different coordinate charts correspond to different observers (e.g., Schwarzschild coordinates for static observers, Kruskal coordinates for freely falling observers). The transition maps encode the relationship between these descriptions.

The requirement that physics is independent of coordinate choice is the principle of general covariance—equations must be tensorial.

Gauge Theory

In gauge field theories, the configuration space of gauge fields modulo gauge transformations is an infinite-dimensional manifold. The structure of coordinate charts on this space (the Gribov problem) has deep implications for non-perturbative QCD and the confinement mechanism.

Condensed Matter

The Brillouin zone in crystallography is a torus $T^n$—a compact manifold requiring multiple charts. Band structures are sections of vector bundles over this manifold, and topological properties of the band structure (Chern numbers) determine the quantized Hall conductance.

Interactive Simulation

This simulation demonstrates the stereographic atlas for $S^2$: the coordinate grid in the north-pole chart, the transition function between charts, the conformal factor of the induced metric, and the Jacobian determinant ensuring smoothness of the atlas.

Manifolds & Charts: Stereographic Atlas for S^2

Python

script.py140 lines

#!/usr/bin/env python3
"""
manifolds_charts.py - Manifolds, Charts, and Atlases
Visualizes coordinate charts, transition maps, and smooth structures
"""
import numpy as np
import matplotlib
matplotlib.use('Agg')
import matplotlib.pyplot as plt
import base64
from io import BytesIO

# ============================================================
# 1. Stereographic projection charts on S^2
# ============================================================
theta = np.linspace(0.05, np.pi - 0.05, 200)
phi = np.linspace(0, 2 * np.pi, 200)
THETA, PHI = np.meshgrid(theta, phi)

# North pole chart: stereographic from north
def stereo_north(th, ph):
    r = 2.0 * np.tan(th / 2.0)
    return r * np.cos(ph), r * np.sin(ph)

# South pole chart: stereographic from south
def stereo_south(th, ph):
    r = 2.0 / np.tan(th / 2.0)
    return r * np.cos(ph), r * np.sin(ph)

# Transition function on overlap: inversion
r_vals = np.linspace(0.2, 4.0, 300)
r_transition = 4.0 / r_vals  # |z|^2 -> 4/|z|^2

# Jacobian of transition map
det_jacobian = 4.0 / r_vals**2

print("=" * 72)
print("  MANIFOLDS, CHARTS, AND ATLASES: S^2 ANALYSIS")
print("=" * 72)
print()
print("  The 2-sphere requires at least two coordinate charts.")
print("  Stereographic projection from each pole covers all but one point.")
print()
print("  North chart domain: S^2 \\ {North Pole}")
print("  South chart domain: S^2 \\ {South Pole}")
print()
print("  Transition map on overlap (equatorial band):")
print("    z_S = 4 / conjugate(z_N)")
print()

# Metric in stereographic coordinates
# ds^2 = (4 / (1 + |z|^2)^2) |dz|^2
r_metric = np.linspace(0.01, 5.0, 300)
conformal_factor = 4.0 / (1.0 + r_metric**2)**2

print("  Conformal factor of stereographic metric:")
print("    Lambda(r) = 4 / (1 + r^2)^2")
print()

for rv in [0.0, 1.0, 2.0, 4.0]:
    lam = 4.0 / (1.0 + rv**2)**2
    print("    r = {:.1f}:  Lambda = {:.6f}".format(rv, lam))

print()
print("  At r=0 (projection center): Lambda = 4.000000 (maximal)")
print("  As r -> inf (antipodal point): Lambda -> 0")
print()

# Compatibility check: transition map is smooth (C^inf)
print("  SMOOTHNESS VERIFICATION")
print("  -" * 36)
print("  Transition: phi_S o phi_N^{-1}(z) = 4/conj(z)")
print("  This is smooth on C \\ {0}, confirming atlas compatibility.")
print("  Jacobian determinant = 16/|z|^4  (never zero on overlap)")
print()

# ============================================================
# Visualization
# ============================================================
fig, axes = plt.subplots(2, 2, figsize=(14, 11))
fig.patch.set_facecolor('#0a0a0a')

for ax in axes.flat:
    ax.set_facecolor('#111111')
    for spine in ax.spines.values():
        spine.set_color('#2dd4bf')
    ax.tick_params(colors='#99f6e4')
    ax.grid(True, color='#134e4a', alpha=0.4)

# Plot 1: Stereographic chart from north pole
ax1 = axes[0, 0]
for t in np.linspace(0.2, 2.8, 10):
    xn, yn = stereo_north(t, phi)
    ax1.plot(xn, yn, color='#2dd4bf', alpha=0.5, linewidth=0.8)
for p in np.linspace(0, 2*np.pi, 16):
    xn, yn = stereo_north(theta, p * np.ones_like(theta))
    ax1.plot(xn, yn, color='#a78bfa', alpha=0.4, linewidth=0.8)
ax1.set_xlim(-6, 6)
ax1.set_ylim(-6, 6)
ax1.set_aspect('equal')
ax1.set_title('North Pole Stereographic Chart', color='#99f6e4', fontsize=12, fontweight='bold')
ax1.set_xlabel('x_N', color='#5eead4')
ax1.set_ylabel('y_N', color='#5eead4')

# Plot 2: Transition function r_S(r_N)
ax2 = axes[0, 1]
ax2.plot(r_vals, r_transition, color='#f59e0b', linewidth=2.5, label='r_S = 4/r_N')
ax2.plot(r_vals, r_vals, color='#6b7280', linewidth=1, linestyle='--', alpha=0.5, label='identity')
ax2.set_xlabel('r_N', color='#5eead4')
ax2.set_ylabel('r_S', color='#5eead4')
ax2.set_title('Transition Function', color='#99f6e4', fontsize=12, fontweight='bold')
ax2.legend(facecolor='#111111', edgecolor='#134e4a', labelcolor='#99f6e4')
ax2.set_xlim(0, 4)
ax2.set_ylim(0, 8)

# Plot 3: Conformal factor
ax3 = axes[1, 0]
ax3.plot(r_metric, conformal_factor, color='#34d399', linewidth=2.5)
ax3.fill_between(r_metric, conformal_factor, alpha=0.15, color='#34d399')
ax3.set_xlabel('r (stereographic radius)', color='#5eead4')
ax3.set_ylabel('Conformal factor', color='#5eead4')
ax3.set_title('Metric Conformal Factor on S^2', color='#99f6e4', fontsize=12, fontweight='bold')

# Plot 4: Jacobian determinant of transition
ax4 = axes[1, 1]
ax4.semilogy(r_vals, det_jacobian, color='#f472b6', linewidth=2.5)
ax4.set_xlabel('r_N', color='#5eead4')
ax4.set_ylabel('|det J|', color='#5eead4')
ax4.set_title('Jacobian of Transition Map', color='#99f6e4', fontsize=12, fontweight='bold')

plt.tight_layout(pad=2.0)
buf = BytesIO()
plt.savefig(buf, format='png', dpi=150, bbox_inches='tight', facecolor='#0a0a0a')
buf.seek(0)
img_b64 = base64.b64encode(buf.read()).decode()
print('<img src="data:image/png;base64,' + img_b64 + '" alt="Manifolds and Charts Visualization" />')
buf.close()
print()
print("Visualization complete.")

Click Run to execute the Python code

Code will be executed with Python 3 on the server

Summary

Charts and Atlases

A chart $(U, \varphi)$ provides local coordinates; an atlas covers the manifold with compatible charts. Smooth compatibility of transition maps defines the smooth structure.

Stereographic Projection

Two stereographic charts form a smooth atlas for $S^n$. The transition map is inversion, smooth on $\mathbb{R}^n \setminus \{0\}$.

Submanifolds

Regular values of smooth maps yield submanifolds via the implicit function theorem. This provides the standard construction of $S^n$, Lie groups, and constraint surfaces in mechanics.

← Course Overview Next: Tangent Spaces →