Geometry & Topology

⚡ Key Takeaways

Geometry & Topology is the study of spaces and the structures (metric, smooth, symplectic, complex) they carry, together with the invariants — continuous, differential, and algebraic — that distinguish them up to deformation. Key result in words: local geometric data (curvature) constrains global topological data (Euler characteristic, Betti numbers), and conversely topology obstructs the existence of geometric structures. Applies wherever shape, continuity, and curvature matter: general relativity, gauge theory, condensed matter, data analysis, robotics. Built by Euler, Gauss, Riemann, Poincaré, and the 20th-century school (Hodge, de Rham, Whitney, Chern, Thom, Milnor, Smale, Atiyah, Thurston, Perelman).

💡 The Core Insight

A manifold is a space that is locally indistinguishable from $\mathbb{R}^n$ but globally may twist, close up, or carry holes. All of geometry and topology is the systematic study of how local model data (charts, tangent spaces, metrics, connections) assemble into global invariants — and which local structures are obstructed by global shape. The recurring meta-theorem is local-to-global: curvature integrates to topology (Gauss–Bonnet, Chern–Gauss–Bonnet), closed forms detect holes (de Rham), and elliptic operators count topological data (Atiyah–Singer).

DefinitionTopological and Smooth Manifolds

A topological $n$ -manifold $M$ is a second-countable Hausdorff space in which every point has a neighborhood homeomorphic to an open subset of $\mathbb{R}^n$ . A smooth structure is a maximal atlas $\{(U_\alpha,\varphi_\alpha)\}$ with $\varphi_\alpha:U_\alpha\to\mathbb{R}^n$ homeomorphisms whose transition maps

1

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

are $C^\infty$ . Here $M$ is the manifold, $U_\alpha$ a coordinate patch, $\varphi_\alpha$ a chart. A smooth map $f:M\to N$ is one for which $\psi\circ f\circ\varphi^{-1}$ is $C^\infty$ in all charts.

DefinitionTangent Space and Bundle

The tangent space $T_pM$ at $p\in M$ is the vector space of derivations $v:C^\infty(M)\to\mathbb{R}$ satisfying linearity and the Leibniz rule $v(fg)=v(f)g(p)+f(p)v(g)$ . In coordinates,

2

\quad T_pM=\operatorname{span}_{\mathbb{R}}\left\{\left.\frac{\partial}{\partial x^1}\right|_p,\dots,\left.\frac{\partial}{\partial x^n}\right|_p\right\},\qquad \dim T_pM=n.

The disjoint union $TM=\bigsqcup_{p}T_pM$ is the tangent bundle, itself a smooth $2n$ -manifold and a vector bundle $\pi:TM\to M$ .

DefinitionRiemannian Metric and Curvature

A Riemannian metric $g$ assigns to each $p$ a positive-definite inner product $g_p$ on $T_pM$ , smoothly. The unique torsion-free metric-compatible Levi-Civita connection $\nabla$ has Riemann curvature tensor

3

\quad R(X,Y)Z=\nabla_X\nabla_Y Z-\nabla_Y\nabla_X Z-\nabla_{[X,Y]}Z,

with sectional curvature $K(X,Y)=\dfrac{\langle R(X,Y)Y,X\rangle}{|X|^2|Y|^2-\langle X,Y\rangle^2}$ , Ricci $\operatorname{Ric}(Y,Z)=\operatorname{tr}(X\mapsto R(X,Y)Z)$ , and scalar curvature $S=\operatorname{tr}_g\operatorname{Ric}$ .

TheoremGauss–Bonnet

For a compact oriented Riemannian surface $(M^2,g)$ with Gaussian curvature $K$ and (if $\partial M\neq\varnothing$ ) geodesic boundary curvature $k_g$ ,

4

\quad \int_M K\,dA+\int_{\partial M}k_g\,ds=2\pi\,\chi(M),

where $\chi(M)=2-2\mathrm{g}-b$ is the Euler characteristic ( $\mathrm{g}$ genus, $b$ boundary components). The right side is a topological invariant; the left side is geometric.

TheoremChern–Gauss–Bonnet (higher even dimensions)

For a closed oriented Riemannian $2m$ -manifold,

5

\quad \chi(M)=\frac{1}{(2\pi)^m}\int_M \operatorname{Pf}(\Omega),

where $\Omega$ is the curvature $2$ -form of the Levi-Civita connection and $\operatorname{Pf}$ the Pfaffian of the antisymmetric curvature matrix.

ProofDe Rham's Theorem via Stokes

