[論文レビュー] A Note on Auslander Bounds

Jiaqun Wei|arXiv (Cornell University)|Feb 8, 2008

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

ひとこと要約

この論文は、アートン代数 R 上の加群 M に対して、十分に大きい i に対して Ext^i_R(M, M ⊕ R) が消えるならば、M の射影次元は lAb|modRM に等しい、すなわち modR のすべての加群における Ext の消える最小の境界に等しいことを確立する。この結果はアウスランダー＝ライデンの予想を支持し、lAb|modRM がすべての M に対して有限であるならば、R に対してワカマツ・チルティング予想とアウスランダー＝ライデン予想が成り立つことを示唆する。

ABSTRACT

Let R be a ring and modR be the category of all left R-modules possessing of finitely generated projective resolutions. Let lAb|modRM denote the minimal nonnegative integer m (or ∞ if no such integer exists) such that Ext i R (M, N) = 0 for all i> m and all N ∈ modR satisfying Ext i R (M, N) = 0 for all sufficiently large i. Auslander once conjectured lAb|modRM < ∞ for every M ∈ modR for any artin algebra R, but it is now known that the Auslander Conjecture fails by a counterexample due to Jorgensen and Sega. We show that if M ∈ modR and Ext i R (M, M ⊕ R) = 0 for all sufficiently large i, then the projective dimension of M coincides with lAb|modRM. The result is clearly relational to the Auslander-Reitein Conjecture which states that that if M ∈ modR and Ext i R(M, M ⊕ R) = 0 for all i> 0 then M is projective. As corollaries, we obtain that if R satisfies the condition that lAb|modRM < ∞ for every M ∈ modR, then an equivalent version of the Wakamatsu-tilting Conjecture, particularly the Auslander-Reitein Conjecture, holds for R, i.e., an R-module T ∈ modR is tilting if and only if (1) Ext i R(T, T) = 0 for all i> 0 and (2) there is an exact sequence 0 → R → T0 · · · → Tn → 0 for some n, with each Ti ∈ addT. We also investigate the Gorenstein Symmetry Conjecture and the finitistic Auslander conjecture which is stronger than the finitistic dimension conjecture and give some partial answers and consequences.

研究の動機と目的

• 十分に大きい i に対して Ext^i_R(M, M ⊕ R) が消えることと、lAb|modRM の有限性との関係を調査すること。
• lAb|modRM が有限である条件を特定し、それとアウスランダー＝ライデン予想との関係を明らかにすること。
• lAb|modRM が有限であることのワカマツ・チルティング予想および関連するホモロジー的予想への影響を検討すること。
• ゴレンシュタイン対称性予想およびフィニティスティック・アウスランダー予想に対する部分的な解答を提供すること。

提案手法

• lAb|modRM を、すべての N ∈ modR に対して Ext^i_R(M, N) = 0 となるような最小の非負整数 m として定義する。ただし、すべての i に対して Ext^i_R(M, N) = 0 となるような N に対しては、十分に大きい i に対して Ext^i_R(M, N) = 0 であると仮定する。
• 十分に大きいすべての i に対して Ext^i_R(M, M ⊕ R) = 0 であるという条件を用いて、pd(M) = lAb|modRM を証明する。
• modR 内の完全系列とチルティング加群の理論を応用し、チルティング条件と Ext 群の消える性質の同値性を分析する。
• lAb|modRM が有限であるならば、R に対してワカマツ・チルティング予想が成り立つことを示すことで、その予想への影響を確立する。
• 射影的分解と Ext の消える性質を含むホモロジー代数的技法を用いて、ゴレンシュタイン対称性予想に対する帰結を導出する。
• lAb|modRM フレームワークを用いて、フィニティスティック・アウスランダー予想を、フィニティスティック次元予想の強いバージョンとして考察する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で加群 M の射影次元が lAb|modRM に等しくなるか？
• RQ2 十分に大きい i に対して Ext^i_R(M, M ⊕ R) が消えることは、lAb|modRM の有限性とどのように関係するか？
• RQ3 すべての M ∈ modR に対して lAb|modRM < ∞ であると仮定した場合、ワカマツ・チルティング予想およびアウスランダー＝ライデン予想にどのような影響があるか？
• RQ4 lAb|modRM フレームワークを用いることで、ゴレンシュタイン対称性予想を部分的に解決できるか？
• RQ5 すべての加群に対して lAb|modRM の有限性とフィニティスティック・アウスランダー予想の関係は何か？

主な発見

• 十分に大きいすべての i に対して Ext^i_R(M, M ⊕ R) = 0 ならば、M の射影次元は lAb|modRM に等しい。
• すべての M ∈ modR に対して lAb|modRM が有限であるならば、R に対してワカマツ・チルティング予想が成り立つ。
• 同じ有限性条件のもとで、アウスランダー＝ライデン予想は、Ext の消える性質と有限射影的分解によるチルティング加群の標準的特徴づけと同値である。
• lAb|modRM フレームワークを通じて、ゴレンシュタイン対称性予想に対する部分的な支援が得られた。
• フィニティスティック・アウスランダー予想は、modR のすべての加群にわたる lAb|modRM の一様な有限性と関係していることが示された。
• この結果は、加群の射影性およびチルティング行動に関する新しいホモロジー的基準を提供する。