A Proof of the Biquadratic Linear AFL for GL(4)

Qirui Li

We prove both the biquadratic Guo--Jacquet Fundamental Lemma (FL) and the biquadratic linear Arithmetic Fundamental Lemma (AFL) for GL(4) with the unit test function. Our approach…