Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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!

share|improve this question
    
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? –  plusepsilon.de Mar 25 '13 at 14:23
    
I mean, are you asking whether $e^{l_n \chi(M)}$ is the right constant? –  plusepsilon.de Mar 25 '13 at 14:34
    
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! :) ). –  Giovanni De Gaetano Mar 25 '13 at 15:40
    
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. –  plusepsilon.de Mar 25 '13 at 18:56
    
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! –  Giovanni De Gaetano Mar 26 '13 at 16:48
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.