[논문 리뷰] Good degeneration of Quot-schemes and coherent systems

Jun Li, Baosen Wu|arXiv (Cornell University)|2011. 10. 03.

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

한 줄 요약

이 논문은 프로젝티브 3차원 다항식에서 Quot-스킴과 계수계의 양호한 분리(degenerations)를 확장된 분리의 스택을 사용하여 구성하고, 그것들이 유한 유형의 올바르고 분리된 딜레인-무담 스택임을 증명한다. 핵심 결과는 확장된 쌍에 대한 상대 모듈리 공간에서의 가상 카르티에 부분다양체의 구조를 통해 아이디얼 복합체의 도널드슨-타이너 불변량과 PT 안정 쌍 불변량에 대한 분리 공식을 도출하는 것이다.

ABSTRACT

We construct good degenerations of Quot-schemes and coherent systems using the stack of expanded degenerations. We show that these good degenerations are separated and proper DM stacks of finite type. Applying to the projective threefolds, we derive degeneration formulas for DT-invariants of ideal sheaves and PT stable pair invariants.

연구 동기 및 목표

• 간단한 분리의 3차원에서 Quot-스킴과 계수계의 양호한 분리를 확장된 분리의 스택을 사용하여 구성하기.
• 이 분리가 유한 유형의 올바르고 분리된 딜레인-무담 스택임을 증명하기.
• 프로젝티브 3차원에서 아이디얼 복합체의 도널드슨-타이너 불변량과 PT 안정 쌍 불변량에 대한 분리 공식을 도출하기.
• 확장된 쌍 $(Y_\bullet, D_\bullet)$ 위의 아이디얼 복합체의 상대 모듈리 공간을 정의하고, 중심 섹션에 가상 카르티에 부분다양체의 구조를 구성하기.
• 특이점 집합에서 힐베르트 스킴으로의 평가 사상이 포함된 피보트 곱 공식을 수립하여, 접합 데이터를 통해 불변량을 계산할 수 있도록 하기.

제안 방법

• 확장된 분리의 스택을 사용하여 3차원의 단순 분리 가중 가중족 위에서 상대 Quot-스킴의 양호한 분리를 구성하기.
• 중심 섹션을 특이점 집합에 대해 정규이고 유한 자동형군을 가지며 고정된 힐베르트 다항식을 가진 $X[n]_0$ 안의 닫힌 부분스킴의 집합으로 정의하기.
• 스택 $π: π_{∞} → π_{∞}$ 를 사용하여 확장된 쌍 $(Y_\bullet, D_\bullet)$ 위의 상대 아이디얼 복합체의 모듈리 스택을 정의하기, 여기서 $D_\bullet$ 는 특이점 집합이다.
• 특이점 집합 $D$ 의 힐베르트 스킴으로의 평가 사상을 $D_\pm$ 로의 제약을 통해 정의하기.
• 피보트 곱 $\mathfrak{I}^{\delta}_{\mathfrak{X}_0^\dagger/\mathfrak{C}_0^\dagger} = \mathfrak{I}^{\delta_-}_{\mathfrak{Y}_- / \mathfrak{A}_\diamond} \times_{\mathrm{Hilb}_D^{\delta_0}} \mathfrak{I}^{\delta_+}_{\mathfrak{Y}_+ / \mathfrak{A}_\diamond}$ 를 형성하여 총 모듈리 공간 내에서의 가상 카르티에 부분다양체를 구성하기.
• 확장된 분리의 스택 구조를 이용하고 $A = \mathbf{k}[t,z_1,z_2]/(z_1 z_2)$ 위의 등변 모듈을 분석하여 중심 섹션이 올바르고 분리된 딜레인-무담 스택의 유한 유형임을 증명하기.

실험 결과

연구 질문

• RQ1 3차원의 단순 분리에서 Quot-스킴과 계수계의 양호한 분리를 어떻게 구성할 수 있는가?
• RQ2 이러한 분리의 중심 섹션의 스택 이론적 구조는 무엇이며, 올바르고 분리되어 있는가?
• RQ3 이 구성으로부터 아이디얼 복합체의 도널드슨-타이너 불변량에 대한 분리 공식을 도출할 수 있는가?
• RQ4 두 개의 매끄러운 3차원 성분으로의 분리에서 PT 안정 쌍 불변량은 어떻게 행동하는가?
• RQ5 특이점 집합에서 힐베르트 스킴으로의 평가 사상은 두 성분의 불변량을 접합할 때 어떤 역할을 하는가?

주요 결과

• 단순 분리 위의 Quot-스킴의 양호한 분리는 올바르고 분리된 딜레인-무담 스택의 유한 유형이다.
• 분리의 중심 섹션은 특이점 집합에 대해 정규이고 유한 자동형군을 가지며, $X[n]_0$ 안의 닫힌 부분스킴의 몫으로 기술된다.
• 확장된 쌍 $(Y_\pm, D_\pm)$ 위의 상대 아이디얼 복합체의 모듈리 공간은 올바르고 분리된 딜레인-무담 스택의 유한 유형이다.
• 힐베르트 스킴 $\mathrm{Hilb}_D^{\delta_0}$ 로의 평가 사상은 잘 정의되어 있으며 접합 구성과 호환된다.
• 피보트 곱 $\mathfrak{I}^{\delta}_{\mathfrak{X}_0^\dagger/\mathfrak{C}_0^\dagger}$ 는 총 모듈리 공간 $\mathfrak{I}^P_{\mathfrak{X}/\mathfrak{C}}$ 내의 가상 카르티에 부분다양체를 이룬다.
• DT 불변량과 PT 안정 쌍 불변량의 분리 공식은 분할 $\delta = (\delta_-, \delta_0, \delta_+)$ 에 대한 합으로 표현되며, 상대 모듈리 공간의 피보트 곱으로부터 기여를 받는다.