[論文レビュー] Cohen-Macaulay Auslander algebras of gentle algebras

Xinhong Chen, Ming Lu|arXiv (Cornell University)|Feb 13, 2015

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

ひとこと要約

この論文は、任意のgentle代数 Λ = KQ/I に対して、Cohen-Macaulay Auslander代数のクーヴィーと関係を明示的に構成し、Λ が表現的有限であるための必要十分条件が、そのCohen-Macaulay Auslander代数が表現的有限であることと一致することを証明している。さらに、クーヴィー Q にループがなく、すべての Λ-加群が次元ベクトルによって一意に決定されるならば、同様の性質がAuslander代数の加群に対しても成り立つことを示している。

ABSTRACT

For any gentle algebra $Λ=KQ/\langle I angle$, following Kalck, we describe the quiver and the relations for its Cohen-Macaulay Auslander algebra $\mathrm{Aus}(\mathrm{Gproj}Λ)$ explicitly, and obtain some properties, such as $Λ$ is representation-finite if and only if $\mathrm{Aus}(\mathrm{Gproj}Λ)$ is; if $Q$ has no loop and any indecomposable $Λ$-module is uniquely determined by its dimension vector, then any indecomposable $\mathrm{Aus}(\mathrm{Gproj}Λ)$-module is uniquely determined by its dimension vector.

研究の動機と目的

• 任意のgentle代数 Λ に対して、Cohen-Macaulay Auslander代数 Aus(Gproj Λ) のクーヴィーと関係を明示的に記述すること。
• Λ の表現的有限性がそのCohen-Macaulay Auslander代数とどのように関係するかを調査すること。
• Auslander代数の非分解加群が次元ベクトルによって一意に決定される条件を特定すること。
• Λ がschurian またはループを含まない場合に、Auslander代数の構造的性質を調査すること。
• gentle代数の文脈において、加群の一意性、クーヴィー構造、代数的不変量との関係を確立すること。

提案手法

• Λ におけるGorenstein射影加群の構造を用いて、Cohen-Macaulay Auslander代数のクーヴィー QAus とイデアル IAus を構成する。
• 既知のストリング加群およびストリング代数に関する結果を適用し、Auslander代数における非分解加群を分類する。
• gentle代数がCM-有限かつGorensteinであることを利用し、Auslander代数のグローバル次元と加群圏を分析する。
• gentle代数における非分解加群のストリング加群パラメトライゼーションを活用し、性質をAuslander代数へと移行する。
• 次元ベクトル解析とクーヴィー組合せ論を用いて、加群の一意性条件を研究する。
• クーヴィーにおけるサイクルとパスの構造を活用し、Auslander代数におけるストリングが各頂点を最大でも一度しか通らないことを証明し、schurian性を保証する。

実験結果

リサーチクエスチョン

• RQ1 gentle代数のCohen-Macaulay Auslander代数の明示的クーヴィーと関係のセットは何か？
• RQ2 gentle代数のCohen-Macaulay Auslander代数が表現的有限であるのはいつか？
• RQ3 Auslander代数の非分解加群が次元ベクトルによって一意に決定される条件は何か？
• RQ4 gentle代数のクーヴィーにループがない場合、そのCohen-Macaulay Auslander代数における加群の一意性にどのような影響があるか？
• RQ5 schurianなgentle代数のCohen-Macaulay Auslander代数は、自身もschurianかつgentleであるか？

主な発見

• Theorem 3.5 において、任意のgentle代数 Λ に対して、Cohen-Macaulay Auslander代数 Aus(Gproj Λ) のクーヴィーと関係が明示的に記述されている。
• Theorem 4.4 により、Λ が表現的有限であることと、そのCohen-Macaulay Auslander代数が表現的有限であることは同値である。
• Λ のクーヴィー Q にループがなく、すべての非分解 Λ-加群が次元ベクトルによって一意に決定されるならば、すべての非分解 Aus(Gproj Λ)-加群も次元ベクトルによって一意に決定される。これは Theorem 4.6 で示されている。
• Corollary 4.10 によれば、Aus(Gproj Λ)-加群圏に同じ次元ベクトルを持つ非同型の非分解加群が2つ存在するならば、Λ は K[X]/⟨X²⟩ に同型でなければならない。
• Proposition 4.11 により、schurianなgentle代数のCohen-Macaulay Auslander代数は、自身もschurianかつgentleな代数である。
• Proposition 4.11 の証明は、Auslander代数における任意のストリング加群が各頂点を最大でも一度しか通らないことを示すことに依拠しており、これによりschurian性が保たれる。