Sachs Equations and Plane Waves, V: Ward, Fourier, and Heisenberg Symmetry on Plane Waves

Abstract: This article studies wave equations and their solutions on plane wave spacetimes of arbitrary dimension, developing the interplay among three structural layers: the Ward progressing-wave representation of solutions to the scalar wave equation, the Fourier analysis of the Heisenberg group naturally associated to the plane wave, and the Schrödinger propagator governing the evolution of initial data. The central geometric object is a positive curve in the Lagrangian Grassmannian determined by the plane wave metric, previously studied in the authors' series. The conformal tensor $H(u)$ that parametrises this curve plays a dual role: it encodes the null-cone geometry of the spacetime and simultaneously appears as the time-dependent parameter in the Schrödinger representation of the Heisenberg group acting by isometries on the plane wave. Parallel to the classical Fourier inversion theorem, convolution by Lagrangian delta distributions on the Heisenberg group furnishes an intrinsic description of the Schrödinger propagator, and the intertwining of different polarisations by this propagator is captured by a diagram that commutes up to a Maslov phase. The theta functions and Bargmann transforms that arise from imaginary polarisations complete the analytic picture, connecting the present work to the theory of the Weil representation as developed by Lion--Vergne and to Mumford's systematic treatment of theta functions.

• The paper demonstrates that combining Ward’s progressing-wave formalism, Heisenberg group representations, and Schrödinger evolution yields exact solutions for wave propagation in arbitrary-dimensional plane wave spacetimes.
• It employs Fourier decomposition and a Hamiltonian flow derived from the Brinkmann-Rosen metric to establish well-posed, energy-conserving solutions in robust Sobolev spaces.
• The analysis clarifies the role of Lagrangian Grassmannian geometry and the Maslov phase in ensuring global propagation across caustic singularities.

Symmetry Structures and Analytic Propagation in Plane Wave Spacetimes

Overview

This paper (2603.28206) offers a comprehensive analytic and algebraic treatment of wave equations in arbitrary-dimensional plane wave spacetimes, elucidating the interplay between geometric, analytic, and representation-theoretic structures. Central to the analysis is the correspondence between the intrinsic geometry encoded by the Lagrangian Grassmannian, the Heisenberg group symmetry, and the Schrödinger-type time evolution governing wave propagation. By unifying Ward’s progressing-wave formalism, the action of the Heisenberg group, and the Schrödinger propagator, the authors clarify both the propagation of classical fields and the algebraic symmetries underlying exact solvability in these spacetimes.

Geometric and Analytic Framework

The geometry of a plane wave spacetime is encapsulated in the Brinkmann-Rosen metric, parameterized by a smooth curve of positive-definite symmetric matrices $G(u)$, with the entire curvature encoded in the matrix profile $K(u)$. This geometric data defines a positive Lagrangian curve $H(u)$ in the Grassmannian, unifying the conformal null-cone structure and the analytic evolution parameters.

Reduction of the scalar wave equation via Fourier decomposition in the null coordinate $v$ yields a time-dependent Schrödinger equation in the transverse space, with $u$ as 'time' and $G(u)$ dictating the Hamiltonian flow. The authors establish that the full solution space may be represented both via the Ward progressing-wave ansatz and as a propagator in the Schrödinger picture, with equivalence of these forms rigorously detailed for Schwartz initial data.

A careful Hilbert-space treatment establishes well-posedness for finite-energy solutions in Sobolev spaces, demonstrating conservation of a natural symplectic form and independence of time slices. Weak solution theory is exhaustively developed, ensuring that the analytic representations are robust and physically meaningful.

Heisenberg Group Symmetry and Representation Theory

The isometry group of plane waves is shown to contain a distinguished $(2n + 1)$-dimensional Heisenberg group, acting as an exact symmetry on wavefronts. The crucial innovation here is the identification of a family of unitary Schrödinger representations, parametrized by the Planck-like variable $h$ (arising from the Fourier dual to $v$) and fibered over $u$ via the time-dependent $K(u)$0.

The canonical position and momentum operators $K(u)$1 satisfy the familiar Weyl relations, but acquire explicit $K(u)$2-dependence from the geometric data:

