Separable Functors and Formal Smoothness

DOI10.1017/IS007011015JKT012MaRDI QIDQ3527587zbMATH OpenOpenAlexFDO

Authors Alessandro Ardizzoni

Publication date 29 September 2008

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

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

zbMATH Keywords

Hopf algebrasmonoidal categoriescoalgebrasintegralsformally smooth algebrasseparable functorsseparable algebrasalgebra morphisms

Mathematics Subject Classification ID

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.

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

Cites work

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

Cited in

(17)

• Universal enveloping algebras of PBW type.
• Smoothness of the truncated display functor
• Wedge products and cotensor coalgebras in monoidal categories
• Separability in algebra and category theory
• 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.
• A monoidal approach to splitting morphisms of bialgebras
• Associated graded algebras and coalgebras
• scientific article; zbMATH DE number 3866080 (Why is no real title available?)
• Weak projections onto a braided Hopf algebra.
• scientific article; zbMATH DE number 6540556 (Why is no real title available?)
• 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)