Ward Progressing-Wave Representation

• Ward progressing-wave representation is a unified method for solving scalar wave equations on plane-wave spacetimes, linking geometry to Schrödinger dynamics through a progressing-wave superposition.
• It utilizes the conformal tensor H(u) to encode null-cone geometry and generate a moving Lagrangian curve that governs polarization changes and caustic behavior.
• The approach integrates Fourier analysis on the Heisenberg group and Bargmann transforms, providing insights into oscillatory propagation, Maslov phases, and theta-function completions.

Searching arXiv for the cited paper and closely related work on Ward progressing-wave representations and plane waves. arXiv search query: ([2603.28206](/papers/2603.28206)) The Ward progressing-wave representation is a representation of solutions of the scalar wave equation on plane-wave spacetimes, developed for Rosen plane-wave metrics of arbitrary dimension and formulated so that three structures become explicitly equivalent: a progressing-wave superposition for $\Box\psi=0$, Fourier analysis on the Heisenberg group naturally attached to the plane wave, and the Schrödinger propagator for initial-value evolution in the null coordinate $u$ (Holland et al., 30 Mar 2026). In this framework, the conformal tensor $H(u)$ simultaneously encodes the null-cone geometry of the spacetime, determines a positive curve in the Lagrangian Grassmannian, and enters as the time-dependent parameter in the Schrödinger representation of the Heisenberg group. The representation is therefore not merely an integral ansatz for wave propagation, but part of a geometric-analytic correspondence linking plane-wave geometry, polarization changes, Maslov phases, Bargmann transforms, and theta functions (Holland et al., 30 Mar 2026).

1. Geometric setting and reduction of the wave equation

The construction is formulated on a Brinkmann–Rosen plane-wave background

$$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$

equipped with the Rosen metric

$g=2\,du\,dv-dx^T\,G(u)\,dx,$

where $G(u)$ is a positive-definite $(n-2)\times(n-2)$ matrix and $g(u)=\det G(u)$ (Holland et al., 30 Mar 2026). The basic problem is the scalar wave equation

$\Box\psi=0.$

A structural simplification comes from the fact that $\partial/\partial v$ is Killing. The analysis therefore begins by Fourier transforming in $u$0 and $u$1, reducing $u$2 first to a time-dependent Schrödinger equation in $u$3 and then to an explicit progressing-wave superposition (Holland et al., 30 Mar 2026). This reduction identifies the null coordinate $u$4 as the evolution parameter and places the entire plane-wave problem in a form analogous to non-autonomous quadratic Schrödinger dynamics.

The paper’s central geometric datum is the conformal tensor

$u$5

which is not introduced as an auxiliary convenience but as the object organizing both geometry and analysis. The abstract states that $u$6 plays a dual role: it encodes the null-cone geometry of the spacetime and simultaneously appears in the Schrödinger representation of the Heisenberg group acting by isometries on the plane wave (Holland et al., 30 Mar 2026). A plausible implication is that the Ward representation should be understood less as a single formula than as the scalar-wave manifestation of a broader metaplectic structure.

2. The progressing-wave formula

One convenient form of the Ward formula is

$u$7

where $u$8 is an arbitrary Schwartz-class seed on $u$9, $H(u)$0 is its Fourier transform in the first variable, the argument

$H(u)$1

is the quadratic phase, and the prefactor $H(u)$2 enforces the correct half-density weight (Holland et al., 30 Mar 2026).

An equivalent form uses dual variables $H(u)$3:

$H(u)$4

These formulas make the progressing-wave character explicit. The dependence on $H(u)$5 enters through $H(u)$6, while the $H(u)$7-dependence is carried by the quadratic term involving $H(u)$8. In this sense, the plane-wave geometry enters the solution operator entirely through the evolution of the quadratic phase and the half-density factor. Because the seed $H(u)$9 is arbitrary within Schwartz class, the formula gives a superposition principle rather than a special-family ansatz (Holland et al., 30 Mar 2026).