We sketch why closed forms detect topology, the engine behind local-to-global results. 1. Exterior derivative. On $k$ -forms $d:\Omega^k\to\Omega^{k+1}$ satisfies $d^2=0$ . Define de Rham cohomology $H^k_{dR}(M)=\ker d/\operatorname{im}d$ . 2. Stokes' theorem. For an oriented compact $M$ with boundary and $\omega\in\Omega^{n-1}$ ,

6

\quad \int_M d\omega=\int_{\partial M}\omega.

Derivation hint: prove on a cube via the fundamental theorem of calculus, then patch with a partition of unity. 3. Integration pairing. For a closed $k$ -form $\omega$ and a $k$ -cycle $c$ , $\int_c\omega$ depends only on the cohomology class of $\omega$ and homology class of $c$ (Stokes kills exact/boundary terms). This defines a bilinear pairing $H^k_{dR}\times H_k\to\mathbb{R}$ . 4. De Rham isomorphism. This pairing is perfect:

7

\quad H^k_{dR}(M;\mathbb{R})\;\cong\;H^k_{\text{sing}}(M;\mathbb{R}).

Derivation hint: both satisfy the Eilenberg–Steenrod axioms (homotopy invariance, Mayer–Vietoris, dimension); a natural transformation agreeing on points is an isomorphism by induction on a good cover. 5. Hodge theorem. On a closed Riemannian manifold each class has a unique harmonic representative ( $\Delta\omega=0$ , $\Delta=dd^*+d^*d$ ):

8

\quad H^k_{dR}(M)\cong\mathcal{H}^k(M)=\ker\Delta|_{\Omega^k}.

Derivation hint: elliptic theory gives the Hodge decomposition $\Omega^k=\mathcal{H}^k\oplus\operatorname{im}d\oplus\operatorname{im}d^*$ ; the harmonic piece is the unique closed-and-coclosed representative. This chain — Stokes ⟹ pairing ⟹ de Rham ⟹ Hodge — shows analysis on forms computes topology. $\blacksquare$

∎

mathematician · Henri Poincaré | 1854–1912

Poincaré founded algebraic topology in his 1895 Analysis Situs and its complements, introducing the fundamental group, homology, Betti numbers, and Poincaré duality. He stated the conjecture — that a simply connected closed 3-manifold is the 3-sphere — that organized 3-manifold topology for a century until Perelman's 2003 proof via Ricci flow. His qualitative dynamics (recurrence, the three-body problem) seeded modern geometry's marriage with dynamics, and his insistence on intrinsic, coordinate-free thinking shaped the entire field.

🧠 Intuition

Think of topology as rubber-sheet geometry: a coffee mug and a donut are the same because each has one hole; you may stretch but not tear or glue. Geometry then paints rigid markings on the rubber — a metric that says how far apart points are and how the sheet bends. Curvature is the local "bending": positive like a sphere (triangles fat, parallel lines converge), zero like a plane, negative like a saddle (triangles thin, lines diverge). The deepest intuition is that you cannot lay a flat map of the Earth without distortion — and Gauss–Bonnet quantifies this: the total curvature is forced by the number of holes, no matter how you deform the metric. Differential forms are "things you integrate"; $d$ is the boundary operator's dual, and the slogan $\partial^2=0\leftrightarrow d^2=0$ means the boundary of a boundary is empty, encoding all the holes.

Figure

A torus: two independent 1-cycles and a region of negative inner / positive outer curvature

ExampleTotal curvature of the round sphere

Given: $S^2$ of radius $R$ , with constant Gaussian curvature $K=1/R^2$ and area $A=4\pi R^2$ .

Steps: 1. Total curvature $\displaystyle\int_{S^2}K\,dA = \frac{1}{R^2}\cdot 4\pi R^2 = 4\pi.$ 2. Genus $\mathrm{g}=0$ , no boundary, so $\chi(S^2)=2-2(0)=2$ . 3. Gauss–Bonnet predicts $2\pi\chi=2\pi(2)=4\pi.$ ✓

Answer:

\boxed{\int_{S^2}K\,dA = 4\pi = 2\pi\chi(S^2)\ \text{(dimensionless; curvature in } \mathrm{m}^{-2}\times\text{area } \mathrm{m}^2).}

Note the radius cancels: total curvature is topological, independent of size.

ExampleEuler characteristic from a triangulation of the torus

Given: A flat torus $T^2=\mathbb{R}^2/\mathbb{Z}^2$ triangulated by identifying the unit square's edges and adding one diagonal.

Steps: 1. After identification: vertices $V=1$ (all four corners glued). 2. Edges $E=3$ (two square sides + one diagonal; opposite sides identified). 3. Faces $F=2$ (the two triangles). 4. $\chi=V-E+F=1-3+2=0.$ 5. Cross-check geometry: flat torus has $K\equiv 0$ , so $\int K\,dA=0=2\pi\chi$ . ✓

