[論文レビュー] Firm Frobenius monads and firm Frobenius algebras

Gabriella Böhm, José Gómez-Torrecillas|arXiv (Cornell University)|Apr 24, 2013

Rings, Modules, and Algebras参考文献 19被引用数 6

ひとこと要約

この論文は、カテゴリカルな手法を用いて、古典的 Frobenius 代数の非単位的一般化として、ファーム Frobenius モナドおよびファーム Frobenius 代数を導入する。ファームモジュールの圏とコモジュールの圏が同型であるための必要十分条件は、コモジュールから非単位的モジュールへの標準的比較関手がファームモジュールの圏を通じて因数分解することにある。これは、例えば、基礎代数に局所単位元が存在する場合、またはコ乗法が乗法を分解する（非分離的ケース）場合に成立し、Abrams の古典的定理を非単位的設定に拡張するものであり、一般化されたカシミール要素および乗算子代数を用いた新たな特徴付けを含む。

ABSTRACT

Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of comodules and of firm modules are shown to be isomorphic if and only if a canonical comparison functor from the category of comodules to the category of non-unital modules factorizes through the category of firm modules. This happens for example if the underlying algebra possesses local units, e.g. the firm Frobenius algebra arises from a co-Frobenius coalgebra over a base field; or if the comultiplication splits the multiplication (hence the underlying coalgebra is coseparable).

研究の動機と目的

• カテゴリカルおよびモナド的技法を用いて、古典的 Frobenius 代数の概念を非単位的設定に一般化すること。
• ユニタリ Eilenberg-Moore 圈の非単位的アナログとして、ファームモジュールおよびファームモナドを定義すること。
• ファームモジュールの圏とコモジュールの圏が同型であるための条件を確立すること。
• Frobenius 代数におけるモジュール-コモジュール双対性の古典的定理を、非単位的・ファーム Frobenius 代数に拡張すること。
• 乗算子代数内の一般化されたカシミール要素を用いた、ファーム Frobenius 代数の新たな特徴付けを提供すること。

提案手法

• 非単位的モナドおよびコモノイドの枠組みを用いたカテゴリカルなフレームワーク、特に随伴および持ち上げられた関手に注目する。
• 作用が全射であり、特定のフォークが余等化子であるような、非単位的モジュールとしてのファームモジュールの定義。
• 自由モジュールがファームであるような非単位的モナドとしてのファームモナドの導入。
• コモジュールの圏から非単位的モジュールの圏への標準的比較関手の構成。
• この関手がファームモジュールの圏を通じて因数分解する条件の分析がなされ、主な同型結果が導かれる。
• 可換環上の代数、特にコ-Frobenius および非分離的コモノイドへの結果の応用。

実験結果

リサーチクエスチョン

• RQ1 非単位的モナド上のファームモジュールの圏が、その構成コモノイド上のコモジュールの圏と同型であるための条件は何か？
• RQ2 Frobenius 代数におけるモジュールとコモジュールの古典的双対性は、非単位的状況にどのように拡張できるか？
• RQ3 局所単位元の存在またはコ乗法の分解が、ファームモジュールとコモジュールの圏の同型確立に果たす役割は何か？
• RQ4 R ⊗ R の乗算子代数内に存在する一般化されたカシミール要素は、どのようにしてファーム Frobenius 代数を特徴付けるか？
• RQ5 非単位的 Frobenius モナドはどのような状況で分離可能な随伴から生じるか？そして、その結果としてモジュール-コモジュール同値が得られる条件は何か？

主な発見

• ファームモジュールの圏とコモジュールの圏が同型であるための必要十分条件は、コモジュールから非単位的モジュールへの標準的比較関手がファームモジュールの圏を通じて因数分解することにある。
• 体上のコ-Frobenius コモノイドから生じるファーム Frobenius 代数は、同型条件を満たし、[11, Theorem 2.3] および [6, Proposition 2.7] を拡張する。
• コ乗法が乗法を分解する（すなわちコモノイドが非分離的である）場合、比較関手はファームモジュールの圏を通じて因数分解され、圏の同型が保証される。
• 非退化な乗法をもつファーム代数は、R ⊗ R の乗算子代数内に一般化されたカシミール要素が存在するときかつそのときに限り、ファーム Frobenius 代数である。
• 任意の G-可換単位的 k-代数 A に対して、スモージュ積 A♯G∗ はファーム代数 A⊗R に同型であり、A の G-可換モジュールの圏は A⊗R 上のファームモジュールの圏と同値である。
• 局所単位を持つファーム Frobenius 代数のファームモジュールの圏は、そのコモジュールの圏と同型であり、作用 m·r := m₀ǫ(m₁r) を用いて示される。