[论文解读] PBW--filtration over $\bz$ and compatible bases for $V_\bz(\la)$ in type ${ t A}_n$ and ${ t C}_n$

Evgeny Feigin, Ghislain Fourier+1 more|arXiv (Cornell University)|Apr 9, 2012

Algebraic structures and combinatorial models参考文献 9被引用 3

一句话总结

该论文在类型 $\mathbf{A}_n$ 和 $\mathbf{C}_n$ 中，为最高权表示 $V_\mathbb{Z}(\lambda)$ 建立了整数环上的 PBW-滤子，证明了其对应的分次模 $V^a_\mathbb{Z}(\lambda)$ 是 $S_\mathbb{Z}(\mathfrak{n}^{-,a})$-模，且为无挠模，具有相容的整数基。关键结果是为 $V^a_\mathbb{Z}(\lambda)$ 建立了一个特征无关的组合分次特征公式，通过 PBW 滤子的整数实现，该公式在任意域上均成立。

ABSTRACT

We study the PBW-filtration on the highest weight representations $V(\la)$ of the Lie algebras of type ${ t A}_{n}$ and ${ t C}_{n}$. This filtration is induced by the standard degree filtration on $\U(\fn^-)$. In previous papers, the authors studied the filtration and the associated graded algebras and modules over the complex numbers. The aim of this paper is to present a proof of the results which holds over the integers and hence makes the whole construction available over any field.

研究动机与目标

• 将最高权表示上的 PBW-滤子及其对应的分次结构从复数域推广到整数环，确保其在任意域上的适用性。
• 通过识别定义理想 $I_\mathbb{Z}(\lambda)$，将 $V^a_\mathbb{Z}(\lambda)$ 描述为 $S_\mathbb{Z}(\mathfrak{n}^{-,a})$-模的循环模。
• 构造 $V^a_\mathbb{Z}(\lambda)$ 的相容整数基，证明其作为 $\mathbb{Z}$-模是无挠的。
• 推导出 $V^a_\mathbb{Z}(\lambda)$ 的特征无关的组合分次特征公式，该公式在任意域上均成立。
• 建立 $V^a_\mathbb{Z}(\lambda + \mu)$ 作为 $V^a_\mathbb{Z}(\lambda) \otimes_\mathbb{Z} V^a_\mathbb{Z}(\mu)$ 子模的张量积性质，保持最高权向量的映射关系。

提出的方法

• 通过将泛包络代数上的标准次数滤子提升到整数形式，在 $\mathbb{Z}$ 上构造 $U(\mathfrak{n}^{-})$ 上的 PBW-滤子。
• 将整数模型 $V_\mathbb{Z}(\lambda)$ 定义为 $U_\mathbb{Z}(\mathfrak{n}^{-})$ 在最高权向量 $v_\lambda$ 上的作用像，保持整数性。
• 证明对应的分次模 $V^a_\mathbb{Z}(\lambda)$ 同构于 $S_\mathbb{Z}(\mathfrak{n}^{-,a}) / I_\mathbb{Z}(\lambda)$，其中 $I_\mathbb{Z}(\lambda)$ 是由 $\mathbb{Z}$ 上的关系生成的理想。
• 利用钻石引理和生成元 $f_{i,j}^{(s)}$ 上的单项式序，证明标准单项式构成 $V^a_\mathbb{Z}(\lambda)$ 的 $\mathbb{Z}$-基，从而保证无挠性。
• 通过将 $v_{\lambda+\mu}$ 映射到 $v_\lambda \otimes v_\mu$ 的典范映射，建立 $V^a_\mathbb{Z}(\lambda + \mu) \hookrightarrow V^a_\mathbb{Z}(\lambda) \otimes_\mathbb{Z} V^a_\mathbb{Z}(\mu)$ 的张量积嵌入。
• 通过结合整数 PBW-滤子与已知的复数域特征公式，推导出分次特征公式，证明其在 $\mathbb{Z}$ 上成立，从而在任意域上成立。

实验结果

研究问题

• RQ1 能否在 $\mathbb{Z}$ 上定义 $V(\lambda)$ 上的 PBW-滤子，以确保滤子及其对应分次模的整数性？
• RQ2 对应的分次模 $V^a_\mathbb{Z}(\lambda)$ 是否作为 $\mathbb{Z}$-模是无挠的，且是否具有相容的 $\mathbb{Z}$-基？
• RQ3 是否能通过一个整数理想 $I_\mathbb{Z}(\lambda)$ 显式描述 $V^a_\mathbb{Z}(\lambda)$ 作为 $S_\mathbb{Z}(\mathfrak{n}^{-,a})$-模的循环模结构？
• RQ4 分次特征 $V^a_\mathbb{Z}(\lambda)$ 是否存在一个组合公式，使其在任意域上成立，且与特征无关？
• RQ5 张量积性质 $V^a_\mathbb{Z}(\lambda + \mu) \hookrightarrow V^a_\mathbb{Z}(\lambda) \otimes_\mathbb{Z} V^a_\mathbb{Z}(\mu)$ 是否在 $\mathbb{Z}$ 上保持成立，且最高权向量是否映射到最高权向量的张量积？

主要发现

• 在 $\mathbb{C}$ 上的 $V(\lambda)$ 上的 PBW-滤子可提升至 $V_\mathbb{Z}(\lambda)$ 上的整数滤子，其对应的分次模 $V^a_\mathbb{Z}(\lambda)$ 同构于 $S_\mathbb{Z}(\mathfrak{n}^{-,a}) / I_\mathbb{Z}(\lambda)$，其中 $I_\mathbb{Z}(\lambda)$ 是显式定义的理想。
• $V^a_\mathbb{Z}(\lambda)$ 作为 $\mathbb{Z}$-模是无挠的，且其相容 $\mathbb{Z}$-基由生成元 $f_{i,j}^{(s)}$ 的标准单项式构成。
• 为 $V^a_\mathbb{Z}(\lambda)$ 建立了特征无关的组合分次特征公式，将复数域情形推广至任意域。
• 张量积性质在整数环上成立：存在唯一的 $S_\mathbb{Z}(\mathfrak{n}^{-,a})$-模同态 $V^a_\mathbb{Z}(\lambda + \mu) \hookrightarrow V^a_\mathbb{Z}(\lambda) \otimes_\mathbb{Z} V^a_\mathbb{Z}(\mu)$，将 $v_{\lambda+\mu}$ 映射到 $v_\lambda \otimes v_\mu$。
• 证明依赖于钻石引理和单项式序，以证明标准单项式构成基，并表明滤子中所有关系均在 $\mathbb{Z}$ 上定义。
• 该构造适用于类型 $\mathbf{A}_n$ 和 $\mathbf{C}_n$，且结果与基域的特征无关。