$K(u)$3

Analyzing both infinitesimal and integrated representations, the authors construct explicit unitary actions of the Heisenberg group on the evolving solution space. The interplay between the physical spacetime structure (Rosen coordinates, null cones) and the algebraic Heisenberg group provides a rigorous explanation for the exact solvability of the wave equation in these spaces.

Fourier Transform, Polarizations, and the Maslov Index

A foundational advance of the paper is the formalism of abstract Fourier transforms on the Heisenberg group, realized through convolution with Lagrangian delta distributions. This machinery allows for intrinsic, polarization-independent descriptions of time-evolution and connects directly to the geometric data of the plane wave. The classic Fourier inversion theorem is lifted to this noncommutative setting, demonstrating that triple convolutions of delta distributions for complementary Lagrangian subspaces yield a scalar multiple of the identity operator, with a phase given by the Maslov index.

This analysis clarifies the origin of the metaplectic (Maslov) phase in propagating across caustics: rather than arising from a global cocycle or an artifact of a particular chart, it is rooted in the algebra of the Heisenberg group and the geometry of the Lagrangian Grassmannian.

Propagation and Continuation Across Caustics

The construction of the Schrödinger propagator leverages an atlas of real polarizations (transverse charts), with rigorous gluing via explicit local intertwiners (change-of-polarization operators), explicitly parametrized by quadratic exponentials and symplectic reflections. The authors prove that the Schrödinger evolution is globally well-defined even as coordinate representations encounter caustics—these are interpreted as chart singularities rather than fundamental breakdowns of propagation.

A canonical, polarization-independent global propagator is constructed as an inductive limit over atlases, ensuring independence from choice of covering and demonstrating that wave propagation is unimpeded by caustic phenomena, up to expected Maslov phase factors.

Bargmann Transform and Theta Functions

Complex (imaginary) polarizations yield a Bargmann-type holomorphic model for the solution space, with convolution kernels corresponding to entire holomorphic functions on the Heisenberg group. The Bargmann transform thus achieves a powerful analytic continuation, producing Schwartz-class holomorphic data from real-variable initial data. This construction is technically analogous to models in geometric quantization and quantum optics.

When the transverse space is taken over a lattice (the arithmetic case), convolution with discrete subgroup delta distributions yields classical theta functions, connecting the analysis deeply with the theory of modular forms and the Weil representation. The analytic description of Schrödinger evolution is shown to respect the automorphy properties of theta functions, again modulating evolution by explicit quadratic phases.

Implications, Contrasts, and Prospects

The results rigorously demonstrate that the analytic and algebraic structures of plane wave spacetimes are deeply intertwined with the representation theory of the Heisenberg group, the geometry of the Lagrangian Grassmannian, and the properties of quadratic Fourier integrals. The independence of global propagation from caustic singularities clarifies foundational aspects of field-theoretical models in curved backgrounds, with important implications for exact quantization on these spacetimes, and for understanding Penrose limits of broader classes of Lorentzian manifolds.

Practically, these results provide a robust framework for analytically solving and extending wave equations in high-symmetry backgrounds, with direct application to quantum field theory in curved backgrounds, string theory (notably via the AdS/CFT Penrose limit), and mathematical physics. The formalism may also stimulate further developments in the geometric analysis of field equations and in the arithmetic theory of automorphic forms.

Theoretically, the algebraic formalism delineated here is suggestive for future work on twistorial constructions in curved backgrounds, noncommutative geometric quantization, and the explicit characterization of quantum dynamics in the presence of complex symmetries and singularities.

Conclusion

This paper synthesizes geometric, analytic, and algebraic tools to produce a complete characterization of wave propagation in plane wave spacetimes, establishing precise links between Ward’s progressing wave formalism, the representation theory of the Heisenberg group, and the analytic machinery of the Schrödinger propagator. The explicit control over evolution across caustics, the coherent treatment of real and complex polarizations, and the rigorous identification of the Maslov phase position this analysis as an authoritative reference for the analytic theory of wave equations in symmetric curved backgrounds.