Related papers: Coalgebraic models of Omega-groups

We introduce the notion of Hopf algebroids, in which neither the total algebras nor the base algebras are required to be commutative. We give a class of Hopf algebroids associated to module algebras of the Drinfeld doubles of Hopf algebras…

In this paper we define and study the algebraic conterpart of sovereign monoidal categories : cosovereign Hopf algebras.

Let $k$ be an algebraically closed field of characteristic $p>0$. For a loop $\circlearrowleft$, denote its path coalgebra by $k\circlearrowleft$. In this paper, all the finite-dimensional commutative Hopf algebras over the sub coalgebras…

Given a crossed module $\chi$, we introduce Hopf $\chi$-(co)algebras which generalize Hopf algebras and Hopf group-(co)algebras. We interpret them as Hopf algebras in some symmetric monoidal category. We prove that their categories of…

We define cyclic cohomology of corings over not necessarily commutative algebras. We observe that the key fact which allows us to define this complex is that enveloping algebra of an algebra is a para Hopf algebroid. This observation…

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair…

Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative…

We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…

Primitive cohomology of a Hopf algebra is defined by using a modification of the cobar construction of the underlying coalgebra. Among many of its applications, two classifications are presented. Firstly we classify all non locally PI,…

In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of…

We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e.…

We study some basic properties of schematic homotopy types and the schematization functor. We describe two different algebraic models for schematic homotopy types: co-simplicial Hopf alegbras and equivariant co-simplicial algebras, and…

In this note we study dual coalgebras of algebras over arbitrary (noetherian) commutative rings. We present and study a generalized notion of coreflexive comodules and use the results obtained for them to characterize the so called…

We present several related examples of Hopf algebroids over a universal enveloping algebra which are of the scalar extension Hopf algebroid type and explain their origin in Lie and algebraic group theory.

A natural extension of the Hopf-cyclic cohomology, with coefficients, is introduced to encompass topological Hopf algebras. The topological theory allows to work with infinite dimensional Lie algebras. Furthermore, the category of…

For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined…

We define algebraic families of (all) morphisms which are purely algebraic analogs of quantum families of (all) maps introduced by P.M. Soltan. Also, algebraic families of (all) isomorphisms are introduced. By using these notions we…

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…

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…

A strict 2-group is a 2-category with one object in which all morphisms and all 2-morphisms have inverses. 2-Groups have been studied in the context of homotopy theory, higher gauge theory and Topological Quantum Field Theory (TQFT). In the…