[论文解读] No full exceptional collections on non-split Brauer--Severi varieties of dimension $\leq 3$

Saša Novaković|arXiv (Cornell University)|Mar 28, 2016

Algebraic Geometry and Number Theory参考文献 14被引用 4

一句话总结

该论文通过利用 braid 群在射影空间上的全异常集合上的传递作用，证明了维数至多为 3 的非分裂 Brauer–Severi 代数簇不具有全异常集合。关键结果是：此类代数簇具有全异常集合当且仅当其为分裂的，即与基域上的射影空间同构。

ABSTRACT

In an earlier paper we showed that non-split Brauer--Severi curves do not admit full strong exceptional collections. In the present note we extend this observation and prove that there cannot exist full exceptional collections on non-split Brauer--Severi varieties of dimension $\leq 3$.

研究动机与目标

• 解决关于非分裂 Brauer–Severi 代数簇不具有全异常集合的猜想。
• 通过导出范畴与半正交分解，建立 Brauer–Severi 代数簇上全异常集合存在的判别准则。
• 通过导出范畴技术，将 Brauer–Severi 代数簇的有理性与全异常集合的存在性联系起来。
• 利用异常集合上的 braid 群作用，将早期关于 Brauer–Severi 曲线的结果推广至更高维（2 维与 3 维）。

提出的方法

• 以 Brauer–Severi 代数簇 $X$ 上凝聚层的导出范畴 $D^b(X)$ 作为核心框架。
• 应用半正交分解：$D^b(X) = \langle D^b(k), D^b(A), \dots, D^b(A^{igotimes n}) \rangle$，其中 $A$ 是与 $X$ 关联的中心单代数。
• 依赖于到 $\bar{k}$ 的基变换，其中 $X_{\bar{k}} \simeq \mathbb{P}^n_{\bar{k}}$，并利用 $\mathbb{P}^n_{\bar{k}}$ 上已知的全强异常集合 $\mathcal{O}, \mathcal{O}(1), \dots, \mathcal{O}(n)$。
• 使用 braid 群 $B_{n+1}$ 在 $\mathbb{P}^n_{\bar{k}}$ 上的全异常集合集合上传递作用的假设，适用于 $n \leq 3$。
• 应用与基变换可交换的变异函子，证明 $X$ 上的任意全异常集合必须在基变换后等价于 $\mathcal{O}, \mathcal{O}(1), \dots, \mathcal{O}(n)$（至多通过变异）。
• 得出结论：$D^b(k) \simeq D^b(A)$，并由已知结果可知 $A$ 是分裂的，因此 $X$ 是分裂的。

实验结果

研究问题

• RQ1 维数 ≤3 的非分裂 Brauer–Severi 代数簇是否具有全异常集合？
• RQ2 Brauer–Severi 代数簇上全异常集合的存在性能否用于判断其是否为分裂的？
• RQ3 对于 $n \leq 3$，braid 群在 $\mathbb{P}^n_{\bar{k}}$ 的全异常集合上传递作用是否成立？
• RQ4 Brauer–Severi 代数簇的导出范畴结构能否用于检测其在基域上的有理性？
• RQ5 全正交分解 $D^b(X)$ 与相关中心单代数 $A$ 的代数结构之间存在何种关系？

主要发现

• 维数 $n \leq 3$ 的 Brauer–Severi 代数簇，当且仅当其为分裂时，才具有任意对象的全异常集合。
• 对于 Brauer–Severi 曲线与曲面，全异常集合的存在性等价于该代数簇同构于 $\mathbb{P}^n_k$。
• 对于 Brauer–Severi 三流形，若存在向量丛的全异常集合，则该代数簇为分裂的。
• 该证明关键依赖于 braid 群 $B_{n+1}$ 在 $\mathbb{P}^n_{\bar{k}}$ 上的全异常集合集合上传递作用，适用于 $n \leq 3$。
• 由全异常集合诱导的导出范畴等价 $D^b(k) \simeq D^b(A)$ 暗示中心单代数 $A$ 是分裂的。
• 因此，维数 ≤3 的 Brauer–Severi 代数簇的有理性等价于其导出范畴中全异常集合的存在性。