[論文レビュー] Representations of Khovanov-Lauda-Rouquier algebras III: Symmetric Affine Type

Peter J. McNamara|arXiv (Cornell University)|Jul 28, 2014

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

ひとこと要約

本稿は、対称的アフィンカク・ムーディー代数に対するKhovanov-Lauda-Rouquier (KLR)代数のホモロジー的理論を展開し、PBW基底および双対PBW基底をカテゴライズ化する標準的および適切な標準的加群を構成する。BGG双対性を確立し、新たな正性結果を証明する： canonical 基底からPBW基底への変換行列の係数が $ q\mathbb{N}[q] $ に属することを示し、有限型の結果をアフィン型に一般化する。

ABSTRACT

We develop the homological theory of KLR algebras of symmetric affine type. For each PBW basis, a family of standard modules is constructed which categorifies the PBW basis.

研究の動機と目的

• 有限型から対称的アフィンカク・ムーディー代数へのPBW基底のホモロジー的カテゴライズ化を拡張すること。
• KLR代数の対称的アフィン型に対して、PBW基底および双対PBW基底をカテゴライズ化する標準的および適切な標準的加群を構成すること。
• KLR代数の対称的アフィン型におけるBGG双対性を確立すること。
• 新たな正性結果の証明： canonical 基底からPBW基底への基底変換行列の係数が $ q\mathbb{N}[q] $ に属することを示すこと。

提案手法

• 分割冪を用いて、単純なカスピダル加群 $ \Delta(\alpha)^{(f_\pi(\alpha))} $ の射影被覆の繰り返しの誘導として標準的加群 $ \Delta(\pi) $ を構成する。
• 適切な標準的加群 $ \overline{\Delta}(\sigma) $ を、単純なカスピダル加群 $ L(\alpha)^{\circ f_\sigma(\alpha)} $ の繰り返しの誘導として定義し、これは双対PBW基底をカテゴライズ化する。
• 商加群の成長推定を用いて、実根に対して一様な結果を得る。これにより、個別ケースの計算を回避する。
• Kang, Kashiwara, および Kim のR行列を適用し、$ \operatorname{End}(M^{\circ n})_0 \cong \mathbb{Q}[S_n] $ を示し、対称群表現論を用いた分解を可能にする。
• 標準的加群と適切な標準的加群の間の、Ext双線形形式における直交性を確立し、これによりBGG双対性を導く。
• 双対性とbar対合の単調行列性を用いて、canonical 基底が、PBW展開における非負の係数を持つ唯一のbar不変基底であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 アフィン量子群の上三角部分 $ \mathbf{f} $ のPBW基底は、対称的アフィン型のKLR代数を用いてどのようにカテゴライズ化できるか？
• RQ2 アフィン対称KLR代数の設定における標準的および適切な標準的加群のホモロジー的構造は何か？
• RQ3 虚根に対する半カスピダル加群の表現論は、実根のそれとどのように異なり、一様に記述できるか？
• RQ4 KLR代数の対称的アフィン型においてBGG双対性を確立できるか？
• RQ5 アフィン型におけるcanonical 基底からPBW基底への変換行列の性質は何か？そして、正性を満たすか？

主な発見

• 標準的加群 $ \Delta(\pi) $ はPBW基底 $ E_\pi $ をカテゴライズ化し、その同型類は $ \mathbf{f} $ の $ \mathbb{Z}[q,q^{-1}] $-基底をなす。
• 適切な標準的加群 $ \overline{\Delta}(\sigma) $ は双対PBW基底をカテゴライズ化し、その同型類はExt双線形形式において標準的加群と直交する。
• 半カスピダル $ R(n\delta) $-加群の圏は多項式代数の加群と同倉的であり、$ M $ が虚根の重み $ \delta $ を持つカスピダル加群のとき $ \operatorname{End}(M^{\circ n})_0 \cong \mathbb{Q}[S_n] $ が成り立つ。
• BGG双対性が成立する： $ L(\pi) $ の射影被覆 $ \mathcal{P}(\pi) $ は $ \Delta $-フラグを持つ。かつ、重複度 $ [\mathcal{P}(\pi) : \Delta(\sigma)] $ は $ [\overline{\Delta}(\sigma) : L(\pi)] $ に等しい。
• canonical 基底からPBW基底への基底変換行列は、$ q\mathbb{N}[q] $ に係数をもつ単調行列であり、アフィン型における新たな正性結果を確立する。
• bar対合はPBW基底に関して単調行列であり、canonical 基底は、$ b_\pi = E_\pi + \sum_{\sigma < \pi} c_{\pi\sigma} E_\sigma $、$ c_{\pi\sigma} \in q\mathbb{Z}[q] $ を満たす唯一のbar不変基底として特徴づけられる。