显示从第6版到第7版的更改:补充|远离的|陈ged公司
高等几何/衍生几何图形
成分
高等拓扑理论
高等代数
概念
几何的小的 (∞,1)-拓扑锿
结构化(∞,1)-拓扑
几何(对于结构化(∞,1)-拓扑)
广义方案
几何的大的 (∞,1)-拓扑锿
∞堆栈上的函数代数
结构
循环空间对象,自由循环空间对象
局部∞连通(∞,1)-拓扑中的基本∞-群胚/关于局部∞连通(∞,1)-拓扑
示例
导出代数几何
étale(∞,1)-站点,Hochschild上同调属于dg-代数秒
dg-几何
图式同伦型
导出的非对易几何
导出的平滑几何体
微分几何,微分拓扑
导出光滑流形,dg-流形
光滑∞-广群,∞-李代数体
高辛几何
高等克莱因几何
高等笛卡尔几何
定理
伊斯贝尔对偶
琼斯定理,Deligne-Kontsevich猜想
几何堆栈的Tannaka对偶
概念dg-方案由介绍马克西姆·孔采维奇作为第一种方法导出代数几何,并由进一步开发米哈伊尔·卡普拉诺夫和Ionut Ciocan Fontanine公司.
A类微分分级方案(dg-方案)是一个方案 (X(X),O(运行) X(X))(X,(_X)与一个捆 O(运行) X(X) •O_X^\项目符号非负梯度交换的差别分级 O(运行) X(X)O_X(_X)-代数,因此O(运行) X(X)→H(H) 0(O(运行) X(X) •)O_X\到H^0(O_X^\项目符号)是满腹经纶的.
Ciocan Fontanine公司和卡普兰诺夫建造报价(X(X),F类)报价(X,F),经典的衍生增强报价方案给定的参数化次垂荡相干层 F类F类关于光滑射影品种 X(X)X(X) (1999)类似地,他们还构建了一个dg-schemeRHilb公司 小时(X(X))RHilb_h(X),派生的增强希尔伯特方案参数化子模式?给定的投影方案? X(X)X(X)具有希尔伯特多项式? 小时小时 (2000)。作为应用程序,他们构建导出模堆栈属于稳定映射属于曲线到给定的射影簇.
有一个函子来自类别dg-模式的分类派生堆栈属于伯特兰·托恩和加布里埃尔·维佐西。它采用完整子范畴1个几何衍生堆栈,但未知(或预期)完全忠实.
尤其是dg-schemes报价(X(X),F类)RQuot(X,F)和RHilb公司 小时(X(X))RHilb_h(X),如上所述,也诱导派生堆栈在现代意义上。
凯·贝伦德,微分分次格式Ⅰ:完备分解代数(arXiv:0212225)
凯·贝伦德,差分格式II:差分格式的2类(arXiv:021226)
Ionut Ciocan Fontanine公司,米哈伊尔·卡普拉诺夫,派生报价方案, 1999,arXiv:math/9905174.
预测导出模空间(用稍微不同的语言)在
第一个例子导出模空间,使用dg-方案,在
Ionut Ciocan Fontanine公司,米哈伊尔·卡普拉诺夫,导出的Hilbert格式, 2000,arXiv:数学/0005155.
上次修订时间:2013年11月29日06:21:26。请参阅历史获取所有贡献的列表。