A motivic Fundamental Lemma

Arthur Forey,François Loeser,Dimitri Wyss

DOI: https://doi.org/10.48550/arXiv.2308.12195

2023-08-23

Abstract:In this paper we prove motivic versions of the Langlands-Shelstad Fundamental Lemma and Ngô's Geometric Stabilization. To achieve this, we follow the strategy from the recent proof by Groechenig, Wyss and Ziegler which avoided the use of perverse sheaves using instead $p$-adic integration and Tate duality. We make a key use of a construction of Denef and Loeser which assigns a virtual motive to any definable set in the theory of pseudo-finite fields.

Algebraic Geometry,Logic,Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to generalize the Langlands - Shelstad Fundamental Lemma and its Geometric Stabilization to a motivic version. Specifically, the authors aim to prove the fundamental lemma and the geometric stabilization theorem in the motivic version by means of motivic integration, without relying on the traditional perverse sheaves techniques but using p -adic integration and Tate duality. The goal of this motivic version is to establish an equality in the Grothendieck motivic ring, which specializes to the known fundamental lemma when p is large enough.

### Main Contributions

1. **Construction of Motivic Integration**:
- The authors develop a theory of motivic integration suitable for pseudo - finite residue fields, which can view volumes as elements in the Grothendieck motivic ring.
- Through the work of Denef and Loeser, they associate each definable set with a virtual motive, enabling integration at the motivic level.

2. **Motivic Version of Geometric Stabilization**:
- The authors prove the geometric stabilization theorem in the motivic version, which is achieved by transforming the original problem into the form of motivic integration.
- They use the formalism of orbifold measures to reduce the geometric stabilization theorem to an equality between motivic integrations on the Hitchin fibers of the Langlands dual group.

3. **Motivic Version of the Fundamental Lemma**:
- Finally, the authors show how to adapt Ngô's strategy of deriving the fundamental lemma from geometric stabilization to the motivic setting, thus proving the fundamental lemma in the motivic version.

### Technical Details

- **Pseudo - finite Fields**:
- A pseudo - finite field is a field that satisfies all first - order sentences that hold in every finite field. They have perfect properties and have a unique extension in every positive degree.
- The authors use pseudo - finite fields to deal with the residue fields of local non - Archimedean fields.

- **Motivic Integration**:
- Through the construction of Denef and Loeser, each definable set can be associated with a virtual motive, so that motivic integration can be carried out in the Grothendieck motivic ring.
- This integration theory preserves many important properties, such as change of variables, Fubini's theorem, and the ability to specialize to p -adic integration.

- **Hitchin Fibers**:
- Hitchin fibers are global geometric objects used to transform local problems into global problems. The authors use the properties of Hitchin fibers to control the integrations on the fibers through p -adic integration and Tate duality.

### Conclusion

This paper successfully generalizes the Langlands - Shelstad Fundamental Lemma and the geometric stabilization theorem to the motivic version, providing new perspectives and tools for these classical results. This achievement not only deepens the understanding of these theorems but also provides new directions for future research.