[논문 리뷰] Semi-Perfect Obstruction theory and DT Invariants of Derived Objects

Huai-Liang Chang, Jun Li|arXiv (Cornell University)|2011. 05. 17.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 9

한 줄 요약

이 논문은 델 라이느-무어먼프 스택에 대해 반완전한 고장 이론을 도입하여, 고장층에서의 고스인 당김을 통해 가상 사이클을 구성할 수 있도록 한다. 이 틀을 칼라비-유아 3차원 다양체 위의 유도 대상의 모듈리 공간에 적용하여, 내재 정규 콘을 고장층에 매장하고 번들 스택 위의 교차 이론을 사용함으로써 도널드슨-타운슨 불변량의 변형 불변성을 증명한다.

ABSTRACT

We introduce semi-perfect obstruction theory of a Deligne-Mumford stack $X$ consisting of local perfect obstruction theories with weak comparisons on overlaps. We show that semi-perfect obstruction theory shares similar properties with perfect obstruction theory. We use semi-perfect obstruction theory to construct virtual cycles of moduli of derived objects on Calabi-Yau threefolds. In the revision, we assume the existence of obstruction sheaf and put the (coarse moduli of the) intrinsic normal cone inside the obstruction sheaf. This avoids the issue of descent of bundle stacks of the local obstruction complexes.

연구 동기 및 목표

• 유니버설 가족이 없는 모듈리 스택(예: 유도 대상의 모듈리)을 위한 새로운 고장 이론 프레임워크를 개발하기 위해.
• 지역적 완전한 고장 이론([BF]에서의 방식)과 전역적 고장층의 구조([LT]에서의 방식)를 통합하여, 민감한 가상 사이클 구성이 가능하도록 하기 위해.
• 내재 정규 콘을 고장층에 매장함으로써 칼라비-유아 3차원 다양체 위의 유도 대상 모듈리에 대한 가상 사이클 구성 체계를 확립하기 위해.
• 고장층에 매장된 내재 정규 콘과 고스인 당김, 사이클 접합을 통해 변형 불변성을 확보함으로써 도널드슨-타운슨 불변량의 불변성을 증명하기 위해.
• 전역 벡터 번들의 가용성이 없는 상황으로까지 범위를 확장하여, 베르렌드-판테키와 크레슈 스타일의 가상 사이클 구성 방법을 일반화하기 위해.

제안 방법

• 지역적 완전한 고장 이론 $\phi_\alpha: E_\alpha \to \mathbb{L}_{U_\alpha/{\cal M}}^{\bullet\geq-1}$ 의 집합으로서 반완전한 상대 고장 이론을 정의하며, 이들 간의 고장층 $\mathcal{O}b_{\phi_\alpha} = H^1(E_\alpha^\vee)$ 가 서로 일致하여 전체 스킴 $X$ 에 전역적으로 내림내림된다.
• 지역 콘 $\mathcal{C}_{U_\alpha/{\cal M}} \subset h^1/h^0((\mathbb{L}_{U_\alpha/{\cal M}})^\vee)$ 의 접합을 통해, 고장층 $\mathcal{O}b_\phi$ 에서의 사이클로 내재 정규 콘 $\mathfrak{c}_{X/{\cal M}}$ 을 구성한다.
• 전역 사이클 $[\mathfrak{c}_{X/{\cal M}}]$ 을 고장층 $\mathcal{O}b_\phi$ 의 영단면 $s$ 를 통해 고스인 당김 $s^!$ 으로 정의함으로써 가상 사이클 $[X,\phi]^{\mathrm{vir}}$ 을 정의한다.
• 칼라비-유아 3차원 다양체 위의 유도 대상 모듈리에서 반완전한 고장 이론이 존재함을 증명함(참고: [HT] 및 [Lie]), 이를 통해 도널드슨-타운슨 불변량을 정의한다.
• 고장 데이터의 호환성과 고스인 맵을 이용하여, 임의의 닫힌 점 $b \in B$ 에 대한 섹션 $i_b^! [X]^{\mathrm{vir}} = [X_b]^{\mathrm{vir}}$ 를 보임으로써 변형 불변성을 증명한다.
• 지역 고장 이론이 스킴 $X$ 에서의 전역 완전 복합체 $E$ 에서 유도된 경우, 가상 사이클이 $h^1/h^0(E^\vee)$ 로 올라가며, 번들 스택 위에서 직접적인 교차 이론 계산이 가능해진다.

실험 결과

연구 질문

• RQ1 유니버설 가족이 없지만 고장층은 존재하는 유도 대상의 모듈리 스택에 대해 가상 사이클을 구성할 수 있는가?
• RQ2 내재 정규 콘을 고장층에 전역적으로 매장하여 고스인 당김이 가능하도록 할 수 있는 방법은 무엇인가?
• RQ3 고장층에 매장된 내재 정규 콘을 통한 가상 사이클 구성이 변형 불변성을 갖는 도널드슨-타운슨 불변량을 도출하는가?
• RQ4 지역적 완전한 고장 이론이 일致한 고장 할당을 갖는 전역 반완전 고장 이론으로 접합되기 위한 조건은 무엇인가?
• RQ5 전역 벡터 번들의 가용성이 없는 경우, 고장층 위의 고스인 맵이 표준적인 가상 사이클을 복원할 수 있는가?

주요 결과

• 각 에탈레 차트 $U_\alpha$ 에서 유도된 내재 정규 콘 $\mathcal{C}_{U_\alpha/{\cal M}}$ 이 접합되어 고장층 $\mathcal{O}b_\phi$ 에서의 전역 사이클 $[\mathfrak{c}_{X/{\cal M}}]$ 으로 이어지며, 이는 전역적 가상 사이클 구성이 가능하게 한다.
• 가상 사이클 $[X,\phi]^{\mathrm{vir}} = s^! [\mathfrak{c}_{X/{\cal M}}]$ 는 잘 정의되어 있으며, 가상 클래스의 표준 성질을 만족한다.
• 칼라비-유아 3차원 다양체 위의 유도 대상 모듈리에 대해서는 반완전한 고장 이론이 존재하며, 이는 도널드슨-타운슨 불변량의 차수로 주어지는 가상 사이클을 유도한다.
• 가상 사이클는 변형 불변성이다: 임의의 닫힌 점 $b \in B$ 에 대해 고스인 당김 $i_b^! [X]^{\mathrm{vir}}$ 은 해당 섹션의 가상 사이클 $[X_b]^{\mathrm{vir}}$ 과 일치한다.
• 지역 고장 이론이 전역 완전 복합체 $E$ 에서 유도된 경우, 가상 사이클은 $h^1/h^0(E^\vee)$ 로 올라가며, 직접적인 교차 이론 계산이 $\tilde{s}^!$ 을 통해 가능해진다.
• 반완전한 고장 이론은 [BF]의 국소적 접근과 [LT]의 전역 쿠라니시 스타일의 구성 방식을 통합하여, 가상 사이클 이론에 대해 민감한 프레임워크를 제공한다.