最近学习的时候遇到有人使用导出代数几何的语言，于是自己补习了一下，在这里把我领悟到的想法记录下来。因为初学，所以肯定有些东西没有把握住正确的观点，大家看个乐就行~

本文适合于已掌握代数几何基础的同学阅读。

目录：

1. 链复形有几何解释吗？
2. 代数拓扑给我们的启发：单纯方法
3. “非阿贝尔范畴
   的导出范畴”：模型范畴及其同伦范畴
4. 怎么能轻易忘记同伦呢：单纯强化范畴
5. 不同的记住同伦的办法
6. 总结
7. 参考文献

一、链复形有几何解释吗？

在岁月的长河中，概形

• 上链复形范畴
  及其导出范畴
• 上链复形之间的态射函子
  及其导出函子

其中

例（导出完备化，[StP]091N）：给定交换环

1. 关于
   导出完备
   ；
2. 的导出完备化典范同构于
   。

可以看到，

我们不禁发问，复形自身是否具有几何解释？

二、代数拓扑给我们的启发：单纯方法

定理（Dold-Kan对应，[StP]019G）：给定阿贝尔范畴

特别地，单纯

其中，一个单纯集(simplicial set)

单形(simplex)。单纯对象的概念和我们在代数拓扑里学单纯、奇异同调时给每个拓扑空间 一个单纯集就是一个几何空间！

如此一来，Dold-Kan对应就帮我们完成了任何一个链复形的几何实现：每条

代数几何研究代数的几何，在第一节中我们遇到的复形

三、“非阿贝尔范畴

为了对非阿贝尔范畴

的事情，我们转而考虑单纯

模型范畴（model category）（见[GJ]第2章）。

在模型范畴

弱等价态射(weak equivalence)（如：拟同构(quasi-isomorphism)）。

模型范畴中的主要研究对象是把它的所有弱等价态射取逆得到的范畴

同伦范畴(homotopy category)

我们可以对任一对象（如：

从而模型范畴之间的函子

诱导了同伦范畴之间的导出函子

于是我们想要在

定理（[GS]4.17）：

是模型范畴之间的函子。

其中

到了这一步，我们已经找准了导出代数几何中的研究对象：单纯

，它们构成范畴

四、怎么能轻易忘记同伦呢：单纯强化范畴

父母从小就教我们，对自己好的人我们不能忘记！你看同伦让我们把甜甜圈等同于汽车轮胎，使我们在路过面包店的时候对它们熟视无睹，即省下了钱又减下了肥，同伦对我们这么好同学们怎么能忘记它呢！

也就是说，对于模型范畴

比如对于模型范畴

对应到单纯对象那边，对于模型范畴

这个同伦范畴，两对象不仅仅只是有范畴对象之间的态射，而是有着一个态射空间（mapping space）！这样的范畴被称为单纯强化范畴（simplicial enriched category），也即范畴里的任意两个对象

我们把该同伦范畴里的对象看作“点”；

把两个点

点之间的路径”；

把单纯集

路径之间的连续变化”；

……

这样同伦范畴不再仅仅是同伦等价类的全体，而是记录了所有同伦的一个几何空间！换句话说，单纯强化范畴是单纯、同伦的视角下的几何空间！

定理（Dwyer-Kan局部化，[Ber]第3节）：对任一模型范畴

这个单纯强化范畴就是记录了所有同伦的“强化版同伦范畴”。

这样我们可以给出仿射导出概形（affine derived scheme）的定义：

定义（[To]2.2节）：设单纯交换环构成的模型范畴为

五、不同的记住同伦的办法

事实上，单纯强化范畴只是同伦眼光下的一种几何空间。

我们可以把两对象

一般的同伦眼光下的几何空间，理应是无穷范畴(infinite category)。无穷范畴就是有对象、有对象之间的态射、有态射之间的态射……而没有加入一些单纯的条件或是复合的限制。

给无穷范畴加一点复合限制，比如

定理（[Ber]）：单纯强化范畴、Segal范畴、拓扑强化范畴，都是

Lurie在他的几大本著作中选取的

六、总结

1. Dold-Kan对应
   启发我们考虑
   ；
2. 使我们考虑导出的推广：模型范畴
   及其同伦范畴
   ；
3. 考虑模型范畴
   的Dywer-Kan局部化
   ，它是一个单纯强化范畴，它记录了所有同伦，并且它的同伦等价类就是
   ；
4. 仿射导出概形范畴就是
   。

七、参考文献

[StP] The Stacks project authors, The Stacks Project, 2019.

[GJ] Goerss, P., and J.F. Jardine, Simplicial Homotopy Theory, 1999.

[To] Toën, B., Derived Algebraic Geometry, 2014.

[GS] Goerss, P., and K. Schemmerhorn, Model Categories and Simplicial Methods, 2006.

[Ber] Bergner, J.E, A Survey of (infty,1)-categories, 2006.

[Qui] Quillen, D., Homotolical Algebra, 1967.