A computational proof of the linear Arithmetic Fundamental Lemma of GL${}_4$

Qirui Li

Let $K/F$ be an unramified quadratic extension of non-Archimedian local fields with residue character not equals to 2. We prove the linear Arithmetic Fundamental Lemma for GL${}_4$ w…