[论文解读] A Derived Equivalence for some Twisted Projective Homogeneous Varieties

Mark Blunk|arXiv (Cornell University)|Apr 2, 2012

Algebraic structures and combinatorial models参考文献 12被引用 12

一句话总结

该论文在域上的扭曲射影齐性簇——具体为 Severi-Brauer 与对合簇——上构造了一个倾斜层，建立了该簇上有限层的有界导出范畴与一个环的模的导出范畴之间的导出等价性，该环的半单分量为相应线性代数群的 Tits 代数。关键贡献在于实现了这些簇的 Quillen K-理论作为其 Tits 代数 K-理论之和的导出等价。

ABSTRACT

In this paper we construct a tilting sheaf for Severi-Brauer Varieties and Involution Varieties. This sheaf relates the derived category of each variety to the derived category of modules over a ring whose semisimple component consists of the Tits algebras of the corresponding linear algebraic group.

研究动机与目标

• 为如 Severi-Brauer 与对合簇等扭曲射影齐性簇建立导出等价性，方法为使用倾斜层。
• 通过在扭曲情形下以倾斜层替代例外族，推广 Beilinson 与 Kapranov 的方法。
• 将这些簇上有限层的导出范畴与一个半单分量同构于相关线性代数群 Tits 代数的环的模的导出范畴联系起来。
• 将导出等价性应用于通过 Tits 代数的 K-理论分解计算这些扭曲簇的 Quillen K-理论。
• 将 del Pezzo 曲面与扭曲簇的 Quillen K-理论技术扩展至更广泛的齐性空间类。

提出的方法

• 在扭曲射影齐性簇 X 上构造一个局部自由层 T，使其满足倾斜层的三个条件：无自同构扩张，End(T) 具有有限整体维数，且生成导出范畴。
• 利用 Borel-Weil-Bott 定理计算线丛的上同调，并在代数闭包上的基变换下验证高阶自同构扩张的消失。
• 证明自同态环 End(T) 为上三角矩阵环，其对角线上为域与除法代数（即 Tits 代数），从而确保有限整体维数。
• 应用文献 [3] 中的定理 2.1，通过函子 RHom(T, -) 与 - ⊗ T 建立 D^b(Coh(X)) 与 D^b(mod-End(T)) 之间的导出等价。
• 利用 End(T) 的上三角结构及严格上三角部分的幂零理想，将 End(T) 的 K-理论与对角分量（即 Tits 代数）的 K-理论联系起来。
• 利用 K-理论对幂零理想不敏感的性质，将 K_*(X) 分解为 End(T) 对角线上 Tits 代数的 K-理论的直和。

实验结果

研究问题

• RQ1 能否在如 Severi-Brauer 与对合簇等扭曲射影齐性簇上构造出倾斜层？
• RQ2 此类倾斜层的自同态环是否具有有限整体维数，并能与有限层的导出范畴建立导出等价？
• RQ3 能否通过自同态环中出现的 Tits 代数的 K-理论来计算这些扭曲簇的 Quillen K-理论？
• RQ4 倾斜层的自同态环结构如何反映该簇的伽罗瓦下降数据？
• RQ5 在多大程度上可将扭曲簇的导出范畴描述为由相关群的 Tits 代数组成的环上的模范畴？

主要发现

• 在 Severi-Brauer 簇上构造了倾斜层 T，其自同态环 End(T) 同构于一个上三角矩阵环，其对角线元素为 F 与 A^{igotimes i}（i=0,…,n−1），其中 A 为一个中心单代数。
• 对于广义 Severi-Brauer 簇 SB(r,A)，自同态环 End(T) 的对角分量为 A^{igotimes d(a)}（对应某些权 a），从而诱导与 D^b(mod-End(T)) 的导出等价。
• 对于对合簇 I(A,σ)，自同态环 End(T) 的对角分量为 F（出现 n−2 次）、A 与 C_0(A,σ)（即 Clifford 代数的偶部），且导出范畴与 D^b(mod-End(T)) 等价。
• 导出等价诱导出 Quillen K-理论的同构：K_*(X) ≅ ⊕ K_*(F) ⊕ K_*(A) ⊕ K_*(C_0(A,σ))（对对合簇）。
• Severi-Brauer 簇的 K-理论满足 K_*(SB(A)) ≅ ⊕_{i=0}^{n−1} K_*(A^{igotimes i})。
• 广义 Severi-Brauer 簇的 K-理论同构于 ⊕_a K_*(A^{igotimes d(a)}），其中 d(a) 依赖于权 a。