[논문 리뷰] The Algebraic Proof of the Universality Theorem

Ai-Ko Liu|ArXiv.org|2004. 02. 03.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 8

한 줄 요약

이 논문은 교차 이론과代수기하학을 이용하여 대수적 표면 위의 노달 곡선 수를 세는 보편성 정리에 대한 순수 대수적 증명을 제시한다. 일반적인 δ차원 선형계에서 5δ−1 매우 충분한 선다발 L의 δ-노달 곡선의 수는 표면 M의 코호몰로지 클래스 c₁(L)², c₁(L)·c₁(M), c₁(M)², c₂(M)에 대한 보편 다항식으로 주어지며, 표면 M에 관계없이 일정하다.

ABSTRACT

In the long paper "Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by using techniques from differential topology/symplectic geometry (including family Seiberg-Witten theory) and some ideas derived from Taubes' "SW=Gr". In the current paper, we offer an algebraic proof of the "universality theorem", showing that the counting of nodal curves for 5$δ$-1 very ample complete linear systems are controled by universal polynomials of the characteristic classes. The theorem (implicitly) was the backbone of the earlier long paper(cited above). In the current paper, we derive the result by using intersection theory and the concept of localized contributions of top Chern classes, and therefore relaxing the dependence on the symplectic techniques.

연구 동기 및 목표

• 노달 곡선 수를 세는 보편성 정리에 대해 미분위상수학이나 피시-홀로모르픽 곡선 기법에 의존하지 않는 순수 대수적 증명을 제공하는 것.
• 5δ−1 매우 충분한 선다발의 일반적인 δ차원 선형계에서 δ-노달 곡선의 수가 표면과 선다발의 체른 클래스에 대한 보편 다항식임을 증명하는 것.
• 알gebra적 가족 Seiberg-Witten 불변량과 Gromov-Witten 불변량 사이의 모순을 해결하며, 尤히 분할 가능하고 다중 커버링 곡선의 기여를 다루는 것.
• 기하학적 및 수세적 의미를 명확히 하여, 양성 기하 종수를 가진 대수적 표면에서 수정된 가족 불변량의 의미를 규명하는 것.
• 표준 Gromov-Witten 불변량이 장애 다중체로 인해 0이 되는 경우에도 작동하는, 대수적 가족 Seiberg-Witten 불변량과 노달 곡선 수의 계산 간의 관계를 체계화하는 것.

제안 방법

• 기본 장애 다중체에서 유도된 몫층의 자료를 이용해, 특이점 집합을 제어하는 몽환 다중체 Vquot를 구성하는 것.
• 특정 닫힌 부분집합을 제외하고 동형인 경우에, 다중체의 호모모르피즘에 의한 벡터 다중체의 최상위 체른 클래스를 비교하기 위해 잔여 교차 이론을 적용하는 것.
• 프로젝션 다중체 P(E⊕1)에서의 그래프 구성법을 사용하여, 블로잉업과 수정된 다중체를 기본 다중체의 풀백과 연결하는 것.
• 기본 가족 Kuranishi 공간 X = P(Vcanon)에 대해 반복적인 블로잉업 절차를 적용하여, 잔여 교차 이론을 통해 과잉 기여를 반복적으로 제거하는 것.
• 특이층의 기여를 분리하고 제어하기 위해, 매끄러운 부분집합에서 수정된 대수적 가족 Seiberg-Witten 불변량을 도입하는 것.
• Göttsche가 개선한 노달 곡선의 유한성 결과를 활용하여, 수세적 불변량의 잘 정의됨을 보장하는 것.

실험 결과

연구 질문

• RQ1 노달 곡선 수를 세는 보편성 정리를, 피시-홀로모르픽 곡선 이론에 의존하지 않고 순수 대수적으로 증명할 수 있는가?
• RQ2 p_g > 0일 경우, 대수적 가족 Seiberg-Witten 불변량과 표준 Gromov-Witten 불변량은 노달 곡선 수를 세는 데 어떻게 다를까?
• RQ3 수정된 가족 불변량과 다중 커버링 곡선 및 분할 가능 곡선의 기여 사이의 정확한 관계는 무엇인가?
• RQ4 왜 표준 Gromov-Witten 불변량은 일부 클래스(예: p_g > 0일 때)에서 0이 되는가, 그러나 대수적 가족 불변량은 여전히 비자명한가?
• RQ5 분할 가능 노달 곡선과 정규 교차 특이점의 조합 기여를 불변량에 체계적으로 포함시키는 방법은 무엇인가?

주요 결과

• 대수적 표면 M 위의 5δ−1 매우 충분한 선다발 L의 일반적인 δ차원 선형계에서 δ-노달 곡선의 수는 c₁(L)², c₁(L)·c₁(M), c₁(M)², c₂(M)에 대한 보편 다항식으로 주어지며, 표면 M에 관계없이 일정하다.
• 대수적 가족 Seiberg-Witten 불변량은 표준 불변량이 0이 되게 하는 p_g차원의 장애 다중체를 제거함으로써, 노달 곡선의 수를 세는 데 가능하게 한다.
• 수정된 가족 불변량은 분할 가능 곡선과 정규 교차 특이점을 가진 곡선을 포함한 모든 종류의 노달 곡선을 기여를 고려하여 반영한다.
• 잔여 교차 기법을 통해, 프로젝션 다중체 구성법을 통해 블로잉업에 의한 과잉 기여를 국소화된 최상위 체른 클래스와 연결함으로써 제어할 수 있다.
• 증명은 블로잉업의 순서에 관계없이 불변량이 일정함을 보여주며, 이는 국소화된 체른 클래스가 블로잉업 위치의 순열에 대해 불변이기 때문이다.
• 이 방법은 Yau-Zaslow 추측의 예측이 오직 원시적 클래스에 대해서만 Gromov-Witten 불변량과 일치함을 확인하며, 비원시적 클래스의 경우 다중 커버링 보정 항을 명시적으로 고려해야 함을 보여준다.