Before I continue along to section V.3, I want to discuss an approach to the problem of constructing Galois representations from the pre-Scholze days. Let’s continue with the same notation from last time, where is the symmetric space whose cohomology is of interest, and is the Shimura variety with Borel–Serre compactification whose boundary contains (simplified assumption: is) a generalized torus bundle over . If we localize at a “non-Eisenstein” ideal, then the completed cohomology groups should vanish outside a single degree . For this discussion, let us define non-Eisenstein classes to be those which do not occur in degrees in . By Hochschild-Serre, any cohomology class in lowest degree (after localization) always survives in the completed limit, so even if one doesn't assume the expected vanishing in higher degrees, the module will contain all the information about the classes in at classical level after localization. Hence, to obtain the desired Galois representations for these classes, one wants to prove:
- The vanishing of after localization.
- There are Galois representations (of the correct form) associated to classes in .
The hope was that one could try to prove this via the following idealized argument. There is a spectral sequence:
where is the real dimension of the Shimura variety . There is an identical sequence with the roles of completed homology and completed Borel-Moore homology reversed. Note that the completed homology groups are (Pontryagin dual) to the cohomology groups, which relates compactly supported cohomology to homology and cohomology to Borel-Moore homology. The non-commutative Ext groups in the spectral sequence vanish for any value of that is less than the co-dimension of the corresponding module. Recall from last time that is torsion except for the middle degree . Now suppose that one can show that the completed homology groups have sufficiently large co-dimension outside the middle degree. Then from these bounds (and from trivial bounds on the cohomology of the boundary) the spectral sequence should degenerate, and one should have isomorphisms of the following form (after localization):
(To recall, even though we are localizing at an ideal whose avatar on is maximally non-Eisenstein, the corresponding ideal on will be Eisenstein.) From these equalities, we see that to understand the action of the Hecke operators on completed cohomology, we are reduced to understanding the action on the completed cohomology in middle degree, which we know to be a module of positive rank and hence (even after localization) contain many cusp forms which are known to have interesting Galois representations. At the very least, this would prove the existence of the residual Galois representations associated to such a non-Eisenstein ideal . The approach I am outlining here is the one in the (currently non-existent) paper that Matt and I had planned to write. Let’s suppose that one attempts to apply this approach in the Bianchi case. There’s no issue in defining Eisenstein classes here, since the classes that occur in are easy to understand, and . So the first step in the above program is to show that vanishes, at least if we pass to finite tame level. As we noted last time, this follows from the congruence subgroup property which is known because has real rank two and the corresponding lattice in this group is (obviously) not co-compact. Here the Shimura variety has complex dimension four. So one only has to show that is small for and . In particular, one wants, explicitly, that:
The dimension of is, for reference, . As noted previously, we know that these cohomology groups are torsion and so have co-dimension at least one. The proof of this result ultimately relied on facts concerning the growth of spaces of automorphic forms. However, it is impossible to determine anything further about the codimension by naïve automorphic considerations, because already has co-dimension one but no characteristic zero points. So, to prove this conjecture, one really needs to understand the torsion in the cohomology of Shimura varieties. This was where, basically, we were stuck. Note that even understanding in this case took a powerful result. Understanding is already much harder. As the real rank increases, it won’t be the case that such completed cohomology groups completely disappear, since there will exist not only trivial stable classes in characteristic zero, but also exotic torsion classes which will be related to K-theory and regulators (as can be seen here). One implication of our conjectures (as noted above) is that the completed cohomology groups vanish for Shimura varieties above the middle dimension. Scholze proves this! (IV.2.3). However, he doesn’t prove it by showing that the are small for small , and instead deduces a (weaker form) of such an estimate in reverse. I think it’s an interesting problem to understand for groups where the only characteristic zero classes are invariant under , in both the stable and non-stable range. The first case I mentioned previously, and there is something in this direction (in the second case) in section 4.5 of this book.
Section V.3 OK, continuing on from last time, we now have a determinant of dimension with image in for some ideal with for an integer which only depends on . The goal is now to extract an -dimensional determinant, i.e., to recover from . Of course, the idea is not to do this from simply one class, but rather allowing twisting, so that we also know for some Hecke character . We may as well take to be a collection of characters of , so that .
Let’s first make some simplifying assumptions, namely, that the ideal , that we are in characteristic zero, and that the image of is through a finite group , and the image of all the twists factors through the group where is a finite order character of the second factor, and . We would like to imagine that there are equalities:
Because the two factors of commute, it follows that
is a virtual character of . Evaluating this character on the pairs defines a class function on . Normalizing by , this class function applied to is the sum of the Satake parameters at corresponding to , and we deduce that , and hence also , are virtual characters (with rational coefficients) of . It now suffices to promote to an actual character. The virtual characters and tautologically promote to virtual characters of which decompose under the second factor into trivial representations. It follows that and are (rational) sums of irreducible representations which decompose under the second factor as direct sums of the representation or . Assuming that , there can be no cancellation in , from which it follows that is already an actual character.
In general one has to modify this argument to work more integrally as well as to be compatible with the ideal . As I told TG, “without having looking at this yet, it must essentially be trivial.” So, if you are like me, you can just ignore the following which took me a non-trivial number of hours to work out:
- We take the characters to be characters of of -power order, where is prime to two and and anything else inconvenient including the ramified primes. This auxiliary prime may vary.
- Since we are going to allow to have order some arbitrarily large power of various primes, it is convenient to extend scalars to . Here is the Hecke algebra acting with coefficients modulo some fixed power of . It’s useful to work with both rings, however, because whilst accepts characters of all orders, is literally a finite ring, which is convenient for finiteness arguments. We would like to show that the twisted determinants corresponding to have values in for the same . This amounts to showing that, at the level of our original locally symmetric quotient , we can twist by a sufficiently nice character and not change the Hecke algebra, except for extending scalars. This is straightforward, and is what is going on at the top of page 88.
- If we have two determinants with a pair of corresponding ideals and with , then clearly satisfies . So, at the cost of increasing the nilpotency, for any character , we get two determinants with values in . Note that if and are both trivial, then so is .
- We would also like the ideal to be independent of . Actually, we don’t need this, it will suffice to note that we can take to be independent of . Because is finite, there are only finitely many such ideals, and so we can take one that occurs for infinitely many primes and infinitely many of the corresponding characters .
- For any fixed character , our determinant (which has twice the required dimension) will be defined on a finite quotient of
where is finite and are the pro- cyclotomic covers of respectively. This should hopefully look similar to our simplified problem in characteristic zero. We have two determinants and with the property that the characteristic polynomial of Frobenius (which exists for determinants) is:
- Of the form for .
- Of the form for
These polynomials and are what they obviously should be, namely, the polynomials with inverse roots given by the appropriate Satake parameters. (Or more accurately, with coefficients given by the appropriate Hecke operators.) Because these are determinants, these products are locally constant on the group because they are coming from honest Galois representations of rank . We would like to decompose these into products of two determinants of rank . In the characteristic zero case, we took a character such that and used this as a fulcrum on which to tease out the representation . Here we do something similar. A first step is to show that each of the four polynomials above is locally constant. We choose an element and a deep enough character so that for all . We now find an open neighbourhood of where and are constant. Let be the linear term of , and let be the linear term of . Then we deduce that the following two terms are locally constant:
So, because , we deduce that and are locally constant, and so is also locally constant. Given this, one proves that the quadratic terms are also locally constant in the same manner, and by induction one has the result for the entire polynomial. Thickening the open neighbourhood up, one proves the same result for the entire group minus the piece coming from , which gives us Lemma V.3.4. Then by choosing a different auxiliary prime , one patches to get a well defined class function on in Lemma V.3.5.
- So now we have a class function on the Galois group with values in characteristic polynomials (now of the right dimension!) in (dropping the tildes), and we want to promote it to a genuine determinant. Of course, over finite rings we can’t use the language of virtual characters. What Scholze does next is use the fact that we have such a decomposition for infinitely many different characters in order to glue enough of them together to obtain a determinant map
where is a generator of and has the expected properties of nilpotence. This consists of Lemmas V.3.6 and V.3.7.
- Now we are at Lemma V.3.8. Bugger it, this is taking a long time, and quite possibly nobody is interested in these specific details. Let me cut some corners and replace determinants by pseudo-representations. We deduce from the above that we are in the following situation: we have a degree pseudo-representation:
We want to deduce that and are both pseudo-representations of degree . We are allowed to use the fact (which is obvious) that and are not pseudo-representations of degree strictly less than . (Actually, is it obvious? It’s certainly obvious for that and are not a character. So let’s assume . Ah, I see by passing to the trivial element we can compute that , so it is obvious.) Now, if we abstract slightly and drop any knowledge about and other than they are class functions, the best we can hope to prove is that and are both pseudo-representations of degrees and respectively, where . This is what we do. Since is a pseudo-representation of degree , we have the following identity:
In fact, this identity on class functions characterizes pseudo-representations of degree at most , the only other information coming from evaluating on the identity. Suppose we take the to be sufficiently generic integers so that all the sums are distinct. Now let us partition the into two sets of cardinality and respectively, where . Consider the coefficient of in the sum above, where we take
The corresponding coefficient must vanish. Moreover, because of the way that the were chosen, we know exactly what terms can arise with this coefficient: explicitly, the terms in must come from , and the terms in must come from . Hence we recognize the coefficient to be (up to sign)
We deduce that, for any decomposition , either is a pseudo-representation of degree at most , or is a pseudo-representation of degree at most . Taking to be the smallest integer for which is a pseudo-representation, we deduce the result (such an integer exists because is at least a degree pseudo-deformation). We are, mercifully, done. Looking at Scholze, I think this lemma (and even roughly the argument) is quite similar to the proof of Lemmas V.3.8-V.3.15 but this is much easier, at the cost of assuming that .
It looks as though one can probably skip step 6 simply by choosing the value of to generate a sufficiently generic extension of inside , although I guess that’s how one does step 6 anyway.
Section V.4 is just a matter of putting things together. Next time: onto Chapter IV!