权结构

约定. 在本文中,

• 范畴都指 $(\infty ,1)$-范畴.

权结构是稳定范畴的附加结构, 模拟投射链复形的暴力截断, 也是 Hodge 理论中权的抽象.

1定义

定义 1.1. 设 $\mathcal{C}$ 是稳定范畴. $\mathcal{C}$ 的权结构, 指的是二元组 $({\mathcal{C}}_{\ge 0},{\mathcal{C}}_{\le 0})$, 满足:

1.	${\mathcal{C}}_{\ge 0}$ 和 ${\mathcal{C}}_{\le 0}$ 都是 $\mathcal{C}$ 的满子范畴, 且关于收缩封闭.
2.	对 $n\in \mathbb{Z}$, 记 ${\mathcal{C}}_{\ge n}={\mathcal{C}}_{\ge 0}[n]$, ${\mathcal{C}}_{\le n}={\mathcal{C}}_{\le 0}[n]$. 则 ${\mathcal{C}}_{\ge 1}\subseteq {\mathcal{C}}_{\ge 0}$, ${\mathcal{C}}_{\le 0}\subseteq {\mathcal{C}}_{\le 1}$.
3.	对 $x\in {\mathcal{C}}_{\le 0}$, $y\in {\mathcal{C}}_{\ge 1}$, 有 ${\pi }_0{\mathrm{Hom}}_{\mathcal{C}}(x,y)=0$.
4.	对 $x\in \mathcal{C}$, 存在正合三角 $x^{\prime }\to x\to x^{\prime \prime }$, 其中 $x^{\prime }\in {\mathcal{C}}_{\le 0}$, $x^{\prime \prime }\in {\mathcal{C}}_{\ge 1}$.

保持权结构的正合函子称为权正合函子. 带权结构的稳定小范畴关于权正合函子构成范畴, 记作 ${\mathsf{Cat}}^{\mathrm{wt}}$.

注 1.2. 和 t 结构不同的是这里第 4 条的纤维列不会是唯一的.

定义 1.3 (有界性). 称稳定范畴 $\mathcal{C}$ 的权结构 $({\mathcal{C}}_{\ge 0},{\mathcal{C}}_{\le 0})$ 为:

•	左有界, 指 $\mathcal{C}={\bigcup }_{n\in \mathbb{Z}}{\mathcal{C}}_{\le n}$.

•	右有界, 指 $\mathcal{C}={\bigcup }_{n\in \mathbb{Z}}{\mathcal{C}}_{\ge n}$.

•	有界, 指它左有界且右有界.

定义 1.4 (心). 稳定范畴 $\mathcal{C}$ 的权结构 $({\mathcal{C}}_{\ge 0},{\mathcal{C}}_{\le 0})$ 的心指满子范畴 ${\mathcal{C}}_{\ge 0}\cap {\mathcal{C}}_{\le 0}$, 记作 ${\mathcal{C}}^{♡}$, 它是加性范畴.

2例子

•	设 $R$ 是环, $\mathsf{Perf}(R)$ 是其完美复形范畴, 即导出范畴 $\mathsf{D}(R)$ 中的紧对象构成的满子范畴, 则其对象都被有限生成投射模构成的有界链复形表示. 取 ${\mathsf{Perf}}_{\ge 0}(R)$ 为那些只在下标大于等于 $0$ 处有非零投射模的链复形, ${\mathsf{Perf}}_{\le 0}(R)$ 为那些只在下标小于等于 $0$ 处有非零投射模的链复形. 这给出 $\mathsf{Perf}(R)$ 上的权结构. 更一般地对 ${\mathbb{E}}_1$-环也有类似的构造.

•	类似地, 有限谱的范畴 ${\mathsf{Sp}}^{\mathrm{fin}}$ 上也有权结构, 其中 ${\mathsf{Sp}}_{\ge 0}^{\mathrm{fin}}$ 为只有维数非负的胞腔者, ${\mathsf{Sp}}_{\le 0}^{\mathrm{fin}}$ 为只有维数非正的胞腔者.

3性质

以下 $\mathcal{C}$ 是稳定范畴, $({\mathcal{C}}_{\ge 0},{\mathcal{C}}_{\le 0})$ 是其权结构.

命题 3.1. 二元组 $({\mathcal{C}}_{\ge 0},{\mathcal{C}}_{\le 0})$ 中两者相互决定. 具体地说,

•	${\mathcal{C}}_{\le 0}=\{x\in \mathcal{C}\mid \forall y\in {\mathcal{C}}_{\ge 1},{\pi }_0\mathrm{Hom}(x,y)=0\}$.
•	${\mathcal{C}}_{\ge 0}=\{y\in \mathcal{C}\mid \forall x\in {\mathcal{C}}_{\le -1},{\pi }_0\mathrm{Hom}(x,y)=0\}$.

