[論文レビュー] Higher Dimensional Homology Algebra II:Projectivity

Fang Huang, Shao-Han Chen+2 more|arXiv (Cornell University)|Jun 24, 2010

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

ひとこと要約

この論文は、2-カテゴリーである対称2-群（2-SGp）とR-2-加群（R-2-Mod）が十分な投射的対象を備えていることを証明し、古典的ホモロジー代数を高次元へと拡張する。R-Modにおける既知の投射的分解性質と、R-加群から得られる離散的対称2-群の構成を活用することで、π₀関手を介した持ち上げ機構と本質的全射性を確立し、バウルとビターレの2-SGpにおける投射性に関する予想を裏付ける。

ABSTRACT

In this paper, we will prove that the 2-category (2-SGp) of symmetric 2-groups and 2-category ($\cR$-2-Mod) of $\cR$-2-modules(\cite{5}) have enough projective objects, respectively.

研究の動機と目的

• 対称2-群の2-カテゴリー（2-SGp）における十分な投射的対象の存在についてボーンとビターレが提起した予想を解決すること。
• 1次元ホモロジー代数（R-Mod）における基礎的投射的分解性質を、高次元圏的構造へと拡張すること。
• 2-カテゴリーR-2-Modが十分な投射的対象を備えていることを確立し、高次ホモロジー代数における導来圏構成を可能にすること。
• 2次元ホモロジー代数における（コ）ホモロジー理論を構築するための圏論的枠組みを提供すること。

提案手法

• R-加群Mから、Mの元を対象とし、恒等射のみをもつ離散的対称2-群M_disを構成する。
• π₀関手を用いて、対称2-群内の同型類のなすアーベル群を抽出し、古典的加群論へとつなぐ橋渡しを実現する。
• R-Modが十分な投射的対象を備えているという事実を活用し、投射的R-加群Pを投射的R_dis-2-加群P_disに持ち上げる。
• 任意の本質的全射なR_dis-準同型F: M_dis → N_disが、群準同型π₀(F): π₀(M_dis) → π₀(N_dis) を誘導することを確立する。
• PがR-Modにおける投射的対象であることと、同型の持ち上げ性質を用いて、任意の与えられたG: P_dis → Nと本質的全射F: M → Nに対して、G': P_dis → Mへの持ち上げG'を構成する。
• 比較関手H: M → (π₀(M))_disの全射性と同型の合成を用いて、構成された準同型F: P_dis → Mが本質的全射であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 ボーンとビターレが提起した予想である、対称2-群の2-カテゴリー（2-SGp）が十分な投射的対象を備えているか。
• RQ2 R-Modにおける投射的分解性質が、R-2-加群の2-圏的設定へと持ち上げられるか。
• RQ3 π₀関手と離散的構成（·)_disは、対称2-群とR-2-加群を、古典的アーベル群とR-加群とどのように関連付けるか。
• RQ4 R-2-Modにおける準同型が本質的全射であるための条件は何か。また、その性質はどのようにして投射的分解を構成するために用いられるか。
• RQ5 古典的ホモロジー代数における導来圏フレームワークは、投射的対象を用いて2-カテゴリーへと一般化可能か。

主な発見

• 対称2-群の2-カテゴリー（2-SGp）は十分な投射的対象を備えており、ボーンとビターレの予想が裏付けられた。
• 任意のR-加群Mに対して、離散的対称2-群M_disはR_dis-2-加群である。これにより、1次元と2次元代数の間の圏論的ブリッジが確立された。
• 任意のR-加群の全射準同型f: M → Nは、R_dis-準同型F: M_dis → N_dis として本質的全射である。
• 任意のR-2-Modにおける本質的全射なF: M → Nに対して、π₀関手は全単射な群準同型π₀(F): π₀(M) → π₀(N) を誘導する。
• Pが投射的R-加群であれば、P_disはR_dis-2-Modにおける投射的対象である。これは、準同型の持ち上げと同型データの持ち上げを通じて成立する。
• 2-カテゴリー（R-2-Mod）は十分な投射的対象を備えている。すなわち、任意のM ∈ (R-2-Mod)に対して、投射的P_disと本質的全射なR_dis-準同型F: P_dis → Mが存在する。