圏と亜群のポリグラフィック・ホモロジーを分類空間に結び付ける
Groupoidal polygraphic homology
この論文をやさしく読む
ひとことで言うと
高次の圏を使って定義するホモロジーが、通常の分類空間のホモロジーと一致することを示した研究。
何に役立つ？
高次圏によるホモロジーの定義を、既知の分類空間や群のホモロジーと照らして扱う理論的な基礎になる。
この研究の面白いところ
1圏ではk≧1で値がkによらず、亜群ではk＝0まで広がるため、群の古典的ホモロジーも厳密なω亜群の分解から得られる。
どこまで分かった？
要旨で証明しているk＝0の場合はCが亜群であることが条件であり、一般の1圏へ同じ主張を広げてはいない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
1圏Cについて、厳密な(ω,k)圏でのコファイブラント分解を使って定める(ω,k)ポリグラフィック・ホモロジーは、任意のk≧1でkに依存せず、Cの分類空間のホモロジーと標準的に同型であることを示す。Cが亜群の場合は、k＝0についても同じことを示す。特に、これは厳密なω亜群でコファイブラント分解を取ることで、古典的な群のホモロジーが得られることを意味する。これらの結果を示すため、第一著者の先行研究に基づき、厳密な(ω,k)圏の圏における離散Conduchéファイブレーションの理論を発展させる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We show that for a 1-category C, the ({\omega}, k)-polygraphic homology of C for any k {\geq} 1, that is taken with cofibrant resolutions in strict ({\omega}, k)- categories, does not depend on k and is canonically isomorphic to the homology of the classifying space of C. When C is a groupoid, we also show this for k = 0. In particular, this means that the classical homology of groups can be obtained by taking cofibrant resolutions in strict {\omega}-groupoids. In order to show these results, we develop the theory of discrete Conduché fibrations in the category of strict ({\omega}, k)-categories, building on previous work by the first-named author.
著者のコメント
41 pages
arXiv ID: 2609.29967 ／ 要約の誤りについて