Source author record

Marcelo Aguiar

Marcelo Aguiar appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2020arXiv

Dendriform Algebras Relative to a Semigroup

Loday's dendriform algebras and its siblings pre-Lie and zinbiel have received attention over the past two decades. In recent literature, there has been interest in a generalization of these types of algebra in which each individual operation is replaced by a family of operations indexed by a fixed semigroup $S$. The purpose of this note is twofold. First, we add to the existing work by showing that a similar extension is possible already for the most familiar types of algebra: commutative, associative, and Lie. Second, we show that these concepts arise naturally and in a unified manner from a categorical perspective. For this, one simply has to consider the standard types of algebra but in reference to the monoidal category of $S$-graded vector spaces.

preprint2015arXiv

The Heisenberg product: from Hopf algebras and species to symmetric functions

Many related products and coproducts (e.g. Hadamard, Cauchy, Kronecker, induction, internal, external, Solomon, composition, Malvenuto-Reutenauer, convolution, etc.) have been defined in the following objects : species, representations of the symmetric groups, symmetric functions, endomorphisms of graded connected Hopf algebras, permutations, non-commutative symmetric functions, quasi-symmetric functions, etc. With the purpose of simplifying and unifying this diversity we introduce yet, another -non graded- product the Heisenberg product, that for the highest and lowest degrees produces the classical external and internal products (and their namesakes in different contexts). In order to define it, we start from the two opposite more general extremes: species in the "commutative context", and endomorphisms of Hopf algebras in the "non-commutative" environment. Both specialize to the space of commutative symmetric functions where the definitions coincide. We also deal with the different coproducts that these objects carry -to which we add the Heisenberg coproduct for quasi-symmetric functions-, and study their Hopf algebra compatibility particularly for symmetric and non commutative symmetric functions. We obtain combinatorial formulas for the structure constants of the new product that extend, generalize and unify results due to Garsia, Remmel, Reutenauer and Solomon. In the space of quasi- symmetric functions, we describe explicitly the new operations in terms of alphabets.

preprint2014arXiv

The characteristic polynomial of the Adams operators on graded connected Hopf algebras

The Adams operators $Ψ_n$ on a Hopf algebra $H$ are the convolution powers of the identity of $H$. We study the Adams operators when $H$ is graded connected. They are also called Hopf powers or Sweedler powers. The main result is a complete description of the characteristic polynomial (both eigenvalues and their multiplicities) for the action of the operator $Ψ_n$ on each homogeneous component of $H$. The eigenvalues are powers of $n$. The multiplicities are independent of $n$, and in fact only depend on the dimension sequence of $H$. These results apply in particular to the antipode of $H$ (the case $n=-1$). We obtain closed forms for the generating function of the sequence of traces of the Adams operators. In the case of the antipode, the generating function bears a particularly simple relationship to the one for the dimension sequence. In case H is cofree, we give an alternative description for the characteristic polynomial and the trace of the antipode in terms of certain palindromic words. We discuss parallel results that hold for Hopf monoids in species and $q$-Hopf algebras.

preprint2014arXiv

The Steinberg torus of a Weyl group as a module over the Coxeter complex

Associated to each irreducible crystallographic root system $Φ$, there is a certain cell complex structure on the torus obtained as the quotient of the ambient space by the coroot lattice of $Φ$. This is the Steinberg torus. A main goal of this paper is to exhibit a module structure on (the set of faces of) this complex over the (set of faces of the) Coxeter complex of $Φ$. The latter is a monoid under the Tits product of faces. The module structure is obtained from geometric considerations involving affine hyperplane arrangements. As a consequence, a module structure is obtained on the space spanned by affine descent classes of a Weyl group, over the space spanned by ordinary descent classes. The latter constitute a subalgebra of the group algebra, the classical descent algebra of Solomon. We provide combinatorial models for the module of faces when $Φ$ is of type $A$ or $C$.

preprint2012arXiv

Generalized Hopf Modules for bimonads

Bruguières, Lack and Virelizier have recently obtained a vast generalization of Sweedler's Fundamental Theorem of Hopf modules, in which the role of the Hopf algebra is played by a bimonad. We present an extension of this result which involves, in addition to the bimonad, a comodule-monad and a algebra-comonoid over it. As an application we obtain a generalization of another classical theorem from the Hopf algebra literature, due to Schneider, which itself is an extension of Sweedler's result (to the setting of Hopf Galois extensions).

preprint2012arXiv

Hopf monoids from class functions on unitriangular matrices

We build, from the collection of all groups of unitriangular matrices, Hopf monoids in Joyal's category of species. Such structure is carried by the collection of class function spaces on those groups, and also by the collection of superclass function spaces, in the sense of Diaconis and Isaacs. Superclasses of unitriangular matrices admit a simple description from which we deduce a combinatorial model for the Hopf monoid of superclass functions, in terms of the Hadamard product of the Hopf monoids of linear orders and of set partitions. This implies a recent result relating the Hopf algebra of superclass functions on unitriangular matrices to symmetric functions in noncommuting variables. We determine the algebraic structure of the Hopf monoid: it is a free monoid in species, with the canonical Hopf structure. As an application, we derive certain estimates on the number of conjugacy classes of unitriangular matrices.

preprint2012arXiv

Hopf monoids in the category of species

