[論文レビュー] The snail lemma for internal groupoids

Sandra Mantovani, Giuseppe Metere+1 more|arXiv (Cornell University)|Jul 4, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 3

ひとこと要約

本稿は、反射的余等化子を備えた点付き正則圏における内部群コホーズに対して、Gabriel-ZismanおよびBrownの完全系列を一般化し、強h-核、連結成分（$\pi_0$）、自己同型関手（$\pi_1$）を用いて六項完全系列を構成する「スネーク・レムマ」を導入する。主な貢献は、アーベルまたは半アーベル圏において、この系列が古典的なスネーク・レムマに還元されることを保証する統一的枠組みを提供することにある。

ABSTRACT

We establish a generalized form both of the Gabriel-Zisman exact sequence associated with a pointed functor between pointed groupoids, and of the Brown exact sequence associated with a fibration of pointed groupoids. Our generalization consists in replacing pointed groupoids with groupoids internal to a pointed regular category with reflexive coequalizers.

研究の動機と目的

• 点付き群コホーズから、反射的余等化子を備えた点付き正則圏における内部群コホーズへのGabriel-ZismanおよびBrownの完全系列の拡張。
• 内部関手に対する一般化された「スネーク・レムマ」を導入することで、非アーベルホモロジー代数における完全系列の構成を統一すること。
• 内部関手が内部ファイブレーションである場合、その強h-核がカテゴリカル核に一致することを示し、Brownの結果を一般化すること。
• 内部群コホーズの文脈において、関手$\pi_0$および$\pi_1$が完全性を保つことを確立すること。

提案手法

• 内部関手の強h-核、$\pi_0$、$\pi_1$関手を用いて、ベース圏$\mathcal{A}$における六項完全系列を構成する。
• 強h-プッシュアウトと強h-核の普遍性を用いて、2-圏$\mathbf{Grpd}(\mathcal{A})$における完全系列を定義する。
• 内部関手がファイブレーションである場合、強h-核がカテゴリカル核に一致することを示し、内部群コホーズのファイブレーションに関する補足論文の結果を活用する。
• $[-]_1$および$\pi_1$関手間の擬似随伴を用いて、$\pi_1$が完全性を保つこと、および$g_1$が同型であることの証明を行う。
• $\mathcal{A}$の正則性とターゲット群コホーズの適切性を用いて、正則エピモルフィズムを通じて$\pi_0$が完全性を保つことを示す。
• 標準的比較写像$g_0$と$g_1$がそれぞれ正則エピモルフィズムおよび同型であることを示し、$\pi_0$および$\pi_1$系列の完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Gabriel-Zismanの完全系列は、点付き群コホーズを超えて、反射的余等化子を備えた点付き正則圏における内部群コホーズへ一般化可能か？
• RQ2 内部関手が内部ファイブレーションである場合、その内部関手の強h-核はカテゴリカル核とどのように関係するか？
• RQ3 内部群コホーズの文脈において、関手$\pi_0$および$\pi_1$が完全性を保つ条件は何か？
• RQ4 スネーク・レムマは、アーベルまたは半アーベル圏において、古典的なスネーク・レムマとBrownの系列をどのように統一するのか？

主な発見

• スネーク・レムマは、内部関手から、強h-核、$\pi_0$、$\pi_1$を含む、ベース圏$\mathcal{A}$における六項完全系列を構成する。
• 内部関手が内部ファイブレーションである場合、強h-核はカテゴリカル核に還元され、Brownの完全系列が回復される。
• $\pi_1$は完全性を保つ：比較写像$g_1$は同型であり、$\pi_1$-系列の完全性が保証される。
• ターゲット群コホーズが適切である場合、$\pi_0$は完全性を保つ：比較写像$g_0$は正則エピモルフィズムである。
• $\pi_0$および$\pi_1$はスネーク系列の完全性を保つことが示され、比較写像の正則エピモルフィズムおよび同型性によって保証される。
• アーベルまたは半アーベル圏において、スネーク・レムマは古典的なスネーク・レムマに還元され、非アーベルおよびアーベルのホモロジー代数的道具が統一される。