[论文解读] On the representation theory of finite J-trivial monoids

Tom Denton, Florent Hivert+2 more|arXiv (Cornell University)|Oct 17, 2010

Advanced Combinatorial Mathematics参考文献 29被引用 21

一句话总结

本文通过证明关键代数不变量——如卡坦矩阵、 quiver 和投射模——可完全通过单个幺半群中元素的计数来计算，建立了一个有限 $χ$-平凡幺半群表示理论的组合框架。核心贡献是提出一种构造性、与域无关的方法，利用莫比乌斯反演和递归提升将单位元分解为正交幂等元，从而实现表示论数据的 $O(n^2)$ 计算。

ABSTRACT

In 1979, Norton showed that the representation theory of the 0-Hecke algebra admits a rich combinatorial description. Her constructions rely heavily on some triangularity property of the product, but do not use explicitly that the 0-Hecke algebra is a monoid algebra. The thesis of this paper is that considering the general setting of monoids admitting such a triangularity, namely J-trivial monoids, sheds further light on the topic. This is a step to use representation theory to automatically extract combinatorial structures from (monoid) algebras, often in the form of posets and lattices, both from a theoretical and computational point of view, and with an implementation in Sage. Motivated by ongoing work on related monoids associated to Coxeter systems, and building on well-known results in the semi-group community (such as the description of the simple modules or the radical), we describe how most of the data associated to the representation theory (Cartan matrix, quiver) of the algebra of any J-trivial monoid M can be expressed combinatorially by counting appropriate elements in M itself. As a consequence, this data does not depend on the ground field and can be calculated in O(n^2), if not O(nm), where n=|M| and m is the number of generators. Along the way, we construct a triangular decomposition of the identity into orthogonal idempotents, using the usual Möbius inversion formula in the semi-simple quotient (a lattice), followed by an algorithmic lifting step. Applying our results to the 0-Hecke algebra (in all finite types), we recover previously known results and additionally provide an explicit labeling of the edges of the quiver. We further explore special classes of J-trivial monoids, and in particular monoids of order preserving regressive functions on a poset, generalizing known results on the monoids of nondecreasing parking functions.

研究动机与目标

• 开发一种用于计算有限 $χ$-平凡幺半群表示论不变量的组合性、与域无关的方法。
• 通过将 $0$-Hecke 代数视为 $χ$-平凡幺半群的特例，推广其表示理论。
• 提供一个仅使用幺半群元素及其结构来计算卡坦矩阵、 quiver 和投射模的算法框架。
• 通过在半单商代数中应用莫比乌斯反演与提升，构建单位元到正交幂等元的三角分解。
• 将关于非递减停车场函数与保序递归函数的已知结果推广至更广泛的 $χ$-平凡幺半群类。

提出的方法

• 利用 $χ$-平凡性质在幺半群上定义偏序，使得对所有 $x,y$ 有 $xy \leq x$ 且 $xy \leq y$。
• 利用半单商代数（一个格）应用莫比乌斯反演，在商代数中构造正交幂等元。
• 实施一个算法化的提升步骤，将这些幂等元从半单商代数提升回完整的幺半群代数。
• 通过计数幺半群中满足特定序关系与幂等条件的元素，组合地表达卡坦矩阵与 quiver 数据。
• 利用交半格的线性扩展与有效图的前缀树，构建幂等元的递归分支规则。
• 为每个有效 $+/-\,$ 图 $D$ 定义半幂等元 $C_D = L_D R_D$，其中 $L_D$ 与 $R_D$ 通过生成元与投影递归构造。

实验结果

研究问题

• RQ1 是否可以仅使用幺半群本身中的组合数据完全描述 $χ$-平凡幺半群的表示论？
• RQ2 是否可以仅通过元素计数而不依赖线性代数来计算 $χ$-平凡幺半群的卡坦矩阵与 quiver？
• RQ3 是否能通过基于幺半群序结构的构造性、递归方法，将幺半群代数的单位元分解为正交幂等元？
• RQ4 在保序递归函数幺半群中，通过递归分支构造的幂等元是否能产生一个完整且本原正交分解？
• RQ5 在多大程度上，$χ$-平凡幺半群的表示论不变量依赖于基域？

主要发现

• 任何 $χ$-平凡幺半群的卡坦矩阵均为上单三角矩阵，且可通过幺半群中元素的计数计算，与基域无关。
• 代数的 quiver 完全由满足特定序关系与幂等条件的元素对的计数决定，且为 $0$-Hecke 代数提供了显式的边标记。
• 通过在半单商代数中应用莫比乌斯反演，再结合算法化提升，构建了单位元到正交幂等元的分解，实现 $O(n^2)$ 复杂度，其中 $n = |M|$。
• 对于在交半格 $L$ 上的保序递归函数幺半群，卡坦矩阵为上单三角矩阵，且幂等元 $C_D$ 构成一组完整正交集。
• 通过分支规则定义的半幂等元 $C_D$ 在所有测试案例中（最多 8 个元素）均直接满足幂等性，表明其构成一组本原正交幂等元。
• 该方法恢复了关于 $0$-Hecke 代数与非递减停车场函数的已知结果，同时将其推广至更广泛的幺半群类，并统一于一个组合框架之下。