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.     

The Drinfel’d Double for Group-cograded Multiplier Hopf Algebras

Let G be any group and let K(G) denote the multiplier Hopf algebra of complex functions with finite support in G. The product in K(G) is pointwise. The comultiplication on K(G) is defined with values in the multiplier algebra M(K(G) ⊗K(G )) by the formula for all and . In this paper we consider multiplier Hopf algebras B (over ) such that there is an embedding I: K(G) →M(B). This embedding is a non-degenerate algebra homomorphism which respects the comultiplication and maps K(G) into the center of M(B). These multiplier Hopf algebras are called G-cograded multiplier Hopf algebras. They are a generalization of the Hopf group-coalgebras as studied by Turaev and Virelizier. In this paper, we also consider an admissible action π of the group G on a G-cograded multiplier Hopf algebra B. When B is paired with a multiplier Hopf algebra A, we construct the Drinfel’d double D ^π where the coproduct and the product depend on the action π. We also treat the ^*-algebra case. If π is the trivial action, we recover the usual Drinfel’d double associated with the pair . On the other hand, also the Drinfel’d double, as constructed by Zunino for a finite-type Hopf group-coalgebra, is an example of the construction above. In this case, the action is non-trivial but related with the adjoint action of the group on itself. Now, the double is again a G-cograded multiplier Hopf algebra. Presented by K. Goodearl.     

A Categorical Approach to Turaev's Hopf Group-Coalgebras

We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an application, we give an alternative approach to Virelizier's version of the Fundamental Theorem for Hopf algebras. We introduce Yetter–Drinfeld modules over Hopf group-coalgebras using the center construction.     

Traces on Multiplier Hopf Algebras

In this article we lay the algebraic foundations to establish the existence of trace functions on infinite-dimensional (multiplier) Hopf algebras. We solve the problem within the framework of multiplier Hopf algebra with integrals. By applying this theory to group-cograded multiplier Hopf algebras, we prove the existence of group-traces on group-cograded multiplier Hopf algebras with possibly infinite-dimensional components. We generalize the results as obtained by Virelizier in the case of finite-type Hopf group-coalgebras.     

A Class of Multiplier Hopf Algebras

We compute the Drinfel’d double for the bicrossproduct multiplier Hopf algebra A = k[G] ⋊ K(H) associated with the factorization of an infinite group M into two subgroups G and H. We also show that there is a basis-preserving self-duality structure for the multiplier Hopf algebra A = k[G] ⋊ K(H) if there is a factor-reversing group isomorphism. Presented by A. Verschoren.     

Finite dimensional Nichols algebras over certain p-groups

We investigate pointed Hopf algebras over finite nilpotent groups of odd order, with nilpotency class 2. For such a group G, we show that if its commutator subgroup coincides with its center, then there exists no non-trivial finite-dimensional pointed Hopf algebra with kG as its coradical. We apply these results to non-abelian groups of order p³, p⁴ and p⁵, and list all the pointed Hopf algebras of order p⁶, whose group of grouplikes is non-abelian.     

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.     

A Lot of Quasitriangular Group-cograded Multiplier Hopf Algebras

A new method of constructing quasitriangular group-cograded multiplier Hopf algebras is provided. For a multiplier Hopf dual pairing σ between regular multiplier Hopf algebras A and B, we introduce the concept of a σ-compatible pairing (Φ, Ψ, σ ), where Φ and Ψ are actions of the twisted semi-direct group of a group G on A and B, respectively. We construct a twisted double group-cograded multiplier Hopf algbera D(A, B; σ, Φ, Ψ). Furthermore, if there is a canonical multiplier in M(B ⊗ A) we show existence of quasitriangular structure on D(A, B; σ, Φ, Ψ). As an application, special cases and examples are given.     

On the algebra structure of some bismash products

