[论文解读] Cohen-Macaulay Auslander algebras of gentle algebras

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

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

一句话总结

本文明确定義了任意柔順代數 Λ = KQ/I 的 Cohen-Macaulay Auslander 代數的 quiver 與關係，證明 Λ 是表示有限型若且唯若其 Cohen-Macaulay Auslander 代數亦為表示有限型。此外，若 quiver 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.

研究动机与目标

• 為任意柔順代數 Λ 明確描述 Cohen-Macaulay Auslander 代數 Aus(Gproj Λ) 的 quiver 與關係。
• 探討 Λ 的表示有限性與其 Cohen-Macaulay Auslander 代數之間的關係。
• 確定 Auslander 代數的不可約模由其維數向量唯一決定的條件。
• 探討當 Λ 為 Schurian 或無環時，Auslander 代數的結構性質。
• 在柔順代數的脈絡下，建立模唯一性、quiver 結構與代數不變量之間的關聯。

提出的方法

• 利用 Λ 上 Gorenstein 專案模的結構，構造 Cohen-Macaulay Auslander 代數的 quiver QAus 與理想 IAus。
• 應用關於字串模與字串代數的已知結果，分類 Auslander 代數上的不可約模。
• 利用柔順代數為 CM-有限且 Gorenstein 的性質，分析 Auslander 代數的整體維數與模類別。
• 藉由柔順代數上不可約模的字串模參量化，將性質轉移至 Auslander 代數。
• 運用維數向量分析與 quiver 組合學，研究模的唯一性條件。
• 利用 quiver 中環與路徑的結構，證明 Auslander 代數中的字串至多經過每個頂點一次，從而確保 Schurian 性質。

实验结果

研究问题

• RQ1 柔順代數的 Cohen-Macaulay Auslander 代數的顯式 quiver 與關係為何？
• RQ2 何時柔順代數的 Cohen-Macaulay Auslander 代數為表示有限型？
• RQ3 在何種條件下，Cohen-Macaulay Auslander 代數上的不可約模由其維數向量唯一決定？
• RQ4 若柔順代數的 quiver 無環，對其 Cohen-Macaulay Auslander 代數中模的唯一性有何影響？
• RQ5 Schurian 柔順代數的 Cohen-Macaulay Auslander 代數是否亦為 Schurian 且柔順？

主要发现

• Theorem 3.5 明確描述了任意柔順代數 Λ 的 Cohen-Macaulay Auslander 代數 Aus(Gproj Λ) 的 quiver 與關係。
• Theorem 4.4 證明 Λ 為表示有限型若且唯若其 Cohen-Macaulay Auslander 代數亦為表示有限型。
• 若 Λ 的 quiver Q 無環，且每個不可約 Λ-模均由其維數向量唯一決定，則每個不可約 Aus(Gproj Λ)-模亦由其維數向量唯一決定，此結果見於 Theorem 4.6。
• 若 Aus(Gproj Λ)-模類別中存在兩個非同構的不可約模具有相同維數向量，則 Λ 必同構於 K[X]/⟨X²⟩，此結論由推論 4.10 所證。
• Proposition 4.11 證明：Schurian 柔順代數的 Cohen-Macaulay Auslander 代數本身亦為 Schurian 柔順代數。
• Proposition 4.11 的證明依賴於證明：Auslander 代數中的任一字串模至多經過每個頂點一次，從而保持 Schurian 性質。