-
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.
-
Homotopy equivalences and Grothendieck duality over rings with finite Gorenstein weak global dimension
Authors:
Junpeng Wang,
Sergio Estrada
Abstract:
Let $R$ be a ring with Gwgldim$(R)<\infty$. We obtain a triangle-equivalence $\mathrm{K}(R\text{-}\mathrm{GProj})\simeq \mathrm{K}(R\text{-}\mathrm{GInj})$ which restricts to a triangle-equivalence $\mathrm{K}(R\text{-}\mathrm{Proj})$ $\simeq \mathrm{K}(R\text{-}\mathrm{Inj})$. This class of rings includes, among others, (left) Gorenstein rings, Ding-Chen rings and the more general Gorenstein $n$-…
▽ More
Let $R$ be a ring with Gwgldim$(R)<\infty$. We obtain a triangle-equivalence $\mathrm{K}(R\text{-}\mathrm{GProj})\simeq \mathrm{K}(R\text{-}\mathrm{GInj})$ which restricts to a triangle-equivalence $\mathrm{K}(R\text{-}\mathrm{Proj})$ $\simeq \mathrm{K}(R\text{-}\mathrm{Inj})$. This class of rings includes, among others, (left) Gorenstein rings, Ding-Chen rings and the more general Gorenstein $n$-coherent rings ($n\in \mathbb{N}\cup \{\infty\}, n\geq 2$). As application, we establish some triangle-equivalences of Grothendieck duality over Ding-Chen rings and Gorenstein $n$-coherent rings.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
One-sided Gorenstein rings
Authors:
Lars Winther Christensen,
Sergio Estrada,
Li Liang,
Peder Thompson,
Junpeng Wang
Abstract:
Distinctive characteristics of Iwanaga--Gorenstein rings are typically understood through their intrinsic symmetry. We show that several of those that pertain to the Gorenstein global dimensions carry over to the one-sided situation, even without the noetherian hypothesis. Our results yield new relations among homological invariants related to the Gorenstein property, not only Gorenstein global di…
▽ More
Distinctive characteristics of Iwanaga--Gorenstein rings are typically understood through their intrinsic symmetry. We show that several of those that pertain to the Gorenstein global dimensions carry over to the one-sided situation, even without the noetherian hypothesis. Our results yield new relations among homological invariants related to the Gorenstein property, not only Gorenstein global dimensions but also the suprema of projective/injective dimensions of injective/projective modules and finitistic dimensions.
△ Less
Submitted 11 November, 2023; v1 submitted 25 August, 2023;
originally announced August 2023.
-
FastSurfer-HypVINN: Automated sub-segmentation of the hypothalamus and adjacent structures on high-resolutional brain MRI
Authors:
Santiago Estrada,
David Kügler,
Emad Bahrami,
Peng Xu,
Dilshad Mousa,
Monique M. B. Breteler,
N. Ahmad Aziz,
Martin Reuter
Abstract:
The hypothalamus plays a crucial role in the regulation of a broad range of physiological, behavioural, and cognitive functions. However, despite its importance, only a few small-scale neuroimaging studies have investigated its substructures, likely due to the lack of fully automated segmentation tools to address scalability and reproducibility issues of manual segmentation. While the only previou…
▽ More
The hypothalamus plays a crucial role in the regulation of a broad range of physiological, behavioural, and cognitive functions. However, despite its importance, only a few small-scale neuroimaging studies have investigated its substructures, likely due to the lack of fully automated segmentation tools to address scalability and reproducibility issues of manual segmentation. While the only previous attempt to automatically sub-segment the hypothalamus with a neural network showed promise for 1.0 mm isotropic T1-weighted (T1w) MRI, there is a need for an automated tool to sub-segment also high-resolutional (HiRes) MR scans, as they are becoming widely available, and include structural detail also from multi-modal MRI. We, therefore, introduce a novel, fast, and fully automated deep learning method named HypVINN for sub-segmentation of the hypothalamus and adjacent structures on 0.8 mm isotropic T1w and T2w brain MR images that is robust to missing modalities. We extensively validate our model with respect to segmentation accuracy, generalizability, in-session test-retest reliability, and sensitivity to replicate hypothalamic volume effects (e.g. sex-differences). The proposed method exhibits high segmentation performance both for standalone T1w images as well as for T1w/T2w image pairs. Even with the additional capability to accept flexible inputs, our model matches or exceeds the performance of state-of-the-art methods with fixed inputs. We, further, demonstrate the generalizability of our method in experiments with 1.0 mm MR scans from both the Rhineland Study and the UK Biobank. Finally, HypVINN can perform the segmentation in less than a minute (GPU) and will be available in the open source FastSurfer neuroimaging software suite, offering a validated, efficient, and scalable solution for evaluating imaging-derived phenotypes of the hypothalamus.
△ Less
Submitted 7 November, 2023; v1 submitted 24 August, 2023;
originally announced August 2023.
-
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.
-
Gorenstein projective precovers and finitely presented modules
Authors:
Sergio Estrada,
Alina Iacob
Abstract:
The existence of the Gorenstein projective precovers over arbitrary rings is an open question. It is known that if the ring has finite Gorenstein global dimension, then every module has a Gorenstein projective precover. We prove here a "reduction" property - we show that, over any ring, it suffices to consider finitely presented modules: if there exists a nonnegative integer $n$ such that every fi…
▽ More
The existence of the Gorenstein projective precovers over arbitrary rings is an open question. It is known that if the ring has finite Gorenstein global dimension, then every module has a Gorenstein projective precover. We prove here a "reduction" property - we show that, over any ring, it suffices to consider finitely presented modules: if there exists a nonnegative integer $n$ such that every finitely presented module has Gorenstein projective dimension $\le n$, then the class of Gorenstein projective modules is special precovering.
△ Less
Submitted 22 April, 2023; v1 submitted 28 February, 2023;
originally announced March 2023.
-
Five theorems on Gorenstein global dimensions
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings.
We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings.
△ Less
Submitted 11 August, 2022; v1 submitted 23 March, 2022;
originally announced March 2022.
-
A Novel Silicon Photomultiplier Readout Architecture for Low-light Applications
Authors:
V. Cianciolo,
Yu. V. Efremenko,
L. Fabris,
S. K. Imam,
S. I. Penttila J. C. Ramsey,
R. Santos Estrada
Abstract:
In this article we describe the photon detection readout electronics for the nEDM@SNS experiment. The chosen "photon counting" architecture, which utilizes high-efficiency silicon photomultipliers (SiPMs) and is appropriate for low-light applications, allows the use of a relatively high SiPM operating voltage. This maximizes photon detection efficiency and minimizes gain/efficiency voltage-depende…
▽ More
In this article we describe the photon detection readout electronics for the nEDM@SNS experiment. The chosen "photon counting" architecture, which utilizes high-efficiency silicon photomultipliers (SiPMs) and is appropriate for low-light applications, allows the use of a relatively high SiPM operating voltage. This maximizes photon detection efficiency and minimizes gain/efficiency voltage-dependence while eliminating optical cross-talk.
△ Less
Submitted 30 June, 2022; v1 submitted 10 February, 2022;
originally announced February 2022.
-
Automated Olfactory Bulb Segmentation on High Resolutional T2-Weighted MRI
Authors:
Santiago Estrada,
Ran Lu,
Kersten Diers,
Weiyi Zeng,
Philipp Ehses,
Tony Stöcker,
Monique M. B Breteler,
Martin Reuter
Abstract:
The neuroimage analysis community has neglected the automated segmentation of the olfactory bulb (OB) despite its crucial role in olfactory function. The lack of an automatic processing method for the OB can be explained by its challenging properties. Nonetheless, recent advances in MRI acquisition techniques and resolution have allowed raters to generate more reliable manual annotations. Furtherm…
▽ More
The neuroimage analysis community has neglected the automated segmentation of the olfactory bulb (OB) despite its crucial role in olfactory function. The lack of an automatic processing method for the OB can be explained by its challenging properties. Nonetheless, recent advances in MRI acquisition techniques and resolution have allowed raters to generate more reliable manual annotations. Furthermore, the high accuracy of deep learning methods for solving semantic segmentation problems provides us with an option to reliably assess even small structures. In this work, we introduce a novel, fast, and fully automated deep learning pipeline to accurately segment OB tissue on sub-millimeter T2-weighted (T2w) whole-brain MR images. To this end, we designed a three-stage pipeline: (1) Localization of a region containing both OBs using FastSurferCNN, (2) Segmentation of OB tissue within the localized region through four independent AttFastSurferCNN - a novel deep learning architecture with a self-attention mechanism to improve modeling of contextual information, and (3) Ensemble of the predicted label maps. The OB pipeline exhibits high performance in terms of boundary delineation, OB localization, and volume estimation across a wide range of ages in 203 participants of the Rhineland Study. Moreover, it also generalizes to scans of an independent dataset never encountered during training, the Human Connectome Project (HCP), with different acquisition parameters and demographics, evaluated in 30 cases at the native 0.7mm HCP resolution, and the default 0.8mm pipeline resolution. We extensively validated our pipeline not only with respect to segmentation accuracy but also to known OB volume effects, where it can sensitively replicate age effects.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Quillen equivalences inducing Grothendieck duality for unbounded chain complexes of sheaves
Authors:
Sergio Estrada,
James Gillespie
Abstract:
Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are able to show that the Gorenstein flat model structure, on the category of quasi-coherent sheaves on $\mathbb{X}$, is Quillen equivalent to the Gorenstein injectiv…
▽ More
Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are able to show that the Gorenstein flat model structure, on the category of quasi-coherent sheaves on $\mathbb{X}$, is Quillen equivalent to the Gorenstein injective model structure. Also noteworthy is that we extend the recollement of Krause to hold without the Noetherian condition. Using a set of flat generators, it holds for any quasi-compact semiseparated scheme $\mathbb{X}$. With this we also show that the Gorenstein injective quasi-coherent sheaves are the fibrant objects of a cofibrantly generated abelian model structure for any semiseparated Noetherian scheme $\mathbb{X}$. Finally, we consider both the injective and (mock) projective approach to Tate cohomology of quasi-coherent sheaves. They agree whenever $\mathbb{X}$ is a semiseparated Gorenstein scheme of finite Krull dimension.
△ Less
Submitted 7 September, 2021; v1 submitted 21 April, 2021;
originally announced April 2021.
-
Gorenstein weak global dimension is symmetric
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
We study the Gorenstein weak global dimension of associative rings and its relation to the Gorenstein global dimension. In particular, we prove the conjecture that the Gorenstein weak global dimension is a left-right symmetric invariant -- just like the (absolute) weak global dimension.
We study the Gorenstein weak global dimension of associative rings and its relation to the Gorenstein global dimension. In particular, we prove the conjecture that the Gorenstein weak global dimension is a left-right symmetric invariant -- just like the (absolute) weak global dimension.
△ Less
Submitted 3 June, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.
-
The singularity category of an exact category applied to characterize Gorenstein schemes
Authors:
Lars Winther Christensen,
Nanqing Ding,
Sergio Estrada,
Jiangsheng Hu,
Huanhuan Li,
Peder Thompson
Abstract:
We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with this Buchweitz's classic equivalence of three categories over Gorenstein local rings has been generalized to schemes, a project started by Murfet and Salarian mo…
▽ More
We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with this Buchweitz's classic equivalence of three categories over Gorenstein local rings has been generalized to schemes, a project started by Murfet and Salarian more than ten years ago. As another application we use the framework to characterize rings of finite finitistic dimension.
△ Less
Submitted 5 May, 2022; v1 submitted 2 September, 2020;
originally announced September 2020.
-
An experimental program with high duty-cycle polarized and unpolarized positron beams at Jefferson Lab
Authors:
A. Accardi,
A. Afanasev,
I. Albayrak,
S. F. Ali,
M. Amaryan,
J. R. M. Annand,
J. Arrington,
A. Asaturyan,
H. Atac,
H. Avakian,
T. Averett,
C. Ayerbe Gayoso,
X. Bai,
L. Barion,
M. Battaglieri,
V. Bellini,
R. Beminiwattha,
F. Benmokhtar,
V. V. Berdnikov,
J. C. Bernauer,
V. Bertone,
A. Bianconi,
A. Biselli,
P. Bisio,
P. Blunden
, et al. (205 additional authors not shown)
Abstract:
Positron beams, both polarized and unpolarized, are identified as essential ingredients for the experimental programs at the next generation of lepton accelerators. In the context of the hadronic physics program at Jefferson Lab (JLab), positron beams are complementary, even essential, tools for a precise understanding of the electromagnetic structure of nucleons and nuclei, in both the elastic an…
▽ More
Positron beams, both polarized and unpolarized, are identified as essential ingredients for the experimental programs at the next generation of lepton accelerators. In the context of the hadronic physics program at Jefferson Lab (JLab), positron beams are complementary, even essential, tools for a precise understanding of the electromagnetic structure of nucleons and nuclei, in both the elastic and deep-inelastic regimes. For instance, elastic scattering of polarized and unpolarized electrons and positrons from the nucleon enables a model independent determination of its electromagnetic form factors. Also, the deeply-virtual scattering of polarized and unpolarized electrons and positrons allows unambiguous separation of the different contributions to the cross section of the lepto-production of photons and of lepton-pairs, enabling an accurate determination of the nucleons and nuclei generalized parton distributions, and providing an access to the gravitational form factors. Furthermore, positron beams offer the possibility of alternative tests of the Standard Model of particle physics through the search of a dark photon, the precise measurement of electroweak couplings, and the investigation of charged lepton flavor violation. This document discusses the perspectives of an experimental program with high duty-cycle positron beams at JLab.
△ Less
Submitted 21 May, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
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.
-
Acyclic complexes and Gorenstein rings
Authors:
Sergio Estrada,
Alina Iacob,
Holly Zolt
Abstract:
For a given class of modules $\mathcal{A}$, we denote by $\widetilde{\mathcal{A}}$ the class of exact complexes $X$ having all cycles in $\mathcal{A}$, and by $dw(\mathcal{A})$ the class of complexes $Y$ with all components $Y_j$ in $\mathcal{A}$. We use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (Gorenstein flat, Gorenstein projective respect…
▽ More
For a given class of modules $\mathcal{A}$, we denote by $\widetilde{\mathcal{A}}$ the class of exact complexes $X$ having all cycles in $\mathcal{A}$, and by $dw(\mathcal{A})$ the class of complexes $Y$ with all components $Y_j$ in $\mathcal{A}$. We use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (Gorenstein flat, Gorenstein projective respectively) $R$-modules, $\mathcal{DI}$ for Ding injective modules, and $\mathcal{PGF}$ for projectively coresolved Gorenstein flat modules (see section 2 for definitions). We prove that the following are equivalent over any ring $R$: (1) Every exact complex of injective modules is totally acyclic. (2) Every exact complex of Gorenstein injective modules is in $\widetilde{\mathcal{GI}}$. (3) Every complex in $dw(\mathcal{GI})$ is dg-Gorenstein injective. We show that the analogue result for complexes of flat and Gorenstein flat modules also holds over arbitrary rings. if moreover, the ring is $n$-perfect for some integer $n \ge 0$, then the three equivalent statements for flat and Gorenstein flat modules are also equivalent with their counterparts for projective and projectively coresolved Gorenstein flat modules. We also prove the following characterization of Gorenstein rings: Let $R$ be a commutative coherent ring. The following statements are equivalent: (1) every exact complex of FP-injective modules has all its cycles Ding injective modules. (2) every exact complex of injectives has all its cycles Ding injective modules and every $R$-module M such that $M^+$ is Gorenstein flat is Ding injective. If moreover the ring $R$ has finite Krull dimension then statements (1), (2) above are also equivalent to (3) $R$ is a Gorenstein ring (in the sense of Iwanaga).
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
A refinement of Gorenstein flat dimension via the flat--cotorsion theory
Authors:
Lars Winther Christensen,
Sergio Estrada,
Li Liang,
Peder Thompson,
Dejun Wu,
Yang Gang
Abstract:
We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological dimension without extra assumptions on the ring. Crucially, we show that it coincides with the Gorenstein flat dimension for complexes where the latter is finite,…
▽ More
We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological dimension without extra assumptions on the ring. Crucially, we show that it coincides with the Gorenstein flat dimension for complexes where the latter is finite, and for complexes over right coherent rings--the setting where the Gorenstein flat dimension is known to behave as expected.
△ Less
Submitted 28 September, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
FastSurfer -- A fast and accurate deep learning based neuroimaging pipeline
Authors:
Leonie Henschel,
Sailesh Conjeti,
Santiago Estrada,
Kersten Diers,
Bruce Fischl,
Martin Reuter
Abstract:
Traditional neuroimage analysis pipelines involve computationally intensive, time-consuming optimization steps, and thus, do not scale well to large cohort studies with thousands or tens of thousands of individuals. In this work we propose a fast and accurate deep learning based neuroimaging pipeline for the automated processing of structural human brain MRI scans, replicating FreeSurfer's anatomi…
▽ More
Traditional neuroimage analysis pipelines involve computationally intensive, time-consuming optimization steps, and thus, do not scale well to large cohort studies with thousands or tens of thousands of individuals. In this work we propose a fast and accurate deep learning based neuroimaging pipeline for the automated processing of structural human brain MRI scans, replicating FreeSurfer's anatomical segmentation including surface reconstruction and cortical parcellation. To this end, we introduce an advanced deep learning architecture capable of whole brain segmentation into 95 classes. The network architecture incorporates local and global competition via competitive dense blocks and competitive skip pathways, as well as multi-slice information aggregation that specifically tailor network performance towards accurate segmentation of both cortical and sub-cortical structures. Further, we perform fast cortical surface reconstruction and thickness analysis by introducing a spectral spherical embedding and by directly map** the cortical labels from the image to the surface. This approach provides a full FreeSurfer alternative for volumetric analysis (in under 1 minute) and surface-based thickness analysis (within only around 1h runtime). For sustainability of this approach we perform extensive validation: we assert high segmentation accuracy on several unseen datasets, measure generalizability and demonstrate increased test-retest reliability, and high sensitivity to group differences in dementia.
△ Less
Submitted 29 May, 2020; v1 submitted 9 October, 2019;
originally announced October 2019.
-
Vaccination with Leishmania mexicana LPG induces PD-1 in CD8+ and PD-L2 in macrophages thereby suppressing the immune response: A model to assess vaccine efficacy
Authors:
M. B. Martínez Salazar,
J. Delgado Domínguez,
J. Silva Estrada,
C. González Bonilla,
I. Becker
Abstract:
Leishmania lipophosphoglycan is a molecule that has been used as a vaccine candidate, with contradictory results. Since unsuccessful protection could be related to suppressed T cell responses, we analyzed the expression of inhibitory receptor PD-1 in CD8+ and CD4+ lymphocytes and it is ligand PD-L2 in macrophages of BALB/c mice immunized with various doses of Leishmania mexicana LPG and re-stimula…
▽ More
Leishmania lipophosphoglycan is a molecule that has been used as a vaccine candidate, with contradictory results. Since unsuccessful protection could be related to suppressed T cell responses, we analyzed the expression of inhibitory receptor PD-1 in CD8+ and CD4+ lymphocytes and it is ligand PD-L2 in macrophages of BALB/c mice immunized with various doses of Leishmania mexicana LPG and re-stimulated in vitro with different concentrations of LPG. Vaccination with LPG enhanced the expression of PD-1 in CD8+ cells. Activation molecules CD137 were reduced in CD8+ cells from vaccinated mice. In vitro re-stimulation enhanced PD-L2 expression in macrophages of healthy mice in a dose-dependent fashion. The expression of PD-1, PD-L2, and CD137 is modulated according to the amount of LPG used during immunization and in vitro re-stimulation. We analyzed the expression of these molecules in mice infected with 1 x 10'4 or 1 x 10'5 L. mexicana promastigotes and re-stimulated in vitro with LPG. Infection with 1 x 10'5 parasites increased the PD-1 expression in CD8+ and diminished PD-L2 in macrophages. When these CD8+ cells were re-stimulated in vitro with LPG, simulating a second exposure to parasite antigens, PD-1 expression increased significantly more, in a dose-dependent fashion. We conclude that CD8+ T lymphocytes and macrophages express inhibition molecules according to the concentrations of Leishmania LPG and to the parasite load. Vaccination with increased amounts of LPG or infections with higher parasite numbers induces enhanced expression of PD-1 and functional inactivation of CD8+ cells, which can have critical consequences in leishmaniasis since these cells are crucial for disease control.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
The stable category of Gorenstein flat sheaves on a noetherian scheme
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-co…
▽ More
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-coherent sheaves as the natural non-affine analogue of the homotopy category of totally acyclic complexes of projective modules.
△ Less
Submitted 14 July, 2020; v1 submitted 16 April, 2019;
originally announced April 2019.
-
FatSegNet : A Fully Automated Deep Learning Pipeline for Adipose Tissue Segmentation on Abdominal Dixon MRI
Authors:
Santiago Estrada,
Ran Lu,
Sailesh Conjeti,
Ximena Orozco-Ruiz,
Joana Panos-Willuhn,
Monique M. B Breteler,
Martin Reuter
Abstract:
Purpose: Development of a fast and fully automated deep learning pipeline (FatSegNet) to accurately identify, segment, and quantify abdominal adipose tissue on Dixon MRI from the Rhineland Study - a large prospective population-based study. Method: FatSegNet is composed of three stages: (i) consistent localization of the abdominal region using two 2D-Competitive Dense Fully Convolutional Networks…
▽ More
Purpose: Development of a fast and fully automated deep learning pipeline (FatSegNet) to accurately identify, segment, and quantify abdominal adipose tissue on Dixon MRI from the Rhineland Study - a large prospective population-based study. Method: FatSegNet is composed of three stages: (i) consistent localization of the abdominal region using two 2D-Competitive Dense Fully Convolutional Networks (CDFNet), (ii) segmentation of adipose tissue on three views by independent CDFNets, and (iii) view aggregation. FatSegNet is trained with 33 manually annotated subjects, and validated by: 1) comparison of segmentation accuracy against a testingset covering a wide range of body mass index (BMI), 2) test-retest reliability, and 3) robustness in a large cohort study. Results: The CDFNet demonstrates increased robustness compared to traditional deep learning networks. FatSegNet dice score outperforms manual raters on the abdominal visceral adipose tissue (VAT, 0.828 vs. 0.788), and produces comparable results on subcutaneous adipose tissue (SAT, 0.973 vs. 0.982). The pipeline has very small test-retest absolute percentage difference and excellent agreement between scan sessions (VAT: APD = 2.957%, ICC=0.998 and SAT: APD= 3.254%, ICC=0.996). Conclusion: FatSegNet can reliably analyze a 3D Dixon MRI in1 min. It generalizes well to different body shapes, sensitively replicates known VAT and SAT volume effects in a large cohort study, and permits localized analysis of fat compartments.
△ Less
Submitted 5 November, 2019; v1 submitted 3 April, 2019;
originally announced April 2019.
-
Homotopy categories of totally acyclic complexes with applications to the flat-cotorsion theory
Authors:
Lars Winther Christensen,
Sergio Estrada,
Peder Thompson
Abstract:
We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to the homotopy category of totally acyclic complexes. Applied to the flat-cotorsion theory over a coherent ring, this provides a new description of the category…
▽ More
We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to the homotopy category of totally acyclic complexes. Applied to the flat-cotorsion theory over a coherent ring, this provides a new description of the category of cotorsion Gorenstein flat modules; one that puts it on equal footing with the category of Gorenstein projective modules.
△ Less
Submitted 12 September, 2019; v1 submitted 11 December, 2018;
originally announced December 2018.
-
Competition vs. Concatenation in Skip Connections of Fully Convolutional Networks
Authors:
Santiago Estrada,
Sailesh Conjeti,
Muneer Ahmad,
Nassir Navab,
Martin Reuter
Abstract:
Increased information sharing through short and long-range skip connections between layers in fully convolutional networks have demonstrated significant improvement in performance for semantic segmentation. In this paper, we propose Competitive Dense Fully Convolutional Networks (CDFNet) by introducing competitive maxout activations in place of naive feature concatenation for inducing competition…
▽ More
Increased information sharing through short and long-range skip connections between layers in fully convolutional networks have demonstrated significant improvement in performance for semantic segmentation. In this paper, we propose Competitive Dense Fully Convolutional Networks (CDFNet) by introducing competitive maxout activations in place of naive feature concatenation for inducing competition amongst layers. Within CDFNet, we propose two architectural contributions, namely competitive dense block (CDB) and competitive unpooling block (CUB) to induce competition at local and global scales for short and long-range skip connections respectively. This extension is demonstrated to boost learning of specialized sub-networks targeted at segmenting specific anatomies, which in turn eases the training of complex tasks. We present the proof-of-concept on the challenging task of whole body segmentation in the publicly available VISCERAL benchmark and demonstrate improved performance over multiple learning and registration based state-of-the-art methods.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
Complex Fully Convolutional Neural Networks for MR Image Reconstruction
Authors:
Muneer Ahmad Dedmari,
Sailesh Conjeti,
Santiago Estrada,
Phillip Ehses,
Tony Stöcker,
Martin Reuter
Abstract:
Undersampling the k-space data is widely adopted for acceleration of Magnetic Resonance Imaging (MRI). Current deep learning based approaches for supervised learning of MRI image reconstruction employ real-valued operations and representations by treating complex valued k-space/spatial-space as real values. In this paper, we propose complex dense fully convolutional neural network ($\mathbb{C}$DFN…
▽ More
Undersampling the k-space data is widely adopted for acceleration of Magnetic Resonance Imaging (MRI). Current deep learning based approaches for supervised learning of MRI image reconstruction employ real-valued operations and representations by treating complex valued k-space/spatial-space as real values. In this paper, we propose complex dense fully convolutional neural network ($\mathbb{C}$DFNet) for learning to de-alias the reconstruction artifacts within undersampled MRI images. We fashioned a densely-connected fully convolutional block tailored for complex-valued inputs by introducing dedicated layers such as complex convolution, batch normalization, non-linearities etc. $\mathbb{C}$DFNet leverages the inherently complex-valued nature of input k-space and learns richer representations. We demonstrate improved perceptual quality and recovery of anatomical structures through $\mathbb{C}$DFNet in contrast to its real-valued counterparts.
△ Less
Submitted 9 July, 2018;
originally announced July 2018.
-
Tate-Betti and Tate-Bass numbers
Authors:
Edgar Enochs,
Sergio Estrada,
Alina Iacob
Abstract:
We define Tate-Betti and Tate-Bass invariants for modules over a commutative noetherian local ring R. Then we show the periodicity of these invariants provided that R is a hypersurface. In case R is also Gorenstein, we show that a finitely generated R-module M and its Matlis dual have the same Tate-Betti and Tate-Bass numbers.
We define Tate-Betti and Tate-Bass invariants for modules over a commutative noetherian local ring R. Then we show the periodicity of these invariants provided that R is a hypersurface. In case R is also Gorenstein, we show that a finitely generated R-module M and its Matlis dual have the same Tate-Betti and Tate-Bass numbers.
△ Less
Submitted 25 March, 2018;
originally announced March 2018.
-
On some applications of balanced pairs and their relation with cotorsion triplets
Authors:
Sergio Estrada,
Marco A. Pérez,
Haiyan Zhu
Abstract:
Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new character…
▽ More
Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories having enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also give a short proof of the lack of balance for derived functors of $\mathsf{Hom}$ computed by using flat resolutions which extends the one showed by Enochs in the commutative case.
△ Less
Submitted 27 February, 2018;
originally announced February 2018.
-
$\rm{FP}_{n}$-injective and $\rm{FP}_{n}$-flat covers and preenvelopes, and Gorenstein AC-flat covers
Authors:
Daniel Bravo,
Sergio Estrada,
Alina Iacob
Abstract:
We prove that, for any $n \geq 2$, the classes of $\rm{FP}_{n}$-injective modules and of $\rm{FP}_n$-flat modules are both covering and preenvelo** over any ring $R$. This includes the case of $\rm{FP}_{\infty}$-injective and $\rm{FP}_{\infty}$-flat modules (i.e. absolutely clean and, respectively, level modules). Then we consider a generalization of the class of (strongly) Gorenstein flat modul…
▽ More
We prove that, for any $n \geq 2$, the classes of $\rm{FP}_{n}$-injective modules and of $\rm{FP}_n$-flat modules are both covering and preenvelo** over any ring $R$. This includes the case of $\rm{FP}_{\infty}$-injective and $\rm{FP}_{\infty}$-flat modules (i.e. absolutely clean and, respectively, level modules). Then we consider a generalization of the class of (strongly) Gorenstein flat modules - the (strongly) Gorenstein AC-flat modules (cycles of exact complexes of flat modules that remain exact when tensored with any absolutely clean module). We prove that some of the properties of Gorenstein flat modules extend to the class of Gorenstein AC-flat modules; for example we show that this class is precovering over any ring $R$. We also show that (as in the case of Gorenstein flat modules) every Gorenstein AC-flat module is a direct summand of a strongly Gorenstein AC-flat module. When $R$ is such that the class of Gorenstein AC-flat modules is closed under extensions, the converse is also true. We also prove that if the class of Gorenstein AC-flat modules is closed under extensions, then this class of modules is covering.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.
-
Model structures and relative Gorenstein flat modules and chain complexes
Authors:
Sergio Estrada,
Alina Iacob,
Marco A. Pérez
Abstract:
A recent result by J. Šaroch and J. Šťovíček asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and (trivially) fibrant objects are given by the classes of Gorenstein flat (resp., flat) and cotorsion (resp., Gorenstein cotorsion) modules. In this paper, we generalise this result to a ce…
▽ More
A recent result by J. Šaroch and J. Šťovíček asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and (trivially) fibrant objects are given by the classes of Gorenstein flat (resp., flat) and cotorsion (resp., Gorenstein cotorsion) modules. In this paper, we generalise this result to a certain relativisation of Gorenstein flat modules, which we call Gorenstein $\mathcal{B}$-flat modules, where $\mathcal{B}$ is a class of right $R$-modules. Using some of the techniques considered by Šaroch and Šťovíček, plus some other arguments coming from model theory, we determine some conditions for $\mathcal{B}$ so that the class of Gorenstein $\mathcal{B}$-modules is closed under extensions. This will allow us to show approximation properties concerning these modules, and also to obtain a relative version of the model structure described before. Moreover, we also present and prove our results in the category of complexes of left $R$-modules, study other model structures on complexes constructed from relative Gorenstein flat modules, and compare these models via computing their homotopy categories.
△ Less
Submitted 14 December, 2022; v1 submitted 2 September, 2017;
originally announced September 2017.
-
Quillen equivalent models for the derived category of flats and the resolution property
Authors:
Sergio Estrada,
Alexander Slavik
Abstract:
We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, th…
▽ More
We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, the derived category of flats is equivalent to the derived category of very flats. If, in addition, the scheme satisfies the resolution property then both derived categories are equivalent to the derived category of infinite-dimensional vector bundles. The equivalences are inferred from a Quillen equivalence between the corresponding models.
△ Less
Submitted 4 March, 2018; v1 submitted 19 August, 2017;
originally announced August 2017.
-
Periodic modules and acyclic complexes
Authors:
Silvana Bazzoni,
Manuel Cortés Izurdiaga,
Sergio Estrada
Abstract:
We study the behaviour of modules $M$ that fit into a short exact sequence $0\to M\to C\to M\to 0$, where $C$ belongs to a class of modules $\mathcal C$, the so-called $\mathcal C$-periodic modules. We find a rather general framework to improve and generalize some well-known results of Benson and Goodearl and Simson. In the second part we will combine techniques of hereditary cotorsion pairs and p…
▽ More
We study the behaviour of modules $M$ that fit into a short exact sequence $0\to M\to C\to M\to 0$, where $C$ belongs to a class of modules $\mathcal C$, the so-called $\mathcal C$-periodic modules. We find a rather general framework to improve and generalize some well-known results of Benson and Goodearl and Simson. In the second part we will combine techniques of hereditary cotorsion pairs and presentation of direct limits, to conclude, among other applications, that if $M$ is any module and $C$ is cotorsion, then $M$ will be also cotorsion. This will lead to some meaningful consequences in the category $\textrm{Ch}(R)$ of unbounded chain complexes and in Gorenstein homological algebra. For example we show that every acyclic complex of cotorsion modules has cotorsion cycles, and more generally, every map $F\to C$ where $C$ is a complex of cotorsion modules and $F$ is an acyclic complex of flat cycles, is null-homotopic. In other words, every complex of cotorsion modules is dg-cotorsion.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
Quillen equivalences for stable categories
Authors:
Georgios Dalezios,
Sergio Estrada,
Henrik Holm
Abstract:
For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize these stable categories as homotopy categories of certain (non-trivial) model categories and give conditions on $\mathcal{A}$ that ensure the existence of a Quill…
▽ More
For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize these stable categories as homotopy categories of certain (non-trivial) model categories and give conditions on $\mathcal{A}$ that ensure the existence of a Quillen equivalence between the model categories in question. We also study when such a Quillen equivalence transfers from $\mathcal{A}$ to categories naturally associated to $\mathcal{A}$, such as $\mathrm{Ch}(\mathcal{A})$, the category of chain complexes in $\mathcal{A}$, or $\mathrm{Rep}(Q,\mathcal{A})$, the category of $\mathcal{A}$-valued representations of a quiver $Q$.
△ Less
Submitted 9 August, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
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.
-
Totally acyclic complexes
Authors:
Sergio Estrada,
Xianhui Fu,
Alina Iacob
Abstract:
For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian ring $R$ and we use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (flat, projective respectively) $R$-modules.…
▽ More
For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian ring $R$ and we use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (flat, projective respectively) $R$-modules. We prove (Theorem 1) that the following are equivalent: 1. Every exact complex of injective modules is totally acyclic. 2. Every exact complex of Gorenstein injective modules is in $\widetilde{\mathcal{GI}}$. 3. Every complex in $dw(\mathcal{GI})$ is dg-Gorenstein injective. Theorem 2 shows that the analogue result for complexes of flat and Gorenstein flat modules also holds. We prove (Corollary 1) that, over a commutative noetherian ring $R$, the equivalent statements in Theorem 1 (as well as their counterparts from Theorem 2) hold if and only if the ring is Gorenstein. Thus we improve on a result of Iyengar's and Krause's; in [18] they proved that for a commutative noetherian ring $R$ with a dualizing complex, the class of exact complexes of injectives coincides with that of totally acyclic complexes of injectives if and only if $R$ is Gorenstein. We are able to remove the dualizing complex hypothesis. In the second part of the paper we focus on two sided noetherian rings that satisfy the Auslander condition. We prove (Theorem 6) that for such a ring $R$ that also has finite finitistic flat dimension, every complex of injective (left and respectively right) $R$-modules is totally acyclic if and only if $R$ is a Gorenstein ring.
△ Less
Submitted 27 June, 2016; v1 submitted 11 March, 2016;
originally announced March 2016.
-
Gorenstein projective precovers
Authors:
Sergio Estrada,
Alina Iacob,
Katelyn Yeomans
Abstract:
We prove that the class of Gorenstein projective modules is special precovering over any left GF-closed ring such that every Gorenstein projective module is Gorenstein flat and every Gorenstein flat module has finite Gorenstein projective dimension. This class of rings includes (strictly) Gorenstein rings, commutative noetherian rings of finite Krull dimension, as well as right coherent and left n…
▽ More
We prove that the class of Gorenstein projective modules is special precovering over any left GF-closed ring such that every Gorenstein projective module is Gorenstein flat and every Gorenstein flat module has finite Gorenstein projective dimension. This class of rings includes (strictly) Gorenstein rings, commutative noetherian rings of finite Krull dimension, as well as right coherent and left n-perfect rings. In section 4 we give examples of left GF-closed rings that have the desired properties (every Gorenstein projective module is Gorenstein flat and every Gorenstein flat has finite Gorenstein projective dimension) and that are not right coherent.
△ Less
Submitted 9 January, 2016;
originally announced January 2016.
-
The projective stable category of a coherent scheme
Authors:
Sergio Estrada,
James Gillespie
Abstract:
We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model structure, which are certain complexes of flat quasi-coherent sheaves satisfying a special acyclicity condition.
We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model structure, which are certain complexes of flat quasi-coherent sheaves satisfying a special acyclicity condition.
△ Less
Submitted 9 November, 2015;
originally announced November 2015.
-
A Zariski-local notion of F-total acyclicity for complexes of sheaves
Authors:
Lars Winther Christensen,
Sergio Estrada,
Alina Iacob
Abstract:
We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet and Salarian for sheaves over a noetherian semi-separated scheme. As part of the study we recover, and in several cases extend the validity of, recent theorems…
▽ More
We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet and Salarian for sheaves over a noetherian semi-separated scheme. As part of the study we recover, and in several cases extend the validity of, recent theorems on existence of covers and precovers in categories of sheaves. One consequence is the existence of an adjoint to the inclusion of these totally acyclic complexes into the homotopy category of complexes of flat sheaves.
△ Less
Submitted 23 June, 2016; v1 submitted 27 October, 2015;
originally announced October 2015.
-
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.
-
Cartesian modules over representations of small categories
Authors:
Sergio Estrada,
Simone Virili
Abstract:
We introduce the new concept of cartesian module over a pseudofunctor $R$ from a small category to the category of small preadditive categories. Already the case when $R$ is a (strict) functor taking values in the category of commutative rings is sufficient to cover the classical construction of quasi-coherent sheaves of modules over a scheme. On the other hand, our general setting allows for a go…
▽ More
We introduce the new concept of cartesian module over a pseudofunctor $R$ from a small category to the category of small preadditive categories. Already the case when $R$ is a (strict) functor taking values in the category of commutative rings is sufficient to cover the classical construction of quasi-coherent sheaves of modules over a scheme. On the other hand, our general setting allows for a good theory of contravariant additive locally flat functors, providing a geometrically meaningful extension of Crawley-Boevey's Representation Theorem. As an application, we relate and extend some previous constructions of the pure derived category of a scheme.
△ Less
Submitted 26 May, 2015;
originally announced May 2015.
-
Envelopes and covers for groups
Authors:
Sergio Estrada,
Jose L. Rodriguez
Abstract:
We connect work done by Enochs, Rada and Hill in module approximation theory with work undertaken by several group theorists and algebraic topologists in the context of homotopical localization and cellularization of spaces. This allows one to consider envelopes and covers of arbitrary groups. We show some characterizing results for certain classes of groups, and present some open questions.
We connect work done by Enochs, Rada and Hill in module approximation theory with work undertaken by several group theorists and algebraic topologists in the context of homotopical localization and cellularization of spaces. This allows one to consider envelopes and covers of arbitrary groups. We show some characterizing results for certain classes of groups, and present some open questions.
△ Less
Submitted 4 September, 2016; v1 submitted 12 April, 2015;
originally announced April 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.
-
Covering Ideals of Morphisms and Module Representations of the quiver $\mathbb{A}_2$
Authors:
Sergio Estrada,
Pedro Antonio Guil Asensio,
Furuzan Ozbek
Abstract:
Sufficient conditions for an ideal $\mathcal I$ in $R\Mod$ to be covering are proved. This allows to obtain an alternative proof of the existence of phantom covers of modules. Our approach is inspired by an extension of the standard deconstructibility techniques used in Approximation Theory.
Sufficient conditions for an ideal $\mathcal I$ in $R\Mod$ to be covering are proved. This allows to obtain an alternative proof of the existence of phantom covers of modules. Our approach is inspired by an extension of the standard deconstructibility techniques used in Approximation Theory.
△ Less
Submitted 4 August, 2013; v1 submitted 28 July, 2013;
originally announced July 2013.
-
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.
-
The Derived Category of quasi-coherent sheaves on an Artin stack via model structures
Authors:
Sergio Estrada
Abstract:
We define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.
We define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.
△ Less
Submitted 26 March, 2013;
originally announced March 2013.
-
Gorenstein injective precovers, covers, and envelopes
Authors:
Edgar Enochs,
Sergio Estrada,
Alina Iacob
Abstract:
We give a sufficient condition for the class of Gorenstein injective modules be precovering: if $R$ is right noetherian and if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed under filtrations, then $\mathcal{GI}$ is precovering in $R-Mod$. The converse is also true when we assume that $\mathcal{GI}$ is covering.
We extend our results to the category of complexes. We prove t…
▽ More
We give a sufficient condition for the class of Gorenstein injective modules be precovering: if $R$ is right noetherian and if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed under filtrations, then $\mathcal{GI}$ is precovering in $R-Mod$. The converse is also true when we assume that $\mathcal{GI}$ is covering.
We extend our results to the category of complexes. We prove that if the class of Gorenstein injective modules is closed under filtrations then the class of Gorenstein injective complexes is precovering in $Ch(R)$. We also give a sufficient condition for the existence of Gorenstein injective covers. We prove that if the ring $R$ is commutative noetherian and such that the character modules of Gorenstein injective modules are Gorenstein flat, then the class of Gorenstein injective complexes is covering. And we prove that over such rings every complex also has a Gorenstein injective envelope. In particular this is the case when the ring is commutative noetherian with a dualizing complex.
The second part of the paper deals with Gorenstein projective and flat complexes. We prove that over commutative noetherian rings of finite Krull dimension every complex of $R$-modules has a special Gorenstein projective precover.
△ Less
Submitted 23 January, 2013;
originally announced January 2013.
-
Locally finitely presented categories with no flat objects
Authors:
Sergio Estrada,
Manuel Saorin
Abstract:
If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard definition of flatness in $Qcoh(X)$ from the stalks. So it makes sense to wonder the relationship (if any) between these two notions. In this paper we show that…
▽ More
If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard definition of flatness in $Qcoh(X)$ from the stalks. So it makes sense to wonder the relationship (if any) between these two notions. In this paper we show that there are plenty of locally finitely presented categories having no other categorical flats than the zero object. As particular instance, we show that $Qcoh(\mathbf{P}^n(R)))$ has no other categorical flat objects than zero, where $R$ is any commutative ring.
△ Less
Submitted 25 April, 2012;
originally announced April 2012.
-
Cartesian modules in small categories
Authors:
E. Enochs,
S. Estrada
Abstract:
In this note we extend the main results of [E. Enochs and S. Estrada, Relative homological algebra in the category of quasi-coherent sheaves. Adv. in Math. 194(2005), 284-295] to the category of cartesian modules over a flat presheaf of rings and on an arbitrary small category. This provides with new applications of that paper to the categories of quasi-coherent sheaves on an Artin stack or on a D…
▽ More
In this note we extend the main results of [E. Enochs and S. Estrada, Relative homological algebra in the category of quasi-coherent sheaves. Adv. in Math. 194(2005), 284-295] to the category of cartesian modules over a flat presheaf of rings and on an arbitrary small category. This provides with new applications of that paper to the categories of quasi-coherent sheaves on an Artin stack or on a Deligne-Mumford stack.
△ Less
Submitted 26 March, 2012;
originally announced March 2012.
-
Transfinite tree quivers and their representations
Authors:
E. Enochs,
S. Estrada,
S. Özdemir
Abstract:
The idea of "vertex at the infinity" naturally appears when studying indecomposable injective representations of tree quivers. In this paper we formalize this behavior and find the structure of all the indecomposable injective representations of a tree quiver of size an arbitrary cardinal $κ$. As a consequence the structure of injective representations of noetherian $κ$-trees is completely determi…
▽ More
The idea of "vertex at the infinity" naturally appears when studying indecomposable injective representations of tree quivers. In this paper we formalize this behavior and find the structure of all the indecomposable injective representations of a tree quiver of size an arbitrary cardinal $κ$. As a consequence the structure of injective representations of noetherian $κ$-trees is completely determined. In the second part we will consider the problem whether arbitrary trees are source injective representation quivers or not.
△ Less
Submitted 11 January, 2012;
originally announced January 2012.
-
Descent of restricted flat Mittag-Leffler modules and generalized vector bundles
Authors:
Sergio Estrada,
Pedro A. Guil Asensio,
Jan Trlifaj
Abstract:
A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module property: for (infinite dimensional) vector bundles and Drinfeld vector bundles, it was proved by Kaplansky's technique of dévissage already in \cite[II.\S3]{RG}…
▽ More
A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module property: for (infinite dimensional) vector bundles and Drinfeld vector bundles, it was proved by Kaplansky's technique of dévissage already in \cite[II.\S3]{RG}. Since vector bundles coincide with $\aleph_0$-restricted Drinfeld vector bundles, a question arose in \cite{EGPT} of whether locality holds for $κ$-restricted Drinfeld vector bundles for each infinite cardinal $κ$. We give a positive answer here by replacing the d\' evissage with its recent refinement involving $\mathcal C$-filtrations and the Hill Lemma.
△ Less
Submitted 24 October, 2011;
originally announced October 2011.
-
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.
-
Balance with Unbounded Complexes
Authors:
Edgar E. Enochs,
Sergio Estrada,
Alina Iacob
Abstract:
Given a double complex $X$ there are spectral sequences with the $E_2$ terms being either H$_I$ (H$_{II}(X))$ or H$_{II}($H$_I (X))$. But if $H_I(X)=H_{II}(X)=0$ both spectral sequences have all their terms 0. This can happen even though there is nonzero (co)homology of interest associated with $X$. This is frequently the case when dealing with Tate (co)homology. So in this situation the spectral…
▽ More
Given a double complex $X$ there are spectral sequences with the $E_2$ terms being either H$_I$ (H$_{II}(X))$ or H$_{II}($H$_I (X))$. But if $H_I(X)=H_{II}(X)=0$ both spectral sequences have all their terms 0. This can happen even though there is nonzero (co)homology of interest associated with $X$. This is frequently the case when dealing with Tate (co)homology. So in this situation the spectral sequences may not give any information about the (co)homology of interest. In this article we give a different way of constructing homology groups of $X$ when H$_I(X)=$H$_{II}(X)=0$. With this result we give a new and elementary proof of balance of Tate homology and cohomology.
△ Less
Submitted 4 August, 2011;
originally announced August 2011.
-
Relative homological algebra in categories of representations of infinite quivers
Authors:
Sergio Estrada,
Salahattin Özdemir
Abstract:
In the first part of this paper, we prove the existence of torsion free covers in the category of representations of quivers, $(Q,R-Mod)$, for a wide class of quivers included in the class of the so-called source injective representation quivers provided that any direct sum of torsion free and injective $R$-modules is injective. In the second part, we prove the existence of $\mathscr{F}_{cw}$-cove…
▽ More
In the first part of this paper, we prove the existence of torsion free covers in the category of representations of quivers, $(Q,R-Mod)$, for a wide class of quivers included in the class of the so-called source injective representation quivers provided that any direct sum of torsion free and injective $R$-modules is injective. In the second part, we prove the existence of $\mathscr{F}_{cw}$-covers and $\mathscr{F}_{cw}^{\perp}$-envelopes for any quiver $Q$ and any ring $R$ with unity, where $\mathscr{F}_{cw}$ is the class of all "componentwise" flat representations of $Q$.
△ Less
Submitted 1 September, 2010;
originally announced September 2010.