与光滑态射相关的 D-模的缓增解的微支集

设 $f:X\to Y$ 为复解析流形间的光滑态射，$F$ 为 $Y$ 上的 $\mathbb{R}$-构造复形。设 $\cal{M}$ 为一个凝聚 $\shd_X$-模。我们证明 $\cal{M}$ 在缓增全纯函数 $t \shh \text{om} (f^{-1} F, \sho_X)$ 中的解复形的微支集包含于 $\cal{M}$ 关于 $f$ 的 1-特征簇中，且解复形在缓增微函数 $t\mu hom(f^{-1}F, \sho_X)$ 中的微支集包含于 $\cal{M}$ 沿 $T^*Y\times_Y X$ 微局部化的 1-微特征簇中。这特别适用于任意光滑态射纤维中分布层的全纯解复形。