Following JSE’s advice, I will blog on something that I know absolutely nothing about. Apologies in advance for mathematical errors!
SLM gave a number theory seminar this week about the first Betti number of — as varies — for certain lattices in . In particular, he proved an upper bound of the form:
which turns out (in certain cases) to be essentially the best possible estimate. As was known to Rogawski, the forms contributing to all arise via endoscopy. In particular, if is simple in the sense of Kottwitz, then the first cohomology vanishes (this also is due to Rogawski). So assume we are not in that case. The argument proceeds mostly as one would expect: Rogawski classifies the endoscopic forms which contribute to cohomology — they come from certain representations for . Here I think the choice of Grossencharacter is almost determined by , so I will drop it from the notation below. The possible packets can be described as follows:
1. Singletons for the split primes.
2. A set for the interesting infinite prime, where contributes (via cohomology) to and another representation which doesn’t (although it contributes to , I think).
3. A set consisting of a supercuspidal representation and another representation at the inert primes.
4. Something similar to 3. for the ramified primes.
Using Matsushima’s formula, in order to count the contribution to cohomology one has to deal with the following:
1. The global multiplicity: this is either or depending on certain signs related to epsilon factors. As one varies this should vanish half the time, but one can ignore it as far as an upper bound goes.
2. Suppose that divides , and let be a hyperspecial maximal compact at . Then one has to bound the trace of the characteristic function of on the representations and .
Let be such a characteristic function. One would like to write down a corresponding transfer function on the endoscopic group such that:
By the Fundamental Lemma, if is the characteristic function of the hyperspecial itself, then turns out to be the characteristic function on the maximal compact of . SML shows that (using some of the same computations required for the fundamental lemma for ) the same identity holds for the corresponding characteristic function for , that is, the transfer is the characteristic function of . Is this true for any deeper reason? More generally, to what extent do characteristic functions transfer to characteristic functions?