[论文解读] Examples for exceptional sequences of invertible sheaves on rational surfaces

Markus Perling|arXiv (Cornell University)|Apr 3, 2009

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

一句话总结

本文通过toric系统和quiver代数，构造了在$\mathbb{P}^2$上对$t$个不同点进行blow-up得到的有理曲面上可逆层的强例外序列的显式例子。它表明关联的自同态代数$A_X$是路径代数的有限维商代数，其关系由blow-up点的几何数据编码，从而为该曲面提供了非交换模型。

ABSTRACT

In this article we survey recent results of joint work with Lutz Hille on exceptional sequences of invertible sheaves on rational surfaces and give examples.

研究动机与目标

• 为有理曲面（特别是$\mathbb{P}^2$上$t$个点的blow-up）提供可逆层强例外序列的显式例子。
• 探索toric几何与有理曲面上凝聚层导出范畴之间的联系。
• 通过来自此类序列的tilting丛的自同态代数，构造奇点的非交换解析。
• 通过将关系的理想与blow-up点的几何数据关联，显式描述这些代数的参数空间。

提出的方法

• 使用toric系统来参数化有理曲面上可逆层强例外序列。
• 依赖Euler形式和Riemann-Roch公式，将上同调消失条件简化为除子上的数值约束。
• 构造一个带关系的quiver，其路径代数给出tilting丛$\mathcal{T} = \bigoplus \mathcal{O}(E_i)$的自同态代数$A_X$。
• 将$A_X$中的关系识别为全局截面之间自然映射的核，例如$\ker(H_i \otimes V^* \to S^2V^*)$。
• 利用$H_i = \Gamma(X, \mathcal{O}(H - R_i))$与被blow-up点对偶的$V^*$中的超平面之间的典范同构。
• 为$\mathbb{P}^2$在$t$个点上所有同时blow-up构造了一个通用toric系统，将模空间$\mathcal{M}$嵌入到理想参数空间中。

实验结果

研究问题

• RQ1 如何通过toric系统显式构造有理曲面上可逆层的强例外序列？
• RQ2 与该序列相关的自同态代数$A_X = \operatorname{End}(\bigoplus \mathcal{O}(E_i))$的结构是什么？
• RQ3 代数$A_X$中的关系如何反映$\mathbb{P}^2$上blow-up点的几何性质？
• RQ4 是否可以为$\mathbb{P}^2$上$t$个不同点的所有blow-up定义一个通用toric系统？
• RQ5 如何通过理想$I_X$将此类曲面的模空间$\mathcal{M}$嵌入到代数参数空间中？

主要发现

• 与tilting丛$\mathcal{T}$相关的自同态代数$A_X$是有限维的，且$\dim A_X = 9t + 15$。
• $A_X$的quiver在所有$\mathbb{P}^2$上$t$个不同点的blow-up中是通用的，其路径代数$A$有$18t + 6$个生成元。
• 理想$I_X$由三类关系生成：$\ker(H_i \otimes V^* \to S^2V^*)$，$\ker(\bigoplus H_i \to V^*)$，以及$\ker(V^* \otimes V^* \to S^2V^*)$。
• 向量空间$e_i A_X e_j$被显式描述为线丛的全局截面，例如$H_i = \Gamma(X, \mathcal{O}(H - R_i))$。
• blow-up点的几何数据通过包含关系$H_i \subset V^*$编码，这些关系定义了$A_X$中的关系。
• 该构造通过代数$A_X$提供了奇点的非交换解析，且满足$A_X \cong A/I_X$。