[논문 리뷰] Derived categories of toric varieties III

Yūjirō Kawamata|arXiv (Cornell University)|2014. 12. 27.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 5

한 줄 요약

이 논문은 토릭 기하학에서 유한 아벨 몫 특이점에 대해 파생 매크레이크 상호관계를 수립한다. $[\mathbf{A}^n/G]$의 몫 스택의 파생 범주가 몰입된 $\mathbf{A}^n/G$의 부분다양체의 파생 범주들과 상대적 최소 모델로 분해된다는 것을 증명한다. 이전의 토릭 최소 모델 프로그램 사상 결과를 국소적 변형에 국한되지 않는 전역적 프레임워크로 확장하며, $K$-동치가 플롭의 순서로 분해되며, 파생 범주가 상대적 예외적 집합으로 생성된다는 것을 보여준다.

ABSTRACT

We prove derived McKay correspondence in special cases and the decomposition of toric K-equivalence into flops.

연구 동기 및 목표

• 2차원에서 임의의 유한 아벨 몫 특이점에 대해 파생 매크레이크 상호관계를 확장하기.
• 국소적 비라디얼 사상에 국한되지 않는 토릭 최소 모델 프로그램의 파생 범주에 대한 전역적 프레임워크 수립.
• 토릭 쌍 사이의 $K$-동치가 플롭의 순서로 분해됨을 증명하기.
• 토릭 몰입 스택 $[\mathbf{A}^n/G]$의 파생 범주가 상대적 예외적 집합으로 생성됨을 보여주기.

제안 방법

• 토릭 쌍에 관련된 매끄러운 딜레인-머포드 스택의 파생 범주의 반직교 분해를 사용한다.
• 토릭 유리 사상에 의해 아벨 몫 특이점에 대해 상대적 파생 매크레이크 상호관계를 적용한다.
• 피보트 곱 구조를 통한 $p_*q^*$ 형식의 완전 충실 함자 $\Phi$를 스택의 파생 범주 간에 구성한다.
• 정리 1을 상대적 상황에 적용하여, 본달-오르로프 및 브리지지랜드의 결과를 토릭 설정으로 일반화한다.
• canonical divisor 부등식 $K_X + B \geq K_Y + C$를 사용하여 파생 범주 임베딩의 방향을 결정한다.
• 등변 기하학과 몰입 스택 $[\mathbf{A}^n/G]$를 활용하여 몰입 특이점의 파생 범주를 분석한다.

실험 결과

연구 질문

• RQ1 2차원에서 모든 유한 아벨 몰입 특이점에 대해 파생 매크레이크 상호관계가 성립하는가?
• RQ2 토릭 설정에서 토릭 쌍 사이의 $K$-동치는 플롭의 순서로 분해될 수 있는가?
• RQ3 몰입 스택 $[\mathbf{A}^n/G]$의 파생 범주는 부분다양체와 최소 모델의 관점에서 어떻게 분해되는가?
• RQ4 $K$-동치 하에서 토릭 쌍의 파생 범주의 구조는 어떠한가?
• RQ5 토릭 대용의 파생 범주는 상대적 예외적 집합으로 생성될 수 있는가?

주요 결과

• 모든 유한 아벨 몰입 특이점에 대해 파생 매크레이크 상호관계가 성립한다: $D^b(\text{coh}([\mathbf{A}/G]))$는 부분다양체 $Z_i \subset X$의 $D^b(\text{coh}(\tilde{Z}_i))$와 상대적 최소 모델 $Y$의 $D^b(\text{coh}(\tilde{Y}))$로 반직교 분해된다.
• 모든 적절한 비라디얼 사상이 $K$-동치인 토릭 쌍 사이에서는 플롭의 순서로 분해되며, 이는 브리지지랜드 결과를 토릭 케이스로 일반화한다.
• 프로젝티브 토릭 사상 $f: X \to Z$에 대해, 파생 범주 $D^b(\text{coh}(\tilde{X}))$는 상대적 예외적 집합으로 생성되며, 즉 $D^b(\text{coh}(\tilde{Z}_i))$와 $D^b(\text{coh}(\bar{Y}))$의 이미지로 반직교 분해된다.
• 만약 $K_X + B = K_Y + C$이면, 완전 충실 함자 $\Phi: D^b(\text{coh}(\tilde{Y})) \to D^b(\text{coh}(\tilde{X}))$는 동치가 되며, 이는 플롭 동치 결과를 토릭 $K$-동치로 일반화한다.
• 파생 범주 임베딩의 방향은 사상의 방향이 아니라 캐논리컬 딜로우의 부등식 방향과 일치하며, 특히 분리 수축의 경우 특히 그렇다.
• 파생 범주 임베딩의 반직교 보완은 특정 토피컬 조건을 가진 경계 딜로우 위에 지지되는 층들로 생성되며, 이는 $p_*q^*$ 함자와 격자 몰입을 통해 구성된다.