Let $\Sigma$ be a Riemann surface of genus $g$. A Bergman kernel $B(p,q)$ is a bilinear meromorphic form on $\Sigma \times \Sigma$ with poles of order $2$ along the diagonal $p = q$ and holomorphic everywhere else. It can be defined explicitly as \begin{equation} B(p,q) = d_qd_p\log\theta(u(p) - u(q) - \Delta, \tau) \end{equation} as in (2-23) of https://arxiv.org/pdf/0811.3531.pdf where $\theta(.,\tau)$ is the Riemann theta function, $u(.)$ is the Abel map and $\Delta$ is an odd characteristic. Since $\Delta$ is a zero of order $1$ of $\theta$, I can see that after differentiating twice, we will get poles of order $2$ when $p = q$.

My question is how do I show that $B(p,q)$ defined this way does not have poles anywhere else?

My problem is $\theta(.,\tau)$ has $g$ zeros of order $1$. In this case $p = q$ is one of its zero, the rest of its zeros are points in $D_\Delta$ where $D_\Delta \geq 0$ is the effective divisor defined by $\Delta = u(D_\Delta) + K$, where $K$ is the Riemann constant. So I can't convince myself why wouldn't $B(p,q)$ has poles at $p = $ one of these points in $D_\Delta$ as well?



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.