[論文レビュー] Cocycles in categories of fibrant objects

Zhen Lin Low|arXiv (Cornell University)|Feb 13, 2015

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

ひとこと要約

この論文は、ブラウンが定義したファイブレーション的対象の圏において、新規のコサイクルのホモトピー的計算を用いて、Dwyer–Kanのホモトピー的分数の計算を確立する。主な貢献は、アーベルでない設定に一般化されたヴェルディエ・ハイパーカバレッジング定理の非アーベル的一般化であり、ホモトピー代数を用いて古典的結果を非アーベル的状況へと拡張する。

ABSTRACT

We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined on every category of fibrant objects. As an application, we deduce some non-abelian versions of the Verdier hypercovering theorem.

研究の動機と目的

• ブラウンが定義したファイブレーション的対象の圏における、ホモトピー的分数の計算の開発を目的とする。
• このような圏における補助的構造として、ホモトピー的コサイクル計算を導入し、形式化することを目的とする。
• この計算を用いてヴェルディエ・ハイパーカバレッジング定理を非アーベル的状況へ一般化することを目的とする。
• ファイブレーション的圏における非アーベル的ホモトピー代数のための枠組みを提供することを目的とする。

提案手法

• ファイブレーション的対象の圏に内在する構造として、ホモトピー的コサイクル計算を定義する。
• コサイクル計算を用いて、Dwyer–Kanのホモトピー的分数の計算を構成する。
• ファイブレーション条件を活用して、射のホモトピー類の存在性と整合性を保証する。
• この計算を用いて、ヴェルディエ・ハイパーカバレッジング定理の非アーベル的版を導出する。
• モデル理論的および圏論的道具を用いて、非アーベル的文脈におけるホモトピー整合性を扱う。
• この計算がDwyer–Kan局域化の公理を満たしていることを確立する。

実験結果

リサーチクエスチョン

• RQ1 ファイブレーション的対象の圏において、Dwyer–Kanのホモトピー的分数の計算を構成できるか？
• RQ2 コサイクルはファイブレーション的圏におけるホモトピー同値をどのようにモデル化できるか？
• RQ3 この計算によって、ヴェルディエ・ハイパーカバレッジング定理の非アーベル的一般化としてどのような結果が導かれるか？
• RQ4 コサイクル計算は、既存のホモトピー的局域化技術とどのように関係しているか？
• RQ5 ファイブレーション的圏のどのような構造的性質が、このような計算の存在を可能にするか？

主な発見

• 任意のファイブレーション的対象の圏において、Dwyer–Kanのホモトピー的分数の計算が存在する。
• ホモトピー的コサイクル計算は、そのような局域化の標準的かつ内因的な構成を提供する。
• この計算により、ヴェルディエ・ハイパーカバレッジング定理の非アーベル的一般化が可能になる。
• この構成はファイブレーション関手に関して自然かつファンクターである。
• この枠組みは、代数的幾何学やホモトピー代数から生じる広範な圏のクラスに適用可能である。
• 結果として、古典的ハイパーカバレッジング定理がアーベル的でない設定へと拡張される。