[論文レビュー] Self-injective commutative rings have no nontrivial rigid ideals

Haydee Lindo|arXiv (Cornell University)|Oct 4, 2017

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

ひとこと要約

この論文は、自己自己同型的可換環—特に局所アービン・ゴレンシュタイン環—が非自明な剛性イデアルをもたないことを確立する。トレース加群とExtの消滅を結びつけることで、任意の適切なトレース加群（特にイデアルを含む）のシンジーガイが非ゼロの自己自己拡張を持つことを証明し、この文脈では自由加群のみが剛性をもてるということを示し、したがってこのような環上のイデアルについてオースランダー–ライテン予想を裏付ける。

ABSTRACT

We establish a link between trace modules and rigidity in modules over Noetherian rings. Using the theory of trace ideals we make partial progress on a question of Dao, and on the Auslander-Reiten conjecture over Artinian Gorenstein rings.

研究の動機と目的

• ネーター環上の加群におけるトレース加群と剛性の相関関係を調査すること。
• ドウが提起した、アービン・ゴレンシュタイン環におけるイデアルの剛性に関する問いに応えること。
• アービン・ゴレンシュタイン環上のイデアルについて、オースランダー–ライテン予想に対する部分的確認を提供すること。
• 特に自己自己同型環の文脈において、適切なトレース加群がいつ剛性をもつのかを特定すること。
• イデアルのシンジーガイについて、Ext¹が消えるか、消えないかの条件を確立すること。

提案手法

• トレースイデアルとトレース加群の理論を用いる。トレース加群とは、ある加群から別の加群へのすべての準同型の像の和として定義される。
• Lemma 2.7 を適用する。この補題は、Hom(M, X/M) の消滅が、M が X におけるトレース加群であることと関連しており、特に M が剛性をもつ場合に有効である。
• アービン・ゴレンシュタイン環では、すべての適切なイデアルがトレースイデアルであり、環が自己自己同型的であることを利用する。
• ゴレンシュタイン環において、剛性（Ext¹(M,M) の消滅）がシンジーガイの取り扱いにおいて保存されることを活用する。
• Hom(M, X/M) の消滅と M がトレース加群であることの同値性を用いて、非自由加群が剛性をもつと仮定した場合の矛盾を導出する。
• ゴレンシュタイン環論の結果を適用する。特に、Ext¹ が消えるのは、モジュールが適切なトレース加群でない場合に限ることを用いる。

実験結果

リサーチクエスチョン

• RQ1 局所アービン・ゴレンシュタイン環における非自由イデアルが剛性をもてるか。
• RQ2 適切なトレース加群のシンジーガイ M に対して、Ext¹(M,M) が消える条件は何か。
• RQ3 アービン・ゴレンシュタイン環におけるイデアルについて、オースランダー–ライテン予想は成り立つか。
• RQ4 適切なトレース加群が、いつ環において剛性をもつのか。
• RQ5 自己自己同型環において、トレースイデアルとExt群の消滅の関係は何か。

主な発見

• 局所アービン・ゴレンシュタイン環における任意の適切なイデアルは、命題 3.1 で示されたようにトレースイデアルである。
• 局所アービン・ゴレンシュタイン環において、適切なトレース加群のシンジーガイ M に対して、Ext¹_R(M,M) ≠ 0 であることが、定理 3.9 で証明された。
• このような環におけるイデアルのシンジーガイとして得られる剛性加群は、すべて自由加群でなければならない。これは、系 3.10 で示された。
• 局所アービン・ゴレンシュタイン環におけるすべてのイデアルについて、オースランダー–ライテン予想は成り立つ。なぜなら、この文脈では自由加群のみが剛性をもてるからである。
• 適切なイデアル I に対して、Hom_R(I, R/I) ≠ 0 であることは、I が剛性をもてないことを意味し、非自由な剛性加群の排除に用いられた。
• 局所アービン・ゴレンシュタイン環では、非自明な適切なトレースイデアルは剛性をもてない。これは、Hom(I, R/I) の非消滅と、それによる Ext¹ の非消滅に起因する。