Wiki. 分解同调 [分解同调]

观念

分解同调 (factorization homology), 又叫手性同调 (chiral homology), 是将 $\mathbb E_n$-代数 “沿 $n$ 维流形作张量积”.

$S^1$ 上的分解同调即 Hochschild 同调.

定义

设 $(\mathcal C,\otimes)$ 为对称幺半范畴, $A$ 为其中的 $\mathbb E_n$-代数. 回忆, $\mathbb E_n$-代数的语法范畴为 “标架 $n$-圆盘范畴” $\mathsf{Disk}_n^{\mathrm{fr}}$ (其对象为若干个 $n$-圆盘的无交并, 态射为保持标架的光滑嵌入). 换言之, $\mathcal C$ 中的 $\mathbb E_n$-代数 $A$ 等同于对称幺半函子 $$ A\colon \mathsf{Disk}_n^{\mathrm{fr}} \to \mathcal C. $$

现在设 $M$ 是带标架的 $n$ 维光滑流形. 考虑范畴 $(\mathsf{Disk}_n^{\mathrm{fr}})_{/M}$, 其对象为嵌入 $\sqcup_k \mathbb{R}^n \hookrightarrow M$, 态射为包含关系. 定义 $A$ 在 $M$ 上的分解同调为 $$ \int_M A := \operatorname{colim}_{(\mathsf{Disk}_n^{\mathrm{fr}})_{/M}} A^{\otimes k}= \operatorname{colim}_{\sqcup_k \mathbb{R}^n \hookrightarrow M} A^{\otimes k}. $$

那么分解同调函子 $$ \int_{-}A \colon \mathsf{Mfd}_{n}^{\mathrm{fr}} \to \mathcal C $$ 是 $A$ 沿 $\mathsf{Disk}_n^{\mathrm{fr}} \hookrightarrow \mathsf{Mfd}_n^{\mathrm{fr}}$ 的左 Kan 扩张.

性质

切除性

设 $\otimes$ 保持每个分量的筛余极限. 那么对于 $\mathbb E_n$-代数 $A$, $$ \int_{-}A\colon \mathsf{Mfd}_n^{\text{fr}} \to\mathcal C $$ 是对称幺半函子. 此时进一步有如下的 $\otimes$-切除性 (excision): 对于标架 $n$-流形的 “粘领口” (collar-gluing) 分解 $$ X=X_0\cup_{W\times\mathbb{R}}X_1 $$ ($X_0$, $X_1$ 为 $X$ 中的开集, $X_0\cap X_1=W\times\mathbb{R}$), 有 $$ \int_X A \simeq \int_{X_0}A{\bigotimes_{\int_{W\times\mathbb{R} }A}}\int_{X_1}A. $$ 其中用到 $\int_{W\times\mathbb{R}}A$ 是结合代数 (因为有对称幺半函子 $W\times -\colon \mathsf{Disk}_1^{\text{fr}} \to \mathsf{Mfd}_n^{\text{fr}}$), 且 $\int_{X_0}A$ 是 $\int_{W\times \mathbb{R}}A$-右模 (这是因为领口可以再加一个领口, 两个领口可以合成一个领口).

例: $S^1$ 的分解同调

由于 $S^1$ 可以写成 $$ S^1 = \mathbb{R} \cup_{S^0\times\mathbb{R}} \mathbb{R}, $$ 对任意 $\mathbb E_1$-代数 (即结合代数) $A$, 切除性给出一个等价 $$ \int_{S^1}A\simeq A\otimes_{A^{\mathrm{op}}\otimes A}A. $$ 这便是 Hochschild 同调的一种定义.