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.     

Combinatorics for Wavelets: The Umbral Refinement Equation

The refinement equation is the most fundamental equation in wavelet theory.In this article, we study its combinatorial meanings and analogs. We show that the invariant properties of the Cauchy generating function are well adapted to the translation and dilation operators in the refinement equation. This leads to the discovery of analytic scaling functions and wavelets. The classical umbral calculus (or symbolic calculus) provides a powerful tool for moments analysis and defines the combinatorial analog of the ordinary refinement equation—the umbral refinement equation. By developing the existing theory of classical umbral calculus, we are able to solve the umbral refinement equation in a purely umbral manner. Many classical results in wavelet analysis are reestablished in the context of umbral calculus.     

Free and cofree Hopf algebras

We first prove that a graded, connected, free and cofree Hopf algebra is always self-dual. Then, we prove that two graded, connected, free and cofree Hopf algebras are isomorphic if and only if they have the same Poincaré–Hilbert formal series. If the characteristic of the base field is zero, we prove that the Lie algebra of the primitive elements of such an object is free, and we deduce a characterization of the formal series of free and cofree Hopf algebras by a condition of growth of the coefficients. We finally show that two graded, connected, free and cofree Hopf algebras are isomorphic as (nongraded) Hopf algebras if and only if the Lie algebras of their primitive elements have the same number of generators.     

Antipodes and incidence coalgebras

We introduce the notion of a reduced incidence coalgebra of a family of locally finite partially ordered sets and describe how bialgebras and Hopf algebras arise as such coalgebras. In the case when a reduced incidence coalgebra is a Hopf algebra, we give explicit recursive and closed formulas for the antipode, each of which generalizes a corresponding formula from the theory of Möbius functions. We give applications to the inversion of ordinary formal power series and inversion of Dirichlet series. We also formulate the classical Lagrange inversion formula as a combinatorial formula for the antipode of a Hopf algebra arising from the family of finite partition lattices.     

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.     

Reproducibility of linear and nonlinear input-output systems

An algebraic setting for the Roman-Rota umbral calculus is introduced. It is shown how many of the umbral calculus results follow simply by introducing a comultiplication map and requiring it to be an algebra map. The same approach is used to construct a q-umbral calculus. Our umbral calculus yields some of Andrews recent results on Eulerian families of polynomials as corollaries. The homogeneous Eulerian families are studied. Operator and functional expansions are also included.     

A Characterization of Group Rings

In this paper we prove that every coseparable involutory Hopf algebra over the ring of integers Z which is a free Z-module is the group ring of some group. This result was proved independently for Hopf algebras which are finitely generated Z-modules by H.-J. Schneider [6], using similar techniques. We then give some examples of coseparable Hopf algebras over number rings which are not group algebras, and give an example of a cocommutative coseparable coalgebra over a number ring which cannot be given a multiplicative structure making it into a Hopf algebra. The Hopf algebra structure theory required for this paper is found in [1], [4], and [5]. For completeness we give proofs here of the coalgebra analogues to some “well-known” facts about separable algebras.     

Tensor Products and Support Varieties for Some Noncocommutative Hopf Algebras

We explore questions of projectivity and tensor products of modules for finite dimensional Hopf algebras. We construct many classes of examples in which tensor powers of nonprojective modules are projective and tensor products of modules in one order are projective but in the other order are not. Our examples are smash coproducts with duals of group algebras, some having algebra and coalgebra structures twisted by cocycles. We apply support variety theory for these Hopf algebras as a tool in our investigations.     

Skew Derivations and Deformations of a Family of Group Crossed Products

We obtain deformations of a crossed product of a polynomial algebra with a group, under some conditions, from universal deformation formulas. We show that the resulting deformations are nontrivial by a comparison with Hochschild cohomology. The universal deformation formulas arise from actions of Hopf algebras generated by automorphisms and skew derivations, and are universal in the sense that they apply to deform all algebras with such Hopf algebra actions.     

Pascal算子矩阵在组合恒等式中的应用(英文)

定义了四种Pascal算子矩阵,给出了它们的代数性质及它们之间的关系,并且利用二项式型多项式序列、算子及哑运算得到许多组合恒等式.     

Pascal算子矩阵在组合恒等式中的应用

定义了四种Pascal算子矩阵,给出了它们的代数性质及它们之间的关系,并且利用二项式型多项式序列、算子及哑运算得到许多组合恒等式.     

偏π-余模的Maschke型定理

本文研究了偏群余模的Mashcke型定理.利用弱Hopf群余代数推广Hopf代数的方法,获得了偏群余模的Mashcke型定理.推广了Hopf代数理论中的Maschke型定理和[8]的相关结论.     

Isomorphism classes of finite dimensional connected Hopf algebras in positive characteristic

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair associated with these extensions, we construct a cohomology group, which classifies all the extensions up to equivalence. Moreover, we present a 1–1 correspondence between the isomorphism classes and a group quotient of the cohomology group deleting some exceptional points, where the group respects the automorphisms of the abelian matched pair and the exceptional points represent those restricted Lie algebra extensions.     

Multigraded combinatorial Hopf algebras and refinements of odd and even subalgebras

We develop a theory of multigraded (i.e., ℕ ^l -graded) combinatorial Hopf algebras modeled on the theory of graded combinatorial Hopf algebras developed by Aguiar et al. (Compos. Math. 142:1–30, 2006). In particular we introduce the notion of canonical k-odd and k-even subalgebras associated with any multigraded combinatorial Hopf algebra, extending simultaneously the work of Aguiar et al. and Ehrenborg. Among our results are specific categorical results for higher level quasisymmetric functions, several basis change formulas, and a generalization of the descents-to-peaks map.     

On formal quantum group laws

There exist natural generalizations of the concept of formal groups laws for noncommutative power series. This is a note on formal quantum group laws and quantum group law chunks. Formal quantum group laws correspond to noncommutative (topological) Hopf algebra structures on free associative power series algebras ká áx₁,...,x_m ? ?k\langle\! \langle x_1,\dots,x_m \rangle\! \rangle , k a field. Some formal quantum group laws occur as completions of noncommutative Hopf algebras (quantum groups). By truncating formal power series, one gets quantum group law chunks. ¶If the characteristic of k is 0, the category of (classical) formal group laws of given dimension m is equivalent to the category of m-dimensional Lie algebras. Given a formal group law or quantum group law (chunk), the corresponding Lie structure constants are determined by the coefficients of its chunk of degree 2. Among other results, a classification of all quantum group law chunks of degree 3 is given. There are many more classes of strictly isomorphic chunks of degree 3 than in the classical case.     

Hopf algebras and invariants of 3-manifolds

This paper studies invariants of 3-manifolds derived from finite dimensional Hopf algebras. The invariants are based on right integrals for the Hopf algebras. In fact, it is shown that the defining property of the right integral is an algebraic translation of a necessary condition for invariance under handle slides in the Kirby calculus. The resulting class of invariants is distinct from the class of Witten-Reshetikhin-Turaev invariants.     

Colored Posets and Colored Quasisymmetric Functions

The colored quasisymmetric functions, like the classic quasisymmetric functions, are known to form a Hopf algebra with a natural peak subalgebra. We show how these algebras arise as the image of the algebra of colored posets. To effect this approach, we introduce colored analogs of P-partitions and enriched P-partitions. We also frame our results in terms of Aguiar, Bergeron, and Sottile’s theory of combinatorial Hopf algebras and its colored analog.