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.

     

Integrable Renormalization II: The General Case

We extend the results we obtained in an earlier work [1]. The cocommutative case of ladders is generalized to a full Hopf algebra of (decorated) rooted trees. For Hopf algebra characters with target space of Rota-Baxter type, the Birkhoff decomposition of renormalization theory is derived by using the double Rota-Baxter construction, respectively Atkinsons theorem. We also outline the extension to the Hopf algebra of Feynman graphs via decorated rooted trees.submitted 16/03/04, accepted 09/09/04This revised version was published online in May 2005 with correction to the addresses.     

Galois Theory for Multiplier Hopf Algebras with Integrals

In this paper, we introduce a generalized Hopf Galois theory for regular multiplier Hopf algebras with integrals, which might be viewed as a generalization of the Hopf Galois theory of finite-dimensional Hopf algebras. We introduce the notion of a coaction of a multiplier Hopf algebra on an algebra. We show that there is a duality for actions and coactions of multiplier Hopf algebras with integrals. In order to study the Galois (co)action of a multiplier Hopf algebra with an integral, we construct a Morita context connecting the smash product and the coinvariants. A Galois (co)action can be characterized by certain surjectivity of a canonical map in the Morita context. Finally, we apply the Morita theory to obtain the duality theorems for actions and coactions of a co-Frobenius Hopf algebra.     

Hopf箭图与Hopf代数

本文研究了简单无向Hopf箭图的图论性质以及路代数与路余代数的关系.利用简单无向Hopf箭图与简单图的关系.证明了路代数是路余代数的对偶的直和部分.     

The Second Indicator and the Trace of the Antipode for Representations of a Class of Hopf Algebras of Andruskiewitch-Schneider Type

We give definition of the second indicator for any finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0 with the square of antipode an inner automorphism. We derive a closed formula for the trace of the antipode on endomorphism algebras of simple self-dual modules of nilpotent type liftings of quantum linear spaces and compute the value of their second indicators. Uniqueness of indicators is examined.     

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.     

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.     

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.     

Larson–Sweedler theorem and the role of grouplike elements in weak Hopf algebras

We extend the Larson–Sweedler theorem [Amer. J. Math. 91 (1969) 75] to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf algebra is autonomous monoidal with semisimple unit and invertible modules. We also reveal the connection of invertible modules to left and right grouplike elements in the dual weak Hopf algebra. Defining distinguished left and right grouplike elements, we derive the Radford formula [Amer. J. Math. 98 (1976) 333] for the fourth power of the antipode in a weak Hopf algebra and prove that the order of the antipode is finite up to an inner automorphism by a grouplike element in the trivial subalgebra A^T of the underlying weak Hopf algebra A.     

On the Structure of Weak Hopf Algebras

We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo, a trivial automorphism. We find a sufficient condition in terms of Tr(S²) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple.     

Hopf structures on ambiskew polynomial rings

We derive necessary and sufficient conditions for an ambiskew polynomial ring to have a Hopf algebra structure of a certain type. This construction generalizes many known Hopf algebras, for example U(sl₂), U_q(sl₂) and the enveloping algebra of the three-dimensional Heisenberg Lie algebra. In a torsion-free case we describe the finite-dimensional simple modules, in particular their dimensions, and prove a Clebsch-Gordan decomposition theorem for the tensor product of two simple modules. We construct a Casimir type operator and prove that any finite-dimensional weight module is semisimple.     

Semi-pointed partition posets and species

We define semi-pointed partition posets, which are a generalization of partition posets, and show that they are Cohen–Macaulay. We then use multichains to compute the dimension and the character for the action of the symmetric groups on their homology. We finally study the associated incidence Hopf algebra, which is similar to the Faà di Bruno Hopf algebra.     

The Heisenberg envelope for the Hochschild algebra of a finite-dimensional lie algebra

We consider some kind of Hopf algebra assigned to any finite-dimensional Lie algebra. This algebra was pointed out by Hochschild. We prove several statements on its embeddings into an algebra of formal power series. In particular, we obtain similar results for Lie algebras. More precisely, a Lie algebra can be embedded into a Lie algebra of special derivations with coefficients in rational functions in (quasi)polynomials.     

Coorbits of Quantum Homogeneous Spaces

The notion of coorbits for spaces with quantum group actions is introduced. A space with a quantum group action is given by a pair of algebras: an associative algebra which is the analog of a classical topological space, and a Hopf algebra which is the analog of a classical topological group. The Hopf algebra acts on the associative algebra via a comodule structure mapping which is also an algebra homomorphism. For a space with a quantum group action, a coorbit is a pair of spaces given by the image and the kernel of an algebra homomorphism from the associative algebra to the Hopf algebra. The coorbits of several types of quantum homogeneous spaces are discussed. In the case when the associative algebra is the group algebra of a group and the Hopf algebra is a quotient of the group algebra, the connection between the set of coorbits and the character group is established.     

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#Â.     

Coset Decomposition for Semisimple Hopf Algebras

The notion of double coset for semisimple finite dimensional Hopf algebras is introduced. This is done by considering an equivalence relation on the set of irreducible characters of the dual Hopf algebra. As an application formulae for the restriction of the irreducible characters to normal Hopf subalgebras are given.     

Nonlinear rotating convection in a sparsely packed porous medium

We investigate linear and weakly nonlinear properties of rotating convection in a sparsely packed Porous medium. We obtain the values of Takens–Bogdanov bifurcation points and co-dimension two bifurcation points by plotting graphs of neutral curves corresponding to stationary and oscillatory convection for different values of physical parameters relevant to rotating convection in a sparsely packed porous medium near a supercritical pitchfork bifurcation. We derive a nonlinear two-dimensional Landau–Ginzburg equation with real coefficients by using Newell–Whitehead method [16]. We investigate the effect of parameter values on the stability mode and show the occurrence of secondary instabilities viz., Eckhaus and Zigzag Instabilities. We study Nusselt number contribution at the onset of stationary convection. We derive two nonlinear one-dimensional coupled Landau–Ginzburg type equations with complex coefficients near the onset of oscillatory convection at a supercritical Hopf bifurcation and discuss the stability regions of standing and travelling waves.     

Non-Abelian Hopf Cohomology of Radford Products

We study the non-abelian Hopf cohomology theory of Radford products with coefficients in a comodule algebra. We show that these sets can be expressed in terms of the non-abelian Hopf cohomology theory of each factor of the Radford product. We write down an exact sequence relating these objects. This allows to compute explicitly the non-abelian Hopf cohomology sets in large classes of examples.