The logarithmic leaf complex and foliated d-semistability

以下是 Maurício Corrêa、Pablo Perrella 和 Sebastián Velazquez 的论文《对数叶复形与叶状 d-半稳定性》的详细技术总结。

1. 问题陈述与动机

本文解决了全纯叶状形变理论中的一个基本问题：哪些具有正常交叉（NC）的代数簇上的叶状形允许光滑化？

• 背景： 在研究光滑代数簇上叶状形的模空间时，人们经常遇到对应于具有正常交叉的奇异簇的边界点。半稳定约化定理保证，任何叶状对族都可以通过基变换和双有理变换进行修改，使其中心纤维为正常交叉簇。
• 缺口： 虽然代数簇（不含叶状形）的光滑化理论已通过d-半稳定性（由 Friedman 引入并由 Kawamata–Namikawa 推广）的概念得以确立，但叶状对 $(X, \mathcal{F})$ 的相应理论此前是缺失的。
• 核心问题： 给定一个正常交叉簇 $X$ 及其上的叶状形 $\mathcal{F}$，在什么条件下存在一个定义在圆盘 $\Delta$ 上的平坦族，使得其中心纤维为 $(X, \mathcal{F})$，而一般纤维为光滑的叶状对？

2. 方法论

作者采用对数几何（Fontaine–Illusie 和 Kato 的框架）作为主要框架。这种方法将奇异正常交叉簇视为对数范畴中的“光滑”对象。

• 对数结构： 他们为 NC 簇 $X$ 配备了半稳定型的对数结构 $M_X$，从而允许存在态射 $f: (X, M_X) \to (\ast, \mathbb{N})$。
• 叶状 d-半稳定性： 他们定义一对 $(X, \mathcal{F})$ 为d-半稳定的，如果叶状形的切层 $\mathcal{T}_{\mathcal{F}}$ 包含在相对对数切层 $\mathcal{T}_{X/(\ast, \mathbb{N})}$ 中。这确保了叶状形与退化过程的对数光滑结构相容。
• 形变理论： 他们建立了对数光滑叶状态射的无穷小形变理论。这涉及构造一个对数叶复形（类比于光滑情形下的叶复形）来控制形变。

3. 主要贡献与结果

A. d-半稳定性的局部与全局障碍

本文确立了叶状对为 d-半稳定的精确判据。

1. 局部相容性（Camacho–Sad 指数）：

   • 对于局部模型 $X = V(x_1 \cdots x_r)$，如果除子 $D_i = V(x_i)$ 在叶状形下不变，作者推导了不可约分量上受限叶状形 $\mathcal{F}_i$ 的Camacho–Sad 指数的相容性条件。
   • 结果（命题 3.12）： 对于在 $D_{ij}$ 处相交的任意两个分量 $X_i, X_j$，其指数必须满足：
     $$CS(\mathcal{F}_i, D_{ij}) + CS(\mathcal{F}_j, D_{ij}) = r - 2$$
     其中 $r$ 是在奇点处相交的分量数量。

2. 全局障碍类：

   • 局部 d-半稳定性并不能保证全局 d-半稳定性。作者识别了粘合局部半稳定对数结构的障碍。
   • 结果（命题 3.17）： 全局 d-半稳定性的障碍位于上同调群中：
     $$H^1(X, \mathcal{O}^*_{X/\mathcal{F}} / G_{\mathcal{F}})$$
     其中 $\mathcal{O}^*_{X/\mathcal{F}}$ 是 $\mathcal{F}$ 的可逆首次积分层，$G_{\mathcal{F}}$ 是限制到奇异轨迹的核。
   • 拓扑性质： 如果奇异轨迹（双重轨迹）是叶状形的一片叶子，则该障碍纯粹是拓扑的，位于 $H^1(D, \mathbb{C}^*)$ 中。

B. 对数形变理论

作者构建了叶状对数光滑形的形变理论，推广了 Goldman–Millson 和 Kato 的工作。

1. 对数叶复形：

   • 他们定义了一个控制形变的复形 $L^\bullet(\mathcal{F})$：
     $$\mathcal{T}_X \xrightarrow{\delta} \mathcal{H}om(\mathcal{T}_{\mathcal{F}}, \mathcal{N}_{\mathcal{F}}) \xrightarrow{\delta} \mathcal{H}om(\wedge^2 \mathcal{T}_{\mathcal{F}}, \mathcal{N}_{\mathcal{F}}) \to \dots$$
   • 微分是与对数切层上的李括号相关的 Chevalley–Eilenberg 微分。

2. 障碍与模空间：

   • 定理 4.12： 该复形的超上同调群控制着形变理论：
     • $\mathbb{H}^0$：自同构。
     • $\mathbb{H}^1$：一阶形变的等价类。
     • $\mathbb{H}^2$：扩展形变的障碍。
   • 定理 4.15（万有包）： 如果 $X$ 是固有簇，则 $(X, \mathcal{F})$ 的对数光滑形变模函子 admits a 万有包。这保证了形式模空间的存在性。

3. 光滑化的存在性：

   • 推论 4.16： 如果 $(X, \mathcal{F})$ 是 d-半稳定的，且障碍群 $\mathbb{H}^2(X, L^\bullet(\mathcal{F}))$ 消失，则 $(X, \mathcal{F})$ 允许光滑化。
   • 本文提供了一个具体示例（示例 4.17），涉及 $\mathbb{P}^1$-丛的粘合，展示了特定上同调群的消失如何确保光滑化的存在。

4. 意义

• 连接奇异性与光滑性： 本文提供了必要的理论工具，将奇异叶状对视为光滑叶状对的极限，这是紧化叶状形模空间的关键步骤。
• 对数框架： 它证明了对数几何是研究叶状形退化的自然背景，将 Kawamata–Namikawa 在对数几何应用于卡拉比 - 丘流形和 K3 表面的成功应用扩展到了叶状形语境。
• 可计算判据： 通过将问题简化为上同调障碍和指数关系（Camacho–Sad），作者为研究人员提供了具体工具，以判断特定的奇异叶状形是否可以被光滑化。
• 未来方向： 这项工作为研究对数卡拉比 - 丘叶状形奠定了基础，并展示了应用 T1-提升技术来证明更广泛语境下光滑化存在性的可能性，从而可能实现对 d-半稳定叶状对的完整分类。

总之，本文成功利用对数几何将经典的 d-半稳定性理论移植到叶状形领域，确定了精确的局部和全局障碍，并证明了万有形变空间的存在性。