[論文レビュー] Remarks on torsionfreeness and its applications

Tokuji Araya, Kei-ichiro Iima|arXiv (Cornell University)|Aug 17, 2014

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

ひとこと要約

この論文は、可換ノエター環 $R$ とその半双対的加群 $C$ に関する $n$-C-捩れ自由性を、セレ条件 $(S_n)$ を用いて特徴づける。$R$ が $(S_n)$ を満たし、かつ $\operatorname{ht}(\frak p) < n$ なる素イデアルについて $(G_{n-1}^C)$ または局所的全 $C$-反射的性質を満たすならば、$n$-C-捩れ自由性、$n$-C-シンジーガー性、$(S_n)$ の満たし方の3つが同値であることを示す。この結果により、低次元素イデアルにおけるゴレンシュタイン局域化を持つコhen＝マカウル環の新たな特徴づけが可能となり、Tachikawa および Auslander-Reiten 予想に対する部分的進展が得られる。

ABSTRACT

In this article, we shall characterize torsionfreeness of modules with respect to a semidualizing module in terms of the Serre's condition (S_n). As its applications, we give a characterization of Cohen-Macaulay rings R such that R_p is Gorenstein for all prime ideals p of height less than n, and we will give a partial answer of Tachikawa conjecture and Auslander-Reiten conjecture.

研究の動機と目的

• 半双対的加群の文脈において、$n$-C-捩れ自由性をセレ条件 $(S_n)$ を用いて特徴づけること。
• 高さが $n$ 未満のすべての素イデアル $\frak p$ に対して $R_{\frak p}$ がゴレンシュタインとなるようなコhen＝マカウル環 $R$ の新しい基準を提供すること。
• 主定理を応用し、Tachikawa および Auslander-Reiten 予想への進展を図ること。
• ゴレンシュタインでないコhen＝マカウル環上での非自明な半双対的加群の構成をすること。

提案手法

• 加群の $C$-転置と $\operatorname{Ext}$ の消滅条件を用いて、$n$-C-捩れ自由性の概念を導入・利用すること。
• 適切な仮定のもとで、$n$-C-捩れ自由性、$n$-C-普遍押し上げの存在、$n$-C-シンジーガー性、$(S_n)$ の満たし方の4つが同値であることを確立すること。
• 高さ $< n$ なる素イデアルにおける $(G_{n-1}^C)$ または局所的全 $C$-反射的性質を仮定することで、同値性の成立を保証すること。
• 主結果を用いて、高さ $< n$ なる素イデアル $\frak p$ に対して $R_{\frak p}$ の構造を解析すること、特に $R$ がコhen＝マカウル環である場合に注目すること。
• 特定の商環 $R = S/I_2$ に対して $C = \mathrm{Ext}^2_S(R,S)$ を用いて、非自明な半双対的加群を構成すること。ここで $S$ はコhen＝マカウル環である。
• $R$ が $(G_n^C)$ を満たすことを保証するために、すべての高さ $\leq n$ なる $\frak p$ に対して $C_{\frak p}$ が $R_{\frak p}$ の canonical 加群であることを確認すること。

実験結果

リサーチクエスチョン

• RQ1 もし $R$ が $(S_n)$ を満たし、$C$-反射的性質や $(G_{n-1}^C)$ に関する局所的条件も満たすならば、$R$-加群 $M$ がいつ $n$-C-捩れ自由になるか？
• RQ2 コhen＝マカウル環 $R$ に対して、高さが $n$ 未満のすべての素イデアル $\frak p$ に対して $R_{\frak p}$ がゴレンシュタインとなるような条件は何か？
• RQ3 主同値性結果を用いて、Tachikawa および Auslander-Reiten 予想に進展を図ることができるか？
• RQ4 ゴレンシュタインでないコhen＝マカウル環上での非自明な半双対的加群の明示的構成は何か？

主な発見

• $R$ が $(S_n)$ を満たし、かつ $\operatorname{ht}(\frak p) < n$ なる素イデアルについて $(G_{n-1}^C)$ または局所的全 $C$-反射的性質を満たすならば、$n$-C-捩れ自由性、$n$-C-シンジーガー性、$(S_n)$ の満たし方が同値である。
• コhen＝マカウル環 $R$ に対して、すべての高さ $< n$ なる素イデアル $\frak p$ に対して $R_{\frak p}$ がゴレンシュタインであることは、$R$ が $(G_{n-1}^C)$ を満たし、かつ適切な半双対的加群 $C$ について $R$ が $n$-C-捩れ自由であることと同値である。
• $R$ が $n$-C-捩れ自由であり、$(G_{n-1}^C)$ を満たすならば、いくつかの有限生成加群が自由であることが示され、Tachikawa および Auslander-Reiten 予想が部分的に解決される。
• $S$ がコhen＝マカウル環で、$R = S/I_2$ かつ $I_2$ が正則列のべきであるとき、$C = \mathrm{Ext}^2_S(R,S)$ は非自明な半双対的 $R$-加群を定める。
• $S$ を $d+2$ 次元のコhen＝マカウル環とし、$I_2 = (y_1,y_2)^\ell$ とすると、$R = S/I_2$ は $n = d-1$ に対して $(G_n^C)$ を満たすが、$R$ はゴレンシュタインではない。
• 具体例において、すべての高さ $\leq n$ なる $\frak p$ に対して $C_{\frak p}$ が $R_{\frak p}$ の canonical 加群であることが確認され、$R$ が $(G_n^C)$ を満たすことが裏付けられる。これは $R$ がすべての $n$ に対して $(G_n^R)$ を満たさない場合でも成り立つ。