[논문 리뷰] Cycle map on Hilbert schemes of nodal curves

Ziv Ran|ArXiv.org|2004. 10. 02.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 노드 곡선의 가족에서 상대 힐버트 스킴의 사이클 맵이 상대 대칭적 제품으로부터의 임의의 점을 가진 사이클의 집합인 판별자 집합의 블로우업임을 증명한다. 이 결과는 맵의 국소 분석을 통해 증명되며, 이는 다중점이 있는 사이클에 대해 유리 곡선의 사슬으로 이루어진 섬유를 갖는 소형 특이점 해결임을 보여준다. 이는 비라시오널 기하학과 교차 이론에서 힐버트 스킴을 연구하는 데 기초적인 기하적 구조를 제공한다.

ABSTRACT

We study the structure of the relative Hilbert scheme for a family of nodal (or smooth) curves via its natural cycle map to the relative symmetric product. We show that the cycle map is the blowing up of the discriminant locus, which consists of cycles with multiple points. We discuss some applications and connections, notably with birational geometry and intersection theory on Hilbert schemes of smooth surfaces. Revised version corrects some minor errors.

연구 동기 및 목표

• 상대 힐버트 스킴 $X^{[m]}_B$ 의 기하적 구조를 그 사이클 맵이 상대 대칭적 제품으로 가는 것을 통해 이해하기 위해.
• 사이클 맵 $\mathfrak{c}_m$ 이 상대 대칭적 제품 $X^{(m)}_B$ 에서의 판별자 집합 $D^m$ 의 블로우업임을 보여주기 위해.
• 이 결과를 활용하여 $X^{[m]}_B$ 에서 타우토로지컬 번들의 캐논리컬 번들, 오일러 특성, 그리고 체르니 클래스를 연구하기 위해.
• 힐버트 스킴의 기하학을 전통적인 계수 기하학과 비라시오널 기하학, 특히 플립과 플롭의 관점에서 연결하기 위해.
• 사이클 맵의 블로우업 구조를 이용하여 레른의 공식을 새롭게 유도하기 위해.

제안 방법

• 주요 방법은 사이클 맵 $\mathfrak{c}_m$ 이 상대 대칭적 제품 $X^{(m)}_B$ 에서의 국소 분석을 통해 그 섬유와 특이점을 분석하는 것이다.
• 증명은 $\mathfrak{c}_m$ 이 판별자 집합 $D^m$ 을 제외한 곳에서는 동형임을 이용하며, 아이디얼 이론적이고 프로젝티브 구조를 통해 $D^m$ 의 블로우업임을 보인다.
• 논문은 필터링된 부분 스킴를 매개변수로 쓰는 플래그 힐버트 스킴 $W^m(X/B)$ 를 사용하며, 각 성분의 지지체를 나타내는 사영 $p_i$ 를 정의한다.
• 핵심 항등식 $c(w^*\lambda_m(L)) = \prod_{j=1}^m (1 + L_j - \sum_{i=1}^{j-1} \Delta_{ij})$ 를 사용하며, 여기서 $\Delta_{ij}$ 는 $i$-번째와 $j$-번째 점이 일치하는 위치를 뜻한다.
• 체르니 클래스 공식 유도는 이 곱을 단항식으로 전개하고 연결 성분별로 묶은 후, $w_*$ 를 통해 타우토로지컬 번들의 클래스를 복원함으로써 진행된다.
• 이 방법은 나카지마의 생성 연산자와 사이클 맵이 코homology 위의 표준 연산, 특히 $X^{[m]}_B$ 에서의 $\star$ 곱셈과의 호환성을 활용한다.

실험 결과

연구 질문

• RQ1 사이클 맵 $\mathfrak{c}_m: X^{[m]}_B \to X^{(m)}_B$ 는 판별자 집합 $D^m$ 의 블로우업인가?
• RQ2 특히 다중점 사이클에서 $\mathfrak{c}_m$ 의 섬유는 어떤 구조를 갖는가?
• RQ3 사이클 맵은 비라시오널 기하학, 특히 플립과 플롭의 맥락에서 어떻게 관련되어 있는가?
• RQ4 사이클 맵의 블로우업 구조에서 레른의 공식을 재유도할 수 있는가?
• RQ5 상대 힐버트 스킴 $X^{[m]}_B$ 의 캐논리컬 번들과 오일러 특성은 무엇인가?

주요 결과

• 사이클 맵 $\mathfrak{c}_m$ 은 다중점 사이클을 매개변수로 하는 판별자 집합 $D^m \subset X^{(m)}_B$ 의 블로우업이다.
• 점이 아닌 섬유는 유리 곡선의 사슬이며, 최대 $m-1$ 개의 성분을 가진다. 이는 소형 특이점 해결임을 확인한다.
• $m=2$ 일 때 맵 $\mathfrak{c}_2$ 는 프랑시아 플립이며, 3차원 일반 이중점에 대응하는 플롭에 대한 자연스러운 2:1 코버를 갖는다.
• 상대 힐버트 스킴 $X^{[m]}_B$ 의 캐논리컬 번들은 계산되었으며, 플립 수축과 유사한 행동을 보임으로써 기하학이 비라시오널 기하학과 연결됨을 보여준다.
• 블로우업 구조와 사이클 맵에 기반하여 $X^{[m]}_B$ 의 오일러 특성에 대한 새로운 공식이 도출되었다.
• 플래그 힐버트 스킴에서 타우토로지컬 클래스 공식을 전개하고 $w_*$ 를 통해 푸시포워드함으로써, $\lambda_m(L)$ 의 체르니 클래스에 대한 레른의 공식을 새롭게 유도하였다.