[論文レビュー] Characterisation and applications of $\Bbbk$-split bimodules

Volodymyr Mazorchuk, Vanessa Miemietz+1 more|arXiv (Cornell University)|Jan 11, 2017

Algebraic structures and combinatorial models参考文献 13被引用数 7

ひとこと要約

この論文は、有限次元代数上のbimoduleが任意の加群とテンソル積を取った際に射影加群を生成するものとして特徴づけられることを示し、それが正確に$Χ$-ベクトル空間を経由する、すなわち$Χ$-split bimoduleであることを証明する。主な結果として、このようなbimoduleが右$B$-加群$K$に関する$A \otimes_{\Bbbk} K$の加法的閉包に属することを示し、これにより非ファイットな2表現や、非自己双対的でない代数における単純なトランスチティブ2表現の分類への応用が可能になる。

ABSTRACT

We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are $\Bbbk$-split in the sense that they factor (inside the tensor category of bimodules) over $\Bbbk$-vector spaces. As one application, we show that any simple $2$-category has a faithful $2$-representation inside the $2$-category of $\Bbbk$-split bimodules. As another application, we classify simple transitive $2$-representations of the $2$-category of projective bimodules over the algebra $\Bbbk[x,y]/(x^2,y^2,xy)$.

研究の動機と目的

• 任意の加群とテンソル積を取った際に射影加群を生成するbimoduleを特徴づけること。
• このようなbimoduleが$Χ$-ベクトル空間を経由する、すなわち$Χ$-splitであることの証明。
• 特徴づけを応用して、単純なファイタリー2カテゴリの忠実な2表現を構成すること。
• $\Bbbk[x,y]/(x^2,y^2,xy)$、非ファイットかつ非自己双対でない代数上の射影bimoduleの2カテゴリに対して、単純なトランスチティブ2表現を分類すること。

提案手法

• テンソル積で加群を射影加群に写すという性質、$\mathrm{Hom}_A(Q,{-})$が完全列を保存するという性質、および$Q$が$A \otimes_{\Bbbk} K$のbimoduleの加法的閉包に属するという性質の3条件の同値性を証明する。
• 代数$A \times B$を用いて、$A = B$の場合に問題を簡約する。
• ローウィー列、ラディカル層、自己準同型代数を含む有限次元代数の表現論を用いる。
• bimoduleの自己準同型代数の構造を解析することで、可能なbimoduleの形を制約する。
• 特徴づけを2表現に応用し、加群を射影加群に写す関手がすべて$Χ$-split bimoduleから生じることを示す。
• 代数$B$およびbimodule$N$の構造に関する場合分けの解析により、非$\Bbbk$-splitな構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 有限次元代数上のどのbimoduleが、任意の加群とテンソル積を取った際に射影加群を生成する性質を持つのか？
• RQ2 このようなbimoduleは、そのテンソルカテゴリの性質に基づいて、どのように構造的に特徴づけられるか？
• RQ3 任意の単純なファイタリー2カテゴリは、$Χ$-split bimoduleのみを用いて忠実な2表現として表現可能か？
• RQ4 $\Bbbk[x,y]/(x^2,y^2,xy)$上の射影bimoduleの2カテゴリに対して、単純なトランスチティブ2表現の構造は何か？
• RQ5 標準的な方法が射影加群・自己双対加群に依存する場合に、それらが存在しない状況で、このような2表現をどのように分類できるか？

主な発見

• bimodule$Q$が射影化性質（projectivizing property）を満たすための必要十分条件は、$K \in \mathrm{mod}\text{-}B$に対して$bimodule$A \otimes_{\Bbbk} K$の加法的閉包に属することである。このようなbimoduleは$\Bbbk$-split bimoduleと呼ばれる。
• 任意の単純なファイタリー2カテゴリは、$\Bbbk$-split bimoduleの2カテゴリ内に忠実な2表現をもつ。
• $\Bbbk[x,y]/(x^2,y^2,xy)$上の射影bimoduleの2カテゴリに対して、単純なトランスチティブ2表現の分類は、$\Bbbk$-split特徴づけによって達成される。
• 証明では、$B$からターゲットbimoduleへの準同型空間の次元が3を超えることはできず、一方で$A \otimes_{\Bbbk} A$から得られる4次元空間を必要とするため、矛盾が生じ、bimodule$N$のすべての可能な構成が除外される。
• 代数$A = \Bbbk[x,y]/(x^2,y^2,xy)$は、非ゼロの射影加群・自己双対加群を持たない最小の代数であり、標準的な分類手法が適用できないため、$\Bbbk$-split bimoduleに基づく新しいアプローチが不可欠となる。
• ファイット構造や射影加群・自己双対加群の存在に依存しない状況においても、この方法は単純なトランスチティブ2表現を成功裏に分類する。