[논문 리뷰] Geometry on nodal curves II: cycle map and intersection calculus

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

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

한 줄 요약

이 논문은 노드 곡선의 가족에 대한 상대 힐베르트 스킴에서 상대 대칭적 스킴으로의 사이클 맵이 다중점 사이클이 포함된 판별 집합 위에서의 블로우업임을 확립한다. 플래그-힐베르트 스킴에서의 교차 계산법을 개발하여 타우토로지컬 번들의 체르누 수를 계산함으로써, 디바이저 클래스와 피브어 데이터 기반의 타우토로지컬 환 계산을 통한 다중점과 다중점선 사이클의 명시적 수세기 가능하게 한다.

ABSTRACT

We study the relative Hilbert scheme of a family of nodal (or smooth) curves 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 derive an intersection calculus for Chern classes of tautological bundles on the relative Hilbert scheme, which has applications to enumerative geometry.

연구 동기 및 목표

• 상대 힐베르트 스킴의 사이클 맵이 상대 대칭적 스킴으로의 사상에 의한 노드 곡선의 기하학을 이해하기 위해.
• 사이클에 다중점이 포함된 판별 집합 위에서 사이클 맵의 구조를 밝혀내기 위해, 이 맵이 그 집합 위에서의 블로우업임을 보여주기 위해.
• 상대 힐베르트 스킴 위의 타우토로지컬 번들의 체르누 수를 계산하기 위해 플래그-힐베르트 스킴에서의 교차 계산법을 개발하기 위해.
• 디바이저 클래스를 기반으로 하여 다중점 및 다중점선 사이클 수와 같은 추상 기하학적 불변량을 명시적으로 계산할 수 있도록 하기 위해.
• 체르누 루트를 플래그-힐베르트 스킴 위의 타우토로지컬 디바이저 클래스 다항식으로 표현함으로써, 분할 원리와 유사한 프레임워크를 제공하기 위해.

제안 방법

• 상대 힐베르트 스킴에서 상대 대칭적 스킴으로의 사이클 맵 $\mathfrak{c}_m: X^{[m]}_B \to X^{(m)}_B $을 정의한다.
• 사이클 맵 $\mathfrak{c}_m$가 다중점 사이클을 매개변수화하는 판별 집합 $D^m \subset X^{(m)}_B$ 위에서의 블로우업임을 증명한다.
• 섬세한 힐베르트 스킴 $W^m(X/B)$에서 작업을 수행하며, 이는 섬세한 $m$-길이 부분스킴을 섬세한 피브어에서 매개변수화한다.
• 기저 표면 클래스와 함께 $\Gamma^{\lceil i \rceil}$, $i=2,\dots,m$,와 같은 디바이저 클래스로 생성되는 타우토로지컬 환 $T^m$을 구성한다.
• 타우토로지컬 클래스를 이러한 디바이저 클래스의 다항식으로 표현함으로써 체르누 루트와 교차 곱의 계산이 가능하게 한다.
• $\Gamma^{\lceil m \rceil}$에 의한 곱셈을 위한 재귀적 계산법을 개발하며, 덧셈 생성자와 선형 관계를 사용하여 최고차수의 교차 수를 계산한다.

실험 결과

연구 질문

• RQ1 상대 힐베르트 스킴에서 상대 대칭적 스킴으로의 사이클 맵은 판별 집합 위에서의 블로우업인가?
• RQ2 플래그-힐베르트 스킴에서 타우토로지컬 번들의 체르누 수를 계산하기 위한 교차 계산법을 구성할 수 있는가?
• RQ3 플래그-힐베르트 스킴 위의 타우토로지컬 환은 다중점 및 다중점선 사이클 수와 같은 추상 기하학적 불변량을 어떻게 계산하는가?
• RQ4 상대 힐베르트 스킴 위의 교차 수와 매끄러운 표면의 전체 힐베르트 스킴 위의 교차 수 사이의 관계는 무엇인가?
• RQ5 플래그-힐베르트 스킴 위의 타우토로지컬 환의 구조는 노드 피브어가 존재하는 상황에서도 최고차수의 교차 곱을 효과적으로 계산하는 데 사용될 수 있는가?

주요 결과

• 사이클 맵 $\mathfrak{c}_m$는 다중점 사이클을 매개변수화하는 판별 집합 $D^m$ 위에서 상대 대칭적 스킴의 블로우업과 동형임이 입증된다.
• 플래그-힐베르트 스킴 $W^m(X/B)$ 위의 타우토로지컬 환 $T^m$은 디바이저 클래스 $\Gamma^{\lceil i \rceil}$와 기저 표면 클래스로 생성되며, 체르누 수 계산을 위한 계산법을 지닌다.
• $m=3$일 때, 교차 수 $N_3$는 $-2\sigma + 14\omega^2$로 계산되며, $\sigma$와 $\omega^2$는 피브어 종수와 캐논리컬 번들의 데이터로부터 유도된다.
• 이 계산법을 통해 $\int_{W^3} (\Delta^{(3)})^4 = -2\sigma + 14\omega^2$와 같은 적분의 명시적 평가가 재귀 관계와 피브어 기여도를 사용하여 가능해진다.
• $\int_{W^3} L^{(3)}L^{(i)}(\Delta^{(3)})^2 = 2L^2 - \deg_\pi(L)L.\omega$와 같은 곱은 디바이저 클래스 곱셈 규칙을 사용하여 유도된다.
• 이 방법은 선형 종속성의 의심이 있더라도 증명되지 않은 상황에서도 최고차수의 교차 수를 효과적으로 계산할 수 있으며, 이는 추상 기하학에서 필수적이다.