Math 390C: Modular Forms and the Langlands Program (56502)
Prof. David Helm
RLM 9.118
dhelm@math.utexas.edu
Office Hours: Mon 1-3
Course time: TuTh 12:30-2 in RLM 10.176
Course content, format and syllabus
The Langlands program is a series of far-reaching conjectures that relate
four widely disparate topics: representation theory, Galois theory,
the theory of L-functions, and the geometry of Shimura varieties. It
has had many important consequences for the development of modern number
theory, such as Deligne's proof of the Ramanujan conjecture, and, more
recently, Wiles' proof of Fermat's last theorem.
Unfortunately, the Langlands program has a well-deserved reputation
for technical difficulty! The aim of this course will be to provide
a broad "collquium-level" overview of the main ideas of the Langlands
program for non-specialists. It will emphasize broad perspectives on
the Langlands program, and its relationship to more concrete questions
in number theory and algebraic geometry, over precise proofs and
technical detail.
For prerequisites, I'm going to assume a basic understanding of factorization
and ramification in number fields, along the lines of the first half of
an algebraic number theory course. Of course, we will touch on a wide
variety of other topics over the course of the semester, primarily
in algebraic geometry and representation theory. Knowledge of these will
definitely be helpful in getting more out of the course, but I will make
an effort to make the course accessible to those less familiar with these
subjects.
Here's a rough overview of the topics I hope to cover.
-
Class Field Theory
- Global class field theory
- Local class field theory
- The Adelic Formulation
-
Tate's Thesis and L-functions
- Dirichlet L-functions and their functional equations
- Local L-factors
- The Global functional equation
-
Admissible Representations
- Basic definitions
- Local L-factors
- The spherical Hecke algebra
- The unramified local Langlands correspondence
- Statement of the general correspondence
-
Automorphic Representations
- Definitions
- Basic structure theory
- The global Langlands conjecture for GL_n
-
Modular forms
- Analytic definition
- Modular curves
- Interpretation via algebraic geometry
- Interpretation via automorphic representations
- The q-expansion principle
- Hecke operators
-
The Eichler-Shimura construction
-
Modularity for Elliptic curves (time permitting)
Useful Resources
I'll be adding to this as the semester progresses.
For class field theory, Washington's Cyclotomic fields provides
a summary of the main results that I'll be following for the class
discussion, but no proofs. Serre's Local fields is the
standard text for local class field theory. Cassels-Frohlich is a
standard reference for the global theory, and also has Tate's thesis.
Milne's class
field theory notes are another good reference.
For Weil groups, the canonical reference is Tate's article
"Number-Theoretic Background"; it can be
found online here.
For Tate's thesis, aside from the thesis itself, which is a model
of readability, one has Kevin Buzzard's lecture notes,
which also carefully develop the Fourier theory. There is also
the book of Ramakrishnan and Valenza (Springer, GTM 186), which I
have not read but which I've seen recommended in several places.
Bushnell-Henniart's The local Langlands conjecture for GL(2)
is an outstanding source for many of the important ideas surrounding the
local Langlands correspondence, including the basic theory of smooth
representations of p-adic groups and a nice discussion of Weil-Deligne
representations and their L and epsilon factors. It also gives a
complete and explicit description of the local Langlands correspondence
for GL(2).
The papers of Bernstein-Zelevinski and Zelevinski develop the
fundamental theory of parabolic induction and cuspidal support.
The key references are:
The first two papers contain lots of foundational material. The third is a
detailed study of the combinatorics of induced representations of general
linear groups; in particular it identifies the isomorphism classes
of Jordan-Holder constituents of a huge class of representations obtained
by parabolic induction, and reduces the local Langlands correspondence to
the cuspidal case.
A complete classification of cuspidal representations of GL_n can be
found in Bushnell-Kutzko, The admissible dual of GL(N) via compact open
subgroups.