[论文解读] Fibers of characters in Harish-Chandra categories

Vyacheslav Futorny, Serge Ovsienko|arXiv (Cornell University)|Oct 2, 2006

Algebraic structures and combinatorial models参考文献 19被引用 7

一句话总结

本文通过在斜群环中引入伽罗瓦序，发展了积分扩张的非交换类比，使得能够将特征从交换子代数扩展到非交换代数。它建立了 Gelfand-Tsetlin 族中特征纤维的有限性与非空性，证明了对于 $\mathfrak{gl}_n$，具有非零 $\mathfrak{m}$-权空间的单个 Gelfand-Tsetlin 模的同构类数量至多为 $Q_n = \prod_{i=1}^{n-1} i!$，且在低秩情形下取等。

ABSTRACT

We solve the problem of extension of characters of commutative subalgebras in associative (noncommutative) algebras for a class of subrings (Galois orders) in skew group rings. These results can be viewed as a noncommutative analogue of liftings of prime ideals in the case of integral extensions of commutative rings. The proposed approach can be applied to the representation theory of many infinite dimensional algebras including universal enveloping algebras of reductive Lie algebras, Yangians and finite $W$-algebras. In particular, we develop a theory of Gelfand-Tsetlin modules for $\gl_n$. Besides classification results we characterize their categories in the generic case extending the classical results on $\gl_2$.

研究动机与目标

• 通过在斜群环中引入伽罗瓦序，将经典的积分扩张理论推广到非交换情形。
• 以类似于素理想提升的方式，解决从交换子代数到非交换代数的特征扩展问题。
• 为 $\mathfrak{gl}_n$ 及相关代数建立 Gelfand-Tsetlin 族中特征纤维的有限性与非空性。
• 利用表示论与模论方法，对 $\mathfrak{gl}_n$ 的简单 Gelfand-Tsetlin 模的同构类进行分类并给出上界。

提出的方法

• 在斜群环中引入伽罗瓦序，作为积分扩张的非交换类比。
• 将 Gelfand-Tsetlin 模定义为 $\Gamma$-模，其为有限维 $\Gamma$-模的直和，其中 $\Gamma$ 是一个交换子代数。
• 使用广义 Pierce 分解分析 $\mathscr{A}$-模的结构，并将其与 $\Gamma$-模结构联系起来。
• 构造一个类似哈里什-钱德拉的同态 $\mathrm{t}: U \to \mathscr{K}$，将泛包络代数嵌入到一个斜群环中。
• 应用定理 5.2，通过 $S(\mathsf{m}, \mathsf{m})/G$ 的基数来界定权空间 $M(\mathsf{m})$ 的维数，从而得到同构类的有限上界。
• 利用 $U(\mathfrak{gl}_n)$ 关于 Gelfand-Tsetlin 子代数 $\Gamma$ 的自由性，结合群作用对称性，推导出维数上界。

实验结果

研究问题

• RQ1 在何种条件下，交换子代数 $\Gamma$ 的特征可以以类似于交换代数中积分扩张的方式，扩展到非交换代数 $U$？
• RQ2 映射 $\Phi: \operatorname{Specm}U \to \operatorname{Specm}\Gamma$ 的纤维（将每个 $\mathsf{m} \in \operatorname{Specm}\Gamma$ 映射到包含 $\mathsf{m}$ 的 $U$ 的极大左理想集合）在什么条件下是有限且非空的？
• RQ3 对于固定的 $\mathsf{m}$，简单 Gelfand-Tsetlin $U(\mathfrak{gl}_n)$-模的同构类最多有多少个具有非零 $\mathsf{m}$-权空间？
• RQ4 简单 Gelfand-Tsetlin 模在 $U(\mathfrak{gl}_n)$ 上的 $\mathsf{m}$-权空间的维数的精确上界是什么？
• RQ5 Gelfand-Tsetlin 子代数 $\Gamma$ 在一般 Gelfand-Tsetlin 模上是否具有简单谱？与有限维模相比有何异同？

主要发现

• 具有非零 $\mathsf{m}$-权空间的简单 $U(\mathfrak{gl}_n)$-模的同构类数量上界为 $Q_n = \prod_{i=1}^{n-1} i!$，且在 $n=2$ 和 $n=3$ 时取等。
• 对于任意简单 Gelfand-Tsetlin $U(\mathfrak{gl}_n)$-模 $M$，其 $\mathsf{m}$-权空间 $M(\mathsf{m})$ 的维数至多为 $Q_n$，且在 $n=2$ 和 $n=3$ 时该上界是紧的。
• $\Gamma \subset U(\mathfrak{gl}_n)$ 是一个伽罗瓦序，且 $U(\mathfrak{gl}_n)$ 作为左和右 $\Gamma$-模是自由的。
• 由于 $S(\mathsf{m}, \mathsf{m})/G$ 的有限性，对所有 $\mathsf{m} \in \operatorname{Specm}\Gamma$，包含 $\mathsf{m}$ 的 $U$ 的极大左理想之纤维 $\Phi(\mathsf{m})$ 是非空且有限的。
• 简单 $\mathscr{A}(\mathsf{m}, \mathsf{m})$-模的同构类数量等于具有非零 $\mathsf{m}$-权空间的简单 $U$-模的同构类数量，且该数量被 $Q_n$ 所界定。
• Gelfand-Tsetlin 子代数 $\Gamma$ 不仅在有限维模上具有简单谱，也在一般 Gelfand-Tsetlin 模上具有简单谱，这一性质并非所有此类子代数都具备。