A linear AFL for quaternion algebras

We prove new fundamental lemma and arithmetic fundamental lemma identities for general linear groups over quaternion division algebras. In particular, we verify the transfer conjeture and the arithmetic transfer conjecture from arXiv:2307.11716 in cases of Hasse invariant 1/2.