🔢 mathematics

The scattering matrix for the p-form Laplacian on asymptotically conic manifolds

This paper provides an explicit description of the scattering matrix for the Hodge-Laplacian on co-closed p-forms over asymptotically conic manifolds of dimension $n \geq 3$ by developing generalized eigenfunctions and a functional calculus, a method distinct from the Fourier Integral Operators used in the scalar case, with specific relevance to the electric field in Maxwell's equations for dimension 3.

Original authors: Nelia Charalambous, Alden Waters

Published 2026-08-25

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Nelia Charalambous, Alden Waters

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine a vast, open landscape that stretches out forever, but as you travel further and further away, the terrain settles into a predictable, cone-like shape. In the world of physics and mathematics, such places are called asymptotically conic manifolds. They are not the flat, endless plains of a Euclidean map, but rather spaces that curve and twist in complex ways before eventually straightening out into a specific, repeating pattern at their edges. Scientists study these shapes because they serve as models for the universe itself, or for the space around massive objects like black holes, where the rules of geometry change dramatically. To understand how energy, light, or sound moves through such a space, researchers use a tool called the Laplacian. Think of this as a mathematical machine that measures how a wave spreads out or vibrates across the surface. When the waves being studied are not just simple ripples on a pond, but complex, multi-dimensional fields that have direction and orientation—like the electric and magnetic fields that make up light—the machine becomes the Hodge Laplacian. The central question for mathematicians is: if you send a wave into this strange, cone-shaped space, how does it bounce back? The answer is encoded in something called a scattering matrix, a kind of map that tells you exactly how the incoming wave transforms into an outgoing one.

For decades, mathematicians have been able to draw this map for simple, scalar waves, which are like the ripples on a pond with no direction. However, when the waves carry the complexity of electric and magnetic fields, the problem becomes significantly harder. These fields are described by objects called differential forms, which carry information about direction and rotation, not just magnitude. Until now, there was no complete, explicit recipe for calculating the scattering matrix for these complex fields on cone-shaped spaces. The researchers Nelia Charalambous and Alden Waters have now filled this gap. They have developed a precise method to describe exactly how these complex waves scatter, providing a clear formula that works for any dimension of space greater than two. Their work is a significant step forward because it moves beyond the abstract tools previously used for simple waves and instead builds a direct, concrete description based on the actual behavior of the waves themselves.

The core of their discovery lies in how they broke down the complex wave into simpler, manageable pieces. On the boundary of this infinite space, where the cone shape is most distinct, the researchers used a powerful mathematical principle known as the Hodge decomposition. This principle allows them to separate any complex wave into two distinct types: one part that is "closed," meaning it loops back on itself without a source, and another part that is "co-closed," meaning it flows outward without a sink. By separating the wave into these two fundamental behaviors, the researchers could treat each part independently. They then constructed what are called generalized eigenfunctions. These are not static waves that sit still, but rather idealized, infinite waves that represent the purest possible states of energy in the system. By carefully constructing these waves to match the specific geometry of the cone, the authors were able to track exactly how the wave behaves as it travels toward the edge of the universe and bounces back.

What makes this achievement particularly notable is the method they used. Previous attempts to solve similar problems for simple waves relied on a technique involving Fourier Integral Operators, which are highly abstract and difficult to visualize. Charalambous and Waters took a different path. Instead of using these abstract operators, they built their solution directly from the generalized eigenfunctions they constructed. They solved the equations governing the wave's motion explicitly, using well-known mathematical functions that describe oscillations, such as Bessel and Hankel functions. These functions are the standard language for describing waves in circular or conical geometries. By solving the equations directly, they were able to derive an explicit formula for the scattering matrix. This formula reveals that the scattering process is governed by two distinct factors, one for the closed part of the wave and one for the co-closed part. These factors depend on the dimension of the space and the specific type of wave being studied, acting as a precise filter that determines how the wave's phase shifts as it scatters.

The implications of this work extend beyond pure geometry. The researchers highlight a specific case where their findings are directly relevant to the real world: the behavior of electromagnetic fields in three-dimensional space. In our universe, the electric field is a type of wave that is co-closed. When the dimension of space is three and the wave is a one-form, the mathematical description provided by the authors matches the behavior of the electric field in Maxwell's equations, which govern all of classical electromagnetism. This means their abstract formula can be used to construct direct solutions for how electromagnetic fields behave in spaces that look like cones at a distance. This is not just a theoretical exercise; it offers a new way to understand how light and electricity propagate in complex, non-flat environments. The authors also note that their method confirms that there are no hidden, trapped waves at positive energy levels in these spaces, a fact that was previously uncertain in this specific geometric setting.

The paper concludes by showing that the difference between the scattering matrix of a perfect cone and a space that is only slightly different from a cone is a very smooth, gentle correction. This means that the complex behavior of the wave is dominated by the large-scale shape of the space, and small irregularities in the geometry only cause minor, predictable adjustments. The researchers proved that their scattering matrix is unitary, which is a mathematical way of saying that energy is conserved; no wave is lost or created out of nothing during the scattering process. By providing this explicit, step-by-step construction, the authors have turned a previously opaque problem into a clear, calculable reality. They have shown that even in the most complex, infinite geometries, the behavior of light and fields can be understood through a precise, elegant formula that connects the shape of space directly to the way waves bounce back.

Technical Summary: The Scattering Matrix for the $p$ -Form Laplacian on Asymptotically Conic Manifolds