We study several families of semisimple Hopf algebras, arising as bismash products, which are constructed from finite groups with a certain specified factorization. First we associate a bismash product H_q of dimension q(q−1)(q+1) to each of the finite groups PGL₂(q) and show that these H_q do not have the structure (as algebras) of group algebras (except when q=2,3). As a corollary, all Hopf algebras constructed from them by a comultiplication twist also have this property and are thus non-trivial. We also show that bismash products constructed from Frobenius groups do have the structure (as algebras) of group algebras.     

On Finite Quantum Groups at −1

This is a contribution to the classification of finite-dimensional pointed Hopf algebras. We are concerned with the case when the group of group-like elements is Abelian of exponent 2. We attach to such a pointed Hopf algebra a generalized simply-laced Cartan matrix; we conjecture that the Hopf algebra is finite-dimensional if and only if the Cartan matrix is of finite type. We prove the conjecture for the types A_n and A_n⁽¹⁾. We obtain the classification of all possible Hopf algebras with Cartan matrix A_n. We use the lifting method developed by Hans-Jürgen Schneider and the first-named author. Presented by S. MontgomeryMathematics Subject Classifications (2000) Primary: 17B37; secondary: 16W30.This work was partially supported by CONICET, Agencia Córdoba Ciencia – CONICOR, FOMEC and Secyt (UNC).     

Quasitriangular Pointed Hopf Algebras Constructed by Ore Extensions

We study the quasitriangular structures for a family of pointed Hopf algebras which is big enough to include Taft's Hopf algebras H _n ², Radford's Hopf algebras H _N,n,q, and E(n). We give necessary and sufficient conditions for the Hopf algebras in our family to be quasitriangular. For the case when they are, we determine completely all the quasitriangular structures. Also, we determine the ribbon elements of the quasitriangular Hopf algebras and the quasi-ribbon elements of their Drinfel'd double.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

Semidirect products of weak multiplier Hopf algebras: Smash products and smash coproducts

In this paper, we will develop the smash product of weak multiplier Hopf algebras unifying the cases of Hopf algebras, weak Hopf algebras and multiplier Hopf algebras. We will show that the smash product R#A has a regular weak multiplier Hopf algebra structure if R and A are regular weak multiplier Hopf algebras. We shall investigate integrals on R#A. We also consider the result in the ?-situation and new examples. Dually, we consider the smash coproduct of weak multiplier Hopf algebras under an appropriate form and integrals on the smash coproduct and we obtain results in the ?-situation.     

The Larson–Sweedler theorem for weak multiplier Hopf algebras

The Larson–Sweedler theorem says that a finite-dimensional bialgebra with a faithful integral is a Hopf algebra [15 Larson, R. G., Sweedler, M. E. (1969). An associative orthogonal bilinear form for Hopf algebras. Amer. J. Math. 91:75–93.[Crossref], [Web of Science ®] , [Google Scholar]]. The result has been generalized to finite-dimensional weak Hopf algebras by Vecsernyés [44 Vecsernyés, P. (2003). Larson–Sweedler theorem and the role of grouplike elements in weak Hopf algebras. J. Algebra 270:471–520. See also arXiv: 0111045v3 [math.QA] for an extended version.[Crossref], [Web of Science ®] , [Google Scholar]]. In this paper, we show that the result is still true for weak multiplier Hopf algebras. The notion of a weak multiplier bialgebra was introduced by Böhm et al. in [4 Böhm, G., Gómez-Torecillas, J., López-Centella, E. (2015). Weak multiplier bialgebras. Weak multiplier bialgebras. 367(12):8681–8872. See also arXiv: 1306.1466 [math.QA]. [Google Scholar]]. In this note it is shown that a weak multiplier bialgebra with a regular and full coproduct is a regular weak multiplier Hopf algebra if there is a faithful set of integrals. Weak multiplier Hopf algebras are introduced and studied in [40 Van Daele, A., Wang, S. (2015). Weak multiplier Hopf algebras I. The main theory. J. Ange. Math. (Crelles J.) 705:155–209, ISSN (Online) 1435-5345, ISSN (Print) 0075-4102, DOI: 10.1515/crelle-2013-0053, July 2013. See also arXiv:1210.4395v1 [math.RA].[Web of Science ®] , [Google Scholar]]. Integrals on (regular) weak multiplier Hopf algebras are treated in [43 Van Daele, A., Wang, S. (2016). Weak multiplier Hopf algebras III. Integrals and duality. Preprint University of Leuven (Belgium) and Southeast University of Nanjing (China), See arXiv: 1701.04951.v3 [math.RA]. [Google Scholar]]. This result is important for the development of the theory of locally compact quantum groupoids in the operator algebra setting, see [13 Kahng, B.-J., Van Daele, A. A class of C*-algebraic locally compact quantum groupoids I. Preprint Canisius College Buffalo (USA) and University of Leuven (Belgium). [Google Scholar]] and [14 Kahng, B.-J., Van Daele, A. A class of C*-algebraic locally compact quantum groupoids II. Preprint Canisius College Buffalo (USA) and University of Leuven (Belgium). [Google Scholar]]. Our treatment of this material is motivated by the prospect of such a theory.     

