The induced Weil representation and the Shalika period (Q1568901)

The group of symplectic similitudes \(\text{GSp}_{2n}(\mathbb C)\) is the connected component of the \(L\)-group of a reductive group \(G\). Let \(K\) be a number field and \(\mathbb A\) the adèles of \(K\), and let \(\pi\) be a cuspidal automorphic representation of \(G({\mathbb A})\). Then the Langlands conjectures predict the existence of an automorphic representation \(\Pi\) of \(\text{GL}(2n,{\mathbb A})\) which corresponds to \(\pi\) via the \(L\)-homomorphism attached to the standard embedding \(\text{GSp}_{2n}({\mathbb C})\to \text{GL}_{2n}({\mathbb C})\). The relative trace formula may be used to study this lifting when \(n=2\). This formula may be established by matching orbital integrals, one capturing the (generic) automorphic representations of \(\text{GL}_{2n}({\mathbb A})\) which have nonvanishing period (i.e. are distinguished) with respect to the Shalika subgroup; the other capturing the Whittaker coefficients of the generic automorphic representations of \(G({\mathbb A})\). The fundamental lemma, matching local orbital integrals for the unit elements of the respective Hecke algebras, was proved by the reviewer and \textit{H. Jacquet} [The fundamental lemma for the Shalika subgroup of \(\text{GL}(4)\). Mem. Am. Math. Soc. 594, 149 p. (1996; Zbl 0879.11023)]. This matching should be true for all \(n\geq 2\), and it should allow one to show that every automorphic representation \(\pi\) whose functorial image \(\Pi\) is cuspidal is nearly equivalent to a representation with Whittaker model. See the paper by \textit{S. Friedberg} and \textit{H. Jacquet} [op. cit.], Chapter I, Section 4. In this paper the authors give a new proof of the fundamental lemma when \(n=2\), and in fact of the matching for the full Hecke algebras. This latter matching is established under the hypothesis that a version of Howe duality is true for the pair \((\text{GO}_6, \text{GSp}_4)\). The proof given here is based on the induced Weil representation \(\Omega\) for the pair \(\text{GO}_6\times \text{GSp}_4\). The authors express both local orbital integrals to be matched as integrals of a function in the space of \(\Omega\), and then they use the properties of the Weil representation to compare the integrals. The method of using the Weil representation to establish the fundamental lemma first appeared in the authors' paper [Pac. J. Math. 191, No. 2, 329--346 (1999; Zbl 1008.22008)].