BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We generalize the fundamental theorem for Hopf modules and some of its applications to Hopf categories.
Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras) have been investigated in the literature recently. We study Hom-structures from the point of view of monoidal categories; in particular, we introduce a symmetric monoidal category such that Hom-algebras coincide with algebras in this monoidal category, and similar properties for coalgebras, Hopf algebras and Lie algebras.
Let A be an algebra in a monoidal category $\Cc$, and let X be an object in $\Cc$. We study A-(co)ring structures on the left A-module $A\ot X$. These correspond to (co)algebra structures in $EM(\Cc)(A)$, the Eilenberg-Moore category associated to $\Cc$ and A. The ring structures are in bijective correspondence to wreaths in $\Cc$, and their category of representations is the category of representations over the induced wreath product. The coring structures are in bijective correspondence to cowreaths in $\Cc$, and their category of corepresentations is the category of generalized entwined modules. We present several examples coming from (co)actions of Hopf algebras and their generalizations. Various notions of smash products that have appeared in the literature appear as special cases of our construction.
Let A be an algebra over a commutative ring k. We prove that braidings on the category of A-bimodules are in bijective correspondence to canonical R-matrices, these are elements in $A\ot A\ot A$ satisfying certain axioms. We show that all braidings are symmetries. If A is commutative, then there exists a braiding on ${}_A\Mm_A$ if and only if k→A is an epimorphism in the category of rings, and then the corresponding R-matrix is trivial. If the invariants functor $G = (-)^A:\{}_A\Mm_A\to \Mm_k$ is separable, then A admits a canonical R-matrix; in particular, any Azumaya algebra admits a canonical R-matrix. Working over a field, we find a remarkable new characterization of central simple algebras: these are precisely the finite dimensional algebras that admit a canonical R-matrix. Canonical R-matrices give rise to a new class of examples of simultaneous solutions for the quantum Yang-Baxter equation and the braid equation.
A.S. Dugas and R. Martínez-Villa proved in \cite[Corollary 5.1]{dm} that if there exists a stable equivalence of Morita type between the k-algebras Λ and Γ, then it is possible to replace Λ by a Morita equivalent k-algebra Δ such that Γ is a subring of Δ and the induction and restriction functors induce inverse stable equivalences. In this note we give an affirmative answer to a question of Alex Dugas about the existence of a Γ-coring structure on Δ. We do this by showing that Δ is a Frobenius extension of Γ.
Let A be an algebra over a commutative ring k. It is known that the categories of non-commutative descent data, of comodules over the Sweedler canonical coring, of right A-modules with a flat connection are isomorphic as braided monoidal categories to the center of the category of A-bimodules. We prove that the braiding on these categories is unique if there exists a k-linear unitary map E:A→Z(A). This condition is satisfied if k is a field or A is a commutative or a separable algebra.
We discuss when the Rat functor associated to a coring satisfying the left α-condition is exact. We study the category of comodules over a semiperfect coring. We characterize semiperfect corings over artinian rings and over qF-rings.
Let A and B be algebras and coalgebras in a braided monoidal category $\Cc$, and suppose that we have a cross product algebra and a cross coproduct coalgebra structure on $A\ot B$. We present necessary and sufficient conditions for $A\ot B$ to be a bialgebra, and sufficient conditions for $A\ot B$ to be a Hopf algebra. We discuss when such a cross product Hopf algebra is a double cross (co)product, a biproduct, or, more generally, a smash (co)product Hopf algebra. In each of these cases, we provide an explicit description of the associated Hopf algebra projection.
Using the machinery provided by a Frobenius algebra we show how the antipode of a quasi-Hopf algebra H carries out left or right cointegrals for H. These formulas will allow us to find out the explicit form of an integral and a cointegral for the quantum double D(H) of H in terms of those of H, and so to answer to a conjecture of Hausser and Nill raised at the end of the nineties.
Let A be an algebra over a commutative ring k. We compute the center of the category of A-bimodules. There are six isomorphic descriptions: the center equals the weak center, and can be described as categories of noncommutative descent data, comodules over the Sweedler canonical A-coring, Yetter-Drinfeld type modules or modules with a flat connection from noncommutative differential geometry. All six isomorphic categories are braided monoidal categories: in particular, the category of comodules over the Sweedler canonical A-coring $A \ot A$ is braided monoidal. We provide several applications: for instance, if A is finitely generated projective over k then the category of left End_k(A)−modulesisbraidedmonoidalandwegiveanexplicitdescriptionofthebraidingintermsofthefinitedualbasisofA.Asanotherapplication,newfamiliesofsolutionsforthequantumYang−Baxterequationareconstructed:theyarecanonicalmapsΩassociatedtoanyrightcomoduleovertheSweedlercanonicalcoringA \ot AandsatisfytheconditionΩ^3 = Ω$. Explicit examples are provided.
We study monoidal structures on the category of (co)modules over a weak bialgebra. Results due to Nill and Szlachányi are unified and extended to infinite algebras. We discuss the coalgebra structure on the source and target space of a weak bialgebra.
Let B be a bialgebra, and A a left B-comodule algebra in a braided monoidal category $\Cc$, and assume that A is also a coalgebra, with a not-necessarily associative or unital left B-action. Then we can define a right A-action on the tensor product of two relative Hopf modules, and this defines a monoidal structure on the category of relative Hopf modules if and only if A is a bialgebra in the category of left Yetter-Drinfeld modules over B. Some examples are given.
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 graded Hopf algebra.
We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan lifting Theorem can be obtained using these isomorphisms.
In Secion~1 we describe what is known of the extent to which a separable extension of unital associative rings is a Frobenius extension. A problem of this kind is suggested by asking if three algebraic axioms for finite Jones index subfactors are dependent. In Section~2 the problem in the title is formulated in terms of separable bimodules. In Section~3 we specialize the problem to ring extensions, noting that a biseparable extension is a two-sided finitely generated projective, split, separable extension. Some reductions of the problem are discussed and solutions in special cases are provided. In Section~4 various examples are provided of projective separable extensions that are neither finitely generated nor Frobenius and which give obstructions to weakening the hypotheses of the question in the title. We show in Section~5 that existing characterizations of the separable extensions among the Frobenius extensions in are special cases of a result for adjoint functors.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.