Strong forms of self-duality for Hopf monoids in species
HTML articles powered by AMS MathViewer
- by Eric Marberg PDF
- Trans. Amer. Math. Soc. 368 (2016), 5433-5473 Request permission
Abstract:
A vector species is a functor from the category of finite sets with bijections to vector spaces (over a fixed field); informally, one can view this as a sequence of $S_n$-modules, one for each natural number $n$. A Hopf monoid (in the category of vector species) consists of a vector species with unit, counit, product, and coproduct morphisms satisfying several compatibility conditions, analogous to a graded Hopf algebra.
A vector species has a basis if and only if it is given by a sequence of $S_n$-modules which are permutation representations. We say that a Hopf monoid is freely self-dual if it is connected and finite-dimensional, and if it has a basis in which the structure constants of its product and coproduct coincide. Such Hopf monoids are self-dual in the usual sense, and we show that they are furthermore both commutative and cocommutative.
We prove more specific classification theorems for freely self-dual Hopf monoids whose products (respectively, coproducts) are linearized in the sense that they preserve the basis; we call such Hopf monoids strongly self-dual (respectively, linearly self-dual). In particular, we show that every strongly self-dual Hopf monoid has a basis isomorphic to some species of block-labeled set partitions, on which the product acts as the disjoint union. In turn, every linearly self-dual Hopf monoid has a basis isomorphic to the species of maps to a fixed set, on which the coproduct acts as restriction. It follows that every linearly self-dual Hopf monoid is strongly self-dual.
Our final results concern connected Hopf monoids which are finite- dimensional, commutative, and cocommutative. We prove that such a Hopf monoid has a basis in which its product and coproduct are both linearized if and only if it is strongly self-dual with respect to a basis equipped with a certain partial order, generalizing the refinement partial order on set partitions.
References
- Ron M. Adin, Alexander Postnikov, and Yuval Roichman, Combinatorial Gelfand models, J. Algebra 320 (2008), no. 3, 1311–1325. MR 2427645, DOI 10.1016/j.jalgebra.2008.03.030
- Marcelo Aguiar, Carlos André, Carolina Benedetti, Nantel Bergeron, Zhi Chen, Persi Diaconis, Anders Hendrickson, Samuel Hsiao, I. Martin Isaacs, Andrea Jedwab, Kenneth Johnson, Gizem Karaali, Aaron Lauve, Tung Le, Stephen Lewis, Huilan Li, Kay Magaard, Eric Marberg, Jean-Christophe Novelli, Amy Pang, Franco Saliola, Lenny Tevlin, Jean-Yves Thibon, Nathaniel Thiem, Vidya Venkateswaran, C. Ryan Vinroot, Ning Yan, and Mike Zabrocki, Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras, Adv. Math. 229 (2012), no. 4, 2310–2337. MR 2880223, DOI 10.1016/j.aim.2011.12.024
- Marcelo Aguiar, Nantel Bergeron, and Frank Sottile, Combinatorial Hopf algebras and generalized Dehn-Sommerville relations, Compos. Math. 142 (2006), no. 1, 1–30. MR 2196760, DOI 10.1112/S0010437X0500165X
- Marcelo Aguiar, Nantel Bergeron, and Nathaniel Thiem, Hopf monoids from class functions on unitriangular matrices, Algebra Number Theory 7 (2013), no. 7, 1743–1779. MR 3117506, DOI 10.2140/ant.2013.7.1743
- Marcelo Aguiar and Swapneel Mahajan, Monoidal functors, species and Hopf algebras, CRM Monograph Series, vol. 29, American Mathematical Society, Providence, RI, 2010. With forewords by Kenneth Brown and Stephen Chase and André Joyal. MR 2724388, DOI 10.1090/crmm/029
- Marcelo Aguiar and Swapneel Mahajan, On the Hadamard product of Hopf monoids, Canad. J. Math. 66 (2014), no. 3, 481–504. MR 3194158, DOI 10.4153/CJM-2013-005-x
- Marcelo Aguiar and Swapneel Mahajan, Hopf monoids in the category of species, Hopf algebras and tensor categories, Contemp. Math., vol. 585, Amer. Math. Soc., Providence, RI, 2013, pp. 17–124. MR 3077234, DOI 10.1090/conm/585/11665
- Duff Baker-Jarvis, Nantel Bergeron, and Nathaniel Thiem, The antipode and primitive elements in the Hopf monoid of supercharacters, J. Algebraic Combin. 40 (2014), no. 4, 903–938. MR 3273396, DOI 10.1007/s10801-014-0513-x
- F. Bergeron, G. Labelle, and P. Leroux, Combinatorial species and tree-like structures, Encyclopedia of Mathematics and its Applications, vol. 67, Cambridge University Press, Cambridge, 1998. Translated from the 1994 French original by Margaret Readdy; With a foreword by Gian-Carlo Rota. MR 1629341
- Carolina Benedetti, Combinatorial Hopf algebra of superclass functions of type $D$, J. Algebraic Combin. 38 (2013), no. 4, 767–783. MR 3119357, DOI 10.1007/s10801-013-0424-2
- Nantel Bergeron, Christophe Reutenauer, Mercedes Rosas, and Mike Zabrocki, Invariants and coinvariants of the symmetric groups in noncommuting variables, Canad. J. Math. 60 (2008), no. 2, 266–296. MR 2398749, DOI 10.4153/CJM-2008-013-4
- Pierre Cartier, A primer of Hopf algebras, Frontiers in number theory, physics, and geometry. II, Springer, Berlin, 2007, pp. 537–615. MR 2290769, DOI 10.1007/978-3-540-30308-4_{1}2
- T. Church, J. Ellenberg, and B. Farb, FI-modules: a new approach to stability for $S_n$-representations, preprint (2012), arXiv:1204.4533v2.
- André Joyal, Une théorie combinatoire des séries formelles, Adv. in Math. 42 (1981), no. 1, 1–82 (French, with English summary). MR 633783, DOI 10.1016/0001-8708(81)90052-9
- C. Malvenuto, Produits et coproduits des fonctions quasi-symétriques et de l’algèbre des descentes, Ph.D. thesis, Université du Québec à Montréal, 1994.
- Clauda Malvenuto and Christophe Reutenauer, Duality between quasi-symmetric functions and the Solomon descent algebra, J. Algebra 177 (1995), no. 3, 967–982. MR 1358493, DOI 10.1006/jabr.1995.1336
- Eric Marberg, Strong forms of linearization for Hopf monoids in species, J. Algebraic Combin. 42 (2015), no. 2, 391–428. MR 3369562, DOI 10.1007/s10801-015-0585-2
- M. Méndez and J. Yang, Möbius species, Adv. Math. 85 (1991), no. 1, 83–128. MR 1087798, DOI 10.1016/0001-8708(91)90051-8
- Rowena Paget and Mark Wildon, Set families and Foulkes modules, J. Algebraic Combin. 34 (2011), no. 3, 525–544. MR 2836372, DOI 10.1007/s10801-011-0282-8
- Frédéric Patras and Christophe Reutenauer, On descent algebras and twisted bialgebras, Mosc. Math. J. 4 (2004), no. 1, 199–216, 311 (English, with English and Russian summaries). MR 2074989, DOI 10.17323/1609-4514-2004-4-1-199-216
- Frédéric Patras and Manfred Schocker, Twisted descent algebras and the Solomon-Tits algebra, Adv. Math. 199 (2006), no. 1, 151–184. MR 2187402, DOI 10.1016/j.aim.2005.01.010
- Frédéric Patras and Manfred Schocker, Trees, set compositions and the twisted descent algebra, J. Algebraic Combin. 28 (2008), no. 1, 3–23. MR 2420777, DOI 10.1007/s10801-006-0028-1
- Mercedes H. Rosas and Bruce E. Sagan, Symmetric functions in noncommuting variables, Trans. Amer. Math. Soc. 358 (2006), no. 1, 215–232. MR 2171230, DOI 10.1090/S0002-9947-04-03623-2
- V. Reiner, Hopf algebras in combinatorics, notes available online at http://www.math.umn.edu/~reiner/Classes/HopfComb.pdf.
- Richard P. Stanley, Enumerative combinatorics. Vol. 1, Cambridge Studies in Advanced Mathematics, vol. 49, Cambridge University Press, Cambridge, 1997. With a foreword by Gian-Carlo Rota; Corrected reprint of the 1986 original. MR 1442260, DOI 10.1017/CBO9780511805967
- Christopher R. Stover, The equivalence of certain categories of twisted Lie and Hopf algebras over a commutative ring, J. Pure Appl. Algebra 86 (1993), no. 3, 289–326. MR 1218107, DOI 10.1016/0022-4049(93)90106-4
- Mark Wildon, Multiplicity-free representations of symmetric groups, J. Pure Appl. Algebra 213 (2009), no. 7, 1464–1477. MR 2497590, DOI 10.1016/j.jpaa.2008.12.009
- Andrey V. Zelevinsky, Representations of finite classical groups, Lecture Notes in Mathematics, vol. 869, Springer-Verlag, Berlin-New York, 1981. A Hopf algebra approach. MR 643482, DOI 10.1007/BFb0090287
Additional Information
- Eric Marberg
- Affiliation: Department of Mathematics, Stanford University, Stanford, California 94305
- Email: emarberg@stanford.edu
- Received by editor(s): January 14, 2014
- Received by editor(s) in revised form: June 30, 2014
- Published electronically: December 2, 2015
- © Copyright 2015 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 368 (2016), 5433-5473
- MSC (2010): Primary 18D10, 18D35; Secondary 16T30
- DOI: https://doi.org/10.1090/tran/6506
- MathSciNet review: 3458387