证明. 由对称性只需证第一条. 依定义左边包含于右边. 现如 $x\in \mathcal{C}$ 属于右边, 取纤维列 $x^{\prime }\to x\to x^{\prime \prime }$ 使得 $x^{\prime }\in {\mathcal{C}}_{\le 0}$, $x^{\prime \prime }\in {\mathcal{C}}_{\ge 1}$. 则由条件, $x\to x^{\prime \prime }$ 是零映射, 所以 $x$ 是 $x^{\prime }$ 的收缩, 故也属于 ${\mathcal{C}}_{\le 0}$.

$\square$

命题 3.2. 对 $n\in \mathbb{Z}$, ${\mathcal{C}}_{\ge n}$ 与 ${\mathcal{C}}_{\le n}$ 对扩张封闭.

证明. 由对称性以及平移, 只需证 ${\mathcal{C}}_{\le 0}$ 对扩张封闭. 设纤维列 $x\to y\to z$ 中 $x,z\in {\mathcal{C}}_{\le 0}$. 现对任意 $w\in {\mathcal{C}}_{\ge 1}$, 有映射谱的纤维列$$\mathrm{Hom}(x,w)\to \mathrm{Hom}(y,w)\to \mathrm{Hom}(z,w)$$且其第一项和第三项的 ${\pi }_0$ 为 $0$. 于是其第二项的 ${\pi }_0$ 也是 $0$. 所以 $y\in {\mathcal{C}}_{\le 0}$.

$\square$

命题 3.3. 对 $n\in \mathbb{Z}$, ${\mathcal{C}}_{\ge n}$ 对有限余极限封闭, ${\mathcal{C}}_{\le n}$ 对有限极限封闭.

证明. 由命题 3.2 它们对直和封闭, 故只需证它们分别对余纤维和纤维封闭. 由对称性以及平移, 只需证 ${\mathcal{C}}_{\ge 0}$ 对余纤维封闭. 设纤维列 $x\to y\to z$ 中 $x,y\in {\mathcal{C}}_{\ge 0}$. 旋转, 得纤维列 $y\to z\to x[1]$, 其中 $y\in {\mathcal{C}}_{\ge 0}$, $x[1]\in {\mathcal{C}}_{\ge 1}\subseteq {\mathcal{C}}_{\ge 0}$. 故由命题 3.2, $z\in {\mathcal{C}}_{\ge 0}$.

$\square$

4与加性范畴的关系

对权结构取心实际上给出带有界权结构的稳定范畴的范畴到加性范畴的范畴的满忠实函子. 为给出更准确的陈述以及证明, 在此先回忆加性范畴的稳定化. 以下 ${\mathsf{Cat}}^{\mathrm{add}}$ 表示加性小范畴的范畴, ${\mathsf{Cat}}^{\mathrm{st}}$ 表示稳定小范畴的范畴.

定理 4.1. 含入函子 ${\mathsf{Cat}}^{\mathrm{st}}\to {\mathsf{Cat}}^{\mathrm{add}}$ 有左伴随, 称为加性范畴的稳定化, 记作 $\mathsf{st}$, 由下式给出: $$\mathsf{st}(\mathcal{A})={\mathsf{Fun}}^{\mathrm{add}}({\mathcal{A}}^{\mathrm{op}},{\mathsf{Sp}}^{\mathrm{fin}}).$$

命题 4.2. 对加性范畴 $\mathcal{A}$, 记$${\mathsf{st}}_{\ge 0}(\mathcal{A})={\mathsf{Fun}}^{\mathrm{add}}({\mathcal{A}}^{\mathrm{op}},{\mathsf{Sp}}_{\ge 0}^{\mathrm{fin}}),{\mathsf{st}}_{\le 0}(\mathcal{A})={\mathsf{Fun}}^{\mathrm{add}}({\mathcal{A}}^{\mathrm{op}},{\mathsf{Sp}}_{\le 0}^{\mathrm{fin}}),$$则这给出 $\mathsf{st}(\mathcal{A})$ 上的权结构, 且把函子 $\mathsf{st}:{\mathsf{Cat}}^{\mathrm{add}}\to {\mathsf{Cat}}^{\mathrm{st}}$ 穿过 ${\mathsf{Cat}}^{\mathrm{wt}}$.

定理 4.3. 我们有自然的伴随函子$$\mathsf{st}:{\mathsf{Cat}}^{\mathrm{add}}\rightleftarrows {\mathsf{Cat}}^{\mathrm{wt}}:(-{)}^{♡}$$其中 $(-{)}^{♡}$ 限制在有界权结构上为满忠实, 其像为那些在稳定化中对收缩封闭的加性范畴.

5与 t 结构的关系

(定义权结构和 t 结构横截; 陈述分解定理.)

6参考文献

•	Elden Elmanto, Vladimir Sosnilo (2021). “On nilpotent extensions of $\infty$-categories and the cyclotomic trace”. arXiv: 2010.09155 [math.KT].

7相关概念

•	t 结构
•	心结构

术语翻译

权结构 • 英文 weight structure