# How are functional determinants of Laplace-type operators used in physics?

Many mathematical papers concerning the $\zeta$-regularized Determinant of Laplace-type operators refer for motivation to the broad use of such determinants in mathematical physics, especially in quantum geometry/string theory.

Can someone give further details (or may refer to good literature) how the determinant of the Laplacian is used in that kind of settings? What is the "meaning" of calculating the determinant?

For example, what is the correct physical interpretation of the following example: Consider a surface $(M,g_0)$ (a Riemannian Manifold of dimension 2) with a conformal structure, so I have the conformal class related to $g_0$.

Naively I think: The surface represents a world sheet of a propagating string. What role plays the determinant of the Laplacian?

In another context I read about using such determinants to calculate path Integrals (?)

Thanks for illuminating comments!

-

Your question seems to come in two parts. First, it seems the use of functional determinants to represent (formally) the result of taking a path integral may be new to you. Is that so? If it is, then I would suggest reading about this idea first. It's broader than zeta regularization. Once you're comfortable with that, then I would suggest thinking about the second part of your question, which is how zeta regularization is used. It falls under the general umbrella term of mathematical regularization of formal, divergent quantities in QFT (unlike, say, Pauli-Villars, dimensional regularization, hard momentum cut-offs, and other physically motivated regularization schemes). It is closely related to the use of heat kernel techniques in QFT. I know of an entire book on the subject on Amazon, and there are many papers about it on the arXiv. The fact that it doesn't involve making any changes to the spacetime makes it very useful for applications involving spacetime with boundaries or finite extent, e.g. the Casimir effect or strings.

Edit: I have a bit of time now to expand on this result.

You know that $$\int_{R} dx\,\exp(-\tfrac{1}{2}a x^2) = \sqrt{2\pi/a}\,.$$ It's easy to extend this result to $$\int_{R^n} d^nv\,\exp(-\tfrac{1}{2}v^i M_{ij} v^j) = (2\pi)^{n/2}/\sqrt{\det M}\,,$$ where $M$ is an invertible $n\times n$ matrix. We can formally extend this result to the infinite dimensional case. Consider the action $$S[\varphi] = \tfrac{1}{2}\int dx\,\partial\varphi(x) \cdot \partial\varphi(x) = -\tfrac{1}{2} \int dx\,dy\,\varphi(y) \delta(x-y)\partial_x^2 \varphi(x)$$ in the path integral $$\int [d\varphi] \exp(-S[\varphi] )\,.$$ Since formally there is an analogy between the vectors $v^i$ and $\phi(x)$ and between the operators $M_{ij}$ and $-\delta(x-y)\partial_x^2$, we can surmise that $$\int [d\varphi] \exp(-S[\varphi]) = \frac{A}{\det[-\delta(x-y)\partial_x^2]^{1/2}}\,,$$ where we now have a functional determinant. The numerator $A$ represents a divergent quantity and the functional determinant is also divergent without regularization. We can think of it as an infinite product of eigenvalues. $$\det [-\partial^2] = \prod_{i=1}^\infty \lambda_i\,,$$ where we will drop the $\delta(x-y)$ because we know this operator is diagonal'' (i.e., local). Then, construct the $\zeta$ function associated to the operator $\mathcal{O}$ whose determinant we're computing. $$\zeta_{\,\mathcal{O}}(s) = \sum_{n=1}^\infty \frac{1}{\lambda_i^s}\,,$$ where we need $\lambda_i > 0$ for all $i$ and ${\rm Re}\,s > 0$. The latter restriction can be relaxed through analytic continuation. But then $$\zeta_{\,\mathcal{O}}^\prime(s) = -\sum_{i=1}^\infty \frac{\ln \lambda_i}{\lambda_i^s}$$ so that through analytic continuation we can compute $\zeta_{\,\mathcal{O}}^\prime(0) = - {\rm tr}\, \ln \mathcal{O} = -\ln \det \mathcal{O}$. For the case of two infinite parallel plates in 3-dim. space, we see that the wavenumber is quantized in the direction between the plates, but continuous in the other two directions. This leads to an interesting spectrum for the Laplacian operator. To see zeta regularization used in the computation of its functional determinant, look here.

-
Hi Josh, Thank you for your highly detailed answer. You're right, many notions of quantum field theory are new to me. In fact I'm familiar with the mathematical techniques but my physical knowledge is not very deep. It is important for me that you confirmed that the determinant is used for computing path integrals. And it is very useful for me to see the $\textit{way}$ you think about it. I'm sorry for the chaotic mix of questions but I don't know how to start in a more sorted way. – Robin Neumann Feb 27 '12 at 11:27
addendum: What is special when concerning strings? Does the conformal variation of surfaces (and therefore the variation of $\log \det \Delta$ that I study from a mathematical point of view) only play a role when concerning string models? Is there a physical meaning of the quantity $\log \det \Delta$ in terms like "it measures the ... " ? – Robin Neumann Feb 27 '12 at 11:28

form the Shothotsky's formula $(x+i\epsilon)^{-1}=-i\pi \delta (x) +P(1/x)$

then $-\frac{1}{\pi}Imlogdet(\Delta +i\epsilon-E)= \sum_{n}H(E-E_{n})$

so logdet can be used to get the Eigenvalue staircase for the Laplacian operator.

-