[論文レビュー] Representation theory of geometric extension algebras

Peter J. McNamara|arXiv (Cornell University)|Jan 27, 2017

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

ひとこと要約

本稿は多項式擬ヘルディティの代数的性質と幾何的条件の間の関係を確立する：幾何的拡張代数は、その基盤となる準同型が偶数であるときかつそのときに限り、多項式擬ヘルディティである。主要な結果は、多項式擬ヘルディティの代数的性質が、偶数性という幾何的条件と結びつくことを示しており、これにより、量子群のブレード群作用のカテゴリフィケーションを可能にする、パリティ層と反射関手を用いたクイバー・ヘック代数の新たなアプローチが可能になる。

ABSTRACT

We study the question of when geometric extension algebras are polynomial quasihereditary. Our main theorem is that under certain assumptions, a geometric extension algebra is polynomial quasihereditary if and only if it arises from an even resolution. We give an application to the construction of reflection functors for quiver Hecke algebras.

研究の動機と目的

• 幾何的拡張代数が多項式擬ヘルディティである条件を特定すること、特に表現論のモジュラー理論の文脈において。
• 既存の研究で用いられていた純粋性に基づく議論を、任意の体上で一般化可能な新しい幾何的条件「偶数性」に置き換えること。
• 主定理を有限ADE型のクイバー・ヘック代数に適用し、それらが多項式擬ヘルディティであること、したがって最高重量構造を有することを示すこと。
• パリティ層を用いて、代数的同値関係を介してクイバー・ヘック代数の反射関手を構成し、量子群のブレード群作用をカテゴリフィケーションすること。
• 関連する代数のグローテンディーク群と量子群のブレード群作用との間の脱カテゴリフィケーション同型を確立すること。

提案手法

• 滑らかな $ G $-可換な準同型 $ f: Y \to X $ を持つ、$ f_*\underline{k}_Y $ の $ D^b_G(X) $ 上の自己準同型の列 $ A(X,f) = \operatorname{Hom}_{D^b_G(X)}^\bullet(f_*\underline{k}_Y, f_*\underline{k}_Y) $ を幾何的拡張代数として定義する。
• 「偶数準同型」という概念を導入する。これは、ファイバーのコホモロジーが偶数次元に集中するという、$ f $ に関する幾何的条件である。
• もし $ f $ が偶数であり、ある技術的条件を満たしていれば、$ A(X,f) $ は多項式擬ヘルディティである（定理4.7）。
• 逆も成り立つ：もし $ A(X,f) $ が偶数次元に集中しており、多項式擬ヘルディティであれば、$ f $ は偶数でなければならない（定理5.2）。
• クイバー・ヘック代数に主定理を適用し、その拡張代数が多項式擬ヘルディティであること、したがって最高重量構造を有することを示す。
• パリティ層とヴェルディエ双対性の道具立てを用いて、異なるワイル群の反射に対応する代数の間のモラータ同値性を構成し、反射関手を導く。

実験結果

リサーチクエスチョン

• RQ1 どのような幾何的条件下で幾何的拡張代数が多項式擬ヘルディティであるか。
• RQ2 任意の体上で、拡張代数の研究において「偶数性」の概念が、純粋性に基づく議論を置き換えることができるか。
• RQ3 クイバー・ヘック代数の拡張代数が多項式擬ヘルディティであるならば、その基盤となる準同型は偶数でなければならないか。
• RQ4 パリティ層とモラータ同値性を用いて、クイバー・ヘック代数の反射関手を幾何的に構成できるか。
• RQ5 モジュール圏上の誘導された同値が、量子群の正部分への標準的ブレード群作用に脱カテゴリフィケーションされるか。

主な発見

• 条件 $ (\spadesuit)_1 $, $ (\spadesuit)_2 $, および $ (\heartsuit) $ を満たすとき、幾何的拡張代数 $ A(X,f) $ は、かつそのときに限り、多項式擬ヘルディティである。
• 逆も成り立つ：$ A(X,f) $ が偶数次元に集中しており、多項式擬ヘルディティであれば、$ f $ は偶数でなければならない。
• 有限型クイバー・ヘック代数は、定理6.11で示されるように多項式擬ヘルディティである。完全な証明が与えられている。
• 有限ADE型クイバー・ヘック代数に付随する準同型は偶数である。これは、その拡張代数の多項式擬ヘルディティ性から導かれる。
• 代数 $ A(U_i(\nu),f) $ と $ A({_i}U(s_i\nu),f) $ の間の幾何的モラータ同値性が構成され、これによりカテゴリカルな反射関手が得られる。
• グローテンディーク群上の誘導された同値は、量子群の正部分 $ \mathbf{f} $ における標準的ブレード群作用 $ T_i $ に脱カテゴリフィケーションされ、PBW基底と一致する。