[论文解读] Non-existence of exceptional collections on twisted flags and categorical representability via noncommutative motives

Saša Novaković|arXiv (Cornell University)|Jul 4, 2016

Algebraic Geometry and Number Theory参考文献 29被引用 8

一句话总结

该论文证明了，对于经典型 $A_n$ 和 $C_n$ 的有限个扭旗丛，以及特征不为 2 的域上的广义 Brauer–Severi 丛和扭二次曲面，当且仅当它们是分裂的（即同构于射影空间或 Grassmannian）时，才存在全例外集合；并且，对于关联到指标 $\leq 3$ 的中心单代数的扭二次曲面，其范畴表示维数 $\mathrm{rdim}(X)$ 等于 $\mathrm{ind}(A) - 1$。这些结果通过非交换动机和导出范畴的半正交分解得出。

ABSTRACT

In this paper we prove that a finite product of Brauer--Severi varieties is categorical representable in dimension zero if and only if it admits a $k$-rational point if and only if it is rational over $k$. The same is true for certain isotropic involution varieties over a field $k$ of characteristic different from two. For finite products of generalized Brauer--Severi varieties, categorical representability in dimension zero is equivalent to the existence of a full exceptional collection. In this case however categorical representability in dimension zero is not equivalent to the existence of a rational point. We also show that non-trivial twisted flags of classical type $A_n$ and $C_n$ cannot have full exceptional collections, enlarging in this way the set of previous known examples. Finally, we determine the categorical representability dimension $\mathrm{rdim}(X)$ for generalized Brauer--Severi varieties of index $\leq 3$ and for certain twisted forms of smooth quadrics (involution varieties).

研究动机与目标

• 确定类型为 $A_n$ 和 $C_n$ 的扭旗丛在何种情况下存在全例外集合。
• 阐明零维情形下 $k$-有理点的存在性、有理性和范畴表示性之间的关系。
• 计算指标 $\leq 3$ 的广义 Brauer–Severi 丛以及某些扭二次曲面的范畴表示维数 $\mathrm{rdim}(X)$。
• 通过非交换动机将 Raedschelders 关于非分裂 Brauer–Severi 丛的结果推广到乘积和其他扭形式。

提出的方法

• 利用非交换动机分析扭簇的导出范畴。
• 应用 $D^b(X)$ 的半正交分解以研究范畴表示性。
• 采用 $\mathrm{rdim}(X)$ 的定义：即最小的 $m$，使得 $D^b(X)$ 允许一个半正交分解，其分量与维度 $\leq m$ 的光滑射影簇 $Y_i$ 的可接受子范畴等价。
• 利用扭二次曲面的分解 $D^b(X) \simeq \langle D^b(k), D^b(A), \dots \rangle$ 将 $\mathrm{rdim}(X)$ 与底层代数的指标联系起来。
• 应用 [37]、[32] 和 [27] 中关于非交换动机和 $K_0$-理论的结果，排除非分裂情形。
• 通过代数闭包的基变换和 Wedderburn 定理，分析半正交分解中除法代数分量。

实验结果

研究问题

• RQ1 有限个类型为 $A_n$ 或 $C_n$ 的扭旗丛的乘积在何种情况下存在全例外集合？
• RQ2 对于指标 $\leq 3$ 的广义 Brauer–Severi 丛，其范畴表示维数 $\mathrm{rdim}(X)$ 是多少？
• RQ3 在扭旗丛和二次曲面上，$k$-有理点的存在性与全例外集合的存在性有何关系？
• RQ4 对于广义 Brauer–Severi 丛，零维范畴表示性是否等价于有理性或有理点的存在性？
• RQ5 非交换动机能否检测到非分裂扭形式上全例外集合的不存在性？

主要发现

• 有限个 Brauer–Severi 丛的乘积在零维范畴表示当且仅当其在 $k$ 上有理，而后者当且仅当其存在 $k$-有理点。
• 在特征为零的域上，广义 Brauer–Severi 丛在零维范畴表示当且仅当其存在全例外集合。
• 非平凡的类型为 $A_n$ 和 $C_n$（$n \neq 4$）的扭旗丛不具有全例外集合，该结论通过非交换动机和 1-上闭链平凡性得出。
• 对于关联到具有平凡判别式或在 $\mathbb{R}$ 上的正交对合代数的扭二次曲面，全例外集合存在当且仅当所有因子均为分裂的（即同构于光滑二次曲面）。
• 关联到中心单代数 $A$ 的扭二次曲面 $X$ 的范畴表示维数 $\mathrm{rdim}(X)$ 满足 $\mathrm{rdim}(X) = \mathrm{ind}(A) - 1$，且当 $\mathrm{ind}(A) \leq 3$ 时等式成立。
• 当 $\mathrm{ind}(A) = 3$ 时，通过反证法证明 $\mathrm{rdim}(X) = 2$：假设 $\mathrm{rdim}(X) \leq 1$ 会导致非交换动机分解中出现矛盾，从而违反指标条件。