[論文レビュー] On blocks of Deligne's category Rep(S_t)

Jonathan Comes, Ostrik, Victor|Scholars' Bank (University of Oregon)|Oct 29, 2009

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

ひとこと要約

この論文は、Deligneの圏 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ のブロックを分類し、$t$ が非負整数でないとき、その圏が半単純であり、有限個の非半単純ブロックと無限個の自明なブロックに分解されることを示している。非半単純ブロックはすべて加法圏として同値であり、関係を持つクイバーによって記述されており、Deligneの半単純性定理の新しい証明と、その圏のアーベル包のさらなる研究の構造的基盤が得られる。

ABSTRACT

Recently P. Deligne introduced the tensor category Rep(S_t) (for t not necessarily an integer) which in a certain precise sense interpolates the categories Rep(S_d) of representations of the symmetric groups S_d. In this paper we describe the blocks of Deligne's category Rep(S_t).

研究の動機と目的

• $t$ が非負整数であるとき、Deligneの圏 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ が半単純でない場合の構造を理解すること。
• 恒等関手の自己準同型を用いて、$\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ のブロックを分類すること。
• 関係を持つクイバーを用いて非半単純ブロックを記述し、それらがすべて加法圏として同値であることを示すこと。
• $t \notin \mathbb{Z}_{\geq 0}$ の場合に、Deligneの半単純性定理の再証明を与えること。

提案手法

• カテゴリカルかつ表現論的技法を用いて、$\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ における恒等関手の非自明な自己準同型を構成する。
• 恒等関手の自己準同型環を用いて、標準的な表現論的手法により圏をブロックに分解する。
• これらの自己準同型が非分解的対象に作用する様子を分析し、ブロック分解を特定する。
• 明示的な同値を構成することで、すべての非半単純ブロックが加法圏として同値であることを証明する。
• ヤング図形の組合せ論的データと対称群の表現論を用いて、関係を持つクイバーによる非半単純ブロックの記述を行う。
• 形式的べき級数代数における冪等元の持ち上げ技術を活用して、構造的結果を支援する。

実験結果

リサーチクエスチョン

• RQ1 $t$ が非負整数であるとき、Deligneの圏 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ のブロックはどのように分類されるか。
• RQ2 非半単純ブロックの構造は何か？ それらは加法圏として同値であるか。
• RQ3 $t \notin \mathbb{Z}_{\geq 0}$ の場合に、半単純性がブロック分解と恒等関手の自己準同型を用いて再証明可能か。
• RQ4 非半単純ブロックを記述する関係を持つクイバーは何か。
• RQ5 インデコンポジット対象は $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ においてブロック分解の下でどのように振る舞うか。

主な発見

• 圏 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ には無限個の自明なブロックが含まれており、それぞれ有限次元 $F$-ベクトル空間の圏と同値である。
• $t$ が非負整数であるとき、有限個の非半単純ブロックが存在する。
• すべての非半単純ブロックは加法圏として同値である。
• 非半単純ブロックは、ヤング図形の組合せ論と対称群の表現論から明示的に構成された関係を持つクイバーによって記述される。
• ブロック分解と恒等関手の自己準同型を用いて、Deligneの半単純性定理の新しい証明が得られる。
• 本結果は、アーベル包 $\underline{\operatorname{Re}}\!\operatorname{p}^{ab}(S_t)$ 及びその普遍性を研究する基盤を提供する。