1. 奇异支集

本讲义中, 我们在无穷范畴里工作. “范畴” 一词默认指代无穷范畴.

考虑一个光滑流形 $M$ 和一个可表现范畴 $\mathcal{C}$. 记 $M$ 上取值在 $\mathcal{C}$ 里的层构成的范畴为 $\mathrm{Sh}(M;\mathcal{C})$. 特别地, 如果 $\mathcal{C}$ 是空间范畴 $Spc$, 那么我们将 $\mathrm{Sh}(M;Spc)$ 简记为 $\mathrm{Sh}(M)$. 关于取值在无穷范畴里的层范畴, 可以参考 [Lurie 2009, §7].

1.1奇异支集的定义

对于一个 $M$ 上的层的 $\mathcal{F}\in \mathrm{Sh}(M)$, 奇异支集的想法是考虑 $\mathcal{F}$ 在一个开集 $U$ 上的截面 $\mathcal{F}(U)$ 是如何随着 $U$ 的变化而变化的.

定义 1.1.1. 考虑一个锥状开集 $\Omega \subset T^{\ast }M$. 一个 $\Omega$-透镜是指一个 $[0,1]\times M$ 上的光滑函数 $f_t(x)$, 满足以下条件:

1.	固定 $x$, 透镜 $f_t(x)$ 对 $t$ 非增.
2.	透镜 $f_t$ 在一个紧集 $K$ 之外的取值与 $t$ 无关.
3.	对所有的 $x\in K$, 如果 $f_t(x)=0$, 那么 ${\mathrm{d}}_x{f}_t\in \Omega$.

这里的锥状 (conic) 是指在 ${\mathbb{R}}_{+}$ 作用下不变.

对一个透镜 $f_t$, 记 $U_t=\{x\in M\mid f_t(x)<0\}$. 注意到 $f$ 对于 $t$ 非增, 所以 $U_t$ 随着 $t$ 变大会不断变小. 于是我们得到了 $\mathrm{Sh}(M)$ 里的一个箭头:$$[U_1]⟶[U_0]$$(1.1)这里 $[U]$ 表示开集 $U$ 的米田 (Yoneda) 嵌入.

定义 1.1.2. 对于锥状开集 $\Omega \subset T^{\ast }X$, 我们用 $S_{\Omega }$ 表示所有 $\Omega$-透镜对应的箭头生成的饱和类. 对一个 $X$ 上的层 $\mathcal{F}$, 如果 $\mathcal{F}$ 对于 $S_{\Omega }$ 局部, 那我们就说 $\mathcal{F}$ 在 $\Omega$ 上非奇异. 所有在 $\Omega$ 上非奇异的层 $F$ 构成的范畴记作 ${\mathrm{Sh}}_{T^{\ast }X\backslash \Omega }(X)$.

注意到 ${\mathrm{Sh}}_{T^{\ast }X\backslash \Omega }(X)$ 是 $\mathrm{Sh}(X)$ 的反射子范畴.

引理 1.1.3. 饱和类 $S_{{\Omega }_1\cup {\Omega }_2}$ 被 $S_{{\Omega }_1}$ 和 $S_{{\Omega }_2}$ 生成.

证明. 单位分解.

$\square$

推论 1.1.4. 如果 $\mathcal{F}$ 在一组锥状开集 ${\Omega }_{\alpha }$ 上非奇异, 那么 $\mathcal{F}$ 在 ${\cup }_{\alpha }$ 上非奇异.

定义 1.1.5. 对一个层 $\mathcal{F}$, 考虑使得 $\mathcal{F}$ 在其上非奇异的最大锥状开集 $\Omega$. 定义层 $\mathcal{F}$ 的奇异支集为 $T^{\ast }X\backslash \Omega$, 记作 $\mathrm{SS}(\mathcal{F})$. 在一些文献里奇异支集也被称为微局部支集.

1.2基本性质

1.3参考文献

•	Jacob Lurie (2009). Higher topos theory, vol. 170. Annals of Mathematics Studies. Princeton University Press, Princeton, NJ. (doi) ()