Deformations of shuffles and quasi-shuffles
Annales de l'Institut Fourier, Volume 66 (2016) no. 1, pp. 209-237.

We investigate deformations of the shuffle Hopf algebra structure Sh (A) which can be defined on the tensor algebra over a commutative algebra A. Such deformations, leading for example to the quasi-shuffle algebra QSh (A), can be interpreted as natural transformations of the functor Sh , regarded as a functor from commutative nonunital algebras to coalgebras. We prove that the monoid of natural endomophisms of the functor Sh is isomorphic to the monoid of formal power series in one variable without constant term under composition, so that in particular its natural automorphisms are in bijection with formal diffeomorphisms of the line.

These transformations can be interpreted as elements of the Hopf algebra of word quasi-symmetric functions (or, equivalently, of surjections) WQSym, and in turn define deformations of its structure. This leads to a new embedding of free quasi-symmetric functions into WQSym, whose relevance is illustrated by a simple and transparent proof of Goldberg’s formula for the coefficients of the Hausdorff series.

On s’intéresse aux déformations de la structure d’algèbre de Hopf des battages (ou shuffles) Sh (A) définie sur l’algèbre tensorielle sur une algèbre commutative A. Ces déformations, dont un cas remarquable est donné par l’algèbre de Hopf des quasi-shuffles QSh (A), s’interprètent comme transformations naturelles du foncteur Sh vu comme foncteur des algèbres commutatives non unitaires vers les coalgèbres. On montre en particulier que le monoïde des endomorphismes naturels du foncteur Sh est isomorphe au monoïde des séries formelles en une variable sans terme constant pour la loi de composition des séries. Les automorphismes naturels du foncteur sont donc en bijection avec les difféomorphismes formels de la droite.

Ces transformations s’interprètent aussi comme des élements de l’algèbre de Hopf des surjections (ou, de façon équivalente des fonctions quasi-symétriques en mots) WQSym, et en définissent à leur tour des déformations. Cette remarque conduit entre autres à un nouveau plongement des fonctions quasi-symétriques libres dans WQSym dont la pertinence est illustrée par une preuve simple de la formule de Goldberg pour les coefficients de la série de Hausdorff.

Received:
Revised:
Accepted:
Published online:
DOI: 10.5802/aif.3010
Classification: 05E05, 16T30
Keywords: Shuffle algebras, Combinatorial Hopf algebras, Hausdorff series
Mot clés : Algèbre shuffle, algèbre de Hopf combinatoire, série de Hausdorff

Foissy, Loïc 1; Patras, Frédéric 2; Thibon, Jean-Yves 3

