[論文レビュー] Homogeneous algebras, statistics and combinatorics

Michel Dubois‐Violette, Todor Popov|arXiv (Cornell University)|Jul 10, 2002

Algebraic structures and combinatorial models参考文献 17被引用数 6

ひとこと要約

本稿は、Koszul双対性およびPoincaré級数の公式をN-同次代数へ一般化し、2つの立方体代数（パラフェルミオン代数（寄与するパラ統計から）およびプレアック代数（組合せ論から））に適用する。両代数が同一のPoincaré級数およびKoszulホモロジーを持つことが確立され、D=2におけるパラフェルミオン代数のGL(2)対称性が、タイプS1の一般立方Artin-Schelter正則代数における量子群対称性GL_{p,q}(2)へ拡張され、プレアック代数はその特異的極限として得られることが示された。

ABSTRACT

After some generalities on homogeneous algebras, we give a formula connecting the Poincaré series of a homogeneous algebra with the homology of the corresponding Koszul complex generalizing thereby a standard result for quadratic algebras. We then investigate two particular types of cubic algebras: The first one called the parafermionic (parabosonic) algebra is the algebra generated by the creation operators of the universal fermionic (bosonic) parastatics with $D$ degrees of freedom while the second is the plactic algebra that is the algebra of the plactic monoid with entries in $\{1,2,..., D\}$. In the case D=2 we describe the relations with the cubic Artin-Schelter algebras. It is pointed out that the natural action of GL(2) on the parafermionic algebra for D=2 extends as an action of the quantum group $GL_{p,q}(2)$ on the generic cubic Artin-Schelter regular algebra of type $S_1$; $p$ and $q$ being related to the Artin-Schelter parameters. It is claimed that this has a counterpart for any integer $D\geq 2$.

研究の動機と目的

• 2次代数からN-同次代数への古典的Koszul双対性およびPoincaré級数の公式の拡張。
• パラ統計から生じるパラフェルミオン代数と、組合せ論から生じるプレアック代数を、同一のPoincaré級数を持つ立方体N-同次代数として分析。
• D=2におけるパラフェルミオン代数のGL(2)対称性が、タイプS1の一般Artin-Schelter正則代数における量子群対称性GL_{p,q}(2)に拡張されることの証明。
• パラフェルミオン代数とプレアック代数を含む族において、パrameterが0に近づく極限としてプレアック代数が特異的極限として現れることの示唆。

提案手法

• Koszul複体のホモロジーを用いて、N-同次代数のPoincaré級数の一般化された公式を導出。
• その公式を用いて、パラフェルミオン代数とプレアック代数が同一のPoincaré級数を持つことを証明。
• GL(D)の表現論を用いて、両代数がYoung図式によってラベル付けられた同次基底を有することを示す。
• パrameter qとrでパラメータ化されたタイプS1の立方体Artin-Schelter正則代数の族を分析し、パラフェルミオン代数がq=r=1に対応し、プレアック代数がq=0に対応することを示す。
• qr≠0のとき、量子群GL_{p,q}(2)が一般代数A_{q,r}に作用することを示す。ここでp=q/r²である。
• 対称性が任意のD≥2へ拡張され、プレアック代数が特異的極限として現れることを確立する。

実験結果

リサーチクエスチョン

• RQ1 2次代数のPoincaré級数の公式をN-同次代数へ一般化する方法は何か？
• RQ2 パラフェルミオン代数とプレアック代数の代数的およびホモロジー的不変量の観点から、それらの関係は何か？
• RQ3 D=2におけるパラフェルミオン代数のGL(2)対称性は、一般ケースにおいてどのように量子群対称性へ拡張されるか？
• RQ4 プレアック代数は、立方体Artin-Schelter正則代数の族において、特異的極限として果たす役割は何か？
• RQ5 D=2で観察された量子群対称性は、任意のD≥2へ一般化可能か？

主な発見

• パラフェルミオン代数とプレアック代数は同一のPoincaré級数P(t) = (1+t)^D / (1-t^2)^{D(D+1)/2}（D=2）を持つ。
• パラフェルミオン代数のPoincaré級数は、その普遍包あくり代数に超Poincaré-Birkhoff-Witt定理を適用することで回復される。
• パrameter qとrを有する一般立方体Artin-Schelter正則代数のタイプS1は、qr≠0のとき、p=q/r²を用いて量子群対称性GL_{p,q}(2)を有する。
• パラフェルミオン代数はq=r=1のケースに対応し、プレアック代数はq=0、r=1の特異的ケースに対応する。
• D=2におけるパラフェルミオン代数のGL(2)対称性は、qr≠0の一般代数A_{q,r}における量子群作用へ拡張される。
• パラフェルミオン代数とプレアック代数を含む代数族は、D≥2の任意のDへ一般化され、プレアック代数はその特異的極限として現れる。