2. 奇异支集在函子下的表现

2.1开嵌入拉回

命题 2.1.1. 假设 $X$ 是一个流形. 考虑一个开嵌入 $j:U⟶X$. 对一个 $X$ 上的层 $\mathcal{F}$, 我们有: $$\mathrm{SS}(j^{\ast }\mathcal{F})=\mathrm{SS}(\mathcal{F})\cap T^{\ast }U$$

证明. 使用截断函数.

$\square$