[論文レビュー] Automorphisms of path coalgebras and applications

Yu Ye|arXiv (Cornell University)|Sep 14, 2011

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

ひとこと要約

本稿は、経路余代数とその双対な完全経路代数の自己同型を特徴付けるために、クイバーにおける転送データ（trans-data）の概念を導入する。経路余代数の自己同型群とその可逆転送データのなす群との間に同型を確立し、非循環的クイバーに対してガロアに類似した理論を構築する。この理論により、余代数の部分代数と自己同型群の部分群との間に関係を結ぶ。

ABSTRACT

Our main purpose is to introduce the notion of trans-datum for quivers, and apply it to the study of automorphism groups of path coalgebras and algebras. We observe that any homomorphism of path coalgebras is uniquely determined by a trans-datum, which is the basis of our work. Under this correspondence, we show for any quiver $Q$ an isomorphism from $\aut(kQ^c)$ to $Ω^*(Q)$, the group of invertible trans-data from $Q$ to itself. We point out that the coradical filtration gives to a tower of normal subgroups of $\aut(kQ^c)$ with all factor groups determined. Generalizing this fact, we establish a Galois-like theory for acyclic quivers, which gives a bijection between large subcoalgebras of the path coalgebra and their Galois groups, relating large subcoalgebras of a path coalgebra with certain subgroups of its automorphism group. The group $\aut(kQ^c)$ is discussed by studying its certain subgroups, and the corresponding trans-data are given explicitly. By the duality between reflexive coalgebras and algebras, we therefore obtain some structural results of $\aut(\hat{kQ^a})$ for a finite quiver $Q$, where $\hat{kQ^a}$ is the complete path algebra. Moreover, we also apply these results to finite dimensional elementary algebras and recover some classical results.

研究の動機と目的

• 経路余代数とその双対完全経路代数の自己同型群を体系的に研究するためのフレームワークを構築すること。
• 余代数同型の特徴付けに核心的な役割を果たす「転送データ」の概念を導入すること。
• 経路余代数の大きな部分余代数とその自己同型群の部分群との間のガロアに類似した対応関係を確立すること。
• 双対性と転送データの技法を用いて、有限次元基本代数に関する古典的結果を回復すること。
• 特に有向サイクルを含む場合に、経路代数と経路余代数の自己同型の関係を明確にすること。

提案手法

• クイバー内の経路でインデックス付けられたスカラーの族として転送データを定義し、これが余代数同型を一意に決定することを示す。
• 任意の経路余代数間の余代数同型が、一意に転送データから生じることを証明し、双対性の対応関係を確立する。
• 余核フィルトレーションを用いて、経路余代数の自己同型群に正規部分群の塔を構成する。
• 自己同型群の作用における安定化部分群と関連付けることで、非循環的クイバーに対してガロア対応を確立する。
• 反射的余代数と代数の双対性を活用し、経路余代数から完全経路代数への結果の転送を行う。
• 特定のクイバー、特に $A_n$ 型、一般化されたクライナークイバー、$n$-部分空間クイバーについて、自己同型群を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 クイバーのデータを用いて、経路余代数の自己同型をどのように完全に特徴付けることができるか？
• RQ2 経路代数の自己同型とその双対経路余代数の自己同型との間の正確な関係は何か？
• RQ3 経路余代数の部分余代数とその自己同型群の部分群との間に、ガロア型の対応関係を確立できるか？
• RQ4 転送データは、余代数同型と自己同型の構造をどのように符号化するか？
• RQ5 完全経路代数の自己同型群の構造的性質は何か、特に内部自己同型とどのように関係するか？

主な発見

• 群の同型 $\operatorname{Aut}(kQ^c) \cong \Omega^*(Q)$ が成り立つ。ここで $\Omega^*(Q)$ は $Q$ 上の可逆転送データのなす群であり、経路余代数の自己同型が完全に特徴づけられる。
• 余核フィルトレーションにより、$\operatorname{Aut}(kQ^c)$ に正規部分群の塔が誘導され、すべての商群が明示的に決定される。
• 非循環的クイバーではガロアに類似した理論が成り立つ：$kQ^c$ の大きな部分余代数と $\operatorname{Aut}(kQ^c)$ の部分群との間に一対一対応が存在し、古典的ガロア対応を一般化する。
• $A_n$-型クイバーの場合、$\operatorname{Aut}(kQ^c) \cong \mathfrak{S}_n \ltimes \operatorname{Aut}_0(kQ^a)$ が成り立つ。ここで $\mathfrak{S}_n$ は頂点の置換によって作用し、$\operatorname{Aut}_0(kQ^a)$ は $k^\times$ に値をとる対角成分と任意の最後の行をもつ上三角行列からなる。
• 多項式代数 $k[x]$ と形式的べき級数代数 $k[[x]]$ の場合、$\operatorname{Aut}(k[[x]])$ は $\operatorname{Aut}(k[x])$ の像よりも厳密に大きい。これは、有向サイクルが存在する場合、双対性対応が一般には全射でないことを示している。
• 1つの頂点と1つのループからなるクイバーの場合、$\operatorname{Aut}(k[[x]])$ には $k[x]$ を保存しない自己同型が含まれる。特に、$n \geq 2$ に対して $\lambda_n = 0$ を満たすものだけが多項式部分代数を保存する。