Loci of Holomorphic Functions and the Inverse Function Theorem (Pt. I)
Point of Post: In this post we discuss a new way of getting Riemann surfaces by taking loci of holomorphic functions on . We necessarily then discuss the (holomorphic) inverse function theorem.
Just like when studying smooth manifolds, perhaps one of the richest examples of Riemann surfaces come from looking at loci of holomorphic functions. In particular, for us, we shall care most about the zero sets of of holomorphic functions with a domain in . Of course, there are two issues with this. Firstly, what does it mean for a function to be holomorphic? Secondly, why is it clear that such a locus is actually a Riemann surface?
The first is one for which I can only give an unsatisfactory answer for now. For us, a holomorphic function of two variables will be one which is holomorphic in each variable separately. The fact that this definition of holomorphic yields what we expect holomorphic functions to be (functions which are locally power series!) is a relatively deep fact known as (or at least coming from) Hartog’s theorem. This is a theorem whose place is rightfully in the study of Several Complex Variables (SCV), and is something that I can’t do justice to right now. Moreover, it is perhaps the “other branch” (complex analysis joke fully intended) one could take when they want to go to a second graduate course in complex analysis. So, for anyone interested in WHY this is the correct notion of holmorphicity in higher dimensions I recommend taking a look at SCV in general. To make up for my lack of actually explaining these concepts, let me be at least helpful in the narrowing down the length list of SCV books to, what is in my humble opinion, the best four books. The classic books on SCV are  and . They are both fantastic books, not only exposition, but in thoroughness–pretty much anything you would want to know is contained in these two books. That said, if one is looking for a compactified, straight to the point, version of these books , I would suggest . Ohsawa definitely is terse, but will give you the necessary facts and theorems that one may want to know–I will warn you that it is definitely an analyst’s book. Lastly, if one is looking for a broader, more geometric approach to SCV I would suggest .
Anyways, coming back from that rant. The second issue about why such a locus is actually a Riemann surface is answered, much like in the case of smooth manifolds, by the implicit function theorem IFT. The intuition for the inverse function theorem is much like the case of the usual IFT Of course, we shall need an adaptation of the usual IFT so as that we get not just a smooth inverse but a holomorphic one. This is where the necessary groan should be emitted by anyone familiar with the proof of the smooth IFT (or at least the equivalent, inverse function theorem). Now, before you decide to skip the proof let me assure you–it’s not bad. In fact, following the general differences between real and complex analysis, not only is the holomorphic IFT much simpler than the real analog, but is much prettier. The basic idea is that by using a slight generalization of the Argument Principle we are able to explicitly right down a function which gives the roots of an equation within a given region. Moreover, we are able to write this function as an integral in holomorphic functions, and thus it will be a holomorphic function itself. See, not so bad?
Loci of Holomorphic Functions and the IFT
As we alluded to in the motivation we begin by defining a function , with open, to be holomorphic if it is holomorphic in each variable. For example, given open sets we have the open set and for any pair of holmorphic functions and the function given by is holomorphic. Moreover, since any sum and product of holomorphic functions is obviously holomorphic we get a pretty good representative of holomorphic functions by considering any element of the ring of two variable polynomials with complex coefficients.
As was stated earlier, there is an extremely deep theorem, due to Hartog, which is stated as follows:
Theorem(Hartog’s): Any holomorphic function with is continuous.
Proof: See  page 28.
Now, you might be yawning or disappointed (or both), by this. I mean, that is the deep theorem that I seem to be paying such deference to? If the machinery needed to prove it doesn’t convince you its deep (admittedly, this is not always the best indication) perhaps this following corollary (sometimes called Hartog’s theorem itself) will convince you:
Corollary: Any holomorphic function is locally expressible as a power series.
Thus, we see that Hartog’s theorem really says that for a function to be holomorphic (analytic) in the traditional sense, it needs only be holomorphic in each variable. There is absolutely no analog of this in real variables. The classic example is given by
which is in each variable separately, yet isn’t even continuous (at zero)!
Anyways, let us denote for an open subset the holomorphic functions by . Then, for any let us denote by . Now, clearly inherits the subspace topology from , but it is not obvious that is a topological manifold, let alone carries a natural complex structure. The crux of this lies in the following theorem:
Theorem(Holomorphic IFT): Let be a neighborhood of the origin and let be such that and . Then, there exists a neighborhood of such that for each the equation has a unique solution with . Moreover, the assignment is holomorphic [note that by the open mapping theorem, is necessarily open].
This tells us that locally loci of holomorphic functions look like the graphs of holomorphic functions in one variable. Now, clearly such graphs have canonical charts.
 Varolin, Dror. Riemann Surfaces by Way of Complex Analytic Geometry. Providence, RI: American Mathematical Society, 2011. Print.
 Miranda, Rick. Algebraic Curves and Riemann Surfaces. Providence, RI: American Mathematical Society, 1995. Print.
 Forster, Otto. Lectures on Riemann Surfaces. New York: Springer-Verlag, 1981. Print.
 Conway, John B. Functions of One Complex Variable. New York: Springer-Verlag, 1978. Print.
 Gong, Sheng. Concise Complex Analysis. Singapore: World Scientific, 2001. Print
 Hörmander, Lars. An Introduction to Complex Analysis in Several Variables. Princeton, NJ: Van Nostrand, 1966. Print.
 Krantz, Steven G. Function Theory of Several Complex Variables. New York: Wiley, 1982. Print.
 Ohsawa, T. Analysis of Several Complex Variables. Providence, RI: American Mathematical Society, 2002. Print.
 Ebeling, Wolfgang. Functions of Several Complex Variables and Their Singularities. Providence, RI: American Mathematical Society, 2007. Print.