Consider a compact connected surface $M$ of some genus $\gamma \geq 2$. A particular case of a famous result of Colin de Verdiere (see here) says that if we fix $\gamma$ and select a finite sequence $\lambda_0 = 0 < \lambda_1 < .... <\lambda_n$ (note the strict inequality, which is meant to avoid potential constraints on multiplicity in dimension $2$), then we can find a smooth metric $g$ on $M$ such that the given $\lambda_i$'s are the first $n$ eigenvalues of the Laplacian associated to $g$.

Now, my question (which could be trivial, but unfortunately I have no way of knowing as I am totally ignorant of French and nearly as ignorant of the graph-theoretic methods that de Verdiere uses) is, if we do not fix $\gamma$, could we also arrange that the metric $g$ be hyperbolic, that is, constant negative curvature? If not, could we at least say that we can pick a $g$ whose curvature is arbitrarily close to being constant?

The reason I even remotely hope for a positive answer here is due to a result of Lohkamp (see here), which says that in compact connected manifolds of higher dimensions, one can improve de Verdiere's result in that one can additionally constrain the metric $g$ to have an arbitrary negative upper bound on the Ricci curvature.

Any insights are highly appreciated, thanks!

Edit after Igor Rivin's comment: I should explicitly mention again that I do not want to fix the genus of the surface. In other words, given a finite increasing sequence (starting from $0$) as above, can we find a compact hyperbolic (or close to hyperbolic) surface $(M, g)$ of some genus $\gamma \geq 2$ such that the first $n$ eigenvalues of $(M, g)$ agree with the given sequence?

  • 2
    $\begingroup$ There are restrictions on the spectrum of a genus $g$ hyperbolic surface: projecteuclid.org/euclid.dmj/1253020546 $\endgroup$ – Ian Agol Oct 20 '15 at 23:55
  • 1
    $\begingroup$ A remark on the first question. The moduli space of hyperbolic structures on a surface is finite dimensional (6g-6). So it cannot easily (for instance differentiably) map onto a space with more than 6g-6 parameters. $\endgroup$ – Thomas Oct 21 '15 at 7:35
  • 2
    $\begingroup$ Actually, the question is much more interesting if you read it as not restricting the genus. Then both the comments become irrelevant (or at least less relevant) $\endgroup$ – Igor Rivin Oct 21 '15 at 10:17
  • $\begingroup$ @IgorRivin Thanks, that is actually what I wanted to ask, but got a bit confused and did not word it properly. Now I have edited it. $\endgroup$ – HSM Oct 21 '15 at 10:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.