Non-Euclidean Geometry History: Bolyai, Lobachevsky, and Riemann Explained

Seven central concepts form the foundation of differential geometry: (1) Curvature - measures how much a surface bends in two dimensions at each point; (2) Manifold - a space that locally resembles Euclidean space when zoomed in, defined as locally homeomorphic to Euclidean space; (3) Tangent spaces - sets of tangent vectors associated with points on a manifold, approximating local behavior; (4) Vector fields - assignments of vectors to each point on a manifold, used to describe motion in space; (5) Geodesics - shortest paths between points on curved surfaces, fundamental to general relativity; (6) Riemannian metric - defines distance, angle, and volume on manifolds, enabling calculations of curvature and geodesics; (7) Differential forms - coordinate-independent frameworks for expressing geometric quantities on manifolds, generalizing derivatives.

Differential geometry studies curved surfaces called manifolds in higher-dimensional space. The book 'Introduction to Differentiable Manifolds and Riemannian Geometry' provides rigorous treatment with intuitive discussions and pictures. Key topics include calculus in n-dimensional space, vector fields, tensor fields, integration on manifolds, Stokes's theorem (generalizing the fundamental theorem of calculus), and De Rham's theorem linking topology and calculus. The second half covers Riemannian manifolds with notions of distance.

A manifold is a mathematical space that locally resembles Euclidean space near each point, meaning every point has a small neighborhood that looks like flat Cartesian space, enabling the application of calculus to study curved surfaces and complex geometries. The concept was introduced by Bernhard Riemann in 1854, who distinguished between continuous and discontinuous manifold-ness. A Riemannian manifold extends this idea by equipping each tangent space with a smoothly varying inner product called a Riemannian metric, which allows measurement of distances, angles, and curves on the manifold through geodesics (shortest paths). This framework is fundamental to general relativity and modern mathematical physics.

Bernhard Riemann generalized Gauss's intrinsic geometry to abstract spaces called manifolds defined locally by a smoothly varying object called a metric tensor. While Gauss's theorem applied only to two-dimensional surfaces embedded in three-dimensional space, Riemann extended this concept to allow geometry to be studied in any dimension independently of external embeddings. A Riemannian manifold is locally similar to a flat plane at every point, where small regions appear flat to observers. An atlas of coordinate charts smoothly covers the entire surface, with each chart coming with a metric tensor that provides a smoothly varying inner product for measuring distances and angles directly on the manifold without reference to external coordinates or embeddings.

Differential geometry studies smooth manifolds equipped with additional structure, beginning with the Riemannian metric which provides a way to measure distances and angles on curved spaces, and proceeding through the concept of connection (or parallel transport) that enables taking derivatives on these abstract geometric objects, ultimately revealing how curvature manifests through the behavior of parallel transport along curves.

Einstein applied Riemannian geometry to develop general relativity, where spacetime is modeled as a four-dimensional pseudo-Riemannian manifold. Unlike Riemannian geometry which uses positive-definite metrics, general relativity uses indefinite metrics allowing for light cones and causal structure. This framework describes gravity as the curvature of spacetime caused by mass and energy.

Einstein's general theory of relativity, one of the biggest discoveries of the 20th century, describes gravity and its behavior in extreme conditions such as relativistic speeds or strong gravitational fields like black holes. This theory requires pseudo-Riemannian geometry, where distances can be negative or zero, to formulate its mathematical framework. Without this abstract mathematical concept, general relativity could not have been formulated.

In 1915, Albert Einstein published the general theory of relativity, and it turned out that Einstein needed exactly Riemannian geometry to describe gravity. In general relativity, space isn't a flat backdrop - it's a curved Riemannian manifold whose curvature is caused by mass and energy. What we call gravity is just the curvature of spacetime. Planets orbit the sun not because there's a force pulling them in a circle, but because the mass of the sun curves spacetime around it and the planets are following the straightest possible paths (geodesics) through that curved spacetime. Riemann's lecture was from 1854, Einstein's theory was from 1915 - the gap was 61 years.

Albert Einstein's general theory of relativity, developed in 1915, represents a beautiful geometrical theory of gravity that incorporates both space and time. Building on Hermann Minkowski's four-dimensional spacetime framework, Einstein used Riemannian geometry to write down elegant equations describing how gravity arises from the curvature of spacetime. The equations essentially state that the Einstein tensor (describing spacetime curvature) equals the stress-energy tensor (describing matter and energy), providing a unified geometric description of gravitational phenomena.

In 1915, Albert Einstein published his general theory of relativity, proposing that gravity is not a force but the curvature of space and time. The presence of matter and energy warps the geometry of the universe itself. Einstein needed mathematics to express this—a way to describe a four-dimensional curved space where curvature changes from place to place. His friend Marcel Grossman introduced him to Riemannian geometry, which fit perfectly. Every prediction of general relativity—from bending of starlight to black holes to gravitational waves—flows from Riemann's abstract geometry applied to the structure of space and time.

The Gauss-Bonnet theorem establishes a profound connection between geometric properties (angle deficiencies) and topological properties (Euler characteristic) of surfaces. For polyhedral surfaces, the total angle deficiency—the sum of angular deficits at all vertices—equals 2π times the Euler characteristic. This explains why the cube and tetrahedron share the same total angle deficiency: both are homeomorphic to spheres and thus have identical Euler characteristics. The theorem demonstrates how combinatorial geometry reveals deep topological truths about surfaces.

The Gauss-Bonnet Theorem is a fundamental result in differential geometry that establishes a deep connection between the local geometry of a surface (measured by Gaussian curvature) and its global topology (measured by Euler characteristic). The theorem states that for a compact, orientable surface without boundary, the integral of the Gaussian curvature over the entire surface equals 2π times the Euler characteristic of the surface. This theorem demonstrates that the total curvature of a surface is a topological invariant, meaning it depends only on the surface's topology rather than its specific geometric shape.

This culminating section presents the Gauss-Bonnet theorem, which establishes a profound connection between local curvature and global topological properties of surfaces. For polyhedra, geodesics behave as straight lines within faces and continue as straight lines in unfolded nets. The curvature concentrates entirely at vertices, defined as the angular defect: 360° minus the sum of face angles meeting there. For a cube, each vertex has 90° curvature, totaling 720°; for a tetrahedron, each vertex has 180° curvature, also totaling 720°. The Gauss-Bonnet theorem states that total curvature equals the Euler characteristic (V - E + F). For convex polyhedra homeomorphic to spheres, this equals 2. The proof involves triangulating the surface and counting angles in two ways: once as the sum of all vertex curvatures, and once using the relationship between faces, edges, and vertices in planar graphs. This demonstrates that total curvature is a purely topological invariant, depending only on the surface's topology rather than its specific geometry.

The Gauss-Bonnet theorem states that the integral of Gaussian curvature over a surface equals 2π times its Euler characteristic, establishing a fundamental connection between local geometric properties (curvature) and global topological structure; this is proven by dividing the surface into geodesic triangles, showing that the curvature integral for each triangle equals its holonomy (interior angle sum minus π), and summing these contributions yields the Euler characteristic χ = V - E + F.

The Gauss-Bonnet theorem states that the total curvature of a surface equals 2π times its Euler characteristic (2πχ), where χ = 2 - 2g (g being the number of holes). This means the total curvature is a topological invariant: a sphere (0 holes) has total curvature 4π, a torus (1 hole) has 0, and a double torus (2 holes) has -4π. The theorem connects local geometry (curvature) with global topology (counting holes), explaining why you can't comb a hairy ball flat and why every flat map of Earth must distort reality.