An Arithmetic Transfer Identity

We prove a variant of the Arithmetic Fundamental Lemma conjecture of Wei Zhang for n=2. More precisely, we consider the deformation lengths of certain quasi-homomorphisms of quasi-canonical lifts in the sense of Gross. We prove the existence of a test function on a symmetric space related to GL_2 whose orbital integrals over GL_1 equal the deformation lengths in question.