The weighted fundamental lemma. II: Cohomological statements (Q1928616): Difference between revisions

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.