[논문 리뷰] The Hilbert schemes of points on surfaces with rational double point singularities

Xudong Zheng|arXiv (Cornell University)|2017. 01. 10.

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

한 줄 요약

이 논문은 최대한으로 유리 이중점(ADE) 특이성을 가진 정규 준사영 표면에서의 점들에 대한 힐버트 스킴이 모든 d > 0에 대해 기약임을 증명한다. 이는 포그아키의 매끄러움 결과를 특이성을 가진 표면으로 일반화한 것이다. 증명은 ADE 특이성에서의 반사 모듈러의 변형 이론과 행렬 분해를 활용하며, 영차원 부분 스킴의 기하학이 유한 유형의 싸이지 모듈러에 의해 제어됨을 보여준다.

ABSTRACT

We prove that the Hilbert scheme of points on a normal quasi-projective surface with at worst rational double point singularities is irreducible.

연구 동기 및 목표

• 이론적으로 ADE 특이성을 가진 표면에서의 점들에 대한 힐버트 스킴의 기약성을 확립한다.
• 매끄러운 표면에 대한 고전적 결과(예: 포그아키의 매끄러움 정리)를 최대한으로 유리 이중점 특이성을 가진 표면으로 일반화한다.
• 특이성을 가진 표면에서 힐버트 스킴이 여전히 기약일 수 있는지, 특히 왜곡된 케이블의 꼬리 위의 원뿔과 같은 알려진 비기약 사례와 대비하여 조사한다.
• 기하학적 응용을 제공하며, 특히 아핀 쌍곡원뿔의 힐버트-차우 사상에 대한 블로우업 기술을 제시한다.
• 특이 표면의 특이점에서 매끄럽게 만들 수 없는 영차원 부분 스킴과 매끄럽게 만들 수 없는 부분 스킴의 경계를 명확히 한다.

제안 방법

• ADE 특이성에서의 반사 모듈러의 분류를 활용하며, 이들은 유한하며 행렬 분해를 통해 자유 해상표를 갖는다.
• 반사 모듈러의 변형 이론을 적용하여 특이점에 지지된 영차원 부분 스킴의 임베디드 변형을 연구한다.
• 힐베르트-버르크 정리와 호모로지 대수학을 사용하여 이상층과 그 해상표의 국소 구조를 분석한다.
• 그라스만이안에서의 편미분 구조를 사용하여 특이점의 접선 원뿔에서 길이 8의 스킴의 매끄러움 가능성을 탐지한다.
• 슈베르트 계산을 적용하여 임베딩 차원이 4인 일반적인 ADE 유형의 특이성에서 d ≥ 8일 때 힐버트 스킴이 비기약이 됨을 보인다.
• 주어진 환의 이상 포함관계와 임베딩된 힐버트 스킴에서의 접선 공간 차원 비교를 통해 명시적인 비매끄러운 부분 스킴을 구성한다.

실험 결과

연구 질문

• RQ1 최대한으로 유리 이중점(ADE) 특이성을 가진 표면에서의 점들에 대한 힐버트 스킴은 모든 d > 0에 대해 기약인가?
• RQ2 매끄러운 표면에서의 힐버트 스킴에 대한 매끄러움 기준을 ADE 특이성을 가진 표면으로 일반화할 수 있는가?
• RQ3 아핀 쌍곡원뿔과 같은 특이 표면에서의 힐버트-차우 사상의 기하학적 구조는 어떠한가?
• RQ4 어떤 특이 표면에서 점들에 대한 힐버트 스킴이 비기약이 되며, 비기약성이 발생하는 최소 d 값은 얼마인가?
• RQ5 특이 표면에서의 영차원 부분 스킴 중에서 매끄럽게 만들 수 없는 것은 무엇이며, 이를 대수적으로 어떻게 탐지할 수 있는가?

주요 결과

• 모든 d > 0에 대해, 최대한으로 유리 이중점(ADE) 특이성을 가진 정규 준사영 표면 X에 대해 $\mathrm{Hilb}^{d}(X)$ 는 기약이다.
• Hilbert 스킴 $\mathrm{Hilb}^{d}(X)$ 의 차원은 $2d$ 이며, 이는 매끄러운 경우와 일치한다. 점 $[Z]$ 에서의 매끄러움 여부는 이상층 $I_Z$ 가 X 위에서 유한한 호모로지 차원을 갖는다 하는 것과 동치이다.
• 특이점 $A_n$ 에 대해 $X = \mathrm{Spec}(\mathbb{C}[x,y,z]/\langle xz - y^{n+1}\rangle)$ 이면, 힐버트 스킴 $\mathrm{Hilb}^{d}(X)$ 는 어디서나 0이 아닌 $2d$-형식을 갖는다.
• 아핀 쌍곡원뿔 $Q = \mathrm{Spec}(\mathbb{C}[x,y,z]/\langle xz - y^2\rangle)$ 에 대해, 힐버트-차우 사상은 $Q^{(d)}$ 의 $S_d$-반치함수의 곱으로 정의된 이상층을 따라 블로우업과 동형이다.
• 왜곡된 케이블의 원뿔에 대해 $\mathrm{Hilb}^{8}(X)$ 는 비기약이며, 길이 8의 비매끄러운 부분 스킴이 존재한다. 이는 접선 공간 차원이 $29 < 32$ 임을 통해 보여진다.
• 임베딩 차원 4인 일반적인 유리 표면 특이성(세 개의 이차형식으로 정의됨)에 대해 $\mathrm{Hilb}^{d}(X)$ 는 $d \geq 8$ 일 때 비기약이며, 편미분의 붕괴와 슈베르트 계산을 통해 이를 증명한다.