[論文レビュー] Tilting bundles on orders on $P^d$

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

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

ひとこと要約

本稿は、projective space $\mathbb{P}^d$ 上のGeigle-Lenzing (GL) orderを導入し、それらがtilting bundleを備え、その加群圏がGL projective space上の連接層の圏とderived equivalentであることを証明する。Beilinsonの定理と幾何的構成を用いて、これらの非可換order上にtilting bundleを明示的に構成し、derived equivalenceを確立するとともに、global dimensionが$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$ 上の非可換orderを用いて確立すること。
• Geigle-Lenzing (GL) orderと呼ばれる新しいクラスのorderに対して、tilting bundleの存在を証明すること。
• GL orderの加群圏が、GL射影空間上の連接層の圏と同値であることを示すこと。
• Beilinsonの定理と明示的なtilting bundleの構成を用いて、derived equivalenceの幾何的証明を提供すること。

提案手法

• GL order $\Lambda$ を、超平面 $L_i$ と重み $p_i$ に付随する行列部分環 $\mathrm{T}_{p_i}({\mathcal{O}}, {\mathcal{O}}(-L_i))$ のテンソル積として $\mathbb{P}^d$ 上に定義する。
• Beilinsonの定理を $\mathbb{P}^d$ に適用し、ランク$n$の局所有限 $\Lambda$-加群 $P$ のねじれコピーの直和として tilting bundle $T$ を構成する。
• $P$ を、各超平面および重みに付随する $\Lambda$-加群のテンソル積として構成し、線分束 $\mathcal{O}(-L_i)$ を用いてシフトを定義する。
• tilting bundle を $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$ の剛性および生成条件を検証する。
• tilting定理を用いて、三角同値 $\mathsf{D}^b(\operatorname{mod} \Lambda) \simeq \mathsf{D}^b(\operatorname{mod} \operatorname{End}_\Lambda(T))$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 GL orderが $\mathbb{P}^d$ 上にtilting bundleを備えているか？
• RQ2 GL orderの導来圏は、GL射影空間上の連接層の導来圏と同値か？
• RQ3 GL orderのglobal dimensionは何か？
• RQ4 幾何的技法を用いて、GL order上のtilting bundleを明示的に構成できるか？
• RQ5 tilting bundleの自己準同型代数は、$\mathbb{P}^d$ の幾何にどのように関係しているか？

主な発見

• 任意のGeigle-Lenzing order $\Lambda$ に対して、Beilinsonの定理を用いた幾何的構成により、$\operatorname{mod} \Lambda$ 内にtilting bundle $T$ が存在する。
• 導来圏 $\mathsf{D}^b(\operatorname{mod} \Lambda)$ は、$\mathsf{D}^b(\operatorname{mod} \operatorname{End}_\Lambda(T))$ と三角同値であることが示され、derived equivalenceが確立された。
• GL order $\Lambda$ のglobal dimensionは、$\mathbb{P}^d$ の次元 $d$ に正確に等しい。
• Geigle-Lenzing射影空間 $\mathbb{X}$ 上の連接層の圏は、同じタイプのGL order $\Lambda$ に対して $\operatorname{mod} \Lambda$ と同値である。
• $\mathbb{P}^2$ 上で4つの重みが2である例において、tilting bundleの自己準同型代数は17個の生成元を持ち、関係式 $x_4^2 = x_1^2 + x_2^2 + x_3^2$ を満たす。
• $3$個の超平面の場合、自己準同型代数の $\mathbb{L}$-グレーディング環は、$k[X_1,X_2,X_3]/(X_3^2 - (X_1^2 - X_2^2))$ に同型であり、幾何的制約を反映している。