[论文解读] The Center of the Nilcoxeter and 0-Hecke Algebras

Joelle Brichard|ArXiv.org|Nov 16, 2008

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

一句话总结

本文通过在 Möbius 带上的拓扑图示演算，计算了 0-Hecke 代数 $\mathcal{H}_n$ 和 Nilcoxeter 代数 $\mathcal{NC}_n$ 的中心维数。它为 $Z(\mathcal{NC}_n)$ 显式构造了一个基，表明该基下的乘法表是平凡的，并猜想 $Z(\mathcal{H}_n)$ 也可用类似方法构造，且两个中心的维数相同，由基于分拆的公式给出。

ABSTRACT

We compute the dimension of the center of the 0-Hecke algebra $\mathcal{H}_n$ and of the Nilcoxeter algebra $\mathcal{NC}_n$ using a calculus of diagrams on the Möbius band. In the case of the Nilcoxeter algebra, this calculus is shown to produce a basis for $Z(\mathcal{NC}_n)$ and the table of multiplication in this basis is shown to be trivial. We conjecture that a basis for $Z(\mathcal{H}_n)$ can also be obtained in a specific way from this topological calculus.

研究动机与目标

• 确定 0-Hecke 代数 $\mathcal{H}_n$ 和 Nilcoxeter 代数 $\mathcal{NC}_n$ 中心的维数。
• 在 Möbius 带上发展一种图示演算，以描述 $Z(\mathcal{NC}_n)$ 的基元素。
• 证明在所构造的 $Z(\mathcal{NC}_n)$ 基下，乘法表是平凡的。
• 猜想一种使用相同拓扑演算构造 $Z(\mathcal{H}_n)$ 基的方法。
• 通过商空间 $\mathcal{A}/[\mathcal{A},\mathcal{A}]_t$ 的同构关系，确立 $\dim Z(\mathcal{H}_n) = \dim Z(\mathcal{NC}_n)$。

提出的方法

• 在 Möbius 带上使用图示演算来表示代数 $\mathcal{H}_n$ 和 $\mathcal{NC}_n$ 的元素。
• 应用迹映射 $\varepsilon$，通过与 $\mathcal{A}/[\mathcal{A},\mathcal{A}]_t$ 的对偶性来识别中心 $Z(\mathcal{A})$。
• 将 $Z(\mathcal{NC}_n)$ 的基元素构造为 $\mathcal{A}/[\mathcal{A},\mathcal{A}]_t$ 中每个陪集代表元所对应图示的补集之和。
• 利用 $\mathcal{NC}_n$ 中的关系 $T_i^2 = 0$ 消去非极小图示，并定义等价类。
• 在 $\mathcal{H}_n$ 中应用关系 $T_i^2 = T_i$ 以生成冗余图示，并识别陪集代表元。
• 在 Möbius 带上使用拓扑等价性对图示进行分类，确保 $\mathcal{H}_n$ 与 $\mathcal{NC}_n$ 之间的一致性。

实验结果

研究问题

• RQ1 0-Hecke 代数 $\mathcal{H}_n$ 的中心维数是多少？
• RQ2 能否使用 Möbius 带上的拓扑图示演算来构造 $Z(\mathcal{NC}_n)$ 的基？
• RQ3 在所构造的 $Z(\mathcal{NC}_n)$ 基下，乘法表是否为平凡的？
• RQ4 尽管陪集结构更复杂，是否可将类似的基构造方法扩展到 $Z(\mathcal{H}_n)$？
• RQ5 $\mathcal{A} = \mathcal{H}_n$ 和 $\mathcal{A} = \mathcal{NC}_n$ 的商空间 $\mathcal{A}/[\mathcal{A},\mathcal{A}]_t$ 是否同构？

主要发现

• Nilcoxeter 代数 $\mathcal{NC}_n$ 中心的维数由公式 $\sum_{\lambda \vdash n} \frac{n_\lambda!}{m_\lambda}$ 给出，其中 $n_\lambda$ 是 $\lambda$ 中偶数部分的个数，$m_\lambda = \prod_j (i_j!)$。
• 为 $Z(\mathcal{NC}_n)$ 构造的基是 $\mathcal{A}/[\mathcal{A},\mathcal{A}]_t$ 中每个陪集所对应图示的补集之和。
• 在所构造的 $Z(\mathcal{NC}_n)$ 基下，乘法表是平凡的：任意两个不同基元素的乘积为零，且任一基元素与自身的乘积也为零。
• $\mathcal{A} = \mathcal{H}_n$ 和 $\mathcal{A} = \mathcal{NC}_n$ 的向量空间 $\mathcal{A}/[\mathcal{A},\mathcal{A}]_t$ 是同构的，这意味着 $\dim Z(\mathcal{H}_n) = \dim Z(\mathcal{NC}_n)$。
• 对于 $\mathcal{H}_n$，由于关系 $T_i^2 = T_i$ 的存在，$\mathcal{A}/[\mathcal{A},\mathcal{A}]_t$ 中一个图示的陪集比 $\mathcal{NC}_n$ 中更大，因此基的线性组合构造更为复杂。
• 图 24 展示了 $Z(\mathcal{H}_3)$ 的基元素，即总厚度为三的图示补集之和，体现了该构造的非平凡性。