[논문 리뷰] Derived category of projectivization and flops

Qingyuan Jiang, Naichung Conan Leung|arXiv (Cornell University)|2018. 11. 29.

Algebraic Geometry and Number Theory참고 문헌 58인용 수 19

한 줄 요약

이 논문은 두 단계 분해를 갖는 정칙 스킴 위의 코herent sheaf에 대한 유도 범주 프로젝티비제이션 공식을 수립하고, 결정식 초곡면의 스프링거 유형 분해를 통해 유도되는 고차원 플롭에서 플롭-플롭 합성은 구형 회전을 유도함을 증명한다. 이러한 결과들은 유도 대수기하학에서 분류된 단일화(monodromy)에 대한 Bondal-Kapranov-Schechtman 제안을 지지하며, 흐트러진 슈밥러(perverse schobers)의 새로운 예를 제공한다.

ABSTRACT

In this paper, we first show a projectivization formula for the derived category $D^b_{ m coh} (\mathbb{P}(\mathcal{E}))$, where $\mathcal{E}$ is a coherent sheaf on a regular scheme which locally admits two-step resolutions. Second, we show that flop-flop=twist results hold for flops obtained by two different Springer-type resolutions of a determinantal hypersurface. This also gives a sequence of higher dimensional examples of flops which present perverse schobers, and provide further evidences for the proposal of Bondal-Kapranov-Schechtman [BKS,KS]. Applications to symmetric powers of curves, Abel-Jacobi maps and $\Theta$-flops following Toda are also discussed.

연구 동기 및 목표

• 두 단계 분해를 갖는 정칙 스킴 위의 코herent sheaf에 대한 유도 범주 프로젝티비제이션 공식을 개발하기 위해.
• 결정식 초곡면의 스프링거 유형 분해로부터 유도되는 플롭의 성질을 조사하기 위해.
• 이러한 플롭이 흐트러진 슈밥러 이론과 분류된 단일화 이론에 미치는 영향을 탐구하기 위해.
• Toda가 시작한 대칭 거듭제곱, 아벨-자코비 사상, $Θ$-플롭에 대한 응용을 확장하기 위해.

제안 방법

• 코herent sheaf $\mathcal{E}$의 국소 두 단계 분해 성질을 이용하여 $\mathbb{P}(\mathcal{E})$의 유도 범주의 준직교 분해를 구성한다.
• 유도 대수기하학 기법을 적용하여 구형 회전을 통한 플롭의 유도 범주 분석을 수행한다.
• 결정식 초곡면의 기하학을 활용하여 플롭이 서로 다른 스프링거 유형 분해에 의해 유도되는 비틀림 변환으로서 실현됨을 밝힌다.
• Bondal-Kapranov-Schechtman 프레임워크를 적용하여 플롭-플롭 합성을 유도 범주에서의 회전으로 해석한다.
• 기존의 대칭 거듭제곱과 아벨-자코비 사상 결과를 활용하여 플롭 구성의 유도 불변량을 모듈리 이론적 맥락으로 확장한다.
• 플롭-플롭 사상이 구형 회전으로 작용하는 고차원 예시의 연속성을 확립하여, 흐트러진 슈밥러 프로그램의 예측을 확인한다.

실험 결과

연구 질문

• RQ1 코herent sheaf $\mathcal{E}$가 국소 두 단계 분해를 갖는 경우, $\mathcal{E}$의 프로젝티비제이션의 유도 범주는 어떻게 기술될 수 있는가?
• RQ2 결정식 초곡면의 서로 다른 스프링거 유형 분해로부터 유도된 플롭의 유도 범주는 어떻게 행동하는가?
• RQ3 이러한 맥락에서 두 플롭의 합성은 흐트러진 슈밥러 프레임워크가 예측한 바와 같이 구형 회전이 되는가?
• RQ4 이러한 플롭은 기하학적 유도 범주에서 대칭 거듭제곱과 아벨-자코비 사상과 어떻게 관련이 있는가?
• RQ5 이러한 예시는 분류된 단일화에 대한 Bondal-Kapranov-Schechtman 제안을 어느 정도 지지하는가?

주요 결과

• $\mathcal{E}$가 정칙 스킴 위의 코herent sheaf이고 국소 두 단계 분해를 갖는다고 가정할 때, $D^b_{\text{coh}}(\mathbb{P}(\mathcal{E}))$에 대한 프로젝티비제이션 공식이 수립된다.
• 서로 다른 스프링거 유형 분해로부터 유도된 결정식 초곡면의 두 플롭의 합성은 유도 범주에서 구형 회전으로 작용한다.
• 이 플롭들은 흐트러진 슈밥러의 고차원 예시를 제공하며, 분류된 단일화 제안의 구체적 실현을 이룬다.
• 프로젝티비제이션의 유도 범주는 $\mathcal{E}$의 두 단계 분해 구조를 반영하는 준직교 분해를 갖는다.
• 플롭 구성의 유도 불변량을 활용하여 대칭 거듭제곱과 아벨-자코비 사상에 대한 응용이 확장된다.
• 결과적으로, 이는 새로운 유형의 고차원 특이점에서 기대된 플롭-플롭=회전 현상이 확인되었으며, 유도 범주 기하학의 광범위한 프레임워크를 지지한다.