SMF

Bigèbres généralisées et triples d'opérades

Generalized bialgebras and triples of operads

Jean-Louis LODAY
Bigèbres généralisées et triples d'opérades
  • Consulter un extrait
  • Année : 2008
  • Tome : 320
  • Format : Électronique, Papier
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 16A24, 16W30, 17A30, 18D50, 81R60.
  • Nb. de pages : viii+116
  • ISBN : 978-2-85629-257-0
  • ISSN : 0303-1179
  • DOI : 10.24033/ast.790

On introduit la notion de bigèbre généralisée, qui inclut la notion de bigèbre ique (algèbre de Hopf) et bien d'autres, comme, par exemple, l'algèbre tensorielle munie de la déconcaténation comme coproduit. On montre que, sous des hypothèses raisonnables, une bigèbre généralisée connexe est entièrement déterminée par sa partie primitive. Ce théorème de structure étend à la fois le théorème ique de Poincaré-Birkhoff-Witt et le théorème de Cartier-Milnor-Moore valables pour les bigèbres cocommutatives, à une large e de bigèbres généralisées. On travaille dans le cadre de la théorie des opérades qui nous permet d'énoncer le résultat principal et d'en donner une démonstration conceptuelle. Un type de bigèbres généralisées est déterminé par deux opérades, l'une pour la structure de cogèbre, notée $\mathcal {C}$, l'autre pour la structure d'algèbre, notée $\mathcal {A}$. Ces deux structures sont reliées par certaines relations de compatibilité. Le théorème de structure donne des conditions sous lesquelles une bigèbre généralisée connexe est colibre (en tant que $\mathcal {C}$-cogèbre connexe) et peut être re-construite à partir de sa partie primitive grâce à un foncteur du type « algèbre envelopante » des $\mathcal {P}$-algèbres dans les $\mathcal {A}$-algèbres. Le cas ique est $({\mathcal {C}}, {\mathcal {A}}, {\mathcal {P}}) = (Com, As, Lie)$. Ce théorème de structure unifie plusieurs généralisations du théorème PBW et du théorème CMM déjà présentes dans la littérature. On donne plusieurs exemples explicites et on formule quelques conjectures.

We introduce the notion of generalized bialgebra, which includes the ical notion of bialgebra (Hopf algebra) and many others, like, for instance, the tensor algebra equipped with the deconcatenation as coproduct. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its primitive part. This structure theorem extends the ical Poincaré-Birkhoff-Witt theorem and Cartier-Milnor-Moore theorem, valid for cocommutative bialgebras, to a large of generalized bialgebras. Technically we work in the theory of operads which allows us to state our main results and permits us to give it a conceptual proof. A generalized bialgebra type is determined by two operads : one for the coalgebra structure $\mathcal {C}$, and one for the algebra structure $\mathcal {A}$. There is also a compatibility relation relating the two. Under some conditions, the primitive part of such a generalized bialgebra is an algebra over some sub-operad of $\mathcal {A}$, denoted $\mathcal {P}$. The structure theorem gives conditions under which a connected generalized bialgebra is cofree (as a connected $\mathcal {C}$-coalgebra) and can be re-constructed out of its primitive part by means of an enveloping functor from $\mathcal {P}$-algebras to $\mathcal {A}$-algebras. The ical case is $({\mathcal {C}}, {\mathcal {A}}, {\mathcal {P}}) = (Com, As, Lie)$. This structure theorem unifies several results, generalizing the PBW and the CMM theorems, scattered in the literature. We treat many explicit examples and suggest a few conjectures.

Bigèbre, bigèbre généralisée, algèbre de Hopf, théorème de Cartier-Milnor-Moore, théorème de Poincaré-Birkhoff-Witt, opérade, prop, triple d'opérades, partie primitive, dendriforme, algèbre dupliciale, algèbre pré-Lie, algèbre de Zinbiel, algèbre magmatique, arbre, algèbre non-associative.
Bialgebra, generalized bialgebra, Hopf algebra, Cartier-Milnor-Moore, Poincaré-Birkhoff-Witt, operad, prop, triple of operads, primitive part, dendriform algebra, duplicial algebra, pre-Lie algebra, Zinbiel algebra, magmatic algebra, tree, nonassociative algebra.

Prix Papier
Price (paper only)
Prix public Public price 28.00 €
Prix membre Member price 20.00 €
Quantité
Quantity
- +