[論文レビュー] Locally Gorensteinness over Cohen-Macaulay rings

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

Algebraic structures and combinatorial models参考文献 2被引用数 7

ひとこと要約

本稿は、セミ双対的モジュールを用いた相対的トーションフリー性の特徴付けを、セレの(S_n)条件を用いて行った。さらに、コhen-マカウル環Rが高さn未満のすべての素イデアルpに対してR_pがゴレンシュタインであるための基準を提示し、セミ双対的モジュールと(S_n)条件を通じて局所的ゴレンシュタイン性とホモロジー的条件を結びつけた。

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 an application we give a characterization of Cohen-Macaulay rings R such that R_p is Gorenstein for all prime ideals p with height less than n.

研究の動機と目的

• セレの条件(S_n)を用いて、セミ双対的モジュールに関するモジュールのトーションフリー性を特徴付けること。
• コhen-マカウル環Rが高さn未満のすべての素イデアルpに対してR_pがゴレンシュタインであるようなホモロジー的条件を調査すること。
• コhen-マカウル環における局所的ゴレンシュタイン性とホモロジー的有限性条件との間の関係を確立すること。
• セミ双対的モジュールの観点から、コhen-マカウル環の局所化におけるゴレンシュタイン性の理解を拡張すること。

提案手法

• セミ双対的モジュールの理論を用いて、相対的モジュールカテゴリーにおけるトーションフリー性を定義・分析する。
• モジュールの深さと次元の挙動を制御するためのホモロジー的基準として、セレの条件(S_n)を適用する。
• 局所コホホロジーと双対性理論を用いて、(S_n)条件と局所化のゴレンシュタイン性との関係を関係づける。
• バース数と正規化モジュールの振る舞いを、セミ双対的モジュールと関連付けて分析する。
• 相対的ゴレンシュタイン次元の概念を用いて、局所化がいつゴレンシュタインであるかを特徴付ける。
• オースランダー＝ブッハヴァイツ近似理論と(S_n)条件との相互作用を用いて、主要な結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、モジュールはセミ双対的モジュールに関してトーションフリーとなるか？
• RQ2 セミ双対的モジュールの文脈において、セレの条件(S_n)はトーションフリー性とどのように関係するか？
• RQ3 コhen-マカウル環Rが、高さn未満のすべての素イデアルpに対してR_pがゴレンシュタインであるのは、いつか？
• RQ4 どのようなホモロジー的条件が、高さが有界な素イデアルにおけるコhen-マカウル環の局所化がゴレンシュタインであることを保証するか？
• RQ5 セミ双対的モジュールの構造は、コhen-マカウル環における局所的ゴレンシュタイン性を検出するためにどのように利用できるか？

主な発見

• 適切な仮定の下で、セミ双対的モジュールに関するモジュールのトーションフリー性は、そのモジュールがセレの条件(S_n)を満たすことと同値である。
• コhen-マカウル環Rが高さn未満のすべての素イデアルpに対してR_pがゴレンシュタインであるための必要十分条件は、Rの正規化モジュールがセミ双対的モジュールに関して(S_n)条件を満たすことである。
• 本稿は、低高さの素イデアルにおけるコhen-マカウル環の局所化がゴレンシュタインであるかどうかを特徴付けるホモロジー的基準を、(S_n)条件を用いて確立した。
• トーションフリー性と深さ条件を制御するセミ双対的モジュールの役割を統合することで、従来のゴレンシュタイン局所化に関する研究を拡張した。
• 本研究は、コhen-マカウル環における局所的ゴレンシュタイン性を研究するための新しいホモロジー的フレームワークを提供する。
• セミ双対的モジュールと(S_n)条件との相互作用により、高さが有界な異なる素イデアルにおける局所的ゴレンシュタイン性を一様に取り扱うことが可能になった。