On arithmetic fundamental lemmas

Abstract

We present a relative trace formula approach to the Gross–Zagier formula and its generalization to higher-dimensional unitary Shimura varieties. As a crucial ingredient, we formulate a conjectural arithmetic fundamental lemma for unitary Rapoport–Zink spaces. We prove the conjecture when the Rapoport–Zink space is associated to a unitary group in two or three variables.