Walker metric

Walker metric
Name	Walker metric
Type	pseudo-Riemannian metric
Dimension	arbitrary (commonly 4)
Signature	neutral (often (2,2)) or Lorentzian
Introduced	mid-20th century
Notable figures	H. Walker, Élie Cartan, Marcel Berger, Nigel Hitchin

Walker metric

A Walker metric is a class of pseudo-Riemannian metrics admitting a parallel null distribution, originally studied in the context of neutral signature and indefinite geometry. These metrics arise in the work of H. Walker and later in investigations by Élie Cartan, Marcel Berger, Nigel Hitchin, and others who explored holonomy reductions and special geometries on manifolds related to the Ricci tensor, Weyl tensor, and conformal structures. Walker metrics play a role in the study of neutral signature examples connected to research threads involving Penrose, Kerr metric, Alekseevsky, and constructions used in global examples appearing in the literature of Atiyah, Singer, and LeBrun.

Definition and basic properties

A Walker metric is defined on a smooth manifold that carries a nontrivial parallel null distribution; this condition means the manifold admits a parallel totally isotropic subbundle of the tangent bundle preserved by the Levi-Civita connection. Key properties link to classical objects studied by Élie Cartan and later by Marcel Berger in the context of holonomy classification: existence of a parallel null line or plane forces algebraic constraints on the curvature operators related to the Riemann curvature tensor, Ricci tensor, and Weyl tensor. The defining parallelism is invariant under the Levi-Civita connection studied by Levi-Civita and interacts with Killing structures analyzed by Noether and symmetry methods developed by Killing and Lie group techniques.

Examples and canonical forms

Canonical coordinate expressions for Walker metrics are often given in adapted coordinates introduced in Walker's original work and refined by later authors such as R. Penrose and A. Trautman. In four dimensions with neutral signature (2,2) a standard local form uses coordinates (u,v,x,y) producing metric components that explicitly display a parallel null 2-plane; examples include split-signature analogues of the Kerr metric and plane-fronted wave solutions related to the pp-wave family studied by Brinkmann and Bondi. Further examples come from products and warped constructions involving manifolds studied by Cheeger and Gromoll and from homogeneous models connected to classifications by Alekseevsky and Gadea.

Holonomy and geometric significance

Walker metrics impose reductions of the holonomy group of the Levi-Civita connection to subgroups that stabilize a null line or plane, echoing the holonomy analyses of Berger and later refinements by Bryant and Bismut. In neutral signature the possible holonomy algebras include parabolic stabilizers occurring in the lists of special holonomy groups examined by Joyce and Salamon. These reductions are crucial in constructing geometric structures related to parallel spinors in works by Witten and Hitchin, and they provide model geometries for investigations by Schoen and Yau into topology and curvature in indefinite metrics.

Curvature and Einstein conditions

Curvature constraints for Walker metrics are expressed through algebraic conditions on the Riemann curvature tensor and its contractions; in particular, the Ricci tensor may exhibit degeneracies aligned with the parallel null distribution, a phenomenon analyzed by Atiyah and Singer in index-theoretic contexts and by Levi-Civita in classical differential geometry. Walker metrics furnish explicit families of solutions to the Einstein equations in neutral and Lorentzian signatures, linking to exact solutions studied by Einstein, Schwarzschild, and Kerr in relativity, as well as to vacuum and Ricci-flat examples constructed by Brinkmann and later by Walker himself. Conditions for a Walker metric to be Einstein or conformally Einstein reduce to differential constraints on profile functions appearing in the canonical coordinates, reminiscent of integrability conditions in the works of Cartan and Newman–Penrose analyses.

Applications in Lorentzian and pseudo-Riemannian geometry

Walker metrics appear in the study of Lorentzian geometry in contexts related to gravitational wave models, causal structures, and exact solutions in general relativity pioneered by Einstein, Bondi, and Penrose. In pseudo-Riemannian investigations they provide model spaces for global phenomena studied by Gromov, Ebin, and Nash and serve as testbeds for the behavior of scalar curvature and signature-dependent invariants considered by Atiyah and Singer. Applications extend to index theory, moduli problems, and special holonomy constructions central to research by Hitchin, Joyce, Alekseevsky, and Bryant, and to examples used in the study of geometric flows examined by Hamilton and Perelman.

Classification and invariants

Classification results for Walker metrics exploit invariant theory for curvature tensors and holonomy algebra classification initiated by Berger and enhanced by authors such as Galaev, Armstrong, and Cahen; invariants include null Jordan forms of the Ricci operator, Segre types in the algebraic classification of endomorphisms studied by Petrov and Segre, and scalar invariants derived from contractions of the Weyl tensor and its covariant derivatives. Global classification interacts with topological constraints and index-theoretic invariants prominent in the work of Atiyah, Singer, Hirzebruch, and Milnor, while local classification uses coordinate normal forms and equivalence under diffeomorphism groups studied by Lie and Cartan.

Category:Pseudo-Riemannian geometry