Metric tensor

Metric tensor
Name	Metric tensor
Field	Differential geometry, General relativity
Introduced	19th century
Notable	Bernhard Riemann, Gregorio Ricci-Curbastro, Tullio Levi-Civita

Metric tensor A metric tensor is a smooth, nondegenerate, symmetric tensor field on a differentiable manifold that defines local notions of length, angle, and volume and underpins the geometric structure used in many branches of mathematics and physics. It furnishes an inner product on each tangent space which enables measurement of distances and angles, determines geodesics, and interacts with curvature and connection concepts central to Riemannian and pseudo-Riemannian theories. Historically developed in the work of Bernhard Riemann, Carl Friedrich Gauss, Gregorio Ricci-Curbastro, and Tullio Levi-Civita, the metric tensor is central to formulations in Albert Einstein's general relativity and numerous geometric analyses in Riemannian geometry.

Definition and basic properties

A metric tensor on a smooth manifold M is a bilinear map g_p: T_pM × T_pM → R for each p ∈ M that is symmetric and nondegenerate, giving an inner product on tangent spaces in the positive-definite case or an indefinite inner product in pseudo-Riemannian settings; foundational contributors include Bernhard Riemann and Elwin Bruno Christoffel. The tensor is a (0,2)-tensor field g = g_ij dx^i ⊗ dx^j that varies smoothly with p, satisfying g(X,Y)=g(Y,X) and g(X,·)=0 implies X=0 for nondegeneracy; these properties were formalized by Gregorio Ricci-Curbastro and Tullio Levi-Civita in the development of tensor calculus. Symmetry and nondegeneracy permit definitions of orthogonality and norms, and the metric induces a natural volume form when orientation is chosen, as used in analyses by Henri Poincaré and later in formulations by Élie Cartan.

Coordinate representation and components

In local coordinates {x^i} the metric is represented by a symmetric matrix of components g_ij(x) which transform under coordinate changes via the pullback action described by the Jacobian of the diffeomorphism; coordinate techniques build on work by Sophus Lie and applications in Moscow State University curricula. The component transformation law g'_{kl} = (∂x^i/∂x'^k)(∂x^j/∂x'^l) g_{ij} ensures tensorial character under maps studied in the context of Bernhard Riemann’s manifold theory and later in treatments by Elie Cartan. Diagonalization at a point via an orthonormal frame relates to the spectral theorem used in analyses by David Hilbert and local normal coordinates (Riemann normal coordinates) simplify expansions utilized by Roger Penrose and Stephen Hawking in singularity theorems.

Signatures and classification

The signature of the metric matrix (p,q) classifies metrics into positive-definite Riemannian metrics and indefinite pseudo-Riemannian metrics such as Lorentzian metrics with signature (1,3) or (3,1) used in general relativity by Albert Einstein. Signature invariants are central in the statements of the Hawking–Penrose singularity theorems and in classification results by Élie Cartan and Marcel Berger. Metrics are further classified by properties like completeness (Hopf–Rinow theorem context) and curvature bounds studied by Mikhail Gromov and in comparison theorems of Jeff Cheeger and Shing-Tung Yau.

Operations: raising, lowering, and contractions

The metric provides an isomorphism between tangent and cotangent bundles via index raising and lowering: for a vector field X, the 1-form X♭ = g(X,·) and conversely for a 1-form ω, the vector ω♯ satisfies g(ω♯,·)=ω(·); this duality is exploited in the tensor calculus developed by Gregorio Ricci-Curbastro and Tullio Levi-Civita. Contraction of indices using g_ij and its inverse g^{ij} produces scalars from tensor fields, yielding quantities such as the trace and the scalar curvature R that appear in the Einstein field equations. These algebraic operations are routine in computations found in texts by John Wheeler and Kip Thorne.

Metric-compatible connections and covariant derivative

A connection ∇ is metric-compatible if ∇ g = 0, which uniquely (assuming torsion-free) selects the Levi-Civita connection determined by Christoffel symbols Γ^k_{ij} expressible from g_ij and its first derivatives; this uniqueness theorem is attributed to formulations by Tullio Levi-Civita and formalized in modern differential geometry texts used at Princeton University and Cambridge University. Metric compatibility ensures preservation of inner products under parallel transport and defines geodesics as auto-parallel curves; geodesic equations derived from the connection play central roles in the work of Albert Einstein on gravitational motion and in variational treatments by Joseph-Louis Lagrange and Euler.

Curvature and relation to Riemannian geometry

The metric determines the Riemann curvature tensor R^i_{\,jkl} via the Levi-Civita connection, encoding intrinsic curvature properties of the manifold; early foundational results were provided by Bernhard Riemann and further developed by Élie Cartan. Contractions yield the Ricci tensor and scalar curvature, which enter geometric invariants and comparison theorems such as the Bishop–Gromov inequality and the Gauss–Bonnet theorem associated with Carl Friedrich Gauss and Pierre Ossian Bonnet. Curvature influences topology through results like Myers’ theorem and the Cheeger–Gromoll splitting theorem studied by Jeff Cheeger and Detlef Gromoll.

Applications in physics and differential geometry

In physics the metric is the fundamental dynamical field in general relativity where the Einstein–Hilbert action relates the metric to energy–momentum via the Einstein field equations first formulated by Albert Einstein and later developed in treatments by Richard Feynman and John Wheeler. In differential geometry metrics enable study of geodesics, comparison geometry, and global analysis techniques used by Shing-Tung Yau, Mikhail Gromov, and Michael Atiyah; they also appear in gauge theories and string theory contexts associated with groups and spaces studied at institutions like Institute for Advanced Study. Metrics facilitate practical computations in geodesy and coordinate systems used in Global Positioning System engineering and in mathematical relativity problems addressed by research groups at Princeton University and Cambridge University.

Category:Differential geometry