My student Richard Moy is graduating!
Richard’s work has already appeared on this blog before, where we discussed his joint work with Joel Specter showing that there existed non-CM Hilbert modular forms of partial weight one. Today I want to discuss a sequel of sorts to that paper, which also forms part of Richard’s thesis (I should note that he already has five publications and will have 7 or 8 papers by the time he graduates.) The starting observation is as follows. Fix a real quadratic field F. From the perspective of Galois representations, the Hilbert modular forms of partial weight one fall under the case in the notation of my paper with David Geraghty (this is in the context of coherent cohomology). To orient the reader, let us discuss three classes of such forms:
- Hilbert modular forms of weight for a real quadratic field
- Regular algebraic cuspidal automorphic forms for
- Regular algebraic cuspidal automorphic forms for for an imaginary quadratic field
Suppose one fixes a tame level and then looks at the space of such forms as the weights vary. In both of the latter cases, the problem has been raised (or even conjectured, for and by Ash and Pollack here), of whether all but finitely many such forms arise via functoriality from a smaller group. More explicitly, one can ask whether:
- If then all but finitely many cuspidal regular algebraic forms of conductor either arise (up to twist) via base change from or are induced from a quadratic CM extension
- If then all but finitely many cuspidal regular algebraic forms of conductor arise up to twist as the symmetric square of a form from
Naturally enough, one can make the same conjecture whenever appropriately formulated. There does not seem to be any case of this conjecture which is known, although there are analogous results (where one fixes the weight and varies the level) in both weight one (where it is almost trivial) and for imaginary quadratic fields (in the work of Calegari-Dunfield and Boston-Ellenberg). Still, the conjectures in varying weight seem pretty hard even for In that context, Richard proves the following nice complementary pair of theorems below. Let The field has narrow class number and there is a unique odd everywhere unramified quadratic character of with fixed field
Theorem I (Moy) Let and be as above. Every Hilbert modular form over of weight and level is CM, and in particular is induced from
Theorem II (Moy) Let and be as above. Let be a strongly compatible family of two dimensional Galois representations of with determinant level and Hodge–Tate weights and Then is induced from
Theorem I is almost an immediate consequence of Theorem II, with the caveat that one doesn’t quite have complete local-global compatibility for partial weight one modular forms (though results and methods of Luu, Jorza, and Newton get close). Theorem II on the other hand is a consequence of the following:
Theorem III (Moy) Let and be as above. Let
be a continuous irreducible representation with determinant that is unramified at all finite places except for one prime Then is induced from a character of
The argument in this case is (roughly) the following. Using a Tate-style argument (with discriminant bounds), one proves that the residual representation must have semi-simplification The restriction of to then has the property that its image is pro-3 and unramified outside the fixed prime Yet one shows by a class field theory computation that the largest abelian 3-extension unramified outside is cyclic, which (by consideration of the Frattini quotient) immediately implies that the image of restricted to factors through a cyclic quotient as well, and one is done.
Note that to deduce Theorem I, one first has to prove (using a congruence argument) that at the other prime either:
- The representation is unramified at
- The representation restricted to has unramified semi-simplification. In particular, the generalized eigenvalues of for are both the same.
To finish, one rules out the second possibility by computing all the modular residual representations explicitly by doing computations in low weight (this can ultimately be reduced to a computation on the definite quaternion side, although Richard had to write his own programs to do this since the current magma implementation required trivial character for non-parallel weight.)
It is true that these arguments will not suffice for the more general conjecture, but then, I haven’t seen a viable strategy to prove those conjectures either!