[论文解读] The PBW filtration and convex polytopes in type $ t B$

Teodor Backhaus, Deniz Kus|arXiv (Cornell University)|Apr 24, 2015

Algebraic structures and combinatorial models参考文献 11被引用 5

一句话总结

本文证明了在类型 $\mathfrak{B}_n$ 中，存在正常多面体，其整数格点参数化了在 PBW 范数下不可约有限维表示的关联分次空间的基，特别针对 $\mathfrak{B}_3$ 和矩形权 $m\omega_i$。证明表明，这些多面体的整数格点给出 $\operatorname{gr}V(\lambda)$ 的基，从而导出新的有利模类与组合特征公式，且在 $n \geq 4$ 时出现关键区别，其中 $S(\omega_3)$ 和 $S(2\omega_3)$ 成为独立的构建块。

ABSTRACT

We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $ t B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $ t B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.

研究动机与目标

• 将 PBW 范数与 FFL 多面体理论从类型 $A_n$、$C_n$ 和 $G_2$ 扩展到类型 $\mathfrak{B}_n$，特别是针对不可约表示。
• 解决为 $\mathfrak{B}_n$ 表示的关联分次空间构造正常多面体的挑战，尤其在 $n \geq 4$ 时先前方法失效的情形。
• 通过组合多面体识别有利模，并为 $\mathfrak{B}_n$ 推导分次特征公式。
• 通过识别 Minkowski 和分解中新的构建块，解决类型 $\mathfrak{B}_n$ 的结构复杂性。

提出的方法

• 为类型 $\mathfrak{B}_n$ 中每个极大积分权 $\lambda$ 构造一个正常多面体 $P(\lambda)$，使得其整数格点参数化 $\operatorname{gr}V(\lambda)$ 的一个基。
• 使用 Dyck 路径组合学与多重指数系统来定义描述多面体 $P(\lambda)$ 的不等式，特别针对 $\mathfrak{B}_3$ 和矩形权 $m\omega_i$。
• 对多重指数 $\mathbf{s}$ 的支撑条件进行案例分析，以验证 $\mathbf{s} - \mathbf{t} \in S(\mathbf{D}, (m-k)\omega_3)$ 对于 $\mathbf{t} \in S(\mathbf{D}, k\omega_3)$ 成立，确保 Minkowski 和结构。
• 通过证明关联分次空间 $\operatorname{gr}V(\lambda)$ 同构于一个分次模的张量积子模，应用有利模理论。
• 通过 Java 程序进行计算验证，确认小权重下 $S(\lambda)$ 的基数，支持多面体构造。
• 依赖 PBW 范数与关联分次空间的框架，将表示论结构与凸几何及整数格点计数联系起来。

实验结果

研究问题

• RQ1 是否存在一个正常多面体，其整数格点参数化类型 $\mathfrak{B}_n$ 表示在 PBW 范数下关联分次空间 $\operatorname{gr}V(\lambda)$ 的基？
• RQ2 对于哪些类别的 $\mathfrak{B}_n$ 表示——特别是 $\mathfrak{B}_3$ 和矩形权——可以显式构造这样的多面体？
• RQ3 整数格点集 $S(\lambda)$ 的 Minkowski 和分解结构为何？其构建块在 $n \geq 4$ 时是否与 $n \leq 3$ 时不同？
• RQ4 PBW 范数在类型 $\mathfrak{B}_n$ 中是否能产生类似 $A_n$、$C_n$ 和 $G_2$ 类型中的有利模与组合特征公式？
• RQ5 与类型 $A_n$ 的 FFL 多面体相比，类型 $\mathfrak{B}_n$ 中多面体 $P(\lambda)$ 的定义不等式有何不同？

主要发现

• 对于 $\mathfrak{B}_3$，存在一个正常多面体 $P(\lambda)$，其整数格点 $S(\lambda)$ 参数化了 $V(\lambda)$ 和 $\operatorname{gr}V(\lambda)$ 的基，且满足 $|S(\lambda)| = \dim V(\lambda)$。
• 在 $\mathfrak{B}_3$ 中，对所有极大权 $\lambda, \mu \in P^+$，Minkowski 和性质 $S(\lambda) + S(\mu) = S(\lambda + \mu)$ 成立，确认了整数格点集的加法结构。
• 对于类型 $\mathfrak{B}_n$ 中的矩形权 $m\omega_i$，整数格点集 $S(m\omega_i)$ 由涉及 $S(\omega_i)$ 和 $S(2\omega_i)$ 的 Minkowski 和给出，且当 $n \geq 4$ 时，$S(2\omega_i)$ 成为新的构建块。
• 通过整数格点计数显式计算了 $\operatorname{gr}V(\lambda)$ 的特征与分次 $q$-特征：$\operatorname{ch}V(\lambda) = \sum_{\mu} |S(\lambda)^\mu| e^\mu$ 与 $\operatorname{ch}_q \operatorname{gr}V(\lambda) = \sum_{\mathbf{s} \in S(\lambda)} e^{\lambda - \operatorname{wt}(\mathbf{s})} q^{\sum s_\beta}$。
• $V(\lambda)$ 是有利模，其关联多面体 $P(\lambda)$ 是正常的，并实现了旗簇的 Newton–Okounkov 体。
• 当 $n \geq 4$ 时，Minkowski 和 $S(\omega_3) + S(\omega_3)$ 的基数为 $\dim V(2\omega_3) - 1$，表明 $S(2\omega_3)$ 不是 $S(\omega_3)$ 的倍数，因此 $S(2\omega_3)$ 必须作为独立的构建块用于 $S(m\omega_3)$ 的分解中。