[論文レビュー] Monoidality of Kato's Reflection Functors

Peter J. McNamara|arXiv (Cornell University)|Dec 1, 2017

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

ひとこと要約

この論文は、ADE型のKLR代数に対するカトウの反射関手がモノイダルであることを証明し、[KKOP]で残された問いを解消し、[K1]における誤りを是正する、重要な構造的性質を確立する。特徴的ゼロにおけるKLR代数の形式的性と幾何的技法を用いて、著者は導来圏とモラータ同値を介して、これらの関手がテンソル積を保存することを示し、量子群上のブレード群作用のカテゴリフィケーションを実現する。

ABSTRACT

Kato has constructed reflection functors for KLR algebras which categorify the braid group action on a quantum group by algebra automorphisms. We prove that these reflection functors are monoidal.

研究の動機と目的

• Katoの反射関手がKLR代数上でモノイダルであることを確立すること。これは、量子群上のブレード群作用をカテゴリフィケーションする上で不可欠な性質である。
• KLR代数の反射関手のモノイダル構造に関して、[KKOP]で残された問いを解消すること。
• [K1]の補題4.2(2)における誤りを、導来圏と形式的性を用いた幾何的証明により是正すること。
• KLR代数のモジュール圏間のモラータ同値を介して、反射関手がテンソル積を保存することを示すこと。
• 特徴的ゼロにおけるKLR代数の形式的性が、純粋性から導かれるものであり、これがモノイダル性の根拠となっていることを示すこと。

提案手法

• KLR代数の幾何的実現を、クーヴ・グラスマンニアン上の perverse な層の自己準同型代数として用いる。
• 特徴的ゼロにおける $\ell$-進コホモロジーの純粋性から導かれるKLR代数の形式的性を適用する。
• 導来圏とdg強化を用いて、KLR代数のモジュール圏をクーヴ表現のモジュライスタック上の可解層に関連付ける。
• 基底変換定理と正規基底変換定理を用いて、開埋め込みと閉埋め込みを含む引き戻し図式における押し出しと引き戻しを関連付ける。
• スタックとその間の準同型の可換図を構成し、関手の畳み込み積と反射関手の作用を関連付ける。
• デヴィッサージュ法を用いて、層 $\mathcal{L}_\lambda$ からのホモロジー関手が三角圏の同値を誘導することを示し、標準的な導来技法の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Katoの反射関手は、KLR代数上でモノイダル的であるか、すなわちそのモジュール圏におけるテンソル積構造を保存するか？
• RQ2 Katoの関手によって実現される量子群の正部分へのブレード群作用は、カテゴリフィケーションのレベルでモノイダル関手に引き上げられるか？
• RQ3 [K1]の補題4.2(2)における誤りは、KLR代数の幾何的かつ形式的アプローチによって是正可能か？
• RQ4 特徴的ゼロにおけるKLR代数の形式的性は、反射関手のモノイダル性を保証するのに十分か？
• RQ5 このモノイダル性の結果は、[KKOP]の予想5.5を証明するために利用可能か？

主な発見

• Katoの反射関手はモノイダル的であり、KLR代数モジュールの導来圏における畳み込み積を保存する。
• モノイダル性は、純粋性から導かれるKLR代数の形式的性を用いた幾何的構成によって確立される。
• 証明により、[K1, 補題4.2(2)]における誤りが是正され、反射関手が基底変換および畳み込みに関して適切に振る舞うことが示された。
• $R(\nu)/\langle e_i \rangle$ 上のモジュールの圏は、反射関手によって誘導されるモラータ同値により、$R(s_i\nu)/\langle {}_i e \rangle$ 上のモジュールの圏と同値である。
• 関手 $M$ と $N$ の畳み込み積は、反射関手 $\mathcal{T}_i$ によって保存される。これは、基底変換と図式走査により、$\mathcal{T}_i(M \circ N)$ と $\mathcal{T}_i(M) \circ \mathcal{T}_i(N)$ の像を比較することで示された。
• 純粋性とフロベニウス作用の持ち上げから導かれる $R(\lambda)$ の形式的性により、$\mathcal{L}_\lambda$ の導来圏はKLR代数上のモジュールの導来圏と同値である。