[论文解读] Gelfand-Tsetlin modules in the Coulomb context

Ben Webster|arXiv (Cornell University)|Apr 10, 2019

Algebraic structures and combinatorial models参考文献 30被引用 13

一句话总结

本文通过旗伽罗瓦环引入研究吉尔伯特-策特林模的新框架，表明在极大理想上的完备化纤维代数同构于斜群环的子代数。该研究建立了与库仑分支的几何联系，对 $U(\frak{gl}_n)$ 上的吉尔伯特-策特林模进行了分类，并证实了莫罗奇克猜想：有限维模的权不会出现在无限维单模中。

ABSTRACT

This paper gives a new perspective on the theory of principal Galois orders, as developed by Futorny, Ovsienko, Hartwig, and others. Every principal Galois order can be written as $eFe$ for any idempotent $e$ in an algebra $F$, which we call a flag Galois order; and in most important cases we can assume that these algebras are Morita equivalent. These algebras have the property that the completed algebra controlling the fiber over a maximal ideal has the same form as a subalgebra in a skew group ring, which gives a new perspective to a number of results about these algebras. We also discuss how this approach relates to the study of Coulomb branches in the sense of Braverman-Finkelberg-Nakajima, which are particularly beautiful examples of principal Galois orders. These include most of the interesting examples of principal Galois orders, such as $U(\mathfrak{gl}_n)$. In this case, all the objects discussed have a geometric interpretation, which endows the category of Gelfand-Tsetlin modules with a graded lift and allows us to interpret the classes of simple Gelfand-Tsetlin modules in terms of dual canonical bases for the Grothendieck group. In particular, we classify the Gelfand-Tsetlin modules over $U(\mathfrak{gl}_n)$ and relate their characters to a generalization of Leclerc's shuffle expansion for dual canonical basis vectors. Finally, as an application, we disprove a conjecture of Mazorchuk, showing that the fiber over a maximal ideal of the Gelfand-Tsetlin subalgebra appearing in a finite-dimensional representation has an infinite-dimensional module in its fiber for $n\geq 6$.

研究动机与目标

• 通过旗伽罗瓦环重述主伽罗瓦环理论，其中旗伽罗瓦环是系数取自完备局部环的斜群环的子代数。
• 通过库仑分支为吉尔伯特-策特林模提供几何解释，特别是针对 $U(\frak{gl}_n)$，从而实现范畴的分次提升。
• 对 $U(\frak{gl}_n)$ 上的简单吉尔伯特-策特林模进行分类，并通过广义勒克莱尔卷积展开将它们的特征标与对偶典范基联系起来。
• 证实莫罗奇克猜想：有限维模的权不会出现在无限维单吉尔伯特-策特林模中。

提出的方法

• 将旗伽罗瓦环定义为 $L\/#\widehat{W}$ 的子代数 $F$，其中 $L$ 是诺特环 $\Lambda$ 的分式域，$\widehat{W} = W \ltimes \mathcal{M}$。
• 在 $\mathbb{Z}[1/\#W][W]$ 中使用对称化幂等元 $e$ 构造主伽罗瓦环 $U = eFe$，在关键情形下确保莫里塔等价。
• 分析在极大理想 $\lambda \in \operatorname{MaxSpec}(\Lambda)$ 处的完备化纤维代数 $\widehat{F}_\lambda$，证明其为稳定化子 $\widehat{W}_\lambda$ 的主旗阶。
• 建立同构 $\widehat{U}_\gamma \cong e_\lambda \widehat{F}_\lambda e_\lambda$，其中 $\gamma = \lambda \cap \Gamma$，将 $\gamma$ 上的纤维与稳定化代数联系起来。
• 将该理论应用于布拉夫曼-芬克尔伯格-中村的库仑分支，其为一个主伽罗瓦环，利用其几何结构为吉尔伯特-策特林模范畴赋予分次提升。
• 利用所得的几何框架，通过双对偶典范基解释格罗滕迪克群中简单模类，并将勒克莱尔的卷积展开推广至特征标描述。

实验结果

研究问题

• RQ1 如何通过旗伽罗瓦环重新诠释主伽罗瓦环理论，以简化吉尔伯特-策特林模的研究？
• RQ2 在极大理想 $\lambda$ 上的完备化纤维代数 $\widehat{F}_\lambda$ 的几何结构是什么？它与原代数有何关系？
• RQ3 作为主伽罗瓦环的库仑分支如何为吉尔伯特-策特林模及其特征标提供几何实现？
• RQ4 是否能通过广义勒克莱尔卷积展开描述 $U(\frak{gl}_n)$ 上简单吉尔伯特-策特林模的特征标？
• RQ5 在有限维模中出现的吉尔伯特-策特林可积系统权是否可能出现在无限维单模中？

主要发现

• 在极大理想 $\lambda$ 处的完备化纤维代数 $\widehat{F}_\lambda$ 同构于稳定化子 $\widehat{W}_\lambda$ 的主旗阶，为整体结构提供了局部模型。
• $\gamma$ 上控制纤维的代数 $\widehat{U}_\gamma$ 同构于 $e_\lambda \widehat{F}_\lambda e_\lambda$，建立了全局与局部表示理论之间的精确联系。
• 对于 $U(\frak{gl}_n)$，吉尔伯特-策特林模范畴可通过库仑分支的几何结构实现分次提升。
• 格罗滕迪克群中简单吉尔伯特-策特林模的类对应于对偶典范基向量，其特征标由广义勒克莱尔卷积展开描述。
• 本文证实了莫罗奇克猜想：有限维模的权不会出现在任何无限维单吉尔伯特-策特林模中。
• 在特定例子中，$\lambda$ 上的纤维中存在两个不可约表示，一个有限维，一个无限维，后者不包含有限维权，从而在具体情形下验证了该猜想。