Weil representation and Arithmetic Fundamental Lemma

We study a partially linearized version of the relative trace formula for the arithmetic Gan--Gross--Prasad conjecture for the unitary group U(V). The linear factor in this relative trace formula provides an SL₂-symmetry which allows us to prove by induction the arithmetic fundamental lemma over Qₚ when p is odd and p≥ dim\ V.