[논문 리뷰] Structure of the cycle map for Hilbert schemes of families of nodal curves

Ziv Ran|arXiv (Cornell University)|2009. 03. 21.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 8

한 줄 요약

이 논문은 노드 곡선의 가족에 대해 상대 힐베르트 스킴에서 상대 대칭적 제품으로의 사이클 맵이 다중점이 포함된 사이클을 매개변수화하는 판별 국소화의 블로우업과 동형임을 증명한다. 주요 기여는 판별 극성화가 블로우업에서 $±\mathcal{O}(1)$ 선다발의 역상임을 규명한 것으로, 노드 스크롤과 다중스크롤은 정규화된 전체 공간 위의 프로젝티브 다발을 통해 힐베르트 스킴의 특이점 분할을 기하학적으로 분해한다.

ABSTRACT

We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of cycles with multiple points. We determine the relevant cotangent sheaves and complexes. We determine the structure of certain projective bundles called node scrolls, which play an important role in the geometry of Hilbert schemes.

연구 동기 및 목표

• 기저 $B$의 임의의 차원을 가진 노드 곡선의 가족에 대해 상대 힐베르트 스킴 $X^{[m]}_B$ 의 기하학을 이해하기 위해.
• 상대 대칭적 제품으로의 사이클 맵 $c_m: X^{[m]}_B \to X^{(m)}_B$ 의 구조를 명확히 하기 위해.
• 사이클 내 다중점에 의해 유도되는 분할을 통해 $X^{[m]}_B$ 의 특이점 국소화를 특성화하기 위해.
• 노드 스크롤과 다중스크롤을 기하학적 도구로 도입하고 연구하여 대칭적 제품을 넘어서는 고차 정보를 암호화하기 위해.
• 힐베르트 스킴의 교차 이론에서 판별 극성화를 중심 대상으로 설정하고, 이와 블로우업의 $±\mathcal{O}(1)$ 다발과 연결하기 위해.

제안 방법

• 상대 힐베르트 스킴에 대한 국소 모델 $H$ 로의 환원을 통해 정의 아이디얼의 명시적 계산이 가능해지게 한다.
• 상대 카르테시안 곱에서의 아이디얼 $G$ 를 구성하여, 이의 사이지지가 $H$ 의 역상과 대응되게 하고, 블로우업에서 $H$ 로 향하는 맵 $\gamma$ 를 유도한다.
• $\gamma$ 가 동형이며, $G$ 가 순서화된 판별 국소화(큰 대각선)를 정의함을 증명함으로써 블로우업의 구조를 확립한다.
• 혼합 반데르몽드 행렬식과 순서 이론적 추론을 사용하여 국소 정의 방정식을 분석하고 동형을 검증한다.
• 노드 스크롤 $F^{m,n}_j(\theta)$ 는 정규화된 힐베르트 스킴 위의 $\mathbb{P}^1$-다발로 정의되며, 노드에서의 고차 '기울기' 자료를 매개변수화한다.
• 피보트 곱 분해를 통해 다중스크롤으로의 확장이 이루어지며, 표준 $\mathcal{O}(1,\dots,1)$ 극성화가 판별 극성화의 차이 $-\Gamma^{(m)} + \Gamma^{(m-|n|)}$ 와 일치함을 규명한다.

실험 결과

연구 질문

• RQ1 상대 힐베르트 스킴에서 상대 대칭적 제품으로의 사이클 맵 $c_m$ 이 블로우업과 동형인지, 만약 그렇다면 어떤 부분 스킴에 대한 블로우업인가?
• RQ2 노드 스크롤과 다중스크롤은 힐베르트 스킴 $X^{[m]}_B$ 의 특이점 분할을 어떻게 분해하는가?
• RQ3 판별 극성화 $\Gamma^{(m)}$ 는 힐베르트 스킴의 교차 이론에서 정확히 어떤 기하학적 및 코homological 역할을 하는가?
• RQ4 노드에서의 고차 '기울기' 매개변수—노드 스크롤에 암호화된 것—는 고전적 대칭적 제품술을 어떻게 확장하는가?
• RQ5 힐베르트 스킴의 구조는 정규화된 전체 공간 위의 프로젝티브 다발을 통해 전반적으로 기술될 수 있는가?

주요 결과

• 사이클 맵 $c_m$ 은 다중점을 포함하는 사이클을 매개변수화하는 판별 국소화 $D^m \subset X^{(m)}_B$ 의 블로우업과 동형이다.
• 판별 분리의 역상은 $2\Gamma^{(m)} = c_m^{-1}(D^m)$ 를 만족하며, $-2\Gamma^{(m)}$ 는 블로우업에서의 $\mathcal{O}(1)$ 다발이다.
• 노드 스크롤 $F^{m,n}_j(\theta)$ 는 $\mathbb{P}(\mathcal{O}(D^n_j(\theta)) \oplus \mathcal{O}(D^n_{j+1}(\theta)))$ 와 동형이며, $\mathcal{O}(1)$ 은 극성화 $-\Gamma^{(m)} + \Gamma^{(m-n)}$ 와 일치한다.
• 노드 다중스크롤 $F^{m,n.}_{j.}(\theta)$ 는 정규화된 힐베르트 스킴 $(X^{\theta.})^{[m-|n|]}$ 위의 $\mathbb{P}^1$-다발의 곱과 동형이며, $\mathcal{O}(1,\dots,1)$ 은 $-\Gamma^{(m)} + \Gamma^{(m-|n|)}$ 와 대응된다.
• 판별 극성화 $\Gamma^{(m)}$ 는 카르티에 분리자이며, $\mathcal{O}(-\Gamma^{(m)})$ 는 블로우업에서의 자연 극성화로, 교차 이론에서 중심적인 역할을 한다.
• 이 구성은 노드 스크롤을 통한 스머지 곡선의 모듈리 공간 간 기하학적 대응을 제공하며, 표면 힐베르트 스킴에서의 나카지마 연산자와 유사하다.