[论文解读] Tilting bundles on orders on $P^d$

Osamu Iyama, Boris Lerner|arXiv (Cornell University)|Jun 25, 2013

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

一句话总结

本文引入了射影空间 $\mathbb{P}^d$ 上的Geigle-Lenzing（GL）序，证明其存在倾斜丛，且其模范畴与GL射影空间上凝聚层范畴导出等价。通过Beilinson定理与几何构造，作者显式构建了这些非交换序上的倾斜丛，建立了导出等价性，并证明其整体维数为 $d$。该研究为表示理论与同调镜像对称中的高维加权射影空间提供了几何框架。

ABSTRACT

We introduce a class of orders on $P^d$ called Geigle-Lenzing orders and show that they have tilting bundles. Moreover we show that their module categories are equivalent to the categories of coherent sheaves on Geigle-Lenzing spaces introduced in Herschend, Iyama, Minamoto and Oppermann.

研究动机与目标

• 建立基于 $\mathbb{P}^d$ 上非交换序的高维加权射影空间的几何框架。
• 证明一类新序——Geigle-Lenzing（GL）序——存在倾斜丛。
• 证明GL序的模范畴与GL射影空间上凝聚层范畴等价。
• 利用Beilinson定理与显式倾斜丛构造，提供导出等价性的几何证明。

提出的方法

• 将 $\mathbb{P}^d$ 上的GL序 $\Lambda$ 定义为与超平面 $L_i$ 及权 $p_i$ 关联的矩阵子环 $\mathrm{T}_{p_i}({\mathcal{O}}, {\mathcal{O}}(-L_i))$ 的张量积。
• 利用 $\mathbb{P}^d$ 上的Beilinson定理，将倾斜丛 $T$ 构造为秩为 $n$ 的局部自由 $\Lambda$-模 $P$ 的扭曲拷贝的直和。
• 将 $P$ 构造为每个超平面与权关联的 $\Lambda$-模的张量积，其移位由线丛 $\mathcal{O}(-L_i)$ 定义。
• 定义倾斜丛 $T = P \oplus P(\vec{x}_1) \oplus \cdots \oplus P(\vec{x}_n) \oplus P(1)$，其中 $\vec{x}_i$ 对应该分次的第 $i$ 个生成元。
• 利用 $\mathbb{P}^d$ 的几何结构及超平面的一般位置，验证 $T$ 的刚性与生成性条件。
• 通过倾斜定理建立三角等价 $\mathsf{D}^b(\operatorname{mod} \Lambda) \simeq \mathsf{D}^b(\operatorname{mod} \operatorname{End}_\Lambda(T))$。

实验结果

研究问题

• RQ1 Geigle-Lenzing序在 $\mathbb{P}^d$ 上是否存在倾斜丛？
• RQ2 GL序的导出范畴是否与GL射影空间上凝聚层范畴的导出范畴等价？
• RQ3 GL序在 $\mathbb{P}^d$ 上的整体维数是多少？
• RQ4 能否使用几何方法显式构造GL序上的倾斜丛？
• RQ5 倾斜丛的自同态代数与 $\mathbb{P}^d$ 的几何有何关联？

主要发现

• 对于 $\mathbb{P}^d$ 上任意Geigle-Lenzing序 $\Lambda$，存在倾斜丛 $T$，其由Beilinson定理的几何构造显式给出。
• 导出范畴 $\mathsf{D}^b(\operatorname{mod} \Lambda)$ 与 $\mathsf{D}^b(\operatorname{mod} \operatorname{End}_\Lambda(T))$ 三角等价，从而确立了导出等价性。
• $\Lambda$ 的整体维数恰好为 $d$，即 $\mathbb{P}^d$ 的维数。
• Geigle-Lenzing射影空间 $\mathbb{X}$ 上的凝聚层范畴与 $\operatorname{mod} \Lambda$ 等价，其中 $\Lambda$ 为同类型的GL序。
• 在 $\mathbb{P}^2$ 上四个权为 2 的情形中，倾斜丛的自同态代数有 17 个生成元，且满足关系 $x_4^2 = x_1^2 + x_2^2 + x_3^2$。
• 在三超平面情形下，自同态代数的 $\mathbb{L}$-分次环同构于 $k[X_1,X_2,X_3]/(X_3^2 - (X_1^2 - X_2^2))$，反映了几何约束。