[論文レビュー] Internal object actions in homological categories

Manfred Hartl, Bruno Loiseau|arXiv (Cornell University)|Feb 27, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 7

ひとこと要約

本稿は、有限余完備なホモロジー圏における内部作用の新しい最小形式を、標準的写像 $A+G \to A\times G$ の核 $(A|G)$ を用いて導入し、このような作用と $G$ 上の分裂拡大（ポイント）との間の関手的同値を確立する。主な貢献は、環境対象による共軛作用に関して安定であるものとしての部分対象の特徴付けであり、これはホモロジー圏の中で半アーベル圏を完全に特徴付ける。

ABSTRACT

Let $G$ and $A$ be objects of a finitely cocomplete homological category $\mathbb C$. We define a notion of an (internal) action of $G$ of $A$ which is functorially equivalent with a point in $\mathbb C$ over $G$, i.e. a split extension in $\mathbb C$ with kernel $A$ and cokernel $G$. This notion and its study are based on a preliminary investigation of cross-effects of functors in a general categorical context. These also allow us to define higher categorical commutators. We show that any proper subobject of an object $E$ (i.e., a kernel of some map on $E$ in $\mathbb C$) admits a "conjugation" action of $E$, generalizing the conjugation action of $E$ on itself defined by Bourn and Janelidze. If $\mathbb C$ is semi-abelian, we show that for subobjects $X$, $Y$ of some object $A$, $X$ is proper in the supremum of $X$ and $Y$ if and only if $X$ is stable under the restriction to $Y$ of the conjugation action of $A$ on itself. This amounts to an elementary proof of Bourn and Janelidze's functorial equivalence between points over $G$ in $\mathbb C$ and algebras over a certain monad $\mathbb T_G$ on $\mathbb C$. The two axioms of such an algebra can be replaced by three others, in terms of cross-effects, two of which generalize the usual properties of an action of one group on another.

研究の動機と目的

• ホモロジー圏における $G$ による $A$ の内部作用の最小的で関手的同値な定式化を定義し、半直積の一般化を図る。
• ベックの基準を避けて、半アーベル圏における $\mathbb{T}_G$-代数と $G$ 上のポイントとの同値性の初等的証明を提供する。
• オブジェクトがその適切な部分対象に作用する共軛作用を一般化し、バウーンとジャネリッドゼの研究を拡張する。
• 半直積の普遍的性質を共軛作用への普遍的変換として形式化する。
• 適切な部分対象が共軛作用に関して安定であるという性質によって、半アーベル圏を、有限余完備なホモロジー圏の中で特徴付ける。

提案手法

• 内部作用を、$(A|G) \to A$ という写像として定義する。ここで $(A|G)$ は標準的写像 $A+G \to A\times G$ の核であり、群論的交換子構成を一般化する。
• 関手の交差効果（cross-effects）を基礎的道具として用い、特に恒等関手の第二交差効果を用いて、$\mathbb{T}_G$-代数の公理を三つの成分に分解する。
• 作用の第一および第二公理が、それぞれ $G$ が $A$ に自己準同型として作用すること、および群作用の通常の結合則に対応することを示す。
• $\mathbb{T}_G$-代数の第三公理（三重交差効果を含む）は、群では自明であるが、一般の圏では非自明であることを証明する。
• オブジェクト $E$ が適切な部分対象 $X \to E$ に作用する共軛作用は、群における既知の共軛作用を一般化する。
• 交差効果の道具立てを用いて、$\mathbb{T}_G$-代数と $G$ 上のポイントとの同値性を、完全に圏論的で初等的な方法で再証明する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー圏における内部作用は、$\mathbb{T}_G$-代数の枠組みを超えて、最小のデータによってどのように定義可能か？
• RQ2 ホモロジー圏におけるオブジェクトがその適切な部分対象に作用する共軛作用の圏論的一般化とは何か？
• RQ3 部分対象が共軛作用に関して安定であるという性質が、ホモロジー圏の中で半アーベル圏を特徴付ける意味は何か？
• RQ4 $\mathbb{T}_G$-代数の公理は交差効果によってどのように分解され、それらは圏論的に何を意味するか？
• RQ5 ベックの基準を用いずに、交差効果と普遍性のみを用いて、$G$ 上のポイントと $\mathbb{T}_G$-代数との同値性を再証明可能か？

主な発見

• 任意の有限余完備なホモロジー圏において、写像 $(A|G) \to A$ を用いて定義される内部作用の概念は、$G$ 上のポイント（分裂拡大）と関手的同値である。
• オブジェクト $E$ が適切な部分対象 $X \to E$ に作用する共軛作用は、well-defined であり、古典的な群論的共軛作用を一般化する。
• 半アーベル圏において、部分対象 $X$ が $X$ と $Y$ の上限において適切であることは、$A$ が自分自身に作用する共軛作用を $Y$ に制限したとき、$X$ がその作用に関して安定であることと同値であり、これは普遍的特徴付けを提供する。
• $\mathbb{T}_G$-代数の三つの公理は、交差効果を用いて再解釈可能である：第一および第二公理は自己準同型および結合則条件に対応し、第三公理は非自明な三重交差効果条件である。
• 部分対象が共軛作用に関して安定であるという性質は、有限余完備なホモロジー圏の中で半アーベル圏を完全に特徴付ける。
• 本稿は、ベックの基準を用いずに、交差効果と普遍性のみを用いて、半アーベル圏における $\mathbb{T}_G$-代数と $G$ 上のポイントとの同値性の初等的証明を提供する。