[论文解读] Micro-support and Cauchy problem for temperate solutions of regular $\cal D$-Modules

Masaki Kashiwara, Térésa Monteiro Fernandes+1 more|ArXiv.org|Dec 12, 2000

Geometry and complex manifolds参考文献 6被引用 6

一句话总结

本文建立了复流形 $X$ 的余切丛中光滑对合子流形 $V$ 沿正则 $ρ$-模的温带微函数解的微局部支集估计。通过微局部技术和温带上同调，证明了解复形的微局部支集包含于 $×$-局部常值层 $F$ 的法丛的对偶变换的拉回中，从而在双曲性假设下解决了柯西问题。

ABSTRACT

Let $X$ be a complex manifold, $V$ a smooth involutive submanifold of $T^*X$, $\cal M$ a microdifferential system regular along $V$, and $F$ an $\mathbb{R}$-constructible sheaf on $X$. The complex of temperate microfunction solutions of $\cal M$ associated with $F$ is now well understood. In this paper we study the temperate case and give a bound to the micro-support of the temperate microfunction solution sheaves and solve the Cauchy problem under suitable hyperbolicity conditions.

研究动机与目标

• 将微局部分析扩展至经典超函数理论无法捕捉的正则 $ρ$-模的温带解。
• 解决在分布和具有温带增长的函数背景下，标准微局部工具的局限性。
• 利用法丛与对偶映射，对温带解的微局部支集提供几何刻画。
• 在双曲性条件下，解决正则 $ρ$-模的温带解的柯西问题。
• 将超函数结果推广至更广义的广义函数类，包括分布和极点处的亚纯函数。

提出的方法

• 引入温带微函数解复形为 $R\mathcal{H}om_{\mathcal{D}_X}(\mathcal{M}, \mathcal{T}\mu\text{hom}(F, \mathcal{O}_X))$。
• 通过 $\mathbb{R}$-局部常值层 $F$ 的微局部支集 $SS(F)$ 与 $\mathcal{M}$ 的特征簇 $\operatorname{char}(\mathcal{M})$ 实现微局部化。
• 在法丛 $T_V(T^*X)$ 上应用对偶映射 $a$，并构造拉回 $\rho_V^{-1}(C_V(SS(F))^a)$。
• 运用运算 $\hat{+}$（纤维方向的凸包）合并 $\overline{p}_2^{-1}F$ 与 $\mathbb{C}_\Omega$ 的微局部支集。
• 利用同构 $T^*(TX) \simeq T(T^*X)$ 将喷层空间中的几何数据与余切丛关联。
• 通过 $\tilde{V}$、$SS(\overline{p}_2^{-1}F)^a$ 与 $SS(\mathbb{C}_\Omega)^a$ 中的渐近序列应用渐近分析，证明其包含于 $C(V, SS(F))$ 中。

实验结果

研究问题

• RQ1 当标准微局部工具失效时，如何估计正则 $\mathcal{D}$-模的温带解的微局部支集？
• RQ2 在奇点存在的情况下，何种几何条件可确保温带解下柯西问题的可解性？
• RQ3 法丛 $C_V(SS(F))$ 与解复形的微局部支集有何关系？
• RQ4 对偶变换 $SS(F)^a$ 是否可用于控制温带设定下奇点的传播？
• RQ5 光滑态射 $f: X \to Y$ 与子流形 $V = X \times_Y T^*Y$ 在控制解的微局部支集中起何作用？

主要发现

• 复形 $R\mathcal{H}om_{\mathcal{D}_X}(\mathcal{M}, \mathcal{T}\mu\text{hom}(F, \mathcal{O}_X))$ 的微局部支集包含于 $\rho_V^{-1}(C_V(SS(F))^a)$，提供了精确的几何界。
• 该估计在 $\mathcal{M}$ 沿光滑对合子流形 $V \subset T^*X$ 正则的假设下成立。
• 对于光滑态射 $f: X \to Y$ 且 $V = X \times_Y T^*Y$，沿闭子解析集 $S \subset M$ 具有温带增长的解的微局部支集满足 $SS(\cdots) \subset V \hat{+} (SS(\mathbb{C}_S))^a$。
• 证明依赖于 $\tilde{V}$、$SS(\overline{p}_2^{-1}F)^a$ 与 $SS(\mathbb{C}_\Omega)^a$ 中的渐近序列，其在 $C(V, SS(F))$ 中收敛至某点。
• 通过纤维方向序列的收敛性，建立了包含关系 $i^\sharp(\tilde{V} \hat{+} (SS(\overline{p}_2^{-1}F)^a + SS(\mathbb{C}_\Omega)^a)) \subset C(V, SS(F))$。
• 结果将经典微局部结果推广至温带设定，使分布与极点处的亚纯函数的柯西问题得以求解。