[论文解读] 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关于矩阵分解与最大Cohen-Macaulay模之间基本等价关系的非交换类比。
• 将所发展的理论应用于对斜外代数上不可约非交换矩阵分解的分类。
• 阐明非交换矩阵分解与非交换代数几何中共点模扩张之间的关系。

提出的方法

• 为分次环S中的任意非零非单位元f引入非交换分次矩阵分解的概念。
• 证明当扭操作保持f在标量乘法下不变时，非交换分次矩阵分解的范畴在扭操作下保持不变。
• 定义两类平凡矩阵分解（ϕ_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-模的全子范畴。
• 在斜外代数A = S/(f)，f = x_n^2的情形下，TR^0_S(A)中的A-模M无自由直和项，当且仅当其为共点模N_p_i的有限扩张，且p_i不在V(x_n)中。
• 当结构常数满足α_ij α_jk α_ki = 1对所有i,j,k成立，或当n=3且α_12α_23α_31不是单位根时，共点模扩张可分类所有此类不可约模。
• 共点模M_p与M_q之间的Ext^1群非零，当且仅当p=q，或在n=3且τ-轨道无限的情形下，当q = φ^{-1}τ^{-3}(p)，两种情况均蕴含p,q ∉ V(x_n)。