Epimorphic quantum subgroups and coalgebra codominions

DOI10.1007/S10468-023-10219-9MaRDI QIDQ6151714zbMATH OpenOpenAlexFDO

Publication date 11 March 2024

Published in Algebras and Representation Theory (Search for Journal in Brave)

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

adjoint functor algebraic group coalgebra cocommutative codominion comodule CQG algebra dominion epimorphism Hopf algebra locally presentable monomorphism pullback

Mathematics Subject Classification ID

Free, projective, and flat modules and ideals in associative algebras (16D40) Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Representation theory for linear algebraic groups (20G05) Linear algebraic groups over arbitrary fields (20G15) Quantum groups (quantized function algebras) and their representations (20G42)

Abstract: We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that when the Hopf algebras in question are commutative specialize back to the familiar necessary and sufficient conditions (due to Bien-Borel) that a linear algebraic subgroup be epimorphically embedded; (b) the fact that a morphism in the category of (cocommutative) coalgebras, (cocommutative) bialgebras, and a host of categories of Hopf algebras has the same codominion in any of these categories which contain it; (c) the invariance of the Hopf algebra or bialgebra (co)dominion construction under field extension, again mimicking the well-known corresponding algebraic-group result; (d) the fact that surjections of coalgebras, bialgebras or Hopf algebras are regular epimorphisms (i.e. coequalizers) provided the codomain is cosemisimple; (e) in particular, the fact that embeddings of compact quantum groups are equalizers in the category thereof, generalizing analogous results on (plain) compact groups; (f) coalgebra-limit preservation results for scalar-extension functors (e.g. extending scalars along a field extension

B b b k l e B b b k^{'}

is a right adjoint on the category of

B b b k

-coalgebras).

Recommendations

Cites work

Cited in

(1)

(Quantum) discreteness, spectrum compactness and uniform continuity

This page was built for publication: Epimorphic quantum subgroups and coalgebra codominions

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