[論文レビュー] On the monoidality of Saito reflection functors

Syu Kato|arXiv (Cornell University)|Nov 26, 2017

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

ひとこと要約

この論文は、KLR代数の斎藤の反射関手をADE型から任意の対称カク＝ムーディー代数へ拡張し、右随伴関手、ブレード群の関係式、誘導関手との整合性を確立することで、それらがモノイダル関手をなすことを証明する。主な結果は、これらの関手が自然同型を除いてテンソル構造を保存することであり、これによりある予想が裏付けられ、先行研究における誤りが是正される。

ABSTRACT

We extend the definition of the Saito reflection functor of the Khovanov- Lauda-Rouquier algebras to symmetric Kac-Moody algebra case and prove that it defines a monoidal functor.

研究の動機と目的

• ADE型から任意の対称カク＝ムーディー代数へSaitoの反射関手を一般化すること。
• これらの関手がモノイダルである、すなわち、次数付き加群上の誘導積と整合することを確立すること。
• 文献[6]におけるSaito関手の元々の構成における誤りを、修正されたカテゴリカルな枠組みを用いて是正すること。
• 文献[5]におけるKLR代数の文脈における反射関手のモノイダル性に関する予想を確認すること。

提案手法

• 幾何的サタケとLusztigのブレード群作用によって誘導される、商 $ {}_iR_\beta $ と $ {}^iR_{s_i\beta} $ 間のモラータ同値を用いて、Saitoの反射関手 $\mathbb{T}_i$ を定義する。
• 幾何的サタケ対応とクーヴィー・グラスマンィアン上の $ G $-不変な可解層を用いて、関手をカテゴリカルに実現する。
• 軌道 $ \mathcal{O}, \mathcal{O}' $、射影 $ \widetilde{p}^i_V, \widetilde{q}^i_V $ を含む可換図式を構成し、モラータ同値を用いて $ {}_iR_\beta $-加群と $ {}^iR_{s_i\beta} $-加群を関連付ける。
• $ \mathbb{T}_i $ が右随伴関手 $ \mathbb{T}_i^* $ を持ち、次式のExt-双対性同型が成り立つことを証明する：$ \mathrm{ext}^*_{R_{s_i\beta}}(\mathbb{T}_i M, N) \cong \mathrm{ext}^*_{R_\beta}(M, \mathbb{T}_i^* N) $。
• 重み0のExt計算を用いて、関手が誘導積 $ \star $ と可換であることを示し、$ \mathbb{T}_i(M_1 \star M_2) \cong (\mathbb{T}_i M_1) \star (\mathbb{T}_i M_2) $ を得る。
• $ Z^\Omega_{V,V'} $ 上の層の重み0部分のExt群の同型を用いて、双モジュール構造を特定し、モノイダル性を確認する。

実験結果

リサーチクエスチョン

• RQ1 Saitoの反射関手 $ \mathbb{T}_i $ はADE型を超えて、対称カク＝ムーディー代数へ拡張可能か？
• RQ2 Saitoの反射関手はモノイダル的か、すなわち、次数付き加群上の誘導積 $ \star $ と整合的か？
• RQ3 関手 $ \mathbb{T}_i $ はKLR代数の文脈でブレード群の関係式を満たすか？
• RQ4 右随伴 $ \mathbb{T}_i^* $ は構成可能か？ また、必要なExt-双対性を満たすか？
• RQ5 $ \mathbb{T}_i $ のモノイダル性は、[6]における元々の構成の誤りを是正するか？

主な発見

• Saitoの反射関手 $ \mathbb{T}_i $ は右随伴 $ \mathbb{T}_i^* $ を持ち、カテゴリカルな双対性を保証する。
• 関手はExt-双対性同型を満たす：$ \mathrm{ext}^*_{R_{s_i\beta}}(\mathbb{T}_i M, N) \cong \mathrm{ext}^*_{R_\beta}(M, \mathbb{T}_i^* N) $、随伴性の確認となる。
• 関手 $ \mathbb{T}_i $ はブレード群の関係式を満たし、分類化量子群の要請を満たす。
• 関手は誘導積と可換である：$ \mathbb{T}_i(M_1 \star M_2) \cong (\mathbb{T}_i M_1) \star (\mathbb{T}_i M_2) $、モノイダル性の証明。
• 幾何的およびカテゴリカルな手法を用いて、[5]の予想を確認し、[6]における誤りを是正する。
• 重み0のExt群の同型と $ {}_iR_\beta $ と $ {}^iR_{s_i\beta} $ 間のモラータ同値を用いてモノイダル性が確立される。