[論文レビュー] The decomposition matrices of the Brauer algebra over the complex field

Paul Martin|ArXiv.org|Aug 11, 2009

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

ひとこと要約

本稿は、表現カテゴリの逆極限を用いて極限$\Delta$-分解行列$D$を構成することで、複素数体上のブレイアー代数の分解行列を計算する。$D$が標準的モジュールの投射的モジュールにおける合成多重度を符号化することを証明し、$C = DD^T$がカルタン行列を与えることを示し、すべてのブロックが偶数次元の分割によって添え字づけられた同一の行列に同型であることを示す。

ABSTRACT

We determine the decomposition matrices of the Brauer algebra over the complex field.

研究の動機と目的

• 複素数体上のブレイアー代数について、非分解的投射的モジュールにおける標準的モジュールの合成多重度を特定すること。
• ブレイアー代数$B_n(\delta)$のカルタン分解行列$C$を計算するという未解決問題を解消すること。
• すべての$n$および$\delta$にわたる分解データを捉える、一様な極限$\Delta$-分解行列$D$を構成すること。
• 分解行列のすべてのブロックが、偶数次元の分割によって添え字づけられた同一の行列に同型であることを示すこと。
• 極限$\Delta$-分解行列の成分についての閉形式の式を確立し、分解数の明示的計算を可能にすること。

提案手法

• ブレイアー代数$B_n^\mathbb{Z}$に対して、$\mathbb{Z}[\delta]$-自由な$\Delta^n(\lambda)$-モジュール構造を構成し、任意の体$k$上で$B_n(\delta)$-モジュールに基底変換する。
• $n$に関する逆極限を用いて、すべての$n$および$\delta$の分解行列に射影するユニバーサル$\Delta$-分解行列$D$を定義する。
• カルタン行列$C$が$C = DD^T$を満たすことを確立し、ここで$D_{\lambda\mu} = (P(\lambda):\Delta(\mu)) = [\Delta(\mu):L(\lambda)]$である。
• ブレイアー代数を分割代数カテゴリの部分カテゴリとして、$B_n(\delta)$-モジュールの図式的計算を用いてカテゴリカルに定式化する。
• 誘導および制限函手を用いて、異なる$n$における投射的モジュールを関連づけ、$GP_n(\lambda) = P_{n+2}(\lambda)$が成り立ち、非分解性が保たれることを示す。
• $D$が下三角行列化可能であり、$D_{\lambda\mu} = 0$であることを$|\mu| \geq |\lambda|$のとき保証することで、多重度が適切に定義されることを示す。

実験結果

リサーチクエスチョン

• RQ1 複素数体上のブレイアー代数について、非分解的投射的モジュールにおける標準的モジュールの合成多重度$(P(\lambda):\Delta(\mu))$は何か？
• RQ2 すべての$n$および$\delta$の分解行列を、極限構成によって一様にどのように記述できるか？
• RQ3 極限$\Delta$-分解行列$D$の成分について、閉形式の式は存在するか？
• RQ4 分解行列のすべてのブロックが同一の行列に同型であるか？ もしそうなら、その構造は何か？
• RQ5 初期の予想がパラボリックカジミール＝ルシュチグ多項式と関連しているにもかかわらず、$\Delta$-分解行列$D$はカジミール＝ルシュチグ理論に依存せずに構成可能か？

主な発見

• $\Delta$-分解行列$D$は下三角行列化可能であり、$D_{\lambda\lambda} = 1$かつ$|\mu| \geq |\lambda|$のとき$D_{\lambda\mu} = 0$である。
• カルタン行列$C$は$C = DD^T$で与えられ、ここで$C_{\lambda\mu} = [P(\lambda):L(\mu)]$は、単純モジュール$L(\mu)$が投射的モジュール$P(\lambda)$に含まれる多重度を表す。
• 極限$\Delta$-分解行列$D$はすべての整数分割$\Lambda$によって添え字づけられ、ブロックごとの直和に分解される。
• すべてのブロック成分は、同じ行列に同型であり、$\mathbb{N}$の偶数次元部分集合$P_{\text{even}}(\mathbb{N})$によって添え字づけられる。
• 極限行列の成分は、1または0に評価される多項式によって符号化されており、空白の成分は0に評価される。これは図\ref{fig:_big_pKL}に示されている。
• 証明の最終段階では、カジミール＝ルシュチグ理論に依存しないが、初期の予想はパラボリックカジミール＝ルシュチグ多項式に由来している。