[論文レビュー] Homological properties of a certain noncommutative Del Pezzo surface

Louis de Thanhoffer de Völcsey, Dennis Presotto|arXiv (Cornell University)|Jan 1, 2015

Algebraic structures and combinatorial models被引用数 1

ひとこと要約

本稿は、P¹ 上のランク (4,1) バイモジュールに付随する対称的シーブ Z-代数を用いて、非可換デル・ペッツォ表面を構成し、そのノエスリアン性と第四種のグラム行列型を有する完全な例外的系列を証明する。これは可換な設定では達成できなかったものである。構成には一般化された前プロジェクティブ代数と適応された点モジュール技法を用い、ホモロジー的性質を確立し、P¹ 上の4次写像を反映する関係を持つクーヴィーとの導来同値性に至る。

ABSTRACT

Recently, de Thanhoffer de Volcsey and Van den Bergh showed that Grothendieck groups of "noncommutative Del Pezzo surfaces" with an exceptional sequence of length 4 are isomorphic to one of three types, the third one not coming from a commutative Del Pezzo surface. In this paper, we adapt the theory of noncommutative $\mathbb{P}^1$-bundles as appearing in the work of Van den Bergh and Nyman to produce a sheaf $\mathbb{Z}$-algebra whose associated Proj has an exceptional sequence of length 4 for which the Gram matrix is of this third type. We show that this noncommutative scheme is noetherian and describe its local structure through the use of our generalized preprojective algebras.

研究の動機と目的

• 本稿の目的は、可換なデル・ペッツォ表面では実現不可能であった、第四種の数値的グロタンディーク群を非可換構成により実現することにある。
• 本稿は、エラー形式が第四種のグラム行列型に一致する長さ4の完全な例外的系列を有する非可換射影的スキームの構成を試みる。
• 本稿の目的には、対称的シーブ Z-代数上のグレーディング加群のカテゴリのノエスリアン性の証明が含まれる。
• 本稿の目的は、一般化された前プロジェクティブ代数を用いて非可換スキームの局所的構造を記述することにある。
• 本稿の目的は、特にランク (4,1) の場合における構成されたスキームのホモロジー的性質、特に Ext-群と点モジュールの性質を調査することにある。

提案手法

• 本構成は、ランク (4,1) の両側加群 E から構成される、対称的シーブ Z-代数を用いたヴァン・デン・ベルクの非可換 P¹-バンドル理論に基づく。
• 著者らは、有限アフィン開被覆を介して Z-代数と一般化された前プロジェクティブ代数を関連付け、ランク4の相対的フロベニウス準同型に関して、Gr(S(E)|U_i) が Gr(Π_R_i(S_i)) の直和成分として同定される。
• 著者らはランク (4,1) の場合に点モジュール技法を適応し、点モジュールを再定義することで、各度における S(E)_{n,m} が局所的に自由であることを証明する。
• ノエスリアン性は、相対的フロベニウス対による被覆と、グレーディング代数への還元を通じて確立される。
• ホモロジー的性質は、Ext-群の公式を用いて分析される：Ext^i_Z(Π^*_m(F), Π^*_n(G)) = Ext^i_P1(F, G ⊗ S(E)_{n,n})。
• 完全性は、補題5.2の条件の検証を通じて証明され、引き戻しの完全性と次数に関する帰納法が用いられる。

実験結果

リサーチクエスチョン

• RQ1 可換なデル・ペッツォ設定では実現不可能であった、第四種のグラム行列型に一致する長さ4の完全な例外的系列を有する非可換射影的スキームを構成することは可能か？
• RQ2 非可換 P¹-バンドル理論をランク (4,1) のバイモジュールにどのように適応し、このようなスキームを生成できるか？
• RQ3 非可換スキームの局所的構造は何か？ 一般化された前プロジェクティブ代数を用いてどのように記述できるか？
• RQ4 この非標準的ランクの場合に、対称的シーブ Z-代数上のグレーディング加群のカテゴリのノエスリアン性を確立できるか？
• RQ5 構成された非可換表面の導来カテゴリの構造は何か？ そして、関係を持つクーヴィーとどのように関係するか？

主な発見

• 非可換スキーム Z = Proj(S(E)) は、相対的フロベニウス対と一般化された前プロジェクティブ代数を用いた局所的ノエスリアン性の議論により、ノエスリアンであることが証明された。
• 各バイモジュール S(E)_{n,m} は局所的に自由であり、そのランクは明示的に計算可能である。n−m が偶数のとき、古典的 (2,2) 場合と一致する。
• 完全な例外的系列 (Π^*_1(OP1), Π^*_1(OP1(1)), Π^*_0(OP1), Π^*_0(OP1(1))) のグラム行列は第四種に一致し、Ext^i 群は公式 Ext^i_Z(Π^*_m(F), Π^*_n(G)) = Ext^i_P1(F, G ⊗ S(E)_{n,n}) を用いて計算される。
• この系列は完全かつ強力であり、D(Proj(S(E))) ≅ D(kQ/I) という導来同値性を示唆する。ここで Q は4頂点と特定の関係を持つクーヴィーである。
• 導来同値性は、ティルティング対象 T = ⊕Π^*_m(O(m)) を通じて実現され、自己準同型代数 End(T) は kQ/J に同型であり、関係は4次写像 f: P¹ → P¹ を反映する。
• 特別な場合 f([x:y]) = [x⁴:y⁴] において、関係は 0≤i≤1, 0≤j≤3 に対して α_iβ_j = γ_{i+j} および ωδ_i = γ_{4i} で与えられ、対角的自己準同型の5次元空間が明示的に実現される。