Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

We consider the combinatorial Dyson-Schwinger equation X=B⁺(P(X)) in the non-commutative Connes-Kreimer Hopf algebra of planar rooted trees HNCK, where B⁺ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra AN,P of HNCK. We describe all the formal series P such that AN,P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of HNCK, organized into three isomorphism classes: a first one, restricted to a polynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Faà di Bruno Hopf algebra. By taking the quotient, the last class gives an infinite set of embeddings of the Faà di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Faà di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, together with a non-commutative version of this embedding.     

Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees

We prove a Faà di Bruno formula for the Green function in the bialgebra of P-trees, for any polynomial endofunctor P. The formula appears as relative homotopy cardinality of an equivalence of groupoids.     

On quantum toroidal algebra of type A1

In this paper we introduce a new quantum algebra which specializes to the 2-toroidal Lie algebra of type $A_1$. We prove that this quantum toroidal algebra has a natural triangular decomposition, a (topological) Hopf algebra structure and a vertex operator realization.     

D'Alembert's proof of the fundamental theorem of algebra

D'Alembert's proof of the fundamental theorem of algebra (FTA), the first published, is still widely misunderstood. Typical of d'Alembert, his work is bold and imaginative but in need of significant repair. The proof is examined in detail, in both the 1746 and 1754 versions, along with commentary over 250 years and recent efforts to revive d'Alembert's reputation. A particular challenge is to work with algebraic equations while avoiding dependence on the FTA itself. A repaired version is offered.     

Principal subspaces for the quantum affine vertex algebra in type A1(1)

By using the ideas of Feigin and Stoyanovsky and Calinescu, Lepowsky and Milas we introduce and study the principal subspaces associated with the Etingof–Kazhdan quantum affine vertex algebra of integer level $k?1$ and type $A_1^{(1)}$. We show that the principal subspaces possess the quantum vertex algebra structure, which turns to the usual vertex algebra structure of the principal subspaces of generalized Verma and standard modules at the classical limit. Moreover, we find their topological quasi-particle bases which correspond to the sum sides of certain Rogers–Ramanujan-type identities.     

Heisenberg-Virasoro代数的q-形变的量子群结构

构造了水平为零的扭的Heisenberg-Virasoro代数的一个q-形变Hvirq,证明它是一个quasi-hom-李代数.给出该代数的一个非平凡的量子群结构,即它是一个非交换且余交换的Hopf代数.     

Special polynomials in free framed Lie algebra

A framed Lie algebra is an algebra with two operations which is a Lie algebra with respect to one of these operations. A basic example is a Lie algebra of vector fields on a manifold with connection where the covariant derivative serves as an additional operation. In a free framed Lie algebra, we distinguish a set of special polynomials that geometrically correspond to invariantly defined tensors. A necessary condition of being special is derived, and we presume that this condition is also sufficient. Translated from Algebra i Logika, Vol. 47, No. 5, pp. 571–583, September–October, 2008.     

Guionnet–Jones–Shlyakhtenko subfactors associated to finite-dimensional Kac algebras

We analyse the Guionnet–Jones–Shlyakhtenko construction for the planar algebra associated to a finite-dimensional Kac algebra and identify the factors that arise as finite interpolated free group factors.     

Primitive elements in the matroid-minor Hopf algebra

We introduce the matroid-minor coalgebra C, which has labeled matroids as distinguished basis and coproduct given by splitting a matroid into a submatroid and complementary contraction in all possible ways. We introduce two new bases for C; the first of these is related to the distinguished basis by Möbius inversion over the rank-preserving weak order on matroids, the second by Möbius inversion over the suborder excluding matroids that are irreducible with respect to the free product operation. We show that the subset of each of these bases corresponding to the set of irreducible matroids is a basis for the subspace of primitive elements of C. Projecting C onto the matroid-minor Hopf algebra H, we obtain bases for the subspace of primitive elements of H.     

Enumeration of maximal subalgebras in free restricted lie algebras

Given a finitely generated restricted Lie algebra L over the finite field \(\mathbb{F}_q \), and n ≥ 0, denote by a _n (L) the number of restricted subalgebras H ? L with \(\dim _{\mathbb{F} _q} \) L/H = n. Denote by ã _n (L) the number of the subalgebras satisfying the maximality condition as well. Considering the free restricted Lie algebra L = F _d of rank d ≥ 2, we find the asymptotics of ã _n (F _d ) and show that it coincides with the asymptotics of a _n (F _d ) which was found previously by the first author. Our approach is based on studying the actions of restricted algebras by derivations on the truncated polynomial rings. We establish that the maximal subalgebras correspond to the so-called primitive actions. This means that “almost all” restricted subalgebras H ? F _d of finite codimension are maximal, which is analogous to the corresponding results for free groups and free associative algebras.     

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 . We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements for the peak algebra. We use these bases to describe the Jacobson radical of and to characterize the elements of in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals of , j = 0,..., , such that is the linear span of sums of permutations with a common set of interior peaks and is the peak algebra. We extend the above results to , generalizing results of Schocker (the case j = 0). Aguiar supported in part by NSF grant DMS-0302423 Orellana supported in part by the Wilson Foundation     

Quantum invariant families of matrices in free probability

We consider (self-adjoint) families of infinite matrices of noncommutative random variables such that the joint distribution of their entries is invariant under conjugation by a free quantum group. For the free orthogonal and hyperoctahedral groups, we obtain complete characterizations of the invariant families in terms of an operator-valued R-cyclicity condition. This is a surprising contrast with the Aldous-Hoover characterization of jointly exchangeable arrays.     

A new algorithm for computing the multivariate Faà di Bruno’s formula

A new algorithm for computing the multivariate Faà di Bruno’s formula is provided. We use a symbolic approach based on the classical umbral calculus that turns the computation of the multivariate Faà di Bruno’s formula into a suitable multinomial expansion. We propose a MAPLE procedure whose computational times are faster compared with the ones existing in the literature. Some illustrative applications are also provided.     

Computing the test rank of a free solvable Lie algebra

We computed the test rank of a free solvable Lie algebra of finite rank.     

A basis for the right quantum algebra and the “1=q” principle

We construct a basis for the right quantum algebra introduced by Garoufalidis, Lê and Zeilberger and give a method making it possible to go from an algebra subject to commutation relations (without the variable q) to the right quantum algebra by means of an appropriate weight-function. As a consequence, a strong quantum MacMahon Master Theorem is derived. Besides, the algebra of biwords is systematically in use.      

A hydrodynamic exercise in free probability: Setting up free Euler equations

For the free probability analogue of Euclidean space endowed with the Gaussian measure we apply the approach of Arnold to derive Euler equations for a Lie algebra of non-commutative vector fields which preserve a certain trace. We extend the equations to vector fields satisfying non-commutative smoothness requirements. We introduce a cyclic vorticity and show that it satisfies vorticity equations and that it produces a family of conserved quantities.     

Strictly nontame primitive elements of the free metabelian Lie algebra of rank 3

We prove that the free metabelian Lie algebra M ₃ of rank 3 over an arbitrary field K admits strictly nontame primitive elements.     

Bases of the quantum cluster algebra of the Kronecker quiver

We construct bar-invariant Z[q ±1/2 ]-bases of the quantum cluster algebra of Kronecker quiver which are quantum analogues of the canonical basis, semicanonical basis and dual semicanonical basis of the corresponding cluster algebra. As a byproduct, we prove positivity of the elements in these bases.