[论文解读] 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-理论与 торic簇等背景下经典层与同伦层之间的关系。
• 建立一个框架，将同伦层表征为扭曲图范畴中的余局部对象，并应用于导出范畴。
• 为解释拟相干层与谱作为扭曲图的特例提供基础，统一同伦理论与代数几何中不同构造。

提出的方法

• 引入伴随丛的概念——一组范畴及其之间伴随函子的集合——以编码广义图的形状与扭曲结构。
• 将扭曲图定义为在范畴上索引的对象集合，其结构映射通过丛中指定的扭曲函子在范畴之间传递。
• 利用伴随丛构建扭曲版的 Kan 扩张，实现在广义图设定下的普遍构造。
• 在扭曲图范畴上建立多种 Quillen 模型范畴结构，包括适用于正向/逆向范畴的 Reedy 型结构，以及适用于任意指标范畴的可生成结构。
• 利用可滤逼近定义同伦层：当且仅当将源对象替换为可滤对象后，其结构映射变为弱等价时，扭曲图为同伦层。
• 证明：当且仅当扭曲图在同伦范畴函子下的像在丛的同伦范畴中成为严格层时，该扭曲图为同伦层。

实验结果

研究问题

• RQ1 如何将经典图范畴推广，以允许通过函子连接的不同范畴中的对象？
• RQ2 在扭曲图范畴上存在哪些模型范畴结构，特别是具有逐点弱等价的结构？
• RQ3 同伦层与同伦范畴中经典层之间有何关系？
• RQ4 扭曲图能否在统一形式系统下整合谱与拟相干层等构造？
• RQ5 在可滤逼近与弱等价的术语下，层的精确同伦表征是什么？

主要发现

• 扭曲图通过允许通过指定扭曲函子（如谱中的悬垂函子或层论中的等变幺半群作用）连接不同范畴中的对象，推广了经典图。
• 在伴随丛上，扭曲图范畴是完备的，且可利用伴随数据构造扭曲 Kan 扩张。
• 扭曲图范畴上存在模型范畴结构：对正向/逆向指标范畴存在 Reedy 型结构，对任意指标范畴存在可生成结构。
• 当且仅当其结构映射在源对象经可滤逼近后变为弱等价时，扭曲图为同伦层。
• 当且仅当其在同伦范畴函子下的像在丛的同伦范畴中成为严格层时，扭曲图为同伦层。
• 该框架适用于经典例子：谱与 toric 品种上的拟相干层是同伦层的特例，其导出范畴可通过此形式系统描述。