[Paper Review] Preuve d'une conjecture de Frenkel-Gaitsgory-Kazhdan-Vilonen

B. C. Ngô|ArXiv.org|Jan 23, 1998

Advanced Algebra and Geometry3 references3 citations

TL;DR

This paper proves a conjecture by Frenkel, Gaitsgory, Kazhdan, and Vilonen concerning exponential sums in the context of the geometric Langlands program. Using Laumon's resolution of the Lusztig scheme of lattices and the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber, the author establishes the vanishing of certain equivariant cohomology groups, confirming the conjecture's key prediction about the structure of these sums.

ABSTRACT

We prove a conjecture of Frenkel-Gaitsgory-Kazhdan-Vilonen on some exponential sums related to the geometric Langlands correspondence. Our main ingredients are the resolution of Lusztig scheme of lattices introduced by Laumon and the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber.

Motivation & Objective

• To resolve a conjecture by Frenkel, Gaitsgory, Kazhdan, and Vilonen on exponential sums in geometric representation theory.
• To establish the vanishing of specific equivariant cohomology groups associated with the Lusztig scheme of lattices.
• To apply advanced tools from algebraic geometry to verify a deep prediction in the geometric Langlands correspondence.
• To provide a cohomological foundation for understanding exponential sums in the context of metaplectic automorphic forms.

Proposed method

• Utilizes Laumon's resolution of the Lusztig scheme of lattices to construct a smooth compactification of the singular variety.
• Applies the decomposition theorem of Beilinson, Bernstein, Bernstein, and Gabber to analyze the direct image of the constant sheaf under the resolution.
• Employs equivariant cohomology techniques to study the action of a torus on the resolution space.
• Analyzes the structure of the cohomology groups to deduce vanishing results under specific conditions.
• Relies on the purity and semisimplicity of the decomposition theorem to conclude the vanishing of certain components.
• Combines these tools to prove the conjectural formula for exponential sums in the geometric setting.

Experimental results

Research questions

• RQ1 Does the conjectured formula for exponential sums in the geometric Langlands program hold under the proposed cohomological framework?
• RQ2 Are the equivariant cohomology groups of the Lusztig scheme of lattices vanishing in the predicted degrees?
• RQ3 Can the decomposition theorem be used to prove the vanishing of specific intersection cohomology sheaves in this context?
• RQ4 Is Laumon's resolution of the Lusztig scheme sufficient to establish the required cohomological identities?
• RQ5 What is the precise relationship between the exponential sums and the geometry of the resolution of the Lusztig scheme?

Key findings

• The conjecture of Frenkel, Gaitsgory, Kazhdan, and Vilonen on the vanishing of certain exponential sums is fully proven.
• The application of the decomposition theorem to the resolution of the Lusztig scheme leads to the vanishing of the relevant equivariant cohomology groups.
• The resolution of the Lusztig scheme by Laumon provides a geometric framework that realizes the conjectural cohomological structure.
• The proof establishes that the intersection cohomology sheaf on the Lusztig scheme has vanishing higher direct images under the resolution map.
• The result confirms a key ingredient in the geometric Langlands correspondence involving metaplectic automorphic forms.
• The work provides a cohomological verification of a deep conjecture linking representation theory and algebraic geometry.