[論文レビュー] Cuspidal $\mathfrak{sl}_n$-modules and deformations of certain Brauer tree algebras

Volodymyr Mazorchuk, Catharina Stroppel|arXiv (Cornell University)|Jan 15, 2010

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

ひとこと要約

本稿では、$χ_n$ の尖端ウェイトおよび一般化ウェイトモジュールのブロックが、特定のブラウアー木代数の1パラメータまたは多パラメータの変形代数の有限次元モジュールと同型であることを確立している。これらの変形がホッヒシールドコホモロジーを用いて $A^{n-1}$ の非自明な変形であることが示されている。主な貢献は、表現論および代数幾何学に現れる自己同型的対称代数の普遍1パラメータ（または多パラメータ）変形として、これらの変形を明示的に実現したことにある。

ABSTRACT

We show that the algebras describing blocks of the category of cuspidal weight (respectively generalized weight) $\mathfrak{sl}_n$-modules are one-parameter (respectively multi-parameter) deformations of certain Brauer tree algebras. We explicitly determine these deformations both graded and ungraded. The algebras we deform also appear as special centralizer subalgebras of Temperley-Lieb algebras or as generalized Khovanov algebras. They show up in the context of highest weight representations of the Virasoro algebra, in the context of rational representations of the general linear group and Schur algebras and in the study of the Milnor fiber of Kleinian singularities.

研究の動機と目的

• 尖端（一般化）ウェイトモジュールのカテゴリのブロックを、結合代数を用いて分類すること。
• これらの代数が、パラボリックカテゴリ $ϵ$ の中心化子部分代数から生じる、特定の $A^{n-1}$ へのブラウアー木代数の変形であることを示すこと。
• ホッヒシールドコホモロジーによる無限小構造の解析を通じて、変形が非自明であることを確立すること。
• 表現論における $A^{n-1}$ の多様な出現—例えばテンパリー・リーマン代数、コーボノフ代数、ミルナー特異点のファイバーなど—を、それらの変形理論を特定することで統一すること。

提案手法

• 著者らは、$\mathbb{C}[[x_1,\dots,x_n]]$-モジュールから尖端モジュールのカテゴリ $\hat{\mathcal{C}}_{\lambda,\xi}$ へのファンクター $\mathrm{F}$ を構成し、形式的べき級数環とモジュールカテゴリとの間の関係を確立している。
• Gelfand-Zelevinsky および Gelfand-Zelevinsky の実現を用いて、尖端モジュールの構造とそのブロックを分析している。
• ホッヒシールドコホモロジー、特に $H^2(A^{n-1}, A^{n-1})$ を用いて、$A^{n-1}$ の1および多パラメータ変形を分類している。
• 変形の非自明性は、$x = \beta_1\alpha_1$ が $D_{\lambda,\xi}$ 内で $\mathfrak{m}^2$ を法として $x^2 \neq 0$ を満たすことで示され、これが第二コホモロジーの消滅を示さないことを意味する。
• 制限双対および自己随伴ファンクターを用いて、射影的・インジェクティブなモジュールを構成し、そのローウィー層構造を分析することで、非ゼロの合成が成立することを検証している。
• コロナリー30を用いて変形の普遍性を適用し、$\mathbb{C}[[x]]$ や $\mathbb{C}[[x_1,\dots,x_n]]$ 上の任意の非自明な変形が、定理1で記述された代数と同型であることを示している。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{sl}_n$ の尖端ウェイトモジュールのブロックは、結合代数の観点からどのように分類されるか？
• RQ2 尖端ウェイトモジュールの正則ブロックに現れるブラウアー木代数 $A^{n-1}$ の変形の性質は何か？
• RQ3 これらの変形は非自明であるか？ そして、コホモロジー的不変量を用いてその非自明性はどのように検出できるか？
• RQ4 これらの代数は、テンパリー・リーマン代数、コーボノフ代数、シュール代数などの既知の代数とどのように関係しているか？
• RQ5 カテゴリ $\mathcal{C}$ の文脈において、$A^{n-1}$ の変形を普遍1パラメータまたは多パラメータ変形として実現できるか？

主な発見

• カテゴリ $\mathcal{C}$ の尖端ウェイト $\mathfrak{sl}_n$-モジュールの非整数または特異ブロックは、すべて $\mathbb{C}[[x]]$、すなわち形式的べき級数環の有限次元モジュールのカテゴリと同値である。
• 一般化ウェイトカテゴリ $\hat{\mathcal{C}}$ の非整数または特異ブロックは、すべて $\mathbb{C}[[x_1,\dots,x_n]]$、すなわち多変数形式的べき級数環の有限次元モジュールのカテゴリと同値である。
• $n > 2$ のとき、$\mathcal{C}$ の整数的正則ブロックは、すべて $A^{n-1}$ の平坦な1パラメータ変形の有限次元モジュールのカテゴリと同値であり、これは無限小変形として非自明である。
• $A^{n-1}$ の変形は $\mathfrak{m}^2$ を法として非自明であることが示されており、$x = \beta_1\alpha_1$ に対して $D_{\lambda,\xi}$ 内で $x^2$ が消えないことから、非自明なホッヒシールドコホモロジーが存在することが示唆される。
• $D_{\lambda,\xi}$ は $\mathbb{C}[[x]]$ 上の $A^{n-1}$ の普遍1パラメータ変形であり、同様に $\mathbb{C}[[x_1,\dots,x_n]]$ 上の多パラメータの場合にも成り立つ。
• 本結果により、表現論における $A^{n-1}$ の多様な出現—パラボリックカテゴリ $\mathcal{O}$ の中心化子部分代数、一般化されたコーボノフ代数、およびキーンジャン特異点のミルナー・ファイバー—が統一的に扱われる。