AbstractWe consider a generalization of a trace formula identity of Jacquet, in the context of the symmetric spaces GL(2n)/GL(/n) × GL(n) and G′/H′. Here G′ is an inner form of GL(2n) over F with a subgroup H′ isomorphic to GL(n, E) where E/F is a quadratic extension of number field attached to a quadratic idele class character η of F. A consequence of this identity would be the following conjecture: Let π be an automorphic cuspidal representation of GL(2n). If there exists an automorphic representation π′ of G′ which is related to π by the Jacquet-Langlands correspondence, and a vector ø in the space of π′ whose integral over H′ is nonzero, then both L(1/2, π) and L(1/2,π ⊗ η) are nonvanishing. Moreover, we have L(1/2, π)L(1/2, π ⊗ η) > 0. Here the nonvanishing part of the conjecture is a generalization of a result of Waldspurger for GL(2) and the nonnegativity of the product is predicted from the generalized Riemann Hypothesis. In this article, we study the corresponding local orbital integrals for the symmetric spaces. We prove the "fundamental lemma for the unit Hecke functions" which says that unit Hecke functions have "matching" orbital integrals. This serves as the first step toward establishing the trace formula identity and in the same time it provides strong evidence for what we proposed.
The Trace Formula and the Proof of the Global Jacquet-Langlands Correspondence