Foundations of Riemann Surfaces

Introduction to Riemann Surfaces What Is a Riemann Surface? A Riemann surface is one of the most natural objects in complex analysis and algebraic geometry. At its heart, it's a geometric space where you can do complex analysis—multiply by $i$, take derivatives, integrate along paths—just as you would in the complex plane $\mathbb{C}$, but with more interesting global structure. The name reflects its dual nature: it's named after Riemann, the 19th-century mathematician who revolutionized complex analysis, and a "surface" because it's two-dimensional. But this terminology can be misleading. When mathematicians call it a "surface," they mean a 2-dimensional real manifold, not a sphere-like object floating in 3D space. From a complex perspective, it's actually 1-dimensional—a complex manifold of dimension one. This distinction is crucial: locally (near any point), a Riemann surface looks exactly like the complex plane $\mathbb{C}$. Globally, however, it can have very different shapes—like a sphere, a doughnut, or even multiple "sheets" glued together in interesting ways. This is what makes them so powerful: they allow us to study complex functions on spaces that aren't just flat copies of $\mathbb{C}$. Why Do Riemann Surfaces Matter? Consider a function like $f(z) = \sqrt{z}$. In the complex plane, this function is troublesome: if you start at a point and trace a path around the origin, you return to the same point but the function value has changed sign. The function is "multi-valued." Riemann surfaces solve this problem elegantly. Instead of fighting with multi-valued functions, we construct a special surface where the function becomes single-valued and holomorphic (complex-differentiable). This surface has two sheets that wrap around the origin—the square root surface—and on it, the function behaves perfectly. This construction extends far beyond square roots. Every algebraic relationship between complex variables—like $y^2 = x^3 - x$—defines a Riemann surface. In fact, the study of Riemann surfaces is essentially the study of algebraic curves over the complex numbers, viewed from a geometric perspective. Formal Definition and Structures Definition via Charts and Holomorphic Maps Mathematically, a Riemann surface is defined as follows: A Riemann surface $X$ is a connected Hausdorff topological space equipped with an atlas—a collection of maps (called charts) from open subsets of $X$ to open subsets of the complex plane $\mathbb{C}$. The crucial requirement is that whenever two charts overlap, the transition map between them is holomorphic (complex-differentiable). Let's unpack this: Connected: All in one piece (no separate components). Hausdorff: Points can be separated by disjoint open sets (a technical condition ensuring the space is "nice"). Atlas: A collection of local maps that cover the entire surface, like maps of Earth's continents. Charts: Individual maps from local regions of $X$ to $\mathbb{C}$. Near any point $p \in X$, there's a chart that looks like a small open disk in $\mathbb{C}$. Transition maps: If two charts overlap, the map from one coordinate system to the other must be holomorphic. This means the complex structure is globally consistent. Why holomorphic transitions? This requirement ensures that "complex differentiability" is well-defined across the entire surface. Different charts are just different coordinate systems for viewing the same space; holomorphic transitions guarantee they're compatible in a way that preserves complex structure. Alternative Definition: Conformal Structure There's an equivalent way to think about Riemann surfaces that emphasizes their geometric nature: A Riemann surface is a connected, oriented 2-dimensional real manifold together with a conformal structure. A conformal structure is a way of measuring angles on the surface that's preserved by the holomorphic maps. More precisely: it's an equivalence class of Riemannian metrics (ways of measuring distances and angles) where two metrics are equivalent if one is obtained from the other by multiplication by a positive function. Such metrics preserve angles at every point. Why this perspective? The complex structure on $\mathbb{C}$ induces a Riemannian metric—the standard Euclidean metric where distances are measured in the usual way. When we pull back this metric via our charts, we get a Riemannian metric on the surface. The holomorphicity of transition maps ensures this metric is well-defined globally and has the conformal property (angles are preserved). The key insight: A Riemann surface is essentially a 2-dimensional real surface where angles are meaningful, but distances can be distorted. This geometric intuition helps us understand why Riemann surfaces are the right home for complex analysis: complex numbers naturally preserve angles (rotation and scaling). Examples of Riemann Surfaces The Riemann Sphere The simplest example is also the most important: the Riemann sphere $\mathbb{C} \cup \{\infty\}$, which is the same as the 2-sphere $S^2$ but viewed as a complex manifold. We can construct it using two charts: The first chart covers all of $\mathbb{C}$ using the identity map $z \mapsto z$. The second chart covers a neighborhood of infinity using the map $z \mapsto 1/z$ (which sends $\infty$ to $0$). These charts overlap away from the origin and point at infinity, and the transition map $z \mapsto 1/z$ is holomorphic (away from $z=0$ and $\infty$). The result is the Riemann sphere: topologically a sphere, but with a complex structure making it $\mathbb{C} \cup \{\infty\}$. The Riemann sphere is the natural home for rational functions: any rational function $p(z)/q(z)$ extends to a holomorphic map from the Riemann sphere to itself (with poles becoming maps to infinity). The Torus and Elliptic Curves The 2-dimensional torus $T^2$ (the surface of a doughnut) admits many different Riemann surface structures. The standard construction is via a lattice in $\mathbb{C}$. For any complex number $\tau$ with $\operatorname{Im}(\tau) > 0$ (positive imaginary part), define the lattice: $$\Lambda = \mathbb{Z} + \tau\mathbb{Z} = \{m + n\tau : m, n \in \mathbb{Z}\}$$ The Riemann surface is then: $$E\tau = \mathbb{C}/\Lambda$$ This is the complex plane with points identified if they differ by an element of $\Lambda$. Since $\Lambda$ is a rank-2 lattice in $\mathbb{C}$, the quotient $\mathbb{C}/\Lambda$ is topologically a torus. Elliptic curves: When equipped with a Riemann surface structure of this form, a torus is called an elliptic curve. Different choices of $\tau$ give different elliptic curves, and these are in one-to-one correspondence with the upper half-plane $\{\tau \in \mathbb{C} : \operatorname{Im}(\tau) > 0\}$ (with some identifications). The remarkable fact is that every elliptic curve can be represented as the zero set of a polynomial equation $y^2 = x^3 + ax + b$ for suitable constants $a$ and $b$. This is why elliptic curves bridge complex geometry and algebraic geometry so perfectly. Algebraic Curves A natural source of Riemann surfaces comes from complex polynomials. If $P(x,y)$ is a polynomial in two complex variables with no singular points (no points where both partial derivatives vanish), then the set: $$\{(x,y) \in \mathbb{C}^2 : P(x,y) = 0\}$$ is a Riemann surface. Why? Away from singular points, the implicit function theorem from complex analysis guarantees that we can locally solve for one variable in terms of the other, giving holomorphic coordinates. The zero set inherits a complex structure from $\mathbb{C}^2$. These are called algebraic curves, and they're ubiquitous in mathematics. Examples include: Elliptic curves: $y^2 = x^3 - x$ Lines: $y = x$ Circles: $x^2 + y^2 = 1$ (when viewed over $\mathbb{C}$) <extrainfo> Hyperelliptic Curves: A special but important class of algebraic curves has the form: $$y^2 = Q(x)$$ where $Q(x)$ is a polynomial of degree $2g+1$ with no repeated roots. Such a surface is called a hyperelliptic curve of genus $g$. The number $g$ (called the genus) is a fundamental topological and geometric invariant: it roughly counts the number of "holes" in the surface. A Riemann sphere has genus 0, a torus has genus 1, and hyperelliptic curves can have any genus $g \geq 1$. </extrainfo> <extrainfo> Why Compact Riemann Surfaces Are Algebraic A famous and deep theorem states that every compact Riemann surface is algebraic—that is, it can be embedded as the zero set of polynomials in some $\mathbb{C}^n$. This is a consequence of Chow's theorem combined with the Riemann-Roch theorem, which is a powerful tool for constructing holomorphic functions on Riemann surfaces. This result shows that the topological category of Riemann surfaces and the algebraic category of curves over $\mathbb{C}$ are essentially the same when restricted to compact spaces. It's one of the deepest connections in mathematics. </extrainfo> Summary A Riemann surface is a geometric object that captures what it means to do complex analysis in a space more interesting than the flat complex plane. Locally, it's indistinguishable from $\mathbb{C}$; globally, it can wrap around, have multiple sheets, or close up into a compact shape. The power of Riemann surfaces lies in this combination: they're locally simple (holomorphic functions behave predictably) but globally rich (topology and geometry become intertwined). Understanding them is essential for modern complex analysis, algebraic geometry, and mathematical physics.