Suppose that is an imaginary quadratic field. Suppose that is a cuspidal automorphic form for of cohomological type, and let us suppose that it contributes to the cohomology group for some congruence subgroup of . Choose a prime which splits in so that is ordinary at . Hida proves that the corresponding cohomology class lives in a Hida family over the appropriate weight space, which in this case is (up to connected components) just . However, unlike the classical situation, this Hida family will not be flat, because the specialization to any local system which is not invariant under complex conjugation is necessarily finite. Thus the support of has co-dimension at least one over . Hida proves that it does indeed have co-dimension one.
What does the support of look like? Let us suppose that we are normalizing so that the point corresponds to . One can imagine two possibilities:
- contains the diagonal .
- the components of passing through only contains finitely many classical points.
It seems as though these are the only possibilities. Certainly, by a Zariski closure argument, either contains the diagonal or intersects it in finitely many points. Hence, it is true that if the first condition does not hold, then the components passing through contain only finitely many crystalline automorphic forms. However, there could be more classical points on , namely, those of parallel weight but non-parallel finite order nebentypus character. To be concrete, the possible points of which may give rise to automorphic forms have (with some normalization) the following shape:
where and are -power roots of unity, and is a non-negative integer. So one is really considering not simply the intersection of with the diagonal , but with the thick diagonal , which is the union of the infinitely many translates of by -power roots of unity. In particular, the Zariski closure of is all of weight space.
I wrote a paper with Barry Mazur where, as an illustrative example, we found an explicit Hida family which did not satisfy the first condition and claimed that it therefore satisfied the second, whereas we should only have made the weaker claim that (which was irreducible in this particular case) contains only finitely many crystalline points. (The main point of the paper was, by studying infinitessimal deformations of Artin representations, to give evidence that should only ever contain the diagonal when is either a base change form or CM.) The error was pointed out to me by David Loeffler.
I am pleased to say, however, that my student Vlad Serban has overcome this error! Namely, suppose one has a non-trivial power series , and suppose that
for infinitely many triples with a non-negative integer, and , , -power roots of unity. Let be a component of the zero set passing through . Then, after possibly replacing the roles of and , Vlad proves the following. Either:
- contains the diagonal ,
- for all -power roots of unity , for a fixed .
Certainly the latter is possible, because one could have . In fact, he proves a more general theorem than this for all the components (not necessarily passing through . After translation, this amounts to working over ramified extensions of .
This theorem allows one to prove (with finite computation) that any particular only contains finitely many points (when that is true). It also shows, without any computation at all, that either contains , or it only contains finitely many classical points of weight different from . A nice way to think about this theorem is that it is of the flavour as the multiplicative Manin-Mumford conjecture. That is, one is intersecting a sub-variety with a particular arithmetically defined discrete set (inside ), and one wants to deduce that this can only happen for a well defined geometric reason. In fact, if one replaced by a polynomial with coefficients over and specialized to the case when is always zero, then this would exactly be the Multiplicative Manin-Mumford conjecture in two dimensions.
As a special case, letting , one ends up with the following pretty result. Suppose that is a power series, and suppose that
for infinitely many pairs of -power roots of unity. Then the zero set of contains a translate of . This exactly answers the puzzle asked by Jordan here. Explicitly, it says that the only quotients of of co-dimension one which have lots of “arithmetic” points really do come from a one-dimensional subgroup!
I think that this special case (with ) is probably easier than the general case, because one has other methods available. The argument was, however, inspired by a result of Hida which came up during his last number theory seminar at Northwestern. Translated into the language of this post, Hida’s rigidity lemma corresponds to the puzzle of Jordan above in the case when for some function .