A remark on the fundamental lemma of Jacquet (Q2495711)

In connection with the relative trace formula Jacquet proved a fundamental lemma relating orbital integrals on \(G=\mathrm{GL}_n(E)\) and \(G'= \mathrm{GL}_n(F)\), where \(E/F\) is an unramified quadratic extension. The article under review presents a conjectural generalization of Jacquet's result. To explain the generalization let \(K\leq G\) resp. \(K'\leq G'\) be the maximal compact subgroups and denote by \({\mathcal H}_G\) resp. \({\mathcal H}_{G'}\) the Hecke algebra of \(K\) resp. \(K'\)-biinvariant functions on \(G\) resp. \(G'\). Moreover, let \(S=\{g\in G: ^t\overline g=g\}\) be the space of Hermitian matrices in \(G\) and denote by \({\mathcal H}_S\) the space of \(K\)-invariant compactly supported functions on \(S\) \((k\cdot s:=gs^t\overline g,\;k\in K,s\in S)\). The spherical Fourier transform yields isomorphisms \({\mathcal H}_{G'}\approx {\mathcal S}_n'\), \(\Phi\mapsto\widehat\Phi\) and \({\mathcal H}_S\approx{\mathcal S}_n'\), \(\Psi\mapsto\widehat\Psi\) (the last one being an isomorphism of \({\mathcal H}_G\)-modules). Here, \(S_n'\) is the space of symmetric elements in \(\mathbb C[x_1,\dots, x_n,(x_1\dots x_n)^{-1}]\). The author attaches to \(\Phi\in{\mathcal H}_{G'}\) and \(\Psi\in{\mathcal H}_S\) and \(a=\mathrm{diag}(a_1,\dots,a_n)\in G'\) orbital integrals \(\Omega(\Phi,a)\) and \(\Omega(\Psi,a)\) and suggests the conjecture. There is a character \(\gamma\) depending only on the rank \(n\) such that \(\Omega(\Phi,a)= \gamma(a)\Omega(\Psi,a)\) whenever \(\Phi\) and \(\Psi\) are such that \(\widehat\Phi-\widehat=\widehat\Psi\). Jacquet's result concerns the special case of elements \(\Phi\in{\mathcal H}_G*\Phi_0\) and \(\Psi\in{\mathcal H}_G*\Psi_0\), where \(\Phi_0\) resp. \(\Psi_0\) are the characteristic functions of \(K'\) resp. \(S\cap K\). In contrast to Jacquet's result the above conjectural generalization uniquely determines the transfer factor \(\gamma\). Finally, the author provides evidence in favor of his conjecture and proves the conjecture in case \(n=2\) by an ad hoc approach.