[論文レビュー] Algebraically coherent categories

Alan S. Cigoli, James Richard Andrew Gray+1 more|arXiv (Cornell University)|Sep 15, 2014

Homotopy and Cohomology in Algebraic TopologyMathematics被引用数 19

ひとこと要約

本稿では、有限完備な圏において、点のファイブレーションに沿ったベース変更関手が有限極限および jointly strongly epimorphic ペアを保存するような、代数的に整合性のある圏という概念を導入する。主な貢献は、このような圏が半アーベル的文脈において強力な構造的性質を満たすことを示したことである。具体的には、Smith は Huq 条件、Higgins 交換子の正規性、およびファイバーごとの代数的カルテジアン閉性が成り立つ。広範な例としては、関心の圏やコンパクトハウスドルフ代数の圏が含まれる。

ABSTRACT

We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give examples of categories satisfying this condition; for instance, coherent categories, categories of interest in the sense of Orzech, and (compact) Hausdorff algebras over a semi-abelian algebraically coherent theory. We study equivalent conditions in the context of semi-abelian categories, as well as some of its consequences: including amongst others, strong protomodularity, and normality of Higgins commutators for normal subobjects, and in the varietal case, fibre-wise algebraic cartesian closedness.

研究の動機と目的

• 点のファイブレーションへの一般化として、代数的整合性という新しい圏的性質を定義・調査すること。
• 代数的整合性が半アーベル圏において、Smith は Huq 条件や Higgins 交換子の正規性といった重要な構造的性質を含意することを確立すること。
• 関心の圏やコンパクトハウスドルフ代数の圏を含む広範なクラスの例を提示し、代数的整合性が自然かつ広く成立する条件であることを示すこと。
• 多様体的文脈における代数的整合性とファイバーごとの代数的カルテジアン閉性の関係を明確にすること。
• 代数的整合性が半アーベル圏において強いプロトモジュラー性および二重零化対象の二つの定義の一致を含意することを示すこと。

提案手法

• 点のファイブレーションに沿ったベース変更関手が有限極限および jointly strongly epimorphic ペアを保存することを満たす性質として、代数的整合性を定義する。
• 核関手による特徴づけを示し、特定のプルバックと jointly strongly epimorphic ペアの保存と同値であることを示す。
• 閉包性質を確立する：代数的整合性はスライシング、ポイントの取り出し、正規エピ反射において保存される。
• Orzech の意味での「関心の圏」がすべて代数的に整合的であることを示し、内部 Mal’cev 項の構造を用いる。
• (コンパクト) ハウスドルフ代数が半アーベル的で代数的に整合的である理論の上に存在する場合、それらも依然として代数的に整合的であることを示す。
• 代数的に整合的である半アーベル圏では、二重零化対象の二つの自然な定義が一致することを示す：$[X,X,X] = [[X,X],X]$。

実験結果

リサーチクエスチョン

• RQ1 有限完備な圏において、その点のファイブレーションに沿ったベース変更関手が有限極限および jointly strongly epimorphic ペアを保存するための条件は何か？
• RQ2 代数的整合性は、Smith は Huq 条件、Higgins 交換子の正規性、強力なプロトモジュラー性といった既知の圏的性質とどのように関係するか？
• RQ3 群、環、リー代数、ポアソン代数といった古典的代数的圏のうち、どの圏が代数的整合性を満たすか？
• RQ4 どのような文脈で代数的整合性がファイバーごとの代数的カルテジアン閉性を含意するか？
• RQ5 半アーベル圏において、代数的整合性が成り立つ場合、二重零化対象の二つの自然な定義が一致するか？

主な発見

• 代数的整合性は、半アーベル圏において Smith は Huq 条件 (SH)、強化版 (SSH)、および Higgins 交換子の正規性 (NH) を含意する。
• 任意の代数的に整合的である半アーベル圏において、二重零化対象の条件 $[X,X,X] = [[X,X],X]$ が成り立つ。これは二つの自然な定義の一致を示している。
• Orzech の意味での「関心の圏」—群、リー代数、環、結合的代数、ポアソン代数などを含む—はすべて代数的に整合的である。
• 半アーベル的で代数的に整合的である理論の上に存在する (コンパクト) ハウスドルフ代数の圏は、代数的に整合的である。これは例のクラスを拡張する。
• 代数的整合性は、点付き Mal’tsev 圏において強いプロトモジュラー性を含意し、多様体的文脈ではファイバーごとの代数的カルテジアン閉性を含意する。
• 代数的に整合的である半アーベル圏において、点のファイブレーションに沿ったベース変更関手は、Higgins 交換子、Huq 交換子、正規閉包、および余核を保存する。