[论文解读] On the geometric genus of reducible surfaces and degenerations of surfaces to unions of planes

Alberto Calabri, Ciro Ciliberto+2 more|ArXiv.org|Jan 21, 2003

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

一句话总结

本文提出一个组合框架，用于计算退化为平面并集的可约曲面的几何亏格及其他不变量，引入Zappatic奇点，并利用其对偶图的图论不变量来计算 $ p_g $、$ \chi(\mathcal{O}_X) $ 和次数等不变量。关键结果是给出了具有良好Zappatic曲面的几何亏栽数的公式，其形式为：对偶图的贝蒂数、各分量的几何亏格以及一个上同调映射的余核之维数之和，同时给出了等式成立的条件。

ABSTRACT

In this paper we study some properties of degenerations of surfaces whose general fibre is a smooth projective surface and whose central fibre is a reduced, connected surface $X \subset IP^r$, $r \geq 3$, which is assumed to be a union of smooth projective surfaces, in particular of planes. Our original motivation has been a series of papers of G. Zappa which appeared in the 1940-50's regarding degenerations of scrolls to unions of planes. Here, we present a first set of results on the subject; other aspects are still work in progress and will appear later. We first study the geometry and the combinatorics of a surface like $X$, considered as a reduced, connected surface on its own; then we focus on the case in which X is the central fibre of a degeneration of relative dimension two over the complex unit disk. In this case, we deduce some of the intrinsic and extrinsic invariants of the general fibre from the ones of its central fibre. In the particular case of $X$ a central fibre of a semistable degeneration, i.e. $X$ has only global normal crossing singularities and the total space of the degeneration is smooth, some of the above invariants can be also computed by topological methods (i.e., the Clemens-Schmid exact sequence). Our results are more general, not only because the computations are independent on the fact that $X$ is the central fibre of a degeneration, but also because the degeneration is not semistable in general.

研究动机与目标

• 开发一种组合方法，用于计算退化为平面并集的可约曲面的不变量。
• 定义并研究Zappatic奇点——局部同构于0或1亏格的投影正常棒曲线锥的局部奇点，作为普通交叉点的推广。
• 引入Zappatic曲面的对偶图 $ G_X $，并利用它来计算拓扑与几何不变量，如 $ \chi(\mathcal{O}_X) $、次数和截面亏格。
• 将几何亏栂数 $ p_g $ 的计算从仅含 $ E_3 $-点的曲面推广至含 $ R_n $、$ S_n $ 和 $ E_n $-点的一般良好Zappatic曲面。
• 证明退化一般纤维的几何亏栂数等于中心纤维的半稳定化模型的几何亏栂数，通过在Zappatic奇点处进行爆破实现。

提出的方法

• 将Zappatic曲面定义为光滑曲面的并集，其具有特定奇点：双曲线光滑且不可约，多重点局部同构于0或1亏格的投影正常棒曲线的锥。
• 引入对偶图 $ G_X $，用于编码分量之间的相交关系及Zappatic奇点，其中顶点代表分量，边代表双曲线。
• 利用图 $ G_X $ 计算不变量：$ \chi(\mathcal{O}_X) $、次数 $ d $、截面亏格 $ g $，以及通过上同调数据计算 $ p_g(X) $。
• 对于退化情形，通过在Zappatic奇点处爆破实现半稳定化，将总空间化为仅含 $ E_3 $-点的中心纤维 $ X' $。
• 将几何亏栂数 $ p_g(X) $ 与 $ p_g(X') $ 关联，证明 $ p_g(X) = h^0(X', \omega_{X'}) $，并证明 $ b_2(G_X) = b_2(G_{X'}) $，即保持贝蒂数不变。
• 建立公式：$ p_g(X) = b_2(G_X) + \sum p_g(X_i) + \dim(\operatorname{coker}(\Phi)) $，其中 $ \Phi $ 是映射 $ \bigoplus H^1(X_i, \mathcal{O}_{X_i}) \to \bigoplus H^1(C_{ij}, \mathcal{O}_{C_{ij}}) $。

实验结果

研究问题

• RQ1 如何从其对偶图出发，通过组合方法计算退化为平面并集的可约曲面的几何亏栂数？
• RQ2 在上界 $ h^0(X, \omega_X) \leq b_2(G_X) + \sum p_g(X_i) + \dim(\operatorname{coker}(\Phi)) $ 下，几何亏栂数 $ p_g(X) $ 的等式成立的条件是什么？
• RQ3 能否通过半稳定化方法，从中心纤维的不变量计算退化一般纤维的几何亏栂数？
• RQ4 Zappatic奇点——特别是 $ R_n $、$ S_n $ 和 $ E_n $-点——如何影响退化情形的拓扑与几何结构？
• RQ5 对偶图 $ G_X $ 是否足以计算Zappatic曲面的所有内在与外在不变量，包括次数和截面亏格？

主要发现

• 对于仅含 $ E_3 $-点的Zappatic曲面 $ X $，有 $ p_g(X) \leq b_2(G_X) + \sum p_g(X_i) + \dim(\operatorname{coker}(\Phi)) $，当所有分量均为正则，或不正则分量的边界除子为非常 ample 时等式成立。
• 对于良好的Zappatic退化情形，一般纤维 $ \mathcal{X}_t $ 的几何亏栂数等于 $ p_g(X) = b_2(G_X) + \sum p_g(X_i) + \dim(\operatorname{coker}(\Phi)) $，其中 $ G_X $ 为中心纤维的对偶图。
• 通过在Zappatic奇点处爆破总空间，可实现良好Zappatic退化的半稳定化，得到仅含 $ E_3 $-点和有理例外除子的中心纤维 $ X' $。
• 半稳定模型的对偶图 $ G_{X'} $ 与 $ G_X $ 具有相同的贝蒂数，故 $ b_2(G_X) = b_2(G_{X'}) $，从而保持对 $ p_g $ 至关重要的拓扑不变量。
• 通过在点处爆破奇点，该 $ p_g $ 的图计算方法适用于所有良好Zappatic曲面，包括含 $ R_n $、$ S_n $ 和 $ E_n $-点的情形。
• 公式 $ p_g(X) $ 的定义是良定义的，且与半稳定模型的选择无关，因为 $ p_g(X) $ 定义为 $ p_g(X') $，而 $ b_2(G_X) $ 捕获了奇点带来的拓扑贡献。