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. In the dual basis for the graded dual Hopf algebra, our formula for the coproduct gives an explicit isomorphism with a free associative algebra. 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.     

Radford's biproduct for quasi-Hopf algebras and bosonization

Let B be a braided Hopf algebra (with bijective antipode) in the category of left Yetter-Drinfeld modules over a quasi-Hopf algebra H. As in the case of Hopf algebras (J. Algebra 92 (1985) 322), the smash product B#H defined in (Comm. Algebra 28(2) (2000) 631) and a kind of smash coproduct afford a quasi-Hopf algebra structure on B⊗H. Using this, we obtain the structure of quasi-Hopf algebras with a projection. Further we will use this biproduct to describe the Majid bosonization (J. Algebra 163 (1994) 165) for quasi-Hopf algebras.     

Algebraic Structures of B-series

B-series are a fundamental tool in practical and theoretical aspects of numerical integrators for ordinary differential equations. A composition law for B-series permits an elegant derivation of order conditions, and a substitution law gives much insight into modified differential equations of backward error analysis. These two laws give rise to algebraic structures (groups and Hopf algebras of trees) that have recently received much attention also in the non-numerical literature. This article emphasizes these algebraic structures and presents interesting relationships among them.     

A compact quantum semigroup generated by an isometry

In this paper we construct a compact quantum semigroup structure on a Toeplitz algebra. We prove the existence of a subalgebra in the dual algebra isomorphic to the algebra of regular Borel measures on a circle with the convolution product. We also prove the existence of Haar functionals in the dual algebra and in the mentioned subalgebra. We show that this compact quantum semigroup contains a dense subalgebra with the structure of a weak Hopf algebra.     

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.     

An Algebraic Framework for Group Duality

A Hopf algebra is a pair (A, Δ) whereAis an associative algebra with identity andΔa homomorphism formAtoA⊗Asatisfying certain conditions. If we drop the assumption thatAhas an identity and if we allowΔto have values in the so-called multiplier algebraM(A⊗A), we get a natural extension of the notion of a Hopf algebra. We call this a multiplier Hopf algebra. The motivating example is the algebra of complex functions with finite support on a group with the comultiplication defined as dual to the product in the group. Also for these multiplier Hopf algebras, there is a natural notion of left and right invariance for linear functionals (called integrals in Hopf algebra theory). We show that, if such invariant functionals exist, they are unique (up to a scalar) and faithful. For a regular multiplier Hopf algebra (A, Δ) (i.e., with invertible antipode) with invariant functionals, we construct, in a canonical way, the dual (Â, Δ). It is again a regular multiplier Hopf algebra with invariant functionals. It is also shown that the dual of (Â, Δ) is canonically isomorphic with the original multiplier Hopf algebra (A, Δ). It is possible to generalize many aspects of abstract harmonic analysis here. One can define the Fourier transform; one can prove Plancherel's formula. Because any finite-dimensional Hopf algebra is a regular multiplier Hopf algebra and has invariant functionals, our duality theorem applies to all finite-dimensional Hopf algebras. Then it coincides with the usual duality for such Hopf algebras. But our category of multiplier Hopf algebras also includes, in a certain way, the discrete (quantum) groups and the compact (quantum) groups. Our duality includes the duality between discrete quantum groups and compact quantum groups. In particular, it includes the duality between compact abelian groups and discrete abelian groups. One of the nice features of our theory is that we have an extension of this duality to the non-abelian case, but within one category. This is shown in the last section of our paper where we introduce the algebras of compact type and the algebras of discrete type. We prove that also these are dual to each other. We treat an example that is sufficiently general to illustrate most of the different features of our theory. It is also possible to construct the quantum double of Drinfel'd within this category. This provides a still wider class of examples. So, we obtain many more than just the compact and discrete quantum within this setting.     

Basic Hopf Algebras of Tame Type

In continuation of the articles (Liu J Algebra 299:841–853, 2006; Huang, J Algebra 321:2650–2669, 2009) we classify all finite-dimensional basic Hopf algebras of tame type over an algebraically closed field of characteristic 0 in this paper. As consequences, we show the following statements: (1) the representation dimension of a tame basic Hopf algebra is exactly 3, (2) for a basic Hopf algebra H, if $\textrm{C}(H)\geq 3$ then it is wild. These conclusions verify a folklore conjecture and one of Rickard’s statements for the class of finite-dimensional basic Hopf algebras.     

A Two-Parameter Quantum (2+1)-Superspace and its Deformed Derivation Algebra as Hopf Superalgebra

As is well known, a Hopf algebra setting is an efficient tool to study some geometric structures such as the Maurer-Cartan invariant forms and the corresponding vector fields on a noncommutative space. In this study we introduce a two-parameter quantum (2+1)-superspace with a Hopf superalgebra structure.We also define some derivation operators acting on this quantum superspace, and we show that the algebra of these derivations is a Hopf superalgebra. Furthermore it will be shown how the derivation operators lead to a bicovariant differential calculus on the two- parameter quantum (2+1)-superspace. In conclusion, based on the bicovariant differential calculus, the Maurer-Cartan right invariant differential forms and the corresponding quantum Lie superalgebra are given.     

Co-Poisson structures on polynomial Hopf algebras

The Hopf dual H° of any Poisson Hopf algebra H is proved to be a co-Poisson Hopf algebra provided H is noetherian. Without noetherian assumption, unlike it is claimed in literature, the statement does not hold. It is proved that there is no nontrivial Poisson Hopf structure on the universal enveloping algebra of a non-abelian Lie algebra. So the polynomial Hopf algebra, viewed as the universal enveloping algebra of a finite-dimensional abelian Lie algebra, is considered. The Poisson Hopf structures on polynomial Hopf algebras are exactly linear Poisson structures. The co-Poisson structures on polynomial Hopf algebras are characterized. Some correspondences between co-Poisson and Poisson structures are also established.     

