Skip to content

Manifolds, First Look

A manifold is a space that looks like ordinary Euclidean space when viewed in a sufficiently small neighborhood, even if its global shape is curved, periodic, or otherwise not a single copy of Rn\mathbb R^n.

The slogan is:

A manifold is locally coordinatized, but globally it may need several coordinate patches.

This first-look page gives the minimum geometric language needed for Berry phase, angular variables, constrained configuration spaces, Bloch spheres, and topological examples. It does not try to replace a differential-geometry course.

Quantum mechanics repeatedly uses spaces that are not naturally single vector spaces:

  • a particle constrained to a circle has configuration space S1S^1;
  • a rigid rotor or direction of a magnetic field uses the sphere S2S^2;
  • two independent periodic phases form a torus T2T^2;
  • normalized qubit rays form the Bloch sphere;
  • a Hamiltonian depending on external controls has a parameter space;
  • Berry phases depend on loops in parameter space.

In each case, local coordinates are useful, but the global identifications matter. An angle θ\theta and an angle θ+2π\theta+2\pi may label the same point. A coordinate chart can fail at a pole even though the physical point is perfectly ordinary.

An nn-dimensional manifold MM is a space in which each point p∈Mp\in M has a neighborhood UU that can be assigned coordinates in an open region of Rn\mathbb R^n.

A chart is a map

φ:U→V⊂Rn,\varphi:U\to V\subset\mathbb R^n,

where UU is a patch of MM and VV is an open set in Euclidean space. If

φ(p)=(x1(p),…,xn(p)),\varphi(p) = (x^1(p),\ldots,x^n(p)),

then x1,…,xnx^1,\ldots,x^n are local coordinates on that patch.

Local coordinates let one write formulas. The manifold is the coordinate-independent space being described.

One chart is often not enough. An atlas is a collection of charts whose domains cover the manifold.

If two charts overlap,

φα:Uα→Vα,φβ:Uβ→Vβ,\varphi_\alpha:U_\alpha\to V_\alpha, \qquad \varphi_\beta:U_\beta\to V_\beta,

then points in the overlap have two coordinate descriptions. The coordinate-change map is

φβ∘φα−1.\varphi_\beta\circ\varphi_\alpha^{-1}.

For a smooth manifold, these coordinate changes are smooth wherever they are defined. This is the mathematical way of saying that different coordinate systems describe the same local geometry without tearing or folding it.

The unit circle is

S1={(x,y)∈R2:x2+y2=1}.S^1 = \left\{ (x,y)\in\mathbb R^2: x^2+y^2=1 \right\}.

It can be parametrized by an angle:

(x,y)=(cos⁡θ,sin⁡θ).(x,y) = (\cos\theta,\sin\theta).

But θ\theta is not a global one-to-one coordinate because

θ∼θ+2πn,n∈Z.\theta \sim \theta+2\pi n, \qquad n\in\mathbb Z.

One can cut the circle at a point and use an angle coordinate on the remaining open arc. A different cut gives another chart. The need for multiple charts is not a pathology; it is the ordinary global structure of S1S^1.

This is the same practical issue that appears whenever phase is defined only modulo 2π2\pi.

The unit sphere is

S2={(x,y,z)∈R3:x2+y2+z2=1}.S^2 = \left\{ (x,y,z)\in\mathbb R^3: x^2+y^2+z^2=1 \right\}.

Spherical coordinates write

x=sin⁡θcos⁡ϕ,y=sin⁡θsin⁡ϕ,z=cos⁡θ.\begin{aligned} x&=\sin\theta\cos\phi,\\ y&=\sin\theta\sin\phi,\\ z&=\cos\theta. \end{aligned}

These coordinates are familiar, but they are not a single smooth global chart. At the north and south poles, the azimuthal angle ϕ\phi is undefined. The poles are not singular points of the sphere; the coordinates are singular there.

This distinction matters in angular momentum and Berry phase. A formula can look singular because of a chart choice even when the underlying state or direction is regular.

A two-torus can be represented by two independent angles:

T2=S1×S1.T^2 = S^1\times S^1.

Coordinates may be written as

(θ,ϕ),(\theta,\phi),

with the identifications

(θ,ϕ)∼(θ+2πm,ϕ+2πn),m,n∈Z.(\theta,\phi) \sim (\theta+2\pi m,\phi+2\pi n), \qquad m,n\in\mathbb Z.

Tori appear in periodic boundary conditions, phase variables, Brillouin-zone models, and integrable classical systems. The important feature is not the donut picture; it is the double periodicity.

In Berry-phase problems, one often studies a Hamiltonian

H(R),H(R),

where RR denotes external parameters. The parameter space may be a line, a plane with a degeneracy removed, a sphere of field directions, a torus of phases, or a more abstract space of controls.

A path in parameter space is a map

R:[0,T]→M.R:[0,T]\to M.

A closed loop satisfies

R(T)=R(0).R(T)=R(0).

The Berry phase depends on the loop traced in this space, not merely on a list of local coordinate values. For the physical adiabatic phase, see Berry Phase.

Every finite-dimensional real vector space is a manifold, but not every manifold is a vector space.

