[论文解读] Jet spaces in complex analytic geometry: an exposition

Rahim Moosa|ArXiv.org|May 28, 2004

Advanced Topology and Set Theory参考文献 3被引用 4

一句话总结

本文全面阐述了复解析几何中喷射丛与无穷小邻域的理论，基于格罗滕迪克与康托尔的奠基性工作。文章解释了主部分层、喷射丛与微分算子如何构成卡帕纳–富吉基定理的基础，证明了到微分算子格拉斯曼流形的亚纯映射可诱导出一个双全纯映射，从而表明某些解析映射是摩伊舍宗的，通过对偶性与格拉斯曼参数化提供该定理的另一种证明。

ABSTRACT

These notes are an exposition and synthesis of various "jet space" constructions in complex analytic geometry. They are written primarily for model-theorists interested in the results of Campana and Fujiki (whose model-theoretic significance has been observed by Pillay).

研究动机与目标

• 阐明卡帕纳–富吉基定理在复解析几何中的模型论意义。
• 对喷射丛构造进行详尽阐述，包括无穷小邻域、主部分层与微分算子。
• 解释这些构造如何被用于卡帕纳–富吉基定理的证明，特别是通过双全纯映射与格拉斯曼参数化。
• 利用逆像层与张量积建立几何框架，将解析子空间与其喷射理论对应物联系起来。
• 证明到微分算子格拉斯曼流形的亚纯映射可诱导出双全纯映射，从而证明某些解析空间的摩伊舍宗性质。

提出的方法

• 使用层论工具，包括直接像与逆像函子，以及模层拉回的 $Ø$-构造 $f^*\mathcal{G} = f^{-1}\mathcal{G} \otimes_{f^{-1}\mathcal{O}_Y} \mathcal{O}_X$。
• 对闭浸入 $i: Y \to X$ 构造第 $n$ 个无穷小邻域 $Y_i^{(n)} = (Y, i^{-1}\mathcal{O}_X / \mathcal{I}^{n+1})$，其中 $\mathcal{I}$ 是 $Y$ 的理想层。
• 应用 $\mathcal{P}_X^{(n)}$（喷射丛层）与 $\mathit{Diff}_X^{(n)}$（微分算子层）之间的对偶性，利用 $\mathit{Diff}_X^{(n)} \cong \mathcal{H}\!\mathit{om}_{\mathcal{O}_X}(\mathcal{P}_X^{(n)}, \mathcal{O}_X)$。
• 依赖于格拉斯曼流形 $\operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)}) \to X$ 作为光滑点处 $\mathit{Diff}_{X,a}^{(n)} \otimes_{\mathcal{O}_{X,a}} \mathbb{C}$ 的余维数 $r_n$ 子空间的相对参数空间。
• 通过将每个点 $c \in Z$ 关联到纤维 $Z_{\rho(c)}$ 在 $a = \rho(c)$ 处的喷射丛的对偶，构造亚纯映射 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$。
• 利用 $\omega$-紧致性，并结合喷射丛可确定解析集至 $n$ 阶的事实，证明当 $n$ 足够大时 $\mu_n$ 是双全纯映射，从而推出摩伊舍宗性。

实验结果

研究问题

• RQ1 复解析几何中的喷射丛与无穷小邻域如何与卡帕纳–富吉基定理的模型论解释相关联？
• RQ2 主部分层 $\mathcal{P}_X^{(n)}$ 及其对偶 $\mathit{Diff}_X^{(n)}$ 在参数化解析子空间中起什么作用？
• RQ3 能否使用微分算子的格拉斯曼流形而非道迪空间来重新证明卡帕纳–富吉基定理？
• RQ4 在何种条件下，映射 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ 成为与像的双全纯映射？
• RQ5 $\mathcal{P}_X^{(n)}$ 与 $\mathit{Diff}_X^{(n)}$ 之间的对偶性如何实现从喷射数据重建解析集？

主要发现

• 当 $Y \subset X$ 由理想层 $\mathcal{J}$ 定义时，第 $n$ 个无穷小邻域 $Y_i^{(n)}$ 同构于 $(Y, \mathcal{O}_X / \mathcal{J}^{n+1})$。
• 微分算子层 $\mathit{Diff}_X^{(n)}$ 与 $\mathcal{H}\!\mathit{om}_{\mathcal{O}_X}(\mathcal{P}_X^{(n)}, \mathcal{O}_X)$ 之间存在自然同构，提供了喷射丛与微分算子之间的对偶性。
• 在光滑点 $a \in X$ 处，$\operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ 在 $a$ 处的纤维等同于 $[\mathcal{O}_{X,a}/\mathcal{M}_{X,a}^{n+1}]^*$ 中 $r_n$-维子空间的格拉斯曼流形，即 $a$ 处喷射丛的对偶。
• 亚纯映射 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ 通过将每个 $c \in Z$ 映射到纤维 $Z_{\rho(c)}$ 在 $\rho(c)$ 处的喷射丛对偶来构造。
• 当 $n$ 足够大时，映射 $\mu_n$ 成为与像的双全纯映射，从而推出 $\pi: Z \to X$ 是摩伊舍宗的，因为格拉斯曼流形通过普吕克嵌入是射影的。
• 该构造提供了一种替代证明卡帕纳–富吉基定理的方法，利用对偶性与格拉斯曼参数化，以射影格拉斯曼流形取代道迪空间。