[論文レビュー] Group Objects and Internal Categories

Magnus Forrester-Barker|ArXiv.org|Dec 4, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 38

ひとこと要約

この論文は、圏論における群対象および内部圏についての解説的導入を提供し、群の圏（Grp）における群対象がちょうど可換群であることを示している。また、Grpにおける内部圏は、圏の圏（Cat）における群対象および群の交叉モジュールと同値であることも示している。主な貢献は、可換図式と普遍性を用いたカテゴリカルな統一を通じて、これらの代数的構造を結びつけることにある。

ABSTRACT

Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups, while internal categories in Grp are equivalent both to group objects in Cat and to crossed modules of groups. In this exposition we give an elementary introduction to some of the key concepts in this area.

研究の動機と目的

• 圏論における内部代数的構造（たとえば群対象や内部圏）について、アクセスしやすく初等的な導入を提供すること。
• 有限積を備えた任意の圏において、可換図式を用いて古典的な代数的対象（例：群、モノイド）を定義する方法を明確にすること。
• 群の圏（Grp）における内部圏、圏の圏（Cat）における群対象、および群の交叉モジュールの間の同値性を確立すること。
• 群対象がGrpにおいて必ず可換群であることを、カテゴリカルな図式的推論を用いて示すこと。
• ホモトピー理論や非可換コホノロジーとその関係を探索する研究者にとっての基礎的参照としての役割を果たすこと。

提案手法

• 乗法 m、単位元 e、逆元 i の3つの射を用いて、結合則、単位元則、逆元則の可換図式を満たすことで、圏 C における群対象を定義する。
• 積の普遍性と終対象の性質を用いて、必要な射や同型（例：G × 1 ≅ G）を定義し、要素に依存せずに記述する。
• 対角射 Δ: G → G×G を用いて、逆元条件を図式的に表現し、左および右の逆元を別々の可換図式で保証する。
• 源、標高、単位元、合成射を定義することで、群の圏における内部圏を構成し、群の圏内で圏の公理を満たすことを確認する。
• 源写像の核が正規部分群であり、対象群による作用を持つことから、Grpにおける内部圏と交叉モジュールの同値性を確立する。
• 半直積構成における合成の交換法則を用いてペフィアー恒等式を検証し、交叉モジュール構造が成立することを確認する。

実験結果

リサーチクエスチョン

• RQ1 要素に依存せずに、可換図式を用いて群対象を純粋に圏論的に定義する方法は何か？
• RQ2 なぜ群の圏（Grp）における群対象は必ず可換群であるのか？
• RQ3 Grpにおける内部圏、Catにおける群対象、群の交叉モジュールの間の圏論的関係は何か？
• RQ4 Grpにおける群対象の内部構造は、どのように交叉モジュールを生じさせるのか？
• RQ5 ペフィアー恒等式は、Grpにおける内部圏と交叉モジュールの同値性を保証するために果たす役割は何か？

主な発見

• 群の圏（Grp）における群対象は、エッカマン＝ヘイリントンの議論により乗法が可換である必要があるため、ちょうど可換群に一致する。
• Grpにおける内部圏は、圏の圏（Cat）における群対象と同値であり、両者とも群の交叉モジュールに対応する。
• Grpにおける内部圏から、源写像の核と対象群による作用を介して、自然に群の交叉モジュールが生じる。
• 内部圏における合成演算が交換法則を満たす場合、ペフィアー恒等式は自動的に満たされ、交叉モジュールの公理が成立する。
• Ker(s) ⋊ O に、O による作用を伴う半直積構造を構成することで、作用写像を介して交叉モジュールの圏論的実現が達成される。
• Grpにおける内部圏と交叉モジュールの同値性は、ブラウンとスペンサー（1970年代）の古典的結果を再確認するものであり、図式的推論によって再導出された。