The abstract places this construction parallel to a classical Fourier inversion theorem. That comparison is precise rather than rhetorical: the paper argues that the same representation can be recast intrinsically via convolution by Lagrangian delta distributions on the Heisenberg group, so that the progressing-wave formula, the Fourier picture, and the Schrödinger propagator become different realizations of the same underlying object (Holland et al., 30 Mar 2026).

3. Conformal tensor, positive curves, and Lagrangian geometry

In Rosen coordinates, the profile matrix $$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$0 encodes the full null-cone geometry. The inverse matrix

$$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$1

is called the conformal tensor, and the paper records

$$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$2

with $$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$3 positive-definite (Holland et al., 30 Mar 2026). Geometrically, $$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$4 determines a curve

$$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$5

in the Lagrangian Grassmannian of the symplectic vector space

$$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$6

Equivalently,

$$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$7

so each $$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$8 is an $$M\simeq U_u\times \mathbb{R}_v\times \mathbb{R}^{n-2}_x,$$9-dimensional Lagrangian subspace (Holland et al., 30 Mar 2026).

The positive-definiteness of $g=2\,du\,dv-dx^T\,G(u)\,dx,$0 means that $g=2\,du\,dv-dx^T\,G(u)\,dx,$1 is a positive curve in the Lagrangian Grassmannian. This positivity condition is one of the central bridges between the metric background and the harmonic analysis developed later in the paper. It furnishes a precise symplectic encoding of the evolution dictated by the plane-wave geometry.

This geometric reformulation clarifies what is specific about the Ward progressing-wave representation. The relevant variable is not merely the matrix coefficient appearing in a phase factor, but a one-parameter family of Lagrangian subspaces. The wave field is therefore organized by a moving polarization. A plausible implication is that caustics and polarization changes are most naturally studied at the level of the curve $g=2\,du\,dv-dx^T\,G(u)\,dx,$2 rather than the original metric coefficients alone.

4. Heisenberg symmetry and convolution by Lagrangian distributions

The symplectic vector space

$g=2\,du\,dv-dx^T\,G(u)\,dx,$3

with form $g=2\,du\,dv-dx^T\,G(u)\,dx,$4 determines a Heisenberg group

$g=2\,du\,dv-dx^T\,G(u)\,dx,$5

with product

$g=2\,du\,dv-dx^T\,G(u)\,dx,$6

(Holland et al., 30 Mar 2026). For each $g=2\,du\,dv-dx^T\,G(u)\,dx,$7 and fixed Planck parameter $g=2\,du\,dv-dx^T\,G(u)\,dx,$8, the paper defines an irreducible unitary Schrödinger representation $g=2\,du\,dv-dx^T\,G(u)\,dx,$9 on $G(u)$0 by

$G(u)$1

In this model, the infinitesimal generators are

$G(u)$2

and satisfy

$G(u)$3

Thus the same conformal tensor $G(u)$4 that parameterizes the Lagrangian curve also controls the time-dependent realization of the Heisenberg algebra (Holland et al., 30 Mar 2026).

The key analytic statement is that convolution by the delta distribution of a Lagrangian subgroup $G(u)$5,

$G(u)$6

gives exactly the Schrödinger propagator from time $G(u)$7 to $G(u)$8 (Holland et al., 30 Mar 2026). The abstract explicitly compares this to the classical Fourier inversion theorem. Here each Lagrangian $G(u)$9 plays the role of a polarization, so the propagator is realized as an intrinsic Heisenberg-group convolution operator rather than merely as an oscillatory kernel written in coordinates.

This perspective is significant because it converts the Ward progressing-wave representation into an invariant statement about the Heisenberg group and its polarizations. The representation is therefore not tied to a single coordinate expression, even though the Rosen-coordinate formulas remain explicit and central.

5. Schrödinger propagation, caustics, and Maslov phases

Starting from initial data $(n-2)\times(n-2)$0 at $(n-2)\times(n-2)$1, separation in $(n-2)\times(n-2)$2 and $(n-2)\times(n-2)$3 yields the Schrödinger equation

$(n-2)\times(n-2)$4

