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

Abstract

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$ with the unit element in the spherical Hecke Algebra. In this article, all measures are normalized by its hyperspecial subgroup.

43pages