arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/9805104math.QA
收藏

弱双代数的公理

Axioms for Weak Bialgebras

Florian Nill

摘要:

设A是域K上的有限维酉结合代数,它也具有一个余结合对余代数结构(Δ,\eps).称A为弱双代数,如果余积Δ是乘法的.我们不要求Δ(1)= 1 \otimes 1,也不要求计数器\eps的乘法性.相反,我们提出了一组新的计数公理,这是建模,以保证\Rep \A成为一个幺半范畴与单位对象由循环A-子模块\E:=(A --> \eps)\subset \hat A(\hat A表示对偶弱双代数)。在这些幺正性公理下,\E和\bar \E:=(\eps <-- A)成为\hat A的交换酉子代数,当且仅当可数\eps是乘法的。我们还提出了对极S的公理,使得范畴\Rep \A成为刚性的。S是唯一确定的,只要它存在。若monoidal弱双代数A有对极S,则它的对偶\hat A是monoidal的当且仅当S是双代数反同态,在这种情况下S也是可逆的.这样我们得到了弱Hopf代数的一个定义,在附录A中我们将证明它与G. Böhm和K. Szlachányi。给出了T. Hayashi和T.山之内

英文摘要:

Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (Δ,\eps). A is called a Weak Bialgebra if the coproduct Δis multiplicative. We do not require Δ(1) = 1 \otimes 1 nor multiplicativity of the counit \eps. Instead, we propose a new set of counit axioms, which are modelled so as to guarantee that \Rep\A becomes a monoidal category with unit object given by the cyclic A-submodule \E := (A --> \eps) \subset \hat A (\hat A denoting the dual weak bialgebra). Under these monoidality axioms \E and \bar\E := (\eps <-- A) become commuting unital subalgebras of \hat A which are trivial if and only if the counit \eps is multiplicative. We also propose axioms for an antipode S such that the category \Rep\A becomes rigid. S is uniquely determined, provided it exists. If a monoidal weak bialgebra A has an antipode S, then its dual \hat A is monoidal if and only if S is a bialgebra anti-homomorphism, in which case S is also invertible. In this way we obtain a definition of weak Hopf algebras which in Appendix A will be shown to be equivalent to the one given independently by G. Böhm and K. Szlachányi. Special examples are given by the face algebras of T. Hayashi and the generalised Kac algebras of T. Yamanouchi.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