Generalized Fourier Transforms for Momentum-Space Construction on Riemannian Manifolds

Abstract: We extend Fourier analysis to curved spaces by defining a Generalized Fourier Transform (GFT) on any Riemannian manifold $Σ$ via spectral decomposition. Under minimal requirements that the transform is an isometric isomorphism and has a kernel diagonalizing the Laplace-Beltrami operator, we prove that the GFT satisfies a generalized Parseval-Plancherel theorem. To resolve the spectral degeneracy that obscures "momentum space" in such settings, we require the degenerate sector to be resolved by a local, symmetry-adapted maximal Abelian commuting set (a fiberwise MASA), constructed from geometric differential operators, most notably from Killing data when such symmetries are available. We provide a constructive algorithm for generating these commuting operators and show that the resulting momentum label spaces $\mathcal{F}$ (discrete, continuous, or mixed) reflect geometric symmetry constraints. We introduce a dual classification: (i) by MASA completeness and Stackel separability, and (ii) by the topology of $\mathcal{F}$. Finally, we distinguish unitary changes induced by true isometries (which preserve the GFT structure) from changes of coordinate-adapted degeneracy resolution/separation schemes, which may induce inequivalent $k$-space labelings (e.g. Cartesian vs spherical constructions in $\mathbb{R}<sup>{3}$) while remaining unitarily equivalent on $\mathcal{L}<sup>{2}\left[Σ\right]$. This symmetry-adapted harmonic analysis is intended as a foundation for curved-space mode decompositions; dynamical applications are developed in the subsequent work.

• The paper develops a rigorous spectral framework that defines generalized Fourier transforms as isometric isomorphisms between function spaces on Riemannian manifolds.
• It presents an algorithm to resolve eigenfunction degeneracy using a local, symmetry-adapted maximal Abelian set, ensuring uniquely interpretable momentum spaces.
• The study classifies momentum spaces both algebraically and topologically, offering insights for applications in quantum gravity and harmonic analysis on curved backgrounds.

Generalized Fourier Transforms on Riemannian Manifolds: A Technical Overview

Spectral Theory and the Generalization of the Fourier Transform

This paper develops a rigorous mathematical and algorithmic framework for defining and classifying Generalized Fourier Transforms (GFTs) on arbitrary Riemannian manifolds. The approach is grounded in spectral theory, whereby the Laplace-Beltrami operator, $\triangle$, plays a central role. The GFT is defined as an isometric isomorphism between $\mathcal{L}^2[\Sigma]$ (functions on the manifold) and a momentum space $\mathcal{L}^2[\mathcal{F}]$, constructed via spectral decomposition of $-\triangle$. The primary requirements—unitarity, invertibility, and Laplacian-diagonalizing kernel—are shown to guarantee a generalized Parseval-Plancherel theorem, ensuring norm preservation and invertibility of the transform.

Crucially, the spectral theorem allows for the construction of the GFT kernel from (generalized) eigenfunctions of $-\triangle$. These eigenfunctions can in general be degenerate, and their labeling is nontrivial in the presence of symmetries. The paper addresses the technical aspects of equipping the momentum domain $\mathcal{F}$—which can be discrete, continuous, or mixed—with an appropriate measure and extending the GFT formalism to the distributional setting (rigged Hilbert space) when generalized eigenfunctions fall outside $\mathcal{L}^2[\Sigma]$.

Degeneracy, Maximal Abelian Sets, and Symmetry-Adapted Harmonic Analysis

A substantial contribution of the paper is the systematic treatment of spectral degeneracy. When degeneracy is present, the eigenfunctions within a degenerate eigenspace are determined only up to an arbitrary unitary transformation, leaving the structure of momentum space $\mathcal{F}$ ambiguous. Rather than relying on artificial or non-local choices, the paper establishes that physical, interpretable GFTs must resolve degeneracy using a local, symmetry-adapted maximal Abelian set of commuting self-adjoint differential operators—a fiberwise MASA—constructed from the symmetries of the manifold (the Killing data).

An explicit algorithm is presented for the construction of MASAs using Killing vectors and higher-order Killing tensors. The algorithm is stepwise: solve for all local Killing vectors to determine commuting flows, supplement with commuting higher-order symmetry operators (Killing tensors) as necessary, and verify functional independence and closure under commutators. In geometrically regular (Stäckel) manifolds, this recovers the standard separation-of-variables schemes and yields a momentum domain $\mathcal{F}$ whose topology reflects the geometric and symmetry properties of $\Sigma$.

Algebraic and Topological Taxonomy of GFTs

To organize the diversity of harmonic analysis on manifolds, the paper introduces a dual classification system for GFTs: an algebraic (operator-theoretic) classification and a topological classification of the dual momentum space.

