Finite duals in Grothendieck categories and coalgebra objects
type: Item
instance of: scholarly article
title: Finite duals in Grothendieck categories and coalgebra objects
author: Abhishek Banerjee
author: Surjeet Kour
published in: Higher Structures
publication date: 2024-10-10T00:00:00Z
review text: Let \(\mathcal{A}\) be a \(k\)-linear Grothendieck category over a commutative Noetherian ring \(k\). The paper under review aims to construct subcategories of \(\mathcal{A}\) that behave like the category of comodules over a coalgebra. Since comodules are locally finite dimensional, the authors choose the following definition to mimic finite dimensionality: an object \(X\in \mathcal{A}\) is called \textit{\(k\)-finite} if the collection of morphisms \(\mathcal{A}(F,X)\) is a finitely generated \(k\)-module, for any finitely generated object \(F\) of \(\mathcal{A}\). Furthermore, an object \(X\) is called \textit{strongly \(k\)-finite} if every quotient of \(X\) is \(k\)-finite. Objects that are sums of their strongly \(k\)-finite subobjects are called \textit{locally strongly \(k\)-finite}. These objects form a full subcagtegory \(\mathcal{A}^{\mathcal{T}_k}\) of \(\mathcal{A}\), which is the central object of study of this paper. In particular, it is shown that \(\mathcal{A}^{\mathcal{T}_k}\) is a coreflexive Grothendieck subcategory of \(\mathcal{A}\), which is locally finitely generated, if \(\mathrm{A}\) is so.\N\NAmong many properties of \(\mathcal{A}^{\mathcal{T}_k}\) the authors prove in Theorem 4.10 an analogous statement to Theorem 2.1 of \textit{C. Hatipoğlu} and \textit{C. Lomp} [Proc. Am. Math. Soc. 150, No. 5, 1903--1923 (2022; Zbl 1498.16003)] characterizing when a subcategory of \(\mathcal{A}^{\mathcal{T}_k}\) is closed under taking injective envelopes. More precisely, Theorem 4.10 say that for a field \(k\), a locally noetherian \(k\)-linear Grothendieck category \(\mathcal{A}\) and a closed subcategory \(\mathcal{C}\subseteq \mathcal{A}^{\mathcal{T}_k}\) the injective envelope in \(\mathcal{A}\) of any \(F\)-simple and strongly \(k\)-finite object \(X\in \mathcal{C}\) lies in \(\mathcal{C}\) if and only if any essential extension \(M\subseteq N\) lies in \(\mathcal{C}\) if \(M\in \mathcal{C}\) and \(N\) is an \(F\)-saturated object.\N\NThe last par…
reviewed by: Christian Lomp
Mathematics Subject Classification ID: 16D50
Mathematics Subject Classification ID: 16T15
Mathematics Subject Classification ID: 18E10
zbMATH DE Number: 7924490
zbMATH Keywords: coalgebra objects
zbMATH Keywords: Grothendieck categories
MaRDI profile type: MaRDI publication profile
cites work: Q2946035
cites work: Connected (graded) Hopf algebras
cites work: INJECTIVE MODULES OVER DOWN-UP ALGEBRAS
cites work: Injective Hulls of Simple Modules over Differential Operator Rings
cites work: Q4520725
cites work: Locally Finite Representations of Polycyclic-by-Finite Groups
cites work: Q4328685
cites work: Quasi-co-Frobenius coalgebras
cites work: Quasi-co-Frobenius Coalgebras. II
cites work: On the Finiteness of Certain Soluble Groups
cites work: A Note on Lie Algebras of Characteristic p
cites work: Injective hulls of simple modules over finite dimensional nilpotent complex Lie superalgebras
cites work: Locally finite representations over Noetherian Hopf algebras
cites work: Categories and Sheaves
cites work: Semiperfect coalgebras
cites work: Rings with several objects
cites work: Finitely generated, non-Artinian monolithic modules.
cites work: Q4049223
cites work: Q4165487
description: scientific article; zbMATH DE number 7924490