Related papers: Covering coalgebras and dual non-singularity
Non-commutative torsors (equivalently, two-cocycles) for a Hopf algebra can be used to twist comodule algebras. After surveying and extending the literature on the subject, we prove a theorem that affords a presentation by generators and…
We analyze the geometry of the Ext-quiver of a coalgebra $C$ in order to study the behavior of simple and injective $C$-comodules under the action of the functors associated to a localizing subcategory of the category of $C$-comodules.
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
Colocalization is a right adjoint to the inclusion of a subcategory. Given a ring-spectrum R, one would like a spectral sequence which connects a given colocalization in the derived category of R-modules and an appropriate colocalization in…
We study a coderivation from a cobimodule into a coalgebra. Vector cofields are defined by the action of a codual bicomodule on a coalgebra. This action is induced by a codifferential. A construction of a codual object in the category of…
We define self-distributive structures in the categories of coalgebras and cocommutative coalgebras. We obtain examples from vector spaces whose bases are the elements of finite quandles, the direct sum of a Lie algebra with its ground…
This note discusses the cyclic cohomology of a left Hopf algebroid ($\times_A$-Hopf algebra) with coefficients in a right module-left comodule, defined using a straightforward generalisation of the original operators given by Connes and…
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…
For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra…
This paper lays some of the foundations for working with not-necessarily-commutative bialgebras and their categories of comodules in $\infty$-categories. We prove that the categories of comodules and modules over a bialgebra always admit…
We study subcoalgebras of path coalgebras that are spanned by paths (called path subcoalgebras) and subcoalgebras of incidence coalgebras, and propose a unifying approach for these classes. We discuss the left quasi-co-Frobenius and the…
We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we…
Some new results on the module structure of Hopf algebras over a certain class of Hopf subalgebras and right coideal subalgebras are proved.
A Koszul duality-type correspondence between coderived categories of conilpotent differential graded Lie coalgebras and their Chevalley-Eilenberg differential graded algebras is established. This gives an interpretation of Lie coalgebra…
We study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras and establish the Hodge decomposition of Hochschild and cyclic cohomology of $C_\infty$-algebras thus generalising previous work…
The cusp was recently shown to admit the structure of a quantum homogeneous space, that is, its coordinate ring $B$ can be embedded as a right coideal subalgebra into a Hopf algebra $A$ such that $A$ is faithfully flat as a $B$-module. In…
A known fundamental Theorem for braided pointed Hopf algebras states that for each coideal subalgebra, that fulfils a few properties, there is an associated quotient coalgebra right module such that the braided Hopf algebra can be…
While semisimple artinian rings and semisimple coalgebras over a field can be described in terms of matrices (either matrix ring over division rings or comatrix coalgebras over the ground field), semisimple corings seem to have a more…
We prove that there exist Hopf algebras with surjective, non-bijective antipode which admit no non-trivial morphisms from Hopf algebras with bijective antipode; in particular, they are not quotients of such. This answers a question left…
The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…