Invariant Cyclic Homology

We define a noncommutative analogue of invariant de Rham cohomology. More precisely, for a triple (A, H, M) consisting of a Hopf algebra H, an H-comodule algebra A, an H-module M, and a compatible grouplike element in H, we define the cyclic module of invariant chains on A with coefficients in M and call its cyclic homology the invariant cyclic homology of A with coefficients in M. We also develop a dual theory for coalgebras. Examples include cyclic cohomology of Hopf algebras defined by Connes–Moscovici and its dual theory. We establish various results and computations including one for the quantum group SL(q,2).     

Derived subgroups of fixed points

LetA be an elementary abelianq-group acting on a finiteq′-groupG. We show that ifA has rank at least 3, then properties ofC _G(a)′, 1 ≠a ∈A restrict the structure ofG′. In particular, we consider exponent, order, rank and number of generators. This author was supported by the NSF. This author was supported by CNP_q-Brazil.     

On recognizability of some finite simple orthogonal groups by spectrum

It is proved that, if G is a finite group that has the same set of element orders as the simple group D _p (q), where p is prime, p ≥ 5 and q ∈ {2, 3, 5}, then the commutator group of G/F(G) is isomorphic to D _p (q), the subgroup F(G) is equal to 1 for q = 5 and to O _q (G) for q ∈ {2, 3}, F(G) ≤ G′, and |G/G′| ≤ 2.     

On Semisimple Hopf Algebras of Dimension pq r

Let p and q be distinct prime numbers. We prove a result on the existence of nontrivial group-like elements in a certain class of semisimple Hopf algebras of dimension pq ^r . We conclude the classification of semisimple Hopf algebras A of dimension pq ² over an algebraically closed field k of characteristic zero, such that both A and A ^* are of Frobenius type. We also complete the classification of semisimple Hopf algebras of dimension pq ²<100.     

Algebras Versus Coalgebras

Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and thus are accessible to classical algebraists and topologists as well as to logicians and computer scientists. Some of them have developed specialised parts of the theory and often reinvented constructions already known in a neighbouring area. One purpose of this survey is to show the connection between results from different fields and to trace a number of them back to some fundamental papers in category theory from the early 1970s. Another intention is to look at the interplay between algebraic and coalgebraic notions. Hopf algebras are one of the most interesting objects in this setting. While knowledge of algebras and coalgebras are folklore in general category theory, the notion of Hopf algebras is usually only considered for monoidal categories. In the course of the text we do suggest how to overcome this defect by defining a Hopf monad on an arbitrary category as a monad and comonad satisfying some compatibility conditions and inducing an equivalence between the base category and the category of the associated bimodules. For a set G, the endofunctor G× – on the category of sets shares these properties if and only if G admits a group structure. Finally, we report about the possibility of subsuming algebras and coalgebras in the notion of ( F , G )-dimodules associated to two functors between different categories. This observation, due to Tatsuya Hagino, was an outcome from the theory of categorical data types and may also be of use in classical algebra.