Algebraic structures on Grothendieck groups of a tower of algebras

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.     

Quiver Hopf algebras

In this paper we study subHopfalgebras of graded Hopf algebra structures on a path coalgebra kQ^c. We prove that a Hopf structure on some subHopfquivers can be lifted to a Hopf structure on the whole Hopf quiver. If Q is a Schurian Hopf quiver, then we classified all simple-pointed subHopfalgebras of a graded Hopf structure on kQ^c. We also prove a dual Gabriel theorem for pointed Hopf algebras.     

Invariant properties of representations under cleft extensions

The main aim of this paper is to give the invariant properties of representations of algebras under cleft extensions over a semisimple Hopf algebra. Firstly, we explain the concept of the cleft extension and give a relation between the cleft extension and the crossed product which is the approach we depend upon. Then, by making use of them, we prove that over an algebraically closed field k, for a finite dimensional Hopf algebra H which is semisimple as well as its dual H*, the representation type of an algebra is an invariant property under a finite dimensional H-cleft extension . In the other part, we still show that over an arbitrary field k, the Nakayama property of a k-algebra is also an invariant property under an H -cleft extension when the radical of the algebra is H-stable.     

The Drinfel'd double versus the Heisenberg double for an algebraic quantum group

Let A be a regular multiplier Hopf algebra with integrals. The dual of A, denoted by Â, is a multiplier Hopf algebra so that Â,A is a pairing of multiplier Hopf algebras. We consider the Drinfel'd double, D=ÂA^cop, associated to this pair. We prove that D is a quasitriangular multiplier Hopf algebra. More precisely, we show that the pair Â,A has a “canonical multiplier” WM(ÂA). The image of W in M(DD) is a generalized R-matrix for D. We use this image of W to deform the product of the dual multiplier Hopf algebra via the right action of D on which defines the pair . As expected from the finite-dimensional case, we find that the deformation of the product in is related to the Heisenberg double A#Â.     

Clifford 代数,几何计算和几何推理

Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数．历史上,E．Cartan,R．Brauer,H．Weyl,C．Chevalley等数学大师都曾研究和应用过Clifford代数,对它的发展起了重要作用．近年来,Clifford代数在微分几何、理论物理、经典分析等方面取得了辉煌的成就,是现代理论数学和物理的一个核心工具,并在现代科技的各个领域,如机器人学、信号处理、计算机视觉、计算生物学、量子计算等方面有广泛的应用．本文主要介绍Clifford代数在几何计算和几何推理中的应用．作为一种优秀的描述和计算几何问题的代数语言,Clifford代数对于几何体,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示,因而应用它进行几何自动推理,不仅使困难定理的证明往往变得极为简单,而且能够解决一些著名的公开问题,目前在国际上,几何自动推理已经成为Clifford代数的一个重要应用领域。     

On dualization of double frobenius algebras

Double Frobenius algebras (or dF-algebras) were recently introduced by the author. The concept generalizes finite-dimensional Hopf algebras, adjacency algebras of (non-commutative) association schemes, and C-algebras (or character algebras). In this paper we define a dualization construction of a dF-algebra, the so-called linear dual. We show that in the case of a Hopf algebra the linear dual gives the usual dual Hopf algebra and in the case of a C-algebra it essentially gives the usual Kawada’s dual.     

Symmetric Functions, Noncommutative Symmetric Functions, and Quasisymmetric Functions

This paper is concerned with two generalizations of the Hopf algebra of symmetric functions that have more or less recently appeared. The Hopf algebra of noncommutative symmetric functions and its dual, the Hopf algebra of quasisymmetric functions. The focus is on the incredibly rich structure of the Hopf algebra of symmetric functions and the question of which structures and properties have good analogues for the noncommutative symmetric functions and/or the quasisymmetric functions. This paper attempts to survey the ongoing investigations in this topic as dictated by the knowledge and interests of its author. There are many open questions that are discussed.     

On Isotypic Decompositions for Non-Semisimple Hopf Algebras

In this paper we study the isotypic decomposition of the regular module of a finite-dimensional Hopf algebra over an algebraically closed field of characteristic zero. For a semisimple Hopf algebra, the idempotents realizing the isotypic decomposition can be explicitly expressed in terms of characters and the Haar integral. In this paper we investigate Hopf algebras with the Chevalley property, which are not necessarily semisimple. We find explicit expressions for idempotents in terms of Hopf-algebraic data, where the Haar integral is replaced by the regular character of the dual Hopf algebra. For a large class of Hopf algebras, these are shown to form a complete set of orthogonal idempotents. We give an example which illustrates that the Chevalley property is crucial.

     

The Projective Class Ring of Basic and Split Hopf Algebras

We describe the structure of the complexification of the projective class ring of a basic and split Hopf algebra using a positive integer determined by the composition series of the projective cover of the trivial module. If q is a root of unity of order n, the projective class algebra of u_q ⁺(sl₂) is the product of n–1 copies of the dual numbers over C and two copies of C.     

Numerical integrators based on modified differential equations

Inspired by the theory of modified equations (backward error analysis), a new approach to high-order, structure-preserving numerical integrators for ordinary differential equations is developed. This approach is illustrated with the implicit midpoint rule applied to the full dynamics of the free rigid body. Special attention is paid to methods represented as B-series, for which explicit formulae for the modified differential equation are given. A new composition law on B-series, called substitution law, is presented.