[論文レビュー] A categorification of a cyclotomic Hecke algebra

Alexei Oblomkov, Lev Rozansky|arXiv (Cornell University)|Jan 18, 2018

Advanced Topics in Algebra参考文献 5被引用数 3

ひとこと要約

本稿では、フレーム付き行列因子化の等長的K理論を用いて、巡回的ヘッケ代数のカテゴリフィケーションを提案する。これは、有限ヘッケ代数に関する先行研究を一般化するものである。この構成により、代数の忠実な実現が得られ、フラッグヒルベルトスキーム上の層を用いたジュシス＝マーフィー要素の幾何的解釈が可能になる。

ABSTRACT

We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the finite Hecke algebra of type A. We also explain why our construction provides a faithful realization of the Hecke algebras and discuss a geometric realization of the Jucys-Murphy subalgebra.

研究の動機と目的

• フレーム付き行列因子化を用いて、有限ヘッケ代数のカテゴリフィケーションを巡回的ヘッケ代数へ拡張すること。
• 巡回的ヘッケ代数の幾何的・カテゴリカルな枠組み内での忠実な表現を提供すること。
• フラッグヒルベルトスキーム上の層的構成を用いて、ジュシス＝マーフィー部分代数の幾何的実現をすること。
• コーゾール双対性を用いて、行列因子化の圏と可換多様体の導来圏との間の関係を確立すること。
• 行列因子化の設定における線形化および非線形ポテンシャルの関係を、無限小近傍を用いて探求すること。

提案手法

• 中心的元 $\Delta_n$ における巡回的関係を用いて、アフィンヘッケ代数の商として巡回的ヘッケ代数を構成する。
• 空間 $\bar{\mathcal{X}}_{r,n}$ 上のポテンシャル $\bar{W}$ を持つフレーム付き行列因子化を用いて、カテゴリフィケートド代数を定義する。
• トーラス $\hat{T}$ に関する等長的K理論を用いて、行列因子化の圏 $\mathbf{MF}^{\hat{T}}_{n,r}$ を定義する。
• 開埋め込み $u: \bar{\mathcal{X}}^{0}_{r,n} \to \bar{\mathcal{X}}_{r,n}$ を用いて、全圏と局所化されたバージョン $\mathbf{MF}^{\hat{T}}_{n,r,\circ}$ の関係を確立する。
• コーゾール双対性を適用して、行列因子化の圏と可換多様体の導来圏との関係を導く。
• 変数変換 $Y \mapsto Y - \frac{1}{2}[Y,Z]_{++}$ を用いて、非線形ポテンシャル $\bar{W}$ とその線形化 $\bar{W}^{\mathrm{lin}}$ を $\mathfrak{m}(Z)^2$ の順序まで比較し、第二無限小近傍で同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 巡回的ヘッケ代数は、等長的行列因子化を用いてカテゴリフィケーション可能か？
• RQ2 カテゴリフィケーションの設定において、ジュシス＝マーフィー部分代数はどのように幾何的に現れるか？
• RQ3 行列因子化の文脈において、非線形ポテンシャル $\bar{W}$ とその線形化 $\bar{W}^{\mathrm{lin}}$ の正確な関係は何か？
• RQ4 高次の $k$ に対して、圏 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim k}, \bar{W})$ と $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim k}, \bar{W}^{\mathrm{lin}})$ はどの程度一致するか？
• RQ5 行列因子化の圏と可換多様体の導来圏との間に、導来同値が存在するか？

主な発見

• 著者らは、空間 $\bar{\mathcal{X}}_{r,n}$ 上のフレーム付き行列因子化の等長的K理論を用いて、巡回的ヘッケ代数 $\mathfrak{H}^{\mathrm{ct}}_{n,r}$ の忠実なカテゴリフィケーションを構成した。
• ジュシス＝マーフィー要素は、誘導関手を介したフラッグヒルベルトスキーム上の層が誘導する作用素として、幾何的に実現された。
• 行列因子化の圏 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim 2}, \bar{W}^{\mathrm{lin}})$ と $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim 2}, \bar{W})$ の間に自然な同型が確立された。
• 変数変換 $Y \mapsto Y - \frac{1}{2}[Y,Z]_{++}$ を用いることで、$\bar{W}$ が $\mathfrak{m}(Z)^2$ まで $\bar{W}^{\mathrm{lin}}$ と一致する形に変換され、第二無限小近傍で同型が得られた。
• 著者らは、この同型がすべての高次無限小近傍へ拡張可能であると予想しており、非線形および線形化ポテンシャルの間のより深い同値性を示唆している。
• この枠組みは、$\mathbf{MF}^{\hat{T}}_{n,r,\circ}$ と導来圏 $D^b(FM_{n,r})$ の間に密接な関係があることを示唆しているが、正確な同値性はさらなる発展に依存する。