A note on the eigenfunctions of the Laplacian for twisted products (Q2782785)

Let \(Z=X\times Y\) have a twisted product metric; this means \(\pi:Z\rightarrow Y\) is a Riemannian submersion and that \(TX\perp TY\). Let \(E(\lambda,\cdot)\) denote the eigenspace of the Laplacian for the associated eigenvalue \(\lambda\). Let \(\pi^*:C^\infty(Y)\rightarrow C^\infty(X)\) be the pullback. The author shows: NEWLINENEWLINENEWLINETheorem. The following assertions are equivalent:NEWLINENEWLINENEWLINE(1) For all \(\lambda\in \mathbb{R}\), \(\pi^*E(\lambda,Y)\subset E(\lambda,Z)\). NEWLINENEWLINENEWLINE(2) For all \(\lambda\in \mathbb{R}\), there exists \(\mu(\lambda)\in \mathbb{R}\) so \(\pi^*E(\lambda,Y)\subset E(\mu(\lambda),Z)\). NEWLINENEWLINENEWLINE(3) There exists a measure \(d\nu_X\) on \(X\) so that \(d\nu_Z=d\nu_Xd\nu_Y\). NEWLINENEWLINENEWLINESubsequent investigations by the author are reported in `Spectral geometry, Riemannian submersions, and the Gromov-Lawson conjecture' (1999; Zbl 0938.53001) by \textit{P. B. Gilkey, J. V. Leahy} and \textit{J. Perk}.