[論文レビュー] Deformed preprojective algebras of type L: Kuelshammer spaces and derived equivalences

Thorsten Holm, Alexander Zimmermann|arXiv (Cornell University)|Oct 1, 2010

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

ひとこと要約

本稿は、Külshammer空間を用いて型$L_n$の変形された前射影的代数を研究し、それらの次元に対して明示的な公式を導出する。これらの不変量が、$n \geq 5$ の場合、安定的モルita同値および導来同値に関して多くのこのような代数を区別できることを確立しているが、高次のKülshammer空間における不変性のため、一部のケースについては未解決のまま残っている。

ABSTRACT

Bialkowski, Erdmann and Skowronski classified those indecomposable self-injective algebras for which the Nakayama shift of every (non-projective) simple module is isomorphic to its third syzygy. It turned out that these are precisely the deformations, in a suitable sense, of preprojective algebras associated to the simply laced ADE Dynkin diagrams and of another graph L_n, which also occurs in the Happel-Preiser-Ringel classification of subadditive but not additive functions. In this paper we study these deformed preprojective algebras of type L via their Kuelshammer spaces, for which we give precise formulae for their dimensions. These are known to be invariants of the derived module category, and even invariants under stable equivalences of Morita type. As main application of our study of Kuelshammer spaces we can distinguish many (but not all) deformations of the preprojective algebra of type L up to stable equivalence of Morita type, and hence also up to derived equivalence.

研究の動機と目的

• 変形された前射影的代数$L_n$の構造と不変量をKülshammer空間を用いて分析すること。
• これらの代数がモルita型の安定的同値または導来同値であるかどうかを特定すること。
• 導来同値および安定的同値の不変量を用いて、型$L_n$の前射影的代数の変形を分類すること。
• 変形された$L_n$の場合におけるKülshammer空間の次元に対して明示的な公式を提供すること。

提案手法

• 著者たちは、頂点0における多項式変形を含む関係を持つクーヴィーを用いて、変形された前射影的代数$L_n^p$を定義する。
• 彼らは、$i=1$ の場合の公式$\dim_K(T_1(L_n^{X^{2j}})) - \dim_K([L_n^{X^{2j}}, L_n^{X^{2j}}]) = n - \left\lceil \frac{n-j-1}{2} \right\rceil$ を用いてKülshammer空間の次元を計算し、$i$ を高次に一般化する。
• 不変量の結果を適用する：Külshammer空間は導来同値およびモルita型の安定的同値に対して安定である。
• 導来不変量としてのキャタラン行列の行列式$2^n$を用い、不変量による分類を支援する。
• 構造的分析を支援するために、明示的な$K$-基底と中心の計算が提供される。
• $n=2,3,5$ の例を用いて、不変量の違いと限界を説明する。

実験結果

リサーチクエスチョン

• RQ1 どの$j$の値に対して、代数$L_n^{X^{2j}}$はモルita型の安定的同値または導来同値であるか？
• RQ2 Külshammer空間の次元は、型$L_n$のすべての変形された前射影的代数を区別できるか？
• RQ3 $\{j,k\} = \{n-2r, n-2r-1\}$ を満たすある$r$に対して、代数$L_n^{X^{2j}}$と$L_n^{X^{2k}}$は安定的同値であるか？
• RQ4 $L_5^{X^0}$と$L_5^{X^2}$はなぜ第二Külshammer空間によってのみ区別可能なのか？
• RQ5 $L_5^{X^4}$と$L_5^{X^6}$は、第一Külshammer不変量が同一であるにもかかわらず、モルita型の安定的同値であるか？

主な発見

• 安定的同値および導来同値の下で不変な次元の差$\dim_K(T_1(L_n^{X^{2j}})) - \dim_K([L_n^{X^{2j}}, L_n^{X^{2j}}]) = n - \left\lceil \frac{n-j-1}{2} \right\rceil$ が成り立つ。
• $n=5$ の場合、第二Külshammer空間は、第一空間では区別できない$L_5^{X^0}$と$L_5^{X^2}$を区別する。
• $L_5^{X^0}$、$L_5^{X^2}$、$L_5^{X^4}$、$L_5^{X^8}$ は、互いにモルita型の安定的同値ではないため、導来同値でもない。
• 未変形の代数$L_n^{X^{2(n-1)}}$は、$j < n-1$ であるすべての$L_n^{X^{2j}}$とモルita型の安定的同値ではない。ただし、$j$ と $k$ が$\{n-2r, n-2r-1\}$ の形を取らない限り。
• $n=3$ の場合、$L_3^{X^0}$と$L_3^{X^2}$は第一Külshammer空間では区別できないため、その安定的または導来同値性は未解決のままである。
• Külshammer空間の不変量は、$L_5^{X^4}$と$L_5^{X^6}$を区別できないため、その安定的同値性は未解決のままである。