Advanced Theory of Riemann Surfaces

Algebraic Curves Associated to Riemann Surfaces Introduction to Algebraic Curves on Riemann Surfaces Riemann surfaces can be described explicitly as algebraic curves—the zero sets of polynomial equations. This connection between complex analysis and algebraic geometry is profound: many Riemann surfaces arise naturally as solutions to polynomial equations, and conversely, every compact Riemann surface can be realized as such a curve. Understanding these algebraic descriptions gives us concrete ways to visualize and study these abstract geometric objects. Elliptic Curves An elliptic curve is a compact Riemann surface that can be written in the form $$y^2 = x^3 + ax + b$$ where $a$ and $b$ are complex constants satisfying the condition that the right-hand side has no repeated roots (ensuring smoothness). This equation defines an algebraic curve in $\mathbb{C}^2$. What makes this description important is that this curve, when properly compactified to include a "point at infinity," has the topological structure of a torus. It has genus 1, meaning it has exactly one "hole." The coefficients $a$ and $b$ parametrize all possible elliptic curves, and changing these values produces different—but potentially biholomorphic—surfaces. Hyperelliptic Curves for Higher Genus For Riemann surfaces of higher genus $g > 1$, we can use hyperelliptic curves, given by equations of the form $$y^2 = Q(x)$$ where $Q(x)$ is a polynomial of degree $2g+1$ or $2g+2$. These are natural generalizations of elliptic curves that provide explicit algebraic models for many compact Riemann surfaces of genus greater than one. The image above shows a hyperelliptic surface corresponding to such an equation—the multiple "bulges" reflect the higher genus (more complex topology) of the surface. Holomorphic Maps and Biholomorphisms What Makes a Map Holomorphic on a Riemann Surface? Since Riemann surfaces are defined by charts and coordinate transitions, we need a careful definition of when a map between Riemann surfaces preserves the complex structure. A holomorphic map $f: M \to N$ between two Riemann surfaces is one where, in the coordinate representation using any pair of compatible charts, the map becomes a holomorphic function from $\mathbb{C}$ to $\mathbb{C}$. More precisely: if $g: U \to \mathbb{C}$ is a chart on $M$ and $h: V \to \mathbb{C}$ is a chart on $N$, then the coordinate expression $h \circ f \circ g^{-1}$ is a holomorphic function. This definition ensures that holomorphic maps respect the complex structure—they preserve angles and infinitesimal orientation. Biholomorphic Equivalence Two Riemann surfaces are biholomorphically equivalent (or conformally equivalent) if there exists a bijective holomorphic map $f: M \to N$ whose inverse is also holomorphic. This is the appropriate notion of "sameness" for Riemann surfaces: it says the surfaces have identical complex structure. A key point: biholomorphic equivalence is stronger than just topological equivalence. Two surfaces might be homeomorphic as topological spaces but have different complex structures. Biholomorphic maps are the isomorphisms in the category of Riemann surfaces. Function Theory on Riemann Surfaces Non-Compact Surfaces Have Plenty of Functions A remarkable feature of non-compact Riemann surfaces is their richness in holomorphic functions. Every non-compact Riemann surface admits non-constant holomorphic functions. Equivalently, non-compact Riemann surfaces are Stein manifolds—they have enough global holomorphic functions to separate points and generate the topology. This contrasts sharply with the compact case, making non-compact surfaces much more similar to the complex plane $\mathbb{C}$ in their function-theoretic behavior. Compact Surfaces and the Maximum Principle The situation reverses completely for compact surfaces. By the Maximum Principle, every holomorphic function on a compact Riemann surface is constant. Here's why: if $f: M \to \mathbb{C}$ is holomorphic and $M$ is compact, then $|f|$ is a continuous function on a compact set, so it achieves its maximum at some point $p \in M$. The Maximum Principle (a fundamental result in complex analysis) says that if a holomorphic function's modulus $|f|$ achieves a local maximum in the interior of its domain, then $f$ must be constant. Since the maximum is achieved and occurs on a compact set with no boundary, $f$ must be constant everywhere. This seems to leave compact surfaces with no non-trivial holomorphic functions—but we can extend to meromorphic functions, which are allowed to have poles. Meromorphic Functions on Compact Surfaces A meromorphic function is a holomorphic function that is allowed to have poles (points where it blows up like $1/(z-z0)^k$). The key fact is that every compact Riemann surface has non-constant meromorphic functions. Furthermore, the collection of all meromorphic functions on a compact Riemann surface forms a field (the function field) that is always a finite extension of $\mathbb{C}(t)$—the field of rational functions in one variable. This is profound: it means that the meromorphic functions on a compact Riemann surface are algebraic functions, satisfying polynomial relations over $\mathbb{C}(t)$. Algebraicity and Projective Embedding Chow's Theorem One of the most important bridges between complex analysis and algebraic geometry is Chow's Theorem: every compact Riemann surface is a projective algebraic curve. This means that every compact Riemann surface can be realized (biholomorphically) as a curve defined by polynomial equations in some projective space $\mathbb{P}^n(\mathbb{C})$. Combined with the existence of non-constant meromorphic functions, this tells us that compact Riemann surfaces are "the same thing" as non-singular projective algebraic curves over $\mathbb{C}$ (in terms of their complex-analytic structure). This unification is crucial: it allows us to study Riemann surfaces using both transcendental methods from complex analysis and algebraic methods from algebraic geometry. Geometric Classification of Riemann Surfaces The Uniformization Theorem One of the crowning achievements of 19th-century mathematics is the Uniformization Theorem, which completely classifies simply connected Riemann surfaces: Every simply connected Riemann surface is biholomorphically equivalent to exactly one of the following: The Riemann sphere $\mathbb{P}^1(\mathbb{C})$ (the complex plane plus one point at infinity) The complex plane $\mathbb{C}$ The open unit disc $\mathbb{D} = \{z \in \mathbb{C} : |z| < 1\}$ (equivalently, the upper half-plane $\mathbb{H}$) This is a complete classification: these are the only possibilities for simply connected Riemann surfaces, and they are mutually non-biholomorphic. For non-simply-connected surfaces, we use the universal cover. If $M$ is a Riemann surface and $\widetilde{M}$ is its universal cover, then $\widetilde{M}$ is simply connected, so it must be one of the three types above. The original surface $M$ is then obtained as a quotient of $\widetilde{M}$ by a discrete group acting freely and properly discontinuously. Classification by Curvature and Covering Space Riemann surfaces fall into three classes based on their universal cover: Elliptic Type: Surfaces with universal cover $\mathbb{P}^1(\mathbb{C})$. The only such surface is $\mathbb{P}^1(\mathbb{C})$ itself. These surfaces have constant curvature $+1$ (positive curvature like a sphere). Parabolic Type: Surfaces with universal cover $\mathbb{C}$. These are biholomorphically equivalent to one of: The complex plane $\mathbb{C}$ itself The cylinder $\mathbb{C}/\mathbb{Z}$ (quotient by integer translations) A torus $\mathbb{C}/(\mathbb{Z} + \tau\mathbb{Z})$ where $\tau \in \mathbb{C}$ is not real (quotient by a lattice) Parabolic surfaces have constant curvature $0$ (flat, like a plane). Hyperbolic Type: All remaining surfaces are covered by the unit disc $\mathbb{D}$ (or equivalently, the upper half-plane $\mathbb{H}$). These are quotients of $\mathbb{D}$ by a Fuchsian group—a discrete subgroup of the automorphism group $\text{PSL}(2,\mathbb{R})$ acting by Möbius transformations. Most Riemann surfaces are hyperbolic. These surfaces have constant curvature $-1$ (negative curvature like a saddle). The connection to curvature is deep: the geometry (curvature) of a Riemann surface directly determines its topological type and function theory. <extrainfo> Note on terminology: The names "elliptic," "parabolic," and "hyperbolic" refer to the types of geometry that arise, in analogy with classical geometry (Euclidean, spherical, hyperbolic). They may seem confusing in the context of "elliptic curves," but an elliptic curve (genus 1) is actually of parabolic type, not elliptic type. The terminology reflects different historical conventions. </extrainfo> Maps Between Riemann Surfaces Liouville's Theorem and Bounded Functions Liouville's Theorem is a fundamental restriction on holomorphic maps from the plane. Any entire holomorphic function $f: \mathbb{C} \to \mathbb{C}$ that is bounded (meaning $|f(z)| \le M$ for some constant $M$ and all $z$) must be constant. A useful consequence: any holomorphic map from the complex plane $\mathbb{C}$ into the unit disc $\mathbb{D}$ is constant. This is because such a map is automatically bounded, so by Liouville it must be constant. This highlights the sharp difference between $\mathbb{C}$ (which has no non-constant holomorphic maps into bounded sets) and $\mathbb{D}$ or $\mathbb{H}$ (which have plenty of holomorphic self-maps). Ramified Coverings and the Riemann–Hurwitz Formula A non-constant holomorphic map $f: M \to N$ between compact Riemann surfaces is a ramified covering map. The word "ramified" means that at certain special points (ramification points), the map is not locally a homeomorphism—nearby preimages collapse together. The Riemann–Hurwitz formula relates the topology (Euler characteristics) of the domain and range: $$\chi(M) = d \cdot \chi(N) - \text{(ramification contribution)}$$ Here $d$ is the degree of the covering (the number of preimages of a typical point), and the ramification contribution counts how many sheets "collide" at each ramification point. This formula is essential for understanding covering maps and their degrees. Isometries and Automorphism Groups Conformal Automorphisms for High Genus A conformal automorphism of a Riemann surface is a biholomorphic map from the surface to itself. These are the symmetries of the surface. For genus $g = 0$ (the Riemann sphere), the automorphism group is large and easy to understand: it's $\text{PSL}(2,\mathbb{C})$, the group of Möbius transformations. For genus $g = 1$ (tori), automorphism groups are still often infinite. But for genus $g \ge 2$, the situation changes dramatically: Hurwitz's Automorphisms Theorem states that the automorphism group is finite, with order bounded by $$|\text{Aut}(M)| \le 84(g-1)$$ This bound is tight—there exist surfaces achieving it. The restriction to finite automorphism groups is characteristic of hyperbolic surfaces: the negative curvature rigidity prevents large symmetry groups. Important Theorems About Riemann Surfaces Three key theorems form the foundation of Riemann surface theory: The Identity Theorem states that if two holomorphic functions on a connected Riemann surface agree on a set with an accumulation point, they are equal everywhere. This is a fundamental rigidity property of holomorphic functions. The Riemann–Roch Theorem computes the dimension of spaces of meromorphic functions with prescribed pole structures. It connects the topology of a surface (via its genus) to the dimension of function spaces. For a divisor $D$ on a Riemann surface of genus $g$, it states $$\ell(D) = \deg(D) + 1 - g + \ell(K - D)$$ where $\ell(D)$ denotes the dimension of the space of meromorphic functions with poles bounded by $D$, $\deg(D)$ is the degree of $D$, and $K$ is the canonical divisor. The Riemann–Hurwitz Formula (mentioned earlier) relates covering spaces and ramification to topology, providing essential tools for analyzing maps between surfaces. These three theorems together form a complete toolkit for understanding the function theory and topology of Riemann surfaces.