Explicit and I-modular theta correspondence

Project Details


Suppose there is a big wedding: let us say that President Sarkozy of France and Carla Bruni are getting married. Before this most important day in their lives, the betrothed are preparing two parties: the hen party and the stag party.

We are working for Hello magazine and two of our reporters, Howe and Waldspurger, have discovered that, at these two parties, there will be exactly the same number of people and, moreover, each man in the stag party is going out with one woman in the hen party (and vice versa).

The editors of Hello magazine (Henniart, Harris,...) have asked for more information about this wedding. If possible we would like to know which people are in each party and who is going out with whom. Why are we interested in such a thing? The answer is very simple: it will be impossible to enter Sarkozy's party (due to the security) but it may be easier for one of our photographers to get into the hen party. If we see that Kate is at the hen party and I have proved before that Kate is going out with William then we will deduce that William is at Sarkozy's party!

But, as you might see, this is a very difficult problem. How can one say who is going out with whom (Kate with William) without knowing who is in each party (Kate and William)? The strategy is the following: first we simplify the problem with arguments like "blond-haired men are with black-haired women" or "men who study mathematics are with women who
study philosophy"... Then we have to put names to people in each category and finally we have to prove who is with whom.

In the analogy, each party is a "p-adic group" and the people in the party are ``representations'' of these groups -- these are abstract mathematical objects which have deep connections with Number Theory (which is essentially the study of the most basic mathematical objects: the natural numbers 1,2,3,...).

The matching between the two parties is called the theta correspondence and the problem is to make it explicit: which representations appear and with whom are they paired?

The first step is to put names to the representations of each p-adic group -- this is a classification problem. For some groups this is easier than for others, and this is the importance of the theta correspondence: having understood about the representations one group, we can use the theta correspondence to deduce information about the
representations of the other.

The theta correspondence and its predecessors have had major (mathematical) applications through the last 150 years; an explicit understanding of it will lead to many more.
Effective start/end date15/07/0814/01/12


  • Engineering and Physical Sciences Research Council: £267,993.00