[论文解读] A Description of Totally Reflexive Modules for a Class of non-Gorenstein Rings

Rangel Tracy, Alain Denise|arXiv (Cornell University)|Oct 16, 2015

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

一句话总结

本文研究了非Gorenstein局部环 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$（$i \geq 2$）上的完全反射模。它表明此类模具有形式为 $Ix + \sum B_j y_j$ 的表示矩阵，从而建立了由 $n$ 个元素生成的、不含投影和项的极小完全反射模的同构类与系数在剩余域 $k$ 上的 $i$-元组 $n \times n$ 矩阵模特定等价关系之间的双射。

ABSTRACT

We consider local non-Gorenstein rings of the form $(S_i,\mathfrak{n}_i)=k[X, Y_1, \ldots ,Y_i]/\left(X^2, (Y_1, \ldots, Y_i)^2 ight), $ where $i\geq 2.$ We show that every totally reflexive $S_i$-module has a presentation matrix of the form $I x + \sum_{j=1}^i B_j y_j, $ where $I$ is the identity matrix and $B_j$ is an square matrix with entries in the residue field, $k$. From there, we prove that there exists a bijection between the set of isomorphism classes of totally reflexive modules (without projective summands) over $S_i$ which are minimal generated by $n$ elements and the set of $i$-tuples of $n imes n$ matrices with entries in $k$ modulo a certain equivalence relation.

研究动机与目标

• 理解非Gorenstein局部环 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$（$i \geq 2$）上完全反射模的结构。
• 以单位矩阵和剩余域 $k$ 上的矩阵来刻画完全反射 $S_i$-模的表示矩阵。
• 建立由 $n$ 个元素生成的、不含投影和项的极小完全反射 $S_i$-模的同构类与 $k$ 上 $i$-元组 $n \times n$ 矩阵等价类之间的双射。

提出的方法

• 分析环 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$ 的结构，以识别模表示的约束条件。
• 通过形式为 $Ix + \sum_{j=1}^i B_j y_j$ 的表示矩阵来表示完全反射 $S_i$-模，其中 $I$ 为单位矩阵，$B_j$ 为剩余域 $k$ 上的矩阵。
• 利用矩阵形式对不含投影和项的完全反射模的同构类进行参数化。
• 在 $k$ 上的 $i$-元组 $n \times n$ 矩阵上定义一个等价关系，使其与模的同构相对应。
• 建立极小完全反射 $S_i$-模的同构类与此类矩阵元组等价类之间的双射。
• 利用环的代数约束条件，证明所有完全反射模都必须具有此类矩阵表示形式。

实验结果

研究问题

• RQ1 对于非Gorenstein环 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$（$i \geq 2$），完全反射模的表示矩阵具有何种结构？
• RQ2 如何对不含投影和项的极小完全反射 $S_i$-模的同构类进行参数化？
• RQ3 是否存在此类同构类与剩余域 $k$ 上矩阵元组之间的自然对应关系？
• RQ4 与模同构相对应的 $k$ 上 $i$-元组 $n \times n$ 矩阵的等价关系是什么？
• RQ5 每个完全反射 $S_i$-模是否都能表示为 $Ix + \sum B_j y_j$ 的形式，其中 $B_j$ 取值于 $k$？

主要发现

• 每个完全反射 $S_i$-模都具有形式为 $Ix + \sum_{j=1}^i B_j y_j$ 的表示矩阵，其中 $I$ 为单位矩阵，每个 $B_j$ 是系数在剩余域 $k$ 上的 $n \times n$ 矩阵。
• 存在一个双射，将由 $n$ 个元素极小生成的、不含投影和项的完全反射 $S_i$-模的同构类集合，与 $k$ 上 $i$-元组 $n \times n$ 矩阵模特定等价关系的集合对应起来。
• 只要模是极小的且不含投影和项，该参数化方式与极小生成集的选择无关。
• 环 $S_i$ 的结构强制所有完全反射模的表示形式必须受限于这种矩阵形式。
• 矩阵元组上的等价关系捕捉了对应模的同构类，从而提供了完整的分类。
• 该结果通过剩余域上的矩阵数据，对不含投影和项的极小完全反射 $S_i$-模提供了完整的代数分类。