Heavily separable functors

DOI10.1016/J.JALGEBRA.2019.10.008MaRDI QIDQ2333366zbMATH OpenOpenAlexWikidataFDO

Authors Alessandro Ardizzoni, Claudia Menini

Publication date 12 November 2019

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

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

corings monads monoidal categories separable extensions separable functors

Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Monoidal categories, symmetric monoidal categories (18M05)

Abstract: Prompted by an example related to the tensor algebra, we introduce and investigate a stronger version of the notion of separable functor that we call heavily separable. We test this notion on several functors traditionally connected to the study of separability.

Review text

The classical notion of separability was interpreted in functorial way by \textit{C. Năstăsescu} et al. [J. Algebra 123, No. 2, 397--413 (1989; Zbl 0673.16026)]. In this paper, the authors following this idea introduce the stronger notion of heavily separable functors. A functor \(F:\mathcal{B} \to\mathcal{A}\) is separable is there is a natural transformation \(P:\mathrm{Hom}_{\mathcal A}(F-,F-)\to\mathrm{Hom}_{\mathcal B}(-,-)\) satisfying \(P_{X,Y}\circ F_{X,Y}=Id\) for every objects \(X,Y\in\mathcal{B}\) and heavily separable (h-separable) if \(P_{X,Z}(f\circ g) = P_{Y,Z}(f) \circ P_{X,Y} (g)\) for \(f:X\to Y\) and \(g:Y\to Z\). Section 2 is devoted to the study adjoints h-separable functors. Thus, given an adjunction \((L:\mathcal{B}\to\mathcal{A}, R:\mathcal{A}\to \mathcal{B} ,\eta , \epsilon)\), \(L\) (resp. \(R\)) is \(h\)-separable if there exists a natural transformation \(\gamma :RL\to Id_{\mathcal{B}}\) (resp. \(\delta : Id_{\mathcal{A}}\to LR\)) such that \(\gamma \circ \eta =Id\) (resp. \(\epsilon \circ \delta =Id\) ) and \(\gamma\gamma = \gamma\circ R\epsilon L\) (resp. \(\delta\delta = L\eta R\circ \delta\)), see [\textit{M. D. Rafael}, Commun. Algebra 18, No. 5, 1445--1459 (1990; Zbl 0713.18002)] for the separability result. Next section investigates heavily separable rings homomorphism, i.e. the associated functors of extension and restriction functors. A description using \(h\)-separability idempotent and several examples are given. In Section 4, heavily (co)separable corings are characterized. Moreover, the case of the comatrix \(R\)-coring associated to an \(_R\Sigma_S\)-bimodule such that \(\Sigma_S\) is finitely generated and projective are carefully analyzed. The last section present the motivating example of this theory, the \(h\)-separable tensor algebra functor \(\mathbf{T}: \mathcal{M}\to\mathrm{Bialg}(\mathcal{M})\) , where \(\mathcal{M}\) is a preadditive braided monoidal category with equalizers and denumerable coproducts and with the property that the tensor products are additive and preserve equalizers and denumerable coproducts and Bial\((\mathcal{M})\) is the category of bialgebras over \(\mathcal{M}\).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Heavily separable functors

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