arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1502.07025math.RTmath.QA
收藏

W-代数和范畴O的量子Hamilton约化

Quantum Hamiltonian reduction of W-algebras and category O

Stephen Morgan

摘要:

W-代数是一类与经典的泛包络代数相关的非交换代数。它们可以被定义为U(g)的一个与选择幂零元e和相容的幂零子代数m有关的子商。这个定义是哈密顿约化的经典构造的量子模拟。我们定义了一个量子化的Hamilton阶约化,并利用它构造了A型W-代数U(g,e)之间的中间约化。这使得我们可以将W-代数U(g,e ')表示为U(g,e)的子商,其中幂零元e'覆盖e。它还产生了一个(U(g,e),U(g,e '))-双模的集合,类似于W-代数的经典定义中使用的广义Gel'fand-Graev模;这些模可以用来获得相应模范畴之间的伴随函子。W-代数上的模范畴有一个满子范畴,其定义方式与Bernstein-Gel'fand-Gel'fand(BGG)范畴O的定义方式平行; W-代数的范畴O(e)的这个版本等价于O的一个无穷小块,由Miličić和Soergel的一个引数表示。因此,我们构造了O的不同块之间的平移函子的类似物,在这种情况下是不同W-代数U(g,e)的范畴O(e)之间的函子。这遵循了Losev的一个论证,并将范畴O(e ')实现为等价于范畴O(e)的一个满子范畴,其中e'在加细排序中大于e。

英文摘要:

W-algebras are a class of non-commutative algebras related to the classical universal enveloping algebras. They can be defined as a subquotient of U(g) related to a choice of nilpotent element e and compatible nilpotent subalgebra m. The definition is a quantum analogue of the classical construction of Hamiltonian reduction. We define a quantum version of Hamiltonian reduction by stages and use it to construct intermediate reductions between different W-algebras U(g,e) in type A.This allows us to express the W-algebra U(g,e') as a subquotient of U(g,e) for nilpotent elements e' covering e. It also produces a collection of (U(g,e),U(g,e'))-bimodules analogous to the generalised Gel'fand-Graev modules used in the classical definition of the W-algebra; these can be used to obtain adjoint functors between the corresponding module categories. The category of modules over a W-algebra has a full subcategory defined in a parallel fashion to that of the Bernstein-Gel'fand-Gel'fand (BGG) category O; this version of category O(e) for W-algebras is equivalent to an infinitesimal block of O by an argument of Miličić and Soergel. We therefore construct analogues of the translation functors between the different blocks of O, in this case being functors between the categories O(e) for different W-algebras U(g,e). This follows an argument of Losev, and realises the category O(e') as equivalent to a full subcategory of the category O(e) where e' is greater than e in the refinement ordering.

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

↑