[논문 리뷰] A Note on Equimultiple Deformations

Thomas Markwig|ArXiv.org|2007. 05. 26.

Structural Analysis and Optimization참고 문헌 2인용 수 4

한 줄 요약

이 논문은 매끄러운 프로젝티브 표면 위의 점에서 다중도가 $m$인 곡선을 매개변수화하는 다양체 ${\mathcal{L}}_m$의 접공간 차원을 계산하며, 단일접선(유닛앙기얼)과 비단일접선(비유닛앙기얼) 특이점 간의 차이를 구분한다. 등차성 이deals와 코homological 방법을 사용하여, 임의의 점 $(C,p)$에서 ${\mathcal{L}}_m$의 기대 차원이 $\dim|L| - \frac{m(m+1)}{2} + 2$임을 보인다.

ABSTRACT

While the tangent space to an equisingular family of curves can be discribed by the sections of a twisted ideal sheaf, this is no longer true if we only prescribe the multiplicity which a singular point should have. However, it is still possible to compute the dimension of the tangent space with the aid of the equimulitplicity ideal. In this note we consider families L_m={(C,p) | mult_p(C)=m} with C in some linear system |L| on a smooth projective surface S and for a fixed positive integer m, and we compute the dimension of the tangent space to L_m at a point (C,p) depending on whether p is a unitangential singular point of C or not. We deduce that the expected dimension of L_m at (C,p) in any case is just dim|L|+2-m*(m+1)/2. The result is used in the study of triple-point defective surfaces in some joint papers with Luca Chiantini.

연구 동기 및 목표

• 매끄러운 프로젝티브 표면 위의 점에서 고정된 다중도 $m$을 갖는 곡선을 매개변수화하는 다양체 ${\mathcal{L}}_m$의 접공간 차원을 결정하는 것.
• 특이점이 유닛앙기얼인지 여부에 따라 접공간 차원이 어떻게 달라지는지 명확히 하는 것.
• 특이점 유형에 관계없이 각 점 $(C,p)$에서 ${\mathcal{L}}_m$의 기대 차원을 확립하는 것.
• 등차성 조건을 만족하는 변형을 이해하기 위한 코homological 프레임워크를 제공하는 것, 특히 등차성 이deals 흐름을 통해.
• 참고문헌 [ChM06a] 및 [ChM06b]에서 언급된 삼중점 결함이 있는 표면의 연구에 결과를 적용하는 것.

제안 방법

• ${\mathcal{L}}_m = \{(C,p) \in |L| \times S \mid \operatorname{mult}_p(C) = m\}$를 선형계와 표면의 곱의 국소적으로 닫힌 부분다양체로 정의한다.
• 등차성 이deals 흐름을 사용하여, $Z$를 다중도 조건의 0차원 스킴으로 두었을 때, $(C,p)$에서 ${\mathcal{L}}_m$의 접공간을 $\mathcal{J}_Z(C)$의 전역 단면을 통해 기술한다.
• 코homological 기법을 적용: $\dim_{\mathbb{C}} H^0(S, \mathcal{J}_Z(C))$를 계산하고, $H^0(S, \mathcal{O}_S(L))$와 $H^0(S, \mathcal{O}_Z)$를 포함하는 정확열을 통해 접공간 차원과 연결한다.
• 특이점의 국소 해석기하학적 유형에 따라 경우를 구분한다: 만약 $C$가 유닛앙기얼(국소적으로 $y^m + \text{h.o.t.}$)이면 차원이 2 감소하고, 그렇지 않으면 1 감소한다.
• 자기행렬 기준과 제트 절단을 사용하여 0차원 스킴 $Z$의 차수를 계산하여 접공간의 여부공간 차원을 결정한다.
• 제약 사상 $H^0(S, \mathcal{O}_S(L)) \to H^0(S, \mathcal{O}_Z)$의 상사상성 분석을 통해 기대 차원을 확립하여, $\dim H^0(S, \mathcal{J}_Z(C)) = \dim|L| + 1 - \deg(Z)$를 이끌어낸다.

실험 결과

연구 질문

• RQ1 매끄러운 프로젝티브 표면 위의 점에서 다중도가 $m$인 곡선을 매개변수화하는 다양체 ${\mathcal{L}}_m$의 접공간 차원은 무엇인가?
• RQ2 ${\mathcal{L}}_m$의 접공간 차원은 특이점이 유닛앙기얼인지 여부에 따라 어떻게 달라지는가?
• RQ3 $(C,p)$에서 ${\mathcal{L}}_m$의 기대 차원은 무엇이며, 선형계 $|L|$과 다중도 $m$과 어떻게 관련이 있는가?
• RQ4 ${\mathcal{L}}_m$의 기대 차원을 등차성 이deals 흐름의 코homological 자료를 사용하여 계산할 수 있는가?
• RQ5 ${\mathcal{L}}_m$이 기대 차원을 갖는 정규 다양체가 되는 조건은 무엇이며, 특히 $S = \mathbb{P}^2$인 경우는 어떻게 되는가?

주요 결과

• ${\mathcal{L}}_m$의 $(C,p)$에서 접공간 차원은 $C$가 유닛앙기얼이면 $\dim_{\mathbb{C}} H^0(S, \mathcal{J}_Z(C)) - 2$, 아니면 $\dim_{\mathbb{C}} H^0(S, \mathcal{J}_Z(C)) - 1$이다.
• 특이점이 유닛앙기얼일 경우 0차원 스킴 $Z$의 차수는 $\frac{m(m+1)}{2} - 1$, 비유닛앙기얼일 경우 $\frac{m(m+1)}{2} - 2$이다.
• ${\mathcal{L}}_m$의 $(C,p)$에서 기대 차원은 $\dim|L| - \frac{m(m+1)}{2} + 2$이며, 이는 $\dim H^0(S, \mathcal{J}_Z(C))$의 코homological 계산에서 도출된다.
• $S = \mathbb{P}^2$이고 $L = \mathcal{O}_{\mathbb{P}^2}(d)$인 경우, 자코비안 행렬이 전체 질서 $\frac{m(m+1)}{2}$를 가지므로 ${\mathcal{L}}_m$은 기대 차원을 갖는 정규 다양체이다.
• ${\mathcal{L}}_m$의 접공간은 전체 선형계의 접공간에 대해 최소 $\frac{m(m+1)}{2} - 1$의 여부공간 차원을 가지며, 이는 기대 차원 공식을 확인한다.
• 결과는 특이점 유형에 관계없이 동일하게 성립하며, 유일한 차이는 점 $p$에서 곡선의 국소 해석기하학적 구조에 기인한 보정 항 뿐이다.