[论文解读] Singular support of coherent sheaves, and the geometric Langlands conjecture

D. Arinkin, Dennis Gaitsgory|arXiv (Cornell University)|Jan 30, 2012

Advanced Algebra and Geometry参考文献 25被引用 15

一句话总结

本文引入了准光滑导出概形与阿廷堆上凝聚层的奇异支撑概念，推广了上同调支撑理论。利用该框架，提出了一个更精细的范畴化几何朗兰兹猜想，证明其与几何萨特克雷等价及艾森斯坦级数函子相容——解决了原始猜想中的一个关键缺陷。

ABSTRACT

We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.

研究动机与目标

• 定义并研究准光滑导出概形与阿廷堆上凝聚层的奇异支撑，推广上同调支撑理论。
• 构建奇异支撑的理论框架，使其在直接像与逆像函子下表现良好，尤其针对有限与正规态射。
• 利用奇异支撑重新表述范畴化几何朗兰兹猜想，确保与已知的几何与表示论等价性一致。
• 建立猜想与几何萨特克雷等价及艾森斯坦级数函子的相容性，解决原始表述中的主要障碍。
• 基于科祖尔对偶性，给出奇异支撑的描述，使在整体完备交情形下可进行显式计算与结构洞察。

提出的方法

• 将DG概形与阿廷堆的准光滑性定义为导出意义下的局部完备交，确保余切复形行为良好。
• 引入奇异余微分与奇异概形，以刻画凝聚层的奇异支撑。
• 利用Ind-凝聚层及其对准凝聚层的商的理论，通过局部化与t-结构定义奇异支撑。
• 应用相对科祖尔对偶性及波西尔斯基因的非线性科祖尔变换，将奇异支撑与矩阵因子化及余导范畴联系起来。
• 利用Hecke范畴与球面对Hecke范畴，将奇异支撑与几何萨特克雷等价的作用联系起来。
• 建立有限、准光滑及正规态射下的保守性与函子性结果，确保支撑结构在关键几何运算下保持不变。

实验结果

研究问题

• RQ1 奇异支撑的概念如何从概形推广到准光滑导出概形与阿廷堆？
• RQ2 奇异支撑在直接像与逆像函子下的行为如何，特别是对有限与正规态射？
• RQ3 如何利用奇异支撑重新表述几何朗兰兹猜想，以确保与几何萨特克雷等价相容？
• RQ4 为何原始‘朴素’版本的几何朗兰兹猜想在艾森斯坦级数函子下失效，如何修正？
• RQ5 奇异支撑在多大程度上可通过科祖尔对偶性与弯曲DG代数的余导范畴来描述？

主要发现

• 本文通过奇异概形与奇异余微分，定义了准光滑导出堆上凝聚层的奇异支撑，推广了本森-伊延加-克劳斯的上同调支撑理论。
• 证明奇异支撑在有限、准光滑及正规态射下的直接像与逆像函子下保持不变，关键情形下具有保守性结果。
• 利用奇异支撑重新表述了范畴化几何朗兰兹猜想，并通过球面对Hecke范畴证明其与几何萨特克雷等价相容。
• 该猜想通过了与艾森斯坦级数函子一致性的关键检验，而原始朴素表述在此处失效，从而解决了长期存在的障碍。
• 科祖尔对偶性在弯曲DG代数的余导范畴之间建立了等价，将奇异支撑描述为矩阵因子化，与波西尔斯基因及米尔科维奇-里奇的工作相联系。
• 对象在 $\operatorname{IndCoh}(Z)$ 中的奇异支撑可从其在 $\operatorname{IndCoh}(Z)/\operatorname{QCoh}(Z)$ 中的像重构，通过对偶性论证可完全恢复完整支撑。