[論文レビュー] Distributive laws for actions of monoidal categories

Zoran Škoda|ArXiv.org|Jun 16, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 14

ひとこと要約

この論文は、モノイダル圏の作用がモナド上の加群圏にどのように引き上げられるかについて、双対写像を確立する。これは、モナド間の分配則の一般化である。主な貢献は、Eilenberg-Moore 圈への作用の引き上げを可能にする圏論的枠組みを提供することであり、非可換設定における対称性の相対的・幾何的取り扱いを可能にする。

ABSTRACT

Given a monoidal category C, an ordinary category M, and a monad T in M, the lifts in a strict sense of a fixed action of C on M to an action of C on the Eilenberg-Moore category of T-modules in M are in a bijective correspondence with certain families of natural transformations, indexed by the objects in the monoidal category C. These families are analogues of distributive laws between monads.

研究の動機と目的

• ベース圏上のモノイダル圏の作用を、そのモナドのEilenberg-Moore 圈に引き上げる一般枠組みを提供すること。
• 非可換幾何学、特にホプフ代数や非可換スキームの文脈において、群的対称性の相対的・幾何的取り扱いの欠如に対処すること。
• モナド間の分配則を、モナド上の加群圏におけるモノイダル圏作用の設定に一般化すること。
• グロテンディークの相対的幾何学的哲学にインspiredされた、相対的な圏論的設定におけるテンソル構造とモナドの整合性を形式化すること。
• 一様な圏論的メカニズムを通じて、相対的群スキーム、ブレッド付き圏内のホプフ代数、および次数付き環といった多様な対称性を統一的に扱えるようにすること。

提案手法

• 論文は、圏 M におけるモノイダル圏の作用を定義し、T を M 上のモナドとするとき、T-加群のEilenberg-Moore 圈 M^T への作用の引き上げを検討する。
• モノイダル圏の対象によってインデックスづけられた自然変換の族を導入し、これが作用の引き上げの一般化された分配則として機能する。
• 作用とモナド構造との間の整合性条件によって引き上げが特徴づけられ、作用が T-加群構造と可換であることを保証する。
• 作用を M^T に引き上げるためのモノイダル関手 L: C → End(M) を使用し、鍵となる条件は、各 Q ∈ C に対して、T ∘ (− ◁ Q) ⇒ (T(−) ◁ Q) なる分配則 l の存在である。
• バリアルゲブラ B、B-加群代数 A、および k-Mod 上のモナド T(V) = A ⊗ V を用いた明示的例を構成し、C^B が k-Mod に作用する仕組みが T-加群にどのように引き上げられるかを示す。
• 引き上げられた作用が、A-加群に適合する右 B-作用を持つ代数を分類する新しいモナド L_B に対応することを検証する。

実験結果

リサーチクエスチョン

• RQ1 ベース圏上のモノイダル圏の作用を、その圏上のモナドのEilenberg-Moore 圈に引き上げるためには、どのような追加データが必要か？
• RQ2 古典的なモナド間の分配則を、モナド上の加群圏におけるモノイダル圏作用の設定にどのように一般化できるか？
• RQ3 相対的幾何的設定において、モノイダル圏作用とモナド構造との整合性を保証する圏論的構造は何か？
• RQ4 特に非可換的または相対的文脈において、対称な作用を、対称モノイダルベース圏からモナド上の加群圏に体系的に引き上げる方法は何か？
• RQ5 忘却関手が、引き上げられた作用をベース圏への忘却関手と合成した際に、元の作用に還元されることを保証する忘却関手の役割は何か？

主な発見

• モナド T のEilenberg-Moore 圈 M^T へのモノイダル圏作用の引き上げは、一般化された分配則条件を満たす自然変換の族と、双対写像の関係にある。
• 一般化された分配則はモノイダル圏の対象によってインデックスづけられており、モノイダル作用とモナド構造との整合性を符号化する。
• バリアルゲブラ B と B-加群代数 A の例において、T-加群への引き上げられた作用は、A-加群に適合する右 B-作用を持つ新しいモナド L_B に対応する。
• L_B のEilenberg-Moore 圈は、左 A-作用と右 B-作用が特定の整合性条件を満たす k-加群の圏に同値である。
• この構成は、非可換幾何学における等変層の定義のための圏論的枠組みを提供し、ホプフコアクションを介した G-等変層の概念を一般化する。
• この枠組みは、ベース上の群スキーム、ブレッド付き圏内のホプフ代数、および次数付き代数といった多様な対称性構造を、一つの相対的圏論的原理に統一的にまとめる。