[論文レビュー] 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

ひとこと要約

この論文は、平面の和に退化する可約な表面の幾何的 genus およびその他の不変量を計算する組み合わせ的枠組みを構築する。Zappatic 特異点を導入し、双対グラフのグラフ論的不変量を用いて $ p_g $, $ \chi(\mathcal{O}_X) $, および次数を計算する。主な結果は、良い Zappatic 表面の幾何的 genus をその双対グラフのベッチ数、成分の幾何的 genus、およびコホモロジー写像の余核を用いて表す公式であり、等号成立条件も提示されている。

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 特異点の定義と研究—滑らかな曲線の射影的正規 stick 曲線（種数 0 または 1）の錐に局所的に同型な局所的特異点—を正則交差の一般化として導入する。
• Zappatic 表面の双対グラフ $ G_X $ を導入し、$ \chi(\mathcal{O}_X) $, 次数, 截断種数などの位相的および幾何的不変量を計算する。
• $ E_3 $-点しか持たない表面に限らない、一般の良い Zappatic 表面（$ R_n $, $ S_n $, $ E_n $-点を含む）に対し、幾何的 genus $ p_g $ の計算を拡張する。
• Zappatic 特異点での吹き上げを用いて、中心特異点の半安定化を実行し、一般ファイバーの幾何的 genus が中心特異点の半安定化の幾何的 genus に等しいことを確立する。

提案手法

• Zappatic 表面を、二重曲線が滑らかで非可約であり、多重点が種数 0 または 1 の射影的正規 stick 曲線の錐に解析的に同型である滑らかな表面の和として定義する。
• 成分の交わりと Zappatic 特異点を記録する双対グラフ $ G_X $ を導入し、成分を頂点、二重曲線を辺とする。
• グラフ $ G_X $ を用いて不変量を計算：$ \chi(\mathcal{O}_X) $, 次数 $ d $, 截断種数 $ g $, およびコホモロジー的データを用いた $ p_g(X) $。
• 退化に対して、Zappatic 特異点での吹き上げを用いて半安定化を行い、全空間を $ E_3 $-点のみをもつ中心特異点 $ X' $ に解消する。
• 幾何的 genus $ 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 可約な表面が平面の和に退化する場合、その双対グラフからどのように幾何的 genus を組み合わせ的に計算できるか。
• RQ2 不等式 $ h^0(X, \omega_X) \leq b_2(G_X) + \sum p_g(X_i) + \dim(\operatorname{coker}(\Phi)) $ における等号成立条件は何か。
• RQ3 一般ファイバーの幾何的 genus は、半安定化を用いて中心特異点の不変量から計算可能か。
• 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)) $ が成り立ち、すべての成分が正則であるか、不正則な成分の境界除部分がアーマーである場合に等号が成立する。
• 良い Zappatic 退化に対して、一般ファイバー $ \mathcal{X}_t $ の幾何的 genus は $ p_g(X) = b_2(G_X) + \sum p_g(X_i) + \dim(\operatorname{coker}(\Phi)) $ に等しくなる。ここで $ G_X $ は中心特異点の双対グラフである。
• 良い Zappatic 退化の半安定化は、Zappatic 特異点での吹き上げにより達成され、中心特異点 $ X' $ は $ E_3 $-点のみをもち、有理型の例外除部分を持つ。
• 半安定モデルの双対グラフ $ G_{X'} $ は $ G_X $ と同じベッチ数を持ち、$ b_2(G_X) = b_2(G_{X'}) $ が成り立つ。これは $ p_g $ を計算する上で重要な位相的不変量を保存する。
• すべての良い Zappatic 表面（$ R_n $, $ S_n $, $ E_n $-点を含む）に対して、特異点を点での吹き上げにより解消することで、グラフによる $ p_g $ の計算が有効である。
• 公式 $ p_g(X) $ は、選択した半安定モデルに依存せず、$ p_g(X) $ が $ p_g(X') $ として定義され、$ b_2(G_X) $ が特異点からの位相的寄与を捉えるため、well-defined かつ独立である。