Multiplicity of eigenvalues of the Laplacian on quaternionic projective space - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T11:47:48Z http://mathoverflow.net/feeds/question/70900 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/70900/multiplicity-of-eigenvalues-of-the-laplacian-on-quaternionic-projective-space Multiplicity of eigenvalues of the Laplacian on quaternionic projective space Renato G Bettiol 2011-07-21T13:17:52Z 2011-10-25T19:10:49Z <p>Using the classic spherical harmonics theory, one obtains the $k$-th eigenvalue of the $n$-dimensional round sphere $S^n$ to be $k(k+n-1)$, and its multiplicity is $\binom{n+k}{k}-\binom{n+k-1}{k-1}$, see e.g. [Berger, Gauduchon,Mazet, "Le spectre d'une variété riemannienne", Lecture Notes in Mathematics, Vol. 194 Springer-Verlag]. By looking at eigenfunctions of the Laplacian on $S^n$,$S^{2n+1}$ and $S^{4n+3}$ (note they are the unit spheres of $\mathbb R^{n+1}$, $\mathbb C^{n+1}$ and $\mathbb H^{n+1}$) that are respectively invariant under the natural actions of $\mathbb Z_2$, $S^1$ and $S^3$, one can obtain the eigenfunctions hence the $k$-th eigenvalue of the projective spaces $\mathbb R P^n$, $\mathbb C P^n$ and $\mathbb H P^n$ respectively. These are, respectively, $2k(n+2k-1)$, $4k(n+k)$ and $4k(k+2n+1)$.</p> <p>QUESTION: Compute the multiplicity of the $k$-th eigenvalue $4k(k+2n+1)$ of the Laplacian on $\mathbb H P^n$.</p> <p>The multiplicity of the $k$-th eigenvalue <em>on the sphere</em> arises as the dimension of the space of homogeneous harmonic polynomials of degree $k$ in $\mathbb R^{n+1}$, which is the difference between the dimensions of the spaces of homogeneous polynomials of degree $k$ and $k-1$ in $\mathbb R^{n+1}$. This follows from a polar decomposition of the first space as direct sum of spaces of homogeneous polynomials. The multiplicity of the $k$-th eigenvalue $4k(n+k)$ of the Laplacian <em>on the complex projective space</em> $\mathbb C P^n$ is given by the difference of the <em>squares</em> of these dimensions, it is $\binom{n+k}{k}^2-\binom{n+k-1}{k-1}^2$. This again follows from a polar decomposition of the space of harmonic homogeneous polynomials on $\mathbb C^{n+1}$. However, I do not know how to extend this idea to decompose the space of harmonic homogeneous polynomials on $\mathbb H^{n+1}$ and hence obtain the multiplicity of the $k$-th eigenvalue of $\mathbb H P^n$. This actually seems to be an exercise of [Berger, Gauduchon, Mazet]. Any natural guesses with similar differences of binomial powers seem to be wrong, since the multiplicity of the <em>first</em> eigenvalue (i.e., $k=1$) of $\mathbb H P^n$ should be $2n^2+3n$.</p> <p>HINT: Apparently the desired multiplicity should coincide with the dimension of the vector space formed by homogeneous polynomials $f$ in $\mathbb H^{n+1}=\mathbb R^{4n+4}$ with coordinates $(x_\alpha,y_\alpha,z_\alpha,w_\alpha), 1\leq\alpha\leq n+1$, of degree $2k$ such that $Lf=0$, where $L=\sum_j L_jL_j$ and $$L_1=\sum_\alpha y_\alpha\frac{\partial}{\partial x_\alpha}-x_\alpha\frac{\partial}{\partial y_\alpha}+w_\alpha\frac{\partial}{\partial z_\alpha}-z_\alpha\frac{\partial}{\partial w_\alpha}$$ $$L_2=\sum_\alpha z_\alpha\frac{\partial}{\partial x_\alpha}-w_\alpha\frac{\partial}{\partial y_\alpha}-x_\alpha\frac{\partial}{\partial z_\alpha}+y_\alpha\frac{\partial}{\partial w_\alpha}$$ $$L_3=\sum_\alpha w_\alpha\frac{\partial}{\partial x_\alpha}+z_\alpha\frac{\partial}{\partial y_\alpha}-y_\alpha\frac{\partial}{\partial z_\alpha}-x_\alpha\frac{\partial}{\partial w_\alpha}$$ The space of homogeneous polynomials of degree $2k$ in $4n+4$ variables has dimension $\binom{4n+2k+3}{2k}$, so the desired multiplicity should be this number minus the dimension of the subspace formed by polynomials such that $Lf=0$. Note that the above operators $L_j$, when restricted to the unit sphere $S^{4n+3}$ of $\mathbb H^{n+1}$ give the three vector fields that span the distribution tangent to the Hopf fibers $S^3$.</p> http://mathoverflow.net/questions/70900/multiplicity-of-eigenvalues-of-the-laplacian-on-quaternionic-projective-space/79105#79105 Answer by Joseph Wolf for Multiplicity of eigenvalues of the Laplacian on quaternionic projective space Joseph Wolf 2011-10-25T19:10:49Z 2011-10-25T19:10:49Z <p>These dimensions have been calculated explicitly for all the compact rank 1 symmetric spaces. See Cahn and Wolf, "Zeta functions and their asymptotic expansions for compact symmetric spaces of rank one", Commentarii Mathematici Helvetici, vol. 51 (1976), pp. 1-21.</p>