[論文レビュー] Tilting Modules over the Path Algebra of Type A, Polytopes, and Catalan Numbers

Lutz Hille|arXiv (Cornell University)|May 22, 2015

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

ひとこと要約

本稿では、型$ȑA_n$の根系から構成される単体的多面体を用いて、カタラン数の幾何的実現を確立する。具体的には、傾きモジュールおよびサポート傾きモジュールを用いて定義される特定の多面体の体積が、それらのモジュールの個数を正確に数えることを示している。多面体$P(Q)$の体積は2-サポート傾きモジュールの個数に等しく、それは${2n \choose n}$に一致する。また、多面体$P^+(Q)$の体積はカタラン数$C_n$に等しくなることが、整数体積正規化およびデイクパスや根付き木との関係を用いて証明されている。

ABSTRACT

It is well known that the number of tilting modules over a path algebra of type A_n coincides with the Catalan number C(n). Moreover, the number of support tilting modules of type A_n is the Catalan number C(n+1). We show that the convex hull of all roots of a root system of type A_n is a polytope with integral volume (n + 1)C(n+1). Moreover, we associate to the set of tilting modules and to the set of support tilting modules certain polytopes and show that their volumes coincide with the number of those modules, respectively. Finally, we show that these polytopes can be defined just using the root system and relate their volumes, so that we can derive the above results in a new way.

研究の動機と目的

• 型$ȑA_n$のパス代数上の傾きモジュールおよびサポート傾きモジュールの個数の幾何的解釈を、多面体を用いて確立すること。
• 根系と傾きモジュールから構成される特定の多面体の体積が、これらのモジュールの個数と一致することを示すこと。
• 整数体積正規化を用いて、多面体$P(Q)$の体積が2-サポート傾きモジュールの個数、すなわち${2n \choose n}$に等しいことを証明すること。
• 表現論の文脈において、多面体、根付き木、デイクパスを統一的に用いてカタラン数の組合せ的解釈を提示すること。

提案手法

• 型$ȑA_n$の根系の根の凸包として、3つの多面体系列$C(Q)$, $C^{+}(Q)$, $C^{\mathrm{clus}}(Q)$を構成する。
• 傾きモジュールおよびその一般化と関連する単体の和集合として、2番目の多面体系列$P(Q)$, $P^{+}(Q)$, $P^{\mathrm{clus}}(Q)$を定義する。
• 整数体積正規化を用いる。ここで、整数基底を持つ単体の体積を1と定義するため、格子多面体の体積は整数となる。
• 多面体$P^{+}(Q)$, $P^{\mathrm{clus}}(Q)$, $P(Q)$の体積が、それぞれ傾きモジュール、サポート傾きモジュール、2-サポート傾きモジュールの個数に一致することを証明する。
• 傾きシーケンスと対称群$S_n$の元との間の全単射を確立し、多面体$P^{+}(Q)$の体積が$n!$に等しいことを示す。
• デイクパスおよび一般化されたパスを用いて、多面体$P(Q)$の体積を${2n \choose n}$として解釈し、括弧の組合せや2-サポート傾きモジュールの組合せ論的性質と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 型$ȑA_n$のパス代数上の傾きモジュールの個数を、多面体を用いてどのように幾何的に実現できるか？
• RQ2 根系から定義される多面体の体積と、傾きモジュールの個数の間にはどのような関係があるか？
• RQ3 整数体積正規化を用いて、傾きモジュールから構成される多面体の体積が、そのモジュールの個数に等しいことを示せるか？
• RQ4 デイクパスおよび一般化されたパスは、2-サポート傾きモジュールの組合せ論的性質と、多面体$P(Q)$の体積とどのように関係するか？
• RQ5 型$ȑA_n$の根系のみを用いて、傾きモジュールのカタラン数の個数を一様に幾何的に説明する構成は存在するか？

主な発見

• 傾きモジュールから構成された多面体$P^{+}(Q)$の体積は、ちょうど$n!$に等しく、これは傾きシーケンスの個数と一致する。
• 多面体$P^{\mathrm{clus}}(Q)$の体積はカタラン数$C_{n+1}$に等しく、これは$ȑA_n$上のサポート傾きモジュールの個数を数える。
• 2-サポート傾きモジュールに対応する多面体$P(Q)$の体積は${2n \choose n}$に等しく、これはそのモジュールの個数そのものである。
• 型$ȑA_n$の根系のすべての根の凸包である多面体$C(ȑA_n)$の体積は整数であり、$(n+1)C_{n+1} = {2n \choose n}$に等しい。
• $P(Q)$と$C(ȑA_n)$の体積が一致することを示し、根系と傾きモジュールの個数の間の幾何的対応関係を確立した。
• この構成により、2-サポート傾きモジュールの個数が、$(0,0)$から$(2n,0)$への、上昇ステップ$(1,1)$と下降ステップ$(1,-1)$からなるパスで、各セグメントにおいて非負または非正のままであるパスの個数に等しくなることが示された。その結果、二項係数${2n \choose n}$が得られた。