[論文レビュー] 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

ひとこと要約

この論文は、$i \geq 2$ に対して $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$ の形の非ゴレンシュタイン局域環の上で、完全双対的加群を研究している。このような加群は、$Ix + \sum B_j y_j$ の形の提示行列をもつことを示し、最小の完全双対的加群（射影的和成分をもたない）が $n$ 個の元で生成される同型類と、剰余体 $k$ 上の $n \times n$ 行列の $i$-重組 $i$ 個の間の自然な全単射を確立する。

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.

研究の動機と目的

• 非ゴレンシュタイン局域環 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$（$i \geq 2$）上の完全双対的加群の構造を理解すること。
• 完全双対的 $S_i$-加群の提示行列を単位行列と剰余体 $k$ 上の行列を用いて特徴付けること。
• 最小の完全双対的 $S_i$-加群（射影的和成分をもたない）が $n$ 個の元で生成される同型類と、$k$ 上の $n \times n$ 行列の $i$-重組の同値類との間の全単射を確立すること。

提案手法

• 環 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$ の構造を分析し、加群の提示にかかる制約を特定すること。
• 完全双対的 $S_i$-加群を、単位行列 $I$ と剰余体 $k$ 上の行列 $B_j$ を用いた形 $Ix + \sum_{j=1}^i B_j y_j$ の提示行列として表現すること。
• 行列形式を用いて、射影的和成分をもたない完全双対的加群の同型類をパラメトライズすること。
• $k$ 上の $n \times n$ 行列の $i$-重組に、加群の同型に対応する特定の同値関係を定義すること。
• 最小の完全双対的 $S_i$-加群の同型類と、このような行列組の同値類との間の全単射を確立すること。
• 環の代数的制約を活用し、すべての完全双対的加群がこのような行列形式の提示を持つことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 非ゴレンシュタイン環 $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$ 上の行列の $i$-重組との間には自然な対応があるか？
• RQ4 加群の同型に対応する $k$ 上の $n \times n$ 行列の $i$-重組に適した同値関係は何か？
• RQ5 すべての完全双対的 $S_i$-加群は、$B_j$ が $k$ 上の行列である形 $Ix + \sum B_j y_j$ に表現可能か？

主な発見

• すべての完全双対的 $S_i$-加群は、単位行列 $I$ と、剰余体 $k$ に値をとる $n \times n$ 行列 $B_j$ を用いた形 $Ix + \sum_{j=1}^i B_j y_j$ の提示行列をもつ。
• 射影的和成分をもたない最小の完全双対的 $S_i$-加群が $n$ 個の元で生成される同型類の集合と、$k$ 上の $n \times n$ 行列の $i$-重組の特定の同値類の集合との間には全単射が存在する。
• 加群が最小でかつ射影的和成分をもたない限り、最小生成集合の選び方に依存しないパラメトライズが可能である。
• 環 $S_i$ の構造により、すべての完全双対的加群がこの行列形式の制約を受けることが強制される。
• 行列組の同値関係は、対応する加群の同型類を完全に捉えており、分類が完全である。
• この結果により、剰余体上での行列データを用いた、最小の完全双対的 $S_i$-加群（射影的和成分をもたない）の完全な代数的分類が得られる。