[論文レビュー] Pregroupoids and their enveloping groupoids

Anders Kock|ArXiv.org|Feb 3, 2005

Fuzzy and Soft Set Theory参考文献 6被引用数 6

ひとこと要約

本稿では、群コホーズ、主バンドル、およびトールサーを基礎付ける代数的枠組みとしてpregroupoidを導入し、完全忠実関手を介して各pregroupoidに包摂群コホーズを割り当てる左随伴構成を確立する。主な貢献は、群コホーズからpregroupoidへの忘却関手が左随伴を持ち、その単位が単射であることの証明であり、これにより基点や全般的な切断に依存せずにトールサーおよびバンドルの標準的群コホーズ包を構成可能となる。

ABSTRACT

We prove that the forgetful functor from groupoids to pregroupoids has a left adjoint, with the front adjunction injective. Thus we get an enveloping groupoid for any pregroupoid. We prove that the category of torsors is equivalent to that of pregroupoids. Hence we also get enveloping groupoids for torsors, and for principal fibre bundles.

研究の動機と目的

• グローバルな切断や基点に依存しない、完全に代数的で関手的な群コホーズおよび主バンドルの枠組みを構築すること。
• トールサーの圏とpregroupoidの圏の間のカテゴリカル同値を確立すること。
• 任意のpregroupoid、主バンドル、またはトールサーに対して、選択公理を用いず、等式公理のみを用いて包摂群コホーズ関手を構成すること。
• 主バンドルにおける接続を研究するための合成微分幾何学に適合する基礎を提供すること。

提案手法

• pregroupoidを、全射 α:X→A および β:X→B を備えた集合 X として定義し、単位および接続の法則を満たす部分的に定義された三項演算子 yx⁻¹z を備える。
• 公理 (1)–(4) および結合則 (6) や対称性 (7)–(8) などの導出恒等式を用いて、構造を代数的に形式化する。
• 群コホーズからpregroupoidへの忘却関手に対する左随伴として包摂群コホーズ X⁺ を構成し、その単位が単射であることを証明する。
• エッジ群コホーズ構成 XX⁻¹（Ehresmannの構成）は随伴ではないが、包摂群コホーズ構成における重要な構成要素として用いられる。
• ジャンクス空間への適用：固定された核分布 D を持つ写像の1次ジャンクスのpregroupoidを定義し、それが公理を満たすことを示す。
• 2つのエッジ群コホーズ（XX⁻¹ および X⁻¹X）が、それぞれ A および B の D を保存する自己同型に対応することを確立する。

実験結果

リサーチクエスチョン

• RQ1 任意のpregroupoidに対して、基点や全般的な切断を選ばずに、標準的群コホーズ包を構成できるか？
• RQ2 トールサーの圏とpregroupoidの圏は同値であるか？ もしそうならば、この同値性は群コホーズ構造とどのように関係するか？
• RQ3 群コホーズからpregroupoidへの忘却関手は左随伴を有するか？ また、その随伴の単位は単射か？
• RQ4 主バンドルの概念をpregroupoidの観点から代数的に表現できるか？ その結果得られる包摂群コホーズは何か？
• RQ5 エッジ群コホーズ XX⁻¹ は包摂群コホーズ構成において果たす役割は何か？ また、完全な群コホーズ構造とどのように関係するか？

主な発見

• 群コホーズからpregroupoidへの忘却関手は左随伴を持ち、その随伴の単位は単射である。これにより、任意のpregroupoidに対して標準的包摂群コホーズが存在することが証明された。
• トールサーの圏とpregroupoidの圏は同値であり、幾何的トールサーと代数的pregroupoidの間の深い代数的双対性が確立された。
• 包摂群コホーズ構成は完全忠実であり、元のpregroupoidからのすべての構造的情報を保持する。
• 主バンドルに対して包摂群コホーズ構成は、標準的な移動群コホーズを回復し、合成微分幾何学の枠組みとも整合する。
• エッジ群コホーズ XX⁻¹（Ehresmannの構成）は随伴でも忠実でもないが、包摂群コホーズ構成における重要な構成要素として機能する。
• 固定された核分布 D を持つ写像の1次ジャンクスの場合、pregroupoid構造は自然に定義され、その包摂群コホーズは D を保存する自己同型を捉えている。