[論文レビュー] On the fibrewise effective Burnside $\infty$-category

Clark Barwick, Saul Glasman|arXiv (Cornell University)|Jul 10, 2016

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

ひとこと要約

本稿は、『まっさらな単体的集合』という新しい枠組みと、修正された Joyal–Tierney 論法を用いて、有効な Burnside ∞-圏の繊維化版を導入する。これは、 twisted arrow ∞-圏の理論を繊維的設定へと拡張し、∞-圏的枠組みにおける繊維化された等長的安定ホモトピー論の基盤を提供する。

ABSTRACT

Effective Burnside $\infty$-categories are the centerpiece of the $\infty$-categorical approach to equivariant stable homotopy theory. In this étude, we recall the construction of the twisted arrow $\infty$-category, and we give a new proof that it is an $\infty$-category, using an extremely helpful modification of an argument due to Joyal--Tierney. The twisted arrow $\infty$-category is in turn used to construct the effective Burnside $\infty$-category. We employ a variation on this theme to construct a fibrewise effective Burnside $\infty$-category. To show that this constuctionworks fibrewise, we introduce a fragment of a theory of what we call marbled simplicial sets, and we use a yet further modified form of the Joyal--Tierney argument.

研究の動機と目的

• 有効な Burnside ∞-圏の構成を、繊維的またはパrametrized の設定へと拡張すること。
• 繊維的構造を扱うための技術的道具として『まっさらな単体的集合』の理論を構築すること。
• 修正された Joyal–Tierney 論法を用いて、twisted arrow ∞-圏が実際に ∞-圏であることを示す新しい証明を提供すること。
• 繊維化された有効な Burnside ∞-圏が、マーク付き単体的集合上の cocartesian モデル構造と整合的であることを確立すること。
• twisted arrow の構成を繊維的文脈へ一般化し、パラメトリズドされた等長的ホモトピー論への応用を可能にすること。

提案手法

• 単体的集合上の関手 ε⋆ により、Δ 上の自己関手 ε = op ⋆ id を用いて、twisted arrow ∞-圏を定義する。
• 修正された Joyal–Tierney 論法を適用し、twisted arrow ∞-圏が実際に ∞-圏であることを証明する。
• 特にマーク付き単体的集合の文脈において、繊維的構造を扱うためのフレームワークとして『まっさらな単体的集合』を導入する。
• twisted arrow 構成と標準的単体圏との関係を、edgewise subdivision functor 𝒪̃ を用いて関係づける。
• マーク付き単体的集合上の cocartesian モデル構造を用い、特に『まっさらな自明な同型』と『スプライン包含』に注目する。
• 右側のキャンセル性を持つ飽和クラスを用いて、左ホーン包含に関しての閉包性を示す。

実験結果

リサーチクエスチョン

• RQ1 有効な Burnside ∞-圏をどのようにして繊維的またはパrametrized の設定へ一般化できるか？
• RQ2 繊維化された twisted arrow 構成が、うまく定義された ∞-圏をもたらすために必要な構造は何か？
• RQ3 Joyal–Tierney 論法をどのように修正すれば、繊維化された twisted arrow 圏が ∞-圏たる性質を示せるか？
• RQ4 『まっさらな単体的集合』は、∞-圏論における繊維的構成を可能にする上で果たす役割は何か？
• RQ5 マーク付き単体的集合におけるどのクラスの射が、右側のキャンセル性を満たし、必要な包含を含むか？

主な発見

• 修正された Joyal–Tierney 論法を用いて、twisted arrow ∞-圏が ∞-圏であることが証明され、従来のアプローチよりも新しいかつ簡潔な証明が得られた。
• twisted arrow 構成を繊維的文脈へ一般化することで、繊維化された有効な Burnside ∞-圏が構成された。
• 右側キャンセル性を満たし、マーク付きスプラインと左ホーン包含を含む射のクラスは、すべての左ホーン包含を含むことが示され、重要な技術的結果となった。
• 包含 lJⁿ → lΔⁿ は飽和クラス E に属し、特定の部分集合 S に対して lJⁿ → lΛⁿ_S の包含も同様に E に属する。これは、重要な包含に関しての閉包性を確認するものである。
• 関連する関手が cocartesian モデル構造における必要なファイブレーションおよび自明な同型を保存することを示すことにより、繊維化された有効な Burnside ∞-圏の構成が正当化された。
• 『まっさらな単体的集合』の使用により、特にマーク付き単体的集合およびそのモデル構造の文脈において、繊維的構造の整合的な取り扱いが可能になった。