• Algebraic (MASA/Stäckel-based) Classification: Type I systems admit a complete symmetry-adapted MASA at second order (i.e., from Killing vectors/tensors), equivalent to Stäckel separability and full variable separation in the Helmholtz equation. Type II systems are algebraically complete (MASA at second order) but not Stäckel-separable, while Type III systems lack a complete MASA even at higher order.
• Topological (Momentum Domain) Classification: The topology of $\mathcal{L}^2[\Sigma]$0 is classified as discrete (compact manifolds), continuous (non-compact manifolds), or semi-discrete (hybrid situations). Notably, the topology of $\mathcal{L}^2[\Sigma]$1 is not invariant under choices of local representation but is preserved under true isometries.

The paper demonstrates with explicit examples—such as Cartesian vs spherical MASAs in $\mathcal{L}^2[\Sigma]$2, and rational vs irrational flows on the torus $\mathcal{L}^2[\Sigma]$3—how different symmetry-adapted choices induce markedly different $\mathcal{L}^2[\Sigma]$4-space topologies, even as the underlying Hilbert spaces remain unitarily equivalent. The non-uniqueness of the Fourier dual is thus made explicit, controllable, and physically meaningful through the symmetry-adapted MASA perspective.

Coordinate, Gauge, and Isometry Transformations in GFT Construction

The analysis highlights the distinction between passive coordinate transformations (which do not affect the GFT kernel or $\mathcal{L}^2[\Sigma]$5), active isometries (which induce unitary rotations that preserve the $\mathcal{L}^2[\Sigma]$6-space topology), and changes in the degeneracy-resolving scheme (MASA changes), which can yield non-homeomorphic label spaces. These distinctions clarify frequent confusion in the physical and mathematical literature regarding “coordinate dependence” of eigenfunctions and momentum labels.

In separable (Stäckel) cases, appropriate MASA selection corresponds naturally to a coordinate system in which the Laplace-Beltrami eigenfunctions may be constructed explicitly by separation of variables, and the resulting $\mathcal{L}^2[\Sigma]$7-space takes on a direct product structure reflecting the underlying symmetry (e.g., Cartesian momenta, angular momenta).

Physical and Theoretical Implications

Bold technical and conceptual claims are advanced:

• The spectral, symmetry-adapted definition of “momentum” is unambiguously determined by the choice of local MASA, reducing to familiar canonical momentum in flat space, but providing a general operational framework even in the absence of translation symmetry.
• The non-uniqueness of momentum labeling in curved spaces reflects an unavoidable “observer/context” dependence, analogous to the choice of complete set of commuting observables in quantum mechanics or the choice of frame in field theory.
• The classification provides a necessary foundation for analyzing curved $\mathcal{L}^2[\Sigma]$8-space physics, such as in quantum field theory in curved spacetime, analysis of the Unruh effect, and models involving non-trivial momentum space topology.

Strong numerical results and implications are made explicit: For canonical cases such as $\mathcal{L}^2[\Sigma]$9, the construction rigorously identifies the topology of the $\mathcal{L}^2[\mathcal{F}]$0-space under different MASA choices (e.g., $\mathcal{L}^2[\mathcal{F}]$1 for the Cartesian MASA vs $\mathcal{L}^2[\mathcal{F}]$2 for the spherical MASA), providing clarity on the physical meaning of these decompositions.

Future Developments

The theoretical apparatus developed sets the stage for physically-motivated applications of GFTs in spaces with non-trivial geometry—especially in quantum gravity and field theory, where the definition of momentum and spectral decomposition is subtle. There remains a substantial degree of freedom in “geometrizing” $\mathcal{L}^2[\mathcal{F}]$3-space, particularly in the choice of measure and normalization conventions, which aligns with current work on curved momentum space in quantum gravity [see e.g., (Kowalski-Glikman, 2013, Franchino-Viñas et al., 2023)].

The authors outline a program to further unify the canonical (cotangent bundle/Noether charge) and spectral definitions of momentum through the moment map, and to extend the operational meaning of momentum to contexts where classical geometric symmetries are broken or only local.

Conclusion

This work exposes and resolves the non-uniqueness and degeneracy issues in harmonic analysis on Riemannian manifolds by linking the spectral structure of the Laplace-Beltrami operator to local symmetry-adapted operator algebras. The symmetry-adapted, algorithmic MASA construction provides a robust foundation for defining GFTs and their momentum spaces, reconciling the algebraic, geometric, and physical aspects of harmonic analysis beyond the Euclidean framework. The dual algebraic/topological classification clarifies when, and how, different spectral decompositions are physically meaningful or equivalent—a result of fundamental significance for analysis, mathematical physics, and quantum theory on curved backgrounds.

Reference: "Generalized Fourier Transforms for Momentum-Space Construction on Riemannian Manifolds" (2605.00403).