High multiplicity eigenvalue implies symmetry? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T00:15:09Z http://mathoverflow.net/feeds/question/65731 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/65731/high-multiplicity-eigenvalue-implies-symmetry High multiplicity eigenvalue implies symmetry? unknown (google) 2011-05-22T20:57:44Z 2012-03-17T23:04:41Z <p>It is well known that on any compact Riemannian symmetric space $X$, the eigenvalues of the Laplacian have very high multiplicity (comparable with the Weyl bound), and the resulting actions $\operatorname{Isom}(X)\to \operatorname{SO}(W_\lambda)$ for eigenspaces $W_\lambda$ give many representations of the Lie group $\operatorname{Isom}(X)$.</p> <p>Suppose one has an unknown compact Riemannian manifold $X$ ($n=\dim X$), but where the eigenspaces of the Laplacian have large dimension (I don't have a precise definition of "large" here; the weakest definition would probably be something like $\dim W_\lambda>1$ for infinitely many $\lambda$. I'd be happy even with a much stronger assumption, say $\dim W_\lambda$ is at least $\epsilon$ times the Weyl bound $\operatorname{const}\cdot\lambda^{(n-1)/2}$ infinitely often). Can one conclude that $X$ is a symmetric space, or close to one in some sense?</p> <p>EDIT: I would be interested in any result which takes as a hypothesis some assumption of large multiplicity in the Laplace spectrum, and whose conclusion is some sort of symmetry of the underlying manifold.</p> http://mathoverflow.net/questions/65731/high-multiplicity-eigenvalue-implies-symmetry/65747#65747 Answer by Denis Serre for High multiplicity eigenvalue implies symmetry? Denis Serre 2011-05-23T08:01:16Z 2011-05-23T08:01:16Z <p>My guess is <strong>No</strong>. You do not need a one parameter Lie group of symmetry to have infinitely many double eigenvalues. Just one involution suffices. And one involution is not enough to make a symmetric space. For instance, every complex curve whose equation is real has this property; then the involution is the complex conjugation. For most such curve, there is no other non-trivial involution.</p> http://mathoverflow.net/questions/65731/high-multiplicity-eigenvalue-implies-symmetry/91427#91427 Answer by Liviu Nicolaescu for High multiplicity eigenvalue implies symmetry? Liviu Nicolaescu 2012-03-16T22:49:13Z 2012-03-16T22:49:13Z <p>My answer is rather a question. Suppose that $(M,g)$ is a compact Riemann manifold and for any positive integer $N$ there exists an eigenvalue of the Laplacian that has multiplicity $>N$. Can one conclude that the group of isometries of $(M,g)$ has positive dimension?</p> http://mathoverflow.net/questions/65731/high-multiplicity-eigenvalue-implies-symmetry/91432#91432 Answer by Igor Rivin for High multiplicity eigenvalue implies symmetry? Igor Rivin 2012-03-16T23:14:14Z 2012-03-17T20:28:56Z <p>I might be totally confused, but in <a href="http://jessica2.msri.org/attachments/12730/12730.pdf" rel="nofollow">this paper of Hubert Goldschmidt</a> (Infinitesimal isospectral deformations of symmetric spaces), he seems to construct the very deformations of the title. It is not obvious that these can be integrated, but if they can be, it gives you a family of manifolds isospectral to the symmetric spaces and not symmetric, which would provide a negative answer to the OP (note that if you read Goldschmidt's paper, you will see that various spaces are not NOT to be so deformable).</p> http://mathoverflow.net/questions/65731/high-multiplicity-eigenvalue-implies-symmetry/91498#91498 Answer by Alex Eskin for High multiplicity eigenvalue implies symmetry? Alex Eskin 2012-03-17T23:04:41Z 2012-03-17T23:04:41Z <p>One situation where people have thought hard about this issue is the multiplicity of the spectrum of the Laplacian on the modular surface. This is a notoriously difficult problem. </p> <p>Conjecturally, the (discrete) spectrum is simple, but as far as I know, the best known bounds on the multiplicity of a Maas cusp form of eigenvalue $\lambda$ are somewhere in the neighborhood of $O(\lambda^{1/2}/\log \lambda).$</p> <p>(Weyl's law in dimension $2$ says that the number of eigenvalues of size at most $N$ is $O(N)$). </p> <p>See e.g. section 4 of the following survey of Peter Sarnak: <a href="http://www.math.princeton.edu/sarnak/baltimore.pdf" rel="nofollow">http://www.math.princeton.edu/sarnak/baltimore.pdf</a></p> <p>So I would say that some of the stronger versions of your conjecture are almost certainly out of reach. </p>