×

局部完成交点图和代理小属性。 (英语) Zbl 1502.13036号

摘要:证明了本质上是有限型平坦的交换Noetherian环的映射(varphi:R到S)是局部完全交的当且仅当(S)作为双模是代理小的。这意味着,作为包络代数(S\otimes_RS\)上的一个模,由\(S\)生成的厚子范畴包含完全支持对角理想的完美复数。这是基于经典结果的精神,即当且仅当(S)作为双模很小时,(\varphi)是光滑的;也就是说,它本身相当于一个完美的复合体。还建立了处理方案间地图的几何相似性。应用包括局部完全交集映射的因式分解定理的简单证明。

MSC公司:

2013年10月3日 交换环和代数的(Co)同调性(例如,Hochschild、André-Quillen、循环、二面体等)
13C60型 模范畴和交换环
14层08 滑轮的派生类别、dg类别和代数几何中的相关结构
PDF格式BibTeX公司 XML格式引用