[논문 리뷰] Birational geometry for d-critical loci and wall-crossing in Calabi-Yau 3-folds

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

Algebraic Geometry and Number Theory참고 문헌 40인용 수 13

한 줄 요약

이 논문은 칼라비-유 3-fold 위의 안정 대상 모듈리 공간에 대해 d-비판적 비유리 기하학을 도입하며, 벽을 횡단하는 현상들을 기술하기 위해 가상의 비유리 사상인 d-비판적 플립과 플롭을 정의한다. 벽을 횡단하는 다이어그램이 d-비판적 최소 모형 프로그램을 이룬다는 것을 보이며, d-비판적 부분공간 위의 가상의 캐논리컬 선다발에 대한 캐논리컬 선다발 부등식의 유사체를 제시한다.

ABSTRACT

The notion of d-critical loci was introduced by Joyce in order to give classical shadows of $(-1)$-shifted symplectic derived schemes. In this paper, we discuss birational geometry for d-critical loci, by introducing notions such as `d-critical flips', `d-critical flops', etc. They are not birational maps of the underlying spaces, but rather should be understood as virtual birational maps. We show that several wall-crossing phenomena of moduli spaces of stable objects on Calabi-Yau 3-folds are described in terms of d-critical birational geometry. Among them, we show that wall-crossing diagrams of Pandharipande-Thomas (PT) stable pair moduli spaces, which are relevant in showing the rationality of PT generating series, form a d-critical minimal model program.

연구 동기 및 목표

• 칼라비-유 3-fold 위의 안정 대상 모듈리 공간에 고전적 비유리 기하학을 적용할 때의 한계를 다루기 위해, 이는 종종 심각한 특이점을 갖기 때문이다.
• 모듈리 공간이 비가역적이거나 비정규적이거나 비동차수일 때에도 적용 가능한 가상의 비유리 기하학, 즉 d-비판적 플립, 플롭 등의 프레임워크를 개발하기 위해.
• d-비판적 부분공간 위의 가상의 캐논리컬 선다발을 사용하여 비유리 기하학의 캐논리컬 선다발 부등식의 d-비판적 유사체를 수립하기 위해.
• 판다리파ande-티오포 스테이블 페어 모듈리 공간에서의 벽을 횡단 현상이 이 d-비판적 비유리 기하학 프레임워크에 맞는지 보여주기 위해.
• 이 프레임워크를 적용하여 PT 생성함수의 유리성과 벽을 횡단 공식을 통해 DT/PT 대응관계를 검증하기 위해.

제안 방법

• d-비판적 부분공간을 다루며, 이는 $ s \in \Gamma(M, \mathcal{S}_M^0) $ 형태의 d-비판적 구조를 갖는 스킴 또는 해석적 공간으로, 국소적인 임계점 집합 데이터를 코딩한다.
• d-비판적 플립과 플롭을 정의하며, 국소 모델이 함수의 임계점 집합과 동형이 되는 사상 다이어그램으로, 기저가 되는 사상은 매끄러운 공간의 실제 플립 또는 플롭이다.
• d-비판적 부분공간 위의 가상의 캐논리컬 선다발 개념을 사용하여, $ M^{+} \geq_K M^{-} $ 형태의 d-비판적 부등식의 유사체를 수립한다.
• d-비판적 프레임워크를 칼라비-유 3-fold 위의 일차원 층과 안정 페어의 모듈리 공간에 적용하여, 그들의 벽을 횡단 다이어그램이 d-비판적 플립/플롭 조건을 만족함을 보였다.
• DT 유형 불변량에 대한 벽을 횡단 공식을 활용하며, 특히 분석적 벽을 횡단과 베르렌 함수 적분을 통해 $ L_{n,\beta}^t $ 불변량을 PT 불변량과 연결한다.
• 표면 $ S $ 에서 $ D^b(S) $ 의 대상들이 가지는 대칭적 Ext-쿼리 성질을 활용하여 부록에서 d-비판적 일반화된 플롭을 수립한다.

실험 결과

연구 질문

• RQ1 칼라비-유 3-fold 위의 안정 대상 모듈리 공간에서의 벽을 횡단 현상은 심각한 특이점 때문에 가상의 비유리 기하학 프레임워크로 기술될 수 있는가?
• RQ2 d-비판적 플립과 플롭은 비가역적이거나 비매끄러운 특이점을 갖는 모듈리 공간에 대해 고전적 비유리 기하학의 일관된 일반화를 제공하는가?
• RQ3 d-비판적 부분공간에 대해 $ M^{+} \geq_K M^{-} $ 형태의 캐논리컬 선다발 부등식의 d-비판적 유사체가 존재하는가?
• RQ4 d-비판적 비유리 기하학 프레임워크를 사용하여 판다리파ande-티오포 불변량의 생성함수의 유리성을 증명할 수 있는가?
• RQ5 DT 유형 불변량에 대한 벽을 횡단 공식은 d-비판적 플립과 DT/PT 대응관계와 어떻게 관련이 있는가?

주요 결과

• 칼라비-유 3-fold 위의 판다리파ande-티오포 스테이블 페어 모듈리 공간에서의 벽을 횡단 다이어그램은 d-비판적 최소 모형 프로그램을 이룬다.
• d-비판적 플립/플롭의 구조는 국소적으로 함수의 임계점 집합과 동형이며, 기저가 되는 사상은 매끄러운 다양체의 실제 플립 또는 플롭이다.
• d-비판적 플립과 플롭에 대해 가상의 캐논리컬 선다발 부등식 $ (M^+, s^+) \geq_K (M^-, s^-) $ 가 성립하며, 이는 고전적 부등식을 일반화한다.
• PT 불변량의 곱 전개 공식 (C.1) 은 d-비판적 프레임워크 내에서의 벽을 횡단을 통해 유도되며, 생성함수의 유리성을 증명한다.
• DT/PT 대응관계는 유도 범주 내에서의 벽을 횡단을 통해 검증되며, $ L_{n,\beta} $ 불변량은 $ t \gg 0 $ 에서는 PT 불변량과 $ t \ll 0 $ 에서는 DT 불변량을 연결한다.
• 이 프레임워크는 일차원 층과 안정 페어의 모듈리 공간에 적용되며, 모듈리 공간이 특이적이거나 비가역적일지라도 그들의 벽을 횡단 다이어그램이 d-비판적 플롭 또는 플립임을 보여준다.