-
Powers of ghost ideals
Authors:
S. Estrada,
X. H. Fu,
I. Herzog,
S. Odabaşı
Abstract:
A theory of ordinal powers of the ideal $\mathfrak{g}_{\mathcal{S}}$ of $\mathcal{S}$-ghost morphisms is developed by introducing for every ordinal $λ$, the $λ$-th inductive power $\mathcal{J}^{(λ)}$ of an ideal $\mathcal{J}.$ The Generalized $λ$-Generating Hypothesis ($λ$-GGH) for an ideal $\mathcal J$ of an exact category $\mathcal{A}$ is the proposition that the $λ$-th inductive power…
▽ More
A theory of ordinal powers of the ideal $\mathfrak{g}_{\mathcal{S}}$ of $\mathcal{S}$-ghost morphisms is developed by introducing for every ordinal $λ$, the $λ$-th inductive power $\mathcal{J}^{(λ)}$ of an ideal $\mathcal{J}.$ The Generalized $λ$-Generating Hypothesis ($λ$-GGH) for an ideal $\mathcal J$ of an exact category $\mathcal{A}$ is the proposition that the $λ$-th inductive power ${\mathcal{J}}^{(λ)}$ is an object ideal.
It is shown that under mild conditions every inductive power of a ghost ideal is an object-special preenveloping ideal. When $λ$ is infinite, the proof is based on an ideal version of Eklof's Lemma. When $λ$ is an infinite regular cardinal, the Generalized $λ$-Generating Hypothesis is established for the ghost ideal $\mathfrak{g}_{\mathcal{S}}$ for the case when $\mathcal A$ a locally $λ$-presentable Grothendieck category and $\mathcal{S}$ is a set of $λ$-presentable objects in $\mathcal A$ such that $^\perp (\mathcal{S}^\perp)$ contains a generating set for $\mathcal A.$
As a consequence of $λ$-GGH for the ghost ideal $\mathfrak{g}_{R\mbox{-}\mathrm{mod}}$ in the category of modules $R\mbox{-}\mathrm{Mod}$ over a ring, it is shown that if the class of pure projective left $R$-modules is closed under extensions, then every left FP-projective module is pure projective. A restricted version $n$-GGH($\mathfrak{g}(\mathbf{C}(R))$) for the ghost ideal in $\mathbf{C}(R))$ is also considered and it is shown that $n$-GGH($\mathfrak{g}(\mathbf{C}(R))$) holds for $R$ if and only if the $n$-th power of the ghost ideal in the derived category $\mathbf{D}(R)$ is zero if and only if the global dimension of $R$ is less than $n.$ If $R$ is coherent, then the Generating Hypothesis holds for $R$ if and only if $R$ is von Neumann regular.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
Transfer of homological objects in exact categories via adjoint triples. Applications to functor categories
Authors:
Sergio Estrada,
Manuel Cortés-Izurdiaga,
Sinem Odabasi
Abstract:
For a given family $\{(\mathrm{q}_i, \mathrm{t}_i, \mathrm{p_i} )\}_{i \in I}$ of adjoint triples between exact categories $\mathcal{C}$ or $\mathcal{D}$, we show that any cotorsion pair in $\mathcal{C}$ and $\mathcal{D}$ yield two canonical cotorsion pairs providing a concrete description of objects without using any injectives/projectives object hypothesis. We firstly apply this result for the e…
▽ More
For a given family $\{(\mathrm{q}_i, \mathrm{t}_i, \mathrm{p_i} )\}_{i \in I}$ of adjoint triples between exact categories $\mathcal{C}$ or $\mathcal{D}$, we show that any cotorsion pair in $\mathcal{C}$ and $\mathcal{D}$ yield two canonical cotorsion pairs providing a concrete description of objects without using any injectives/projectives object hypothesis. We firstly apply this result for the evaluation functor on the functor category $\operatorname{Add}(\mathcal{A}, R \mbox{-Mod})$ equipped with an exact structure $\mathcal{E}$. Under mild conditions on $\mathcal{A}$, we introduce the stalk functor at any object of $\mathcal{A}$, and subsequently, we investigate cotorsion pairs induced by stalk functors. Finally, we use them to present an intrinsic characterization of projective/injective objects in $(\mbox{Add}(\mathcal{A}, R\mbox{-Mod}); \mathcal{E})$.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
K-flatness in Grothendieck categories: Application to quasi-coherent sheaves
Authors:
Sergio Estrada,
James Gillespie,
Sinem Odabaşı
Abstract:
Let $(\mathcal{G},\otimes)$ be any closed symmetric monoidal Grothendieck category. We show that K-flat covers exist universally in the category of chain complexes and that the Verdier quotient of $K(\mathcal{G})$ by the K-flat complexes is always a well generated triangulated category. Under the further assumption that $\mathcal{G}$ has a set of $\otimes$-flat generators we can show more: (i) The…
▽ More
Let $(\mathcal{G},\otimes)$ be any closed symmetric monoidal Grothendieck category. We show that K-flat covers exist universally in the category of chain complexes and that the Verdier quotient of $K(\mathcal{G})$ by the K-flat complexes is always a well generated triangulated category. Under the further assumption that $\mathcal{G}$ has a set of $\otimes$-flat generators we can show more: (i) The category is in recollement with the $\otimes$-pure derived category and the usual derived category, and (ii) The usual derived category is the homotopy category of a cofibrantly generated and monoidal model structure whose cofibrant objects are precisely the K-flat complexes. We also give a condition guaranteeing that the right orthogonal to K-flat is precisely the acyclic complexes of $\otimes$-pure injectives. We show this condition holds for quasi-coherent sheaves over a quasi-compact and semiseparated scheme.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Torsion and torsion-free classes from objects of finite type in Grothendieck categories
Authors:
Daniel Bravo,
Sinem Odabaşı,
Carlos E. Parra,
Marco A. Pérez
Abstract:
In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditio…
▽ More
In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditions for this class to be torsion-free. In the end, we present several applications and examples of $n$-hereditary categories in the contexts modules over a ring, chain complexes of modules and categories of additive functors from an additive category to the category of abelian groups. Concerning the latter setting, we find a characterization of when these functor categories are $n$-hereditary in terms of the domain additive category.
△ Less
Submitted 6 January, 2022;
originally announced January 2022.
-
Gorenstein flat representations of left rooted quivers
Authors:
Zhenxing Di,
Sergio Estrada,
Li Liang,
Sinem Odabaşı
Abstract:
We study Gorenstein flat objects in the category ${\sf Rep}(Q,R)$ of representations of a left rooted quiver $Q$ with values in ${\sf Mod}(R)$, the category of all left $R$-modules, where $R$ is an arbitrary associative ring. We show that a representation $X$ in ${\sf Rep}(Q,R)$ is Gorenstein flat if and only if for each vertex $i$ the canonical homomorphism…
▽ More
We study Gorenstein flat objects in the category ${\sf Rep}(Q,R)$ of representations of a left rooted quiver $Q$ with values in ${\sf Mod}(R)$, the category of all left $R$-modules, where $R$ is an arbitrary associative ring. We show that a representation $X$ in ${\sf Rep}(Q,R)$ is Gorenstein flat if and only if for each vertex $i$ the canonical homomorphism $\varphi_i^X: \oplus_{a:j\to i}X(j)\to X(i)$ is injective, and the left $R$-modules $X(i)$ and ${\rm Coker}\varphi_i^X$ are Gorenstein flat. As an application of this result, we show that there is a hereditary abelian model structure on ${\sf Rep}(Q,R)$ whose cofibrant objects are precisely the Gorenstein flat representations, fibrant objects are precisely the cotorsion representations, and trivial objects are precisely the representations with values in the right orthogonal category of all projectively coresolved Gorenstein flat left $R$-modules.
△ Less
Submitted 29 June, 2020;
originally announced June 2020.
-
The tensor embedding for a grothendieck cosmos
Authors:
Henrik Holm,
Sinem Odabasi
Abstract:
While the Yoneda embedding and its generalizations have been studied extensively in the literature, the so-called tensor embedding has only received little attention. In this paper, we study the tensor embedding for closed symmetric monoidal categories and show how it is connected to the notion of geometrically purity, which has recently been investigated in works of Enochs, Estrada, Gillespie, an…
▽ More
While the Yoneda embedding and its generalizations have been studied extensively in the literature, the so-called tensor embedding has only received little attention. In this paper, we study the tensor embedding for closed symmetric monoidal categories and show how it is connected to the notion of geometrically purity, which has recently been investigated in works of Enochs, Estrada, Gillespie, and Odabaşı. More precisely, for a Gro\-thendieck cosmos---that is, a bicomplete Grothendick category $\mathcal{V}$ with a closed symmetric monoidal structure---we prove that the geometrically pure exact category $(\mathcal{V},\mathscr{E}_\otimes)$ has enough relative injectives; in fact, every object has a geometrically pure injective envelope. We also show that for some regular cardinal $λ$, the tensor embedding yields an exact equivalence between $(\mathcal{V},\mathscr{E}_\otimes)$ and the category of $λ$-cocontinuous $\mathcal{V}$-functors from $\mbox{Pres}(\mathcal{V})$ to $\mathcal{V}$, where the former is the full $\mathcal{V}$-subcategory of $λ$-presentable objects in $\mathcal{V}$. In many cases of interest, $λ$ can be chosen to be $\aleph_0$ and the tensor embedding identifies the geometrically pure injective objects in $\mathcal{V}$ with the (categorically) injective objects in the abelian category of $\mathcal{V}$-functors from $\mathrm{fp}(\mathcal{V})$ to $\mathcal{V}$. As we explain, the developed theory applies e.g.~to the category $\mathsf{Ch}(R)$ of chain complexes of modules over a commutative ring $R$ and to the category $\mathsf{Qcoh}(X)$ of quasi-coherent sheaves over a (suitably nice) scheme $X$.
△ Less
Submitted 28 November, 2019;
originally announced November 2019.
-
Completeness of the induced cotorsion pairs in categories of quiver representations
Authors:
Sinem Odabasi
Abstract:
Given a complete hereditary cotorsion pair $(\mathcal{A}, \mathcal{B})$ in an abelian category $\mathcal{C}$ satisfying certain conditions, we study the completeness of the induced cotorsion pairs $(Φ(\mathcal{A}), Φ(\mathcal{A})^{\perp})$ and $(^{\perp}Ψ(\mathcal{B}), Ψ(\mathcal{B}) )$ in the category $\mbox{Rep}(Q, \mathcal{C})$ of $\mathcal{C}$-valued representations of a given quiver $Q$. We s…
▽ More
Given a complete hereditary cotorsion pair $(\mathcal{A}, \mathcal{B})$ in an abelian category $\mathcal{C}$ satisfying certain conditions, we study the completeness of the induced cotorsion pairs $(Φ(\mathcal{A}), Φ(\mathcal{A})^{\perp})$ and $(^{\perp}Ψ(\mathcal{B}), Ψ(\mathcal{B}) )$ in the category $\mbox{Rep}(Q, \mathcal{C})$ of $\mathcal{C}$-valued representations of a given quiver $Q$. We show that if $Q$ is left rooted, then the cotorsion pair $(Φ(\mathcal{A}), Φ(\mathcal{A})^{\perp})$ is complete, and if $Q$ is right rooted, then the cotorsion pair $(^{\perp}Ψ(\mathcal{B}), Ψ(\mathcal{B}) )$ is complete. Besides, we work on the infinite line quiver $A_{\infty}^{\infty}$, which is neither left rooted nor right rooted. We prove that these cotorsion pairs in $\mbox{Rep}(A_{\infty}^{\infty}, R)$ are complete, as well.
△ Less
Submitted 1 November, 2017;
originally announced November 2017.
-
Phantom covering ideals in categories without enough projective morphisms
Authors:
Sergio Estrada,
Pedro A. Guil Asensio,
Sinem Odabasi
Abstract:
We give sufficient conditions to ensure that the ideal $Φ(\mathcal E)$ of $\mathcal E$-phantom maps in a locally $λ$-presentable exact category $(\mathcal{A}, \mathcal{E})$ is (special) (pre)covering ideal, where $\mathcal E$ is an exact substructure of $(\mathcal{A}, \mathcal{E})$. As a byproduct, we infer the existence of various covering ideals in categories of sheaves which have a meaningful g…
▽ More
We give sufficient conditions to ensure that the ideal $Φ(\mathcal E)$ of $\mathcal E$-phantom maps in a locally $λ$-presentable exact category $(\mathcal{A}, \mathcal{E})$ is (special) (pre)covering ideal, where $\mathcal E$ is an exact substructure of $(\mathcal{A}, \mathcal{E})$. As a byproduct, we infer the existence of various covering ideals in categories of sheaves which have a meaningful geometrical motivation. In particular we deal with a Zariski-local notion of phantom maps in categories of sheaves. We would like to point out that our approach is necessarily different from [FGHT13], as the categories involved in most of the examples we are interested in do not have enough projective morphisms.
△ Less
Submitted 29 May, 2019; v1 submitted 21 July, 2016;
originally announced July 2016.
-
Gorenstein flat and projective (pre)covers
Authors:
Sergio Estrada,
Alina Iacob,
Sinem Odabasi
Abstract:
We consider a right coherent ring R. We prove that the class of Gorenstein flat complexes is covering in the category of complexes of left R-modules Ch(R). When R is also left n-perfect, we prove that the class of Gorenstein projective complexes is special precovering in Ch(R).
We consider a right coherent ring R. We prove that the class of Gorenstein flat complexes is covering in the category of complexes of left R-modules Ch(R). When R is also left n-perfect, we prove that the class of Gorenstein projective complexes is special precovering in Ch(R).
△ Less
Submitted 17 August, 2015;
originally announced August 2015.
-
Pure exact structures and the pure derived category of a scheme
Authors:
Sergio Estrada,
James Gillespie,
Sinem Odabaşi
Abstract:
Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of unbounded chain complexes in $\mathcal C$. We use $λ$-Purity techniques to get this. As application we define the stalkwise pure derived category of the category…
▽ More
Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of unbounded chain complexes in $\mathcal C$. We use $λ$-Purity techniques to get this. As application we define the stalkwise pure derived category of the category of quasi--coherent sheaves on a quasi-separated scheme. We also give a different approach by using the category of flat quasi--coherent sheaves.
△ Less
Submitted 12 August, 2014;
originally announced August 2014.
-
Pure injective and absolutely pure sheaves
Authors:
Edgar Enochs,
Sergio Estrada,
Sinem Odabaşı
Abstract:
We study two notions of purity in categories of sheaves: the categorical and the geometric. It is shown that pure injective envelopes exist in both cases under very general assumptions on the scheme. Finally we introduce the class of locally absolutely pure (quasi--coherent) sheaves, with respect to the geometrical purity, and characterize locally Noetherian closed subschemes of a projective schem…
▽ More
We study two notions of purity in categories of sheaves: the categorical and the geometric. It is shown that pure injective envelopes exist in both cases under very general assumptions on the scheme. Finally we introduce the class of locally absolutely pure (quasi--coherent) sheaves, with respect to the geometrical purity, and characterize locally Noetherian closed subschemes of a projective scheme in terms of the new class.
△ Less
Submitted 24 October, 2015; v1 submitted 5 July, 2013;
originally announced July 2013.
-
Locally torsion-free quasi-coherent sheaves
Authors:
Sinem Odabaşı
Abstract:
Let $X$ be an arbitrary scheme. The category $\mathfrak{Qcoh}(X)$ of quasi--coherent sheaves on $X$ is known that admits arbitrary direct products. However their structure seems to be rather mysterious. In the present paper we will describe the structure of the product object of a family of locally torsion-free objects in $\mathfrak{Qcoh}(X)$, for $X$ an integral scheme. Several applications are p…
▽ More
Let $X$ be an arbitrary scheme. The category $\mathfrak{Qcoh}(X)$ of quasi--coherent sheaves on $X$ is known that admits arbitrary direct products. However their structure seems to be rather mysterious. In the present paper we will describe the structure of the product object of a family of locally torsion-free objects in $\mathfrak{Qcoh}(X)$, for $X$ an integral scheme. Several applications are provided. For instance it is shown that the class of flat quasi--coherent sheaves on a Dedekind scheme $X$ is closed under arbitrary direct products, and that the class of all locally torsion-free quasi--coherent sheaves induces a hereditary torsion theory on $\mathfrak{Qcoh}(X)$. Finally torsion-free covers are shown to exist in $\mathfrak{Qcoh}(X)$.
△ Less
Submitted 17 November, 2012;
originally announced November 2012.
-
A Lazard-like theorem for quasi-coherent sheaves
Authors:
Sergio Estrada,
Pedro A. Guil Asensio,
Sinem Odabasi
Abstract:
We study filtration of quasi--coherent sheaves. We prove a version of Kaplansky Theorem for quasi--coherent sheaves, by using Drinfeld's notion of almost projective module and the Hill Lemma. We also show a Lazard-like theorem for flat quasi-coherent sheaves for quasi-compact and semi-separated schemes which satisfy the resolution property.
We study filtration of quasi--coherent sheaves. We prove a version of Kaplansky Theorem for quasi--coherent sheaves, by using Drinfeld's notion of almost projective module and the Hill Lemma. We also show a Lazard-like theorem for flat quasi-coherent sheaves for quasi-compact and semi-separated schemes which satisfy the resolution property.
△ Less
Submitted 2 September, 2011;
originally announced September 2011.
