b99f007ccb751817.tex
1: \begin{abstract} An exp-algebraic curve consists of a compact Riemann surface $S$
2: together with $n$ equivalence classes of germs of meromorphic functions modulo
3: germs of holomorphic functions, $\HH = \{ [h_1], \cdots, [h_n] \}$, with poles of
4: orders $d_1, \cdots, d_n \geq 1$ at points $p_1, \cdots, p_n$. This data determines
5: a space of functions $\OO_{\HH}$ (respectively, a space of $1$-forms $\Omega^0_{\HH}$)
6: holomorphic on the punctured surface $S' = S - \{p_1, \cdots, p_n\}$ with exponential
7: singularities at the points $p_1, \cdots, p_n$ of types $[h_1], \cdots, [h_n]$, i.e.,
8: near $p_i$ any $f \in \OO_{\HH}$ is of the form $f = ge^{h_i}$ for some germ of meromorphic
9: function $g$ (respectively, any $\omega \in \Omega^0_{\HH}$ is of the form $\omega = \alpha e^{h_i}$
10: for some germ of meromorphic $1$-form).
11: 
12: For any $\omega \in \Omega^0_{\HH}$ the completion of $S'$ with respect to
13: the flat metric $|\omega|$ gives a space $S^* = S' \cup \RR$ obtained by adding a finite
14: set $\RR$ of $\sum_i d_i$ points, and it is known that integration along curves
15: produces a nondegenerate pairing
16: of the relative homology $H_1(S^*, \RR ; \C)$ with the de Rham cohomology group defined by
17: $H^1_{dR}(S, \HH) := \Omega^0_{\HH}/d\OO_{\HH}$.
18: 
19: There is a degree zero line bundle $L_{\HH}$ associated to an exp-algebraic curve, with a
20: natural isomorphism between $\Omega^0_{\HH}$ and the space $W_{\HH}$ of meromorphic
21: $L_{\HH}$-valued $1$-forms which are holomorphic on $S'$, so that $H_1(S^*, \RR ; \C)$ maps
22: to a subspace $K_{\HH} \subset W^*_{\HH}$.
23: We show that the exp-algebraic curve $(S, \HH)$ is determined
24: uniquely by the pair $(L_{\HH},\, K_{\HH} \subset W^*_{\HH})$.
25: \end{abstract}
26: