微分叠

微分叠'是代数几何中的代数叠在微分几何中的类似物，可描述为微分流形上的叠，也可描述为森田等价下的李群胚。

微分叠很适合处理有奇点的空间（如轨形、叶空间、商），它们自然出现在微分几何中，且不是可微流形。例如，微分叠在叶状结构、泊松流形和扭K理论中都有应用。

定义

定义1（由广群纤维化）

回想在广群中纤维化的范畴（或称广群纤维化），包含范畴$𝒞$、到微分流形范畴的函子$\pi :𝒞\to \mathrm{M}\mathrm{f}\mathrm{d}$，并满足

1. $𝒞$是纤维范畴，即对任意对象$u\in 𝒞$和任意箭头$V\to U\in \mathrm{M}\mathrm{f}\mathrm{d}$，都有箭头$v\to u$，在$V\to U$上；
2. 对$\mathrm{M}\mathrm{f}\mathrm{d}$中的任意交换三角$W\to V\to U$及$W\to U$上的任意箭头$w\to u$、$V\to U$上的$v\to u$，在$W\to V$上存在唯一的箭，使三角$w\to v\to u$交换。

这些性质确保$\mathrm{\forall }U\in \mathrm{M}\mathrm{f}\mathrm{d}$，都可以定义其纤维${\pi }^{-1}(U)$或${𝒞}_U$，作为$𝒞$的子范畴，由$𝒞$在U上的所有对象和在$i{d}_U$上的所有态射组成。根据这构造，${\pi }^{-1}(U)$是广群。叠是满足胶合性质的广群纤维，用下降表述。

任何流形X都定义了其Template:Le $F_X={\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathrm{M}\mathrm{d}\mathrm{f}}(-,X)$，对象是流形U与光滑映射$f:U\to X$组成的对子$(U,f)$；则$F_X\to \mathrm{M}\mathrm{d}\mathrm{f},(U,f)\mapsto U$是广群纤维，实际上也是叠。广群纤维的态射$𝒞\to 𝒟$若满足以下条件，则称作可表浸没：

• 对流形U和任意态射$F_U\to 𝒟$，纤维积$𝒞{\times }_{𝒟}{F}_U$可表，即（对某个流形Y，）与作为广群纤维的$F_V$同构；
• 诱导光滑映射$V\to U$是浸没。

对流形X，微分叠是叠$\pi :𝒞\to \mathrm{M}\mathrm{f}\mathrm{d}$与特殊的可表浸没$F_X\to 𝒞$（上述每个浸没$V\to U$都需要是满射）。映射$F_X\to 𝒞$称作叠X的图集、呈现或覆叠。

定义2（由2-函子）

回想范畴$𝒞$上（广群的）预叠（也称作2-预层），是2-函子 $X:{𝒞}^{\text{opp}}\to \mathrm{G}\mathrm{r}\mathrm{p}$，其中$\mathrm{G}\mathrm{r}\mathrm{p}$是（集合论）广群的2-范畴、及其间的态射和自然变换。叠是满足胶合性质的预叠（类似层满足的胶合性质）。要精确说明这性质，需要定义景上的（预）叠，即配备了格罗滕迪克拓扑的范畴。

所有对象$M\in \mathrm{O}\mathrm{b}\mathrm{j}(𝒞)$定义了叠$\underset{\_}{M}:={\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(-,M)$，与另一对象$N\in \mathrm{O}\mathrm{b}\mathrm{j}(𝒞)$关联，形成态射$N\to M$的广群${\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(N,M)$。现有叠$X:{𝒞}^{\text{opp}}\to \mathrm{G}\mathrm{r}\mathrm{p}$，若有对象$M\in \mathrm{O}\mathrm{b}\mathrm{j}(𝒞)$与叠的态射$\underset{\_}{M}\to X$（常称作叠X的图集、呈现或覆叠）满足以下性质，则称其几何的：

• 态射$\underset{\_}{M}\to X$可表，即$\mathrm{\forall }Y\in 𝒞$和任何态射$Y\to X$，纤维积$\underset{\_}{M}{\times }_X\underset{\_}{Y}$同构于作为叠的$\underset{\_}{Z}$（对某对象Z）；
• 诱导态射$Z\to Y$满足取决于范畴$𝒞$的范畴（如对流形，是要满足浸没。

微分叠是$𝒞=\mathrm{M}\mathrm{f}\mathrm{d}$（微分流形范畴，视作具有通常开覆叠拓扑的景）上的叠，即2-函子$X:{\mathrm{M}\mathrm{f}\mathrm{d}}^{\text{opp}}\to \mathrm{G}\mathrm{r}\mathrm{p}$，其也满足几何性，即承认上面定义的图集$\underset{\_}{M}\to X$。

注意，将$\mathrm{M}\mathrm{f}\mathrm{d}$换成仿射概形范畴，就恢复到标准代数叠概念。相似地，把$\mathrm{M}\mathrm{f}\mathrm{d}$换成拓扑空间范畴，就得到拓扑叠定义。

定义3（由森田等价）

回想李群胚，包含两微分流形G、M、两满射浸没$s,t:G\to M$、偏乘法映射$m:G{\times }_{M}G\to G$、单位映射$u:M\to G$、逆映射$i:G\to G$，满足类似群的相容性。

两个李群胚$G\rightrightarrows M$、$H\rightrightarrows N$间若有主双丛P，即有主右H丛$P\to M$、主左G丛$P\to N$，使得对P的两作用交换，则称G、H森田等价。森田等价是李群胚间的等价，比同构弱，但足以保留许多几何性质。

微分叠记作$[M/G]$，是某李群胚$G\rightrightarrows M$的森田等价类。

定义1、2的等价性

任何纤维范畴$𝒞\to \mathrm{M}\mathrm{d}\mathrm{f}$都定义了2-层$X:{\mathrm{M}\mathrm{d}\mathrm{f}}^{opp}\to \mathrm{G}\mathrm{r}\mathrm{p},U\mapsto {\pi }^{-1}(U)$。反过来，任何预叠$X:{\mathrm{M}\mathrm{d}\mathrm{f}}^{\text{opp}}\to \mathrm{G}\mathrm{r}\mathrm{p}$给出了范畴$𝒞$，其对象是流形U与对象$x\in X(U)$的对子$(U,x)$，态射是映射$\varphi :(U,x)\to (V,y)$，使$X(\varphi )(y)=x$。这样的$𝒞$配备函子$𝒞\to \mathrm{M}\mathrm{d}\mathrm{f},(U,x)\mapsto U$后，成为纤维范畴。

定义1、2中叠的胶合性质等价，同样，定义1中的图集诱导了定义2中的图集，反之亦然。

定义2、3的等价性

李群胚$G\rightrightarrows M$给出了微分叠$BG:{\mathrm{M}\mathrm{f}\mathrm{d}}^{\text{opp}}\to \mathrm{G}\mathrm{r}\mathrm{p}$，将任何流形N发送到N上的G-旋子的范畴（即G-主丛）。$G\rightrightarrows M$的森田类中，任何其他李群胚都诱导了一个同构叠。

反过来，任何微分叠$X:{\mathrm{M}\mathrm{f}\mathrm{d}}^{\text{opp}}\to \mathrm{G}\mathrm{r}\mathrm{p}$都是$BG$形式，即可由李群胚表示。更精确地说，若$\underset{\_}{M}\to X$是叠X的图集，则可定义李群胚$G_X:=M{\times }_{X}M\rightrightarrows M$，并检查$B{G}_X$是否同构于X。

Dorette Pronk提出的一个定理指出，定义1的微分叠与李群胚之间的双范畴具有森田等价性。

示例

• 任何流形M定义了微分叠$\underset{\_}{M}:={\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathrm{H}\mathrm{o}\mathrm{m}}(-,M)$，由恒等映射$\underset{\_}{M}\to \underset{\_}{M}$平凡地表示。叠$\underset{\_}{M}$对应单位广群$u(M)\rightrightarrows M$的森田等价类。
• 李群G定义了微分叠$BG$，将任意流形N发送到N上的G-主丛的范畴，由平凡叠态射$\underset{\_}{pt}\to BG$表示，将一点发送到G的分类空间上的通用G-丛。叠$BG$对应$G\rightrightarrows \{*\}$的森田等价类，视作点上的李群胚（即任意具有迷向群G的传递李群胚的森田等价类）。
• 流形M上的叶状结构$ℱ$由其叶空间定义了微分叠，对应完整广群$\mathrm{H}\mathrm{o}\mathrm{l}(ℱ)\rightrightarrows M$的森田等价类。
• 轨形都是微分叠，因为其是具有离散迷向的紧合李群胚（紧合李群胚的迷向是紧的，所以有限）的森田等价类。

商微分叠

给定M上的李群作用$a:M\times G\to M$，其商（微分）叠是代数几何中商（代数）叠的可微部分。其定义为与流形X、主G-丛范畴$P\to X$和G-等价映射$\varphi :P\to M$相联系的叠$[M/G]$，是由叠态射$\underset{\_}{M}\to [M/G]$表示的微分叠，在任意流形X上的定义如下：

$$\underset{\_}{M}(X)=\mathrm{H}\mathrm{o}\mathrm{m}(X,M)\to [M/G](X),f\mapsto (X\times G\to X,{\varphi }_f)$$

其中${\varphi }_f:X\times G\to M$是G-等价映射${\varphi }_f=a\circ (f\circ {\mathrm{p}\mathrm{r}}_1,{\mathrm{p}\mathrm{r}}_2):(x,g)\mapsto f(x)\cdot g$。

叠$[M/G]$对应作用广群$M\times G\rightrightarrows M$的森田等价类。于是，可得到下列特殊情形：

• 若M是点，则微分叠$[M/G]$与$BG$重合
• 若作用是半正则紧合作用（于是商$M/G$是流形），则微分叠$[M/G]$与$\underset{\_}{M/G}$重合
• 若作用是紧合作用（于是商$M/G$是轨形），则微分叠$[M/G]$与轨形定义的叠重合

微分空间

微分空间（differentiable space）是具有平凡稳定子的微分叠。例如，若李群半正则作用（不必紧合）于流形，则对其的商一般不是流形，而是微分空间。

配备格罗滕迪克拓扑

微分叠X可以某种方式配备格罗滕迪克拓扑，这给出了X上的层概念。例如，X上微分p形式的层${\mathrm{\Omega }}_X^p$可由流形U上$\mathrm{\forall }x\in X$给出，使${\mathrm{\Omega }}_X^p(x)$为U上p形式的空间。层${\mathrm{\Omega }}_X^0$称作X上的结构层，表示为${𝒪}_X$。${\mathrm{\Omega }}_X^{*}$带有外微分，因此是X上向量空间的复层：于是有了X的德拉姆上同调的概念。

束

现有微分叠间的满态射$G\to X$，若$G\to G{\times }_{X}G$也是满态射，则前者称作X上的束。例如，若X是叠，则$B{S}^1\times X\to X$是束。Giraud提出的一条定理称，$H^2(X,S^1)$一一对应于局部同构于$B{S}^1\times X\to X$的X上的束集，束有其带（band）的平凡化。

外部链接

• -{R|http://ncatlab.org/nlab/show/differentiable+stack}- Template:Wayback