This is a sequel to Part I.
Today we will talk about Chapter V. We will start with Theorem V.1.4. This is basically a summary of the construction of Galois representations in the RACSDC case, which follows, for example, from work of Shin. We know a little bit more than this theorem states (namely, local-global compatibility).
Corollary V.1.7 is just the statement that the cohomology groups for the sub-canonical extensions of automorphic sheaves are computed by forms whose transfer to are RACSDC. The sub-canonical extension corresponds to imposing a vanishing condition at the cusps. For example, the sub-canonical extension of on the modular curve is . There is a nice action of the Hecke algebra on this space, which is compatible with the associated Galois representations in all the expected ways (Satake parameters to Frobenius eigenvalues) at the unramified primes. So far, this is all classical (as of 2011).
Determinants: We will be using congruences to obtain Galois representations, but the information that gets glued is really the Hecke eigenvalues. So one wants a convenient way to pass from one to the other. The classical approach with modular forms is to remember the “standard” Hecke operators which correspond to the traces of Frobenius. Knowing the trace is enough to determine a two dimensional representation away from characteristic , if one has residual irreducibility. This is the theory of pseudo-representations. Naturally enough, for larger dimensional Galois representations, it helps to remember more than the trace, namely, the entire characteristic polynomial. The corresponding theory was worked out by Chenevier. Namely, given an -dimensional representation of the group over a commutative ring , there is a map:
given by formally extending in the obvious way and then composing with the determinant. For example, if , then
Now the map has to satisfy a bunch of formal properties due to the constraints of coming from an -dimensional representation. Writing all these down gives the correct notion of Chenevier’s generalized “determinant.” (Original paper here.) For those who like pseudo-representations, note that when , one can define using the formula:
where is the trace. So for in characteristic greater than two, the notions are equivalent. And indeed Chenevier’s notion of determinants is the same as a pseudo-representation whenever is invertible, but is better behaved in small characteristics. Determinants satisfy the nice properties that pseudo-representations do, and that Galois representations sometimes don’t (but do in the residually absolutely irreducible case), namely:
- You can glue determinants: and which agree on to get a determinant
- Given a formal variable , there is a natural determinant map such that is the characteristic polynomial of if the determinant comes from an actual representation.
Here I follow Scholze in using rather than as the definition of a characteristic polynomial — this is just a bookkeeping issue (the dreaded arithmetic versus geometric Frobenius). Returning to automorphic forms from coherent cohomology, since is torsion free, the module is flat over . Since the characteristic zero forms give rise to Galois representations coming from RACDSC forms, we naturally obtain a determinant map:
such that is exactly as one would expect. (This is Corollary V.1.11). Note that the ring , which arises at this point, is just the inverse limit of the corresponding classical over all -power levels; this is defined in Chapter IV which we shall talk about later.
Segue on Completed Cohomology: I have to recall here a few basics about completed cohomology (one reference is here.) I already know about completed cohomology (and so do many of my loyal readers) so I don’t really feel obliged to say too much about it, but since most of you have been sent here from Quomodocumque, I will cough up a few pointers. The basic definition (for any congruence arithmetic manifold corresponding to a group ) is as follows:
Here the limit is over shrinking compact open subgroups of . The tame level is fixed and can be included in the notation somewhere. One can also adorn the cohomology groups in the usual way, namely, by considering compactly supported cohomology. So what’s the point of completed cohomology? Apart from having a natural action of , which is always the type of group one wants to act on a candidate space for automorphic representations of any kind, a matter of experience and intuition suggested (to Matt and me) that it should be the “correct” space of automorphic forms modulo when does not have discrete series (and even when it does). One way to justify this is via the following four properties, the final one conjectural:
- The completed cohomology groups are co-finitely generated over . This latter ring has nice properties, e.g. after shrinking the group slightly to get a powerful torsion free pro- group, is a local Noetherian ring which is Auslander regular (see Lazard and also Venjakob.)
- The Pontryagin dual groups , which are finitely generated (by part one and Nakayama’s Lemma and the usual long exact sequences) are not torsion -modules if and only if one is in middle degree and the corresponding real group admits discrete series (see this paper).
- The completed homology groups satisfy a Poincaré duality spectral sequence. The completed cohomology groups are compatible with the Hochschild–Serre sequence from which one can recover classical cohomology groups.
- Given a torus bundle, or more generally a nilmanifold, the completed cohomology disappears outside degree zero.
- Conjecturally: for any reductive algebraic group there will be a dominating term in degree which will have co-dimension as a -module, where is the real dimension of , and the degrees are exactly the degrees in which tempered automorphic representations contribute to cuspidal cohomology. More directly, for a semi-simple group is the rank of minus the rank of the maximal compact. For example, is equal to zero if and only if the real group admits discrete series. Hence this bullet point is a conjectural generalization of point (2). As an example, in the case of over an imaginary quadratic field, the completed cohomology should have codimension exactly one.
(For the last three points I’ll refer you once again to this survey.)
Section V.2: The key starting point, as mentioned last time, is that one can relate the cohomology of the group we are interested in — — to the cohomology of Shimura varieties by realizing the first group as the Levi inside a maximal parabolic inside a group corresponding to a Shimura variety. The first step is to compare the cohomology of what we are interested in (coming from the Levi ) to the cohomology of the boundary piece coming from the parabolic inside containing . This is pretty standard: what happens is that the resulting space which actually occurs in the boundary of the Borel–Serre compactification of is a torus bundle over . Well, not literally always a torus bundle, but rather a nilmanifold coming from the unipotent part of . The nilmanifold fibres spread the cohomology around by a Künneth type formula like a Frenchman expectorating over-oaked California Chardonnay into a spittoon. (Usually this fibration arises as a quotient from a fibration with a contractible fibre, which means that the cohomology really is just the derived product of the cohomology of the base and the cohomology of , so it’s not really so bad.) One way to avoid this mess is by passing to completed cohomology. On the boundary this has the effect of collapsing all the torus like directions in the nilmanold, and obtaining a map from the completed cohomology of the arithmetic manifold corresponding to the Levi into the completed cohomology of the total space. Compare with equation (1.4) of this survey again.
Hecke Operators from to . One thing we have to understand is how to compute the Hecke operators at unramified primes on the completed cohomology of the boundary of in terms of the action of the Hecke operators on the original object of interest . Let us fix an unramified prime which is prime to everything. To orient you, we are at the top of page 82 of Scholze. I’m going to be more prosaic in my notational choices and write , , and for the local Hecke algebras at the prime (Scholze does all the unramifed primes at once). Yes, I know this is an abuse of notation, because here the groups , the parabolic and the Levi are really the local versions at the prime . (You will cope.) There are natural maps:
Let’s actually consider what these are in the case when comes from over an imaginary quadratic field in which splits, and comes from which also splits over . So locally at , the group is just , and is the levi , and is what it obviously has to be. In this case, we have isomorphisms:
Perhaps we are required to adjoin to both sides in order to normalize this appropriately. Consider it done. Now the map is the one sending . The choice here must be coming from the choice of (for a fixed torus) corresponding to a choice of subgroup of the Weyl group. One can write down analogous formulas for the inert and ramified primes. The corresponding maps of Satake parameters indicates that the if our original eigenclass has a Galois representation , then the Hecke eigenvalues of the class which has been pulled back is associated to . (Edit: In the previous version I omitted the dual. Note that for . End Edit) Now this statement seems to be somewhat in conflict with my previous post, where I claimed that the action of the Hecke algebra on the cohomology of corresponded to the Galois representation . This is because of a subtlety which I think I can explain. Suppose you start from a classical modular form and base change it to a Hilbert modular form over a real quadratic extension. Then the corresponding map of Satake parameters is just the obvious one corresponding to the restriction of the Galois representation. In particular, if are the Satake parameters of a local unramified component of , and if splits in the quadratic field and is a prime above , then of will have the same Satake parameters, and will have the same Hecke eigenvalue for that has for . However, the actual Galois representation occurring inside the etale cohomology of the Hilbert modular surface is not the restriction of the Galois representation to , but rather the (four dimensional) tensor induction. This also reflects an important point: we will not be finding the desired Galois representation inside etale cohomology (which, apparently by an argument of Clozel and Harris, is impossible), but rather we will simply be “following the Hecke eigenclasses.” In this context, for example, cuspidal automorphic representations for contain all the information for the associated four-dimensional representations, but the ones occurring in cohomology are (tensor inductions!) of . That is why in this post we see the Hecke eigenvalues as looking like the direct sum , whereas the action on cohomology via Eichler-Shimura looked like , which contains up to twist.
The arguments on the lower half of page 82 are just related to the fact that the boundary of the compactification on can have a number of components, and these components can have their own boundary, and so on. If one takes the case where corresponds to over an imaginary quadratic field, then the only boundary components are (torus bundles over) Bianchi manifolds , and the only boundaries that they have are hyperbolic cusps. In particular, in this case, using remark (4) on completed cohomology above, the completed cohomology of the boundary (denoting by ), is given by
So we are interested in the Hecke action on the right hand side, which we have now transferred to the left hand side. (Of course, the local Hecke algebras combine by taking tensor powers to get the Hecke algebra at all unramified primes, which surjects onto the corresponding global Hecke algebras and .) There is a natural long exact sequence of completed cohomology associated to a manifold with corners as follows:
So to get a Galois representation (or, to begin with, a determinant) on , we can start by finding determinants for the two surrounding terms.
Special Case: Let’s continue discussion the special case where is a Bianchi manifold, and comes from which splits over the corresponding imaginary quadratic field. The key term of interest will be (for the Bianchi manifold) or, equivalently, . In fact, by Hochschild-Serre, the completed cohomology captures all the interesting Hecke actions coming from torsion in Bianchi groups as long as one localizes away from the Eisenstein primes coming from the cusps. The cusps in the Borel–Serre compactification of the Bianchi group are elliptic curves with CM by the underlying imaginary quadratic field. The difference between the classical classes in and proved themselves to be a real pain in my book with Akshay, because when one wants a numerical correspondence, one can’t ignore Eisenstein terms. Yet blessedly, in this context, we can localize away from them. Hence the key terms are those in the following boundary exact sequence:
Let’s consider the first term. The group has real rank two. In particular,
by super rigidity, any non co-compact lattice in will have the congruence subgroup property. It follows that is trivial! The point is that if all the finite quotients of a lattice in come from congruence quotients, then pulling back over all such quotients kills everything. Actually, this is not strictly correct, because completed cohomology only pulls back over -power quotients, and there may be cohomology coming from the tame level. However, it is easy to see (by Hochschild–Serre) that any such cohomology will be Eisenstein. In particular, after localizing at a non-Eisenstein (in the appropriate sense) ideal, we get an injection from to , and thus from Theorem IV.3.1, we obtain a determinant to the Hecke algebra of (localized away from Eisenstein ideals) without any need to quotient out by an ideal with fixed zero power as in Corollary V.2.6. I don’t think this trick will really work in any other examples, however, since it’s very hard to say anything in general about . (There is recent work on on stable completed co/homology here, but that will never be enough to give something useful in this context.)
General Case: The general case is now quite similar, except know to understand one needs to understand both boundary terms. There is also going to be some loss of information coming from the corresponding extension class. If one had determinants on and , then one would immediately get Corollary V.2.6 with an ideal with . However, Theorem IV.3.1 (which is being invoked here) only applies to . Now is related to its compact cousin by a Poincaré duality spectral sequence, but this will once again spread out some terms and necessitate replacing by some power involving the dimension. At any rate, while there is room for improvement in general, there is still the fundamental problem (mentioned in part zero!) of controlling whether this boundary cohomology is going forwards or backwards in the long exact sequence above (or worse, being mixed). I’m going to give some heuristics next time on what one expects should happen (short answer: after localizing at a nice maximal ideal, it should work out as well as the Bianchi case, but that will be hard to prove.)
Note that Scholze actually works with classical cohomology here, and then relates it back to completed cohomology using Hochschild-Serre on p.86. The point in either argument is that all the terms in the spectral sequence (on every page) are, by Theorem IV.3.1, modules for the Hecke ring which acts on coherent cohomology. Hence the limit terms have filtrations by a fixed bounded number of such objects.
Next time: I’ll say a little more about how one might expect the “simplification” in the Bianchi case above to apply more generally, and I’ll talk about the final section V.3 of chapter V, in which we extract the -dimensional representations from our -dimensional determinants.