Hi,
Is there a proof of the result that Carayol proves in "Sur les representations l-adiques..." using the Langlands-Kottwitz method of comparing the Lefschetz trace formula and the Selberg trace formula? As far as I can see, the proof in Carayol's paper is done in a more case-by-case fashion...
Thanks