490 likes | 710 Views
A formula for the antipode of the natural Hopf algebra associated to a set operad. Miguel Méndez (IVIC-UCV) Jean Carlos Liendo (UCV) Caracas, Venezuela. Families of labelled combinatorial structures. 1. 8. 9. 6. 5. 4. 2. 3. 7. 8. 1. 6. 9. Combinatorial Species. Operations.
E N D
A formula for the antipode of the natural Hopf algebra associated to a set operad. Miguel Méndez (IVIC-UCV) Jean Carlos Liendo (UCV) Caracas, Venezuela
Families of labelled combinatorial structures 1 8 9 6 5 4 2 3 7 8 1 6 9
Disjoint union Product
Substitution Structures inside other structures
Asemblies of structures 2 1 , ( ) 7 1 8 8 3 2 4 3 10 5 6 9 7 5 10 9 6 4 External structure Asembly
“ C-monoids, Moebius Species and Coalgebras” M. Mendez Ph. D. thesis, Universidad Central de Venezuela, 1989. “Moebius Species” M. Mendez, J. Yang. Adv. In Math. 1991
c-Monoids Related to associative algebras via the Schur functor.
9 1 8 1 8 3 3 5 5 6 6 2 2 7 7 4 4 The operad of finite sets 9
Permutative associative operad
1 1 7 7 2 2 3 5 3 5 6 6 9 9
The operad of -enriched rooted trees f k e j m n f k i e j l m n i l h d d h c b b c a a
1 1 b d e b d e 5 8 2 5 8 2 c c 7 7 9 6 9 6 4 3 4 3 10 10
5 6 5 p 6 w p 9 7 l w f l f s b 7 9 4 s d b t d v 4 q 3 t q 2 v 3 2 u 1 u 1
1 6 1 6 2 2 = 5 5 ≤ 3 3 a b a b d d e e 1 2 e 1 2 e d d 3 3 = ≤ a a 5 7 5 7 6 6
2 3 4 1 2 3 2 3 2 3 4 4 1 4 1 1 4 2 3 1 3 2 3 2 3 2 3 2 4 1 1 4 1 4 1 4 Ìnterval in the poset
Incidence Coalgebras Reduced incidence Coalgebras
The isomorphism type of a stuctura , denoted by can be thought of as the same structure without its labels. 3 2 d a 4 1
2 3 3 2 1 4 1 4 1 1 + 2 + 2 3 2 3 2 3 2 3 2 1 1 + + + + 4 1 1 4 = 2 3 2 3 1 4 1 4 1 4 1 4
Free commutative algebra generated by all the unlabelled trees
“ C-monoids, Moebius Species and Coalgebras” M. Mendez Ph. D. thesis, 1989. “Moebius Species” M. Mendez, J. Yang. Adv. In Math. 1991
Srchöder-Hyparcus M-enriched trees and the antipode formula , ) ( 9 = 3 9 3 7 6 8 4 7 6 8 4 1 5 2 1 11 5 2 10 11 10
1 2 2 2 5 1 1 3 5 3 3 4 4 5 5 4 1 3 2 4
2 1 3 1 3 2 3 2 2 1 3 1
… Is an epimorphism of Hopf algebras
Empty cut The epimorphism
Open Problem: the Standard reduced Hopf algebra for other Operads, for example: Generalizations of the C-K Hopf algebra