Mathematical definition of Riemannian metric and its geometric significance on manifolds

A Riemannian metric is a mathematical structure defined on a differentiable manifold, providing a way to measure distances, angles, and volumes. It is a fundamental tool in differential geometry, enabling the study of geometric properties through the lens of calculus and linear algebra. The metric tensor, denoted by $ g $, is a smooth, symmetric, and positive-definite tensor field on the manifold, which assigns an inner product to each tangent space at every point. This tensor field ensures that the manifold is equipped with a consistent notion of distance and curvature, allowing the construction of geometric invariants such as the Levi-Civita connection and the Ricci curvature.

The definition of a Riemannian metric is deeply rooted in the compatibility of the manifold's topology with its geometric structure. For a smooth manifold $ M $, a Riemannian metric is a section of the tensor bundle $ \mathbf{Sym}^2(T^M) $, where $ T^M $ is the cotangent bundle. The metric tensor $ g $ is required to be smooth and positive definite, ensuring that the induced metric on the manifold is well-defined. This positivity guarantees that the metric is compatible with the manifold's intrinsic geometry, allowing for the computation of geodesics, which are curves that minimize distance within the manifold. The smoothness of the metric tensor ensures that the manifold's geometric properties are preserved under local transformations, making Riemannian metrics a natural framework for studying differential geometry.

The geometric significance of a Riemannian metric lies in its ability to encode the intrinsic curvature of a manifold. The metric tensor defines a notion of distance between points on the manifold, which is essential for calculating the length of curves and the area of surfaces. In Euclidean space, the standard Riemannian metric corresponds to the usual distance formula $ d(p, q) = |p - q| $, where $ | \cdot | $ is the Euclidean norm. However, on more general manifolds, the metric tensor provides a flexible way to measure distances, even in the absence of a global coordinate system. This flexibility is crucial for studying manifolds with non-trivial topology, where the metric tensor must account for the manifold's curvature.

The Riemannian metric also plays a central role in the study of curvature. The curvature tensor, derived from the metric tensor and the Levi-Civita connection, quantifies the deviation of geodesics from straight lines, providing a measure of the manifold's intrinsic curvature. The sectional curvature, a scalar invariant derived from the curvature tensor, determines the local geometry of the manifold and is used to classify manifolds such as spheres, hyperbolic spaces, and flat spaces. Moreover, the metric tensor is essential for defining the volume form of the manifold, which is a differential form that integrates to give the volume of a region in the manifold. This volume form is directly related to the metric tensor through the determinant of the metric, ensuring that the volume is computed consistently across the manifold.

The geometric significance of Riemannian metrics extends beyond local curvature to the global structure of manifolds. The metric tensor is used to define the Levi-Civita connection, which governs the parallel transport of vectors along curves on the manifold. This connection is crucial for understanding how vectors change as they are moved along a curve, a concept fundamental to the study of differential geometry. Additionally, the metric tensor is used to define the concept of geodesic completeness, which determines whether a manifold is "sufficiently curved" to ensure that all geodesics are defined for all positive real numbers. This property is vital in both theoretical and applied contexts, such as in general relativity, where the curvature of spacetime is encoded in the metric tensor.

In summary, the mathematical definition of a Riemannian metric provides a rigorous framework for studying the geometric properties of differentiable manifolds. By assigning a smooth, positive-definite inner product to each tangent space, the metric tensor enables the measurement of distances, angles, and curvature, which are essential for understanding the local and global geometry of the manifold. The geometric significance of this structure is profound, as it allows for the computation of key invariants such as the curvature tensor, the volume form, and the Levi-Civita connection. These tools are indispensable in both theoretical and applied mathematics, from the study of manifolds in differential geometry to the formulation of physical theories such as general relativity. The Riemannian metric, therefore, stands as a cornerstone of modern differential geometry, providing the mathematical foundation for exploring the intricate relationships between topology, geometry, and physics.