[论文解读] Matrix factorizations with more than two factors

Tim Tribone|arXiv (Cornell University)|Feb 12, 2021

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

一句话总结

该论文将矩阵分解从两个因子推广到正则局部环中的 $d \geq 2$ 个因子，证明此类分解的稳定范畴具有三角范畴结构，并给出了显式的悬垂函子。通过将 $d$-因子矩阵分解的范畴与一个斜群代数上的最大 Cohen-Macaulay 模等同起来，该研究扩展了 Knörrer 和 Solberg 的结果，该代数在同调上表现得如同具有最终 2-周期分解的非交换超曲面环。

ABSTRACT

Given an element $f$ in a regular local ring, we study matrix factorizations of $f$ with $d \ge 2$ factors, that is, we study tuples of square matrices $(φ_1,φ_2,\dots,φ_d)$ such that their product is $f$ times an identity matrix of the appropriate size. Several well known properties of matrix factorizations with $2$ factors extend to the case of arbitrarily many factors. For instance, we show that the stable category of matrix factorizations with $d\ge 2$ factors is naturally triangulated and we give explicit formula for the relevant suspension functor. We also extend results of Knörrer and Solberg which identify the category of matrix factorizations with the full subcategory of maximal Cohen-Macaulay modules over a certain non-commutative algebra $Γ$. As a consequence of our findings, we observe that the ring $Γ$ behaves, homologically, like a "non-commutative hypersurface ring" in the sense that every finitely generated module over $Γ$ has an eventually $2$-periodic projective resolution.

研究动机与目标

• 将矩阵分解理论从两个因子推广至正则局部环中的 $d \geq 2$ 个因子。
• 证明 $d$-因子矩阵分解的稳定范畴自然具有三角范畴结构，并给出显式的悬垂函子。
• 将 Knörrer 和 Solberg 关于矩阵分解与非交换代数 $\Gamma$ 上最大 Cohen-Macaulay 模之间等价性的结果推广至 $d \geq 2$ 个因子。
• 证明与 $d$-因子分解相关的代数 $\Gamma$ 是 Iwanaga-Gorenstein 的，且其所有有限生成模均具有最终 2-周期的投射分解。

提出的方法

• 将 $d$-因子矩阵分解定义为自由 $S$-模上的一组自同态 $(\varphi_1, \dots, \varphi_d)$，满足 $\varphi_1 \cdots \varphi_d = f \cdot \text{id}$。
• 利用分解条件的循环对称性，定义范畴 $\text{MF}_S^d(f)$ 中的态射与同构。
• 证明 $\text{MF}_S^d(f)$ 是 Frobenius 范畴，因此其稳定范畴自然具有三角范畴结构。
• 构造 $\text{MF}_S^d(f)$ 与 $R = S/(f)$ 的 $d$ 重分支覆盖的斜群代数上最大 Cohen-Macaulay 模范畴之间的等价关系。
• 通过分解分量的循环置换，显式计算稳定范畴上的悬垂函子。
• 利用行列式论证和 $f$ 的不可约性，界定不可约 $d$-因子分解的最小尺寸。

实验结果

研究问题

• RQ1 如何将正则局部环中矩阵分解从两个因子推广至 $d \geq 2$ 个因子？
• RQ2 $d$-因子矩阵分解的稳定范畴是否自然具有三角范畴结构？若是，其悬垂函子的显式形式是什么？
• RQ3 矩阵分解与非交换代数 $\Gamma$ 上最大 Cohen-Macaulay 模之间的等价性能否推广至 $d \geq 2$ 个因子？
• RQ4 与 $d$-因子分解相关的代数 $\Gamma$ 是否表现出非交换超曲面环的性质，例如 Iwanaga-Gorenstein 条件和最终 2-周期分解？
• RQ5 $f$ 的不可约性对不可约 $d$-因子矩阵分解的尺寸施加了何种限制？

主要发现

• $d$-因子矩阵分解的稳定范畴自然具有三角范畴结构，其悬垂函子由分解分量的循环置换显式给出。
• 范畴 $\text{MF}_S^d(f)$ 与 $R = S/(f)$ 的 $d$ 重分支覆盖的斜群代数上最大 Cohen-Macaulay 模范畴等价，推广了 Knörrer 的结果。
• 与 $d$-因子分解相关的代数 $\Gamma$ 是 Iwanaga-Gorenstein 的，且每个有限生成 $\Gamma$-模均具有最终 2-周期的投射分解。
• 若 $f$ 不可约，则任意尺寸小于 $d$ 的不可约 $d$-因子矩阵分解必为伪投射的，因此非伪投射不可约分解的最小尺寸至少为 $d$。
• 构造了 $\mathbb{E}_6$、$\mathbb{E}_7$ 和 $\mathbb{E}_8$ 奇点的显式不可约 $3$-因子矩阵分解例子，其元素属于极大理想，确认了其极小性与不可约性。