[論文レビュー] Subalgebras of the Fomin-Kirillov algebra

Jonah Blasiak, Ricky Ini Liu+1 more|arXiv (Cornell University)|Oct 15, 2013

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

ひとこと要約

本稿は、n 個の頂点を持つグラフ G の辺に対応する生成子によって生成される、Fomin-Kirillov代数 𝒟_n の部分代数 𝒟_G を導入し、その性質を研究する。𝒟_G が任意の部分グラフ H ⊆ G に対する部分代数 𝒟_H 上の自由加群であることを示し、有限次元の場合には係数が対称である Hilbert 級数を持つ。主な結果として、G が単純根系型の Dynkin 図形またはサイクルである場合の単項式基底と Hilbert 級数の明示的計算がなされ、Coxeter 群や nil-Coxeter 代数との深い類似性が明らかになる。

ABSTRACT

The Fomin-Kirillov algebra $\mathcal E_n$ is a noncommutative quadratic algebra with a generator for every edge of the complete graph on $n$ vertices. For any graph $G$ on $n$ vertices, we define $\mathcal E_G$ to be the subalgebra of $\mathcal E_n$ generated by the edges of $G$. We show that these algebras have many parallels with Coxeter groups and their nil-Coxeter algebras: for instance, $\mathcal E_G$ is a free $\mathcal E_H$-module for any $H\subseteq G$, and if $\mathcal E_G$ is finite-dimensional, then its Hilbert series has symmetric coefficients. We determine explicit monomial bases and Hilbert series for $\mathcal E_G$ when $G$ is a simply-laced finite Dynkin diagram or a cycle, in particular showing that $\mathcal E_G$ is finite-dimensional in these cases. We also present conjectures for the Hilbert series of $\mathcal E_{ ilde{D}_n}$, $\mathcal E_{ ilde{E}_6}$, and $\mathcal E_{ ilde{E}_7}$, as well as for which graphs $G$ on six vertices $\mathcal E_G$ is finite-dimensional.

研究の動機と目的

• Fomin-Kirillov代数 𝒟_n の部分代数 𝒟_G の構造を、n 個の頂点を持つ任意のグラフ G に対して調査すること。
• 𝒟_G が有限次元となる条件を特定し、その Hilbert 級数と単項式基底を計算すること。
• 𝒟_G と Coxeter 群の nil-Coxeter 代数との間の構造的類似性を探ること。
• アフィン型 Dynkin 図形および6頂点のグラフに対して、𝒟_G の有限性と Hilbert 級数に関する予想を提示・検証すること。

提案手法

• G に属する辺 ij に対する x_ij によって生成される 𝒟_n の部分代数として 𝒟_G を定義する。
• 𝒟_n に備わる braided Hopf 代数構造を用いて、𝒟_G が左余理想部分代数であることを示す。
• 余理想部分代数の性質を用いて、任意の部分グラフ H ⊆ G に対して 𝒟_G が 𝒟_H 上の自由加群であることを証明する。
• 非退化な双一次形式を用いて、有限次元の 𝒟_G の Hilbert 級数が対称な係数を持つことを確立する。
• G が単純根系型の Dynkin 図形またはサイクルである場合の 𝒟_G に対して、明示的な単項式基底を構成する。
• テンソル積分解と商構成を用いて、サイクルの場合に 𝒟_G をアフィン対称群の nil-Coxeter 代数の商として記述する。

実験結果

リサーチクエスチョン

• RQ1 どのグラフ G に対して Fomin-Kirillov 部分代数 𝒟_G が有限次元となるか。
• RQ2 単純根系型の有限型 A_n, D_n, E_6, E_7 の Dynkin 図形に対して、𝒟_G の次元に対する一様な代数的または組合せ論的説明は存在するか。
• RQ3 補グラフ G1 と G2 を持つとき、乗法写像 𝒟_{G1} ⊗ 𝒟_{G2} → 𝒟_n が同型となるのはいつか。
• RQ4 𝒟_G の最小関係における 𝔛_n 次数は、関係の台の自己同型である必要があるか。
• RQ5 𝒟_G の構造的性質は、他のタイプの Fomin-Kirillov 代数やより一般の Nichols 代数へ拡張可能か。

主な発見

• coideal subalgebra 理論を用いて、任意の部分グラフ H ⊆ G に対して 𝒟_G が 𝒟_H 上の自由加群であることが示された。
• 非退化な双一次形式を用いて、有限次元の場合に 𝒟_G の Hilbert 級数が対称な係数を持つことが確認された。
• G が A_n, D_n, E_6, E_7 型の単純根系型 Dynkin 図形であるとき、𝒟_G の次元は Weyl 群の位数を接続指数で割ったものに等しい。
• G が n 個の頂点を持つサイクル（型 ˜A_{n-1}）であるとき、𝒟_G はアフィン対称群の nil-Coxeter 代数の商と同型であり、q=0 の極限における Hilbert 級数は [2][3]⋯[n] に等しい。
• 頂点数が5以下のすべての連結グラフについて、明示的な単項式基底と Hilbert 級数が計算され、次元は最大8,294,400に達する。
• 𝒟_{˜D_n}, 𝒟_{˜E_6}, 𝒟_{˜E_7} の Hilbert 級数に関する予想が提示され、6頂点のグラフのうち156個のうち、どれが有限次元となるかの予想も提示された。