[论文解读] Constructible characters and b-invariants

Cédric Bonnafé|arXiv (Cornell University)|Feb 12, 2013

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

一句话总结

该论文证明，在具有任意权函数的有限考克斯eter群中，每个卢茨蒂格 $φ$-族包含唯一一个具有最小 $b$-不变量的不可约特征标，且每个 $φ$-可构造特征标也具有唯一一个具有最小 $b$-不变量的不可约分量。这些结果将卢茨蒂格对常权函数情形下的特殊特征标理论推广至非恒定权函数情形，并为卡兹丹-卢茨蒂格与卡洛杰罗-莫泽细胞结构之间猜想的等价性提供了有力证据。

ABSTRACT

To each finite Coxeter system (W,S) and to each weight function L, Lusztig has defined the notions of constructible characters and of Lusztig families of W, using the so-called J-induction. Whenever L is constant, and using a general argument, Lusztig has shown that all Lusztig family contains a unique character with minimal b-invariant, and that every constructible character contains an irreducible constituent with minimal b-invariant. We show in this paper that this can be generalized to the case where L is not constant: our proof is by a case-by-case analysis.

研究动机与目标

• 将卢茨蒂格的特殊特征标理论——此前仅适用于常权函数——推广至有限考克斯eter群上任意正权函数的一般情形。
• 研究 $b$-不变量（表示论中的关键不变量）与卡兹丹-卢茨蒂格和卡洛杰罗-莫泽细胞结构之间猜想等价性的相容性。
• 验证已知对卡洛杰罗-莫泽细胞特征标成立的最小 $b$-不变量性质，同样适用于卢茨蒂格的 $φ$-可构造特征标及其族。
• 提供结构证据，支持卢茨蒂格的 $φ$-可构造特征标与卡洛杰罗-莫泽 $φ$-细胞特征标及其族相等的猜想。

提出的方法

• 将不可约特征标的 $b$-不变量定义为其虚假次数多项式 $f_{\chi}(\mathbf{t})$ 的赋值。
• 通过图 $\mathcal{G}_{W,\varphi}^{\mathrm{Lus}}$ 定义卢茨蒂格 $φ$-族，其中顶点为不可约特征标，边连接出现在同一 $φ$-可构造特征标中的特征标，将 $φ$-族定义为连通分支。
• 利用关于卡洛杰罗-莫泽细胞特征标及其 $b$-不变量的已知结果（定理 CM），与卢茨蒂格的 $φ$-可构造特征标进行比较。
• 通过对集合 $Z'$ 的大小进行归纳，证明涉及 $b$-不变量与反射数据的某个不等式成立，从而确立关键构型中 $b$-不变量的最小性。
• 应用 $t=0$ 处的有理切赫尼科夫代数理论及卡洛杰罗-莫泽空间的几何，将 $b$-不变量与细胞结构联系起来。
• 利用如下事实：当且仅当 $\chi$ 是典范反射表示的分量时 $b_{\chi} = 1$，且 $b_{\varepsilon}$ 等于反射数，以分析极端情形。

实验结果

研究问题

• RQ1 当 $\varphi$ 不为常数时，每个卢茨蒂格 $\varphi$-族是否都包含唯一一个具有最小 $b$-不变量的不可约特征标？
• RQ2 每个 $\varphi$-可构造特征标是否都具有唯一一个具有最小 $b$-不变量的不可约分量？
• RQ3 卡洛杰罗-莫泽设定下细胞特征标的 $b$-不变量最小性性质，是否与卢茨蒂格的 $φ$-可构造特征标相容？
• RQ4 $b$-不变量能否用于区分和分类非恒定权函数情形下的 $φ$-可构造特征标及其族？
• RQ5 $b$-不变量结构在多大程度上支持卡兹丹-卢茨蒂格与卡洛杰罗-莫泽细胞划分之间猜想等价性的成立？

主要发现

• 每个卢茨蒂格 $\varphi$-族都包含唯一一个具有最小 $b$-不变量的不可约特征标，将卢茨蒂格对特殊特征标的结论推广至非恒定权函数情形。
• 每个 $\varphi$-可构造特征标都具有唯一一个具有最小 $b$-不变量的不可约分量，将最小性性质从族扩展至特征标本身。
• 此前仅知对卡洛杰罗-莫泽细胞特征标（系数 $r_{\chi_{\gamma}} = 1$）成立的 $b$-不变量最小性性质，现已被证明也适用于卢茨蒂格的 $φ$-可构造特征标。
• 证明依赖于对集合 $Z'$ 的归纳论证，确立了涉及某些分拆的 $b$-不变量的关键不等式，从而确认了关键构型中的最小性。
• 结果与猜想 $\mathrm{Cons}_{\varphi}^{\mathrm{Lus}}(W) = \mathrm{Cell}_{\varphi}^{\mathrm{CM}}(W)$ 和 $\mathrm{Fam}_{\varphi}^{\mathrm{Lus}}(W) = \mathrm{Fam}_{\varphi}^{\mathrm{CM}}(W)$ 相容，提供了强有力的结构证据。
• $b$-不变量在每个 $\varphi$-族与 $\varphi$-可构造特征标中充当规范选择器，其角色类似于常权函数情形下特殊特征标的规范选择作用。