对于交换环 $A$, 其模范畴 $\mathsf{Mod}(A)$ 为可表现 对称幺半范畴
推广不会仅做一次就停止. 对于可表现对称幺半范畴 $\mathcal A$, 其在 $\mathsf{Pr}$ 中的模范畴 Stefanich 环 的概念.
定义 . Stefanich 环的范畴 $\mathsf{StRing}$ 是如下 $\aleph_1$-可表现范畴
由于上述第二行定义, $\mathsf{StRing}$ 的一个对象可写为 $A = (A_0,A_1,A_2,\cdots)$, $A_n\in\mathsf{CAlg}(n\mathsf{Pr})$, 带有等价 $A_n = \operatorname{End}_{A_{n+1}}(1)$. 事实上, 这一串等价
$$
A_n = \operatorname{End}_{A_{n+1}}(1) = \operatorname{End}_{\operatorname{End}_{A_{n+2}}(1)}(1) = \cdots
$$
自动给出 $A_n$ 的交换代数结构.
$\mathsf{StRing}$ 的始对象是 $(*,\mathsf{Ani},1\mathsf{Pr},\cdots)$; 即任何 Stefanich 环 $A$ 都带有一列函子 $(n-1)\mathsf{Pr} \to A_n$.
这可以如下理解: $A_n$ 是 $n\mathsf{Pr}$ 中的交换代数, 而 $n\mathsf{Pr}$ 是 $1\mathsf{Pr}$ 中 $(n-1)\mathsf{Pr}$-模的范畴. 模范畴中的交换代数
相对情形
Stefanich 环的态射 $f\colon A\to B$ 是一族相容的交换代数同态 $A_n \to B_n$. 我们采用一个看似 “错位” 的记号 $f^*_{n-1}\colon A_n\to B_n$ 来表示这个同态.
由定义, $f^*_{n-1}\colon A_n\to B_n$ 是可表现范畴 交换代数
这可视为 $B$ 在 $A$ 上的一种相对
函子 $f_{n-1,*}$ 可想象为几何对象之间 $(n-1)$-范畴层的推前, 即整体截面 仿射 相对
在 Stefanich 环的世界中, 任何一个层级的 “$A$-代数” 都可视为 Stefanich 环的 (仿射) 同态 $A\to B$. 更准确地说有如下命题.
命题 . 对 $n\geq 1$, 有全忠实函子
$$
\mathsf{CAlg}(A_n) \to \mathsf{StRing}_{A/},
$$
该函子为 $B\mapsto (B/A)_{n-1}$ 的左伴随. 进一步, 有等价
$$
\begin{aligned}
\mathsf{StRing}_{A/} &\simeq
\operatorname{colim}^{\mathsf{Pr}}(\mathsf{CAlg}(A_1)\hookrightarrow\mathsf{CAlg}(A_2)\hookrightarrow\cdots)\\
& =\operatorname{lim}^{\mathsf{Cat}}(\mathsf{CAlg}(A_1)\leftarrow\mathsf{CAlg}(A_2)\leftarrow\cdots),
\end{aligned}
$$
其中 $B\in\mathsf{StRing}_{A/}$ 对应于 $((B/A)_0,(B/A)_1,\cdots)$.
证明概要 . 依定义,
$$
\mathsf{StRing}_{A/} \simeq
\operatorname{lim}^{\mathsf{Cat}}(
\mathsf{CAlg}(1\mathsf{Pr})_{A_1/}
\leftarrow
\mathsf{CAlg}(2\mathsf{Pr})_{A_2/}
\leftarrow
\cdots
).
$$
我们仔细观察其中的转移映射
$$
\operatorname{End}_{-}(1)\colon
\mathsf{CAlg}(n\mathsf{Pr})_{/ A_n}
\leftarrow
\mathsf{CAlg}((n+1)\mathsf{Pr})_{/ A_{n+1}}.
$$
设 $B_{n+1}\in \mathsf{CAlg}((n+1)\mathsf{Pr})_{/ A_{n+1}}$. 拆开定义, 我们发现 $B_{n+1}$ 的信息相当于对称幺半可表现 $1$-范畴的如下图表.
而这样一个图表的信息仅相当于其下方的一个态射 $g$.
此时 $\operatorname{End}_{B_{n+1}}(1_B)$ 是单位 $1_B\in B_{n+1}$ 在两个函子的右伴随的复合下的像, $\operatorname{End}_{B_{n+1}}(1_B) = f^R g^R (1_B)$. 复合中间经过的对象是 $g^R (1_B) \in \mathsf{CAlg}(A_{n+1})$, 如下图.
由此我们看出, 转移映射中间可穿过 $\mathsf{CAlg}(A_{n+1})$, 于是前述极限可改写为
$$
\mathsf{StRing}_{A/} \simeq
\operatorname{lim}^{\mathsf{Cat}}(
\mathsf{CAlg}(A_1)
\leftarrow
\mathsf{CAlg}(A_2)
\leftarrow
\cdots
),
$$
左边的对象即 Stefanich 环的同态 $A\to B$, 对应右边的序列
$$
((B/A)_0, (B/A)_1,\cdots).
$$
下面说明 $\mathsf{CAlg}(A_n) \to \mathsf{CAlg}(A_{n+1})$ 为全忠实函子.
对于 $B\in\mathsf{CAlg}(A_n)$, 有 $\mathsf{Mod}_{A_n}(B)\in \mathsf{CAlg}(\mathsf{Mod}_{1\mathsf{Pr}}(A_n))$,
TODO
仿射性
定义 . 设 $A\in\mathsf{StRing}$, $n\geq 0$. 定义 $n$-仿射 的 $A$-代数就是落在 $\mathsf{CAlg}(A_{n+1}) \to \mathsf{StRing}_{A/}$ 的本质像中的 $A$-代数.
换言之, 能被 $n$-范畴层完全决定的几何对象就是 $n$-仿射几何对象. $0$-仿射大致就是通常说的仿射, “被函数环完全决定”.
具体地, 对于 $n$-仿射 $A$-代数 $B$, 从 $(B/A)_{n}\in\mathsf{CAlg}(A_{n+1})$ 开始, 不断取 $\mathsf{Mod}(-)$, 即可得到更高阶的元素 $(B/A)_{n+1}, (B/A)_{n+2},\cdots$: 对任意 $m\geq n$,
$$
\mathsf{Mod}_{A_{m+1}}((B/A)_m) \simeq (B/A)_{m+1}.
$$
命题 . 如下操作均保持 $n$-仿射性:
Stefanich 环的余极限 (格式塔
基变换,
复合.
“紧” 性
对于 Stefanich 环的同态 $f\colon A\to B$, 在 $A_{n+1}$ 中有态射
$$
f^*_{m-1} \colon 1 \to (B/A)_m.
$$
定义 . 若对任意 $m\geq n+1$, $f^*_{m-1}$ 在 $A_{m+1}$ 中有右伴随 $f_{m-1,*}\colon (B/A)_m \to 1$, 则称 $f$ 为 $n$-紧
命题 .
若 $B\in\mathsf{StRing}_{A/}$ 为 $n$-仿射 $A$-代数且可数表现, 则 $A\to B$ 为 $n$-紧
证明 .
设 $m\geq n$. 拉回函子 $f^*_{m-1}\colon A_m \to \mathsf{Mod}_{A_m}((B/A)_{m-1})$ 在 $\mathsf{Mod}_{\mathsf{Pr}}(A_m)$ 中有右伴随 $f_{m-1,*}$; 由仿射性, 函子 $\mathsf{Mod}(A_m) \to A_{m+1}$ 将 $\mathsf{Mod}((B/A)_{m-1})$ 映射到 $(B/A)_m$. 因此 $f_{m-1}^*\colon 1\to (B/A)_m$ 在 $A_{m+1}$ 中有右伴随.
平展性
对于 Stefanich 环的同态 $f\colon A\to B$,