[論文レビュー] On radical square zero rings

Claus Michael Ringel, Bao-Lin Xiong|arXiv (Cornell University)|Dec 6, 2011

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

ひとこと要約

本稿は、根基の平方がゼロで、n 個の単純モジュールをもつ連結な左アートン環 Λ に対して、Ext^i(M,Λ) = 0（1 ≤ i ≤ n+1）を満たす任意のモジュール M が、Λ が自己自己的でない限り射影的であることを確立する。主な貢献は、この境界 n+1 が最適であることを示し、根基の平方がゼロで非自己自己的であるアートン代数のうち、Ext が次数 n まで消える非射影的モジュールをもつものについて完全に分類することにある。

ABSTRACT

Let A be a connected left artinian ring with radical square zero and with n simple modules. If A is not self-injective, then we show that any module M with Ext^i(M,A) = 0 for 1 \le i \le n + 1 is projective. We also determine the structure of the artin algebras with radical square zero and n simple modules which have a non-projective module M such that Ext^i(M,A) = 0 for 1 \le i \le n.

研究の動機と目的

• 根基の平方がゼロであるアートン代数におけるチェンのCMモジュールに関する結果を左アートン環へ一般化すること。
• 非自己自己的で根基の平方がゼロである環において、Ext が消える境界の正確な値を特定すること。
• 根基の平方がゼロで単純モジュールが n 個あるアートン代数で、Ext^i(M,Λ) = 0（1 ≤ i ≤ n）を満たす非射影的モジュール M をもつものすべてを分類すること。
• syzygyチェーンと単純モジュールにおけるExt消える性質を通じて、そのような環とモジュールの構造を特徴づけること。
• Ext が次数 n まで消えるが n+1 では消えない具体例を構成することで、境界 n+1 が最適であることを示すこと。

提案手法

• 射影被覆の反復核としての構造を解析するためのsyzygyファンクター Ω_i の使用。
• 同型式 Ext^i(M,Λ) ≅ Ext^{i-1}(ΩM,Λ) の適用により、問題をsyzygyモジュールに還元すること。
• 根基の平方がゼロの環ではすべてのsyzygyモジュールが半単純になるという事実を活用し、単純モジュールを通じた解析を可能にすること。
• Ext が消える性質に関する帰納法を用いて、Ext^i(S,Λ) = 0（1 ≤ i ≤ d）を満たす非射影的単純モジュール S が、射影的被覆が単純なモジュールの鎖を生成することを示すこと。
• 非射影的モジュールが Ext が次数 n まで消えるような環の構造を分類するための特定のExtクイバー Δ(n,t) の構成。
• 特にAuslander-Reiten変換 τ を用いたAuslander-Reiten理論の応用により、そのようなモジュールの構造を解析し、Ext が次数 n を超えて消えると矛盾が生じることを導出すること。

実験結果

リサーチクエスチョン

• RQ1 根基の平方がゼロで単純モジュールが n 個ある環 Λ が自己自己的でないとき、Ext^i(M,Λ) = 0（すべての 1 ≤ i ≤ d）を満たす M が射影的であるような最小の次数 d は何か？
• RQ2 射影性を示すために必要な Ext が消える境界 d = n+1 は改善可能か、あるいは最適か？
• RQ3 根基の平方がゼロで単純モジュールが n 個あるアートン代数で、Ext^i(M,Λ) = 0（すべての 1 ≤ i ≤ n）を満たす非射影的モジュール M をもつものとしての構造は何か？
• RQ4 このような環において、単純モジュールにおける Ext 消える条件は、射影的被覆と単純包の構造とどのように関係するか？
• RQ5 Auslander-Reitenクイバーと変換ファンクター τ は、高次の Ext 消える非射影的モジュールを分類するために果たす役割は何か？

主な発見

• 根基の平方がゼロで単純モジュールが n 個ある連結な左アートン環 Λ に対して、Ext^i(M,Λ) = 0（すべての 1 ≤ i ≤ n+1）を満たし、かつ Λ が自己自己的でないとき、M は射影的でなければならない。
• 境界 n+1 は最適である：Ext^i(M,Λ) = 0（すべての 1 ≤ i ≤ n）を満たす非射影的モジュール M をもつ、非自己自己的で根基の平方がゼロのアートン代数が存在する。
• このような環は、t が平方数 m² であるような Ext-クイバー Δ(n,t) によって分類され、構造は非射影的単純モジュールの巡回鎖 S₀, S₁, ..., S_{n-1} で、S_n ≅ S₀ を満たすもので特徴づけられる。
• Ext^i(M,Λ) = 0（1 ≤ i ≤ n）を満たす唯一の非射影的モジュール M は、M = Tr(DS₀) で与えられ、ここで S₀ は Ext^i(S₀,Λ) = 0（1 ≤ i ≤ n−1）を満たす唯一の単純モジュールである。
• モジュール M = Tr(DS₀) の長さは t² + t − 1 であり、t は M の構造から一意に復元可能であることが示され、不変量 t が M から一意に復元可能であることを示している。
• Ext-クイバーが Δ(n,t) であるアートン代数では、パラメータ t は平方数でなければならない。このような代数は、n + m − 1 個の矢印と長さ 2 以上のすべての経路を消す関係を持つクイバーの経路代数とモリタ同値であり、t = m² である。