zbMATH — the first resource for mathematics

The fundamental Lemma of Jacquet and Rallis. Appendix by Julia Gordon. (English) Zbl 1211.14039
H. Jacquet and S. Rallis in their manuscript ‘On the Gross-Prosad conjecture for the unitary group in 3 variables’ [http://www.math.columbia.edu/~hj] proposed an approach to the Gross-Prosad conjecture for the unitary groups using the relative trace formula. In establishing the relative trace formula, they needed a form of the fundamental lemma comparing the orbital integrals of the standard test functions on the symmetric space $$GL_n(E)/GL_n(F)$$ and on the unitary group $$U_n(F)$$, where $$E/F$$ is an unramified extension of a local field $$F$$ with odd residue characteristic. They explicitly stated (up to a sign) a Lie algebra version of this fundamental lemma as a conjecture and verified it for $$n\geq 3$$.
Following this idea, W. Zhang in the manuscript ‘On the ramified Gross-Prosad conjecture for unitary groups in three variables’ [preprint (2009)] stated the group version of this fundamental lemma as a conjecture and verified it for $$n\geq 3$$.
The purpose of the present article is to prove the above conjectures in the case when $$F$$ is a local function filed and char$$(F)>n$$. The proof follows the strategy of the proof of Langlands-Shelstad fundamental lemma in the Lie algebra and function field case.
In the appendix written by Julia Gordon, it is shown that the transfer principle of Cluckers and Loeser, which relies on model-theoretical methods, applies to the present situation too. Therefore, the results proved for local function fields imply the validity of the above conjectures for any local field of sufficiently large characteristic.

MSC:
 14H60 Vector bundles on curves and their moduli 22E35 Analysis on $$p$$-adic Lie groups 14F20 Étale and other Grothendieck topologies and (co)homologies
Full Text:
References:
 [1] A. B. Altman and S. L. Kleiman, Compactifying the Picard scheme , Adv. Math. 35 (1980), 50-112. · Zbl 0427.14015 [2] A. Beauville, M. S. Narasimhan, and S. Ramanan, Spectral curves and the generalized theta divisor , J. Reine Angew. Math. 398 (1989), 169-179. · Zbl 0666.14015 [3] R. Bezrukavnikov, The dimension of the fixed point set on affine flag manifolds , Math. Res. Lett. 3 (1996), 185-189. · Zbl 0874.20033 [4] I. Biswas and S. Ramanan, An infinitesimal study of the moduli of Hitchin pairs , J. London Math. Soc. 49 (1994), 219-231. · Zbl 0819.58007 [5] M. Goresky, R. Kottwitz, and R. Macpherson, Homology of affine Springer fibers in the unramified case , Duke Math. J. 121 (2004), 509-561. · Zbl 1162.14311 [6] -, Codimensions of root valuation strata , Pure Appl. Math. Q. 5 (2009), 1253-1310. · Zbl 1185.11038 [7] M. Goresky and R. Macpherson, Intersection homology, II , Invent. Math. 72 (1983), 77-129. · Zbl 0529.55007 [8] A. Grothendieck, “ Techniques de construction et théorèmes d’existence en géométrie algébrique, IV: Les schémas de Hilbert,” Séminaire Bourbaki, Vol. 6, no. 221, Soc. Math. France, Paris, 1995, 249-276. [9] H. Jacquet and S. Rallis, On the Gross-Prasad conjecture for the unitary group in 3 variables , http://www.math.columbia.edu/hj. · Zbl 1222.22018 [10] G. Laumon and B.-C. Ngô, Le lemme fondamental pour les groupes unitaires , Ann. of Math. (2) 168 (2008), 477-573. · Zbl 1179.22019 [11] B.-C. Ngô, Fibration de Hitchin et endoscopie , Invent. Math. 164 (2006), 399-453. · Zbl 1098.14023 [12] -, Le lemme fondamental pour les algebres de Lie , Publ. Math. Inst. Hautes Études Sci. 111 (2010), 1-169. · Zbl 1200.22011 [13] W. Zhang, On the refined Gross-Prasad conjecture for unitary groups in three variables , preprint, 2009. [14] R. Cluckers, T. Hales, and F. Loeser, Transfer principle for the f undamental lemma, [15] R. Cluckers and F. Loeser, “Ax-Kochen-Eršov theorems for $$p$$-adic integrals and motivic integration” in Geometric Methods in Algebra and Number Theory , Progr. Math. 235 , Birkhaüser, Boston, 2005, 109-137. · Zbl 0529.55007 [16] -, Constructible motivic functions and motivic integration , Invent. Math. 173 , (2008) 23-121. · Zbl 1179.14011 [17] -, Constructible exponential functions, motivic Fourier transform and transfer principle , Ann. of Math. (2) 171 (2010), 1011-1065. · Zbl 1246.14025 [18] J. Denef, and F. Loeser, Definable sets, motives and $$p$$-adic integrals , J. Amer. Math. Soc. 14 (2001), 429-469. JSTOR: · Zbl 1040.14010 [19] H. Jacquet and S. Rallis, On the Gross-Prasad conjecture for the unitary group in $$3$$ variables , http://www.math.columbia.edu/hj. · Zbl 1222.22018 [20] J. Oesterlé, Réduction modulo $$p^n$$ des sous-ensembles analytiques fermés de $$\mathbb{Z}_p^N$$ , Invent Math. 66 (1982), 325-341. · Zbl 0473.12015
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.