Math 125: Explicit Methods for Hilbert Modular Surfaces

Winter 2018


Course Info:



[PDF] Syllabus

In this specialized topics course in number theory, we will compute equations for Hilbert modular surfaces.

Classical modular curves, the quotients of the upper half-plane by congruence subgroups of group of integer 2-by-2 matrices with determinant 1, parametrize elliptic curves with level (torsion) structure. Equations for modular curves may be obtained by computing modular forms and multiplying their q-expansions.

One dimension up, and in an analogous way, Hilbert modular surfaces parametrize abelian surfaces with endomorphisms by an order in a real quadratic field and with level structure. In this case, it is more complicated (but by now, standard) to compute the Hecke eigenvalues for the associated Hilbert modular forms, but it is more complicated both to understand the structure of the ring of modular forms (e.g., the degrees of generators and relations), and even to multiply the corresponding q-expansions, now series indexed by totally positive elements of the inverse different of the order.

In this course, we will explore the above problem by first diving into the relevant mathematics and surveying the literature where the first few examples are worked out. Then we will design, implement, and run an algorithm to automate the generation of equations and models for Hilbert modular surfaces, including the maps between them and a description of the (stacky) universal abelian surface over them.

The course will be offered in two tracks. In one track, students who have taken previous courses in algebraic number theory, the geometry of discrete groups, modular forms, and elliptic curves, will be involved in a "final project" which is a (hopefully awesome and publishable) research paper containing what we discover. In a second track, students without this background but who still would like to learn whatever they can are invited to come to lecture and follow along; their grade will be determined by doing exercises with the background material, primarily coming from parts IV and V from my quaternion algebras book.

14 Jan(R)Introduction: rings of classical modular formsInfosheet
29 Jan(T)Canonical maps, totally real fields
-10 Jan(W)Office hour
-11 Jan(R)No class, JMM
316 Jan(T)Hilbert modular forms
418 Jan(R)Different, q-expansionsHW 1 due
523 Jan(T)Hecke operators, multiplying q-expansions
625 Jan(R)
730 Jan(T)
81 Feb(R)Project work day (JV at Penn State)
96 Feb(T)
107 Feb(W)
118 Feb(R)



For those on the homework track, details about assignments will be discussed in class and will likely be made on an individual basis (or posted above).

Late homework will be accepted but all homework must be turned in by the last day of class.

Cooperation on homework is permitted (and encouraged), but please write up the solution on your own and indicate on your assignment the names of any other collaborators you worked with.

Plagiarism, collusion, or other violations of the Academic Honor Principle, after consultation, will be referred to the The Committee on Standards.