[論文レビュー] Twisted diagrams and homotopy sheaves

Thomas Huettemann, Oliver Roendigs|ArXiv.org|May 27, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 7

ひとこと要約

この論文は、異なる圏に属する対象がねじれ関手によって接続される一般化されたファンクターであるねじれ図式を導入し、モデル圏を用いたホモトピー論的枠組みを確立する。ホモトピー層を、余代数的置換後の構造写像が弱同値になるねじれ図式として定義し、それがホモトピー圏における層と正確に一致することを証明することで、層論とホモトピー論を新しい形式的枠組みで統合する。

ABSTRACT

Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are spectra (in the sense of homotopy theory) and quasi-coherent sheaves on schemes. We develop the basic theory of twisted diagrams, and establish various model structures (which are well-known in special cases). We also introduce a notion of homotopy sheaves, a collection of local data which is compatible up to weak equivalence, and study basic properties of such objects. These objects occur in nature; for example, the notion of an Omega-spectrum fits into this framework. The main purpose of the paper is to provide a convenient reference for model structures on twisted diagrams, and for the language of sheaves and homotopy sheaves as defined here.

研究の動機と目的

• 異なる圏に属する対象がねじれ関手によって接続される一般化された図式圏を形式化すること。
• 特に点ごとの弱同値を伴うような、このような一般化された図式のためのモデル構造についての明確でアクセス可能な記述の欠如に対処すること。
• 代数的K理論やトーリック多様体のような文脈における、古典的層とホモトピー層の関係を明確にすること。
• ホモトピー層がねじれ図式圏におけるコローカル対象として特徴付けられる枠組みを確立すること、特に導来圏への応用を含む。
• 準正則層やスペクトラをねじれ図式の特別な場合として解釈する基盤を提供し、ホモトピー論と代数的幾何学における別個の構成を統一すること。

提案手法

• 図式の形状とねじれを符号化する、圏の集合とそれらの間の随伴関手からなる『随伴バンドル』の概念を導入する。
• バンドルに含まれる圏間の指定されたねじれ関手を通じて構造写像が因数分解するように、図式のインデックス付きの対象の集合としてねじれ図式を定義する。
• 随伴バンドルを用いて、一般化された図式設定における普遍的構成を可能にする、ねじれ版のカン拡張を構成する。
• ねじれ図式圏に複数のクィレンモデル圏構造を確立する。直接／逆方向のインデックス圏に対してはリーディ型構造を、任意のインデックス圏に対しては発生的生成構造を含む。
• 余代数的置換を用いてホモトピー層を定義する：ねじれ図式がホモトピー層であるとは、その源対象を余代数的対象に置き換えた後に構造写像が弱同値になることである。
• ねじれ図式がホモトピー層であるための必要十分条件は、そのホモトピー圏関手による像がバンドルのホモトピー圏における厳密な層になることである、と証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的図式圏は、関手によって接続された異なる圏に属する対象を許容するようにどのように一般化できるか？
• RQ2 ねじれ図式の圏に存在するモデル圏構造は何か、特に点ごとの弱同値を伴うものについて？
• RQ3 ホモトピー層はホモトピー圏における古典的層とどのように関係しているか？
• RQ4 ねじれ図式は、スペクトラーや準正則層のような構成を共通の形式的枠組みで統一できるか？
• RQ5 余代数的置換と弱同値を用いた、層の正確なホモトピー的特徴づけは何か？

主な発見

• ねじれ図式は、スペクトラにおけるサスペンション関手や、層論における等変モナド作用など、指定されたねじれ関手を通じて異なる圏に属する対象を許容することで、古典的図式を一般化する。
• 随伴バンドル上のねじれ図式の圏は完全であり、随伴データを用いてねじれカン拡張を構成可能である。
• ねじれ図式圏にはモデル圏構造が存在する：直接／逆方向のインデックス圏に対してはリーディ型構造、任意のインデックス圏に対しては発生的生成構造を含む。
• ねじれ図式がホモトピー層であるための必要十分条件は、その源対象を余代数的対象に置き換えた後に構造写像が弱同値になることである。
• ねじれ図式がホモトピー層であるための必要十分条件は、そのホモトピー圏関手による像がバンドルのホモトピー圏における厳密な層になることである。
• この枠組みは古典的例に適用可能である：スペクトラやトーリック多様体上の準正則層はホモトピー層の特別な場合であり、それらの導来圏はこの形式的枠組みを用いて記述可能である。