[论文解读] Weighted Projective Lines Associated to Regular Systems of Weights of Dual Type

Atsushi Takahashi|ArXiv.org|Nov 25, 2007

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

一句话总结

本文建立了两类与对偶型正则权系相关的加权射影直线的凝聚层阿贝尔范畴之间的等价性：一类通过超曲面奇点构造，另一类通过Geigle–Lenzing的指标构造。关键结果是，对于此类系统，两个叠的凝聚层的导出范畴等价，从而表明在加权奇点范畴中存在一个全例外族系，支持了同调镜像对称的预期。

ABSTRACT

We associate to a regular system of weights a weighted projective line over an algebraically closed field of characteristic zero in two different ways. One is defined as a quotient stack via a hypersurface singularity for a regular system of weights and the other is defined via the signature of the same regular system of weights. The main result in this paper is that if a regular system of weights is of dual type then these two weighted projective lines have equivalent abelian categories of coherent sheaves. As a corollary, we can show that the triangulated categories of the graded singularity associated to a regular system of weights has a full exceptional collection, which is expected from homological mirror symmetries. Main theorem of this paper will be generalized to more general one, to the case when a regular system of weights is of genus zero, which will be given in the joint paper with Kajiura and Saito. Since we need more detailed study of regular systems of weights and some knowledge of algebraic geometry of Deligne--Mumford stacks there, the author write a part of the result in this paper to which another simple proof based on the idea by Geigle--Lenzing can be applied.

研究动机与目标

• 建立与正则权系相关的两类加权射影直线几何构造之间的等价性。
• 研究由超曲面奇点导出的商叠与由Geigle–Lenzing指标构造导出的叠之间的关系。
• 证明与此类系统相关的加权奇点范畴的三角范畴 admits 一个全例外族系。
• 为加权齐次奇点背景下的同调镜像对称猜想提供证据。
• 将例外族系结果推广至对偶型情形，扩展了此前关于ADE及εW = -1奇点的工作。

提出的方法

• 通过与正则权系相关的加权齐次多项式定义的超曲面奇点，构造一个加权射影直线作为商叠。
• 利用系统的指标，通过Geigle–Lenzing方法，使用一个分次环和由r−2个齐次多项式生成的理想，定义第二个加权射影直线。
• 利用最大分次群和齐次坐标环的结构，比较两种构造。
• 应用对偶型正则权系的不变量，包括五类（I–V）的显式数据，以验证等价性。
• 运用Deligne–Mumford叠的代数几何技术以及分次奇点范畴的技术。
• 借助Orlov的一个结果，从阿贝尔范畴的等价性推导出加权奇点范畴中存在一个全例外族系。

实验结果

研究问题

• RQ1 对于对偶型正则权系，通过超曲面奇点和通过指标构造的两类加权射影直线是否给出等价的凝聚层范畴？
• RQ2 与此类系统相关的加权奇点范畴的三角范畴是否 admits 一个全例外族系？
• RQ3 凝聚层范畴的等价性是否支持这些奇点的同调镜像对称猜想？
• RQ4 对偶型正则系统（如类型I–V）的不变量如何促进两类加权射影直线的构造与比较？
• RQ5 在亏格为零的情形下，正则系统的对偶性是否保持范畴等价性？

主要发现

• 对于对偶型正则权系，通过超曲面奇点和通过指标构造的两类加权射影直线上的凝聚层阿贝尔范畴是等价的。
• 该等价性意味着加权奇点范畴的三角范畴 $D^{gr}_{Sg}(R_W)$ 拥有一个大小为 $ u_{W^*}$ 的全例外族系，如推论6.3所述。
• 该结果支持同调镜像对称猜想，因为加权射影直线上的凝聚层导出范畴预期与对偶奇点的导出Fukaya范畴三角等价。
• 主定理由后续工作 [KST3] 推广至亏格为零的正则系统，表明其具有更广泛的应用性。
• 附录中提供了五类（I–V）对偶型系统的显式数据，包括权、对偶权、指标和定义多项式。
• 最大分次群 $L_{f_W}$ 的构造使得可以为 $D^{L_{f_W}}_{Sg}(R_W)$ 提出一个精化的同调镜像对称猜想，其中特殊情形 $L_{f_W} = bZ$ 对应该标准分次。