[論文レビュー] Admissible intersection and sum property

Souheila Hassoun, Sunny Roy|arXiv (Cornell University)|Jun 7, 2019

Algebraic structures and combinatorial models参考文献 8被引用数 7

ひとこと要約

本稿では、正確なカテゴリー（AI, AS, AIS）を導入し、許容可能な交わりや和、あるいは両方を許容する構造を備えたカテゴリーを研究する。これはシュールの補題を一般化し、準アーベル的およびアーベル的カテゴリーのカテゴリカルな特徴づけを提供する。主な貢献は、許容可能な交わりと和を用いた、アーベル的カテゴリーにおけるジョルダン・ホルダーの定理の新しい証明である。

ABSTRACT

We introduce subclasses of exact categories in terms of admissible intersections or admissible sums or both at the same time. These categories are recently studied by Brüstle, Hassoun, Shah, Tattar and Wegner to give characterisations of quasi-abelian and abelian categories. We also generalise the Schur lemma to the context of exact categories.

研究の動機と目的

• 許容可能な準同型のための $\mathcal{E}$-シュール補題を導入することで、アーベル的または準アーベル的でない文脈におけるシュールの補題を正確なカテゴリーへ一般化すること。
• 許容可能な交わり（AIカテゴリー）と許容可能な和（ASカテゴリー）を備えた正確なカテゴリーを定義し、それらをアーベル的および準アーベル的構造の一般化として研究すること。
• 最大の正確な構造を持つアーベル的カテゴリーを特徴づける枠組みとして、AIとASを併せ持つAISカテゴリーを導入すること。
• 許容可能な交わりと和を用いた正確なカテゴリカルな道具を用いて、アーベル的カテゴリーにおけるジョルダン・ホルダーの定理を再証明すること。
• 正確な構造と引き出し／押し出しを用いたバウムスラグのジョルダン・ホルダー定理の証明のカテゴリカルな一般化を提供すること。

提案手法

• 許容可能な非ゼロ準同型 $f: X \to Y$ に対して $\mathcal{E}$-シュール補題を導入：$X$ が $\mathcal{E}$-単純であれば $f$ は許容可能なモノですら、$Y$ が $\mathcal{E}$-単純であれば $f$ は許容可能なエピですら。
• 引き出しの存在により許容可能なモノが得られるという条件を用いてAIカテゴリーを定義し、許容可能な交わりを保証する。
• 許容可能なモノの押し出しにより許容可能なモノが得られるという条件を用いてASカテゴリーを定義し、許容可能な和を保証する。
• AIおよびASの公理を同時に満たすカテゴリーとしてAISカテゴリーを導入し、許容可能な交わりと和を統合する。
• 引き出しと押し出しの普遍性を用いて、正確なカテゴリーにおける合成系列と部分対象のラティスを構成・分析する。
• 許容可能な交わりと同型定理に基づき、最大の正確な構造 $\mathcal{E}_{\text{all}}$ を持つアーベル的カテゴリーにおいて、正確なカテゴリカルな議論を用いてジョルダン・ホルダーの定理を再構成する。

実験結果

リサーチクエスチョン

• RQ1 シュールの補題は、アーベル的または準アーベル的でない文脈における正確なカテゴリーへどのように一般化できるか？
• RQ2 許容可能なモノの引き出しにより許容可能なモノが得られる条件（許容可能な交わり）は何か？
• RQ3 許容可能なモノの押し出しにより許容可能なモノが得られる条件（許容可能な和）は何か？
• RQ4 許容可能な交わりと和の両方を備える正確なカテゴリー（AISカテゴリー）はどのように特徴づけられるか？
• RQ5 許容可能な交わりと和を含む正確なカテゴリカルな手法を用いて、アーベル的カテゴリーにおけるジョルダン・ホルダーの定理を再証明できるか？

主な発見

• 任意の正確なカテゴリーにおいて $\mathcal{E}$-シュール補題が成り立つ：$f: X \to Y$ が許容可能な非ゼロ準同型であり、$X$ が $\mathcal{E}$-単純であれば、$f$ は許容可能なモノである。
• 正確なカテゴリーが準アーベル的であることと、それがAIカテゴリーであること（すなわち、許容可能な交わりを備えること）とは同値である。
• 正確なカテゴリーが最大の正確な構造 $\mathcal{E}_{\text{all}}$ を備えるアーベル的カテゴリーであることと、それがAISカテゴリーであること（すなわち、許容可能な交わりと和の両方を備えること）とは同値である。
• $X_{m-1}$ における長さ $n-1$ の合成系列は、交わり $X'_{l+1} \cap X_{m-1}$ を用いて構成され、$m = n$ であり、合成因子の間の全単射が示される。
• 許容可能な交わりと和を用いた、アーベル的カテゴリーにおけるジョルダン・ホルダーの定理の証明は、古典的なアーベル的証明とは異なる新しいカテゴリカルな手法を提供する。
• 反例が存在し、最大でない正確な構造を持つアーベル的カテゴリーでさえ、$\mathcal{E}$-ジョルダン・ホルダー性を満たさないことがある。