[論文レビュー] Algebraic properties of face algebras

Fabio Calderón, Chelsea Walton|arXiv (Cornell University)|May 25, 2021

Algebraic structures and combinatorial models参考文献 16被引用数 1

ひとこと要約

この論文は、有限クオーヴァー Q に関連するHayashiのフェイス代数 H(Q) が、Kronecker平方クオーヴァー bQ のパス代数 k bQ と同型であることを示すことにより、H(Q) が kQ と同様の主要な代数的およびホモロジー的性質を持つことを確立している。主な結果は、H(Q) が kQ から有限次元性、有限GK次元、ノエター性、条件付きで素性、半素性、グローバル次元、およびコシュール性を引き継ぐことであり、次元およびGK次元の明示的公式が Q の隣接行列およびその累乗の形で与えられる。

ABSTRACT

Prompted an inquiry of Manin on whether a coacting Hopf-type structure $H$ and an algebra $A$ that is coacted upon share algebraic properties, we study the particular case of $A$ being a path algebra $\Bbbk Q$ of a finite quiver $Q$ and $H$ being Hayashi's face algebra $\mathfrak{H}(Q)$ attached to $Q$. This is motivated by the work of Huang, Wicks, Won, and the second author, where it was established that the weak bialgebra coacting universally on $\Bbbk Q$ (either from the left, right, or both sides compatibly) is $\mathfrak{H}(Q)$. For our study, we define the Kronecker square $\widehat{Q}$ of $Q$, and show that $\mathfrak{H}(Q) \cong \Bbbk \widehat{Q}$ as unital algebras. Then we obtain ring-theoretic and homological properties of $\mathfrak{H}(Q)$ in terms of graph-theoretic properties of $Q$ by way of $\widehat{Q}$.

研究の動機と目的

• Maninの未解決問題に答えること：普遍的コ作用する弱バイアルゲブラが、そのコ作用先の代数と同一の代数的性質を持つのか。
• 有限クオーヴァー Q のパス代数 kQ に普遍的にコ作用するフェイス代数 H(Q) を研究すること。
• H(Q) とKronecker平方クオーヴァー bQ のパス代数との間の構造的同型を確立すること。
• bQ を介して、H(Q) の環論的およびホモロジー的性質を Q のグラフ論的不変量の言語で特徴付けること。
• H(Q) の次元およびGelfand-Kirillov次元の明示的公式を Q の隣接行列の言語で与えること。

提案手法

• クオーヴァー Q のKronecker平方 bQ を定義する。ここで bQ は、頂点集合が Q0 × Q0 に等しく、同じ長さのパスのペア (a,b) が辺をなす新しいクオーヴァーである。
• H(Q) が k bQ と単位的 N-次数付き k-代数として同型であることを示す。その同型は、H(Q) の基底元 xa,b ∈ H(Q) を k bQ のパス [a,b] に送る k-線形かつ乗法的かつ全単射な写像によって与えられる。
• パス代数の代数的性質がその基になるクオーヴァーのグラフ論的性質と関連することを示す既知の結果を用い、k bQ から H(Q) への性質の転送を行う。
• bQ のグラフ論的性質（特に連結性、強い連結性、パスの数）を Q と関連付けて分析し、H(Q) の性質を導出する。
• H(Q) のヒルベルト系列を、Q の隣接行列のテンソル積を係数とする t のべき級数として明示的に導出する。
• テンソル代数の理論を適用し、kQ および k bQ（従って H(Q)）がコシュール代数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 H(Q) は kQ に普遍的にコ作用するフェイス代数として、kQ と同一の環論的およびホモロジー的性質を引き継ぐのか？
• RQ2 H(Q) の次元は、Q の隣接行列およびその累乗とどのように関係するか？
• RQ3 H(Q) のGelfand-Kirillov次元は、kQ のそれとどのように関係するか？
• RQ4 H(Q) が素であるための条件は何か？ また、これは kQ の素性とどのように関係するか？
• RQ5 H(Q) の代数的構造は、完全にクオーヴァー構成によって記述可能か？ もしそうなら、どのクオーヴァーか？

主な発見

• H(Q) は、Kronecker平方 bQ のパス代数 k bQ と単位的 N-次数付き k-代数として同型である。
• dimk(H(Q)) = ∑_{i,j∈Q0, k≥0} (c(k)_{i,j})² である。ここで c(k)_{i,j} は Q の隣接行列の k 乗の (i,j) 成分である。
• GKdim(H(Q)) = 2·GKdim(kQ) − 1 である。ただし GKdim(kQ) が有限であるものとする。
• kQ が素であり、Q に少なくとも1つのサイクルを含むならば、H(Q) も素である。
• H(Q) のグローバル次元は kQ と等しく、両者ともヘリティアリー代数である。
• H(Q) のヒルベルト系列は、HH(Q)(t) = I⊗I + (C⊗C)t + (C²⊗C²)t² + ⋯ で与えられる。ここで C は Q の隣接行列、I は |Q0| 次の単位行列である。