[論文レビュー] Brauer algebras of type C

Arjeh M. Cohen, Shoumin Liu+1 more|arXiv (Cornell University)|Jan 18, 2011

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

ひとこと要約

本稿では、古典的ブラウアー代数の一般化として、タイプ$\mathrm{C}_n$の新しいブラウアー代数を、生成子と関係式によって定義する。この代数が古典的ブラウアー代数$\mathrm{Br}(\mathrm{A}_{2n-1})$における対称的図式の部分代数に同型であることを証明し、閉形式の公式を用いて自由性、セルフネス、正確なランクを確立する。これにより、ブラウアー代数のタイプ$\mathrm{C}_n$が$\mathrm{Br}(\mathrm{A}_{2n-1})$の対称的部分代数として自然に実現される。同型写像は、生成子$r_i$と$e_i$を$\mathrm{Br}(\mathrm{A}_{2n-1})$内の$R_j$と$E_j$の積にマッピングすることで明示的に構成される。主な貢献は、$\mathbb{Z}[\delta^{\pm 1}]$上でのセルフネス代数としての$\mathrm{Br}(\mathrm{C}_n)$の完全な代数的および組合せ論的特徴づけである。$\mathrm{Br}(\mathrm{C}_n)$のランクは、特定の対称性を持つ分割の和を含む閉形式の公式で与えられ、この代数は再帰関係を満たす$a_n$の自由なランク$a_{2n}$を持つことが示された。

ABSTRACT

For each natural number n greater than 1, we define an algebra satisfying many properties that one might expect to hold for a Brauer algebra of type Cn. The monomials of this algebra correspond to scalar multiples of symmetric Brauer diagrams on 2n strands. The algebra is shown to be free of rank the number of such diagrams and cellular, in the sense of Graham and Lehrer.

研究の動機と目的

• タイプ$\mathrm{C}_n$のブラウアー代数が、コクセター系のタイプ$\mathrm{C}_n$に対して期待されるブラウアー代数の性質を満たす新しい代数的構造を定義すること。
• この新しい代数と古典的ブラウアー代数$\mathrm{Br}(\mathrm{A}_{2n-1})$における対称的ブラウアー図式の部分代数との正確な同型を確立すること。
• 得られた代数が$\mathbb{Z}[\delta^{\pm 1}]$上自由であり、グレーハムとルーラーの意味でのセルフネスであることを証明し、構造的および表現論的性質を保証すること。

提案手法

• タイプ$\mathrm{C}_n$のディンキン図の関係によって定まる、$r_0, \dots, r_{n-1}$（反転）と$e_0, \dots, e_{n-1}$（準等幂）を生成子とする$\mathrm{Br}(\mathrm{C}_n)$の定義。
• $\mathrm{Br}(\mathrm{C}_n) \to \mathrm{SBr}(\mathrm{A}_{2n-1})$を$\mathbb{Z}[\delta^{\pm 1}]$代数同型として明示的に構成し、$i > 0$に対して$r_i$を$R_{n-i}R_{n+i}$、$e_i$を$E_{n-i}E_{n+i}$にマッピングし、$r_0$を$R_n$、$e_0$を$E_n$にマッピングする。
• 適切な根集合と単項式標準形の理論を用いて、$\mathrm{Br}(\mathrm{C}_n)$内の単項式の構造を分析し、特に直交根集合上の単項式モノイドの作用を考察する。
• $\mathrm{A}_{2n-1}$のコクセター図の自己同型によって誘導される対称性を分析することで、$\phi$の像が正確に対称的図式部分代数$\mathrm{SBr}(\mathrm{A}_{2n-1})$であることを証明する。
• 再帰的分解と単項式標準形を用いて、セルフネスのためのセル・データ$(\Lambda, T, C, *)$を構成し、セルフネスの3つの公理を検証することで、$\mathrm{Br}(\mathrm{C}_n)$のセルフネスを証明する。
• 再帰関係$a_n = a_{n-1} + 2(n-1)a_{n-2}$（$a_0 = a_1 = 1$）を用いて、$\mathrm{Br}(\mathrm{C}_n)$のランクの閉形式の公式$\sum_{i=0}^{n} \left( \sum_{p+2q=i} \frac{n!}{p!q!(n-i)!} \right)^2 2^{n-i} (n-i)!$を導出し、検証する。

実験結果

リサーチクエスチョン

• RQ1 タイプ$\mathrm{C}_n$のブラウアー代数に対して、古典的ブラウアー代数$\mathrm{A}_{2n-1}$の一般化として自然な代数的構造が存在するか？
• RQ2 $\mathrm{Br}(\mathrm{A}_{2n-1})$における対称的ブラウアー図式の部分代数が、タイプ$\mathrm{C}_n$の生成子と関係式によって定義された新しい代数と同型であるか？
• RQ3 得られた代数が自由かつセルフネスであることを示すことができ、良好な構造的および表現論的性質を保証できるか？
• RQ4 タイプ$\mathrm{C}_n$のブラウアー代数の正確なランクは何か？また、閉形式で表せるか？

主な発見

• タイプ$\mathrm{C}_n$のブラウアー代数、$\mathrm{Br}(\mathrm{C}_n)$は、古典的ブラウアー代数$\mathrm{Br}(\mathrm{A}_{2n-1})$における対称的図式の部分代数$\mathrm{SBr}(\mathrm{A}_{2n-1})$に同型であり、生成子上で定義された明示的同型写像$\phi$を介して実現される。
• $\mathrm{Br}(\mathrm{C}_n)$は、$a_n$が再帰関係$a_n = a_{n-1} + 2(n-1)a_{n-2}$（$a_0 = a_1 = 1$）を満たす$\mathbb{Z}[\delta^{\pm 1}]$上自由なランク$a_{2n}$を持つ。ランクは閉形式の公式$\sum_{i=0}^{n} \left( \sum_{p+2q=i} \frac{n!}{p!q!(n-i)!} \right)^2 2^{n-i} (n-i)!$で与えられる。
• $\mathrm{Br}(\mathrm{C}_n)$はグレーハムとルーラーの意味でのセルフネス代数であり、再帰的分解と単項式標準形を用いて明示的に構成されたセル・データを持つ。
• $\mathrm{C}_n$型コクセター群の群代数は、すべての$e_i$によって生成されるイデアルで割った商として得られ、$e_i$によって生成される部分代数は、タイプ$\mathrm{B}_n$のテンパレー＝リーブ代数に同型である。
• $\mathrm{Br}(\mathrm{C}_n)$の放物型部分代数（$J$をディンキンノードの部分集合として、$\{r_j, e_j\}_{j \in J}$によって生成される）は、$J$の連結成分に対応するタイプのブラウアー代数に同型であり、制限において良好な振る舞いを示す。
• $\mathrm{Br}(\mathrm{C}_2)$の次元は25であり、これはチェンがタイプ$\mathrm{I}_2(4)$に対して定義した24次元代数を上回るため、本研究の構成は別個でより大きな代数を生成していることを示している。