[论文解读] Birational geometry and derived categories

Yūjirō Kawamata|arXiv (Cornell University)|Oct 19, 2017

Algebraic Geometry and Number Theory参考文献 37被引用 6

一句话总结

本文綜述了導出 K-等價（DK）假設，提出 K-等價的光滑射影簇具有等價的凝聚層導出類別。該文在 торіч 和 托羅伊德 對應中證明了該猜想，建立了有限阿貝爾子群作用下商空間的導出 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-等價推出導出等價，以及 K-不等式推出全 faithful 嵌入的條件。
• 探討 DK 假設在代數幾何對象與類別的格羅滕迪克環中的影響。
• 利用 торіч 與 托羅伊德 幾何，證明有限阿貝爾子群 G ⊂ GL(n,C) 的導出 McKay 對應。
• 分析由最小模型與最大模型所誘導的導出類別中半正交分解的結構。

提出的方法

• 使用最小模型程序（MMP）將雙有理映射分解為如翻轉、流動與除子收縮等初等變換。
• 應用弱分解將其分解為光滑中心的爆破與反爆破，以在格羅滕迪克環層次上研究導出類別的變化。
• 運用半正交分解（SOD）來描述導出類別之間的全 faithful 函子。
• 利用奧爾洛夫的表示性定理建立部分逆命題：在特定條件下，導出等價可推出 K-等價。
• 分析 торіч 與 托羅伊德 同態，其中 DK 假設已完全確認，進而實現導出 McKay 對應。
• 構造與最小模型相關的 Deligne-Mumford 群疊，以定義導出函子與半正交分解。

实验结果

研究问题

• RQ1 K-等價的光滑射影簇是否如 DK 假設所聲稱的那樣，其導出類別彼此等價？
• RQ2 K-不等式是否能導致其導出類別之間的全 faithful 嵌入？
• RQ3 DK 假設在代數幾何對象與類別的格羅滕迪克環中在多大程度上成立？
• RQ4 對於 GL(n,C) 的有限阿貝爾子群作用下的商奇點，導出 McKay 對應是否成立？
• RQ5 一個 KLT 對的所有最大模型是否彼此 K-等價，還是它們可能具有不同的導出類別？

主要发现

• DK 偽設在 торіч 與 托羅伊德 同態中已確認，提供了 K-等價推出導出等價的強大例子類。
• 對於有限阿貝爾子群 G ⊂ GL(n,C)，透過包含最小模型及其群疊的半正交分解，建立了導出 McKay 對應。
• 代數幾何對象與類別的格羅滕迪克環通過弱分解下的導出類別膨脹與收縮，為 DK 偽設提供了弱證據。
• 當 G ⊂ SL(n,C) 時，商群疊的導出類別與最小模型的導出類別等價，且半正交分解中無額外組分。
• 對於 GL(3,C) 中非阿貝爾或非小的子群，商群疊的導出類別的半正交分解包含來自最大模型與子簇的組分，反映出非共形的解析。
• 非 K-等價的最大模型的存在表明，導出類別結構可能在不同模型間有所不同，從而對 DK 偽設的普遍性提出質疑。