[論文レビュー] Associated Graded Algebras and Coalgebras

Alessandro Ardizzoni, Claudia Menini|arXiv (Cornell University)|Apr 17, 2007

Algebraic structures and combinatorial models参考文献 7被引用数 4

ひとこと要約

この論文は、アーベルなブレード付きモノイダル圏における関連する順次グレーディングコールゲブラと代数の構造を調査し、タイプ1のバイアルゲブラに注目している。強力な $\mathbb{N}$-グレーディング条件を満たす場合に限り、部分バイアルゲブラに関するバイアルゲブラの関連する順次グレーディングコールゲブラがグレーディング付きブレード付きバイアルゲブラであることが示され、カテゴリカルな枠組みにおいてテンソルおよびコテンソル構成を用いてそのような構造を特徴づけている。

ABSTRACT

We investigate the notion of associated graded coalgebra (algebra) of a bialgebra with respect to a subbialgebra (quotient bialgebra) and characterize those which are bialgebras of type one in the framework of abelian braided monoidal categories.

研究の動機と目的

• 部分バイアルゲブラに関するバイアルゲブラの関連する順次グレーディングコールゲブラがグレーディング付きブレード付きバイアルゲブラである条件を特徴づけること。
• ニコルズによって当初導入されたタイプ1のバイアルゲブラの理論を、アーベルなブレード付きモノイダル圏の設定に拡張すること。
• 商バイアルゲブラから生じる関連する順次グレーディング代数に関する双対的結果を確立すること。
• 関連する順次グレーディング対象が強力な $\mathbb{N}$-グレーディングによってバイアルゲブラ構造を引き継ぐためのカテゴリカルな条件を提供すること。
• 相対的テンソルおよびコテンソル構成を用いて、タイプ1のブレード付きバイアルゲブラの構造を統一的かつ一般化すること。

提案手法

• 完全でコ完全なアーベルなブレード付きモノイダル圏 $(\mathcal{M}, c)$ で、AB5および正確性条件を満たすものにおいて、相対的テンソル代数 $T = T_H(M)$ と相対的コテンソルコールゲブラ $T^c = T_H^c(M)$ を用いる。
• 部分バイアルゲブラ $B \hookrightarrow E$ に対して、関連する順次グレーディングコールゲブラ $gr_B E = \oplus_{n \in \mathbb{N}} \frac{B^{\wedge_E n+1}}{B^{\wedge_E n}}$ を定義する。
• 強力な $\mathbb{N}$-グレーディング（定義3.2）の概念を適用し、$gr_B E$ がグレーディング付きブレード付きバイアルゲブラとなる条件を特徴づける。
• $gr_B E$ の強力な $\mathbb{N}$-グレーディング、$\oplus_{n \in \mathbb{N}} B^{\wedge_E n+1}$ の強力な $\mathbb{N}$-グレーディング、および $n \geq 2$ に対して $B^{\wedge_E n+1} = (B \wedge_E B)^{\cdot_E n}$ が成り立つことの同値性を確立する。
• 核、余核、および商対象間の誘導写像 $y/x$ を用いて、完全系列を解析し、必要な構造写像を構成する。
• 核および余核の普遍性を用いて、コマルティプリケーションのグレーディングと整合性を持つために不可欠な写像 $\theta_{a,b}$ および $\theta'_{a,b}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのカテゴリカルな条件下で、部分バイアルゲブラ $B$ に関するバイアルゲブラ $E$ の関連する順次グレーディングコールゲブラ $gr_B E$ が自身グレーディング付きブレード付きバイアルゲブラとなるか？
• RQ2 関連する順次グレーディングコールゲブラ $gr_B E$ が、$B$ および $\frac{B \wedge_E B}{B}$ に関連するタイプ1のブレード付きバイアルゲブラと一致するのはいつか？
• RQ3 テンソルおよびコテンソル構成の観点から、$gr_B E$ の強力な $\mathbb{N}$-グレーディングが代数としてどのように特徴づけられるか？
• RQ4 $gr_B E$ の構造的性質が、$n \geq 2$ に対して $B^{\wedge_E n+1} = (B \wedge_E B)^{\cdot_E n}$ という恒等式とどのように関係するか？
• RQ5 バイアルゲブラの上への準同型 $\pi: E \to B$ の核 $I$ に対して、関連する順次グレーディング代数 $gr_I A = \oplus_{n \in \mathbb{N}} \frac{I^n}{I^{n+1}}$ に対して成り立つ双対的結果は何か？

主な発見

• 関連する順次グレーディングコールゲブラ $gr_B E$ は、定理2.10で示されたように、圏 $\mathcal{M}$ において強力な $\mathbb{N}$-グレーディングコールゲブラである。
• 主な結果（定理4.7）は、以下の4条件の同値性を確立している：(1) $gr_B E$ は $B$ および $\frac{B \wedge_E B}{B}$ に関連するタイプ1のブレード付きバイアルゲブラである、(2) $gr_B E$ は代数として強力な $\mathbb{N}$-グレーディングを持つ、(3) $\oplus_{n \in \mathbb{N}} B^{\wedge_E n+1}$ は代数として強力な $\mathbb{N}$-グレーディングを持つ、(4) 全ての $n \geq 2$ に対して $B^{\wedge_E n+1} = (B \wedge_E B)^{\cdot_E n}$ が成り立つ。
• コマルティプリケーションがグレーディングと整合することを、図式(50)、(51)、(52)を満たす写像 $\theta_{a,b}$ の存在によって示している。
• 証明は、$\frac{E}{B^{\wedge_E a}}$、$\frac{B^{\wedge_E b+1}}{B^{\wedge_E b}}$ などの商を含む完全系列の正確性と、核の普遍性に基づいて、必要な写像を構成することに依存している。
• 関連する順次グレーディング代数 $gr_B E$ の代数的構造は、相対的テンソル代数から相対的コテンソルコールゲブラへの標準的写像によって、タイプ1のブレード付きバイアルゲブラと同型であることが示されている。
• 第5節で、関連する順次グレーディング代数 $gr_I A$ に対して双対的結果が得られており、代数的設定において類似の特徴づけが示されている。