[論文レビュー] Derived equivalences for symmetric groups and sl\_2-categorification

Joseph Chuang, Raphaël Rouquier|ArXiv.org|Jul 12, 2004

Algebraic structures and combinatorial models参考文献 17被引用数 71

ひとこと要約

この論文は、アーベル圏上の ${\mathfrak{sl}}_2$-カテゴライゼーションを導入し、分類化された単純な反復が、導来およびホモトピー圏上で自己同値として作用することを確立する。対称群のブロックで同一な欠損群をもつもの同士が、すばやくリカード同値であることを証明し、対称群におけるブルーのアーベル的欠損群予想を確認する。さらに、有限体上の一般線型群および巡回的ヘッケ代数へと結果を拡張する。

ABSTRACT

We define and study sl\_2-categorifications on abelian categories. We show in particular that there is a self-derived (even homotopy) equivalence categorifying the adjoint action of the simple reflection. We construct categorifications for blocks of symmetric groups and deduce that two blocks are splendidly Rickard equivalent whenever they have isomorphic defect groups and we show that this implies Broué's abelian defect group conjecture for symmetric groups. We give similar results for general linear groups over finite fields. The constructions extend to cyclotomic Hecke algebras. We also construct categorifications for category O of gl\_n(C) and for rational representations of general linear groups over an algebraically closed field of characteristic p, where we deduce that two blocks corresponding to weights with the same stabilizer under the dot action of the affine Weyl group have equivalent derived (and homotopy) categories, as conjectured by Rickard.

研究の動機と目的

• アーベル圏上での ${\mathfrak{sl}}_2$-カテゴライゼーションの一般的枠組みを確立し、自己随伴関手 $E$ と $F$ および随伴関係、および $X$（$E$ 上の自己準同型）と $T$（$E^2$ 上の自己準同型）が退化 affine ヘッケ代数の関係を満たすようにすること。
• リカードの複体による分類化された単純な反復が、導来およびホモトピー圏上で自己同値を誘導することを証明し、それによってブロック間の導来同値を可能にすること。
• 同一な欠損群をもつ対称群の2つのブロックが、すばやくリカード同値であることを示し、この場合におけるブルーのアーベル的欠損群予想を確認すること。
• 有限体上の一般線型群および巡回的ヘッケ代数へと結果を拡張し、同様のカテゴライゼーション技法を用いること。
• グラスマンニアンのコホロジーを用いた最小カテゴライゼーションを実現し、分類化された反復関手がこれらの実現において双対関手と同型であることを示すこと。

提案手法

• アーベル圏上の正確関手 $E$ と $F$ を用いて ${\mathfrak{sl}}_2$-カテゴライゼーションを定義し、随伴関係および $X$（$E$ 上）と $T$（$E^2$ 上）の自己準同型が退化 affine ヘッケ代数の関係を満たすようにすること。
• 退化 affine ヘッケ代数の商を用いた最小カテゴライゼーションを構成し、これはグラスマンニアンのコホロジー環とモリタ同値であることを示すこと。
• 最小カテゴライゼーションから任意のカテゴライゼーションへの関手を用いて、一般の ${\mathfrak{sl}}_2$-カテゴライゼーションの研究を最小ケースに還元すること。
• 分類化された反復関手 $\Theta$ を関手の複体として実現し、最小ケースにおける明示的計算により、それが導来およびホモトピー圏上で自己同値を誘導することを証明すること。
• 最小カテゴライゼーションにおいて $\Theta$ が（シフトを除いて）アーベル圏上の自己同値に一致することを活用し、一般結果を得ること。
• グロテンディーク群における $[E,F]$ の関係を構成し、${\mathfrak{sl}}_2$ の $[e,f]=h$ の関係のカテゴライズ化を得ること。

実験結果

リサーチクエスチョン

• RQ1 アフィンワイル群における単純な反復の随伴作用が、導来およびホモトピー圏上で自己同値としてカテゴライズ可能か？
• RQ2 同一な欠損群をもつ対称群の2つのブロックは、同型な導来圏をもつか？
• RQ3 導来同値がすばやくリカード同値を意味するならば、ブルーのアーベル的欠損群予想は対称群に対して正しいか？
• RQ4 カテゴライゼーション枠組みを有限体上の一般線型群および巡回的ヘッケ代数へと拡張可能か？
• RQ5 グラスマンニアンコホロジー実現において、分類化された反復関手は双対関手と同型か？

主な発見

• 分類化された単純な反復 $\Theta$ は、定理6.4で示されるように、導来およびホモトピー圏上で自己同値を誘導する。
• 同一な欠損群をもつ対称群の2つのブロックは、すばやくリカード同値である。これは、ブルーのアーベル的欠損群予想が対称群に対して成立することを示唆する。
• 次元 $n+1$ の単純な ${\mathfrak{sl}}_2$-加群の最小カテゴライゼーションは、グラスマンニアン $G_{i,n}$ のコホロジーを用いて実現され、$A_i = H^*(G_{i,n})$ である。
• 最小カテゴライゼーションにおける関手 $E^{(1,r)}$ は、bimodule $H^*(G_{i,i+r})$ によって与えられる関手と同型であり、これにより除数べきの幾何的実現が得られる。
• $D^b(H^*(G_i){\rm -mod})$ に制限された分類化された反復 $\Theta[-i]$ は、部分多様体 $\{(V,V') \mid V \cap V' = 0\}$ のコホロジーによって与えられる関手と同型である。
• $E^2$ 上の自己準同型 $T$ は、${\mathbf{P}}^1$-バンドル $\pi: G_{i,i+1} \times_{G_{i+1}} G_{i+1,i+2} \to G_{i,i+2}$ を用いて構成され、$T(c_1(L_{i+1})) = c_1(L_{i+2}) - 1$ を満たし、必要な $R$-行列構造を与える。