[논문 리뷰] Curve counting theories via stable objects II: DT/ncDT flop formula

Yukinobu Toda|arXiv (Cornell University)|2009. 09. 28.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 12

한 줄 요약

이 논문은 카라비-야우 3차원 다양체의 플롭에 대한 도널드슨-타이트스(DT) 불변량의 변환 공식을 카테고리적 방법을 사용하여 수립한다. 유도된 분류와 안정성 조건을 통해 비가환 DT 불변량을 일반적인 플롭 수축으로 일반화함으로써, 플롭된 쪽의 DT 불변량 생성함수와 원래 쪽의 생성함수 사이에 벽을 횡단하는 공식을 증명하며, 이는 셴드로이의 국소적 예제를 전역적 프레임워크로 확장한다.

ABSTRACT

The goal of the present paper is to show the transformation formula of Donaldson-Thomas invariants on smooth projective Calabi-Yau 3-folds under birational transformations via categorical method. We also generalize the non-commutative Donaldson-Thomas invariants, introduced by B. Szendr{\H o}i in a local $(-1, -1)$-curve example, to an arbitrary flopping contraction from a smooth projective Calabi-Yau 3-fold. The transformation formula between such invariants and the usual Donaldson-Thomas invariants are also established. These formulas will be deduced from the wall-crossing formula in the space of weak stability conditions on the derived category.

연구 동기 및 목표

• 카테고리적 방법을 사용하여 카라비-야우 3차원 다양체의 비라디칼 변환에 대한 DT 불변량의 변환 공식을 유도하는 것.
• 국소적 \/(-1,-1)\-곡선에 대한 셴드로이의 비가환 DT 불변량을, 매끄럽고 프로젝티브인 카라비-야우 3차원 다양체에서의 일반적인 플롭 수축으로 일반화하는 것.
• X와 X^+에서의 전역 DT 불변량과 비가환 스킴 (Y, A_Y)에서의 일반화된 비가환 DT 불변량 사이의 정확한 관계를 설정하는 것.
• 플롭에 의한 DT 불변량을 통한 Gromov-Witten 불변량에 대한 MNOP 추측의 예측을 전역적 카테고리적 해석으로 제공하는 것.

제안 방법

• 유도 분류 D^b(Coh(X))의 약한 안정성 조건 공간을 사용하여 불변량의 벽을 횡단하는 행동을 분석한다.
• 조이스와 송, 콘체비치와 소이벨만의 벽을 횡단 공식을 적용하여 DT 불변량의 생성함수에 대한 변환 법칙을 도출한다.
• 플롭에 의해 유도되는 브리지젤란의 유도 동치 \Phi: D^b(Coh(X^+)) \xrightarrow{\sim} D^b(Coh(X))를 활용한다.
• 플롭 수축 f: X \to Y에 대해 반-베른의 유도 동치 \Psi: D^b(Coh(A_Y)) \xrightarrow{\sim} D^b(Coh(X))를 사용하여 비가환 DT 불변량을 구성하며, 셴드로이의 국소적 예제를 일반화한다.
• 비가환 스킴 \mathop{{}^{p}A}\nolimits_Y 위의 휘어진 아이디얼 층 I_n(\mathop{{}^{p}A}\nolimits_Y, \beta)의 모듈리 공간을 정의하여 전역 ncDT 불변량을 정의한다.
• 베헤르드의 미세로컬 함수와 가상 기본 사이클을 사용하여, 가상 차원이 0임을 보장하는 가상 사이클 위에서의 적분으로서 DT 불변량을 정의한다.

실험 결과

연구 질문

• RQ1 매끄럽고 프로젝티브인 카라비-야우 3차원 다양체 사이의 플롭에 대해 DT 불변량은 어떻게 변하는가? 이는 카테고리적 방법으로 기록될 수 있는가?
• RQ2 국소적 \/(-1,-1)\-곡선에 대한 셴드로이의 비가환 DT 불변량은 일반적인 카라비-야우 3차원 다양체의 플롭으로 일반화될 수 있는가?
• RQ3 X와 X^+에서의 DT 불변량 생성함수와 비가환 스킴 (Y, A_Y)에서의 비가환 DT 불변량 사이의 정확한 관계는 무엇인가?
• RQ4 약한 안정성 조건 공간 내의 벽을 횡단 공식은 비라디칼 사상에 대해 DT 생성함수의 전역 변환 법칙을 유도하는가?

주요 결과

• X와 X^+에서의 DT 불변량 생성함수는 (Y, A_Y)에서의 비가환 DT 불변량을 통해 공식 \frac{\mathop{\rm DT}\nolimits(X)}{\mathop{\rm DT}\nolimits(X/Y)} = \frac{\mathop{\rm DT}\nolimits(\mathop{{}^{p}A}\nolimits_Y)}{\mathop{\rm DT}\nolimits_0(\mathop{{}^{p}A}\nolimits_Y)} 로 관련되며, 여기서 \mathop{\rm DT}\nolimits(X/Y)는 감소된 시리즈이다.
• 공식 \mathop{\rm DT}\nolimits(X/Y) = i \circ \phi_* \mathop{\rm DT}\nolimits(X^+/Y) 가 성립하며, 이는 감소된 시리즈가 모듈리 공간에 유도된 사상에 따라 변환됨을 보여준다.
• 추측 4.3을 가정하지 않고도 오일러 특성의 공식이 엄밀히 증명되었으며, 이는 수학적으로 타당하다.
• 일반화된 비가환 DT 불변량 \mathop{{}^{p}A}\nolimits_{n,\beta} 는 비가환 스킴 \mathop{{}^{p}A}\nolimits_Y 위의 휘어진 아이디얼 층의 모듈리 공간 위에서의 가상 적분을 통해 정의되며, 셴드로이의 국소적 구성으로부터 확장된다.
• 유도 동치 \mathop{{}^{p}\Phi}\nolimits: D^b(\text{Coh}(X)) \xrightarrow{\sim} D^b(\text{Coh}(\mathop{{}^{p}A}\nolimits_Y)) 는 휘어진 심장 \mathop{{}^{p}}\!\rm{Per}(X/Y) 와 \text{Coh}(\mathop{{}^{p}A}\nolimits_Y) 사이의 동치를 유도하며, 이는 불변량의 구성에 기여한다.
• 결과는 f: X \to Y 가 1차원 이하의 섬유를 가지며, codimension 1에서 동치일 필요는 없지만 \dim f^{-1}(y) \leq 1 이면 성립함을 보여, 이 프레임워크의 강건성을 입증한다.