Generalizations of the Sweedler dual

DOI10.1007/S10485-016-9450-2zbMATH Open1353.16035DBLPjournals/acs/PorstS16arXiv1510.01797OpenAlexW3104749345WikidataQ56687294 ScholiaQ56687294MaRDI QIDQ328653FDOQ328653

Hans-E. Porst, Ross H. Street

Publication date: 20 October 2016

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: As left adjoint to the dual algebra functor, Sweedler's finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condition guaranteeing that Sweedler's construction works when generalized to noetherian commutative rings. We establish the following two apparently previously unnoticed dual adjunctions: For every commutative ring $R$ the left adjoint of the dual algebra functor on the category of $R$-bialgebras has a right adjoint. This dual adjunction can be restricted to a dual adjunction on the category of Hopf $R$-algebras, provided that $R$ is noetherian and absolutely flat.

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

zbMATH Keywords

coalgebrasmonoidal functorSweedler dual

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monoidal Functors, Species and Hopf Algebras
• The Predual Theorem to the Jacobson-Bourbaki Theorem
• Limits and colimits of Hopf algebras
• Dual coalgebras of algebras over commutative rings
• The Dual Rings of anR-Coring Revisited
• The formal theory of hopf algebras Part I: Hopf monoids in a monoidal category
• The formal theory of Hopf algebras Part II: The case of Hopf algebras
• On Categories of Monoids, Comonoids, and Bimonoids
• Hopf measuring comonoids and enrichment
• A duality theorem for hope module algebras over dedekind rings
• Hopf Semialgebras
• Construction of biclosed categories

Cited In (14)

• Title not available (Why is that?)
• Pre-rigid monoidal categories
• Liftable pairs of functors and initial objects
• Bialgebra coverings and transfer of structure
• A note on functor \((\cdot)^\circ\)
• Sweedler theory of monads
• Hopf monoids in varieties
• Generalized Benson-Carlson duality
• On measurings of algebras over operads and homology theories
• A functorial excursion between algebraic geometry and linear logic
• Dual coalgebras of algebras over commutative rings
• Toward differentiation and integration between Hopf algebroids and Lie algebroids
• Title not available (Why is that?)
• Measurings of Hopf algebroids and morphisms in cyclic (co)homology theories

This page was built for publication: Generalizations of the Sweedler dual

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