Related papers: Semiperfect and coreflexive coalgebras
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with…
We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated…
We study generalized comatrix coalgebras and upper triangular comatrix coalgebras, which are not only a dualization but also an extension of classical generalized matrix algebras. We use these to answer several questions on Noetherian and…
As left adjoint to the dual algebra functor, Sweedler's finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over…
Let H be a finite-dimensional quasibialgebra. We show that H is a quasi-Hopf algebra if and only if the category of its finite-dimensional left modules is rigid if and only if a structure theorem for Hopf modules over H holds. We also show…
The question of whether or not a Hopf algebra $H$ is faithfully flat over a Hopf subalgebra $A$ has received positive answers in several particular cases: when $H$ (or more generally, just $A$) is commutative, or cocommutative, or pointed,…
The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding…
We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the…
A self-dual algebras is one isomorphic as a module to the opposite of its dual; a quasi self-dual algebra is one whose cohomology with coefficients in itself is isomorphic to that with coefficients in the opposite of its dual. For these…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…
We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a…
The non-commutative algebraic analog of the moduli of vector and covector fields is built. The structure of moduli of derivations of non-commutative algebras are studied. The canonical coupling is introduced and the conditions for…
We introduce the quiver of a bicomodule over a cosemisimple coalgebra. Applying this to the coradical $C_0$ of an arbitrary coalgebra $C$, we give an alternative definition of the Gabriel quiver of $C$, and then show that it coincides with…
We investigate a Hopf algebra structure on the cotensor coalgebra associated to a Hopf bimodule algebra which contains universal version of Clifford algebras and quantum groups as examples. It is shown to be the bosonization of the quantum…
The notion of Hopf center and Hopf cocenter of a Hopf algebra is investigated by the extension theory of Hopf algebras. We prove that each of them yields an exact sequence of Hopf algebras. Moreover the exact sequences are shown to satisfy…
Any finite-dimensional Hopf algebra has a left and a right integral. Conversely, Larsen and Sweedler showed that, if a finite-dimensional algebra with identity and a comultiplication with counit has a faithful left integral, it has to be a…
In this paper we establish a duality between etale Lie groupoids and a class of non-necessarily commutative algebras with a Hopf algebroid structure. For any etale Lie groupoid G over a manifold M, the groupoid algebra C_c(G) of smooth…
We show that coalgebras whose lattice of right coideals is distributive are coproducts of coalgebras whose lattice of right coideals is a chain. Those chain coalgebras are characterized as finite duals of noetherian chain rings whose…
We develop a new, intrinsic, computationally friendly approach to Lie coalgebras through graph coalgebras, which are new and likely to be of independent interest. Our graph coalgebraic approach has advantages both in finding relations…
We generalize the results on existence and uniqueness of integrals from compact groups and Hopf algebras in a pure (co)algebraic setting, and find a series of new results on (quasi)-co-Frobenius and semiperfect coalgebras. For a coalgebra…