ℝ²

Inculcation: complex analysis and Riemann surfaces, that is, complex 1-manifolds, complex algebraic curves, round/flat/hyperbolic surfaces and so on

Properties1
tagsinculcation

8 min read

1

Complex analysis is the study of holomorphic functions on open subsets of .

After a first course on complex analysis, we can move onto functional analytic techniques. Using such tools we can prove the Riemann mapping theorem.

There some some number theoretic results that we can prove using the theory of holomorphic functions.

We can do even more functional analysis with holomorphic functions. We can ask: what does holomorphic images of disks look like? How large or small can they be? Do they contain a disk of some fixed radius?

One may study a generalization of conformal maps, called quasiconformal homeomorphisms. We can prove results about them similar to holomorphic maps. Using this theory, we can produce an explicit sequence of maps that converge to the Riemann mapping as in the Riemann mapping theorem.

We can even look at connections to random processes, fractals and so on.

2

Riemann surfaces are connected complex 1-manifolds. Compact Riemann surfaces are same as -algebraic curves. We can study meromorphic functions and meromorphic forms on these spaces.

There are alternative ways to define Riemann surfaces: the nicest of which is as the ringed space of functions locally isomorphic to open subsets of .

And there are many more references… a hundred more books and notes available online https://mathoverflow.net/questions/313254/references-for-riemann-surfaces.

Standard texts prove the monodromy theorem for analytic continuations. However, that just says when two such continuations are bound to be the same. We don’t have any result about existence of analytic continuations. Why?

It is because they may behave very weirdly.

We however know what is the maximal extent of analytic continuations. Riemann asked this question originally. Ahlfors has the Etale space definition of domain of global holomorphic functions. Forster denotes this as . Its connected components actually exhaust the entire class of open Riemann surfaces (I think?).

  • ??

We can look at examples of such global domains of functions/gems of functions such as , or such fractional power of polynomials , and so on. These functions are roots of polynomials for example satisfies . Some people call such functions algebraic. Standard texts such as Forster talks about Riemann surfaces of algebraic functions, which are more generally roots of polynomials over meromorphic functions over a compact Riemann surface . Such functions have global domain a finite branched cover over .

Alright, we dealt with algebraic functions that satisfy a polynomial with coefficients in the field of meromorphic functions. What other holomorphic germs can we deal with? How about the elliptic integral

where . How may we describe these functions? Well there are two ways to talk about them.

First, we can construct their Riemann surface. Forster does this, even for higher degree polynomials hyperelliptic integrals.

Second, we can try to ask what’s the “inverse” of the function defined above. There is a nice answer to this! Its the Weirstrass elliptic function . Such elliptic functions are meromorphic on complex tori isomorphic to the elliptic curve defined by the polynomial . These are the periods of this elliptic curve.

Period of an elliptic curve uniquely reconstructs it as a Riemann surface. However, doing this with compact Riemann surfaces of genus higher than one is a bit tricky. Equivalent question is how may we “invert” integrals of the form

where is a polynomial of degree 5 or higher. The degree 3,4 case corresponds to the case of elliptic curves.

The works of Abel and Jacobi shows that we can think of these integrals as holomorphic 1-forms on compact Riemann surfaces and their inverses are functions on their Jacobian, a complex tori of dimension = genus of .

The theorem of Torelli shows that the period of a higher genus compact Riemann surface also reconstructs it uniquely.

This chain of thought somehow leads us to Hodge theory.

The uniformization theorem for Riemann surfaces state that any simply connected Riemann surface is biholomorphic to either , the unit disk or .

  • lecture videos Riemann Surfaces by Jacob Bernstein for MSRI summer school 2014: Complex geometry and geometric analysis on complex manifolds ^yg7hmg
    • Prerequisites:
      • Knowledge of basic complex analysis—at the level of Ahlfors, Complex Analysis, Chapters 1-5—will be assumed. Some basic familiarity with (abstract) surface theory and differential forms will be helpful. However, I will review this material as needed.
    • Reading:
    • Other useful references:
      • Farkas and Kra, Riemann Surfaces; a classical text on the subject.
      • Miranda, Algebraic Curves and Riemann Surfaces; a more algebraic perspective.
    • Week 1: Introduction to Riemann Surfaces
      • Surfaces and Topology
      • Riemann Surfaces and Holomorphic Maps
      • Maps between Riemann Surfaces
      • Calculus on Riemann Surfaces
      • De Rham Cohomology
    • Week 2: Geometric Analysis on Riemann Surfaces
      • Elliptic Functions and Integrals
      • Meromorphic Functions
      • Inverting the Laplacian
      • The Uniformization Theorem
      • Riemann Surfaces and Minimal Surfaces

By the uniformization theorem, every Riemann surface is a quotient of , the unit disk or by a discrete subgroup of their automorphism group acting freely. No such quotient exists for . We can easily classify the quotients of . The quotients of the unit disk by torsion free Fuchsian groups are a intersecting class of objects of study.

Riemann surfaces which are quotients of the unit disk by torsion free Fuchsian groups are biholomorphic if and only if the Fuchsian groups are conjugate inside the automorphism group of the unit disk. Oriented hyperbolic surfaces (connected, complete Riemannian 2-manifolds of constant sectional curvature -1) are also quotients of the unit disk by torsion free Fuchsian groups, with oriented isometries related to conjugacies. Therefore we may study, even classify Riemann surfaces through the theory of oriented hyperbolic surfaces.

The space of all marked Riemann surfaces of genus is called Teichmuller space of genus Riemann surfaces. These spaces are complex manifolds of dimension depending on the genus .

  • book Farb Margalit - Mapping class groups
3

We can consider the algebraic perspective to Riemann surfaces.

We may define a weaker notion of isomorphism of Riemann surfaces: quasiconformal homeomorphism. The class of marked Riemann surfaces quasiconformal to a fixed Riemann surface generalise the Teichmuller space of compact Riemann surfaces.

  • book Hubbard - Teichmuller theory volume 1

A hyperbolic surface comes with its Laplacian. We may study its spectrum and eigenfunctions and ask interesting questions!

We may study the spectral theory of modular surfaces and extract number theoretic facts.

We can ask questions about moduli of Riemann surfaces, such as its spectra as genus goes to infinity and so on.

We can compactify the moduli space.

Graph View

Backlinks