[論文レビュー] Groupoid of morphisms of groupoids

Bohui Chen, Cheng-Yong Du+1 more|arXiv (Cornell University)|Dec 14, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 4

ひとこと要約

本稿では、群コホーショングラフの準同型から2つの群コホーショングラフを構成し、1つは圏論的、もう1つは幾何学的アプローチにより行い、それらの同型を証明する。さらに、群コホーショングラフの自己同型群コホーショングラフを分析し、群コホーショングラフ理論における圏論的および幾何学的視点の基礎的つながりを確立する。

ABSTRACT

In this paper we construct two groupoids from morphisms of groupoids, with one from a categorical viewpoint and the other from a geometric viewpoint. We show that for each pair of groupoids, the two kinds of groupoids of morphisms are equivalent. Then we study the automorphism groupoid of a groupoid.

研究の動機と目的

• 群コホーショングラフ間の準同型からなる圏論的群コホーショングラフを構成すること。
• 群コホーショングラフ間の準同型からなる幾何学的群コホーショングラフを構成すること。
• 2つの群コホーショングラフの構成の間の同型を確立すること。
• 与えられた群コホーショングラフの自己同型群コホーショングラフを調査すること。

提案手法

• 圏論的構成を用いて、群コホーショングラフ間の準同型を対象とし、自然変換を射とする群コホーショングラフを定義する。
• 幾何的推論を適用して、同じ準同型の集合に、幾何的対称性および構造に基づく第二の群コホーショングラフ構造を定義する。
• 群コホーショングラフの同型を明示的に構成することで、2つの群コホーショングラフ構造が同型であることを示す。
• 群コホーショングラフおよび自然変換の理論を用いて、自己同型群コホーショングラフを分析する。
• 一貫性と厳密性を保証するため、標準的な圏論および群コホーショングラフ理論の定義に依拠する。
• 群コホーショングラフの公理および2つの構成間の函手的整合性を検証することで、同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 群コホーショングラフ間の準同型は、圏論的視点からどのように群コホーショングラフとして構造化できるか？
• RQ2 群コホーショングラフ間の準同型は、幾何学的視点からどのように群コホーショングラフとして構造化できるか？
• RQ3 圏論的および幾何学的アプローチによる2つの群コホーショングラフの構成は同型であるか？
• RQ4 与えられた群コホーショングラフの自己同型群コホーショングラフの構造はいかなるものか？
• RQ5 2つの群コホーショングラフ構成の同型は、形式的に証明可能か？

主な発見

• 群コホーショングラフ間の準同型に対する圏論的群コホーショングラフは、幾何学的群コホーショングラフと同型である。
• 2つの構成は同型な群コホーショングラフ構造をもたらし、圏論的および幾何学的アプローチの整合性を確認する。
• 群コホーショングラフの自己同型群コホーショングラフは、より広範な準同型群コホーショングラフに自然に埋め込まれる。
• 群コホーショングラフの演算を保存する明確に定義された同型写像を通じて、同型が確立される。
• 結果として、群コホーショングラフ理論における準同型の統合的枠組みが得られる。
• 分析により、群コホーショングラフの自己同型は合成および逆元演算について閉じており、群コホーショングラフをなすことが確認される。