[論文レビュー] The Weyl extension algebra of $GL_2(\bar{\mathbb{F}}_p)$

Vanessa Miemietz, Will Turner|arXiv (Cornell University)|Jun 28, 2011

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

ひとこと要約

本稿は、正標数 $p$ の代数閉体上での $GL_2$ のウェイル加群のヤノダ拡張代数を、$2$-ファンクターの一般化されたコシュール双対性枠組みを用いて計算する。主な結果は、無限次元の多面体内の格子点によってインデックス付けられる、拡張代数 $\mathbf{w}$ の明示的な単項式基底が得られることであり、これはコシュール双対代数上のテンソル代数および導来作用素構成により実現される。

ABSTRACT

We compute the Yoneda extension algebra of the collection of Weyl modules for $GL_2$ over an algebraically closed field of positive characteristic p by developing a theory of generalised Koszul duality for certain 2-functors, one of which controls the rational representation theory of $GL_2$ over such a field.

研究の動機と目的

• 代数閉体 $\overline{\mathbb{F}}_p$ 上の $GL_2$ の主ブロックにおけるウェイル加群のヤノダ拡張代数 $\mathbf{w}$ を計算すること。
• 有理的表現論における非負の次数付き構造および $2$-ファンクター構造を含む設定へ、コシュール双対性技術を拡張すること。
• 無限次元の格子多面体の要素によってインデックス付けられる、$\mathbf{w}$ の明示的な単項式基底を提供すること。
• 拡張代数 $\mathbf{w}$ を、$F[z,z^{-1}]$ 上に作用する反復作用素の極限として組み合わせ論的に記述すること。
• 特に、双モジュールホモロジーと多面体的基底におけるインデックスパラメータの取り扱いに関して、以前の双対性構成を是正・精錬すること。

提案手法

• 有理的表現を制御する $2$-ファンクターの一般化されたコシュール双対性理論を構築する。
• ホモロジー的データを反復的テンソル積によって符号化するための代数的作用素 $\mathfrak{O}_\Upsilon$ および $\mathbb{H}\mathbb{K}\mathbb{T}_A(M)$ を導入する。
• $\Upsilon = \mathbb{HT}_{\boldsymbol{d}}(\underline{\boldsymbol{u}})$ を、コシュール双対代数 ${\boldsymbol{d}}$ と双モジュール ${}_{{\boldsymbol{d}}}M_{{\boldsymbol{d}}}$ を用いたテンソル代数として構成する。
• $\Upsilon$ に三重次数構造を導入し、多面体内の格子点によってインデックス付けられる単項式基底を備え、乗法が $\pm$ 他の基底要素またはゼロであることを示す。
• ホモロジー的双対作用素 $\mathcal{K}$ および $\mathbb{K}$ を用いて、反復的 $\mathfrak{O}$-作用を通じて $\mathbf{w}$ を $F[z,z^{-1}]$ に関連付ける。
• 双モジュール構造におけるホモロジーの正しくないインデックスを是正するため、パラメータ $a$ および $b$ に関する条件を調整する。

実験結果

リサーチクエスチョン

• RQ1 正標数 $p>0$ における $GL_2$ のウェイル加群のヤノダ拡張代数は、どのように明示的に記述できるか？
• RQ2 一般化されたコシュール双対性は、$2$-ファンクターを介して $GL_2$ の有理的表現理論をどのように符号化するか？
• RQ3 拡張代数 $\mathbf{w}$ は、無限次元の多面体内の格子点によってインデックス付けられる単項式基底をどのように持つか？
• RQ4 双モジュールホモロジー構造における乗法の正しくないインデックスを是正するには、どのような修正が必要か？
• RQ5 反復的代数的作用素 $\mathfrak{O}^q_{\mathbb{H}\mathbb{T}_{\mathcal{K}(\mathbf{a})}(\mathcal{K}(\underline{m}))}$ は、$F[z,z^{-1}]$ からどのように拡張代数を再構成するか？

主な発見

• 主ブロックにおける $GL_2(\overline{\mathbb{F}}_p)$ のウェイル加群のヤノダ拡張代数 $\mathbf{w}$ は、$\lim_q \mathfrak{O}_\Upsilon^q(F[z,z^{-1}])$ に同型であり、ここで $\Upsilon$ は単項式基底を備えた三重次数代数である。
• $\Upsilon$ は、コシュール双対代数 ${\boldsymbol{d}}$ と双モジュール ${}_{{\boldsymbol{d}}}M_{{\boldsymbol{d}}}$ を用いたテンソル代数 $\mathbb{HT}_{\boldsymbol{d}}(\underline{\boldsymbol{u}})$ として実現される。
• $\mathbf{w}$ の単項式基底は、無限次元の多面体内の格子点によってインデックス付けされ、乗法は $\pm$ 他の基底要素またはゼロで与えられる。
• 基底要素のインデックスに是正が見つかった：$s=2,\dots,p-1$ の場合、$(p-s,0,0,a,b,s+1)$ は $a=b-1$ を満たすが、$s=1$ の場合、$(p-1,0,0,a,b,2)$ は $a=b+1$ を満たす。
• $\mathbf{w}$ は自然な $\mathbb{Z}$-三重次数を備え、$k$-次数は $\operatorname{Ext}$ におけるコホモロジー次数に対応する。
• この構成により、$\mathbf{w}$ が $F[z,z^{-1}]$ 上の反復的 $\mathfrak{O}$-作用の極限として実現される擬等長同型が得られ、最終的な同型 $\mathbb{H}\mathcal{K}(A) \cong \mathfrak{O}_F \mathfrak{O}^q_{\mathbb{H}\mathbb{T}_{\mathcal{K}(\mathbf{a})}(\mathcal{K}(\underline{m}))} F[z,z^{-1}]$ が得られる。