Answer:

\boxed{\chi(T^2)=0\quad\Longrightarrow\quad \mathrm{genus}=1,\ \int_{T^2}K\,dA=0.}

A flat metric exists because and only because $\chi=0$ (uniformization).

⚠️ Common mistake

"Homeomorphic implies diffeomorphic." False in general. Milnor (1956) found smooth 7-spheres homeomorphic but not diffeomorphic to the standard $S^7$ (exotic spheres). In dimension 4, $\mathbb{R}^4$ has uncountably many smooth structures. "Curvature is a number." Only for surfaces; in higher dimensions curvature is a $(1,3)$ -tensor with many independent components ( $\frac{n^2(n^2-1)}{12}$ ). "Compact = closed and bounded." This is the Heine–Borel theorem in $\mathbb{R}^n$ only; the abstract definition is "every open cover has a finite subcover," and boundedness needs a metric to even state.

CounterexampleA space that is locally Euclidean but not Hausdorff

The line with two origins glues two copies of $\mathbb{R}$ along $\mathbb{R}\setminus\{0\}$ , leaving two distinct origins $0_1,0_2$ . Every point has a neighborhood $\cong\mathbb{R}$ , so it is locally Euclidean and second-countable — yet $0_1$ and $0_2$ cannot be separated by disjoint opens, so it is not Hausdorff. This is not a manifold, showing why Hausdorffness is part of the definition: without it, limits aren't unique and tangent vectors misbehave.

connection

Geometry & topology is a hub. Differential Forms and De Rham Cohomology connect smooth structure to Algebraic Topology via the de Rham isomorphism. Riemannian Geometry feeds General Relativity (the metric is the gravitational field; Einstein's equations relate Ricci curvature to stress-energy). Characteristic Classes (Chern, Pontryagin, Euler) link to Vector Bundles and Gauge Theory. Morse Theory computes Homology from critical points of functions and underlies Floer Homology. The Atiyah–Singer Index Theorem unifies analysis (Elliptic Operators) with topology, generalizing Gauss–Bonnet. Symplectic Geometry governs Hamiltonian Mechanics, and Complex Manifolds / Kähler Geometry tie to Algebraic Geometry through Hodge theory.

🔬 Where this appears

⏳ History

- 1736 — Euler: Königsberg bridges; birth of graph/combinatorial topology and the formula

V-E+F=2

for the sphere (1750).

- 1827 — Gauss: Theorema Egregium — Gaussian curvature is intrinsic, invariant under isometric bending; foundation of intrinsic geometry.

- 1854 — Riemann: Habilitationsvortrag introduces

n

-dimensional manifolds, the metric tensor, and curvature in arbitrary dimension.

- 1895 — Poincaré: Analysis Situs; fundamental group, homology, Poincaré duality; states the Poincaré conjecture (1904).

- 1925–1935 — Cartan, de Rham, Hodge: exterior calculus, de Rham's theorem (1931), Hodge theory of harmonic forms (1935).

- 1944–1946 — Chern, Weil: intrinsic proof of Gauss–Bonnet; Chern–Weil theory and characteristic classes.

- 1956 — Milnor: exotic 7-spheres; differential topology diverges from topology.

- 1963 — Atiyah–Singer: index theorem unifying analysis, geometry, topology.

- 1982 — Freedman; 1983 — Donaldson: topological vs. smooth 4-manifolds; gauge-theoretic invariants reveal exotic

\mathbb{R}^4

.

- 1982–2003 — Thurston, Hamilton, Perelman: geometrization conjecture; Ricci flow proof of Poincaré (Perelman, 2002–03).

open-problem

Smooth 4-dimensional Poincaré conjecture: Is every smooth manifold homeomorphic to $S^4$ also diffeomorphic to it? Open — dimension 4 resists both surgery (works for $\geq5$ ) and Ricci-flow/geometrization (works for $\leq3$ ). Related: the number of exotic $\mathbb{R}^4$ 's and exotic spheres; in many dimensions the count is known (Kervaire–Milnor), but the Kervaire invariant one problem was only resolved (negatively, except dim 126) by Hill–Hopkins–Ravenel (2009) with the last case (126) settled around 2024. Geometrization in higher dimensions has no analogue: 4-manifolds are not classifiable (word problem for groups embeds), and the interplay of curvature bounds with topology (e.g., positive scalar curvature existence) remains active (Gromov–Lawson, Schoen–Yau).

Formal Foundations

Why It Holds — de Rham and Hodge

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also