Semiseparable functors

DOI10.1016/J.JALGEBRA.2023.10.007MaRDI QIDQ6087813zbMATH OpenFDO

Authors Alessandro Ardizzoni, Lucrezia Bottegoni

Publication date 16 November 2023

Published in Journal of Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

(co)reflections bimodules corings Eilenberg-Moore categories separability

Mathematics Subject Classification ID

Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Coalgebras and comodules; corings (16T15) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Abstract: In this paper we introduce and investigate the notion of semiseparable functor. One of its first features is that it allows a novel description of separable and naturally full functors in terms of faithful and full functors, respectively. To any semiseparable functor we attach an invariant, given by an idempotent natural transformation, which controls when the functor is separable and yields a characterization of separable functors in terms of (dual) Maschke and conservative functors. We prove that any semiseparable functor admits a canonical factorization as a naturally full functor followed by a separable functor. Here the main tool is the construction of the coidentifier category attached to the associated idempotent natural transformation. Then we move our attention to the semiseparability of functors that have an adjoint. First we obtain a Rafael-type Theorem. Next we characterize the semiseparability of adjoint functors in terms of the (co)separability of the associated (co)monads and the natural fullness of the corresponding (co)comparison functor. We also focus on functors that are part of an adjoint triple. In particular, we describe bireflections as semiseparable (co)reflections, or equivalently, as either Frobenius or naturally full (co)reflections. As an application of our results, we study the semiseparability of functors traditionally attached to ring homomorphisms, coalgebra maps, corings and bimodules, introducing the notions of semicosplit coring and semiseparability relative to a bimodule which extend those of cosplit coring and Sugano's separability relative to a bimodule, respectively.

Review text

The authors introduce and study the notion of semiseparable functors. Given a functor \(F:\mathcal{C}\to\mathcal{F}\), \(F\) is called semiseparable if the associated natural transformation \(\mathcal{F}^F:\mathrm{Hom}_{\mathcal{C}}(-,-)\to \mathrm{Hom}_{\mathcal{D}}(F(-),F(-))\) (\(\mathcal{F}^F_{C,C'}(f) = F(f)\) for any \(f:C\to C'\)) is regular, i.e. there exists a natural transformation \(\mathcal{P}^F:\mathrm{Hom}_{\mathcal{D}}(F(-),F(-))\to\mathrm{Hom}_{\mathcal{C}}(-,-)\) satisfying \(\mathcal{F}^F\circ\mathcal{P}^F\circ\mathcal{F}^F=\mathcal{F}^F\). Any separable functors in the sense of \textit{C. Năstăsescu} et al. [J. Algebra 123, No. 2, 397--413 (1989; Zbl 0673.16026)] is semiseparable. In Section 2, the properties of semiseparable functors with an adjoint are investigated. It is shown that if an functor \(F\) is right adjoint to a functor \(G\) then \(F\) (resp. G) is semiseparable if and only if the unit of the adjunction is regular (resp. the counit is regular). Moreover \(G\) is semiseparable if and only if the forgetful functor \(U_{GF}:\mathcal{C}_{GF}\to\mathcal{C}\) is separable ( equivalently, the associated monad \((FG,G\epsilon F , \eta)\) is separable) and the comparison functor \(K_{GF}:\mathcal{D}\to\mathcal{C}_{GF}\) is naturally full, where \(\mathcal{C}_{GF}\) is the Eilenber-Moore categor. The dual result for comonads is obtained as well. Next, semiseparable Frobenius functor and semiseparable (co)reflections are characterized. The last Section is devoted to applications and examples. Extensions and restrictions of scalars, coinductions and corestriction of coscalars, corings, bimodules, (co)reflections and right Hopf algebras are considered.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Semiseparable functors

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