3522b0b062f25bcf.tex
1: \begin{abstract}
2: Log-Riemann surfaces of finite type are certain branched coverings, in a generalised sense, of $\C$.
3: They have finitely generated fundamental group and finitely many ramification points, but ramification points
4: of infinite order are allowed (in which case the map has infinite degree). Biswas and Perez-Marco
5: showed that any such log-Riemann surface is given by a meromorphic function $\pi$ on a punctured Riemann surface $S'$ (i.e.
6: a compact Riemann surface $S$ minus finitely many punctures) such that the differential $d\pi$ has
7: exponential singularities at the punctures (for example in the case of genus zero with
8: one puncture these are given by functions of the form $\pi = \int R(z) e^{P(z)} dz$, where
9: $R$ is a rational function, and $P$ is a polynomial of degree equal to the number of
10: infinite order ramification points). Let $\RR$ be the set of infinite order ramification
11: points and let $S^* = S' \sqcup \RR$. We define an algebraic de Rham cohomology group
12: $H^1_{dR}(S^*)$ (given by certain differentials with exponential singularities modulo
13: differentials of certain functions with exponential singularities) for which we show that
14: integration along curves gives a nondegenerate pairing with the relative homology group $H_1(S^*, \RR ; \C)$.
15: In particular the dimension of $H^1_{dR}(S^*)$ is $2g + \#\RR + (n-2)$, where $g$ is the genus
16: of $S$ and $n$ the number of punctures. The periods of these differentials along curves
17: joining the infinite order ramification
18: points can be written in the form $\int_{\gamma} R_1(z,w) e^{\int R_2(z,w) dz} dz$, where $z,w$ are
19: meromorphic functions generating the function field of $S$, $R_1, R_2$ are rational functions of $z,w$,
20: and $\gamma$ is a curve such that $z \to \infty$ along certain directions at the two endpoints of $\gamma$.
21: \end{abstract}