# 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 (?)

-

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.

-
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