Quasi-bimonads and their representations

In this paper quasi-bimonads on a monoidal category are introduced and investigated. Quasi-bimonads generalize quasi-bialgebras to a non-braided setting. We discuss their representations and investigate the R-matrix of a quasi-bimonad. Such an R-matrix provides a new solution of the version of the Yang-Baxter equation adapted to the situation. We also introduce an equivalent relation on (quasitriangular) quasi-bimonads such that the categories of representations of two (quasitriangular) quasi-bimonads are (braided) monoidal equivalent. Finally, we discuss Drinfeld twists and Hom quasi-bialgebras.     

On radicals of module coalgebras

We introduce the notion of an idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule coalgebra in R. Moreover, a B-module coalgebra C is a member of R if, and only if, DB is in R for every simple subcoalgebra D of C. The collection of B-cocleft coalgebras and the collection of H-projective module coalgebras over a Hopf algebra H are idempotent radical classes. As applications, we use these idempotent radical classes to give another proofs for a projectivity theorem and a normal basis theorem of Schneider without assuming a bijective antipode.     

Quasi-co-Frobenius Coalgebras. II

Abstract

We prove new characterizations of Quasi-co-Frobenius (QcF) coalgebras and co-Frobenius coalgebras. Among them, we prove that a coalgebra is QcF if and only if C generates every left and every right C-comodule. We also prove that every QcF coalgebra is Morita-Takeuchi equivalent to a co-Frobenius coalgebra.     

半拟三角弱Hopf代数

作为拟三角弱Hopf代数的推广,我们引入了半拟三角弱Hopf代数的概念.令(H,R,v)是一个半拟三角弱Hopf代数,其中,R是其半拟三角结构.我们指明R保持了拟三角弱Hopf代数中泛R-矩阵的许多基本性质.特别地,讨论了Drinfeld元的性质,证明其是可逆的并且是余作用v的余不变量.另外,证明了半拟三角弱Hopf代数的对极平方是对合的.     

Picard Groups of Rings of Coinvariants

Let k be a field, H a Hopf k-algebra with bijective antipode, A a right H-comodule algebra and C a Hopf algebra with bijective antipode which is also a right H-module coalgebra. Under some appropriate assumptions, and assuming that the set of grouplike elements G(A ⊗ C) of the coring A ⊗ C is a group, we show how to calculate, via an exact sequence, the Picard group of the subring of coinvariants in terms of the Picard group of A and various subgroups of G(A ⊗ C). Presented by: Claus Ringel.     

Conjugacy Classes,Class Sums and Character Tables for Hopf Algebras

We extend the notion of conjugacy classes and class sums from finite groups to semisimple Hopf algebras and show that the conjugacy classes are obtained from the factorization of H as irreducible left D(H)-modules. For quasitriangular semisimple Hopf algebras H, we prove that the product of two class sums is an integral combination of the class sums up to d ^?2 where d = dim H. We show also that in this case the character table is obtained from the S-matrix associated to D(H). Finally, we calculate explicitly the generalized character table of D(kS ₃), which is not a character table for any group. It moreover provides an example of a product of two class sums which is not an integral combination of class sums.     

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.      

On the subgroup structure of the full Brauer group of Sweedler Hopf algebra

We introduce a three-parameter family of two-dimensional algebras representing elements in the Brauer group BQ(k,H ₄) of Sweedler Hopf algebra H ₄ over a field k. They allow us to describe the mutual intersection of the subgroups arising from a quasitriangular or coquasitriangular structure. We also define a new subgroup of BQ(k,H ₄) and construct an exact sequence relating it to the Brauer group of Nichols 8-dimensional Hopf algebra with respect to the quasitriangular structure attached to the 2 × 2-matrix with 1 in the (1, 2)-entry and zero elsewhere.     

Constructing Quasitriangular Multiplier Hopf Algebras By Twisted Tensor Coproducts

Let A and B be multiplier Hopf algebras, and let R ∈ M(B ? A) be an anti-copairing multiplier, i.e, the inverse of R is a skew-copairing multiplier in the sense of Delvaux [5 Delvaux , L. ( 2004 ). Twisted tensor coproduct of multiplier Hopf (*)-algebras . J. Algebra 274 : 751 – 771 . [Google Scholar]]. Then one can construct a twisted tensor coproduct multiplier Hopf algebra A ? _R  B. Using this, we establish the correspondence between the existence of quasitriangular structures in A ? _R  B and the existence of such structures in the factors A and B. We illustrate our theory with a profusion of examples which cannot be obtained by using classical Hopf algebras. Also, we study the class of minimal quasitriangular multiplier Hopf algebras and show that every minimal quasitriangular Hopf algebra is a quotient of a Drinfel’d double for some algebraic quantum group.     

