[논문 리뷰] Birational geometry and derived categories

Yūjirō Kawamata|arXiv (Cornell University)|2017. 10. 19.

Algebraic Geometry and Number Theory참고 문헌 37인용 수 6

한 줄 요약

이 논문은 유도 K-equivalence (DK) 가설을 조사하며, K-equivalent인 매끄럽고 사영적인 대상들이 유도 코herent sheaf의 유도 범주를 동치로 가진다는 가설을 제기한다. 이 가설은 토릭 및 토로이달 맵에 대해 확인되었고, 아벨 몫에 대한 유도 McKay 대응관계가 증명되었으며, 그로텐디에크 링에서의 직교 분해가 유도되어, 비록형 기하학과 유도 범주 간의 깊은 연관성에 강력한 증거를 제공한다.

ABSTRACT

This paper is based on a talk at a conference "JDG 2017: Conference on Geometry and Topology". We survey recent progress on the DK hypothesis connecting the birational geometry and the derived categories stating that the K-equivalence of smooth projective varieties should correspond to the equivalence of their derived categories, and the K-inequality to the fully faithful embedding.

연구 동기 및 목표

• 비록형 기하학과 유도 범주 간의 추측적 대응관계를 DK 가설을 통해 조사한다.
• K-equivalence가 유도 동치를 유도하는 조건을 확립하고, K-inequality가 완전한 충실한 임베딩을 유도하는 조건을 설정한다.
• DK 가설이 다양체와 범주들의 그로텐디에크 링에서 가지는 함의를 탐색한다.
• GL(n,C)의 유한 아벨 부분군에 의한 몰입 특이점에 대해 토릭 및 토로이달 기하학을 사용하여 유도 McKay 대응관계를 증명한다.
• 최소 모델과 최대 모델에 의해 유도되는 유도 범주 내의 직교 분해의 구조를 분석한다.

제안 방법

• 비록형 사상들을 플립, 플롭, 그리고 분리 수축과 같은 기본 변환으로 분해하기 위해 최소 모델 프로그램(MMP)을 사용한다.
• 매끄러운 중심을 가진 블로우업과 블로우다운으로 이루어진 약한 분해를 적용하여, 그로텐디에크 링 수준에서 유도 범주의 변화를 연구한다.
• 완전한 충실한 함자를 기술하기 위해 직교 분해(SOD)를 활용한다.
• 오르로프의 표현 정리를 활용하여 부분적인 역을 확립한다: 특정 조건 하에서 유도 동치는 K-equivalence를 유도한다.
• DK 가설이 완전히 확인되는 토릭 및 토로이달 사상에 대해 분석하며, 이는 유도 McKay 대응관계를 가능하게 한다.
• 최소 모델에 관련된 딜레인-멈포드 스택을 구성하여 유도 함자와 직교 분해를 정의한다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 다양체 간의 K-equivalence가 DK 가설에서 주장하는 바와 같이 그 유도 범주를 동치로 이끌어내는가?
• RQ2 다양체 간의 K-inequality가 그 유도 범주 간의 완전한 충실한 임베딩을 유도할 수 있는가?
• RQ3 DK 가설이 다양체와 범주들의 그로텐디에크 링에서 어느 정도까지 성립하는가?
• RQ4 GL(n,C)의 유한 아벨 부분군에 의한 몰입 특이점에 대해 유도 McKay 대응관계가 성립하는가?
• RQ5 KLT 쌍의 모든 최대 모델들이 K-equivalent인가, 아니면 서로 다른 유도 범주를 가질 수 있는가?

주요 결과

• 토릭 및 토로이달 사상에 대해 DK 가설이 확인되었으며, 이는 K-equivalence가 유도 동치를 유도하는 강력한 예시를 제공한다.
• GL(n,C)의 유한 아벨 부분군 G에 대해, 최소 모델과 그 스택을 포함하는 직교 분해를 통해 유도 McKay 대응관계가 확립되었다.
• 다양체와 범주들의 그로텐디에크 링은 약한 분해 하에서 유도 범주의 팽창과 수축을 통해 DK 가설에 대한 약한 증거를 지지한다.
• G ⊂ SL(n,C)일 경우, 몰입 스택의 유도 범주는 최소 모델의 유도 범주와 동치이며, 직교 분해에 추가 성분이 존재하지 않는다.
• GL(3,C)의 비아벨 또는 크기가 큰 부분군에 대해서는, 몰입 스택의 유도 범주의 직교 분해에 최대 모델과 부분다양체에서 온 성분들이 포함되어 있으며, 이는 비크레팟 해석을 반영한다.
• 비K-equivalent인 최대 모델의 존재는 다양한 모델 간에 유도 범주 구조가 다를 수 있음을 시사하며, 이는 DK 가설의 보편성에 대한 질문을 제기한다.