[论文解读] Associated Graded Algebras and Coalgebras

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

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

一句话总结

本文研究了在阿贝尔辫状张量范畴中相关分次余代数与代数的结构，重点研究了一类一类的双代数。研究证明，当且仅当满足强 $\mathbb{\ naturals}$-分次条件时，双代数关于子双代数的分次余代数才是分次辫状双代数，该结构通过范畴框架下的张量与余张量构造得以刻画。

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.

研究动机与目标

• 刻画双代数 $E$ 关于子双代数 $B$ 的相关分次余代数 $gr_B E$ 成为分次辫状双代数的条件。
• 将 Nichols 最初引入的一类双代数理论，推广至阿贝尔辫状张量范畴的设定。
• 为由商双代数导出的相关分次代数建立对偶结果。
• 提供范畴条件，使得相关分次对象通过强 $\mathbb{\ naturals}$-分次继承双代数结构。
• 通过相对张量与余张量构造，统一并推广一类辫状双代数的结构。

提出的方法

• 在满足 AB5 条件与正合性条件的完备、上完备阿贝尔辫状张量范畴 $(\mathcal{M}, c)$ 中，使用相对张量代数 $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{\ naturals}$-分次（定义 3.2）的概念，刻画 $gr_B E$ 成为分次辫状双代数的条件。
• 建立 $gr_B E$ 的强 $\mathbb{\ naturals}$-分次、$\oplus_{n \in \mathbb{N}} B^{\wedge_E n+1}$ 的强 $\mathbb{\ naturals}$-分次，以及恒等式 $B^{\wedge_E n+1} = (B \wedge_E B)^{\cdot_E n}$ 对所有 $n \geq 2$ 成立之间的等价关系。
• 利用上核、核及商对象之间的诱导态射 $y/x$ 等范畴工具，分析正合序列并构造所需的结构态射。
• 应用核与上核的泛性质，推导出关键态射 $\theta_{a,b}$ 与 $\theta'_{a,b}$，以验证余乘法与分次的相容性。

实验结果

研究问题

• RQ1 在何种范畴条件下，双代数 $E$ 关于子双代数 $B$ 的相关分次余代数 $gr_B E$ 本身是分次辫状双代数？
• RQ2 何时相关分次余代数 $gr_B E$ 与由 $B$ 和 $\frac{B \wedge_E B}{B}$ 关联的一类辫状双代数一致？
• RQ3 如何通过张量与余张量构造刻画 $gr_B E$ 作为代数的强 $\mathbb{\ naturals}$-分次特性？
• RQ4 结构性质 $gr_B E$ 与恒等式 $B^{\wedge_E n+1} = (B \wedge_E B)^{\cdot_E n}$ 对所有 $n \geq 2$ 之间的关系为何？
• RQ5 当 $I$ 是双代数满同态 $\pi: E \to B$ 的核时，相关分次代数 $gr_I A = \oplus_{n \in \mathbb{N}} \frac{I^n}{I^{n+1}}$ 的对偶结果为何？

主要发现

• 相关分次余代数 $gr_B E$ 是范畴 $\mathcal{M}$ 中的强 $\mathbb{\ naturals}$-分次余代数，如定理 2.10 所示。
• 主要结果定理 4.7 建立了四个条件的等价性：(1) $gr_B E$ 是与 $B$ 和 $\frac{B \wedge_E B}{B}$ 关联的一类辫状双代数，(2) $gr_B E$ 作为代数是强 $\mathbb{\ naturals}$-分次的，(3) $\oplus_{n \in \mathbb{N}} B^{\wedge_E n+1}$ 作为代数是强 $\mathbb{\ naturals}$-分次的，(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$ 的代数结构与一类辫状双代数同构。
• 在第 5 节中获得了关于相关分次代数 $gr_I A$ 的对偶结果，展示了在代数设定下的类似刻画。