Regular trace formula and base change for \(GL(n)\) (Q582319)

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 \(GL(n)\) 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. Transfer of orbital integrals of smooth functions is not used in the proof. Instead it is obtained as a corollary to the local lifting.