Induced and Coinduced Representations of Hopf Group Coalgebras

The induction theory for a Hopf group coalgebra is outlined. Given a Hopf group coalgebra H, the notions of a quotient Hopf group coalgebra and group coisotropic quantum subgroup of H are introduced. The properties of (co)induced representations are studied and the geometric interpretation and simplicity theory of such representations are given.      

Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.     

On corepresentations of multiplier Hopf algebras

We present a general construction producing a unitary corepresentation of a multiplier Hopf algebra in itself and study RR-corepresentations of twisted tensor coproduct multiplier Hopf algebra. Then we investigate some properties of functors, integrals and morphisms related to the categories of the crossed modules and covariant modules over multiplier Hopf algebras. By doing so, we can apply our theory to the case of group-cograded multiplier Hopf algebras, in particular, the case of Hopf group-coalgebras.     

Transmutation theory of a coquasitriangular weak Hopf algebra

Let H be a coquasitriangular quantum groupoid. In this paper, using a suitable idempotent element e in H, we prove that eH is a braided group (or a braided Hopf algebra in the category of right H-comodules), which generalizes Majid’s transmutation theory from a coquasitriangular Hopf algebra to a coquasitriangular weak Hopf algebra.     

Forms of pointed Hopf algebras

Using descent theory, we study Hopf algebra forms of pointed Hopf algebras. It turns out that the set of isomorphism classes of such forms are in one-to-one correspondence to other known invariants, for example the set of isomorphism classes of Galois extensions with a certain group F, or the set of isometry classes of m-ary quadratic forms. Our theory leads to a classification of all Hopf algebras over a field of characteristic zero that become pointed after a base extension, in dimension p, p ² and p ³, with p odd. Received: 22 November 1998     

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.     

Hopf Algebras of Linear Recurring Sequences over Rings and Modules

The module of linear recurring sequences over a commutative ring R can be considered as a Hopf algebra dual to the polynomial Hopf algebra over R. Under this approach, some notions and operations from the Hopf algebra theory have an interesting interpretation in terms of linear recurring sequences. Generalizations are also considered: linear recurring bisequences, sequences over modules, and k-sequences.__________Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 1, pp. 113–148, 2003.     

Representation theory of Hopf galois extensions

LetH be a Hopf algebra over the fieldk andB ⊂A a right faithfully flat rightH-Galois extension. The aim of this paper is to study some questions of representation theory connected with the ring extensionB ⊂A, such as induction and restriction of simple or indecomposable modules. In particular, generalizations are given of classical results of Clifford, Green and Blattner on representations of groups and Lie algebras. The stabilizer of a leftB-module is introduced as a subcoalgebra ofH. Very often the stabilizer is a Hopf subalgebra. The special case whenA is a finite dimensional cocommutative Hopf algebra over an algebraically closed field,B is a normal Hopf subalgebra andH is the quotient Hopf algebra was studied before by Voigt using the language of finite group schemes.     

Quantum field theory meets Hopf algebra

This paper provides a primer in quantum field theory (QFT) based on Hopf algebra and describes new Hopf algebraic constructions inspired by QFT concepts. The following QFT concepts are introduced: chronological products, S ‐matrix, Feynman diagrams, connected diagrams, Green functions, renormalization. The use of Hopf algebra for their definition allows for simple recursive derivations and leads to a correspondence between Feynman diagrams and semi‐standard Young tableaux. Reciprocally, these concepts are used as models to derive Hopf algebraic constructions such as a connected coregular action or a group structure on the linear maps from S (V) to V. In many cases, noncommutative analogues are derived (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Morphisms of double frobenius algebras. i

Double Frobenius algebras (or dF-algebras) were recently introduced by the author. The concept includes finite-dimensional Hopf algebras, adjacency algebras of (non-commutative) association schemes, and C-algebras (character algebras). In this paper we define certain kinds of morphisms of dF-algebras and develop their basic theory. The morphisms generalize homomorphisms of Hopf algebras and of C-algebras.     

A maschke type theorem for weak Hopf algebras

In this paper, we give a necessary and sufficient condition for a comodule algebra over a weak Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the Hopf algebra setting. Also, from these results, we deduce a version of Maschke＇s Theorem for （H, B）-Hopf modules associated with a weak Hopf algebra H and a right H-comodule algebra B.     

Equivariant Cyclic Cohomology of H-Algebras

We define an equivariant K ₀-theory for Yetter–Drinfeld algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a pairing, generalizing Connes pairing, between this theory and a suitably defined Hopf algebra equivariant cyclic cohomology theory.     

Complex hopf bifurcation of integral surfaces

The existence of the Hopf bifurcation of a complex ordinary differential equation system in the complex domain is studied in this paper by using the complex qualitative theory. In the complex domain, we conclude that the Hopf bifurcation appears for both directions of the parameter. The formulae of the Hopf bifurcation are also given in this paper.     

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.     

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.     

Maschke Type Theorems for Nonassociative Hopf Algebras

In this article, we give necessary and sufficient conditions for a possibly nonassociative comodule algebra over a nonassociative Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the associative setting. Also, from this result we deduce a version of Maschke's Theorems and the consequent characterization of projectives for (H, B)-Hopf triples associated with a nonassociative Hopf algebra H and a nonassociative right H-comodule algebra B.     

Multiplier Hopf Algebras in Categories and the Biproduct Construction

Let B be a regular multiplier Hopf algebra. Let A be an algebra with a non-degenerate multiplication such that A is a left B-module algebra and a left B-comodule algebra. By the use of the left action and the left coaction of B on A, we determine when a comultiplication on A makes A into a “B-admissible regular multiplier Hopf algebra.” If A is a B-admissible regular multiplier Hopf algebra, we prove that the smash product A # B is again a regular multiplier Hopf algebra. The comultiplication on A # B is a cotwisting (induced by the left coaction of B on A) of the given comultiplications on A and B. When we restrict to the framework of ordinary Hopf algebra theory, we recover Majid’s braided interpretation of Radford’s biproduct. Presented by K. Goodearl.     

Crossed Products in Weak Contexts

We define the general notion of crossed products in a weak context, which generalizes the ones defined by Blattner, Cohen and Montgomery, Doi and Takeuchi in the context of Hopf algebras and the one given by Brzeziński. Also, the crossed products obtained by the authors, for weak Hopf algebras living in a symmetric monoidal category and weak C-cleft extensions associated to weak entwined structures, are particular instances of this theory.     

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given in Bruguières and Virelizier (2007) [5] for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid.Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford–Majid bosonization of Hopf algebras).We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler?s Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.