Inferring geometric structure from eigenfunction triple products
Abstract
This article presents two converses to well-known observations regarding products of eigenfunctions of the Laplacian on a closed Riemannian manifold (M,g). First, if (M,g) is real-analytic, the coefficients in the eigenfunction expansion of a product of eigenfunctions decay exponentially. We show that such exponential decay in fact implies that g is real-analytic. Second, it is clear that if (M,g) is flat, there exists an eigenbasis for which the product of any two of its elements lies in the span of at most N = N(M,g) elements. We prove that any manifold with such an eigenbasis must be flat. We then construct metrics on π7 that share an eigenbasis with the standard metric yet are not locally homogeneous, from which we deduce that homogeneity cannot be characterized solely in terms of the multiplicative structure of eigenfunctions.
Related
- An inverse problem on eigenfunction triple products
- Entropic rates from eigenfunction structure for Γ 2 Γ 3
- Transposed Triple Products and Pro-Symmetric Rings in β-Rings
- Triple Products of Correlated Multivariate Hermite Polynomials
- Structure and Representations of Restricted Lie color triple systems
BibTeX
@misc{greilhuber2026inferring,
title = {{Inferring geometric structure from eigenfunction triple products}},
author = {Josef Greilhuber and Romain Speciel},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.03619},
eprint = {2611.03619},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.03619},
}
RIS
TY - UNPB
TI - Inferring geometric structure from eigenfunction triple products
AU - Josef Greilhuber
AU - Romain Speciel
PY - 2026
DA - 2026/11/02
PB - arXiv
DO - 10.48550/arxiv.2611.03619
UR - https://arxiv.org/abs/2611.03619
AB - This article presents two converses to well-known observations regarding products of eigenfunctions of the Laplacian on a closed Riemannian manifold (M,g). First, if (M,g) is real-analytic, the coefficients in the eigenfunction expansion of a product of eigenfunctions decay exponentially. We show that such exponential decay in fact implies that g is real-analytic. Second, it is clear that if (M,g) is flat, there exists an eigenbasis for which the product of any two of its elements lies in the span of at most N = N(M,g) elements. We prove that any manifold with such an eigenbasis must be flat. We then construct metrics on π^7 that share an eigenbasis with the standard metric yet are not locally homogeneous, from which we deduce that homogeneity cannot be characterized solely in terms of the multiplicative structure of eigenfunctions.
ER -