Algebras Graded by Discrete Doi–Hopf Data and the Drinfeld Double of a Hopf Group-Coalgebra

We study Doi–Hopf data and Doi–Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi–Hopf datum; to a Doi–Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi–Hopf datum, using a smash product type construction. The category of Doi–Hopf modules is then isomorphic to the category of graded modules over this algebra. This is applied to the category of Yetter–Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular ${\mathbb{G}}$ -graded Hopf algebra.     

The Antipode of a Dual Quasi-Hopf Algebra with Nonzero Integrals is Bijective

For a Hopf algebra A of arbitrary dimension over a field K, it is well-known that if A has nonzero integrals, or, in other words, if the coalgebra A is co-Frobenius, then the space of integrals is one-dimensional and the antipode of A is bijective. Bulacu and Caenepeel recently showed that if H is a dual quasi-Hopf algebra with nonzero integrals, then the space of integrals is one-dimensional, and the antipode is injective. In this short note we show that the antipode is bijective.     

Dubrovin valuation properties of skew group rings and crossed products

In this paper some conditions for a skew group ring or a crossed product to have finite weak global dimension are given.Using these results we obtain some necessary conditions and some sufficient conditions for a skew group ring or a crossed product to be a Dubrovin valuation ring.If R*G is a skew group ring, where the coefficient ring R is a commutative ring and G is a finite group, then we prove that the conditions we obtained become necessary and sufficient conditions.In particular, if R is a commutative valuation ring, then R*G is a Dubrovin valuation ring if and only if G _T=<1>,where G _T is the inertial group of R.     

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).     

A Constructive Inversion Framework for Twisted Convolution

In this paper we develop constructive invertibility conditions for the twisted convolution. Our approach is based on splitting the twisted convolution with rational parameters into a finite number of weighted convolutions, which can be interpreted as another twisted convolution on a finite cyclic group. In analogy with the twisted convolution of finite discrete signals, we derive an anti-homomorphism between the sequence space and a suitable matrix algebra which preserves the algebraic structure. In this way, the problem reduces to the analysis of finite matrices whose entries are sequences supported on corresponding cosets. The invertibility condition then follows from Cramer’s rule and Wiener’s lemma for this special class of matrices. The problem results from a well known approach of studying the invertibility properties of the Gabor frame operator in the rational case. The presented approach gives further insights into Gabor frames. In particular, it can be applied for both the continuous (on \Bbb R^d{\Bbb R}^d ) and the finite discrete setting. In the latter case, we obtain algorithmic schemes for directly computing the inverse of Gabor frame-type matrices equivalent to those known in the literature.     

The relationship between the class %plane1D;518;2(R,S) of (0,1,2)-matrices and the collection of constellation matrices

Let %plane1D;518;₂(R,S) be the class of all (0, 1, 2)-matrices with a prescribed row sum vector R and column sum vector S. A (0, 1,2)-matrix in %plane1D;518;₂(R,S) is defined to be parsimonious provided no (0, 1, 2)-matrix with the same row and column sum vectors has fewer positive entries. In a parsimonious (0, 1, 2)-matrix A there are severe restrictions on the (0, 1)-matrix A⁽¹⁾ which records the positions of the 1's in A. Brualdi and Michael obtained some necessary arithmetic conditions for a set of matrices to serve simultaneously as the 1-pattern matrices for parsimonious matrices in a given class. In this paper, we provide a direct construction that proves that these conditions are also sufficient.     

A Note on Semilocal Group Rings

Let R be an associative ring with identity and let J(R) denote the Jacobson radical of R. R is said to be semilocal if R/J(R) is Artinian. In this paper we give necessary and sufficient conditions for the group ring RG, where G is an abelian group, to be semilocal.     

On Certain Quotients of Lower Central Factors of a Normal Subgroup of a Free Group

We compute subgroups of the normal subgroup R of a free group F determined by certain ideals contained in the augmentation ideal Δ(R) and then prove certain subquotients of R to be free Abelian.     

An example of a nonregular semimonotoneQ-matrix

In their paper, Aganagic and Cottle gave necessary and sufficient conditions for aP ₀-matrix to be aQ-matrix. In his paper, Pang showed that the same characterization holds for anL-matrix.In this paper, we show that a similar characterization for anE ₀-matrix (semimonotone orL ₁-matrix) is not possible. This is done by providing a counterexample to the inclusionE ₀ Q R ₀, thus answering in the negative a question first posed by Pang.