[論文レビュー] Representations of quivers over the algebra of dual numbers

Claus Michael Ringel, Pu Zhang|arXiv (Cornell University)|Dec 8, 2011

Algebraic structures and combinatorial models被引用数 9

ひとこと要約

本稿は、体 $k$ 上の双数代数 $k[\epsilon]$ 上のクイバーの表現を調査し、完全微分 $kQ$-加群の圏が、その安定圏が $D^b(\text{mod } kQ)/[1]$ に同値であるフォン・ルーリング（Frobenius）圏をなすことを示している。主な貢献は、$\text{mod } \Lambda$ から $\text{mod } kQ$ への全且つ稠密なホモロジー関手 $H$ の構成であり、これは安定圏内の極小非可約対象と $\text{mod } kQ$ 内のそれらの間の全単射を誘導する。この関手はオースランダー＝レインテン理論およびゴレンシュタインホモロジー代数への応用を持つ。

ABSTRACT

The representations of a quiver Q over a field k have been studied for a long time. It seems to be worthwhile to consider also representations of Q over arbitrary finite-dimensional k-algebras A. Here we draw the attention to the case when A = k[ε] is the algebra of dual numbers, thus to the Λ-modules with Λ= kQ[ε]. The algebra Λ is a 1-Gorenstein algebra, therefore the torsionless Λ-modules are known to be of special interest (as the Gorenstein-projective or maximal Cohen-Macaulay modules). They form a Frobenius category \Cal L, thus the corresponding stable category is a triangulated category. As we show, the category \Cal L is the category of perfect differential kQ-modules and the stable category of \Cal L is triangle equivalent to the orbit category of the derived category D^b(mod kQ) modulo the shift. The homology functor H from mod Λ to \mod kQ yields a bijection between the indecomposables in the stable category of \Cal L and those in mod kQ. Our main interest lies in the inverse, it is given by the minimal \Cal L-approximation. Also, we determine the kernel of the restriction of the functor H to \Cal L and we describe the Auslander-Reiten quiver of \Cal L.

研究の動機と目的

• クイバー $Q$ についての双数代数 $k[\epsilon]$ 上の表現の圏を分析し、その構造的およびホモロジー的性質を同定すること。
• 完全微分 $kQ$-加群の安定圏と、有界導来圏 $D^b(\text{mod } kQ)$ の軌道圏との間の対応を確立すること。
• ホモロジー関手 $H: \text{mod } \Lambda \to \text{mod } kQ$ の特徴づけと、特に捩れなし $\Lambda$-加群の部分圏におけるその挙動を明らかにすること。
• 完全微分 $kQ$-加群の圏およびその安定圏のオースランダー＝レインテンクイバーを記述すること。

提案手法

• $\Lambda = kQ[\epsilon] = kQ[T]/(T^2)$ を用い、$\Lambda$-加群を $k[\epsilon]$ 上の $Q$ の表現として同定すること。
• ゴレンシュタインホモロジー代数の応用：$\Lambda$ が 1-ゴレンシュタインであるため、捩れなし $\Lambda$-加群の圏 $L$ はフォン・ルーリング圏である。
• ホモロジー関手 $H: \text{mod } \Lambda \to \text{mod } kQ$ の構成、各頂点および射において $H(M) = \ker(\epsilon)/\operatorname{im}(\epsilon)$ で定義される。
• 完全微分 $kQ$-加群の安定圏の三角的モデルとして、軌道圏 $D^b(\text{mod } kQ)/[1]$ を用いること。
• 被覆理論および群付き代数の技法を用い、$kQ$ 上の完全複体と完全微分 $kQ$-加群との関係を関係づけること。
• 最小の $L$-近似を用いてホモロジー関手の逆写像を構成し、$\Lambda$-加群をそのホモロジーから再構成可能であるようにすること。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー関手 $H$ は、$\Lambda = kQ[\epsilon]$-加群の圏上でどのように振る舞うか、特に完全微分 $kQ$-加群の部分圏においてはいかなるか？
• RQ2 完全微分 $kQ$-加群の安定圏と軌道圏 $D^b(\text{mod } kQ)/[1]$ の間の関係は何か？
• RQ3 極小非可約 $\Lambda$-加群は、そのホモロジーから再構成可能か？ もしそうなら、どのような構成によって可能か？
• RQ4 完全微分 $kQ$-加群の圏のオースランダー＝レインテンクイバーと $\text{mod } kQ$ のそれらの関係は何か？
• RQ5 $\Lambda$-加群の捩れなし部分圏 $L$ への $H$ の制限の核の構造は何か？

主な発見

• 完全微分 $kQ$-加群の圏はフォン・ルーリング圏をなし、その安定圏は三角的であり、$D^b(\text{mod } kQ)/[1]$ に同値である。
• ホモロジー関手 $H: \text{mod } \Lambda \to \text{mod } kQ$ は、完全微分 $kQ$-加群の安定圏上で全かつ稠密であり、安定圏内の極小非可約対象の同型類と $\text{mod } kQ$ 内のそれらの間の全単射を誘導する。
• 完全微分 $kQ$-加群の安定圏のオースランダー＝レインテンクイバーは、ホモロジー関手を通じて $\text{mod } kQ$ のオースランダー＝レインテンクイバーのフル埋め込みを含む。
• $\Lambda$-加群の捩れなし部分圏 $L$ への $H$ の制限の核は、微分加群構造においてホモトピー的にゼロである加群からなる。
• 次元ベクトル $r$ を固定したとき、$\dim H(M) = r$ を満たす完全微分 $kQ$-加群は、ちょうど一つの極小非可約加群、またはそのような加群の1パラメータ族が存在する。
• 一般に、ホモロジー関手 $H$ は $\text{mod } \Lambda$ 全体で極小非可約性を保存しない。反例により、$M$ が極小非可約でも $H(M)$ が可約である場合があることが示された。