For example, R2\mathbb R^2 is both a vector space and a manifold. The sphere S2S^2 is a manifold, but it is not a vector space: adding two points on the sphere as ordinary vectors in R3\mathbb R^3 does not generally give another point on the sphere.

This distinction prevents a common mistake. Local coordinates may look like vectors, but the points of the manifold do not automatically inherit a global addition operation.

Boundaries, Removed Points, and Singularities

Section titled “Boundaries, Removed Points, and Singularities”

Some spaces have boundaries, such as an interval [0,L][0,L] or a disk. These are manifolds with boundary, and boundary conditions become part of the physics.

Some spaces are built by removing points. The punctured plane

R2∖{0}\mathbb R^2\setminus\{0\}

is locally two-dimensional everywhere, but loops around the missing point cannot be shrunk to a point. This kind of global structure is central to Aharonov–Bohm physics and winding-number examples.

A true singularity is different from a coordinate singularity. The origin is not a point of the punctured plane at all. By contrast, the north pole is an ordinary point of S2S^2 even though spherical coordinates behave badly there.

Manifolds provide the stage. To do calculus on them, one needs additional objects:

  • tangent vectors describe allowed infinitesimal motions;
  • cotangent vectors and differentials describe gradients and linear measurements;
  • differential forms describe coordinate-independent integrands;
  • exterior derivatives generalize gradients, curls, and divergences;
  • integration on manifolds explains orientation and Stokes theorem;
  • connections compare vectors or phases at different points;
  • parallel transport moves that data along paths;
  • curvature and holonomy measure path dependence;
  • homotopy and winding classify simple loop deformations around holes;
  • fiber bundles organize the fibers themselves.

Tangent and Cotangent Spaces is the next step: it explains how tangent vectors, one-forms, differentials, and gradients live over the coordinate patches introduced here. Differential Forms then explains coordinate-independent integrands for curves and surfaces. Connections and Curvature adds the rule for comparing fibers and detecting path dependence, Parallel Transport applies that rule along paths, Holonomy studies closed-loop transport, and Fiber Bundles, First Look organizes the total-space picture. The guiding principle remains the same: keep the coordinate formulas, but do not mistake a coordinate artifact for an invariant statement.

  • Thinking a manifold must be embedded in a higher-dimensional Euclidean space.
  • Treating a local coordinate system as a global description.
  • Confusing coordinate singularities with physical singularities.
  • Assuming every manifold has a natural origin or vector addition.
  • Forgetting periodic identifications such as θ∼θ+2π\theta\sim\theta+2\pi.
  • Treating a parameter space as ordinary Euclidean space after removing degeneracy points.
  • Using topology words without specifying which space is being discussed.
  • J. M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2013.
  • L. W. Tu, An Introduction to Manifolds, 2nd ed., Springer, 2011.
  • B. Schutz, Geometrical Methods of Mathematical Physics, Cambridge University Press, 1980.
  • T. Frankel, The Geometry of Physics, 3rd ed., Cambridge University Press, 2011.
  • M. Nakahara, Geometry, Topology and Physics, 2nd ed., CRC Press, 2003.
  • A. Shapere and F. Wilczek, eds., Geometric Phases in Physics, World Scientific, 1989.
  1. Why is a single angle θ\theta not a global one-to-one coordinate on S1S^1?
Solution

The parametrization

(cos⁡θ,sin⁡θ)(\cos\theta,\sin\theta)

is periodic:

(cos⁡(θ+2π),sin⁡(θ+2π))=(cos⁡θ,sin⁡θ).(\cos(\theta+2\pi),\sin(\theta+2\pi)) = (\cos\theta,\sin\theta).

Thus θ\theta and θ+2π\theta+2\pi label the same point. A one-to-one coordinate chart must avoid this redundancy, usually by cutting the circle at a point and using another chart near the cut.

  1. In spherical coordinates, why is the north pole not a singular point of the sphere?
Solution

At the north pole, θ=0\theta=0 and all values of ϕ\phi describe the same point. The failure is in the coordinate description: the azimuthal angle is undefined there. The sphere itself is smooth at the north pole, and another chart can describe a neighborhood of that point without the same coordinate singularity.

  1. What identifications define a two-torus in angle coordinates?
Solution

A two-torus has two periodic coordinates. Thus

(θ,ϕ)∼(θ+2πm,ϕ+2πn),m,n∈Z.(\theta,\phi) \sim (\theta+2\pi m,\phi+2\pi n), \qquad m,n\in\mathbb Z.

The two integers record independent windings around the two circle factors.

  1. Why is S2S^2 not a vector space, even though it sits inside R3\mathbb R^3?
Solution

The sum of two unit vectors is not generally a unit vector. For example, adding two nearby points on S2S^2 as vectors in R3\mathbb R^3 gives a vector whose length is not 11. Therefore S2S^2 is not closed under vector addition and is not a vector space.

  1. A Hamiltonian depends on two parameters and has a degeneracy at the origin, so the parameter space used for adiabatic loops is R2∖{0}\mathbb R^2\setminus\{0\}. What global feature should you notice?
Solution

Loops can wind around the missing origin. Such loops cannot always be continuously shrunk to a point without crossing the removed degeneracy. This global feature is exactly the kind of structure that can matter for Berry phases and related holonomy effects.