[論文レビュー] Abstract cubical homotopy theory

Falk Beckert, Moritz Groth|arXiv (Cornell University)|Mar 15, 2018

Algebraic structures and combinatorial models参考文献 35被引用数 4

ひとこと要約

本稿は、$n$-立方体の整合的図式を用いて、ホモトピー論の抽象的立方体的計算を構築する。同定されたのは、基数フィルトレーション、コカーテシアングと強くコカーテシアングな $n$-立方体の間の補間、反復コーン構成である。主な貢献は、強い安定同値を介した安定導関手におけるグローバルなセール双対性の確立であり、これによりコリミット-リミット双対性と無限列の随伴関係が可能になる。

ABSTRACT

Triangulations and higher triangulations axiomatize the calculus of derived cokernels when applied to strings of composable morphisms. While there are no cubical versions of (higher) triangulations, in this paper we use coherent diagrams to develop some aspects of a rich cubical calculus. Applied to the models in the background, this enhances the typical examples of triangulated and tensor-triangulated categories. The main players are the cardinality filtration of n-cubes, the induced interpolation between cocartesian and strongly cocartesian n-cubes, and the yoga of iterated cone constructions. In the stable case, the representation theories of chunks of n-cubes are related by compatible strong stable equivalences and admit a global form of Serre duality. As sample applications, we use these Serre equivalences to express colimits in terms of limits and to relate the abstract representation theories of chunks by infinite chains of adjunctions. On a more abstract side, along the way we establish a general decomposition result for colimits, which specializes to the classical Bousfield-Kan formulas. We also include a short discussion of abstract formulas and their compatibility with morphisms, leading to the idea of universal formulas in monoidal homotopy theories.

研究の動機と目的

• ストリングの写像列に依存しない、三角的およびテンソル-三角的圏の一般化を越えるホモトピー論の立方体的計算を開発すること。
• 高次三角化の立方体的類似物の欠如に応じて、$n$-立方体の整合的図式を用いること。
• 安定導関手において、$n$-立方体のチャンク間の強い安定同値を介して、グローバルな形のセール双対性を確立すること。
• セール同値を介してコリミットとリミットを関連付け、モノイダルホモトピー理論全体にわたる普遍的公式を拡張すること。

提案手法

• $n$-立方体の基数フィルトレーションを用いて、コカーテシアング構造と強くコカーテシアング構造の間を補間する。
• 反復コーン構成を用いて、総余コファイバーをモデル化し、ホモトピー的不変量を導出する。
• 安定導関手における $n$-立方体のチャンク間の強い安定同値を確立し、グローバルなセール双対性を可能にする。
• コリミットの分解定理を適用し、表現された導関手におけるボウズフィールド–カンの公式に特化する。
• 連続的公式と $S$-正確な正方形を用いて、普遍的導関手（例えば、空間、スペクトル）から任意の導関手への正確性の伝播を実現する。
• $S$-正確性と $S ext{p}$-正確性を活用し、モノイダルホモトピー理論における普遍的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 三角的または高次三角的構造に依存しない抽象的ホモトピー理論における立方体的計算は、どのように構築可能か？
• RQ2 整合的図式としての $n$-立方体は、導関数の余核と反復コーン構成をどのようにモデル化するか？
• RQ3 $n$-立方体のチャンク間の強い安定同値は、どのように安定導関手におけるグローバルなセール双対性を導くか？
• RQ4 モノイダルホモトピー理論における普遍的公式は、$S$ や $S ext{p}$ のような基本導関手からどの文脈で伝播するか？
• RQ5 ホモトピー正確な正方形と、導関手におけるコエンダイおよびコリミットの公式の有効性との関係は何か？

主な発見

• 本稿は、$n$-立方体のチャンク間の強い安定同値を介して、安定導関手におけるグローバルなセール双対性を確立した。
• 安定導関手におけるコリミットは、セール同値によって誘導される導関数双対性により、リミットとして表現可能である。
• $n$-立方体によるコリミットの分解は、表現された導関手において古典的なボウズフィールド–カンの公式に特化する。
• 連続的公式は、空間の導関手 ($S$) およびスペクトルの導関手 ($S ext{p}$) から任意の導関手へ伝播し、普遍的妥当性を保証する。
• 正方形 (13.1) が $S ext{p}$-正確であるための必要十分条件は、$D_Z$-正確であることであり、このとき $D_k$-正確性が導かれるが、逆は成り立たない可能性がある。
• 表現された導関手において、ボウズフィールド–カンの公式は余等化子表現に簡略化されるが、特定の包含写像がホモトピー最終的でないため、これは任意の導関手へは拡張されない。