[论文解读] PBW-type filtration on quantum groups of type $A_n$

Xin Fang, Ghislain Fourier+1 more|arXiv (Cornell University)|Mar 18, 2015

Algebraic structures and combinatorial models参考文献 17被引用 6

一句话总结

本文在类型 $A_n$ 的量子群的负部分引入了一个 $Ν$-滤子，使得其对应的分次代数成为 $q$-交换多项式代数。通过利用 quiver 的 Hall 代数，证明了任意一个单的有限维模的对应分次模同构于该代数关于一个单项式理想的商，从而得到一个由多面体 $P(\lambda)$ 的格点参数化的单项基，因此建立了量子群的 PBW 框架的量子类比，其中包含单项式消去理想。

ABSTRACT

We will introduce an $\mathbb{N}$-filtration on the negative part of a quantum group of type $A_n$, such that the associated graded algebra is a q-commutative polynomial algebra. This filtration is given in terms of the representation theory of quivers, by realizing the quantum group as the Hall algebra of a quiver. We show that the induced associated graded module of any simple finite-dimensional module (of type 1) is isomorphic to a quotient of this polynomial algebra by a monomial ideal, and we provide a monomial basis for this associated graded module. This construction can be viewed as a quantum analog of the classical PBW framework, and in fact, by considering the classical limit, this basis is the monomial basis provided by Feigin, Littelmann and the second author in the classical setup.

研究动机与目标

• 在类型 $A_n$ 的量子群的负部分构造一个 $Ν$-滤子，使得其对应的分次代数为 $q$-交换多项式代数。
• 通过将量子群实现为 quiver 的 Hall 代数，实现该滤子的表示论构造。
• 证明任意一个单的有限维模（类型 1）的对应分次模同构于 $q$-多项式代数关于一个单项式理想的商。
• 为对应分次模提供一个由正常多面体 $P(\lambda)$ 的格点参数化的单项基。

提出的方法

• 通过为与正根 $\alpha_i + \cdots + \alpha_j$ 关联的量子 PBW 根向量 $F_{i,j}$ 定义一个度函数，分配度数 $(j-i+1)(n-j+1)$，从而定义该滤子。
• 该构造依赖于 $U_q(\mathfrak{n}^-)$ 的 Hall 代数实现，其中基元素对应 quiver 的表示的同构类。
• 证明了对应的分次代数 $\mathrm{gr}_{\mathcal{F}}U_q(\mathfrak{n}^-)$ 同构于 $S_q(\mathfrak{n}^-)$，即 $q$-交换多项式代数。
• 通过 $\mathcal{F}_s V_q(\lambda) = \mathcal{F}_s U_q(\mathfrak{n}^-) \cdot \mathbf{v}_\lambda$ 的方式，将滤子诱导到单模 $V_q(\lambda)$ 上，从而得到分次模 $V_q^\mathcal{F}(\lambda)$。
• 定义一个模同态 $\psi: S_q(\mathfrak{n}^-) \to V_q^\mathcal{F}(\lambda)$，满足 $x \mapsto x \cdot \mathbf{v}_\lambda$，其核为 $I_q^\mathcal{F}(\lambda)$，因此有 $V_q^\mathcal{F}(\lambda) \cong S_q(\mathfrak{n}^-)/I_q^\mathcal{F}(\lambda)$。
• 通过在 $q=1$ 处的特殊化，证明单项基的线性无关性，将其约化为经典情形，并在 $\mathbf{A}_1$ 中的系数上使用反证法。

实验结果

研究问题

• RQ1 能否在类型 $A_n$ 的量子群的负部分构造一个 PBW 类型的滤子，使得其对应的分次代数为 $q$-交换多项式代数？
• RQ2 在该滤子下，任意一个单的有限维模的对应分次模是否具有单项基？
• RQ3 即使在量子情形下，该分次模的消去理想是否仍为单项式？
• RQ4 该构造能否通过 quiver 的 Hall 代数实现，从而将量子群与 quiver 的表示理论联系起来？
• RQ5 该量子滤子与经典 PBW 框架有何关系，特别是在 $q \to 1$ 的极限下？

主要发现

• 滤子 $\mathcal{F}_\bullet U_q(\mathfrak{n}^-)$ 为量子群赋予了一个滤子代数结构，其对应的分次代数同构于 $S_q(\mathfrak{n}^-)$，即 $q$-交换多项式代数。
• 任意一个单的有限维模 $V_q(\lambda)$ 的对应分次模 $V_q^\mathcal{F}(\lambda)$ 同构于 $S_q(\mathfrak{n}^-)/I_q^\mathcal{F}(\lambda)$，其中 $I_q^\mathcal{F}(\lambda)$ 是一个单项式理想。
• 集合 $\{F^{\mathbf{p}} \mathbf{v}_\lambda \mid \mathbf{p} \in S(\lambda)\}$ 构成 $V_q^\mathcal{F}(\lambda)$ 的一个单项基，其中 $S(\lambda)$ 参数化了多面体 $P(\lambda)$ 的格点。
• 在 $q=1$ 处的特殊化下，消去理想的单项性得以保持，从而恢复了 Feigin、Littelmann 以及第二作者所给出的经典单项基。
• 该构造提供了一个经典 PBW 框架的量子类比，其中滤子避免了对单项式的全序要求，但仍能产生单项消去理想。
• 度函数 $\deg(F_{i,j}) = (j-i+1)(n-j+1)$ 确保了与 Hall 代数结构以及 $S_q(\mathfrak{n}^-)$ 中的 $q$-交换关系的相容性。