[논문 리뷰] Castelnuvo Function, Zero-dimensional Schemes and Singular Plane Curves

Gert–Martin Greuel, Christoph Lossen외 1명|arXiv (Cornell University)|1999. 03. 30.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 26

한 줄 요약

이 논문은 곡선의 특이점 유형이 지정된 도수 d의 평면 곡선 가중치에 대해 T-매끄럽거나 기대치에 맞는 치수를 가진다거나 기약임을 보장하는 새로운 충분조건을 제시한다. 이는 곡선 특이점의 불변량과 캐스텔누오보 함수의 성질을 이용한다. 또한 무한히 가까운 점들의 클러스터에 관련된 0차원 스킴의 Hilbert 스킴의 기약성을 증명하고, P²에서의 이상층에 대한 새로운 퇴화 정리를 유도하며, 기본군이 구성 요소들 사이에서 아벨군인 쿠스피달 곡선에 응용한다.

ABSTRACT

We study families V of curves in P2(C) of degree d having exactly r singular points of given topological or analytic types. We derive new sufficient conditions for V to be T-smooth (smooth of the expected dimension), respectively to be irreducible. For T-smoothness these conditions involve new invariants of curve singularities and are conjectured to be asymptotically proper, i.e., optimal up to a constant factor. To obtain the results, we study the Castelnuovo function, prove the irreducibility of the Hilbert scheme of zero-dimensional schemes associated to a cluster of infinitely near points of the singularities and deduce new vanishing theorems for ideal sheaves of zero-dimensional schemes in P2. Moreover, we give a series of examples of cuspidal curves where the family V is reducible, but where ss1(P2nC) coincides (and is abelian) for all C 2 V .

연구 동기 및 목표

• 특이 평면 곡선의 가중치가 T-매끄럽거나 기약임을 보장하는 충분조건을 결정하는 것.
• T-매끄러움을 지배하는 곡선 특이점의 새로운 불변량을 도입하는 것.
• 특이점에서 무한히 가까운 점들의 클러스터에 관련된 Hilbert 스킴의 기약성을 증명하는 것.
• P²에서 0차원 스킴의 이상층에 대한 새로운 퇴화 정리를 도출하는 것.
• 가중치가 주어진 쿠스피달 곡선의 가중치가 기약이지만, 아벨 기본군이 동일한 경우를 분석하는 것.

제안 방법

• 곡선 특이점의 불변량을 도출하기 위해 캐스텔누오보 함수를 분석하는 것.
• 특이점에서 무한히 가까운 점들의 클러스터로부터 유도되는 0차원 스킴를 연구하는 것.
• 해당 스킴를 매개변수로 하는 Hilbert 스킴의 기약성을 증명하는 것.
• P²에서 이상층에 대한 새로운 퇴화 정리를 확립하기 위해 코homological 기법을 적용하는 것.
• 변형 이론과 모듈리 공간 기법을 사용하여 곡선 가중치의 차원과 매끄러움을 평가하는 것.
• 기본군이 아벨이면서 동일한 기약 가중치를 가진 쿠스피달 곡선의 구체적 예를 구성하는 것.

실험 결과

연구 질문

• RQ1 어떤 특이점의 불변량이 평면 곡선의 가중치가 T-매끄럽게 되는지를 결정하는가?
• RQ2 특정 특이점을 가진 곡선의 가중치가 기약이 되기 위한 조건은 무엇인가?
• RQ3 캐스텔누오보 함수는 특이점의 기하학과 모듈리 공간과 어떻게 관련되는가?
• RQ4 무한히 가까운 점들의 클러스터에 관련된 0차원 스킴의 Hilbert 스킴이 기약이 되는 조건은 무엇인가?
• RQ5 쿠스피달 곡선의 가중치가 기약이 아니지만, 여전히 동일한 아벨 기본군을 가질 수 있는가?

주요 결과

• 특이점의 불변량을 이용하여 T-매끄러움을 위한 새로운 충분조건이 도출되었으며, 이는 渐近적으로 적절할 것으로 추측된다.
• 무한히 가까운 점들의 클러스터에 관련된 0차원 스킴의 Hilbert 스킴이 기약임을 증명하였다.
• P²에서 0차원 스킴의 이상층에 대한 새로운 퇴화 정리가 확립되었다.
• 기본군의 여부가 아벨이면서 모든 구성 요소에서 동일한 기약 가중치를 가진 쿠스피달 곡선의 예가 구성되었다.
• 캐스텔누오보 함수가 곡선 가중치의 차원과 매끄러움을 제어하는 데 중심적인 역할을 함을 보였다.
• 제안된 T-매끄러움 조건이 거의 최적임을 시사하며, 상수 인자까지 渐近적으로 날카로움을 추측한다.