On ramification divisors of functions in a punctured compact Riemann surface (Q1823339)

Let V be a compact Riemann surface and \(V'\) be the complement in V of a nonvoid finite subset S. Let M(V) be the field of meromorphic functions on \(V'\), and \(G_ 0(V')\) be the multiplicative group of functions in \(M(V')\) which have exponential singularities of finite degree at points of S, i.e., which behave as \(f_ ie^{p_ i(1/z)}\) in the neighborhood of points in S, where \(f_ i\) is meromorphic and \(p_ i(1/z)\) is a polynomial in 1/z, where z is a local parameter at the point. Let \(K_ 0(V')\) denote the field generated by \(M_ 0(V')\). The author proves that if the ramification divisor \(\delta\) (df) for \(f\in K_ 0(V')\) is finite, then \(f\in M_ 0(V')\), which means that the divisor \(\delta\) (f) of f is also finite (see the author, Am. J. Math. 106 (1984), Prop. 3.4). It is also proved that given \(\delta\) and \(n\in Z^+\), the divisors \(\delta\) (d log f) \((f\in G_ 0(V')\), \(\delta (f)=\delta\) and the total order of poles of d log f at points of whose order are not less than 2 is n) form a proper analytic subset of the k-fold symmetric product of \(V'\), where \(k=n+2g-2+N_{\delta}>0\) and \(N_{\delta}\) is the number of points supporting \(\delta\).