Extendability of foliations

技术摘要：叶层（Foliations）的可延展性

问题陈述
本文探讨了全纯奇异叶层的延展问题。给定一个嵌入在更大簇 $Y$ 中的光滑簇 $X$（具体为余维数为 1 的正则嵌入），以及 $X$ 上的一个叶层 $\mathcal{F}$，核心问题在于是否存在一个 $Y$ 上的叶层，使其在 $X$ 上限制为 $\mathcal{F}$。作者在解析和代数两种情形下对此进行了研究，其中 $Y$ 可以是通用的环境空间，也可以是 $X$ 的变形（展开理论/unfoldings）的全空间。

方法论
作者采用形式几何方法，在无穷小邻域 $X^{(n)}$（$X$ 在 $Y$ 中的第 $n$ 阶无穷小邻域）的层面分析延展问题。该策略分为两个主要阶段：

1. 无穷小分析： 作者构建了将叶层从 $X^{(n-1)}$ 延展到 $X^{(n)}$ 的阻碍理论。他们利用沿分布的截面丛（principal parts sheaf）$P_{\mathcal{F}, L}$ 来描述可能延展的空间。

   • 他们建立了一个结论：分布的延展集合受 $H^0(X, P_{\mathcal{F}, N_{X/Y}^{\otimes -n}})$ 的传递作用。
   • 他们通过涉及定义 1-形式微分的核条件，识别出了可积延展的子空间，并得到了丛 $P^{\text{int}}_{\mathcal{F}, N_{X/Y}^{\otimes -n}}$。
   • 至关重要的是，他们将延展可积叶层的阻碍与上同调群 $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ 联系起来，其中 $\mathcal{I}_{\text{Per}}$ 是持久奇异性（persistent singularities，即无法沿展开过程被平滑化的奇异性）的理想层。

2. 代数化： 一旦建立了形式延展（即延展至形式邻域 $\hat{X}_{/Y}$），作者应用有效列切定理（effective Lefschetz condition）$\text{Leff}(X, Y)$。该条件确保了形式向量丛和截面可以代数化为 $X$ 在 $Y$ 中的实际代数（或解析）对象。

主要贡献与结果

• 延展的存在性（定理 1.1 及推论 1.2, 1.3）：
  本文证明，如果 $X \subseteq Y$ 是余维数为 1 的正则嵌入，$\mathcal{F}$ 具有无阻碍奇异性（unobstructed singularities），且对于所有 $n \geq 1$，上同调群 $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ 消失，则 $\mathcal{F}$ 允许形式延展。如果有效列切条件 $\text{Leff}(X, Y)$ 成立（当 $X$ 是光滑射影簇 $Y$ 中的一个振幅除子时成立），则该形式延展可以代数化为 $Y$ 上的全局叶层。

  • 该结果应用于证明：在特定的上同调消失条件下，振幅除子上的叶层可以延展。
  • 它也被应用于展开理论：如果 $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}}) = 0$，则任何具有无阻碍奇异性的叶层都可以沿 $X$ 的任何变形进行展开。

• 正性判据（定理 1.4）：
  作者提供了一个基于嵌入的正性与叶层法线丛之间关系的判据。如果 $X$ 是 $Y$ 中的一个振幅除子，$\dim(X) \geq 3$，且丛 $N_{\mathcal{F}}^{\otimes 2} \otimes N_{X/Y}^{\otimes -1}$ 是反振幅的，那么任何具有无阻碍奇异性的叶层都唯一地延展到 $Y$。这恢复并推广了以往关于射影空间中超曲面上叶层的研究结果（例如来自 [Fig23]）。

• 唯一性与叶层 Zak-L'vovsky 问题（第 5 节）：
  本文研究了延展的唯一性。作者引入了叶层版的 Zak-L'vovsky 问题（该问题询问子簇的延展是否为锥）。

  • 作者定义了 Camacho-L'v Neto 正则叶层，其特征是延展空间 $\text{Ex}_n(\mathcal{F}, N_{X/Y})$ 消失。
  • 他们证明，如果这些延展空间消失，则叶层的延展是唯一的。
  • 文中建立了一个二分法：如果 $X$ 是一个振幅除子且延展是唯一的，那么要么延展是唯一的，要么 $X$ 是一个超平面且延展是一个锥。

• 管邻域与刚性（定理 1.5 & 1.6）：
  本文将管邻域的存在性与叶层的可延展性联系起来。

  • 定理 1.5： 如果 $X$ 具有一个具有刚性奇异性（rigid singularities，即一阶展开空间为平凡的奇异性）的叶层，且该叶层延展到 $Y$，并且某些上同调群消失，那么 $X$ 拥有一个管邻域。如果 $Y$ 是射影的且 $X$ 是振幅的，这将导致上述提到的二分法。
  • 定理 1.6（Gómez-Mont 的推广）： 作者证明，如果紧致光滑簇 $X$ 上的叶层 $\mathcal{F}$ 具有刚性奇异性且 $H^1(X, T_{\mathcal{F}}) = 0$，那么 $\mathcal{F}$ 的每一个展开在解析上都是平凡的。这推广了以往针对曲面及 $\mathbb{P}^m$ 上特定类叶层的研究结果。

意义与范围
本文声称通过结合形式变形理论与全局正性条件，为理解叶层的延展提供了一个统一的框架。其意义在于：

1. 推广展开理论： 它将展开理论（此前由 Suwa, Gómez-Mont 等人研究）推广到了任意变形和环境空间，而不局限于特定情形。
2. 将奇异性与全局几何联系起来： 它通过理想层 $\mathcal{I}_{\text{Per}}$，明确地将奇异性的局部性质（持久性 vs 刚性）与全局阻碍联系在一起。
3. 唯一性结果： 它提供了关于叶层延展唯一性的新充分条件，为叶层的模理论做出了贡献。

作者保持了谦逊的基调，指出其结果依赖于特定的上同调消失条件和有效列切条件。他们并不声称解决了所有叶层的延展问题，而是为一类在正性嵌入条件下具有“无阻碍”和“刚性”奇异性的广泛叶层提供了肯定的回答。这项工作被视为对更好地理解叶层模理论以及限制与延展几何的贡献。