导出代数几何：现代代数几何的一个分支，把同调代数/同伦论中的“导出（derived）”思想引入几何对象与映射（如概形、叠、模空间），用以更精确地处理交叉的“非横截”现象、形变理论与模空间的微妙结构。常见模型包括导出概形（derived schemes）、导出叠（derived stacks）等。（该短语在更专门语境下还有不同技术表述。）
/dɪˈraɪvd ˌældʒəˈbreɪɪk dʒiˈɑːmɪtri/
Derived algebraic geometry provides tools to study moduli spaces more accurately.
导出代数几何提供了更精确研究模空间的工具。
In derived algebraic geometry, derived intersections capture hidden multiplicities that classical intersections may miss.
在导出代数几何中，导出交会能够捕捉经典交会可能遗漏的“隐藏重数”等细节。
derived 原意为“导出、推导而来”，在数学里常指来自导出范畴（derived category）、导出函子（derived functor）等同调代数思想；algebraic geometry 是“代数几何”。合在一起，表示把“导出/同伦-同调”的增强结构引入代数几何，以便把“应当存在但在经典框架下不够可见”的信息记录下来（尤其在交会与形变问题中）。
Select Language