[论文解读] On the singular scheme of codimension one holomorphic foliations in P^3

Luis Giraldo, Antonio J. Pan-Collantes|ArXiv.org|Dec 17, 2008

Algebraic Geometry and Number Theory参考文献 9被引用 5

一句话总结

本文建立了 ℙ³ 中余维一全纯叶状结构的奇异概形的代数几何性质与切丛层几何结构之间的精确联系。证明了切丛层局部自由当且仅当奇异概形是一条曲线，且分裂当且仅当该曲线是算术科恩-麦克aul伊（arithmetically Cohen-Macaulay）的，从而通过其奇异概形完全刻画了分裂叶状结构。

ABSTRACT

In this work, we begin by showing that a holomorphic foliation with singularities is reduced if and only if its normal sheaf is torsion free. In addition, when the codimension of the singular locus is at least two, it is shown that being reduced is equivalent to the reflexivity of the tangent sheaf. Our main results state on one hand, that the tangent sheaf of a codimension one foliation in P^3 is locally free if and only the singular scheme is a curve, and that it splits if and only if that curve is arithmetically Cohen-Macaulay. On the other hand, we discuss when a split foliation in P^3 is determined by its singular scheme.

研究动机与目标

• 建立 ℙ³ 中余维一全息叶状结构的奇异概形几何性质与切丛层代数结构之间的对应关系。
• 确定奇异概形何时唯一确定叶状结构，特别是在切丛层分裂的情况下。
• 解决 Suwa 提出的关于 1-维约化叶状结构的切丛层局部自由性的问题。
• 利用奇异概形定义理想的饱和性，提供切丛层分裂的代数判据。
• 将 ℙ² 中叶状结构唯一性结果推广至 ℙ³，特别是针对分裂类型为负的分裂叶状结构。

提出的方法

• 使用可逆层与挠层理论分析全息叶状结构的可积性与奇点。
• 应用 Roggero 在 ℙ³ 中关于可逆层的结果，将奇异点集的余维与纯度与切丛层的可逆性联系起来。
• 采用上同调技巧与切丛层全局截面空间的结构，刻画分裂类型。
• 通过定义叶状结构的 1-形式满足的楔积条件 $\omega \wedge d\omega = 0$ 分析可积性条件。
• 在对数叶状结构与例外叶状结构的特例中进行显式计算，检验叶状结构是否由其奇异概形唯一确定。
• 应用由定义 1-形式系数生成的齐次理想之饱和性概念，以确定分裂性。

实验结果

研究问题

• RQ1 在 ℙ³ 中，余维一叶状结构的切丛层在何种条件下是局部自由的？其奇异概形需满足何种几何条件以确保此性质？
• RQ2 在何种条件下，此类叶状结构的切丛层是分裂的？这与奇异概形的算术性质有何关联？
• RQ3 能否由奇异概形唯一确定 ℙ³ 中的余维一叶状结构，特别是在切丛层分裂的情况下？
• RQ4 ℙ³ 中约化 1-维叶状结构的切丛层是否总是局部自由的？在奇异点集余维至少为二的条件下，切丛层的可逆性是否蕴含局部自由性？
• RQ5 分裂类型为 $\mathcal{O}_{\mathbb{P}^3}(a) \oplus \mathcal{O}_{\mathbb{P}^3}(b)$ 且满足 $a,b \leq -1$ 的叶状结构，如何影响其由奇异概形唯一确定的性质？

主要发现

• ℙ³ 中余维一全息叶状结构的切丛层是局部自由的，当且仅当其奇异概形是一条曲线，即纯维数为一的科恩-麦克aul伊概形。
• 切丛层分裂为 $\mathcal{O}_{\mathbb{P}^3}(a) \oplus \mathcal{O}_{\mathbb{P}^3}(b)$ 当且仅当奇异概形是一条算术科恩-麦克aul伊曲线。
• 切丛层是可逆的，当且仅当叶状结构是约化的，前提是奇异点集的余维至少为二。
• 切丛层是局部自由的，当且仅当法丛是无挠的，这为约化叶状结构建立了关键等价关系。
• 对于分裂类型为 $\mathcal{O}_{\mathbb{P}^3}(a) \oplus \mathcal{O}_{\mathbb{P}^3}(b)$ 且满足 $a,b \leq -1$ 的分裂叶状结构，叶状结构由其奇异概形唯一确定。
• 当切丛层包含一个与 $\mathcal{O}_{\mathbb{P}^3}(1)$ 同构的子丛时，叶状结构是平面上叶状结构的线性拉回，且当次数 $d \neq 1$ 时，由其奇异概形唯一确定。