Skip to content
Field Atlas

Atlas / Mathematics / The Geometry Thread

Field · Emerged 1930s – 1970s

Geometric Analysis

What can the solutions of differential equations reveal about the shape of a curved space?

5 chapters4 min read5 turning points2 open problems

Branched from
Riemannian Geometry + Differential Geometry of Surfaces
Branched into
Not yet surveyed past here
Figures
Tibor Radó, Jesse Douglas, Shing-Tung Yau, Richard Schoen, Jonathan Sacks, Karen Uhlenbeck, Fernando Codá Marques, André Neves, Antoine Song

In brief

Geometric analysis proves things about shapes by solving differential equations on them. Instead of constructing a special surface or metric by hand, you write down the equation it must satisfy (zero mean curvature, prescribed Ricci curvature) and prove that a solution exists.

The hard part is almost always controlling how solutions can fail: blowing up, pinching, bubbling off. The approach reaches from soap films to black holes, and it supplied the tool that finally proved the Poincaré conjecture.

Key ideas

Minimal surfaceEnters 1930 – 1931

A surface with zero mean curvature, H=0H = 0: any small patch has the least area its boundary allows, like a soap film. Globally it may only be a saddle point of area rather than a minimum.

Variational methodEnters 1930 – 1931

Find a geometric object as the minimiser (or critical point) of an energy: area, length, bending. Existence then becomes a question of whether minimising sequences converge.

Nonlinear PDE on a manifoldEnters 1976 – 1978

An equation whose unknown is a function or metric on a curved space, like the complex Monge–Ampère equation behind Calabi–Yau metrics. Nonlinearity is what makes existence hard and interesting.

BubblingEnters 1981

When a sequence of solutions fails to converge, energy can concentrate at points and split off as small spheres. Understanding bubbles is how the field controls what can go wrong.

Min–maxEnters 2017 – 2018

Find saddle-point solutions by sweeping out a space with a family of surfaces and taking the largest area at the best possible sweep. It finds minimal surfaces that minimisation cannot.

Chapter I

Soap Films

Dip a bent wire loop into soapy water and a film forms across it. Surface tension pulls it to the smallest area the wire allows. The Belgian physicist Joseph Plateau spent decades in the nineteenth century documenting such films, and his question became a mathematical one: does every closed curve bound a surface of least area?

This is where differential geometry meets analysis. A surface of least area has zero mean curvature at every point, H=0H = 0, which is a partial differential equation. Asking whether it has a solution with prescribed boundary is asking whether a certain energy has a minimiser. Tibor Radó (1930) and Jesse Douglas (1931) independently proved that it always does. Douglas received one of the first two Fields Medals for it. The question of how to divide the credit between them has never quite gone away.

The field's parents are visible in that problem. From differential geometry of surfaces came curvature and minimal surfaces. From Riemannian geometry came the setting of arbitrary curved spaces. What was new was the method: prove a shape exists by solving an equation.

Chapter II

Curvature from Equations

The field got its name and its confidence in the 1970s, largely through Shing-Tung Yau and his collaborators. Eugenio Calabi had conjectured in the 1950s that certain complex manifolds could be given metrics with any prescribed Ricci curvature. In 1976 Yau proved it by solving the complex Monge–Ampère equation,

det⁡ ⁣(gijˉ+∂i∂jˉφ)=eFdet⁡ ⁣(gijˉ),\det\!\left( g_{i\bar{j}} + \partial_i \partial_{\bar{j}} \varphi \right) = e^{F} \det\!\left( g_{i\bar{j}} \right),

a fully nonlinear equation whose solution is the new metric. The manifolds this produced, now called Calabi–Yau manifolds, would within a decade become the extra dimensions of string theory.

Solving such equations means controlling how solutions can fail. In 1981 Jonathan Sacks and Karen Uhlenbeck showed what happens when a sequence of approximate minimal spheres does not converge. The energy concentrates at a few points and splits off as small spheres, or "bubbles." Once the bubbles are accounted for, nothing else can go wrong. Tracking bubbles became the standard way to take limits of geometric equations, from harmonic maps to the gauge theories Simon Donaldson used to probe dimension four.

Chapter III

Gravity as Geometry

In 1979 Richard Schoen and Yau proved the positive mass theorem. In general relativity, the total mass of an isolated system, measured from far away, cannot be negative. Physicists expected this but could not prove it. Schoen and Yau reduced it to a question about minimal surfaces in curved three-dimensional space and solved that. Edward Witten gave an independent proof in 1981 with methods from quantum field theory.

This is the field's recurring pattern. A statement that sounds physical is really a statement about curvature, and the right equation proves it. Hamilton's Ricci flow, which grew up alongside this field, followed the same philosophy all the way to Perelman's proof of the Poincaré conjecture in geometric topology.

Chapter IV

A Closer Look: Why a Soap Film Has Zero Mean Curvature

A soap film is a physical minimisation problem that turns into a differential equation. Surface tension γ\gamma pulls the film to reduce its area, and the pressure difference across a curved film is given by the Young–Laplace law,

ΔP=2γH,\Delta P = 2\gamma H ,

where HH is the mean curvature, the average of the two principal curvatures. That is for a single surface. A soap film has two, which doubles the jump. A soap bubble holds higher pressure inside, so it curves with H>0H > 0 and becomes a sphere. A film spanning a wire loop has the same air pressure on both sides, so ΔP=0\Delta P = 0, which forces H=0H = 0 everywhere. The film bends one way in one direction and equally the other way in the perpendicular direction, like a saddle.

The same equation comes from calculus. Push a surface slightly in the normal direction by an amount φ\varphi. The area changes, to first order, by

