[論文レビュー] Monoidal Morita equivalence

Kornél Szlachányi|ArXiv.org|Oct 18, 2004

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

ひとこと要約

この論文は、双代数的構造のベースに依存しない2-圏的枠組みとして、モノイダルモーリタ同値を導入し、古典的モーリタ同値をモノイダル圏へ一般化する。強いコモノイドプロジェネレータがモノイダルモーリタ同値類を分類することを確立し、双代数的構造上の加群圏を特徴づけ、タケウチの $φ$-モーリタ理論を非タンカリアンな設定へ拡張する。

ABSTRACT

The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module categories are monoidally equivalent. The module categories of bialgebroids and of Frobenius Hopf algebroids are characterized by the existence of strong comonoid progenerators and strong Frobenius progenerators, respectively.

研究の動機と目的

• 双代数的構造のベースに依存しない2-圏を構築し、モノイダルモーリタ同値を捉えること。
• 古典的モーリタ理論を、特に双代数的構造やホプフ代数的構造のような非タンカリアンな例を含むモノイダル圏へ一般化すること。
• 強いコモノイドプロジェネレータの存在を用いて、双代数的構造上の加群圏を特徴づけること。
• スウィードラーのコルンの場合におけるモノイダルモーリタ同値と古典的 $φ$-モーリタ同値の関係を明確にすること。
• ベースの圏間のファンクターを必要としない、モノイダル圏同士を比較する枠組みを提供すること。

提案手法

• 水平合成を $S^e$ 上のテンソル積を用いて行う $R|S$-双代数的構造を1-セルとする2-圏を構成する。
• 1-セルの合成 $P \odot Q = P \otimes_{S^e} Q$ を定義し、これに誘導されるコマルチプライケーションおよびコユニット構造を導入する。
• この2-圏における水平単位としてスウィードラーのコルン $E(R) = R^{\mathrm{op}} \otimes R$ を用いる。
• タケウチの枠組みを適用し、モノイダルモーリタ同値をこの2-圏内での同値として定義する。
• モノイダルモーリタ同値類を分類する不変量として強いコモノイドプロジェネレータを用いる。
• 双代数的構造 $A$ の加群圏が、別の加群圏とモノイダル的にモーリタ同値であるための必要十分条件は、両者が強いコモノイドプロジェネレータを共有することであることを確立する。

実験結果

リサーチクエスチョン

• RQ1 双代数的構造に対して、ベースの圏に依存しないモノイダルモーリタ同値をどのように定義できるか？
• RQ2 モノイダル設定下で、双代数的構造上の加群圏を特徴づける構造的性質は何か？
• RQ3 スウィードラーのコルンの場合、モノイダルモーリタ同値と古典的 $φ$-モーリタ同値の関係は何か？
• RQ4 強いコモノイドプロジェネレータは、モノイダルモーリタ同値類の分類において果たす役割は何か？
• RQ5 ベースの環における $φ$-モーリタ同値が成立しない状況でも、モノイダルモーリタ同値が成立しうるか？

主な発見

• モノイダルモーリタ同値は、ベースに依存しない双代数的構造の2-圏を用いて定義され、古典的モーリタ理論がモノイダル文脈へ一般化される。
• 強いコモノイドプロジェネレータは、双代数的構造の加群圏のモノイダルモーリタ同値類を分類する。
• 双代数的構造 $A$ に対して、加群圏 $\mathsf{M}_A$ が強いコモノイドプロジェネレータを有することと同値である。
• スウィードラーのコルン $E(R)$ に制限した場合、この構成はタケウチの $\sqrt{\text{Morita}}$ 同値を回復する。
• モノイダルモーリタ同値は、ベースの双代数的構造が同値でなくても成立しうることを、双代数的構造の「吹きあがせ」の例によって示している。
• コマルチプライケーションおよびコユニットの整合性を用いて、$B \simeq \tilde{B}$ を $B$-バイモジュラー $P$ を通じて確立し、$\tilde{B} \simeq B$ が双代数的構造としての同値であることを証明する。