[论文解读] Loop Spaces and Langlands Parameters

Dani Ben‐Zvi, David Nadler|ArXiv.org|Jun 3, 2007

Advanced Algebra and Geometry参考文献 48被引用 9

一句话总结

本文建立了一個分類化的 $S^1$-等變局部化定理，將光滑堆 $X$ 上的 $ω$-模類別識別為其導出循環空間 $\mathcal{L}X$ 上 $S^1$-等變凝聚層的局部化，從而透過循環空間幾何統一了幾何表示理論的類別，並實現了對實與複數半單群的朗蘭茲參數的統一構造。

ABSTRACT

We apply the technique of S^1-equivariant localization to sheaves on loop spaces in derived algebraic geometry, and obtain a fundamental link between two families of categories at the heart of geometric representation theory. Namely, we categorify the well known relationship between free loop spaces, cyclic homology and de Rham cohomology to recover the category of D-modules on a smooth stack X as a localization of the category of S^1-equivariant coherent sheaves on its loop space LX. The main observation is that this procedure connects categories of equivariant D-modules on flag varieties with categories of equivariant coherent sheaves on the Steinberg variety and its relatives. This provides a direct connection between the geometry of finite and affine Hecke algebras and braid groups, and a uniform geometric construction of all of the categorical parameters for representations of real and complex reductive groups. This paper forms the first step in a project to apply the geometric Langlands program to the complex and real local Langlands programs, which we describe.

研究动机与目标

• 建立導出循環空間 $\u005cmathcal{L}X$ 上 $S^1$-等變凝聚層的類別與光滑堆 $X$ 上 $\u005cmathcal{D}$-模的類別之間的分類等價，推廣經典的局部化定理。
• 透過循環空間幾何，統一旗流形上等變 $\u005cmathcal{D}$-模的類別與斯坦伯格流形上等變凝聚層的類別。
• 為構造實與複數半單群的朗蘭茲參數提供一個幾何的、導出代數幾何的框架。
• 利用循環空間與導出堆技術，將幾何朗蘭茲程式擴展至實與複數局部朗蘭茲對應。
• 證明施普林格的解析與斯坦伯格流形分別為商堆 $G\backslash\mathcal{B}$ 與 $B\backslash\mathcal{B}$ 的導出循環空間。

提出的方法

• 在導出代數幾何中應用 $S^1$-等變局部化，將 $\mathcal{L}X$ 上 $S^1$-等變凝聚層與 $X$ 上 $\mathcal{D}$-模聯繫起來。
• 使用導出堆與單純交換環的形式系統，定義導出循環空間及其層類別。
• 分別將斯坦伯格流形及其相關對象識別為商堆 $G\backslash\mathcal{B}$ 與 $B\backslash\mathcal{B}$ 的導出循環空間。
• 將朗蘭茲參數空間構造為對稱子群 $K$ 的商堆 $K\backslash\mathcal{B}$ 的循環空間，推廣旗流形循環空間的構造。
• 利用擬 coherent 層與科舒爾對偶性，透過 $S^1$-等變性將循環空間上的週期層與 $\mathcal{D}$-模聯繫起來。
• 利用特徵零下導出代數空間與連通微分分次代數之間的等價性，簡化計算。

实验结果

研究问题

• RQ1 如何將 $S^1$-等變局部化分類化，以聯繫光滑堆上的 $\mathcal{D}$-模與其循環空間上的層？
• RQ2 在幾何表示理論中，斯坦伯格流形與商堆的導出循環空間之間的精確幾何關係為何？
• RQ3 對稱子群商堆 $K\backslash\mathcal{B}$ 的循環空間如何與實半單群的朗蘭茲參數相關？
• RQ4 能否利用導出循環空間構造，將幾何朗蘭茲程式擴展至實與複數局部朗蘭茲對應？
• RQ5 導出代數幾何在統一有限與仿射赫克代數上的 $\mathcal{D}$-模與等變凝聚層類別中扮演何種角色？

主要发现

• 光滑堆 $X$ 上 $\mathcal{D}$-模的類別，與其導出循環空間 $\mathcal{L}X$ 上 $S^1$-等變凝聚層的類別之間存在自然的等價。
• 半單群 $G$ 的斯坦伯格流形被識別為商堆 $B\backslash\mathcal{B}$ 的導出循環空間，其中 $\mathcal{B} = G/B$ 為旗流形。
• 施普林格解析作為商堆 $G\backslash\mathcal{B}$ 的導出循環空間出現，提供了透過循環空間層實現 $\mathcal{D}$-模類別的幾何實例。
• 實形式 $G_{\mathbb{R}}$ 的朗蘭茲參數空間被構造為對稱子群 $K \subset G$ 的商堆 $K\backslash\mathcal{B}$ 的導出循環空間。
• 該構造透過循環空間幾何，為複數與實半單群的所有分類朗蘭茲參數提供了統一的幾何實現。
• 該方法分類化了自由循環空間、循環同調與德拉姆上同調之間的經典關係，將其提升至類別的導出等價。