Skip to main content
3 of 5
edited tags
Bombyx mori
  • 6.2k
  • 3
  • 34
  • 57

How to interpret heat kernel at unit time on a Riemann surface?

Let $M$ be a compact Riemann Surface. Let $P$ be a fixed point on $M$ and let $\delta_{P}$ be the Dirac point distribution at $M$. Consider the fundamental solution of the heat equation $$ (\partial_{t}-\Delta)K(x,y,t)=0, K(x,y,0)=\delta_{x}(y) $$ and its solution $$ f(x)=e^{\Delta}\delta_{P}(x)=\int K(x,y,1)\delta_{P}(y)dy=K(x,P,1) $$ I am wondering if there is any special meaning attached to the case when $t=1$ and $M$ is taken as a homogeneous space. The idea seems natural that one start Brownian motion with a pointed probability distribution and let time flows, then $f(x)$ can be used as a measure of the "distance" between $x$ and $P$. In the case $M=\mathbb{S}^{1}$ via its universal cover $\mathbb{R}^{1}$ we recovered a sum of Gaussians that resembles theta function.

However when I look up online, the explicit formulas we have are rather difficult to interpret. For $g\ge2$ they are quotients of $\mathbb{H}$, and thanks to Mckeans' work we know $$ K(x,y,t)=\frac{\sqrt{2}}{(4\pi t)^{3/2}}e^{-t/4 }\int^{\infty}_{p}\frac{se^{-s^2/4t}}{(\cosh(s)-\cosh(p))^{1/2}}ds,p=d_{\mathbb{H}}(x,y) $$ I do not really know any good interpretation of this when we fix $y=P,t=1$ and let $x$ vary then add up the copies corresponding to $\pi_{1}(M)$. In particular, I am curious what does this say related to the spectrum of the Laplacian in $M$. It should relate to analytic torsion of the Laplacian on the manifold, but so far I have not found any way to relate the two objects.


This coming from the following observation in Arakelov theory: In the arithemetic surface setting to obtain a Riemann-Roch formula for a line bundle $L$ is the same thing as giving a metric for the determinant line bundle $\lambda(L)=\lambda(H^{0}(L))\otimes \lambda(H^{1}(L)^{*})$. I am wondering if there is anyway to define $H^{1}$ directly which satisfies Serre duality. In one dimensional case, the regularized $h^{1}$ proposed by Van Der Geer and Rene Schoof is essentially a weighted sum of Gaussian functions, which may be interpreted as the probability density of standard Brownian motion on the real line covering the interval $[0,1]$. However in two dimensional situation it is not entirely self-evident that analgous methods give us a self-dual object. A standard choice in the community is to work with the Quillen metric, but it is not clear to me how this may relate to Quillen metric either. The question at here is really about how to understand this probability density better, as the original problem seems still totally out of reach.

Bombyx mori
  • 6.2k
  • 3
  • 34
  • 57