[論文レビュー] Characterizing τ-rigid-finite algebras with radical square zero

Takahide Adachi|arXiv (Cornell University)|Jan 7, 2014

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

ひとこと要約

本稿は、分離クイバーの構造を用いて、根基の平方がゼロであるτ-剛性有限代数を特徴づけ、ガブリエルによる表現有限代数の特徴づけを拡張する。その結果、このような代数がτ-剛性有限であることの必要十分条件として、その分離クイバーの任意の部分クイバーが、ディンキン・クイバーの互いに交わらない和集合であることを示し、完全な組合せ的基準を提供するとともに、τ-剛性モジュールとその部分クイバー上の特定のτ-剛性モジュールとの間の全単射を確立する。

ABSTRACT

In this paper, we give a characterization of tau-rigid-finite algebras with radical square zero in terms of the separated quivers, which is an analog of a famous characterization of representation-finite algebras with radical square zero.

研究の動機と目的

• 根基の平方がゼロである表現有限代数に対するガブリエルの特徴づけを、τ-剛性有限代数へと拡張すること。
• 分離クイバー構成を用いて、τ-剛性有限性の組合せ的基準を提供すること。
• 張が提起した「すべての非分解モジュールがτ-剛性であるのはいつか？」という問いに答えを提示すること。
• 特に多重度が1のブラウアー巡回グラフ代数としての例を明示的に構成し、表現有限でないがτ-剛性有限である代数の例を提示すること。

提案手法

• 代数$\Lambda$の分離クイバー$Q^{\operatorname{s}\nolimits}$を定義する。ここで、各$i \in Q_0$に対して頂点$i^+, i^-$を導入し、元のクイバー$Q$における各$ i \to j $に対して、$i^+ \to j^-$の矢印を設ける。
• 安定同値$F: \underline{\mathsf{mod}}\,\Lambda \to \underline{\mathsf{mod}}\,KQ^{\operatorname{s}\nolimits}$を用いて、$\Lambda$-モジュールと$KQ^{\operatorname{s}\nolimits}$-モジュールを関連付ける。
• 基準を確立する：$\Lambda$-モジュール$X$がτ-剛性であることの必要十分条件は、$FX$が$KQ^{\operatorname{s}\nolimits}$でτ-剛性であり、かつ$\mathsf{add}\,P_0^X \cap \mathsf{add}\,P_1^X = 0$であること。ここで$P_1^X \to P_0^X \to X \to 0$は最小の射影提示である。
• 各$i$に対して$i^+, i^-$のうち高々1つを含む連結な単一部分クイバーからなる集合$\mathcal{S}^+$を定義し、$\mbox{\rm$\tau$-rigid}^\operatorname{o}\nolimits KQ'$を、全代数をカバーする射影提示を持つτ-剛性モジュールの集合として定義する。
• 自然な全単射$\mbox{\rm$\tau$-rigid}\,\Lambda \to \coprod_{Q' \in \mathcal{S}^+} \mbox{\rm$\tau$-rigid}^\operatorname{o}\nolimits KQ'$を構成し、$\Lambda$のτ-剛性モジュールとその部分クイバーのτ-剛性モジュールを結びつける。
• この基準を用いてτ-剛性有限代数を分類し、特にブラウアー巡回グラフ代数とその分離クイバーを分析する。

実験結果

リサーチクエスチョン

• RQ1 根基の平方がゼロである有限次元代数がτ-剛性有限であるのはいつか？
• RQ2 分離クイバーにどのような組合せ的条件がτ-剛性有限性を特徴づけるか？
• RQ3 すべての非分解$\Lambda$-モジュールがτ-剛性である代数は、必ず表現有限型であるのか？
• RQ4 τ-剛性有限だが表現有限でない代数の例を構成できるか？
• RQ5 多重度が1のブラウアー巡回グラフ代数について、非分解τ-剛性モジュールの集合の正確な濃度は何か？

主な発見

• 根基の平方がゼロである代数$\Lambda$がτ-剛性有限であることの必要十分条件は、その分離クイバーの任意の部分クイバーが、ディンキン・クイバーの互いに交わらない和集合であること。
• 非分解τ-剛性$\Lambda$-モジュールの同型類の集合と、$\mathcal{S}^+$に属する各連結単一部分クイバー$Q'$についての、$KQ'$上の射影提示が全代数をカバーするτ-剛性モジュールの集合の直和との間に、自然な全単射が存在する。
• クイバーが長さ$n$のサイクルである代数$\Lambda$について、すべての非分解$\Lambda$-モジュールがτ-剛性であることの必要十分条件は$n$が奇数であることであり、このとき$|\mbox{\rm$\tau$-rigid}\,\Lambda| = n^2$である。
• $n$個の頂点を持つ多重度が1のブラウアー巡回グラフ代数$\Gamma$について、$\Gamma$がτ-剛性有限であることの必要十分条件は$n$が奇数であることであり、このとき$|\mbox{\rm$\tau$-rigid}\,\Gamma| = 2n^2 - n$である。
• 本稿は、張の問いに対して肯定的な答えを与える：すべての非分解$\Lambda$-モジュールがτ-剛性であれば、$\Lambda$は表現有限型である。
• 本稿は、$n$が奇数のとき、多重度が1のブラウアー巡回グラフ代数として、表現有限でないがτ-剛性有限である代数の明示的例を構成する。