[論文レビュー] Rational representations of $GL_2$

Vanessa Miemietz, Will Turner|ArXiv.org|Sep 5, 2008

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

ひとこと要約

本稿は、正標数 $p$ の代数的に閉じた体 $F$ 上での $GL_2(F)$ の有理表現理論を制御する無限次元基本代数 $̄̄̄\mathcal{C}}_p(F)$ を導入する。主な結果は、各グレーディング付きシュール代数 $̄̄̄\mathcal{G}}(2,\underline{r})$ の逆極限のすべてのブロックが $̄̄̄\mathcal{C}}_p(F)$ にモラita同値であることを示しており、これにより、$GL_2$ のモジュラー表現の背後にある深い組合せ的構造が明らかになる。構成は繰り返し自明拡大とラジカル層の refinement を持つフィルトレーションに依存し、量子群表現における導来同値とコーゼル双対性に影響を与える。

ABSTRACT

Let $F$ be an algebraically closed field of characteristic $p$. We fashion an infinite dimensional basic algebra $\underleftarrow{\mathcal{C}}_p(F)$, with a transparent combinatorial structure, which we expect to control the rational representation theory of $GL_2(F)$.

研究の動機と目的

• 正標数 $p$ の体 $F$ 上での $GL_2(F)$ の有理表現理論に隠された組合せ的構造を解明すること。
• $GL_2(F)$ の表現理論を支配する透明な構造を持つ無限次元代数 $\u0304\u0304\u0304\mathcal{C}}_p(F)$ を構成すること。
• グレーディング付きシュール代数 $̄̄̄\mathcal{G}}(2,\underline{r})$ の逆極限のすべてのブロックが $̄̄̄\mathcal{C}}_p(F)$ にモラita同値であることを確立し、正標数における $GL_2$ の表現理論を統一すること。
• $\mathcal{S}(2,\underline{r}) \cong \mathcal{G}(2,\underline{r})$ の可能性を検討し、これにより $\mathcal{S}(2,\underline{r})$ 自身が $̄̄̄\mathcal{C}}_p(F)$ にモラita同値である可能性を示すこと。
• $GL_2$ のモジュラー表現理論を、プレプロジェクティブ代数 $\Pi_\infty$ を通じてコーゼル双対性および量子群表現に結びつけること。

提案手法

• 自己双対的バイモジュールを持つ代数の繰り返し自明拡大の逆極限として、無限次元代数 $\u0304\u0304\u0304\mathcal{C}}_p(F)$ を構成する。
• シュール代数 $\mathcal{S}(2,r)$ にラジカル層を refinement するフィルトレーションを定義し、これによりグレーディング環 $\mathcal{G}(2,r)$ を得る。
• 列 $\mathcal{G}(2,r) \twoheadleftarrow \mathcal{G}(2,r+2)$ の逆極限 $\mathcal{G}(2,\underline{r})$ を用いて、$GL_2(F)$-表現の圏をモデル化する。
• Erdmann, Henke, Koenig の $\mathcal{S}(2,r)$ のリングエル自己双対的ブロックに関する結果を応用し、$\mathcal{G}(2,r)$ の特定のブロックが $\mathcal{C}_p^d(F)$ にモラita同値であることを示し、帰納的証明の基盤を築く。
• 2つの無限次元自己同型代数 $\mathcal{L}_1$ と $\mathcal{L}_2$ 間の安定同値を導入し、これをモラita同値に持ち上げることで $\mathcal{S}(2,\underline{r}) \cong \mathcal{G}(2,\underline{r})$ を証明する可能性を模索する。
• グローテンディーク群を通じて、$\Pi_\infty$ との関係を確立し、$\mathcal{C}_n$ が関手 $-^{\oplus n}$ のカテゴリフィケーションであると解釈する。

実験結果

リサーチクエスチョン

• RQ1 正標数における $GL_2(F)$ の有理表現理論は、透明な組合せ的構造を持つ普遍的制御代数を有するか？
• RQ2 グレーディング付きシュール代数 $̄̄̄\mathcal{G}}(2,\underline{r})$ の逆極限のすべてのブロックが代数 $\u0304\u0304\u0304\mathcal{C}}_p(F)$ にモラita同値であるか？
• RQ3 $\mathcal{S}(2,\underline{r}) \cong \mathcal{G}(2,\underline{r})$ が確立可能か。これにより、有理表現の全圏が $\u0304̄̄\mathcal{C}}_p(F)$ によって制御されるか？
• RQ4 安定同値とその導来同値またはモラita同値への持ち上げの可能性が、$\mathcal{S}(2,\underline{r})$ と $\mathcal{G}(2,\underline{r})$ 間の同型を証明する上で果たす役割は何か？
• RQ5 コーゼル双対性およびプレプロジェクティブ代数 $\Pi_\infty$ は、$GL_2(F)$ のモジュラー表現理論とその量子群対応物とどのように関係するか？

主な発見

• すべての $\mathcal{G}(2,\underline{r})$ のブロックが $\u0304\u0304\u0304\mathcal{C}}_p(F)$ にモラita同値であることが示され、この代数が正標数における $GL_2(F)$-有理表現を制御する普遍的対象であることが確立された。
• $\u0304\u0304\u0304\mathcal{C}}_p(F)$ の繰り返し自明拡大と逆極限による構成は、正標数 $p > 0$ における $GL_2$ の表現理論を理解するための透明な組合せ的枠組みを提供する。
• 特定のリングエル自己双対的ブロックが $\mathcal{C}_p^d(F)$ にモラita同値であることが示され、主定理の帰納的基盤が得られた。
• 本稿は、$\mathcal{S}(2,\underline{r}) \cong \mathcal{G}(2,\underline{r})$ を証明する主な障壁が、2つの無限次元自己同型代数 $\mathcal{L}_1$ と $\mathcal{L}_2$ 間の安定同値をモラita同値に持ち上げることにあることを示した。
• $\mathcal{L}_1$ と $\mathcal{L}_2$ 間に、単純モジュールを単純モジュールに送る安定同値を構成した。これは、望ましい同型を証明する道筋を示唆している。
• $\mathcal{F}(\mathcal{C}_n(A,T))$ のグローテンディーク群は、$\mathcal{F}(A,T)$ の $n$ 重直和のグローテンディーク群と同型であり、これは $\mathcal{C}_n$ が関手 $-^{\oplus n}$ のカテゴリフィケーションであることを示している。