[论文解读] Cells and Constructible Representations in type B

Thomas Pietraho|ArXiv.org|Oct 20, 2007

Advanced Combinatorial Mathematics参考文献 20被引用 5

一句话总结

本文在不等参数下统一了Lusztig的猜想性可构造表示与类型B Coxeter群中的组合细胞结构，表明通过多米诺表定义的Kazhdan-Lusztig细胞与基于符号表示的可构造模之间的一致性。关键结果建立了标准多米诺表中循环结构与可构造表示之间的双射，证实了在 $ s \in \mathbb{N} $ 的情况下，Lusztig的猜想（P1）–（P15）成立，排除不可约情形。

ABSTRACT

We examine the partition of a finite Coxeter group of type $B$ into cells determined by a weight function $L$. The main objective of these notes is to reconcile Lusztig's description of constructible representations in this setting with conjectured combinatorial descriptions of cells.

研究动机与目标

• 在不等参数下，统一Lusztig对类型 $ B_n $ 中可构造表示的猜想性描述与组合细胞结构。
• 验证Lusztig的猜想（P1）–（P15）与通过标准多米诺表对细胞的猜想性参数化在 $ s \in \mathbb{N} $ 下的一致性。
• 阐明Lusztig的特殊表示概念在不等参数情形下存在的条件。
• 修正并完善[3]中提出的类型 $ B_n $ 中两两Kazhdan-Lusztig细胞的猜想性描述。

提出的方法

• 使用秩为 $ r $ 的标准多米诺表（SDT）来参数化类型 $ B_n $ 中的左、右及两两细胞，其中循环结构编码细胞成员关系。
• 应用符号上 $ s $-可允许对合的概念，通过与划分相关的不可约表示的直和来定义可构造表示。
• 建立多米诺表中循环结构集合与 $ s $-可允许对合之间的双射，将组合细胞结构与表示理论联系起来。
• 利用划分的重心与核心结构来定义等价类与表示族，确保其与可构造模在截断与张量积下的封闭性一致。
• 利用第2.4节中的符号对应关系，实现基于符号的表示与基于划分的模之间的转换，从而实现可构造模的显式计算。
• 应用定理2.15，证明每个可构造 $ W_n $-模都可表示为 $ c(p, \sigma) $，其中 $ \sigma $ 为循环结构，因此也可表示为某个标准多米诺表 $ T $ 的 $ [T] $。

实验结果

研究问题

• RQ1 在不等参数下，通过标准多米诺表定义的组合细胞结构与Lusztig的可构造表示之间有何关系？
• RQ2 Lusztig的特殊表示概念在不等参数情形下于何种条件下存在？
• RQ3 能否利用可构造表示的框架来修正并验证[3]中关于两两细胞的猜想性描述？
• RQ4 多米诺表中的循环结构与可构造模的参数化之间是否存在一致的对应关系？

主要发现

• 从循环结构集合到 $ s $-可允许对合的映射是双射，证实所有可构造 $ W_n $-模均源于此类结构。
• 每个可构造 $ W_n $-模同构于 $ [T] = \bigoplus_{\mathcal{C} \subset OC^*(T)} [p_\mathcal{C}] $，其中 $ p_\mathcal{C} $ 是通过在标准多米诺表 $ T $ 的开放循环中移动所获得的形状。
• 两两细胞 $ \mathfrak{D} $ 中划分 $ p $ 的族恰好为 $ \pi(\mathfrak{D}) $，即通过在 $ p $ 的核心中填充与清空方格可获得的所有划分的集合，证实族结构与细胞分解一致。
• 与缺陷为3的符号 $ \Lambda = \left({0\;1\;3\;4 \atop 2}\right) $ 相关的可构造表示被显式计算为划分模的直和，验证了该方法在具体实例上的有效性。
• 本文修正了[3]中关于两两细胞的原始猜想，表明基于循环结构的参数化正确捕捉了类型 $ B_n $ 中的细胞分解。
• 对于 $ s \in \mathbb{N} $，通过多米诺表对细胞的猜想性描述与Lusztig的（P1）–（P15）猜想一致，为该参数范围内的有效性提供了强有力证据。