Separable Functors and Formal Smoothness

DOI10.1017/IS007011015JKT012zbMATH Open1167.16032arXivmath/0407095OpenAlexW2951167576MaRDI QIDQ3527587FDOQ3527587

Authors: Alessandro Ardizzoni 

Publication date: 29 September 2008

Published in: Journal of \(K\)-Theory (Search for Journal in Brave)

Abstract: The natural problem we approach in the present paper is to show how the notion of formally smooth (co)algebra inside monoidal categories can substitute that of (co)separable (co)algebra in the study of splitting bialgebra homomorphisms. This is performed investigating the relation between formal smoothness and separability of certain functors and led to other results related to Hopf algebra theory. Between them we prove that the existence of $ad$-(co)invariant integrals for a Hopf algebra $H$ is equivalent to the separability of some forgetful functors. In the finite dimensional case, this is also equivalent to the separability of the Drinfeld Double $D(H)$ over $H$. Hopf algebras which are formally smooth as (co)algebras are characterized. We prove that given a bialgebra surjection $pi:EoH$ with nilpotent kernel such that $H$ is a Hopf algebra which is formally smooth as a $K$-algebra, then $pi$ has a section which is a right $H$-colinear algebra homomorphism. Moreover, if $H$ is also endowed with an $ad$-invariant integral, then this section can be chosen to be $H$-bicolinear. We also deal with the dual case.

Full work available at URL: https://arxiv.org/abs/math/0407095

Recommendations

• Separable functors in coalgebras. Applications
• Separable functors for the category of Doi Hom-Hopf modules.
• scientific article; zbMATH DE number 1348445
• Hereditary and formally smooth coalgebras.
• Heavily separable functors

zbMATH Keywords

Hopf algebrasmonoidal categoriescoalgebrasintegralsformally smooth algebrasseparable functorsseparable algebrasalgebra morphisms

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• The structure of Hopf algebras with a projection
• The wedderburn-malcev theorem for comodule algebras
• Hopf modules and Yetter-Drinfel'd modules
• Hochschild cohomology and ``smoothness in monoidal categories.
• Hereditary coalgebras
• Hereditary and formally smooth coalgebras.
• The structure of Hopf algebras with a weak projection
• A monoidal approach to splitting morphisms of bialgebras
• Separable functors applied to graded rings
• Separable functors revisited
• A generalization of hopf crossed products
• Unipotent algebraic affine supergroups and nilpotent Lie superalgebras.
• Qurves and quivers

Cited In (17)

• Universal enveloping algebras of PBW type.
• Smoothness of the truncated display functor
• Separability in algebra and category theory
• Wedge products and cotensor coalgebras in monoidal categories
• Functorial factorization, well-pointedness and separability
• Notes on formal smoothness
• Module-relative-Hochschild (co)homology of tensor products.
• Twisted separability for adjoint functors
• Qurves and quivers
• Formally smooth bimodules.
• Hochschild cohomology and ``smoothness in monoidal categories.
• Associated graded algebras and coalgebras
• A monoidal approach to splitting morphisms of bialgebras
• Title not available (Why is that?)
• Weak projections onto a braided Hopf algebra.
• Title not available (Why is that?)
• Frobenius and separable functors for the category of entwined modules over cowreaths. II: applications

This page was built for publication: Separable Functors and Formal Smoothness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3527587)