1 Laboratoire de Mathématiques Pures et Appliquées Joseph Liouville Université du Littoral Côte d’Opale, Centre Universitaire de la Mi-Voix 50, rue Ferdinand Buisson, CS 80699 62228 Calais Cedex (France)
2 Laboratoire de Mathématiques J.A. Dieudonné Université de Nice - Sophia Antipolis Parc Valrose 06108 Nice Cedex 02 (France)
3 Laboratoire d’Informatique Gaspard-Monge, Université Paris-Est, 5, boulevard Descartes Champs-sur-Marne 77454 Marne-la-Vallée cedex 2 (France)
@article{AIF_2016__66_1_209_0,
     author = {Foissy, Lo{\"\i}c and Patras, Fr\'ed\'eric and Thibon, Jean-Yves},
     title = {Deformations of shuffles and quasi-shuffles},
     journal = {Annales de l'Institut Fourier},
     pages = {209--237},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {66},
     number = {1},
     year = {2016},
     doi = {10.5802/aif.3010},
     language = {en},
     url = {https://aif.centre-mersenne.org/articles/10.5802/aif.3010/}
}
TY  - JOUR
AU  - Foissy, Loïc
AU  - Patras, Frédéric
AU  - Thibon, Jean-Yves
TI  - Deformations of shuffles and quasi-shuffles
JO  - Annales de l'Institut Fourier
PY  - 2016
SP  - 209
EP  - 237
VL  - 66
IS  - 1
PB  - Association des Annales de l’institut Fourier
UR  - https://aif.centre-mersenne.org/articles/10.5802/aif.3010/
DO  - 10.5802/aif.3010
LA  - en
ID  - AIF_2016__66_1_209_0
ER  - 
%0 Journal Article
%A Foissy, Loïc
%A Patras, Frédéric
%A Thibon, Jean-Yves
%T Deformations of shuffles and quasi-shuffles
%J Annales de l'Institut Fourier
%D 2016
%P 209-237
%V 66
%N 1
%I Association des Annales de l’institut Fourier
%U https://aif.centre-mersenne.org/articles/10.5802/aif.3010/
%R 10.5802/aif.3010
%G en
%F AIF_2016__66_1_209_0
Foissy, Loïc; Patras, Frédéric; Thibon, Jean-Yves. Deformations of shuffles and quasi-shuffles. Annales de l'Institut Fourier, Volume 66 (2016) no. 1, pp. 209-237. doi : 10.5802/aif.3010. https://aif.centre-mersenne.org/articles/10.5802/aif.3010/

[1] Block, Richard E.; Leroux, Pierre Generalized dual coalgebras of algebras, with applications to cofree coalgebras, J. Pure Appl. Algebra, Volume 36 (1985) no. 1, pp. 15-21 | DOI

[2] Duchamp, Gérard; Hivert, Florent; Thibon, Jean-Yves Noncommutative symmetric functions. VI. Free quasi-symmetric functions and related algebras, Internat. J. Algebra Comput., Volume 12 (2002) no. 5, pp. 671-717 | DOI

[3] Ebrahimi-Fard, Kurusch; Manchon, Dominique The tridendriform structure of a discrete magnus expansion, Discrete Contin. Dyn. Syst., Volume 34 (2014) no. 3, pp. 1021-1040 | DOI

[4] Figueroa, Héctor; Gracia-Bondía, José M. Combinatorial Hopf algebras in quantum field theory. I, Rev. Math. Phys., Volume 17 (2005) no. 8, pp. 881-976 | DOI

[5] Foissy, Loïc; Patras, Frédéric Natural endomorphisms of shuffle algebras, Internat. J. Algebra Comput., Volume 23 (2013) no. 4, pp. 989-1009 | DOI

[6] Gelfand, Israel M.; Krob, Daniel; Lascoux, Alain; Leclerc, Bernard; Retakh, Vladimir S.; Thibon, Jean-Yves Noncommutative symmetric functions, Adv. Math., Volume 112 (1995) no. 2, pp. 218-348 | DOI

[7] Gessel, Ira M. Multipartite P-partitions and inner products of skew Schur functions, Combinatorics and algebra (Boulder, Colo., 1983) (Contemp. Math.), Volume 34, Amer. Math. Soc., Providence, RI, 1984, pp. 289-317 | DOI

[8] Goldberg, Karl The formal power series for log e x e y , Duke Math. J., Volume 23 (1956), pp. 13-21

[9] Hoffman, Michael E. Quasi-shuffle products, J. Algebraic Combin., Volume 11 (2000) no. 1, pp. 49-68 | DOI

[10] Kurusch, Ebrahimi-Fard; Gracia-Bondía, José M.; Patras, Frédéric Rota-Baxter algebras and new combinatorial identities, Lett. Math. Phys., Volume 81 (2007) no. 1, pp. 61-75 | DOI

[11] Malvenuto, Clauda; Reutenauer, Christophe Duality between quasi-symmetric functions and the Solomon descent algebra, J. Algebra, Volume 177 (1995) no. 3, pp. 967-982 | DOI

[12] Milnor, John W.; Moore, John C. On the structure of Hopf algebras, Ann. of Math. (2), Volume 81 (1965), pp. 211-264

[13] Novelli, J.-C.; Thibon, J.-Y. Polynomial realizations of some trialgebras (2006) (http://arxiv.org/abs/math/0605061, presented at FPSAC’06)

[14] Novelli, Jean-Christophe; Patras, Frédéric; Thibon, Jean-Yves Natural endomorphisms of quasi-shuffle Hopf algebras, Bull. Soc. Math. France, Volume 141 (2013) no. 1, pp. 107-130

[15] Novelli, Jean-Christophe; Thibon, Jean-Yves Free quasi-symmetric functions and descent algebras for wreath products, and noncommutative multi-symmetric functions, Discrete Math., Volume 310 (2010) no. 24, pp. 3584-3606 | DOI

[16] Patras, F. L’algèbre des descentes d’une bigèbre graduée, J. Algebra, Volume 170 (1994) no. 2, pp. 547-566 | DOI

[17] Patras, Frédéric La décomposition en poids des algèbres de Hopf, Ann. Inst. Fourier (Grenoble), Volume 43 (1993) no. 4, pp. 1067-1087

[18] Reutenauer, Christophe Free Lie algebras, London Mathematical Society Monographs. New Series, 7, The Clarendon Press, Oxford University Press, New York, 1993, xviii+269 pages (Oxford Science Publications)

[19] Schützenberger, Marcel P. Sur une propriété combinatoire des algèbres de Lie libres pouvant être utilisée dans un problème de mathématiques appliquées, Séminaire Dubreil–Jacotin Pisot (Algèbre et théorie des nombres), Volume 12 (1958–1959) no. 1, pp. 1-23

[20] Stanley, Richard P. Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, 62, Cambridge University Press, Cambridge, 1999, xii+581 pages (With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin) | DOI

Cited by Sources: