A noncommutative symmetric system over the Grossman-Larson Hopf algebra of labeled rooted trees

In this paper, we construct explicitly a noncommutative symmetric ( CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the CS system formed by the generating functions of certain noncommutative symmetric functions, we obtain a specialization of noncommutative symmetric functions by labeled rooted trees. Taking the graded duals, we also get a graded Hopf algebra homomorphism from the Connes-Kreimer Hopf algebra of labeled rooted forests to the Hopf algebra of quasi-symmetric functions. A connection of the coefficients of the third generating function of the constructed CS system with the order polynomials of rooted trees is also given and proved.     

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.     

Hopf algebras of primitive Lie pseudogroups and Hopf cyclic cohomology

We associate to each infinite primitive Lie pseudogroup a Hopf algebra of ‘transverse symmetries,’ by refining a procedure due to Connes and the first author in the case of the general pseudogroup. The affiliated Hopf algebra can be viewed as a ‘quantum group’ counterpart of the infinite-dimensional primitive Lie algebra of the pseudogroup. It is first constructed via its action on the étale groupoid associated to the pseudogroup, and then realized as a bicrossed product of a universal enveloping algebra by a Hopf algebra of regular functions on a formal group. The bicrossed product structure allows to express its Hopf cyclic cohomology in terms of a bicocyclic bicomplex analogous to the Chevalley-Eilenberg complex. As an application, we compute the relative Hopf cyclic cohomology modulo the linear isotropy for the Hopf algebra of the general pseudogroup, and find explicit cocycle representatives for the universal Chern classes in Hopf cyclic cohomology. As another application, we determine all Hopf cyclic cohomology groups for the Hopf algebra associated to the pseudogroup of local diffeomorphisms of the line.     

Cup products,lower central series,and holonomy Lie algebras

We generalize basic results relating the associated graded Lie algebra and the holonomy Lie algebra of a group, from finitely presented, commutator-relators groups to arbitrary finitely presented groups. Using the notion of “echelon presentation,” we give an explicit formula for the cup-product in the cohomology of a finite 2-complex. This yields an algorithm for computing the corresponding holonomy Lie algebra, based on a Magnus expansion method. As an application, we discuss issues of graded-formality, filtered-formality, 1-formality, and mildness. We illustrate our approach with examples drawn from a variety of group-theoretic and topological contexts, such as link groups, one-relator groups, and fundamental groups of orientable Seifert fibered manifolds.     

关于Brunnian辫子群的相对李代数的基

\textrm{Brunnian辫子群与球面上的同伦群关系密切．在本文中, 研究了\textrm{Brunnian辫子群相对于纯辫子群的相对李代数L^{P}({\rm Brun}_{n}),通过其与\textrm{Brunnian辫子群相对于自由群的相对李代数L^{F_{n-1}}({\rm Brun}_{n})的关系,并借助自由群的李代数L(F_{n-1})的\textrm{Hall基给出相对李代数L^{P}({\rm Brun}_{n})的基.     

On the Restricted Lie Algebra Structure of the Witt Lie Algebra in Finite Characteristic

The article contains an explicit formula for the restricted Lie algebra structure in the Witt Lie algebra over a field of finite characteristic. Some combinatorial lemmas can be of independent interest.     

Domestic canonical algebras and simple Lie algebras

For each simply-laced Dynkin graph Δ we realize the simple complex Lie algebra of type Δ as a quotient algebra of the complex degenerate composition Lie algebra of a domestic canonical algebra A of type Δ by some ideal I of that is defined via the Hall algebra of A, and give an explicit form of I. Moreover, we show that each root space of has a basis given by the coset of an indecomposable A-module M with root easily computed by the dimension vector of M. Dedicated to Professor Claus Michael Ringel on the occasion of his 60th birthday.     

On the Hopf Algebraic Structure of Lie Group Integrators

A commutative but not cocommutative graded Hopf algebra H_N, based on ordered (planar) rooted trees, is studied. This Hopf algebra is a generalization of the Hopf algebraic structure of unordered rooted trees H_C, developed by Butcher in his study of Runge-Kutta methods and later rediscovered by Connes and Moscovici in the context of noncommutative geometry and by Kreimer where it is used to describe renormalization in quantum field theory. It is shown that H_N is naturally obtained from a universal object in a category of noncommutative derivations and, in particular, it forms a foundation for the study of numerical integrators based on noncommutative Lie group actions on a manifold. Recursive and nonrecursive definitions of the coproduct and the antipode are derived. The relationship between H_N and four other Hopf algebras is discussed. The dual of H_N is a Hopf algebra of Grossman and Larson based on ordered rooted trees. The Hopf algebra H_C of Butcher, Connes, and Kreimer is identified as a proper Hopf subalgebra of H_N using the image of a tree symmetrization operator. The Hopf algebraic structure of the shuffle algebra H_Sh is obtained from H_N by a quotient construction. The Hopf algebra H_P of ordered trees by Foissy differs from H_N in the definition of the product (noncommutative concatenation for H_P and shuffle for H_N) and the definitions of the coproduct and the antipode, however, these are related through the tree symmetrization operator.     

可换环上一些上三角矩阵李代数的导子

设R是任意含单位元的可换环,t是R上n×n上三角矩阵组成的李代数,b是R上迹为零的n×n上三角矩阵组成的李代数,本文明确给出了t和b的导子代数.     

Bidendriform bialgebras, trees, and free quasi-symmetric functions

We introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative Connes-Kreimer Hopf algebras of planar decorated rooted trees are bidendriform bialgebras. We prove that all connected bidendriform bialgebras are generated by their primitive elements as a dendriform algebra (bidendriform Milnor-Moore theorem) and then is isomorphic to a Connes-Kreimer Hopf algebra. As a corollary, the Hopf algebra of Malvenuto-Reutenauer is isomorphic to the Connes-Kreimer Hopf algebra of planar rooted trees decorated by a certain set. We deduce that the Lie algebra of its primitive elements is free in characteristic zero (G. Duchamp, F. Hivert and J.-Y. Thibon conjecture).     

Graded automorphism group of TKK Lie algebra over semilattice

Every extended affine Lie algebra of type A ₁ and nullity ν with extended affine root system R(A ₁, S), where S is a semilattice in ℝ ^ν , can be constructed from a TKK Lie algebra T (J (S)) which is obtained from the Jordan algebra J (S) by the so-called Tits-Kantor-Koecher construction. In this article we consider the ℤ ⁿ -graded automorphism group of the TKK Lie algebra T (J (S)), where S is the “smallest” semilattice in Euclidean space ℝ ⁿ .     

Depth Generated Simple Lie Algebras

A Lie module algebra for a Lie algebra L is an algebra and L-module A such that L acts on A by derivations. The depth Lie algebra of a Lie algebra L with Lie module algebra A acts on a corresponding depth Lie module algebra . This determines a depth functor from the category of Lie module algebra pairs to itself. Remarkably, this functor preserves central simplicity. It follows that the Lie algebras corresponding to faithful central simple Lie module algebra pairs (A,L) with A commutative are simple. Upon iteration at such (A,L), the Lie algebras are simple for all i ∈ ω. In particular, the (i ∈ ω) corresponding to central simple Jordan Lie algops (A,L) are simple Lie algebras. Presented by Don Passman.     

Lie Representations and an Algebra Containing Solomon's

We introduce and study a Hopf algebra containing the descent algebra as a sub-Hopf-algebra. It has the main algebraic properties of the descent algebra, and more: it is a sub-Hopf-algebra of the direct sum of the symmetric group algebras; it is closed under the corresponding inner product; it is cocommutative, so it is an enveloping algebra; it contains all Lie idempotents of the symmetric group algebras. Moreover, its primitive elements are exactly the Lie elements which lie in the symmetric group algebras.     

Non-commutative Hopf algebra of formal diffeomorphisms

This paper deals with two Hopf algebras which are the non-commutative analogues of two different groups of formal power series. The first group is the set of invertible series with the group law being multiplication of series, while the second is the set of formal diffeomorphisms with the group law being a composition of series. The motivation to introduce these Hopf algebras comes from the study of formal series with non-commutative coefficients. Invertible series with non-commutative coefficients still form a group, and we interpret the corresponding new non-commutative Hopf algebra as an alternative to the natural Hopf algebra given by the co-ordinate ring of the group, which has the advantage of being functorial in the algebra of coefficients. For the formal diffeomorphisms with non-commutative coefficients, this interpretation fails, because in this case the composition is not associative anymore. However, we show that for the dual non-commutative algebra there exists a natural co-associative co-product defining a non-commutative Hopf algebra. Moreover, we give an explicit formula for the antipode, which represents a non-commutative version of the Lagrange inversion formula, and we show that its coefficients are related to planar binary trees. Then we extend these results to the semi-direct co-product of the previous Hopf algebras, and to series in several variables. Finally, we show how the non-commutative Hopf algebras of formal series are related to some renormalization Hopf algebras, which are combinatorial Hopf algebras motivated by the renormalization procedure in quantum field theory, and to the renormalization functor given by the double-tensor algebra on a bi-algebra.     

Multiplicative Lie algebras and Schur multiplier

In this paper, we attempt to study the structure of multiplicative Lie algebras, the theory of extensions, the second cohomology groups of multiplicative Lie algebras, and in turn the Schur multipliers. The Schur–Hopf formula is established for multiplicative Lie algebras. We also introduce the group of nontrivial relations satisfied by the Lie product in a multiplicative Lie algebra, and study it as a functor arising from the presentations of multiplicative Lie algebras. Some applications in K-theory are also discussed.     

Relationships between the canonical ascending and descending central series of ideals of an associative algebra

We consider the canonical descending and ascending central series of ideals of an associative algebra. In particular, we prove that some ideal in the descending central series is finite-dimensional if and only if some ideal in the ascending central series is finite-codimensional. This result is the associative algebra analogue of results due to Reinhold Baer and Philip Hall in group theory and Ian Stewart in Lie algebra. We also prove various related results.     

可换环上一些线性李代数的扩代数

设R是任意含单位元的可换环,gl(n,R)是R上n级一般线性李代数.t表示gl(n,R)中所有上三角矩阵组成的子代数,d表示gl(n,R)中所有对角矩阵组成的子代数.本文将分别确定t在gl(n,R)中的扩代数和d在t中的扩代数.