ddtArea=−∫H φ dA\frac{d}{dt}\text{Area} = -\int H\,\varphi\,dA

(up to a convention factor). A surface of least area cannot decrease under any small push, so HH must vanish. Minimal surfaces are exactly the critical points of area.

Dip two parallel rings into soapy water and pull them apart, and the film between them forms a catenoid, the surface made by spinning the curve y=acosh⁡(x/a)y = a\cosh(x/a). Pull the rings too far apart and the catenoid snaps into two flat discs: beyond a critical distance, no catenoid spans the rings at all. Deciding when solutions exist and when they break down is the central work of geometric analysis.

Chapter V

The Min-Max Revival

Minimal surfaces returned to the centre after 2012. The methods Fernando Codá Marques and André Neves revived to prove the Willmore conjecture could find minimal surfaces that are not area-minimising: saddle points of area rather than minima. Within six years they, together with Kei Irie, and then Antoine Song had proved Yau's 1982 conjecture that every closed three-manifold contains infinitely many of them.

The open questions now sit at the two edges of the field: pure spectral geometry, where Yau's eigenvalue conjecture still stands, and general relativity, where the full Penrose inequality waits for the right flow.

Applications

Where it is used

  • Architecture

    Soap-film roofs

    Frei Otto designed lightweight tensile roofs by physically form-finding with soap films and cable nets. The canopies of the 1972 Munich Olympic Park came out of that practice. Minimal surfaces spread load evenly, so they need little material. Engineers now compute such forms numerically.

    › Sources (1)
    • Otto, F. & Rasch, B. (1995). Finding Form: Towards an Architecture of the Minimal. Edition Axel Menges.
  • String theory↗ Physics · Quantum Field Theory

    Calabi–Yau manifolds as hidden dimensions

    Superstring theory needs six extra dimensions, curled up too small to see. In 1985 Candelas, Horowitz, Strominger and Witten showed that the right shapes for them are Calabi–Yau manifolds, whose existence rests on Yau's theorem. Much of the interaction between geometry and physics since then has run through them.

    › Sources (1)
    • Candelas, P., Horowitz, G. T., Strominger, A. & Witten, E. (1985). Vacuum configurations for superstrings. Nuclear Physics B 258: 46–74.
  • Image analysis

    Curvature flows that find outlines

    Letting a curve move by its own curvature smooths it, a one-dimensional cousin of the curvature flows of this field. Geodesic active contours use such flows to snap an outline onto the boundary of an object in an image, a standard tool in medical image segmentation.

    › Sources (1)
    • Caselles, V., Kimmel, R. & Sapiro, G. (1997). Geodesic active contours. International Journal of Computer Vision 22(1): 61–79.

Open problems

Where the map runs out

Open

Yau's first eigenvalue conjecture

Open in general. Proved for some classes of minimal hypersurfaces with extra symmetry.

Take a closed minimal hypersurface sitting smoothly inside the round unit sphere Sn+1S^{n+1}. Yau conjectured in 1982 that the first nonzero eigenvalue of its Laplacian, the lowest frequency at which it can vibrate, is always exactly nn.

Why it is hard

The value nn is easy to reach: the coordinate functions of the sphere always vibrate at that frequency. The difficulty is ruling out anything lower, which needs control over every possible minimal hypersurface at once. Known proofs rely on symmetry (reflection-invariant surfaces, isoparametric hypersurfaces) that general minimal surfaces do not have.

What resolving it unlocks

It would give a clean spectral characterisation of minimal surfaces in spheres, with consequences for how their area and topology are bounded. It would also be a rare case of a sharp eigenvalue identity holding for a whole class of geometric objects rather than a single example.

› Sources (1)
  • Yau, S.-T. (1982). Problem section. In Seminar on Differential Geometry, Annals of Mathematics Studies 102. Princeton University Press.

Conjectured, unproven

The Penrose inequality

Proved in the time-symmetric (Riemannian) case in 1997–2001. The general case is open.

Roger Penrose argued in 1973 that the total mass mm of a spacetime containing black holes must be at least what the black holes' horizons account for: m≥A/16πm \ge \sqrt{A / 16\pi}, where AA is the horizon area. It sharpens the positive mass theorem.

Why it is hard

The special case where time plays no role was proved by Huisken and Ilmanen (one black hole) and by Bray (any number), using two quite different geometric flows. In a general dynamical spacetime, even defining the right horizon and flow is subtle, and neither method is known to extend.

What resolving it unlocks

A proof would support the cosmic censorship picture of gravitational collapse, the idea that singularities stay hidden behind horizons, one of the main open questions in general relativity. It is a natural cross-domain link between this atlas's mathematics and physics surveys.

› Sources (3)
  • Huisken, G. & Ilmanen, T. (2001). The inverse mean curvature flow and the Riemannian Penrose inequality. Journal of Differential Geometry 59(3): 353–437.
  • Bray, H. L. (2001). Proof of the Riemannian Penrose inequality using the positive mass theorem. Journal of Differential Geometry 59(2): 177–267.
  • Mars, M. (2009). Present status of the Penrose inequality. Classical and Quantum Gravity 26: 193001.

Further reading

  1. Yau, S.-T. & Nadis, S. (2010). The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions. Basic Books.

    Yau's own popular account of the Calabi conjecture and its afterlife in physics.

  2. Colding, T. H. & Minicozzi, W. P. (2011). A Course in Minimal Surfaces. American Mathematical Society.

    A graduate introduction to minimal surfaces, from the classical theory to modern results.

  3. Schoen, R. & Yau, S.-T. (1994). Lectures on Differential Geometry. International Press.

    Lectures by two of the field's founders. Advanced, and close to the source.