Flat quasi-coherent sheaves as direct limits, and quasi-coherent cotorsion periodicity

L Positselski, J Stovicek - arXiv preprint arXiv:2212.09639, 2022 - arxiv.org
We show that every flat quasi-coherent sheaf on a quasi-compact quasi-separated scheme
is a directed colimit of locally countably presentable flat quasi-coherent sheaves. More …

Locally coherent exact categories

L Positselski - arXiv preprint arXiv:2311.02418, 2023 - arxiv.org
A locally coherent exact category is a finitely accessible additive category endowed with an
exact structure in which the admissible short exact sequences are the directed colimits of the …

Generalized periodicity theorems

L Positselski - arXiv preprint arXiv:2301.00708, 2023 - arxiv.org
Let $ R $ be a ring and $\mathsf S $ be a class of strongly finitely presented (FP ${} _\infty $)
$ R $-modules closed under extensions, direct summands, and syzygies. Let $(\mathsf …

Philosophy of contraherent cosheaves

L Positselski - arXiv preprint arXiv:2311.14179, 2023 - arxiv.org
Contraherent cosheaves are module objects over algebraic varieties defined by gluing
using the colocalization functors. Contraherent cosheaves are designed to be used for …

One-sided Gorenstein rings

LW Christensen, S Estrada, L Liang… - Forum …, 2024 - degruyter.com
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 …

Local, colocal, and antilocal properties of modules and complexes over commutative rings

L Positselski - Journal of Algebra, 2024 - Elsevier
This paper is a commutative algebra introduction to the homological theory of quasi-
coherent sheaves and contraherent cosheaves over quasi-compact semi-separated …

Gorenstein projective precovers and finitely presented modules

S Estrada, A Iacob - arXiv preprint arXiv:2303.00213, 2023 - arxiv.org
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 …