[논문 리뷰] Semiorthogonal decompositions of stable pair moduli spaces via d-critical flips

Yukinobu Toda|arXiv (Cornell University)|2018. 05. 01.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 10

한 줄 요약

이 논문은 비특이성 가정 하에, 비특이성 조건이 만족될 경우, Calabi-Yau 3-fold에서의 불가약 곡선 클래스를 가진 Pandharipande-Thomas (PT) 안정 쌍 모듈리 공간의 준직교 분해(SOD)를 유도함으로써, 유도적 대수기하학에서의 d-비판적 플립을 이용하여 설정한다. 모듈리 공간의 비특이성을 가정할 때, PT 모듈리 공간 위의 코herent sheaf의 유도 범주에 대한 완전한 SOD를 증명하며, 이는 PT 불변량에 대한 벽을 넘는 공식을 분류화하고, Bondal-Orlov/Kawamata D/K 등가 추측의 d-비판적 버전을 제공한다.

ABSTRACT

We show the existence of semiorthogonal decompositions (SOD) of Pandharipande-Thomas (PT) stable pair moduli spaces on Calabi-Yau 3-folds with irreducible curve classes, assuming relevant moduli spaces are non-singular. The above result is motivated by categorifications of wall-crossing formula of PT invariants in the derived category, and also a d-critical analogue of Bondal-Orlov, Kawamata's D/K equivalence conjecture. We also give SOD of stable pair moduli spaces on K3 surfaces, which categorifies Kawai-Yoshioka's formula proving Katz-Klemm-Vafa formula for PT invariants on K3 surfaces with irreducible curve classes.

연구 동기 및 목표

• Calabi-Yau 3-fold에서 불가약 곡선 클래스를 가진 PT 안정 쌍 모듈리 공간의 준직교 분해(SOD)를 설정하는 것.
• 유도 범주 동치와 SOD를 통해 PT 불변량에 대한 벽을 넘는 공식을 분류화하는 것.
• 유도적 코herent sheaf 범주의 맥락에서 Bondal-Orlov 및 Kawamata D/K 등가 추측의 d-비판적 대응을 제공하는 것.
• SOD 결과를 K3 표면과 비콤팩트 Calabi-Yau 3-fold로 확장하여, 상대 Hilbert 스킴과 곡선의 대칭적 곱을 포함하는 것.

제안 방법

• 유도적 모듈리 공간의 유도 범주를 분석하기 위해 d-비판적 비형식 기하학, 특히 d-비판적 단순 플립을 활용한다.
• 유도적 분해 범주 및 Fourier-Mukai 호모토피를 적용하여, 모듈리 공간의 유도 범주 간의 완전한 충실한 임bedding을 구성한다.
• CY 3-fold의 유도 범주에서의 벽을 넘는 다이어그램을 활용하여, π⁺ 및 π⁻ 사상들을 통해 안정 쌍 모듈리 공간을 연결한다.
• 벽을 넘는 다이어그램의 피보트 제품의 구조를 이용하여 Fourier-Mukai 호모토피의 핵을 정의하고 SOD를 구성한다.
• 모듈리 공간 위의 π⁺-ample 선다발의 존재를 바탕으로, 선다발과의 곱을 통한 편의 함수 Υⁱ_P를 정의한다.
• d-비판적 기하학의 결과, 특히 d-비판적 플립 이론과 대칭적 오염 이론의 구조를 적용하여, 비특이성 가정 하에 SOD의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 불가약 곡선 클래스를 가진 Calabi-Yau 3-fold 위의 PT 안정 쌍 모듈리 공간의 유도 범주가 준직교 분해를 갖는가?
• RQ2 PT 불변량에 대한 벽을 넘는 공식이 유도 범주 동치와 SOD를 통해 분류화될 수 있는가?
• RQ3 안정 쌍 모듈리 공간 맥락에서 Bondal-Orlov 및 Kawamata D/K 등가 추측의 d-비판적 대응이 존재하는가?
• RQ4 이러한 SOD는 K3 표면 또는 국소 Calabi-Yau 3-fold에서의 상대 Hilbert 스킴과 곡선의 대칭적 곱에 대해 어떤 영향을 미치는가?

주요 결과

• 비특이성 조건이 만족될 경우, 불가약 곡선 클래스 $\beta$를 가진 Calabi-Yau 3-fold $X$ 위의 PT 모듈리 공간 $P_n(X,\beta)$의 유도 범주는 준직교 분해를 갖는다.
• SOD는 $D^b(P_n(X,\beta)) = \langle \mathrm{Im} \Upsilon_P^{-n+1}, \ldots, \mathrm{Im} \Upsilon_P^0, \mathrm{Im} \Phi_P \rangle$ 로 주어지며, 여기서 $\Phi_P$는 완전한 충실한 Fourier-Mukai 호모토피이고, $\Upsilon_P^i$는 편의 함수와 앰플라인 선다발과의 곱을 통한 편의 함수이다.
• SOD는 오일러 특성의 Hochschild 호모로 검증된 $P_{n,\beta} - P_{-n,\beta} = (-1)^{n-1} n N_{n,\beta}$ 공식을 분류화한다.
• 만약 $X = \mathrm{Tot}_S(K_S)$ 이고 $-K_S \cdot \beta > 0$ 이라면, SOD는 $S$ 위의 완전한 선형 계열 위의 보편 곡선에 대한 상대 Hilbert 스킴에 적용되며, Hilbert 스킴의 유도적 분해를 제공한다.
• 만약 $X = \mathrm{Tot}_C(L_1 \oplus L_2)$ 이고 $L_1 \otimes L_2 \cong \omega_C$ 이라면, SOD는 $D^b(C^{[n+g-1]}) = \langle D^b(J_C), \ldots, D^b(J_C) \text{ (n번)}, D^b(C^{[-n+g-1]}) \rangle$ 를 유도하며, 이는 곡선의 대칭적 곱에 대한 새로운 결과이다.
• SOD의 구조는 $C \times J_C$ 로의 기저 변경 하에서도 유지되며, 모듈리 공간과 피보트 제품 간의 동형사상은 d-비판적 구조와 호환되므로, d-비판적 플립 프레임워크의 타당성이 확인된다.