[논문 리뷰] Castelnuovo function, zero-dimensional schemes and singular plane curves

Gert–Martin Greuel, Christoph Lossen외 1명|ArXiv.org|1999. 03. 30.

Advanced Numerical Analysis Techniques인용 수 10

한 줄 요약

이 논문은 특이점의 집합을 갖는 평면 곡선의 가닥을 연구하기 위해 캐스텔누오보 함수를 도입하며, 0차원 스킴과 클러스터 이론을 사용하여 T-스무스성과 기약성에 대한 새로운 충분조건을 도출한다. 클러스터의 무한히 가까운 점들에 대응하는 Hilbert 스킴의 기약성을 증명하고, 이상층의 코homology에 대한 퇴화정리들을 수립함으로써 기댓값 차원을 갖는 곡선 가닥들이 스무스해지기 위한 渐近적으로 최적의 조건을 이끌어낸다.

ABSTRACT

We study families V of curves in P^2 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 P^2. Moreover, we give a series of examples of cuspidal curves where the family V is reducible, but where the fundamental groups of P^2 \ C coincide (and are abelian) for all C in V.

연구 동기 및 목표

• 대수기하학적 도구를 사용하여 고정된 특이점을 갖는 평면 곡선의 가닥의 기하학을 이해하기 위해.
• 특히 위상적 또는 해석적 특이점을 갖는 곡선에 대해 이러한 가닥이 스무스(즉, T-스무스)하거나 기약인지 판단하기 위해.
• 곡선 가닥의 차원과 스무스성 예측에 도움이 되는 특이점의 불변량—특히 캐스텔누오보 함수—를 개발하기 위해.
• 특이점에서 유래한 무한히 가까운 점들의 클러스터와 관련된 Hilbert 스킴의 기약성을 증명하기 위해.
• P^2 내의 0차원 스킴의 이상층에 대한 코homology의 퇴화정리를 수립하여 주요 결과를 뒷받침하기 위해.

제안 방법

• 특이점에 대한 새로운 불변량으로서 캐스텔누오보 함수를 도입하고 분석하며, 이를 곡선 가닥의 기댓값 차원과 연결한다.
• 클러스터 이론을 사용하여 특이점 내의 무한히 가까운 점들을 모델링하고 관련된 0차원 스킴을 연구한다.
• 변형이론적 및 코homological 기법을 통해 이러한 0차원 스킴의 Hilbert 스킴의 기약성을 증명한다.
• P^2 내의 0차원 스킴의 이상층에 대한 고차 코homology에 대한 퇴화정리를 수립하며, 이는 차원 수 계산 논증에 핵심적이다.
• 이러한 결과를 바탕으로 고정된 특이점을 갖는 평면 곡선의 가닥에 대한 T-스무스성 및 기약성에 대한 충분조건을 도출한다.
• 캐스텔누오보 함수를 사용하여 이전의 기준들을 개선하고 일반화하며, 기댓값 차원에 대해 渐近적으로 최적임을 추측한다.

실험 결과

연구 질문

• RQ1 주어진 유형의 r개의 특이점을 갖는 평면 곡선의 가닥이 T-스무스(기댓값 차원을 갖는 스무스)가 되기 위한 조건은 무엇인가요?
• RQ2 캐스텔누오보 함수는 어떻게 기여하여 특이 평면 곡선의 가닥의 차원과 스무스성을 특성화할 수 있는가?
• RQ3 무한히 가까운 점들의 클러스터와 관련된 0차원 스킴의 Hilbert 스킴이 기약이 되기 위한 조건은 무엇인가요?
• RQ4 P^2 내의 0차원 스킴의 이상층에 대해 성립하는 퇴화정리는 무엇이며, 곡선 가닥과의 관계는 어떻게 되는가?
• RQ5 유도된 새로운 불변량과 조건들이 곡선 가닥의 T-스무스성에 대해 渐近적으로 최적이 될 수 있는가?

주요 결과

• 캐스텔누오보 함수가 특이점에 대한 새로운 불변량으로 도입되어 곡선 가닥의 차원 분석을 더욱 정교하게 가능하게 한다.
• 무한히 가까운 점들의 클러스터와 관련된 0차원 스킴의 Hilbert 스킴이 기약임을 증명하였다.
• P^2 내의 0차원 스킴의 이상층에 대한 고차 코homology에 대한 새로운 퇴화정리가 수립되었다.
• 고정된 특이점을 갖는 평면 곡선의 가닥에 대한 T-스무스성에 대한 충분조건이 유도되었으며, 캐스텔누오보 함수를 포함하고 있으며, 渐近적으로 최적이 될 것으로 추측된다.
• 가닥이 기약이지만 보완의 기본군이 모두 동일하고 아벨 군인 케이스의 콘두스컬 곡선의 예가 구성되었다.
• 스킴 이론적 및 코homological 방법을 통해 특이 평면 곡선의 모듈리 공간을 체계적으로 연구할 수 있는 프레임워크를 제공한다.