中文

交换 Noether 环导出范畴中 t-结构的心

范畴论 2015-09-14 v2 环与代数

摘要

RR 为交换 Noether 环,D(R)\mathcal D(R) 为其(无界)导出范畴。我们证明了 D(R)\mathcal D(R) 中所有与 Spec(R)(R) 的支撑左有界滤过相关联的紧生成 t-结构,其心均为 Grothendieck 范畴。此外,我们识别了 D(R)\mathcal D(R) 中所有心为模范畴的紧生成 t-结构。作为 Noether 概形 X\mathbb{X} 的导出范畴 D(X)\mathcal{D}(\mathbb{X}) 中紧生成 t-结构 (U,U[1])(\mathcal{U},\mathcal{U}^\perp [1]) 的几何推论,我们得到以下结论:1) 若序列 (U[n]D0(X))nN(\mathcal{U}[-n]\cap\mathcal{D}^{\leq 0}(\mathbb{X}))_{n\in\mathbb{N}} 是稳定的,则心 H\mathcal{H} 是 Grothendieck 范畴;2) 若 H\mathcal{H} 是模范畴,则 H\mathcal{H} 总是等价于某个仿射子概形 YX\mathbb{Y}\subseteq\mathbb{X}Qcoh(Y)\text{Qcoh}(\mathbb{Y});3) 若 X\mathbb{X} 连通,则:a) 当 kZU[k]=0\bigcap_{k\in\mathbb{Z}}\mathcal{U}[k]=0 时,心 H\mathcal{H} 是模范畴当且仅当给定的 t-结构是 D(X)\mathcal{D}(\mathbb{X}) 中典范 t-结构的平移;b) 当 X\mathbb{X} 不可约时,心 H\mathcal{H} 是模范畴当且仅当存在一个仿射子概形 YX\mathbb{Y}\subseteq\mathbb{X} 和一个整数 mm,使得 U\mathcal{U} 由那些满足对所有 j>mj>mHj(U)H^j(U) 的支撑位于 XY\mathbb{X}\setminus\mathbb{Y} 的复形 UD(X)U\in\mathcal{D}(\mathbb{X}) 组成。

关键词

引用

@article{arxiv.1409.6254,
  title  = {Hearts of t-structures in the derived category of a commutative Noetherian ring},
  author = {Carlos E. Parra and Manuel Saorín},
  journal= {arXiv preprint arXiv:1409.6254},
  year   = {2015}
}

备注

This version is a modification of the previous one following the suggestions of the referee