Arinkin-Gaitsgory暴脾气猜想
The Arinkin-Gaitsgory temperedness conjecture
摘要：
Arinkin和Gaitsgory在Bun_G上定义了一个调和D-模范畴，它在性质上等价于拟凝聚（非ind-coherent！）LocSys_{ \check{G} }上的层。然而，他们的定义取决于曲线上一点的辅助数据;他们强调，他们的定义是独立于这种选择。贝拉尔多概述了这一猜想的证明，这取决于一些目前还没有的技术。在这里，我们提供了一个简短的，无条件的证明阿林金-Gaitsgory猜想。
英文摘要：
Arinkin and Gaitsgory defined a category of tempered D-modules on Bun_G that is conjecturally equivalent to the category of quasi-coherent (not ind-coherent!) sheaves on LocSys_{\check{G}}. However, their definition depends on the auxiliary data of a point of the curve; they conjectured that their definition is independent of this choice. Beraldo has outlined a proof of this conjecture that depends on some technology that is not currently available. Here we provide a short, unconditional proof of the Arinkin-Gaitsgory conjecture.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
