Theorema Egregium

Theorema Egregium
Eric Gaba (Sting - fr:Sting) · CC BY-SA 4.0 · source
Name	Theorema Egregium
Field	Differential geometry
Discoverer	Carl Friedrich Gauss
Date	1827
Notable people	Carl Friedrich Gauss

Theorema Egregium Theorema Egregium is a foundational result in differential geometry discovered by Carl Friedrich Gauss showing that the Gaussian curvature of a surface is an intrinsic invariant determined entirely by the first fundamental form. The theorem connects work in Leibniz-era geometry to later developments by linking local measurements on a surface to global properties studied by figures such as Bernhard Riemann and Henri Poincaré. It informed later advances by Sofia Kovalevskaya, Élie Cartan, and David Hilbert in the study of curvature, manifolds, and embedding problems.

Statement of the theorem

Gauss proved that the Gaussian curvature, defined via the second fundamental form from the embedding of a surface in Euclidean space as in the formulations of Joseph-Louis Lagrange and Gaspard Monge, can be computed entirely from the first fundamental form introduced by Carl Friedrich Gauss himself and earlier metric ideas from Adrien-Marie Legendre. The statement asserts that for a regular surface, the quantity K obtained from principal curvatures equals an expression depending only on coefficients E, F, G and their derivatives as in the metric tensors later formalized by Riemann. The result has consequences for problems posed by Sophie Germain and techniques used by Augustin-Louis Cauchy and Siméon Denis Poisson in elasticity and shell theory.

Historical background and Gauss's proof

Gauss announced the theorem in correspondence with contemporaries such as Friedrich Wilhelm Bessel and presented a detailed proof in his 1827 memoir "Disquisitiones generales circa superficies curvas", building on work by Johann Carl Friedrich Gauß's mentors and peers including Georg Friedrich Bernhard Riemann's predecessors. The proof uses coordinate calculations reminiscent of tensorial manipulations later systematized by Ricci-Curbastro and Tullio Levi-Civita in the Ricci calculus. Gauss's approach influenced subsequent researchers like Arthur Cayley, Bernhard Riemann (again), Felix Klein, and Hermann Minkowski when they considered invariants under isometries and transformations studied in the context of Erlangen program by Felix Klein. Debates around intrinsic versus extrinsic curvature involved correspondents such as Niels Henrik Abel and reviewers in academies like Prussian Academy of Sciences and Royal Society.

Geometric interpretation and consequences

Geometrically, the theorem implies that bending a surface without stretching—an isometry such as those studied by Janos Bolyai and Nikolai Lobachevsky in non-Euclidean investigations—preserves Gaussian curvature; this idea relates to rigidity results later proven by Marcel Berger and John Nash. It explains classical facts observed by Leonhard Euler about principal curvatures and resonated with the work of Sophus Lie on transformation groups. Consequences include obstructions to isometric embeddings exemplified by Hilbert's theorem on nonexistence of complete hyperbolic surfaces in Euclidean three-space, and links to the Gauss–Bonnet theorem later formalized by Henri Poincaré and generalized by Atiyah and Singer in index theory contexts.

Applications and examples

Practical applications arose in fields where surface behavior under deformation matters, involving engineers like Gaspard-Gustave de Coriolis in mechanics, Joseph Plateau in minimal surface studies, and Ludwig Prandtl in continuum mechanics. Examples include the inability to isometrically map portions of a sphere to a plane without distortion, explaining challenges faced by cartographers such as Gerardus Mercator and mapmakers in Royal Geographical Society. The theorem underpins analysis of soap films and minimal surfaces investigated by Jesse Douglas and Ennio De Giorgi, and it has roles in modern studies by William Thurston on geometric structures and Michael Freedman on topological applications.

Generalizations and related results

Generalizations include intrinsic curvature concepts extended to higher-dimensional Riemannian manifolds in work by Bernhard Riemann and formalized by Elwin Bruno Christoffel, Gregorio Ricci-Curbastro, and Tullio Levi-Civita via the Riemann curvature tensor. Related results are found in the Gauss–Bonnet theorem by Pierre Ossian Bonnet and Carl Friedrich Gauss and in rigidity theorems by Aleksandr Aleksandrov and Mikhail Gromov. Analogs in discrete geometry were developed by William Thurston and John Conway, and extension to submanifolds of higher codimension connects to work by Shiing-Shen Chern and Maurice Auslander.

Influence on differential geometry and topology

The paradigms introduced by Gauss's theorem shaped the emergence of modern differential geometry and topology through influences on scholars like Henri Poincaré, Élie Cartan, André Weil, and Claude Chevalley. It catalyzed development of global analysis pursued by Atiyah and Singer and informed embedding theorems by John Nash and rigidity results by Charles Fefferman. The theorem's emphasis on intrinsic invariants presaged concepts in gauge theory and general relativity where curvature plays a central role, as seen in the work of Albert Einstein and later mathematical physicists such as Roger Penrose and Edward Witten.

Category:Differential geometry