[論文レビュー] Combinatorics of Character Formulas for the Lie Superalgebra $\fgl(m,n).$

Ian M. Musson, Vera Serganova|arXiv (Cornell University)|Apr 9, 2011

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

ひとこと要約

本稿は、Lie超代数 $\fgl(m,n)$ のKac加群における合成因子の重複度を計算する2つの異なるアルゴリズムの同等性について、重み図およびキャップ図と、グラフ $G$ におけるパスのキャンセレーションを用いた組合せ的証明を提供する。主な貢献は、非分解拡張が、部分グラフ $E$ の中で重みがゼロの辺にちょうど一致することを確立したことである。これは、超代数表現論における長年の問題を解決するものである。

ABSTRACT

Let $\fg$ be the Lie superalgebra $\fgl(m,n).$ Algorithms for computing the composition factors and multiplicities of Kac modules for $\fg$ were given by the second author in 1996, and by J. Brundan in 2003. We give a combinatorial proof of the equivalence between the two algorithms. The proof uses weight and cap diagrams introduced by Brundan and C. Stroppel, and cancelations between paths in a graph $\mathcal{G}$ defined using these diagrams. Each vertex of $\mathcal{G}$ corresponds to a highest weight of a finite dimensional simple module, and each edge is weighted by a nonnegative integer. If $\mathcal{E}$ is the subgraph of $\mathcal{G}$ obtained by deleting all edges of positive weight, then $\mathcal{E}$ is the graph that describes non-split extensions between simple highest weight modules. We also give a procedure for finding the composition factors of any Kac module, without cancelation. This procedure leads to a second proof of the main result.

研究の動機と目的

• SerganovaとBrundanが開発した $\fgl(m,n)$ のKac加群における合成因子重複度を計算する2つの組合せ的アルゴリズムの同等性を確立すること。
• 重み図およびキャップ図から構成されるグラフ $\nG$ における符号付きパス和を用いて、この同等性の新しい組合せ的証明を提供すること。
• 有限次元単純最高重み加群間の非分解拡張を、正の重みを持つ辺をすべて除去して得られる部分グラフ $\nE$ の $\nG$ における辺として特徴付けること。
• 任意のKac加群の合成因子を計算するキャンセレーションを必要としない手順を構築し、主結果の別証明を提供すること。
• BrundanとStroppelの先行研究に基づき、$\fgl(m,n)$ の表現論とKhovanovの図式代数との間のカテゴリカル同値性を明らかにすること。

提案手法

• 重み図およびキャップ図を符号化する、有限な台を持つ $\nZ$ から $\n{\times,\bigcirc,<,>}$ への関数の集合 $F$ を基底とする自由アーベル群 $\nZ F$ を定義する。
• 頂点が有限次元単純加群の最高重みを表し、図の移動に基づいて非負整数の重みが付与された辺を持つグラフ $\nG$ を構成する。
• Serganovaの公式を、$\nG$ 内のパスの符号付き和として表現し、各パスが $\nZ F$ の項に対応するようにする。
• 符号が逆の項をペアにする写像をパスの集合に定義し、キャンセレーションを可能にすることでBrundanの公式が得られることを示す。
• 正の重みを持つ辺をすべて削除して得られる部分グラフ $\nE \triangleq \nG$ を導入し、$\nExt^1(L(f),L(g)) \neq 0$ が成り立つのは $f$ と $g$ が $\nE$ の辺で接続されているときであることを示す。
• 放物型部分代数 $\nq^{(i)}$ と関手 $\nG^{(i)}$ についての逆帰納法を用い、低いレベルから高いレベルへ非分解拡張を引き上げることで、拡張に関する結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 SerganovaとBrundanによるKac加群の合成因子重複度を計算する2つの異なる組合せ的公式が、どのように同等であることが示せるか？
• RQ2 $\fgl(m,n)$ 表現の拡張および重複度データを符号化するグラフ $\nG$ の正確な組合せ的構造は何か？
• RQ3 $\nG$ のどの辺が、単純最高重み加群間の非分解拡張に対応するか？
• RQ4 任意のKac加群の合成因子を計算するキャンセレーションを必要としないアルゴリズムを構築できるか？
• RQ5 重み図およびキャップ図の構造は、Kazhdan-Lusztig多項式およびKhovanovの図式代数の表現論とどのように関係するか？

主な発見

• SerganovaのアルゴリズムとBrundanのアルゴリズムの両方が、グラフ $\nG$ 内のパスキャンセレーションを用いた組合せ的証明により同等であることが示された。
• グラフ $\nG$ はすべての合成因子重複度を符号化している：各頂点は有限次元単純加群の最高重みに対応し、辺の重みは重複度データを表す。
• 正の重みを持つ辺をすべて削除して得られる部分グラフ $\nE$ は、非分解拡張を分類する：$\nExt^1(L(f),L(g)) \neq 0$ が成り立つのは、$f$ と $g$ が $\nE$ の辺で接続されているときである。
• キャンセレーションを必要としない新しいアルゴリズムが構築され、主結果の同等性に関する別証明が得られた。
• この結果は、$\nZ_2$-符号付き有限次元加群の圏 $\nF$ とKhovanovの図式代数のバージョンの加群の間のカテゴリカル同値性からも一貫しており、導出可能である。
• 図の間で重みがゼロの合法的手順は、非分解拡張にちょうど一致する。このような手順は、キャップ図におけるキャップの両端のラベルを入れ替えることで特徴づけられる。