arXiv subjects
Publications and source records attributed to Nantel Bergeron.
We give a type free formula for the expansion of k-Schur functions indexed by fundamental coweights within the affine nilCoxeter algebra. Explicit combinatorics are developed in affine type C.
We give several explicit combinatorial formulas for the expansion of k-Schur functions indexed by maximal rectangles in terms of the standard basis of the affine nilCoxeter algebra. Using our result, we also show a commutation relation of k-Schur functions corresponding to rectangles with the generators of the affine nilCoxeter algebra.
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.
We construct a recursive formula for a complete system of primitive orthogonal idempotents for any $R$-trivial monoid. This uses the newly proved equivalence between the notions of $R$-trivial monoid and weakly ordered monoid.
A pre-Lie product is a binary operation whose associator is symmetric in the last two variables. As a consequence its antisymmetrization is a Lie bracket. In this paper we study the symmetrization of the pre-Lie product. We show that it does not satisfy any other universal relation than commutativity. It means that the map from the free commutative-magmatic algebra to the free pre-Lie algebra induced by the symmetrization of the pre-Lie product is injective. This result is in contrast with the associative case, where the symmetrization gives rise to the notion of Jordan algebra. We first give a self-contained proof. Then we give a proof which uses the properties of dendriform and duplicial algebras.
Given a list of $n$ cells $L=[(p_1,q_1),...,(p_n, q_n)]$ where $p_i, q_i\in \textbf{Z}_{\ge 0}$, we let $Δ_L=\det |{(p_j!)^{-1}(q_j!)^{-1} x^{p_j}_iy^{q_j}_i} |$. The space of diagonally alternating polynomials is spanned by $\{Δ_L\}$ where $L$ varies among all lists with $n$ cells. For $a>0$, the operators $E_a=\sum_{i=1}^{n} y_i\partial_{x_i}^a$ act on diagonally alternating polynomials and Haiman has shown that the space $A_n$ of diagonally alternating harmonic polynomials is spanned by $\{E_λΔ_n\}$. For $t=(t_m,...,t_1)\in \textbf{Z}_{> 0}^m$ with $t_m>...>t_1>0$, we consider here the operator $F_t=\det\big\|E_{t_{m-j+1}+(j-i)}\big\|$. Our first result is to show that $F_tΔ_L$ is a linear combination of $Δ_{L'}$ where $L'$ is obtained by {\sl moving} $\ell(t)=m$ distinct cells from $L$ in some determined fashion. This allows us to control the leading term of some elements of the form $F_{t_{(1)}}... F_{t_{(r)}}Δ_n$. We use this to describe explicit bases of some of the bihomogeneous components of $A_n=\bigoplus A_n^{k,l}$ where $A_n^{k,l}=\hbox{Span}\{E_λΔ_n :\ell(λ)=l, |λ|=k\}$. More precisely we give an explicit basis of $A_n^{k,l}$ whenever $k<n$. To this end, we introduce a new variation of Schensted insertion on a special class of tableaux. This produces a bijection between partitions and this new class of tableaux. The combinatorics of those tableaux $T$ allows us to know exactly the leading term of $F_TΔ_n$ where $F_T$ is the operator corresponding to the columns of $T$ and whenever $n$ is bigger than the weight of $T$.
We prove that the pre-Lie operad is a free non-symmetric operad.
We introduce a new definition for the species of type B, or H-species, analog to the classical species (of type A), but on which we consider the action of the groups Bn of signed permutations. We are interested in algebraic structure on these H-species and give examples of Hopf monoids. The natural way to get a graded vector space from a species, given in this paper in terms of functors, will allow us to deepen our understanding of these species. In particular, the image of the classical species of set compositions under a given functor is isomorphic to the combinatorial Hopf algebra DQSym.
Let $(W,S)$ be a finite Coxeter system acting by reflections on an $\mathbb R$-Euclidean space with simple roots $Δ=\{\a_s | s\in S\}$ of the same length and fundamental weights $Δ^*=\{v_s | s\in S\}$. We set $M(e)=\sum_{s\in S}κ_s v_s$, $κ_s>0$, and for $w\in W$ we set $M(w)=w(M(e))$. The permutahedron $Perm(W)$ is the convex hull of the set $\{M(w) | w\in W\}$. Given a Coxeter element $c\in W$, we have defined in a previous work a generalized associahedron $Asso_c(W)$ whose normal fan is the corresponding $c$-Cambrian fan $F_c$ defined by N. Reading. By construction, $Asso_c(W)$ is obtained from $Perm(W)$ by removing some halfspaces according to a rule prescribed by $c$. In this work, we classify the isometry classes of these realizations. More precisely, for $(W,S)$ an irreducible finite Coxeter system and $c,c'$ two Coxeter elements in $W$, we have that $Asso_{c}(W)$ and $Asso_{c'}(W)$ are isometric if and only if $μ(c') = c$ or $μ(c')=w_0c^{-1}w_0$ for $μ$ an automorphism of the Coxeter graph of $W$ such that $κ_s=κ_{μ(s)}$ for all $s\in S$. As a byproduct, we classify the isometric Cambrian fans of $W$.
Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n\ge0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim(A_n)=r^nn!$ where $r = \dim(A_1)$.
The pre-Lie operad can be realized as a space T of labelled rooted trees. A result of F. Chapoton shows that the pre-Lie operad is a free twisted Lie algebra. That is, the S-module T is obtained as the plethysm of the S-module Lie with an S-module F. In the context of species, we construct an explicit basis of F. This allows us to give a new proof of Chapoton's results. Moreover it permits us to show that F forms a sub nonsymmetric operad of the pre-Lie operad T.
The Grothendieck group of the tower of symmetric group algebras has a self-dual graded Hopf algebra structure. Inspired by this, we introduce by way of axioms, a general notion of a tower of algebras and study two Grothendieck groups on this tower linked by a natural paring. Using representation theory, we show that our axioms give a structure of graded Hopf algebras on each Grothendieck groups and these structures are dual to each other. We give some examples to indicate why these axioms are necessary. We also give auxiliary results that are helpful to verify the axioms. We conclude with some remarks on generalized towers of algebras leading to a structure of generalized bialgebras (in the sense of Loday) on their Grothendieck groups.
We define the notion of connectivity set for elements of any finitely generated Coxeter group. Then we define an order related to this new statistic and show that the poset is graded and each interval is a shellable lattice. This implies that any interval is Cohen-Macauley. We also give a Galois connection between intervals in this poset and a boolean poset. This allows us to compute the Mobius function for any interval.
We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements.
We investigate the finite-dimensional representation theory of two-parameter quantum orthogonal and symplectic groups that we found in [BGH] under the assumption that $rs^{-1}$ is not a root of unity and extend some results [BW1, BW2] obtained for type $A$ to types $B$, $C$ and $D$. We construct the corresponding $R$-matrices and the quantum Casimir operators, by which we prove that the complete reducibility Theorem also holds for the categories of finite-dimensional weight modules for types $B$, $C$, $D$.
We show that the Grothendieck bialgebra of the semi-tower of partition lattice algebras is isomorphic to the graded dual of the bialgebra of symmetric functions in noncommutative variables. In particular this isomorphism singles out a canonical new basis of the symmetric functions in noncommutative variables which would be an analogue of the Schur function basis for this bialgebra.
For $G$ a finite abelian group, we study the properties of general equivalence relations on $G_n=G^n\rtimes \SG_n$, the wreath product of $G$ with the symmetric group $\SG_n$, also known as the $G$-coloured symmetric group. We show that under certain conditions, some equivalence relations give rise to subalgebras of $\k G_n$ as well as graded connected Hopf subalgebras of $\bigoplus_{n\ge o} \k G_n$. In particular we construct a $G$-coloured peak subalgebra of the Mantaci-Reutenauer algebra (or $G$-coloured descent algebra). We show that the direct sum of the $G$-coloured peak algebras is a Hopf algebra. We also have similar results for a $G$-colouring of the Loday-Ronco Hopf algebras of planar binary trees. For many of the equivalence relations under study, we obtain a functor from the category of finite abelian groups to the category of graded connected Hopf algebras. We end our investigation by describing a Hopf endomorphism of the $G$-coloured descent Hopf algebra whose image is the $G$-coloured peak Hopf algebra. We outline a theory of combinatorial $G$-coloured Hopf algebra for which the $G$-coloured quasi-symmetric Hopf algebra and the graded dual to the $G$-coloured peak Hopf algebra are central objects.
We find the defining structures of two-parameter quantum groups $U_{r,s}(\frak g)$ corresponding to the orthogonal and the symplectic Lie algebras, which are realized as Drinfel'd doubles. We further investigate the environment conditions upon which the Lusztig's symmetries exist between $(U_{r,s}(\frak g), < ,>)$ and its associated object $(U_{s^{-1}, r^{-1}}(\frak g), < | >)$.