Irrational Numbers and the Riemann Surface of a Multi-Valued Function

Suppose a meromorphic function $f(z)$ has two poles, with residues $1$ and $\gamma$, respectively. Then the topology of the Riemann surface of the anti-derivative of $f(z)$ depends on whether or not $\gamma$ is irrational. More generally, the topology of a meromorphic function with $n$ poles with residues $\gamma_1,\gamma_2,\cdots,\gamma_n$ depends on the linearity of $\gamma_1,\cdots,\gamma_n$ over $\mathbb{Q}$. Has anyone considered this phenomenon? Are there relationships between the (co)homology groups of the covering and the residues? Could one attempt to prove the irrationality (or rationality) of a given complex number by considering the residues of the poles of a meromorphic function in this way? (In such a case, one would need other ways of extracting topological information about the given meromorphic function.)

-
 Since asking this question, I've learned about the motivic approach to transcendence, and it's made me wonder whether my idea has any relation to that. – David Corwin Jun 24 at 3:41

EDIT 1/5/2010: I was a little dissatisfied with the informality of what I wrote below, so here is a somewhat more formal writeup. The statement is somehow geometrically obvious, but the proof is still a bit nice.

EDIT: I initially claimed the sequence below is short exact, which is false; it is right exact. It is fixed below, with some explanation, and a bit of a geometric explanation of what's going on.

I know little about the theory of linear independence over $\mathbb{Q}$, but I'll attempt an answer to this part of the question:

Are there relationships between the (co)homology groups of the covering and the residues?

The answer is "yes." Let $f$ be a meromorphic function on $\mathbb{C}$, and for convenience let's assume that it has poles $z_1, ..., z_n$ of order $1$, and no other singularities. Let $g$ be an antiderivative of $f$. Then the Riemann surface of $f$ is $M_f=\mathbb{C}-\{z_1, ..., z_n\}$ and the Riemann surface of $g$, which we will denote by $M_g$, is a covering space of $M_f$ with covering map $\pi: M_g\to M_f$. Let $V\subset \mathbb{C}$ be the $\mathbb{Q}$-vector space spanned by $\operatorname{Res}_{z_1}(f), ..., \operatorname{Res}_{z_n}(f)$. Then there is a short exact sequence $$H_1(M_g, \mathbb{Q})\overset{H_1(\pi)}{\longrightarrow} H_1(M_f, \mathbb{Q})\overset{\int}{\longrightarrow} V\to 0,$$ where the map $\int$ is given as follows. Namely, $\int: H_1(M_f, \mathbb{Q})\to V$ is given by $[\gamma]\mapsto \frac{1}{2\pi i}\int_\gamma f~\operatorname{dz}$.

Let's elucidate the connection to the linear independence of $\operatorname{Res}_{z_1}(f), ..., \operatorname{Res}_{z_n}(f)$ over $\mathbb{Q}$. $H_1(M_f, \mathbb{Q})$ is a $\mathbb{Q}$-vector space with a basis of cycles $[\lambda_1], ..., [\lambda_n]$ corresponding to the punctures $z_1, ..., z_n$. Then the map $\int$ sends $[\lambda_i]$ to $\operatorname{Res}_{z_i}(f)$. So the image of $H_1(M_g, \mathbb{Q})$ in $H_1(M_f, \mathbb{Q})$ is precisely the vector space of relations between the residues of $f$.

Added: We can extend this right exact sequence into a longer sequence. In particular, by covering space theory we have that $\pi_1(M_g)\to \pi_1(M_f)$ is an injection. It is easy to see that the commutator subgroup of $\pi_1(M_f)$ is contained in the image of $\pi_1(M_g)$. By the Hurewicz theorem $$H_1(M_g, \mathbb{Q})\simeq \pi_1(M_g)^{Ab}\underset{\mathbb{Z}}{\otimes} \mathbb{Q}.$$ So the kernel of the map $H_1(M_g, \mathbb{Q})\to H_1(M_f, \mathbb{Q})$ is given by the image of $[\pi_1(M_f), \pi_1(M_f)]$ (which is contained in $\pi_1(M_g)$) in $H_1(M_g, \mathbb{Q})$. One can extend the exact sequence further back by looking at quotients of commutators in this manner.

This first extension has a geometrical interpretation. Namely, let $h$ be a meromorphic function whose poles have the same locations as those of $f$, but whose residues are linearly independent over $\mathbb{Q}$. Then the antiderivative of $h$, denoted $s$ has Riemann surface $M_s$, which is a covering space over $M_f$, with covering map $\pi': M_s\to M_f$. By the properties of covering spaces, $\pi'$ factors through $\pi$, and it is not hard to see that $\pi_1(M_s)$ is exactly the commutator subgroup of $\pi_1(M_f)$. Then the sequence $$H_1(M_s, \mathbb{Q})\overset{H_1(\pi')}{\longrightarrow} H_1(M_g, \mathbb{Q})\overset{H_1(\pi)}{\longrightarrow} H_1(M_f, \mathbb{Q})\overset{\int}{\longrightarrow} V\to 0,$$ is exact, and coincides with the sequence described above.

I don't know if the continuing left extensions of this sequence have similar geometric interpretations. Also, it would be nice to have a naturally arising description of this sequence, rather than the somewhat ad hoc one I've given.

-
 I noticed your update on 1/5/2012...interesting... – David Corwin Jan 6 2012 at 5:47