Minimal surface
A minimal surface is a surface that locally minimizes its area. Equivalently, it is a surface with zero mean curvature at every point. The mathematical study of minimal surfaces began with Joseph-Louis Lagrange in 1762, who formulated the problem of finding surfaces of minimal area spanning a given boundary. The physical manifestation of minimal surfaces is familiar to anyone who has blown a soap bubble: the thin film of soap, suspended across a wire frame, adopts the shape of least surface tension, which is precisely the shape of least area.
The theory of minimal surfaces connects to complex analysis through the Weierstrass-Enneper representation, which shows that every minimal surface in three-dimensional Euclidean space can be represented in terms of holomorphic functions. This connection reveals that minimal surfaces are not merely geometric objects but complex-analytic ones — a bridge between real differential geometry and the algebraic structure of complex manifolds. The existence of complete embedded minimal surfaces of finite topology, proved by Costa, Hoffman, and Meeks in the 1980s, overturned the classical intuition that minimal surfaces must be simple and tame. The Costa-Hoffman-Meeks surfaces are topologically complex, with handles and ends, yet they are globally embedded without self-intersection.
Minimal surfaces appear in materials science as grain boundaries, in architecture as tension structures, and in general relativity as apparent horizons of black holes. The Plateau problem, which asks for the existence of minimal surfaces spanning arbitrary boundaries, remains one of the foundational problems of geometric analysis.