[论文解读] Logarithmic Foliations

Dominique Cerveau, Alcides Lins Neto|arXiv (Cornell University)|Mar 23, 2018

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文通过微分形式研究了射影空间上任意余维的奇异全纯叶状结构，利用对数形式建立了在具有严格普通奇点的超曲面上具有极点的闭对数 $p$-形式的正规形式。关键结果表明，在分量数量与余维满足特定条件时，此类形式可分解为对数 1-形式 $\frac{df_i}{f_i}$ 的楔积与余数 $\lambda_I$ 的乘积之和，再加上一个恰当项。

ABSTRACT

The purpose of this paper is to study singular holomorphic foliations of arbitrary codimension defined by logarithmic forms on projective spaces.

研究动机与目标

• 将闭亚纯 1-形式的正规形式推广至复流形上更高次数的对数 $p$-形式（$p \geq 2$）
• 刻画在原点外具有严格普通奇点的超曲面上具有极点的闭对数 $p$-形式的结构
• 建立此类 $p$-形式为恰当形式或可分解为带有余数系数 $\lambda_I$ 的项之和的条件
• 通过上同调技术和奇点的解析解消，将 1-形式情形的结果推广至更高余维情形
• 利用 Leray 定理与 Cartan 定理，证明在孤立奇点的解析子集上微分形式的延拓定理

提出的方法

• 引入严格普通奇点超曲面（s.o.s.）的概念，其由约化的全纯函数 $f_j$ 定义，使得所有交集 $\{f_{i_1}=\cdots=f_{i_k}=0\}$ 在原点外均为光滑的
• 在原点附近使用局部坐标，将形式 $\eta$ 表示为 $\frac{df_i}{f_i}$ 的形式，从而通过 $p$-环面 $T_\epsilon^p$ 实现余数积分
• 应用 Deligne 定理于紧致 Kähler 流形上的闭对数形式，以在横截相交假设下建立 $\eta$ 的闭性
• 利用归纳法与上同调消去（通过 Leray 与 Cartan 定理）证明从穿孔解析子集到全邻域的延拓
• 使用内乘积 $i_R$ 将形式投影到射影空间，确保与齐次坐标的一致性
• 利用 $\delta$-复形与 Čech 上同调分析上同调群 $H^k(\mathcal{U}, \Omega^\ell)$ 的消去，这对延拓结果至关重要

实验结果

研究问题

• RQ1 在何种条件下，具有极点的闭对数 $p$-形式可表示为楔积 $\frac{df_{i_1}}{f_{i_1}} \wedge \cdots \wedge \frac{df_{i_p}}{f_{i_p}}$ 的线性组合？
• RQ2 在何种条件下此类形式为恰当形式，且在 $\eta = \sum \lambda_I \cdot \frac{df_{i_1}}{f_{i_1}} \wedge \cdots \wedge \frac{df_{i_p}}{f_{i_p}} + d\Theta$ 中，势函数 $\Theta$ 的结构如何？
• RQ3 数值余数 $\lambda_I$ 如何与极点除数的拓扑相关联？能否通过在 $p$-环面上的积分计算？
• RQ4 何种上同调条件可保证从穿孔解析子集延拓对数形式至全邻域？
• RQ5 余维 $n - p$ 与分量数 $r$ 在决定形式分解中起何种作用？

主要发现

• 当 $n \geq p+2$ 且 $r < p$ 时，任意具有极点的闭对数 $p$-形式 $\eta$ 均为恰当形式：$\eta = d\Theta$，其中 $\Theta$ 为对数形式但非闭形式。
• 若 $r \geq p$，则 $\eta$ 具有分解形式 $\eta = \sum_{I \in \mathcal{S}_r^p} \lambda_I \cdot \frac{df_{i_1}}{f_{i_1}} \wedge \cdots \wedge \frac{df_{i_p}}{f_{i_p}} + d\Theta$，其中 $\lambda_I \in \mathbb{C}$ 为数值余数。
• 余数 $\lambda_I$ 通过积分计算：$\lambda_I = \frac{1}{(2\pi i)^p} \int_{T_\epsilon^p} \eta$，其中 $T_\epsilon^p$ 为围绕交集 $\{f_{i_1} = \cdots = f_{i_p} = 0\} \setminus \{0\}$ 的 $p$-环面。
• 在 $\mathbb{P}^n$ 情形下，若极点除数在原点外具有 s.o.s. 且 $r \geq p+1$，则 $\eta$ 为 $\frac{df_i}{f_i}$ 楔积的线性组合，无恰当项，且 $i_R \eta = 0$。
• 当 $\ell \leq k - 2$（$k = \dim X$）时，对数形式从 $X \setminus \{0\}$ 延拓至全邻域是保证的，通过归纳法与上同调消去实现。
• 在 $k \geq 1$ 且 $k + \ell \leq r$ 条件下，上同调群 $H^k(\mathcal{U}, \Omega^\ell)$ 消去，从而通过 $\delta$-复形与 Leray 定理实现闭形式的延拓。