arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1407.0964math.RTmath.AGmath.SG
收藏

锥辛分解II的量子化:范畴$\mathcal O$和辛对偶

Quantizations of conical symplectic resolutions II: category $\mathcal O$ and symplectic duality

Tom Braden, Anthony Licata, Nicholas Proudfoot, Ben Webster

摘要:

我们定义和研究范畴$\mathcal O$的辛归结,推广经典的BGG范畴$\mathcal O$,这是与Springer归结。这包括与BGG情况平行的内在性质的发展,例如最高权结构和扭曲和洗牌函子的类似物,以及对个别例子的广泛讨论。我们观察到范畴$\mathcal O$通常是Koszul,并且它的Koszul对偶对于不同的辛分解通常等价于范畴$\mathcal O$。这导致我们定义辛解析之间的辛对偶的概念,辛解析是表示论和几何结构之间的同构的集合,包括两个类别之间的Koszul对偶。这种对偶性有各种上同调的结果,包括(在理论上)中岛和金兹伯格/米尔科维奇-维洛宁的两个几何实现的识别,这两个几何实现是关于简单缀层简单代数群的简单表示的权空间。Ivan Losev的附录建立了证明$\mathcal O$是最高权的关键步骤。

英文摘要:

We define and study category $\mathcal O$ for a symplectic resolution, generalizing the classical BGG category $\mathcal O$, which is associated with the Springer resolution. This includes the development of intrinsic properties parallelling the BGG case, such as a highest weight structure and analogues of twisting and shuffling functors, along with an extensive discussion of individual examples. We observe that category $\mathcal O$ is often Koszul, and its Koszul dual is often equivalent to category $\mathcal O$ for a different symplectic resolution. This leads us to define the notion of a symplectic duality between symplectic resolutions, which is a collection of isomorphisms between representation theoretic and geometric structures, including a Koszul duality between the two categories. This duality has various cohomological consequences, including (conjecturally) an identification of two geometric realizations, due to Nakajima and Ginzburg/Mirković-Vilonen, of weight spaces of simple representations of simply-laced simple algebraic groups. An appendix by Ivan Losev establishes a key step in the proof that $\mathcal O$ is highest weight.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