High multiplicity eigenvalue implies symmetry? - MathOverflow most recent 30 from http://mathoverflow.net2013-06-19T00:15:09Zhttp://mathoverflow.net/feeds/question/65731http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/65731/high-multiplicity-eigenvalue-implies-symmetryHigh multiplicity eigenvalue implies symmetry?unknown (google)2011-05-22T20:57:44Z2012-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#65747Answer by Denis Serre for High multiplicity eigenvalue implies symmetry?Denis Serre2011-05-23T08:01:16Z2011-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#91427Answer by Liviu Nicolaescu for High multiplicity eigenvalue implies symmetry?Liviu Nicolaescu2012-03-16T22:49:13Z2012-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#91432Answer by Igor Rivin for High multiplicity eigenvalue implies symmetry?Igor Rivin2012-03-16T23:14:14Z2012-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#91498Answer by Alex Eskin for High multiplicity eigenvalue implies symmetry?Alex Eskin2012-03-17T23:04:41Z2012-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>