[論文レビュー] Monoidal categories associated with strata of flag manifolds

Masaki Kashiwara, Myungho Kim+2 more|arXiv (Cornell University)|Aug 15, 2017

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

ひとこと要約

本稿は、クイバー・ルーカー代数の階数付き加群圏の部分圏として、モノイダル圏 $\mathscr{C}_{w,v}$ を構成し、これにより二重不変代数 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$ がカテゴリフィケーションされ、局域化によりオープン・リチャードソン多様体 $\mathcal{R}_{w,v}$ の座標代数 $\mathbb{C}[\mathcal{R}_{w,v}]$ が得られる。主な結果は、$\mathscr{C}_{w,v}$ が $\mathbb{C}[\mathcal{R}_{w,v}]$ 上の量子クラスター代数構造のモノイダルカテゴリフィケーションを提供することであり、行列式的モジュールが量子モノイダルシードを形成することである。

ABSTRACT

We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doubly-invariant algebra $^{N'(w)}\mathbb{C}[N]^{N(v)}$ associated with Weyl group elements $w$ and $v$. It gives, after a localization, the coordinate algebra $\mathbb{C}[\mathcal{R}_{w,v}]$ of the open Richardson variety associated with $w$ and $v$. The category $\mathscr{C}_{w,v}$ is realized as a subcategory of the graded module category of a quiver Hecke algebra $R$. When $v= \mathrm{id}$, $\mathscr{C}_{w,v}$ is the same as the monoidal category which provides a monoidal categorification of the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))_{\mathbb{Z}[q,q^{-1}]}$ given by Kang-Kashiwara-Kim-Oh. We show that the category $\mathscr{C}_{w,v}$ contains special determinantial modules $\mathsf{M}(w_{\le k}Λ, v_{\le k}Λ)$ for $k=1, \ldots, \ell(w)$, which commute with each other. When the quiver Hecke algebra $R$ is symmetric, we find a formula of the degree of $R$-matrices between the determinantial modules $\mathsf{M}(w_{\le k}Λ, v_{\le k}Λ)$. When it is of finite $ADE$ type, we further prove that there is an equivalence of categories between $\mathscr{C}_{w,v}$ and $\mathscr{C}_u$ for $w,u,v \in \mathsf{W}$ with $w = vu$ and $\ell(w) = \ell(v) + \ell(u)$.

研究の動機と目的

• Weyl群の元 $w$ と $v$ に関連する二重不変代数 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$ をカテゴリフィケーションするモノイダル圏 $\mathscr{C}_{w,v}$ を構成すること。
• $\mathscr{C}_{w,v}$ が局域化された後、オープン・リチャードソン多様体 $\mathcal{R}_{w,v}$ の座標代数 $\mathbb{C}[\mathcal{R}_{w,v}]$ を実現すること。
• $\mathscr{C}_{w,v}$ が特別な行列式的モジュール $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$ を含み、それらが互いに可換であり、量子モノイダルシードを形成することを確立すること。
• クイバー・ルーカー代数が対称的で、$ADE$ 型の有限型である場合、$w = vu$ かつ $\ell(w) = \ell(v) + \ell(u)$ のとき、$\mathscr{C}_{w,v}$ が $\mathscr{C}_u$ と同倹であることの証明。

提案手法

• モノイダル圏 $\mathscr{C}_{w,v}$ は、[24] で得られたカスピタル分解と凸な前置順序を用いて、クイバー・ルーカー代数 $R$ の階数付き加群圏のフル部分圏として実現される。
• 行列式的モジュール $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$ は、重みへのWeyl群作用を intertwine する関手 $\mathbb{W}$ の像として構成される。
• 行列式的モジュール間の $R$-行列は、正規化された $R$-行列の公式を用いて分析され、対称的クイバー・ルーカー代数の仮定の下で次数の公式が導出される。
• 畳み込み積と量子クラスター代数構造との整合性に依拠して、モノイダル構造が確立され、初期シードの適切性に依存する。
• $\ell(w) = \ell(v) + \ell(u)$ の条件とクイバー・ルーカー代数の対称的 $ADE$ 型に基づき、$\mathscr{C}_{w,v}$ と $\mathscr{C}_u$ 間の同倉が証明される。
• 初期シードの $\mathbb{W}$ による像が、量子クラスター代数の適切性条件を満たすことを示すことにより、カテゴリフィケーションが検証される。

実験結果

リサーチクエスチョン

• RQ1 Weyl群の元 $w$ と $v$ に対して、二重不変代数 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$ をカテゴリフィケーションするモノイダル圏をどのように構成できるか？
• RQ2 $\mathscr{C}_{w,v}$ とオープン・リチャードソン多様体 $\mathcal{R}_{w,v}$ の座標代数 $\mathbb{C}[\mathcal{R}_{w,v}]$ の間にはどのような関係があるか？
• RQ3 $\mathscr{C}_{w,v}$ 内の行列式的モジュール $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$ は互いに可換であり、量子モノイダルシードを形成するか？
• RQ4 $w = vu$ かつ $\ell(w) = \ell(v) + \ell(u)$ のとき、$\mathscr{C}_{w,v}$ が $\mathscr{C}_u$ と同倉になる条件は何か？
• RQ5 $\mathscr{C}_{w,v}$ は、$\mathbb{C}[\mathcal{R}_{w,v}]$ 上の量子クラスター代数構造のモノイダルカテゴリフィケーションを提供できるか？

主な発見

• $\mathscr{C}_{w,v}$ はクイバー・ルーカー代数 $R$ の階数付き加群圏の部分圏として構成され、二重不変代数 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$ をカテゴリフィケーションする。
• 局域化の後、$\mathscr{C}_{w,v}$ はオープン・リチャードソン多様体 $\mathcal{R}_{w,v}$ の座標代数 $\mathbb{C}[\mathcal{R}_{w,v}]$ を実現し、幾何学的および代数的構造を結びつける。
• $\mathscr{C}_{w,v}$ には $k=1,\dots,\ell(w)$ に対して特別な行列式的モジュール $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$ が含まれており、畳み込み積に関して互いに可換である。
• クイバー・ルーカー代数 $R$ が対称的である場合、行列式的モジュール間の $R$-行列の次数の公式が導出され、量子 $R$-行列作用の明示的計算が可能になる。
• 有限 $ADE$ 型のクイバー・ルーカー代数では、$w = vu$ かつ $\ell(w) = \ell(v) + \ell(u)$ のとき、$\mathscr{C}_{w,v} \simeq \mathscr{C}_u$ のカテゴリの同倉が確立され、Weyl群元の分解を反映する。
• $\bigl{(}\{\mathsf{M}(w_{\leq p+k}\Lambda_{i_{p+k}}, v_{\leq p+k}\Lambda_{i_{p+k}})\}_{1\leq k\leq q}, \widetilde{B}\bigr{)}$ は適切な初期シードを形成し、$\mathscr{C}_{w,v}$ が量子クラスター代数 $A_{w,v}$ のモノイダルカテゴリフィケーションであることを確認する。