[论文解读] ON THE CANONICAL FILTRATION OF AN IRREDUCIBLE REPRESENTATION

Helge Øystein Maakestad|arXiv (Cornell University)|Mar 18, 2010

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

一句话总结

本文使用 $V_\bullet$ 的旗的对偶抛物子代数的幂零根的普遍包络代数 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$，构造了不可约有限维 $\mathfrak{sl}(V)$-模 $L(\lambda)$ 的典范滤子 $L_l(\lambda)$。它给出了 $L_l(\lambda)$ 的显式基，以 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ 表示，并计算了 $L_l(\lambda)$ 的维数作为 $l$ 的函数，通过先前工作中的几何实现，将该滤子与旗簇 $SL(V)/P$ 上的喷射丛联系起来。

ABSTRACT

The aim of this paper is to study the canonical filtration $L(λ)_l$ of an irreducible finite dimensional $\operatorname{SL}(V)$-module $L(λ)$ using the universal enveloping algebra $U(\mathfrak{sl}(V))$ and the annihilator ideal $ann(v)$ of a highest weight vector $v$ in $L(λ)$. We give a basis for $L(λ)_l$ and calculate the dimension of $L(λ)_l$ as a function of $l$. This is done in terms of the universal enveloping algebra of the nilpotent radical of an opposite parabolic sub algebra of the stabilizer Lie algebra of a flag $V_*$ in $V$ with respect to a choice of roots for $\mathfrak{sl}(V)$.

研究动机与目标

• 使用 $V$ 中旗 $V_\bullet$ 衍生的代数结构，构造不可约有限维 $\mathfrak{sl}(V)$-模 $L(\lambda)$ 的典范滤子 $L_l(\lambda)$。
• 以 $\mathfrak{n}(V_\bullet)^{\mathrm{op}}$ 的普遍包络代数 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ 的形式，为每个滤子层 $L_l(\lambda)$ 提供显式基。
• 将 $L_l(\lambda)$ 的维数作为滤子指标 $l$ 的函数进行计算，从而实现对滤子层的定量分析。

提出的方法

• 将旗 $V_\bullet$ 的稳定子李代数 $\mathfrak{p}(V_\bullet)$ 实现为 $\mathfrak{sl}(V)$ 的抛物子代数，其中 $\mathfrak{p}(V_\bullet)^{\mathrm{op}}$ 为其对偶。
• 定义 $\mathfrak{n}(V_\bullet)^{\mathrm{op}}$ 为 $\mathfrak{p}(V_\bullet)^{\mathrm{op}}$ 的幂零根，并利用其普遍包络代数 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ 构造滤子。
• 利用 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ 的典范滤子 $U_l(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ 构造 $L_l(\lambda)$ 的基，借助 $\mathfrak{p}(V_\bullet)$ 在 $L(\lambda)$ 上的作用。
• 利用最高权向量 $v$ 的零化理想 $\mathrm{ann}(v)$，将模结构与旗稳定子及对偶抛物结构联系起来。
• 应用 Borel-Weil-Bott 定理与几何表示理论，将 $L_l(\lambda)$ 解释为旗簇 $SL(V)/P$ 上喷射丛的纤维，从而连接代数与几何结构。

实验结果

研究问题

• RQ1 如何利用幂零根的普遍包络代数，显式构造不可约 $\mathfrak{sl}(V)$-模的典范滤子 $L_l(\lambda)$？
• RQ2 最高权向量的稳定子李代数与 $V$ 中旗的稳定子之间存在何种精确关系？
• RQ3 如何依赖于滤子指标 $l$ 和旗类型 $V_\bullet$，$L_l(\lambda)$ 的维数变化？
• RQ4 能否以 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ 中的单项式形式显式描述 $L_l(\lambda)$ 的基？
• RQ5 这种代数滤子如何与旗簇 $SL(V)/P$ 上的喷射丛几何构造相关联？

主要发现

• 典范滤子 $L_l(\lambda)$ 作为 $\mathfrak{p}(V_\bullet)$-模，通过 $U(\mathfrak{n}(V_\bullet)^{\mathrm{op}})$ 的典范滤子 $U_l(\frak{n}(V_\bullet)^{\mathrm{op}})$ 构造而成。
• 给出了 $L_l(\lambda)$ 的显式基，以 $U_l(\frak{n}(V_\bullet)^{\mathrm{op}})$ 中元素的乘积形式表示，且 $\mathfrak{p}(V_\bullet)$ 的作用保持滤子结构。
• 计算了 $L_l(\lambda)$ 的维数作为 $l$ 的函数，其公式依赖于旗类型 $V_\bullet$ 和最高权 $\lambda$，尽管文中未完全展开具体表达式。
• 最高权向量 $v$ 的稳定子李代数与旗 $V_\bullet$ 的稳定子 $\mathfrak{p}(V_\bullet)$ 一致，建立了表示论数据与几何数据之间的直接联系。
• 滤子 $L_l(\lambda)$ 同构于旗簇 $SL(V)/P$ 上线丛的 $l$-阶喷射丛在单位元处的纤维，提供了几何解释。
• 该构造被应用于研究旗簇上线性系统的判别式，潜在地通过 Bott 定理应用于行列式簇的 syzygy 研究。