Ramanujan duals II.
The “regular”trace formula, for a test function with a local component which is Iwahori-biinvariant and sufficiently regular with respect to the other components, is developed in the context of a reductive group. It is used to give a simple proof of the theory of base-change for cuspidal automorphic representations of which have a supercuspidal component. A purely local proof is given to transfer orbital integrals of sufficiently many spherical functions, by relating them to regular Iwahori functions....