Arithmetic fundamental lemma for the spherical Hecke algebra
Let φ′∈HK′♭⊗HK′\varphi'\in\mathcal{H}_{K'^{{{{{{{{\flat}}}}}}}}}\otimes\mathcal{H}_{K'}φ′∈HK′♭⊗HK′, and let…