arXiv 0804.06772008-04math.QAmath.RA

A rigidity theorem for Moor-bialgebras

Leroux Philippe

备注：: V2. Radical change of the paper

英文摘要：

We introduce the operad Moor, dual of the operad NAP and the notion of Moor-bialgebras. We warn the reader that the compatibility relation linking the Moor-operation with the Moor-cooperation is not distributive in the sense of Loday. Nevertheless, a rigidity theorem (à la Hopf-Borel) for the category of connected Moor-bialgebras is given. We show also that free permutative algebras can be equipped with a Moor-cooperation whose compatibility with the permutative product looks like the infinitesimal relation.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

A Milnor-Moore Type Theorem for Primitively Generated Braided Bialgebras

A braided bialgebra is called primitively generated if it is generated as an algebra by its space of primitive elements. We prove that any primitively generated braided bialgebra is isomorphic to the universal enveloping algebra of its infinitesimal braided Lie algebra, notions hereby introduced. This result can be regarded as a Milnor-Moore type theorem for primitively generated braided bialgebras and leads to the introduction of a concept of braided Lie algebra for an arbitrary braided vector space.

2010-03-04math.QAmath.RA

A Milnor-Moore Type Theorem for Braided Bialgebras

The paper is devoted to prove a version of Milnor-Moore Theorem for connected braided bialgebras that are infinitesimally cocommutative. Namely in characteristic different from 2, we prove that, for a given connected braided bialgebra $A$ having a $λ$-cocommutative infinitesimal braiding for some regular element $λ\neq 0$ in the base field, then the infinitesimal braiding of $A$ is of Hecke-type of mark $λ$ and $A$ is isomorphic as a braided bialgebra to the symmetric algebra of the braided subspace of its primitive elements.

2008-04-18math.KTmath.QA

On rigidity of Nichols algebras

We study deformations of graded braided bialgebras using cohomological methods. In particular, we show that many examples of Nichols algebras, including the finite-dimensional ones arising in the Andruskiewitsch-Schneider program of classification of pointed Hopf algebras, are rigid. This result can be regarded as nonexistence of "braided Lie algebras" with nontrivial bracket.

2015-05-31math.QAmath.RA

Coquasi-bialgebras with preantipode and rigid monoidal categories

By a theorem of Majid, every monoidal category with a neutral quasi-monoidal functor to finitely-generated and projective $\Bbbk$-modules gives rise to a coquasi-bialgebra. We prove that if the category is also rigid, then the associated coquasi-bialgebra admits a preantipode, providing in this way an analogue for coquasi-bialgebras of Ulbrich's reconstruction theorem for Hopf algebras. When $\Bbbk$ is field, this allows us to characterize coquasi-Hopf algebras as well in terms of rigidity of finite-dimensional corepresentations.

2018-08-29math.QA

Generalized bialgebras and triples of operads

We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its primitive part. This structure theorem extends the classical Poincaré-Birkhoff-Witt theorem and the Cartier-Milnor-Moore theorem, valid for cocommutative bialgebras, to a large class of generalized bialgebras. Technically we work in the theory of operads which permits us to give a conceptual proof of our main theorem. It unifies several results, generalizing…

2008-12-16math.COmath.CTmath.QA

Universal Enveloping Algebras of PBW Type

We continue our investigation of the general notion of universal enveloping algebra introduced in [A. Ardizzoni, \emph{A Milnor-Moore Type Theorem for Primitively Generated Braided Bialgebras}, J. Algebra \textbf{327} (2011), no. 1, 337--365]. Namely we study when such an algebra is of PBW type, meaning that a suitable PBW type theorem holds. We discuss the problem of finding a basis for a universal enveloping algebra of PBW type: As an application we recover the PBW basis both of an ordinary universal enveloping algebra and of a restricted enveloping algebra. We prove that a universal envelop…

2010-12-23math.QAmath.RA

更多相关论文收起更多论文

Infinitesimal or cocommutative dipterous bialgebras and good triples of operads

The works of Poincare, Birkhoff, Witt and Cartier, Milnor, Moore on the connected cocommutative Hopf algebras translated in the language of operads means that the triple of operads (Com, As, Lie) endowed with the Hopf compatiblity relation is good. In this paper, we focus on left dipterous (resp. right dipterous) algebras which are associative algebras with an extra left (resp. right) module on themselves and look for good triples were $As$ is replaced by the dipterous operad Dipt. Since the work of Loday and Ronco, the triple of operads (As, Dipt, B_\infty) endowed with the semi-Hopf compatib…

2008-04-16math.COmath.QA