[論文レビュー] Noncommutative matrix factorizations with an application to skew exterior algebras

Izuru Mori, Kenta Ueyama|arXiv (Cornell University)|Jun 20, 2018

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

ひとこと要約

本稿は、環内の任意の非ゼロ非単元要素に対して非可換行列因子分解を導入し、Eisenbudの古典的理論を非可換超表面へ一般化する。非可換行列因子分解と完全双対的加群の間の圏同値を確立し、非可換点モジュールの拡張を用いて歪外挿積代数上での非分解的行列因子分解を分類する。

ABSTRACT

Theory of matrix factorizations is useful to study hypersurfaces in commutative algebra. To study noncommutative hypersurfaces, which are important objects of study in noncommutative algebraic geometry, we introduce a notion of noncommutative matrix factorization for an arbitrary nonzero non-unit element of a ring. First we show that the category of noncommutative graded matrix factorizations is invariant under the operation called twist (this result is a generalization of the result by Cassidy-Conner-Kirkman-Moore). Then we give two category equivalences involving noncommutative matrix factorizations and totally reflexive modules (this result is analogous to the famous result by Eisenbud for commutative hypersurfaces). As an application, we describe indecomposable noncommutative graded matrix factorizations over skew exterior algebras.

研究の動機と目的

• 可換な設定から非可換な設定へ行列因子分解理論を拡張すること、特に非可換超表面に対して。
• 可換設定で知られているツイスト作用の下での不変性を、非可換な次数付き行列因子分解へ一般化すること。
• Eisenbudの行列因子分解と最大コhen＝マカウル再帰的加群の間の基本的同値性の非可換版を確立すること。
• 開発された理論を用いて、歪外挿積代数上での非分解的非可換行列因子分解を分類すること。
• 非可換行列因子分解と非可換代数幾何における非可換点モジュールの拡張との関係を明確にすること。

提案手法

• 次数付き環 S 内の任意の非ゼロ非単元要素 f に対して、非可換次数付き行列因子分解の概念を導入する。
• ツイスト作用が f をスカラー倍で保存する場合、非可換次数付き行列因子分解の圏がツイスト作用に関して不変であることを証明する。
• 自由加群に対応する2種類の自明な行列因子分解（ϕ_F と _Fϕ）を定義し、それらを用いて商圏を構成する。
• 自明な因子分解による非可換行列因子分解の圏の商圏と、完全双対的 A 加群の圏との間の圏同値を確立する。
• Koszul双対に付随する非可換射影スキームを用いて、歪外挿積代数の非可換点モジュールの構造とその拡張を分析することで、理論を適用する。
• 非可換代数幾何の技術、特にNakayama自己同型とツイスト自己同型 τ の作用を用いて、非分解的因子分解を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 任意の非ゼロ非単元要素に対して、行列因子分解理論を非可換環へどのように一般化できるか？
• RQ2 ツイスト作用が非可換行列因子分解の構造をどのように保存するのか？
• RQ3 非可換行列因子分解は、非可換超表面上の完全双対的加群をどの程度分類できるか？
• RQ4 歪外挿積代数における非可換行列因子分解と非可換点モジュールの拡張との関係は何か？
• RQ5 歪外挿積代数上での非分解的非可換行列因子分解が、非可換点モジュールの有限拡張であるための条件は何か？

主な発見

• ツイスト作用が θ_i(f) = λ^i f を満たす場合、非可換次数付き行列因子分解の圏はツイスト作用に関して不変である。
• 因子圏 NMF^Z_S(f)/F は、S 上で有限な射影次元を持つ、有限生成次数付き完全双対的 A 加群の圏 TR^Z_S(A) に同値である。
• 因子圏 NMF^Z_S(f)/G は、TR^Z_S(A)/P に同値であり、ここで P は自由 A 加群の全部分圏を表す。
• f = x_n^2 である歪外挿積代数 A = S/(f) に対して、TR^0_S(A) 内の A 加群 M が自由加群成分を持たないための必要十分条件は、V(x_n) に属さない p_i に対する非可換点モジュール N_p_i の有限拡張であることである。
• 構造定数がすべての i,j,k に対して α_ij α_jk α_ki = 1 を満たす、または n=3 かつ α_12α_23α_31 が単位根でない場合、非可換点モジュールの拡張は、それらの非分解的加群をすべて分類する。
• 非可換点モジュール M_p と M_q 間の Ext^1 群が非ゼロとなるのは、p=q であるか、n=3 かつ τ-軌道が無限大である場合に限られ、このとき q = φ^{-1}τ^{-3}(p) であり、両者とも V(x_n) に属さない。