A Hopf monoid (in Joyal's category of species) is an algebraic structure akin to that of a Hopf algebra. We provide a self-contained introduction to the theory of Hopf monoids in the category of species. Combinatorial structures which compose and decompose give rise to Hopf monoids. We study several examples of this nature. We emphasize the central role played in the theory by the Tits algebra of set compositions. Its product is tightly knit with the Hopf monoid axioms, and its elements constitute universal operations on connected Hopf monoids. We study analogues of the classical Eulerian and Dynkin idempotents and discuss the Poincare-Birkhoff-Witt and Cartier-Milnor-Moore theorems for Hopf monoids.

preprint2011arXiv

Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.

preprint2005arXiv

Cocommutative Hopf algebras of permutations and trees

Consider the coradical filtrations of the Hopf algebras of planar binary trees of Loday and Ronco and of permutations of Malvenuto and Reutenauer. We give explicit isomorphisms showing that the associated graded Hopf algebras are dual to the cocommutative Hopf algebras introduced in the late 1980's by Grossman and Larson. These Hopf algebras are constructed from ordered trees and heap-ordered trees, respectively. These results follow from the fact that whenever one starts from a Hopf algebra that is a cofree graded coalgebra, the associated graded Hopf algebra is a shuffle Hopf algebra.

preprint2005arXiv

Structure of the Loday-Ronco Hopf algebra of trees

Loday and Ronco defined an interesting Hopf algebra structure on the linear span of the set of planar binary trees. They showed that the inclusion of the Hopf algebra of non-commutative symmetric functions in the Malvenuto-Reutenauer Hopf algebra of permutations factors through their Hopf algebra of trees, and these maps correspond to natural maps from the weak order on the symmetric group to the Tamari order on planar binary trees to the boolean algebra. We further study the structure of this Hopf algebra of trees using a new basis for it. We describe the product, coproduct, and antipode in terms of this basis and use these results to elucidate its Hopf-algebraic structure. We also obtain a transparent proof of its isomorphism with the non-commutative Connes-Kreimer Hopf algebra of Foissy, and show that this algebra is related to non-commutative symmetric functions as the (commutative) Connes-Kreimer Hopf algebra is related to symmetric functions.

preprint2004arXiv

Canonical characters on quasi-symmetric functions and bivariate Catalan numbers

Every character on a graded connected Hopf algebra decomposes uniquely as a product of an even character and an odd character (Aguiar, Bergeron, and Sottile, math.CO/0310016). We obtain explicit formulas for the even and odd parts of the universal character on the Hopf algebra of quasi-symmetric functions. They can be described in terms of Legendre's beta function evaluated at half-integers, or in terms of bivariate Catalan numbers: $$ C(m,n)=\frac{(2m)!(2n)!}{m!(m+n)!n!}. $$ Properties of characters and of quasi-symmetric functions are then used to derive several interesting identities among bivariate Catalan numbers and in particular among Catalan numbers and central binomial coefficients.

preprint2004arXiv

New results on the peak algebra

The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n-1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of this algebra. We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements. We use these bases to describe the Jacobson radical of the peak algebra and to characterize the elements of this algebra in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals such that the ideal at the bottom of the chain is the linear span of sums of permutations with a common set of interior peaks and the ideal at the top is the whole algebra. We extend the above results to these ideals, generalizing results of Schocker (the case of the bottom ideal).

preprint2004arXiv

Representations of matched pairs of groupoids and applications to weak Hopf algebras

We introduce the category of set-theoretic representations of a matched pair of groupoids. This is a monoidal category endowed with a monoidal functor to the category of quivers over the common base of the groupoids in the matched pair (the forgetful functor). We study monoidal functors between two such categories of representations which preserve the forgetful functor. We show that the centralizer of such a monoidal functor is the category of representations of a new matched pair, which we construct explicitly. We introduce the notions of {\em double} of a matched pair of groupoids and {\em generalized double} of a morphism of matched pairs. We show that the centralizer of the forgetful functor is the category of representations of the dual matched pair, and the centralizer of the identity functor (the center) is the category of representations of the double. We use these constructions to classify the braidings in the category of representations of a matched pair. Such braidings are parametrized by certain groupoid-theoretic structures which we call {\em matched pairs of rotations}. Finally, we express our results in terms of the weak Hopf algebra associated to a matched pair of groupoids. A matched pairs of rotations gives rise to a quasitriangular structure for the associated weak Hopf algebra. The Drinfeld double of the weak Hopf algebra of a matched pair is the weak Hopf algebra associated to the double matched pair.

preprint2003arXiv

Combinatorial Hopf algebras and generalized Dehn-Sommerville relations

A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $F$ equipped with a character (multiplicative linear functional) $ζ:H\to F$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra $QSym$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $(H,ζ)$ possesses two canonical Hopf subalgebras on which the character $ζ$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn-Sommerville relations. We show that, for $H=QSym$, the generalized Dehn-Sommerville relations are the Bayer-Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that $QSym$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto-Reutenauer Hopf algebra of permutations, the Loday-Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.

preprint2003arXiv

The peak algebra and the descent algebras of types B and D

We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that this algebra is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The peak algebra contains a two sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman; we find that it is the image of certain ideals of the descent algebras of types B and D introduced in previous work of N. Bergeron et al. We derive an exact sequence involving the peak ideal and the peak algebras of degrees $n$ and $n-2$. We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of these spaces over $n\geq 0$ and explain the connection with previous work of Stembridge; we also obtain new properties of his descents-to-peaks map and construct a type B analog.