## Meromorphic Functions on Riemann Surfaces (Pt. III)

**Point of Post: **This is a continuation of this post.

## Meromorphic Functions on Riemann Surfaces (Pt. II)

**Point of Post: **This is a continuation of this post.

## Meromorphic Functions on Riemann Surfaces (Pt. I)

**Point of Post: **In this post we define meromorphic functions on Riemann surfaces and discuss several properties of such maps, including the correspondence between holomorphic functions and holomorphic maps to the Riemann sphere.

**Motivation**

So, up until this we’ve point we’ve defined Riemann surfaces and the structure preserving maps between them (the holomorphic ones). We should feel accomplished, no? I mean, we at least have the bare basics to start trying to do complex analysis on surfaces/use complex analysis to analyze the surfaces, right? Well, anyone who has taken a serious course in complex analysis should be vehemently shaking their head (you are, right?). Indeed, looking only at holomorphic functions leaves out a huge part of complex analysis. In particular, we should be weary of any discussion of complex analytic concepts that ignore meromorphic functions. Indeed, without considering meromorphic functions we wouldn’t have things like Cauchy’s integral formula, the theorem that enriches all of our study of holomorphic functions.

Another very obvious reason that we would want to study meromorphic functions comes from our previous revelatio that compact Riemann surfaces admit no non-constant holomorphic functions! We saw, looking at the proof that, perhaps the issues with this is that for globally defined functions into their is a boundedness is the issue. Thus, allowing functions with singularities (and consequently for functions to get unbounded near these singularities!) will perhaps allow us to create meaningful (non-constant) functions from compact Riemann surfaces into , which should be useful in the study of the compact Riemann surfaces themselves. Of course, such functions would be (if we were doing regular complex analysis!) meromorphic functions.

So, now that we have figured out why we would want to study meromorphic functions on Riemann surfaces, it remains to figure out precisely how to define them. Well, unsurprisingly, we define them like we define all local concepts on Riemann surfaces–via charts. Namely, just like in the case of holomorphic functions, we shall say that a function on a Riemann surface is meromorphic at if when we pretend that locally around and we are dealing with subsets of , and when we pretend that is a mapping between these two subsets, that is meromorphic at . Of course, this is rigorously done by checking the meromorphicity of ‘s coordinate map associated to a chart. We then have to verify that this meromorphicity of coordinate map is independent of chart transformation, but this is clear since if one conjugate a meromorphic map by biholomorphisms one gets a meromorphic map.

Ok, fine, so this is the obvious, not new definition of meromorphicity. But, as we have said before, not only does using abstract Riemann surfaces allow us to study such objects (you need to have Riemann surfaces and their pursuant concepts to study Riemann surfaces!) but it allows us to illuminate some old concepts. In particular, suppose that we wanted to try to extend a meromorphic function to a holomorphic function? To put this on less confusing terms, we know that there is a discrete set of poles of such that is holomorphic, and we want to extend this to a holomorphic map . Well, naively, if this is to be holomorphic, it better be continuous. Thus, we have no choice but to define for . Now, there is an obvious issue with this since (by definition!) , and so (with this definition) is not a well-defined element of . Ah, but therein lies the rub. Namely, is not a well-defined element of the *complex numbers*. This doesn’t stop us from thinking about as sitting inside a bigger Riemann surface and trying to extend (given by the composition ) where, perhaps, may exist!

Thus, we are left looking for a Riemann surface with an embedding and a notion of an “infinite complex number”. Hopefully you aren’t thinking too hard. Namely, the extended complex plane is exactly such a Riemann surface! Not only does sit comfily inside of , but the topology on allows us to think of as an element for which defining makes sense! In particular, the knowledge that gets arbitrarily large tells us that as we have that lies in discs for arbitrarily large values of . Now, if one starts looking at what the discs on the Riemann sphere one sees that the only point in all such discs is ! Thus, it actually makes topological sense to define . Thus, we see that meromorphic mappings really correspond to maps , and if there is any justice in the world, these maps will be holomorphic. Luckily for us, this is in fact true (the just world part might be pushing it though), and we shall see that meromorphic mappings (where is any Riemann surface!) correspond exactly to holomorphic maps . Well, almost, the only thing we need to watch out for is the condition that poles are discrete. But, since preimages of holomorphic non-constant maps are discrete we see the only trouble map is the map , which we shall just ignore.

Well, once we have the notion of meromorphic functions, the most basic thing we’d want to do with them is inspect how “bad” of a singularity they have at a given poin, or more specifically, how bad of a singularity either they or their inverse has at a given point. This leads us naturally to the notion of the order of a meromorphic function at a point. If we were doing plain old complex analysis on subsets of this would be as simple as expanding our function as a Laurent series and finding the smallest non-zero coefficient (the integer attached to this coefficient would be the order). Simpleminded as we are, we would like to do the same thing here. Of course, the issue with this is the one that we have encountered at least fourteen times now–the fact that a Laurent series doesn’t make sense for a map when is an abstract Riemann surface. And, like the fourteen other times, we fix this by thinking locally. We will define the Laurent series of at , relative some chart , to merely by the Laurent series of at . Now, in a perfect world of sunshine and lollipops, the Laurent series of would be the same with respect to any chart. Sadly, this is not true, for if it were true then one would have that the Laurent series of a function at is the same as the Laurent series of at for any biholomorphism (on a neighborhood of )–you can find counterexamples to this. But, the key is that while the Laurent series is extremely chart dependent, the integer at which its lowest non-zero coefficient appears, does not. Thus, we get the well-defined notion of order that shall play such a pivotal role in our later studies.