arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1508.04427math.KT
收藏

三角范畴的一个零空间

A Nullstellensatz for triangulated categories

Mikhail V. Bondarko, Vladimir A. Sosnilo

摘要:

本文的主要目的是证明:对于一个三角范畴$ \underline{C}$和$E\subset \operatorname{Obj} \underline{C}$,存在一个上同调函子$F$(其值在某个阿贝尔范畴内),使得$E$是它的零集当(且仅当)$E$关于收缩和扩张是闭的(因此,我们得到了这类函子的一个确定的Nullstellenkeleton).而且,对于$ \underline{C}$是$R$ -线性范畴(其中$R$是交换环),这也等价于存在满足这个性质的$R$ -线性$F: \underline{C}^{op}\to R-\operatorname{mod}$.作为推论,我们证明了一个对象$Y$属于相应的“信封”的一些$D\subset \operatorname{Obj} \underline{C}$时,同样是真实的$Y$和$D$的图像在所有类别$ \underline{C}_p$从$ \underline{C}$通过“本地化的系数”在最大理想$p\triangleleft R$。此外,为了证明我们的定理,我们开发了一些新的方法,使三角范畴与它们的(非满的)可数三角子范畴联系起来。本文的结果可应用于权重结构和动机三角分类的研究。

英文摘要:

The main goal of this paper is to prove the following: for a triangulated category $ \underline{C}$ and $E\subset \operatorname{Obj} \underline{C}$ there exists a cohomological functor $F$ (with values in some abelian category) such that $E$ is its set of zeros if (and only if) $E$ is closed with respect to retracts and extensions (so, we obtain a certain Nullstellensatz for functors of this type). Moreover, for $ \underline{C}$ being an $R$-linear category (where $R$ is a commutative ring) this is also equivalent to the existence of an $R$-linear $F: \underline{C}^{op}\to R-\operatorname{mod}$ satisfying this property. As a corollary, we prove that an object $Y$ belongs to the corresponding "envelope" of some $D\subset \operatorname{Obj} \underline{C}$ whenever the same is true for the images of $Y$ and $D$ in all the categories $ \underline{C}_p$ obtained from $ \underline{C}$ by means of "localizing the coefficients" at maximal ideals $p\triangleleft R$. Moreover, to prove our theorem we develop certain new methods for relating triangulated categories to their (non-full) countable triangulated subcategories. The results of this paper can be applied to the study of weight structures and of triangulated categories of motives.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