Homology of affine Springer fibers in the unramified case

Abstract

Assuming a certain "purity" conjecture, we derive a formula for the (complex) cohomology groups of the affine Springer fiber corresponding to any unramified regular semi-simple element. We use this calculation to present a complex analog of the fundamental lemma for function fields. We show that the "kappa" orbital integral which arises in the fundamental lemma is equal to the Lefschetz trace of Frobenius acting on the etale cohomology of a related variety.