[논문 리뷰] On the geometric genus of reducible surfaces and degenerations of surfaces to unions of planes

Alberto Calabri, Ciro Ciliberto외 2명|ArXiv.org|2003. 01. 21.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 7

한 줄 요약

이 논문은 평면의 합집합으로 분해되는 분해 가능 표면의 기하 종수 및 기타 불변량을 계산하기 위한 조합론적 프레임워크를 개발한다. Zappatic 특이점과 이중 그래프의 그래프 이론적 불변량을 도입하여 $ p_g $, $ \chi(\mathcal{O}_X) $, 및 차수와 같은 불변량을 계산한다. 주요 결과는 양호한 Zappatic 표면의 기하 종수에 대한 공식으로, 이는 이중 그래프의 베텨 수, 구성 요소들의 기하 종수, 그리고 코homological 사상의 상사상의 차원에 의존하며, 등식 조건도 제시한다.

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.

연구 동기 및 목표

• 분해 가능 표면의 불변량을 평면의 합집합으로 분해되는 경우에 대해 조합론적으로 계산할 수 있는 방법을 개발한다.
• 기하 종수 0 또는 1인 프로젝티브로 정규된 스틱 곡선 위의 콘과 국소적으로 동형인 국소 특이점인 Zappatic 특이점을 정의하고 연구한다. 이는 정상 교차의 일반화이다.
• Zappatic 표면의 이중 그래프 $ G_X $ 를 도입하고, 이 그래프를 사용하여 $ \chi(\mathcal{O}_X) $, 차수, 단면 종수와 같은 위상 및 기하 불변량을 계산한다.
• 단지 $ E_3 $-점만을 갖는 표면에서의 기하 종수 $ p_g $ 계산을 일반적인 양호한 Zappatic 표면으로 확장하여 $ R_n $, $ S_n $, 및 $ E_n $-점도 포함한다.
• 블로우업을 통해 Zappatic 특이점을 처리함으로써 중심 특이점의 반안정화 모델의 기하 종수와 일반 섬의 기하 종수가 같음을 보인다.

제안 방법

• Zappatic 표면를 정의한다: 부드러운 표면들의 합집합으로, 이중 곡선은 부드럽고 기약적이며, 다중점은 기하 종수 0 또는 1인 프로젝티브로 정규된 스틱 곡선 위의 콘과 국소적으로 동형이다.
• 구성 요소 간의 교차와 Zappatic 특이점을 기록하는 이중 그래프 $ G_X $ 를 도입한다. 정점은 구성 요소를, 간선은 이중 곡선을 나타낸다.
• 그래프 $ G_X $ 를 사용하여 불변량을 계산한다: $ \chi(\mathcal{O}_X) $, 차수 $ d $, 단면 종수 $ g $, 및 $ p_g(X) $ 는 코homological 자료를 통해 계산한다.
• 분해 가능성을 위해 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)) $ 에서 등식 조건은 무엇인가?
• RQ3 반안정화를 통해 중심 특이점의 불변량을 이용해 일반 섬의 기하 종수를 계산할 수 있는가?
• RQ4 특히 $ R_n $, $ S_n $, 및 $ E_n $-점인 Zappatic 특이점은 분해 가능성을 어떻게 위상 및 기하학적으로 영향을 주는가?
• 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 $ 의 기하 종수는 $ 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 $ 에 중요한 위상 불변량을 유지함을 의미한다.
• 모든 양호한 Zappatic 표면, 특히 $ R_n $, $ S_n $, 및 $ E_n $-점이 포함된 표면에 대해 그래프 기반의 $ p_g $ 계산이 블로우업을 통해 특이점을 해결함으로써 유효하다.
• 공식 $ p_g(X) $ 는 반안정화 모델의 선택과 무관하게 잘 정의되어 있으며, $ p_g(X) $ 가 $ p_g(X') $ 로 정의되고 $ b_2(G_X) $ 가 특이점으로부터 온 위상 기여를 캡처하기 때문이다.