[論文レビュー] 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

ひとこと要約

この論文は、有限 $χ$-trivial モノイドの表現論に対して、キーモノイドの代数的不変量——カルタン行列、クイバー、射影的モジュール——がモノイド自体の要素数え上げによって純粋に計算可能であることを示すことにより、組合せ的枠組みを確立する。中心的貢献は、モビウス逆転と再帰的リフトを用いて、体に依存しない構成的メソッドにより単位元を直交する冪等元に分解できることであり、表現論的データの $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.

研究の動機と目的

• 有限 $χ$-trivial モノイドの表現論的不変量を計算するための、組合せ的かつ体に依存しない方法を開発すること。
• 0-ヘッケ代数の表現論を、$χ$-trivial モノイドの特別な場合として扱うことで一般化すること。
• モノイドの要素とその構造のみを用いて、カルタン行列、クイバー、射影的モジュールを計算するためのアルゴリズム的枠組みを提供すること。
• 半単純商におけるモビウス逆転とリフトを用いて、単位元を直交する冪等元に三角的分解すること。
• 非減少パーキング関数および順序を保つ再帰的関数に関する既知の結果を、より広範な $χ$-trivial モノイドのクラスへと拡張すること。

提案手法

• すべての $x,y$ に対して $xy \leq x$ および $xy \leq y$ が成り立つように、$χ$-trivial 性質を用いてモノイド上に部分順序を定義する。
• 半単純商（ラティス）を用いてモビウス逆転を適用し、半単純代数における直交する冪等元を構成する。
• これらの冪等元を半単純商から完全なモノイド代数へとアルゴリズム的にリフトするステップを実装する。
• モノイド内で特定の順序および冪等元条件を満たす要素の数え上げによって、カルタン行列およびクイバーのデータを組合せ的に表現する。
• ミート半ラティスの線形拡張と有効な図の接頭辞木を用いて、冪等元の再帰的分岐規則を構築する。
• 各有効な $+/-\,$ 図 $D$ に対して、$L_D$ および $R_D$ を生成子と射影から再帰的に構築したデミポテンシャル $C_D = L_D R_D$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 $χ$-trivial モノイドの表現論は、モノイド自体の組合せ的データのみを用いて完全に記述可能か？
• RQ2 $χ$-trivial モノイドのカルタン行列およびクイバーは、線形代数を用いずに、単に要素の数え上げに依存して計算可能か？
• RQ3 モノイドの順序構造に基づく構成的かつ再帰的な方法により、モノイド代数の単位元を直交する冪等元に分解可能か？
• RQ4 順序を保つ再帰的関数のモノイドにおける冪等元の再帰的分岐構成は、完全かつ原始的直交分解をもたらすか？
• RQ5 $χ$-trivial モノイドの表現論的不変量は、基礎体にどれほど依存するか？

主な発見

• 任意の $χ$-trivial モノイドのカルタン行列は上位三角行列であり、基礎体に依存せず、モノイド内の要素数え上げによって計算可能である。
• 代数のクイバーは、特定の順序および冪等元条件を満たす要素のペアの数え上げによって完全に決定され、$0$-ヘッケ代数に対して明示的なエッジラベルが提供されている。
• 半単純商におけるモビウス逆転の後にアルゴリズム的リフトを適用することで、単位元の直交する冪等元への分解が構成され、$n = |M|$ として $O(n^2)$ の計算量が達成される。
• ミート半ラティス $L$ 上の順序を保つ再帰的関数のモノイドに対して、カルタン行列は上位三角行列であり、冪等元 $C_D$ は完全かつ直交する集合を形成する。
• 分岐規則を用いて定義されたデミポテンシャル $C_D$ は、テスト済みのすべてのケース（最大8要素まで）で直接的に冪等元であることが確認され、原始的直交冪等元の集合を形成すると示唆される。
• 本手法は、既知の $0$-ヘッケ代数および非減少パーキング関数の結果を回復するとともに、一貫した組合せ的枠組みにより、より広範なクラスのモノイドへと拡張する。