On Determinants of Laplacians on Riemann Surfaces

+ 9 like - 0 dislike
1742 views

History of the Formula: In their famous paper "On Determinants of Laplacians on Riemann Surfaces" (1986), D'Hoker and Phong computed the determinant of the Laplacian $\Delta_n^+$ on the space $T^n$ of spinor/tensor fields on the compact Riemann surface $M$ (for simplicity in this question I'm assuming $n\geq0$). Their result reads: $$\det(\Delta_n^+)=\mathcal{Z}_{n-[n]}(n+1)\cdot e^{-c_n\mathcal{X}(M)}.$$

Where $\mathcal{Z}_{n-[n]}(s)$ are two Selberg zeta functions, and $c_n$ is a constant which is explicitly computed in the article above.

In their exposition there are for sure some trivial mistakes. One comes from an error in the reference paper "Fourier coefficients of the resolvent for a Fuchsian group" (1977) by Fay, and it has been considered in the review paper "Geometry of String Perturbation Theory" (1988) of D'Hoker and Phong. But it doesn't lead to any change in the above considered formula.

Another trivial mistake is a misuse of the volume formula for an hyperbolic Riemann surface, this has been first pointed out by Bolte and Steiner, in their (unpublished) paper: "Determinants of Laplace-like Operators on Riemann Surfaces" (1988). In this article the authors use a new way to compute the same quantity $\det(\Delta_n^+)$, but they arrive to a different result. Calling $\frac{1}{2}\Delta_n^+$ what D'Hoker and Phong called $\Delta_n^+$ (according to Bolte and Steiner), it reads: $$\det(\frac{1}{2}\Delta_n^+)=\mathcal{Z}_{n-[n]}(n+1)\cdot e^{-k_n\mathcal{X}(M)}.$$

Where the constant $k_n$ has been explicitly computed, and it turns out to be different from $c_n$.

Unfortunately the mistakes pointed out above are not enough to account for the difference between $c_n$ and $k_n$. Bolte and Steiner suspect that the error in D'Hoker and Phong could come from a missing factor $2$ in the definition of $\Delta_n^+$.

The end of the story seems to be the article "Notes on determinants of Laplace-type operators on Riemann surfaces" (1990) of Oshima. In this article the author recalls the correction of some mistakes in the original paper of D'Hoker and Phong, moreover he points out a conceptual mistake made by Bolte and Steiner. Finally, simply assembling previous results, he provides the following formula: $$\det(\frac{1}{2}\Delta_n^+)=\mathcal{Z}_{n-[n]}(n+1)\cdot e^{-l_n\mathcal{X}(M)}.$$

Again $l_n$ is given explicitly, and it turns out to be different from both $c_n$ and $k_n$.

Question: Is it really the end of the story? It seems to me that the whole situations is quite messy, for example no one seems to point out new specific mistakes in the original article of D'Hoker and Phong (there must be some, according to Oshima). In specific, do the experts agree on the validity of the formula provided by Oshima? Are there other successive articles on the same topic?

Note: I added the tags "Arithmetic Geometry" and "Analytic Number Theory" because the laplacians $\Delta_n^+$ are conjugated to the Maass Laplacians $D_n$ acting on automorphic forms of weight $n$ on $M$. So I suspect an answer could come from people in arithmetic as well.

Thank you very much for reading all this!

This post imported from StackExchange MathOverflow at 2014-07-30 08:58 (UCT), posted by SE-user Giovanni De Gaetano
Relating the determinant of the Laplacian to the Selberg Zeta function in the article is almost by definition up to a constant, so some formula like that is no surprise. This involves comparing the trace formula with the logarithmic derivative of the Selberg Zeta function. So that part of the formula should be true. Are you asking whether $l_n$ are the right constants?

This post imported from StackExchange MathOverflow at 2014-07-30 08:58 (UCT), posted by SE-user plusepsilon.de
I mean, are you asking whether $e^{l_n \chi(M)}$ is the right constant?

This post imported from StackExchange MathOverflow at 2014-07-30 08:59 (UCT), posted by SE-user plusepsilon.de
Yes, this is what I'm asking for. In the sense that the other part of the formula is well understood (not only by experts, but by me as well! :) ).

This post imported from StackExchange MathOverflow at 2014-07-30 08:59 (UCT), posted by SE-user Giovanni De Gaetano
Okay, then the remaining contributions should most likely come from the holomorphic functions on M of even (odd) weight between two and n for n even (odd). The corresponding eigenvalues are explicitly known and depend on the weight only. The can be computed in terms of cohomology, hence the Euler number.What remains is a constant coming from the trace formula. Standard reference is Hejhal LNM for this, compact things equals first volume. In principle, defining the Selberg zeta function for arbitrary weight should give a more direct expression.

This post imported from StackExchange MathOverflow at 2014-07-30 08:59 (UCT), posted by SE-user plusepsilon.de
I'll try to give a look to Hejhal. But the problem is not about grasping the meaning of the formula, there are at least three articles computing it. My problem is to know if the last formula, which seems to be the definitive one, is indeed definitive and reliable. Thank you for your interest!

This post imported from StackExchange MathOverflow at 2014-07-30 08:59 (UCT), posted by SE-user Giovanni De Gaetano

bump

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysic$\varnothing$OverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). Please complete the anti-spam verification