in the $(n-2)\times(n-2)$5-Fourier domain (Holland et al., 30 Mar 2026). The propagator is explicit:

$(n-2)\times(n-2)$6

and hence

$(n-2)\times(n-2)$7

The resulting phase is quadratic in $(n-2)\times(n-2)$8, exactly as stated in the summary of the paper (Holland et al., 30 Mar 2026).

The same propagator can be written in any fixed real polarization $(n-2)\times(n-2)$9 as

$g(u)=\det G(u)$0

When one must pass from $g(u)=\det G(u)$1 to a nearby polarization $g(u)=\det G(u)$2 to avoid a caustic, the local intertwiner is the finite part of

$g(u)=\det G(u)$3

and acquires a Maslov phase

$g(u)=\det G(u)$4

More generally, for three pairwise complementary Lagrangians $g(u)=\det G(u)$5,

$g(u)=\det G(u)$6

where $g(u)=\det G(u)$7 is the Maslov index of the triple, defined as the signature of the Kashiwara form on $g(u)=\det G(u)$8 (Holland et al., 30 Mar 2026).

The paper identifies this Maslov phase as the exact obstruction to composing Fourier-integral transitions between distant real polarizations. Gluing local charts as in Theorem 7 then yields a global propagator well defined up to the overall Maslov multiplier (Holland et al., 30 Mar 2026). This makes the role of caustics conceptually precise: they are not merely singular points of a coordinate formula, but places where the propagation problem must be continued through changes of polarization.

6. Imaginary polarizations, theta functions, and terminological scope

The analytic picture is completed by replacing a real Lagrangian polarization with a positive imaginary one $g(u)=\det G(u)$9, satisfying $\Box\psi=0.$0. Convolution by

$\Box\psi=0.$1

defines the Bargmann–Segal transform

$\Box\psi=0.$2

which carries $\Box\psi=0.$3 isometrically onto a holomorphic Hilbert space (Holland et al., 30 Mar 2026). Under arithmetic lattice quotients of the Heisenberg group, one obtains discrete subgroups $\Box\psi=0.$4 lifting a self-dual lattice in $\Box\psi=0.$5, and summing

$\Box\psi=0.$6

yields the classical theta series

$\Box\psi=0.$7

with modular and quasi-periodicity governed by the Weil representation (Holland et al., 30 Mar 2026). The abstract explicitly connects this part of the theory to Lion–Vergne and to Mumford’s treatment of theta functions.

This extension shows that the Ward progressing-wave representation belongs to a larger representation-theoretic framework. Real polarizations govern the oscillatory and propagative description; imaginary polarizations lead to holomorphic realizations and theta-function constructions. A plausible implication is that the plane-wave problem sits naturally inside the same metaplectic and automorphic structures that organize geometric quantization more broadly.

A recurrent source of terminological ambiguity is the word Ward. In the plane-wave scalar-wave setting discussed here, it denotes the progressing-wave representation and its associated Fourier–Heisenberg formalism (Holland et al., 30 Mar 2026). By contrast, in strong-field QED, “Ward” refers to the Ward–Takahashi identity for dressed vertices and polarization operators in a plane-wave electromagnetic background (Meuren et al., 2013). In gravitational-wave theory, “Ward identities” refer to identities associated with large residual diffeomorphisms, soft theorems, and memory in TT gauge and BMS-related formulations (Luca et al., 2024). Likewise, the phrase “progressing wave” in the gravitational-memory context describes a planar gravitational-wave mode expansion rather than the scalar-wave representation built from $\Box\psi=0.$8, Lagrangian curves, and Heisenberg convolution (Luca et al., 2024). These usages are related only at the level of vocabulary, not by a common formalism.

Within its own domain, the Ward progressing-wave representation is best characterized as a unified description of plane-wave propagation in which the geometric data of the curve $\Box\psi=0.$9, encoded by $\partial/\partial v$0, and the analysis on $\partial/\partial v$1, via Schrödinger and Bargmann representations, are woven together into a single framework for Fourier duality, explicit propagation, metaplectic phase, and theta-function completion (Holland et al., 30 Mar 2026).