Problem Statement
This work addresses the characterization of the scattering matrix for the Hodge-Laplacian acting on differential $p$ -forms on asymptotically conic manifolds of dimension $n \geq 3$ . While the scalar case (functions) has been extensively studied, notably by Christiansen and by Melrose and Zworski via Fourier Integral Operators (FIOs), the transition to differential forms introduces significant structural complexity. Specifically, one must account for the exterior derivative $d$ , its adjoint $\delta$ , and the decomposition of forms into tangential and normal components at infinity. Furthermore, the Hodge decomposition on the boundary at infinity separates data into closed and co-closed pieces, requiring a distinct analytical approach to handle the coupling between these components in the scattering process. The paper focuses on manifolds that are compact perturbations of exact asymptotically conic models, where the metric near infinity takes the form $g = x^{-4}dx^2 + x^{-2}h(x)$ , with $h(x)$ approaching a fixed metric $h_0$ on a compact cross-section $N$ .

Methodology
The authors develop a functional calculus based on generalized eigenforms rather than relying on the Fourier Integral Operator framework used in the scalar case. The methodology proceeds through the following steps:

Decomposition and Model Reduction: Utilizing the Hodge decomposition on the cross-section $N$ , the authors decompose $p$ -forms on the exact model manifold $\tilde{M}_0$ into closed and co-closed components. This reduces the eigenvalue equation for the Hodge-Laplacian to a system of ordinary differential equations (ODEs) in the radial variable $x$ .
Explicit Solution of Model Equations: The resulting ODEs are solved explicitly in terms of Bessel and Hankel functions. The authors define specific rescalings of the radial functions to map the Laplacian action onto operators involving these special functions. This allows for the construction of generalized eigenforms that are co-closed ( $\delta u = 0$ ) and satisfy the Helmholtz equation $(\Delta_p - \lambda^2)u = 0$ .
Construction of Generalized Eigenfunctions: For the exact model $\tilde{M}_0$ , the authors construct a Poisson operator mapping boundary data to generalized eigenfunctions. These are normalized using Hankel functions to distinguish between incoming and outgoing waves.
Perturbation to General Manifolds: For a general manifold $M$ (a compact perturbation of the model), generalized eigenfunctions are constructed via a limiting absorption principle and a resolvent formula: $E_{\lambda, M}(\Phi) = \chi \tilde{j}_\lambda(\Phi) - R_\lambda (\Delta_M - \lambda^2)(\chi \tilde{j}_\lambda(\Phi))$ , where $\chi$ is a cutoff function near infinity.
Scattering Matrix Derivation: The scattering matrix is derived by comparing the asymptotic expansion of the generalized eigenfunctions on $M$ against the model expansion. The difference between the scattering matrix of $M$ and the exact model $\tilde{M}_0$ is analyzed to determine its regularity properties.

Key Contributions and Results

Explicit Scattering Matrix Formula: The primary result (Theorem 2.3) provides an explicit formula for the phase-normalized tangential scattering matrix $St_M(\lambda)$ . For the exact model $\tilde{M}_0$ , the matrix is diagonal with respect to the Hodge decomposition of the boundary $N$ . The two components acting on co-closed and closed forms are given by:
$St_{1, \tilde{M}_0}(\lambda) = -i \exp\left(-i\pi \sqrt{\left(\frac{n}{2} - p - 1\right)^2 + \Delta_N}\right)$
$St_{2, \tilde{M}_0}(\lambda) = i \exp\left(-i\pi \sqrt{\left(\frac{n}{2} - p\right)^2 + \Delta_N}\right)$
where $\Delta_N$ is the Laplacian on the cross-section $N$ .
Regularity of the Scattering Difference: The paper establishes that for manifolds satisfying specific decay conditions on the metric perturbation (either rapid decay $O(x^\infty)$ or polynomial decay $O(x^{n_0})$ with $n_0 \geq 3$ ), the difference between the scattering matrix of the perturbed manifold and the exact model is a smoothing operator (or a bounded operator between specific Sobolev spaces). This confirms that the leading-order scattering behavior is determined entirely by the geometry at infinity.
Spectral Representation: The authors derive a Stone's formula (Theorem 6.3) and a kernel expansion (Theorem 6.4) for the Hodge-Laplacian restricted to co-closed forms. These results provide a spectral representation of the operator using the constructed generalized eigenforms, analogous to the scalar case but adapted to the differential form setting.
Maxwell's Equations Connection: In the specific case of dimension $n=3$ and $p=1$ , the co-closed 1-forms correspond to divergence-free vector fields. The construction yields a direct spectral representation for the electric field in Maxwell's equations on asymptotically conic spaces, recovering known Euclidean results in the flat limit.

Significance and Claims
The paper claims to provide the differential-form analogue of the scalar scattering results established by Christiansen and Melrose/Zworski. A significant departure from previous scalar analyses is the avoidance of Fourier Integral Operators; instead, the proof relies on explicit calculations involving generalized eigenforms and Bessel/Hankel systems. This approach allows for a direct computation of the scattering matrix components determined by the boundary Hodge decomposition.

The authors emphasize that their work extends the methods of prior spectral theory literature to the Hodge Laplacian on $p$ -forms, handling the non-trivial coupling between closed and co-closed components. The results are presented as a rigorous characterization of the scattering matrix, including its decomposition and the regularity of the remainder term, without claiming broader applications beyond the specific context of asymptotically conic manifolds and the associated spectral theory. The work is positioned as a technical advancement in the functional-analytic setting of scattering on non-compact manifolds.

More like this