The weighted fundamental lemma. II: Cohomological statements

From MaRDI portal
Publication:1928616



Abstract: In this paper, we study the cohomology of the truncated Hitchin fibration, which was introduced in a previous paper. We extend Ng^o's main theorems on the cohomology of the elliptic part of the Hitchin fibration. As a consequence, we get a proof of Arthur's weighted fundamental lemma


In this article the authors continue the presentation of their proof of Arthur's weighted fundamental lemma. The subject is, first of all, the study of the perverse cohomology of the truncated Hitchin fibration introduced in the preceding article [Compos. Math. 146, 1416--1506 (2010; Zbl 1206.14026)]. One important result is the ``support theorem: on a certain open subset \({\mathcal A}^{bon}\) of the base \({\mathcal A}\) of the fibration the perverse cohomology sheaves are direct sums of perverse extensions of local systems on open subsets of \({\mathcal A}^{bon}\cap {\mathcal A}^{ell}\), where \({\mathcal A}^{ell}\) is the elliptic part of \(\mathcal A\). The main cohomological result relates the perverse cohomology of the truncated Hitchin fibration for \(G\) to that for endoscopic groups of \(G\). By the support theorem the proof is reduced to Ngô's theorem on the elliptic part of the cohomology, see \textit{B. C. Ngô}'s article [Publ. Math. IHES 111, 1--169 (2010; Zbl 1200.22011)], where the ordinary fundamental lemma is proved. By computations of the trace of the Frobenius action on the perverse cohomology sheaves using the Grothendieck-Lefschetz trace formula, a global form of the weighted fundamental lemma is proved. From this global result the local lemma is deduced. In the present article the reductive groups are assumed to be split. The authors promise to treat the general case later.



Cites work


Cited in
(27)








This page was built for publication: The weighted fundamental lemma. II: Cohomological statements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1928616)