The space of foliations on projective spaces in positive characteristic

技术摘要：正特征下射影空间上的叶状结构空间

问题陈述
射影空间上全纯叶状结构空间的研讨是复代数几何中的一个中心课题，尤其是在 Jouanolou、Cerveau 和 Lins Neto 的奠基性工作之后。虽然在复数域上，低次数（具体为次数 0、1 和 2）的这些空间的不可约分量已被充分理解，但这些空间在正特征代数封闭域上的行为仍很大程度上未被探索。本文旨在研究表示 $\mathbb{P}^n_k$ 上余维数为 1 且次数为 $d$ 的叶状结构的方案 $\text{Fol}^1_d(\mathbb{P}^n_k)$ 的不可约分类的分类问题，其中 $k$ 是一个代数封闭域，其特征为 $p > 0$。主要目标是确定这些空间的几何性质和不可约分量的数量如何随特征 $p$ 的变化而变化，特别是在低次数（$d=0, 1, 2$）的情况下。

方法论
作者结合了正特征特有的代数几何技术以及对复几何论证的改编。关键的方法论要素包括：

1. 欧拉关系与闭形式： 对次数为零叶状结构的分析高度依赖于齐次形式的欧拉关系。作者利用了正特征下闭射影形式的特定行为，即闭形式的次数 $e$ 仅在 $p$ 整除 $e$（或在特定的精确性条件下）时才存在。
2. Medeiros 分类法： 本文改编了 Medeiros 对具有线性系数的局部可分解可积微分形式的描述。虽然该描述最初是在 $\mathbb{C}$ 上制定的，但作者验证了其在任意特征下的有效性，并利用它来分类次数为 0 和 1 的叶状结构。
3. $p$-曲率与退化除子： 对于次数为 1 的叶状结构，作者利用了 $p$-曲率理论。他们区分了 $p$-闭（$p$-closed）和 $p$-稠密（$p$-dense）叶状结构，分析了与 $p$-曲率态射相关的退化除子 $\Delta_F$。这使得他们能够根据次数相对于 $p$ 的情况，将叶状结构表征为线性拉回或对数形式。
4. Cartier 变换： 研究对数分量的核心工具是叶状结构的 Cartier 变换。通过对闭对数 1-形式应用 Cartier 算子，作者分析了这些形式在形变下的稳定性，并确立了对数分量保持不可约的条件。
5. 算术特化： 为了得出适用于任意特征的结果，作者通常先建立特征为 0（或大 $p$）时的结果，然后使用半连续性论证或特化方法来推导小特征下的性质。相反，他们也利用正特征中特定分量的存在，为经典复数域结论提供替代性证明。

主要贡献与结果

• 次数为零的叶状结构 ($d=0$)：
  作者提供了次数为零叶状结构不可约分量的完整描述。

  • 若 $\text{char}(k) \neq 2$ 或余维数 $q > 1$，该空间同构于线性子空间的 Grassmann 流形，对应于由线性投影定义的叶状结构。
  • 在 $\text{char}(k) = 2$ 且 $q=1$ 的例外情况中，该空间对应于次数为 2 的闭 1-形式的射影空间，这与特征 $\neq 2$ 的情况显著不同。

• 次数为一的叶状结构 ($d=1$)：
  不可约分量的数量严格取决于特征 $p$：

  • $p=2$： 恰好有一个不可约分量，即线性拉回分量 $\text{Lin}_1(\mathbb{P}^n_k)$。
  • $p=3$： 恰好有两个分量：线性拉回分量 $\text{Lin}_1(\mathbb{P}^n_k)$ 和闭 1-形式的分量 $\text{Cl}_1(\mathbb{P}^n_k)$。
  • $p \geq 5$： 恰好有两个分量：$\text{Lin}_1(\mathbb{P}^n_k)$ 和对数分量 $\text{Log}_{(1,2)}(\mathbb{P}^n_k)$。
    论文确立了对于 $p \geq 5$，其描述是统一的，且对数分量源自具有两个不同残差的形式。

• 次数为二的叶状结构 ($d=2$)：
  关于次数为 2 的结果尚不明确，但提供了部分分类。

  • 作者表明，在特征为 0 中已知的 6 个不可约分量在 $p \geq 5$ 时特化为特征 $p$ 下的不可约分量。
  • 他们识别了小特征下的特定分量（包括 $p=2, 3$），其中包括“例外”分量 $\text{Exc}(\mathbb{P}^n_k)$，该分量由与非阿贝尔李向量场子代数相关的叶状结构轨道定义。
  • 例外分量的存在性在 $p \neq 3$ 时得到了证明。对于 $p=3$，由于其主要技术工具所需的非 Kupka 奇点条件失效，该分量的状态仍是一个开放问题。

• 定理 A (对数形式的稳定性)：
  一个主要的理论贡献是定理 A，它确立了任意特征下对数分量 $\text{Log}_{(d_1, \dots, d_r)}(\mathbb{P}^n_k)$ 的不可约性。该定理提供了关于次数 $d_i$ 和特征 $p$ 的特定算术条件（例如，$p$ 是否整除这些次数或它们的和），在这些条件下，这些集合构成不可约分量。这一结果将 Calvo-Andrade 关于复数域下泛型对数 1-形式的稳定性定理推广到了任意特征。

意义与主张
本文声称开启了对正特征下叶状结构空间的系统研究，揭示了这些模空间的几何性质对基域的特征高度敏感。

• 算术视角： 作者证明了定理 A 为 Calvo-Andrade 在 $\mathbb{C}$ 上的稳定性结果（推论 6.3）提供了一个新的算术证明，该证明源于正特征下这些行为的表现。
• 关于完整性的谦逊说明： 作者明确指出，虽然他们提供了次数为 0 和 1 的完整描述，但对于次数为 2 的分类仍不完整，特别是在小特征（$p=2, 3$）以及更高余维数的情况下。他们指出，次数为 3 的叶状结构的情况则更不为人所知。
• 开放问题： 论文最后强调了一些开放问题，例如小特征下次数为 2 的分量列表的完整性，以及更高次数和更高余维数的不可约分量的分类。

总而言之，这项工作确立了虽然复数分类提供了一个基准，但正特征环境引入了独特的现象（例如特征 2 中闭形式的出现以及分量数量对 $p$ 的依赖），这些现象需要特定的算术工具来进行分析。