张量三角范畴的形式谱

我们为每个本质小张量三角范畴 $\mathcal{K}$ 和其中的 Thomason 子集 $Y \subseteq \mathrm{Spc}(\mathcal{K})$ 构造了一个由 $(\mathrm{Spf}(\mathcal{K},Y), \mathcal{O}_{\mathrm{Spf}(\mathcal{K},Y)})$ 组成的环空间，称为 $(\mathcal{K},Y)$ 的形式谱。我们证明了该构造的基本性质，并在代数几何、色谱动力学、等位动力学和模表示论的若干例子中对其进行计算。