[论文解读] Homotopical and Higher Categorical Structures in Algebraic Geometry

Bertrand Toën|arXiv (Cornell University)|Dec 12, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 18

一句话总结

本文引入代数几何中的同伦结构与高阶范畴结构，通过塞加尔范畴、准范畴和 $S$-范畴，统一了导出代数几何、无界代数几何以及新锐代数几何。它建立了这些同伦模型之间的猜想性奎伦等价关系，为高阶代数几何及同伦范畴下的坦纳基安对偶理论提供了框架。

ABSTRACT

This a slightly expended version of my habilitation thesis, which is an overview of my research activities during the last 4 years, written in a rather informal style.

研究动机与目标

• 通过将经典结构扩展至更高范畴与同伦设定，发展代数几何的同伦框架。
• 在共同的高阶范畴语言下，统一导出代数几何、无界代数几何与新锐代数几何。
• 为塞加尔范畴建立坦纳基安对偶理论，推广经典坦纳基安对偶。
• 通过概形化与霍奇理论视角，研究代数簇的同伦类型。
• 通过模型范畴与导出器，探索同伦理论、高阶范畴与代数几何时的相互作用。

提出的方法

• 使用塞加尔范畴作为 $(∞,1)$-范畴的模型，通过满足塞加尔条件的单纯空间定义。
• 通过等化子与张量积，在准范畴、完全塞加尔空间与 $S$-范畴之间建立伴随关系。
• 在 $S$-范畴中应用可交换化解析函子 ($\Gamma^*$)，以关联 $CSS$ 与 $S$-范畴。
• 通过单纯预层与模型结构，定义塞加尔拓扑的同伦类型并研究其性质。
• 通过函子 $\Pi$ 在 $PrCat$ 上引入单纯丰富结构，实现单纯模型范畴结构。
• 提出准范畴、完全塞加尔空间与 $S$-范畴的模型范畴之间的猜想性奎伦等价关系。

实验结果

研究问题

• RQ1 经典代数几何时如何扩展以纳入同伦与高阶范畴结构？
• RQ2 在代数几何背景下，准范畴、完全塞加尔空间与 $S$-范畴之间的精确关系是什么？
• RQ3 坦纳基安对偶能否推广至塞加尔范畴？其与经典坦纳基安对偶的关系如何？
• RQ4 可以与代数簇关联哪些同伦类型？它们与霍奇理论有何关联？
• RQ5 塞加尔范畴、完全塞加尔空间与 $S$-范畴的模型范畴在多大程度上构成 $(∞,1)$-范畴的奎伦等价模型？

主要发现

• 本文提出准范畴的模型范畴与塞加尔范畴的模型范畴之间存在猜想性奎伦等价关系。
• 它猜想完全塞加尔空间与 $S$-范畴之间存在奎伦等价，暗示了高阶范畴的统一框架。
• 通过涉及 $\Gamma^*$-解析与 $\Gamma$ 上张量积的等化子，构建了 $CSS$ 与 $S$-范畴之间的伴随关系，其猜想性奎伦等价关系成立。
• 通过函子 $\Pi$ 在 $PrCat$ 上定义了单纯模型范畴结构，实现了范畴的同伦丰富化。
• 发展了塞加尔范畴的坦纳基安对偶理论，将经典结果推广至同伦设定。
• 本文提供了一个同伦代数几何的观念性框架，将导出代数几何、无界代数几何与新锐代数几何统一于共同的高阶范畴语言之下。