Geodesic
On the Hadamard Product of Hopf Monoids
Canadian journal of mathematics, Tome 66 (2014) no. 3, pp. 481-504

Voir la notice de l'article provenant de la source Cambridge University Press

Combinatorial structures that compose and decompose give rise to Hopf monoids in Joyal's category of species. The Hadamard product of two Hopf monoids is another Hopf monoid. We prove two main results regarding freeness of Hadamard products. The first one states that if one factor is connected and the other is free as a monoid, their Hadamard product is free (and connected). The second provides an explicit basis for the Hadamard product when both factors are free.The first main result is obtained by showing the existence of a one-parameter deformation of the comonoid structure and appealing to a rigidity result of Loday and Ronco that applies when the parameter is set to zero. To obtain the second result, we introduce an operation on species that is intertwined by the free monoid functor with the Hadamard product. As an application of the first result, we deduce that the Boolean transform of the dimension sequence of a connected Hopf monoid is nonnegative.
DOI : 10.4153/CJM-2013-005-x
Mots-clés : 16T30, 18D35, 20B30, 18D10, 20F55, species, Hopf monoid, Hadamard product, generating function, Boolean transform 
Aguiar, Marcelo; Mahajan, Swapneel. On the Hadamard Product of Hopf Monoids. Canadian journal of mathematics, Tome 66 (2014) no. 3, pp. 481-504. doi: 10.4153/CJM-2013-005-x
@article{10_4153_CJM_2013_005_x,
     author = {Aguiar, Marcelo and Mahajan, Swapneel},
     title = {On the {Hadamard} {Product} of {Hopf} {Monoids}},
     journal = {Canadian journal of mathematics},
     pages = {481--504},
     year = {2014},
     volume = {66},
     number = {3},
     doi = {10.4153/CJM-2013-005-x},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-2013-005-x/}
}
TY  - JOUR
AU  - Aguiar, Marcelo
AU  - Mahajan, Swapneel
TI  - On the Hadamard Product of Hopf Monoids
JO  - Canadian journal of mathematics
PY  - 2014
SP  - 481
EP  - 504
VL  - 66
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-2013-005-x/
DO  - 10.4153/CJM-2013-005-x
ID  - 10_4153_CJM_2013_005_x
ER  - 
%0 Journal Article
%A Aguiar, Marcelo
%A Mahajan, Swapneel
%T On the Hadamard Product of Hopf Monoids
%J Canadian journal of mathematics
%D 2014
%P 481-504
%V 66
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-2013-005-x/
%R 10.4153/CJM-2013-005-x
%F 10_4153_CJM_2013_005_x

[1] [1] Aguiar, M., Bergeron, N., and Thiem, N., Hopf monoids from class functions on unitriangular matrices. Algebra and Number Theory, to appear. arxiv:1203.1572v1 Google Scholar

[2] [2] Aguiar, M. and Lauve, A., Lagrange's Theorem for Hopf monoids in species. Canad. J. Math. 65(2013), no. 2, 241–265. Google Scholar | DOI

[3] [3] Aguiar, M. and Mahajan, S., Coxeter groups and Hopf algebras. Fields Institute Monographs, 23, American Mathematical Society, Providence, RI; Fields Institute, Toronto, 2006. Google Scholar

[4] [4] Aguiar, M., Monoidal functors, species and Hopf algebras. CRM Monograph Series, 29, American Mathematical Society, Providence, RI, 2010. Google Scholar

[5] [5] Bergeron, F., Labelle, G., and Leroux, P., Combinatorial species and tree-like structures. Encyclopedia of Mathematics and its Applications, 67, Cambridge University Press, Cambridge, 1998. Google Scholar

[6] [6] Bergeron, N., Reutenauer, C., Rosas, M., and Zabrocki, M., Invariants and coinvariants of the symmetric groups in noncommuting variables. Canad. J. Math. 60(2008), no. 2, 266–296. Google Scholar | DOI

[7] [7] Bergeron, N. and Zabrocki, M., The Hopf algebras of symmetric functions and quasi-symmetric functions in non-commutative variables are free and co-free. J. Algebra Appl. 8(2009), no. 4, 581–600. Google Scholar | DOI

[8] [8] Foissy, L., Free and cofree Hopf algebras. J. Pure Appl. Algebra 216(2012), no. 2, 480–494. Google Scholar | DOI

[9] [9] Joyal, A., Une théorie combinatoire des séries formelles. Adv. in Math. 42(1981), no. 1, 1–82. Google Scholar | DOI

[10] [10] Livernet, M., From left modules to algebras over an operad: application to combinatorial Hopf algebras. Ann. Math. Blaise Pascal 17(2010), no. 1, 47–96. Google Scholar | DOI

[11] [11] Loday, J.-L. and Ronco, M., On the structure of cofree Hopf algebras. J. Reine Angew. Math. 592(2006), 123–155. Google Scholar | DOI

[12] [12] Malvenuto, C. and Reutenauer, C., Duality between quasi-symmetric functions and the Solomon descent algebra. J. Algebra 177(1995), no. 3, 967–982. http://dx.doi.org/10.1006/jabr.1995.1336 Google Scholar

[13] [13] Poirier, S. and Reutenauer, C., Algèbres de Hopf de tableaux. Ann. Sci. Math. Québec 19(1995), no. 1, 79–90. Google Scholar

[14] [14] Popa, M., A new proof for the multiplicative property of the Boolean cumulants with applications to the operator-valued case. Colloq. Math. 117(2009), no. 1, 81–93. Google Scholar | DOI

[15] [15] Rosas, M. H. and Sagan, B. E., Symmetric functions in noncommuting variables. Trans. Amer. Math. Soc. 358(2006), no. 1, 215–232. Google Scholar | DOI

[16] [16] Sloane, N. J. A., The on-line encyclopedia of integer sequences. 2012. http://oeis.org. Google Scholar

[17] [17] Speicher, R. and Woroudi, R., Boolean convolution. In: Free probability theory (Waterloo, ON, 1995), Fields Inst. Commun., 12, American Mathematical Society, Providence, RI, 1997, pp. 267–279. Google Scholar

[18] [18] C.Wolf, M., Symmetric functions of non-commutative elements. Duke Math. J. 2(1936), no. 4, 626–637. Google Scholar | DOI

Cité par Sources :