[論文レビュー] Effective representations of Hecke-Kiselman monoids of type A

Love Forsberg|arXiv (Cornell University)|May 3, 2012

semigroups and automata theory参考文献 8被引用数 6

ひとこと要約

この論文は、整域上の行列代数を用いて、タイプ$A_n$のHecke-Kiselmanモノイドの有効な線形表現を構成し、底環に$\mathbb{Z}$を含むとき、これらのモノイドの有効次元が正確に$n$であることを証明する。さらに、特定の双方向HKモノイドの濃度として奇数のフィボナッチ数$F_{2n+1}$が現れることを同定し、タイプ$A_n$のHKモノイドにおける重複なし要素の数を数える。これらの結果は、$0$-HeckeおよびKiselmanモノイドに関する先行研究を一般化し、有効な表現を有する広範な有向グラフのクラスについて完全な記述を提供する。

ABSTRACT

We prove effectiveness of certain representations of Hecke-Kiselman monoids of type A constructed by Ganyushkin and Mazorchuk and also construct further classes of effective representations for these monoids. As a consequence the effective dimension of monoids of type A is determined. We also show that odd Fibonacci numbers appear as the cardinality of certain bipartite HK-monoids and count the number of multiplicity free elements in any HK-monoid of type A.

研究の動機と目的

• タイプ$A_n$のHecke-Kiselmanモノイドにおける有効表現理論を拡張し、$0$-HeckeおよびKiselmanモノイドに関する先行結果を一般化すること。
• 整域$\mathbb{Z}$を含む整域上のタイプ$A_n$のHKモノイドの有効次元を特定すること。
• 双方向HKモノイドの構造を特徴づけ、タイプ$A_n$のHKモノイドにおける重複なし要素を数えること。
• 特定の辺の向きと成分タイプを持つ有向グラフを用いた、有効な表現の構成的枠組みを提供すること。

提案手法

• 底環$\mathcal{R} \supset \mathbb{Z}$に対して、$\mathrm{Mat}_{n\times n}(\mathcal{R})$への行列準同型を用いて有効な表現を構成し、標準的グラフ構造を用いる。
• 三段階の構成を定義する：(1) 無向森から出発し、(2) すべての頂点をソースまたはシンクにするように辺を向き付け、(3) 辺を$A_n$、$\kappa_n$、または$Z_n$成分に置き換える。
• $0$-HeckeおよびKiselmanモノイドに関する既知の結果に整合する重み割り当てを用い、表現の単射性を保証する。
• 異なる単語の基底ベクトルへの作用を比較することで単射性を証明し、異なる行列像が得られることを示す。
• 有向グラフにおける辺関係の理論を応用してモノイド提示を定義し、一貫性を保証する。
• 標準的順序と頂点ラベル付けを活用して、単語の作用と行列像の解析を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 整域$\mathbb{Z}$を含む任意の整域$\mathcal{R}$上でのタイプ$A_n$のHecke-Kiselmanモノイドの有効次元は何か？
• RQ2 どの有向グラフのクラスが、それに関連するHKモノイドの有効な表現をもたらすか？
• RQ3 なぜ奇数のフィボナッチ数$F_{2n+1}$が特定のHKモノイドの濃度として現れるのか？
• RQ4 任意のタイプ$A_n$のHKモノイドにおける重複なし要素の数は何か？
• RQ5 $A_n$、$\kappa_n$、$Z_n$成分を組み合わせて得られるグラフ上のHKモノイドに対し、有効な表現を構成できるか？

主な発見

• 任意の整域$\mathcal{R} \supset \mathbb{Z}$上でのタイプ$A_n$のHecke-Kiselmanモノイドの有効次元は正確に$n$であり、$\mathrm{eff}.\.dim_{\mathcal{R}}(HK_{A_n}) = n$である。
• 特定の双方向HKモノイドの濃度は、基礎となるパスの頂点数を$n$として、奇数のフィボナッチ数$F_{2n+1}$で与えられる。
• 任意のタイプ$A_n$のHKモノイドにおける重複なし要素の数は、$n$番目のカタラン数$C_n = \frac{1}{n+1}\binom{2n}{n}$に等しい。
• 森の辺を$A_n$、$\kappa_n$、または$Z_n$成分に置き換えたグラフ上のHKモノイドに対し、一貫性のある重み割り当てを用いて有効な表現が構成される。
• 表現が有効であるのは、モノイド内の異なる単語が基底ベクトルに異なる作用をもたらし、行列準同型の単射性が保証されるからである。
• この構成は、既知の$0$-HeckeおよびKiselmanモノイドの有効表現を一般化し、それらの表現理論を共通の枠組みで統一する。