Showing 1–50 of 81 results for author: Positselski, L

On pure monomorphisms and pure epimorphisms in accessible categories

Authors: Leonid Positselski

Abstract: In all $κ$-accessible additive categories, $κ$-pure monomorphisms and $κ$-pure epimorphisms are well-behaved, as shown in our previous paper arXiv:2311.02418. This is known to be not always true in $κ$-accessible nonadditive categories. Nevertheless, mild assumptions on a $κ$-accessible category are sufficient to prove good properties of $κ$-pure monomorphisms and $κ$-pure epimorphisms. In particu… ▽ More In all $κ$-accessible additive categories, $κ$-pure monomorphisms and $κ$-pure epimorphisms are well-behaved, as shown in our previous paper arXiv:2311.02418. This is known to be not always true in $κ$-accessible nonadditive categories. Nevertheless, mild assumptions on a $κ$-accessible category are sufficient to prove good properties of $κ$-pure monomorphisms and $κ$-pure epimorphisms. In particular, in a $κ$-accessible category with finite products, all $κ$-pure monomorphisms are $κ$-directed colimits of split monomorphisms, while in a $κ$-accessible category with finite coproducts, all $κ$-pure epimorphisms are $κ$-directed colimits of split epimorphisms. We also discuss what we call Quillen exact classes of monomorphisms and epimorphisms, generalizing the additive concept of one-sided exact category. △ Less

Submitted 25 June, 2025; v1 submitted 16 June, 2025; originally announced June 2025.

Comments: LaTeX 2e with xy-pic; 41 pages, 43 commutative diagrams; v.2: two references added, several misprints corrected, small mistakes corrected in Examples 13.4 and 15.4, new Proposition 1.3 inserted in the preliminaries in order to correct small mistakes in the proofs of Theorems 7.1 and 9.1 (results unchanged)

Torsion modules and differential operators in infinitely many variables

Authors: Leonid Positselski

Abstract: This paper grew out of the author's work on arXiv:2504.18460. Differential operators in the sense of Grothendieck acting between modules over a commutative ring can be interpreted as torsion elements in the bimodule of all operators with respect to the diagonal ideal in the tensor square of the ring. Various notions of torsion modules for an infinitely generated ideal in a commutative ring lead to… ▽ More This paper grew out of the author's work on arXiv:2504.18460. Differential operators in the sense of Grothendieck acting between modules over a commutative ring can be interpreted as torsion elements in the bimodule of all operators with respect to the diagonal ideal in the tensor square of the ring. Various notions of torsion modules for an infinitely generated ideal in a commutative ring lead to various notions of differential operators. We discuss differential operators of transfinite orders and differential operators having no global order at all, but only local orders with respect to specific elements of the ring. Many examples are presented. In particular, we prove that every ordinal can be realized as the order of a differential operator acting on the algebra of polynomials in infinitely many variables over a field. We also discuss extension of differential operators to localizations of rings and modules, and to colocalizations of modules. △ Less

Submitted 2 June, 2025; v1 submitted 12 May, 2025; originally announced May 2025.

Comments: LaTeX 2e with xy-pic; 47 pages, 10 commutative diagrams; v.2: Sections 4 and 5 added, Sections 0.4 and 0.5 added to the Introduction, Lemmas 1.5, 1.7, and 1.11 inserted, former Theorem 3.6 is now Theorem 4.4

Naive co-contra correspondence for $\mathcal D$-modules

Authors: Leonid Positselski

Abstract: We construct a triangulated equivalence between the derived categories of quasi-coherent and contraherent $\mathcal A$-modules for a quasi-coherent quasi-algebra $\mathcal A$ over a quasi-compact semi-separated scheme $X$. The sheaf of rings of differential operators $\mathcal D$ (or fiberwise differential operators for a smooth morphism of schemes) is the thematic example of a quasi-coherent quas… ▽ More We construct a triangulated equivalence between the derived categories of quasi-coherent and contraherent $\mathcal A$-modules for a quasi-coherent quasi-algebra $\mathcal A$ over a quasi-compact semi-separated scheme $X$. The sheaf of rings of differential operators $\mathcal D$ (or fiberwise differential operators for a smooth morphism of schemes) is the thematic example of a quasi-coherent quasi-algebra. △ Less

Submitted 23 June, 2025; v1 submitted 25 April, 2025; originally announced April 2025.

Comments: LaTeX 2e with xy-pic and one mathb symbol; 149 pages, 30 commutative diagrams; v.3: second half of Section 1 rewritten, Appendix A created, new Section 6 added; v.4: second half of Section 1 (starting from Section 1.4) rewritten again based on the new version of arXiv:2505.07739, Appendix A deleted as no longer relevant, parts of its material moved back to Section 1.7; new Section 7 added

Compact generators of the contraderived category of contramodules

Authors: Leonid Positselski, Jan Stovicek

Abstract: We consider the contraderived category of left contramodules over a right linear topological ring $\mathfrak R$ with a countable base of neighborhoods of zero. Equivalently, this is the homotopy category of unbounded complexes of projective left $\mathfrak R$-contramodules. Assuming that the abelian category of discrete right $\mathfrak R$-modules is locally coherent, we show that the contraderive… ▽ More We consider the contraderived category of left contramodules over a right linear topological ring $\mathfrak R$ with a countable base of neighborhoods of zero. Equivalently, this is the homotopy category of unbounded complexes of projective left $\mathfrak R$-contramodules. Assuming that the abelian category of discrete right $\mathfrak R$-modules is locally coherent, we show that the contraderived category of left $\mathfrak R$-contramodules is compactly generated, and describe its full subcategory of compact objects as the opposite category to the bounded derived category of finitely presentable discrete right $\mathfrak R$-modules. Under the same assumptions, we also prove the flat and projective periodicity theorem for $\mathfrak R$-contramodules. △ Less

Submitted 29 December, 2024; originally announced December 2024.

Comments: LaTeX 2e with mathrsfs and xy-pic; 54 pages, 6 commutative diagrams

A contramodule generalization of Neeman's flat and projective module theorem

Authors: Leonid Positselski

Abstract: This paper builds on top of arXiv:2306.02734. We consider a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of open two-sided ideals. The main result is that the homotopy category of projective left $\mathfrak R$-contramodules is equivalent to the derived category of the exact category of flat left $\mathfrak R$-contramodules, and also t… ▽ More This paper builds on top of arXiv:2306.02734. We consider a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of open two-sided ideals. The main result is that the homotopy category of projective left $\mathfrak R$-contramodules is equivalent to the derived category of the exact category of flat left $\mathfrak R$-contramodules, and also to the homotopy category of flat cotorsion left $\mathfrak R$-contramodules. In other words, a complex of flat $\mathfrak R$-contramodules is contraacyclic (in the sense of Becker) if and only if it is an acyclic complex with flat $\mathfrak R$-contramodules of cocycles, and if and only if it is coacyclic as a complex in the exact category of flat $\mathfrak R$-contramodules. These are contramodule generalizations of theorems of Neeman and of Bazzoni, Cortes-Izurdiaga, and Estrada. △ Less

Submitted 11 June, 2025; v1 submitted 20 August, 2024; originally announced August 2024.

Comments: LaTeX 2e, 34 pages; v.2: Remark 5.4 added, new Sections 7-10 inserted; abstract, introduction, and the last section expanded -- the cotorsion and flat cotorsion stories added to the flat and projective stories presented in the first version v1; v.3: a misprint corrected, a reference updated; Remark 8.2, with added references, inserted

Roos axiom holds for quasi-coherent sheaves

Authors: Leonid Positselski

Abstract: Let $X$ be either a quasi-compact semi-separated scheme, or a Noetherian scheme of finite Krull dimension. We show that the Grothendieck abelian category $X{-}\mathsf{Qcoh}$ of quasi-coherent sheaves on $X$ satisfies the Roos axiom $\mathrm{AB}4^*$-$n$: the derived functors of infinite direct product have finite homological dimension in $X{-}\mathsf{Qcoh}$. In each of the two settings, two proofs… ▽ More Let $X$ be either a quasi-compact semi-separated scheme, or a Noetherian scheme of finite Krull dimension. We show that the Grothendieck abelian category $X{-}\mathsf{Qcoh}$ of quasi-coherent sheaves on $X$ satisfies the Roos axiom $\mathrm{AB}4^*$-$n$: the derived functors of infinite direct product have finite homological dimension in $X{-}\mathsf{Qcoh}$. In each of the two settings, two proofs of the main result are given: a more elementary one, based on the Cech coresolution, and a more conceptual one, demonstrating existence of a generator of finite projective dimension in $X{-}\mathsf{Qcoh}$ in the semi-separated case and using the co-contra correspondence (with contraherent cosheaves) in the Noetherian case. The hereditary complete cotorsion pair (very flat quasi-coherent sheaves, contraadjusted quasi-coherent sheaves) in the abelian category $X{-}\mathsf{Qcoh}$ for a quasi-compact semi-separated scheme $X$ is discussed. △ Less

Submitted 20 February, 2025; v1 submitted 18 July, 2024; originally announced July 2024.

Comments: LaTeX 2e, 27 pages; v.2: the first version v1 corresponds to Section 3 of the updated version v2; new Sections 1, 2, and 4 added; v.3: several misprints corrected, references updated

Contraderived categories of CDG-modules

Authors: Leonid Positselski, Jan Stovicek

Abstract: For any CDG-ring $B^\bullet=(B^*,d,h)$, we show that the homotopy category of graded-projective (left) CDG-modules over $B^\bullet$ is equivalent to the quotient category of the homotopy of graded-flat CDG-modules by its full triangulated subcategory of flat CDG-modules. The contraderived category (in the sense of Becker) $\mathsf D^{\mathsf{bctr}}(B^\bullet{-}\mathbf{Mod})$ is the common name for… ▽ More For any CDG-ring $B^\bullet=(B^*,d,h)$, we show that the homotopy category of graded-projective (left) CDG-modules over $B^\bullet$ is equivalent to the quotient category of the homotopy of graded-flat CDG-modules by its full triangulated subcategory of flat CDG-modules. The contraderived category (in the sense of Becker) $\mathsf D^{\mathsf{bctr}}(B^\bullet{-}\mathbf{Mod})$ is the common name for these two triangulated categories. We also prove that the classes of cotorsion and graded-cotorsion CDG-modules coincide, and the contraderived category of CDG-modules is equivalent to the homotopy category of graded-flat graded-cotorsion CDG-modules. Assuming the graded ring $B^*$ to be graded right coherent, we show that the contraderived category $\mathsf D^{\mathsf{bctr}}(B^\bullet{-}\mathbf{Mod})$ is compactly generated and its full subcategory of compact objects is anti-equivalent to the full subcategory of compact objects in the coderived category of right CDG-modules $\mathsf D^{\mathsf{bco}}(\mathbf{Mod}{-}B^\bullet)$. Specifically, the latter triangulated category is the idempotent completion of the absolute derived category of finitely presented right CDG-modules $\mathsf D^{\mathsf{abs}}(\mathbf{mod}{-}B^\bullet)$. △ Less

Submitted 29 November, 2024; v1 submitted 13 January, 2024; originally announced January 2024.

Comments: LaTeX 2e with xy-pic and one mathb symbol; 68 pages, 7 commutative diagrams; v.2: former Section 5.4 deleted (and replaced by new Remark 5.6) as no longer necessary due to an improvement in Theorem 2.9, new Remarks 4.8 and 6.11 inserted, the final Section 6.9 expanded with Corollary 6.17 improved and new Remark 6.18 added

The categories of corings and coalgebras over a ring are locally countably presentable

Authors: Leonid Positselski

Abstract: For any commutative ring $R$, we show that the categories of $R$-coalgebras and cocommutative $R$-coalgebras are locally $\aleph_1$-presentable, while the categories of $R$-flat $R$-coalgebras are $\aleph_1$-accessible. Similarly, for any associative ring $R$, the category of $R$-corings is locally $\aleph_1$-presentable, while the category of $R$-$R$-bimodule flat $R$-corings is $\aleph_1$-access… ▽ More For any commutative ring $R$, we show that the categories of $R$-coalgebras and cocommutative $R$-coalgebras are locally $\aleph_1$-presentable, while the categories of $R$-flat $R$-coalgebras are $\aleph_1$-accessible. Similarly, for any associative ring $R$, the category of $R$-corings is locally $\aleph_1$-presentable, while the category of $R$-$R$-bimodule flat $R$-corings is $\aleph_1$-accessible. The cardinality of the ring $R$ can be arbitrarily large. We also discuss $R$-corings with surjective counit and flat kernel. The proofs are straightforward applications of an abstract category-theoretic principle going back to Ulmer. For right or two-sided $R$-module flat $R$-corings, our cardinality estimate for the accessibility rank is not as good. A generalization to comonoid objects in accessible monoidal categories is also considered. △ Less

Submitted 4 June, 2025; v1 submitted 5 January, 2024; originally announced January 2024.

Comments: LaTeX 2e with xy-pic; 25 pages, 6 commutative diagrams; v.4: new Section 2 inserted; v.5: two paragraphs moved from the proof of Theorem 3.2 to the proof of Theorem 2.1, details added in the proof of Lemma 3.1, explanations added in the proof of Theorem 2.1; v.6: several misprints corrected; v.7: small things corrected, a paragraph inserted at the end of the proof of Lemma 3.1

Resolutions as directed colimits

Authors: Leonid Positselski

Abstract: A general principle suggests that "anything flat is a directed colimit of countably presentable flats". In this paper, we consider resolutions and coresolutions of modules over a countably coherent ring $R$ (e.g., any coherent ring or any countably Noetherian ring). We show that any $R$-module of flat dimension $n$ is a directed colimit of countably presentable $R$-modules of flat dimension at mos… ▽ More A general principle suggests that "anything flat is a directed colimit of countably presentable flats". In this paper, we consider resolutions and coresolutions of modules over a countably coherent ring $R$ (e.g., any coherent ring or any countably Noetherian ring). We show that any $R$-module of flat dimension $n$ is a directed colimit of countably presentable $R$-modules of flat dimension at most $n$, and any flatly coresolved $R$-module is a directed colimit of countably presentable flatly coresolved $R$-modules. If $R$ is a countably coherent ring with a dualizing complex, then any F-totally acyclic complex of flat $R$-modules is a directed colimit of F-totally acyclic complexes of countably presentable flat $R$-modules. The proofs are applications of an even more general category-theoretic principle going back to an unpublished 1977 preprint of Ulmer. Our proof of the assertion that every Gorenstein-flat module over a countably coherent ring is a directed colimit of countably presentable Gorenstein-flat modules uses a different technique, based on results of Saroch and Stovicek. We also discuss totally acyclic complexes of injectives and Gorenstein-injective modules, obtaining various cardinality estimates for the accessibility rank under various assumptions. △ Less

Submitted 19 June, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: LaTeX 2e, 37 pages; v.2: several misprints corrected, references added and updated; v.3: small additions and corrections; v.4: small corrections, references updated

Philosophy of contraherent cosheaves

Authors: Leonid Positselski

Abstract: Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the purposes of Koszul duality and semi-infinite algebraic geometry. One major technical problem associated with contraherent cosheaves is that the colocalization functor… ▽ More Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the purposes of Koszul duality and semi-infinite algebraic geometry. One major technical problem associated with contraherent cosheaves is that the colocalization functors, unlike the localizations, are not exact. The reason is that, given a commutative ring homomorphism $R\rightarrow S$ arising in connection with a typical covering in algebraic geometry, the ring $S$ is usually a flat, but not a projective $R$-module. We argue that the relevant difference between projective and flat modules, from the standpoint of homological algebra, is not that big, as manifested by the flat/projective and cotorsion periodicity theorems. The difference becomes even smaller if one observes that the ring $S$ is often a very flat $R$-module. △ Less

Submitted 9 April, 2024; v1 submitted 23 November, 2023; originally announced November 2023.

Comments: LaTeX 2e, 65 pages; v.2: small corrections and additions, references added and updated, Section 7.9 expanded, paragraph inserted in Section 3.2; v.3: misprints in Lemma 7.27 corrected

Locally coherent exact categories

Authors: Leonid Positselski

Abstract: 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 admissible short exact sequences of finitely presentable objects. We show that any exact structure on a small idempotent-complete additive category extends uniquely to a locally coherent exact structure on the catego… ▽ More 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 admissible short exact sequences of finitely presentable objects. We show that any exact structure on a small idempotent-complete additive category extends uniquely to a locally coherent exact structure on the category of ind-objects; in particular, any finitely accessible category has the unique maximal and the unique minimal locally coherent exact category structures. All locally coherent exact categories are of Grothendieck type in the sense of Stovicek. We also discuss the canonical embedding of a small exact category into the abelian category of additive sheaves in connection with the locally coherent exact structure on the ind-objects, and deduce two periodicity theorems as applications. △ Less

Submitted 30 July, 2024; v1 submitted 4 November, 2023; originally announced November 2023.

Comments: LaTeX 2e with xy-pic; 34 pages, 21 commutative diagrams; v.2: small additions and corrections, references updated, Remark 1.3 inserted; v.3: Section 5 expanded, small things corrected, references updated; v.4: small things corrected, three paragraphs inserted in the beginning of the proof of Proposition 2.5

Journal ref: Appl. Categor. Struct. 32 #4 (2024), article no.20, 30 pp

Notes on limits of accessible categories

Authors: Leonid Positselski

Abstract: Let $κ$ be a regular cardinal, $λ<κ$ be a smaller infinite cardinal, and $\mathsf K$ be a $κ$-accessible category where colimits of $λ$-indexed chains exist. We show that various category-theoretic constructions applied to $\mathsf K$, such as the inserter and the equifier, produce $κ$-accessible categories $\mathsf E$ again, and the most obvious expected description of the full subcategory of… ▽ More Let $κ$ be a regular cardinal, $λ<κ$ be a smaller infinite cardinal, and $\mathsf K$ be a $κ$-accessible category where colimits of $λ$-indexed chains exist. We show that various category-theoretic constructions applied to $\mathsf K$, such as the inserter and the equifier, produce $κ$-accessible categories $\mathsf E$ again, and the most obvious expected description of the full subcategory of $κ$-presentable objects in $\mathsf E$ in terms of $κ$-presentable objects in $\mathsf K$ holds true. In particular, if $\mathsf C$ is a $κ$-small category, then the category of functors $\mathsf C\rightarrow\mathsf K$ is $κ$-accessible, and its $κ$-presentable objects are precisely all the functors from $\mathsf C$ to the $κ$-presentable objects of $\mathsf K$. We proceed to discuss the preservation of $κ$-accessibility by conical pseudolimits, lax and oplax limits, and weighted pseudolimits. The results of this paper go back to an unpublished 1977 preprint of Ulmer. Our motivation comes from the theory of flat modules and flat quasi-coherent sheaves. △ Less

Submitted 10 April, 2024; v1 submitted 25 October, 2023; originally announced October 2023.

Comments: LaTeX 2e with xy-pic; 35 pages, 40 commutative diagrams; v.2: new Sections 0.6 and 7-9 inserted, Remark 10.8 inserted, proof of Proposition 4.2 expanded, references added; v.3: reference [26] added

Journal ref: Cahiers de topol. et geom. diff. categoriques LXV, #4, p.390-437, 2024

Semialgebras associated with nonunital algebras and $k$-linear subcategories

Authors: Leonid Positselski

Abstract: This paper is a sequel to arXiv:2307.13358 and arXiv:2308.16090. A construction associating a semialgebra with an algebra, subalgebra, and a coalgebra dual to the subalgebra played a central role in the author's book arXiv:0708.3398. In this paper, we extend this construction to certain nonunital algebras. The resulting semialgebra is still semiunital over a counital coalgebra. In particular, we a… ▽ More This paper is a sequel to arXiv:2307.13358 and arXiv:2308.16090. A construction associating a semialgebra with an algebra, subalgebra, and a coalgebra dual to the subalgebra played a central role in the author's book arXiv:0708.3398. In this paper, we extend this construction to certain nonunital algebras. The resulting semialgebra is still semiunital over a counital coalgebra. In particular, we associate semialgebras to locally finite subcategories in $k$-linear categories. Examples include the Temperley-Lieb and Brauer diagram categories and the Reedy category of simplices in a simplicial set. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Comments: LaTeX 2e with xy-pic; 60 pages, 9 diagrams

Tensor-Hom formalism for modules over nonunital rings

Authors: Leonid Positselski

Abstract: We say that a ring $R$ is t-unital if the natural map $R\otimes_RR\rightarrow R$ is an isomorphism, and a left $R$-module $P$ is c-unital if the natural map $P\rightarrow\operatorname{Hom}_R(R,P)$ is an isomorphism. For a t-unital ring $R$, the category of t-unital left $R$-modules is a unital left module category over an associative, unital monoidal category of t-unital $R$-$R$-bimodules, while t… ▽ More We say that a ring $R$ is t-unital if the natural map $R\otimes_RR\rightarrow R$ is an isomorphism, and a left $R$-module $P$ is c-unital if the natural map $P\rightarrow\operatorname{Hom}_R(R,P)$ is an isomorphism. For a t-unital ring $R$, the category of t-unital left $R$-modules is a unital left module category over an associative, unital monoidal category of t-unital $R$-$R$-bimodules, while the category of c-unital left $R$-modules is opposite to a unital right module category over the same monoidal category. Any left s-unital ring $R$, as defined by Tominaga in 1975, is t-unital; and a left $R$-module is s-unital if and only if it is t-unital. For any (nonunital) ring $R$, the full subcategory of s-unital $R$-modules is a hereditary torsion class in the category of nonunital $R$-modules; and for rings $R$ arising from small preadditive categories, the full subcategory of c-unital $R$-modules is closed under kernels and cokernels. However, over a t-unital ring $R$, the full subcategory of t-unital modules need not be closed under kernels, and the full subcategory of c-unital modules need not be closed under cokernels in the category of nonunital modules. Nevertheless, the categories of t-unital and c-unital left $R$-modules are abelian and naturally equivalent to each other; they are also equivalent to the quotient category of the abelian category of nonunital modules by the Serre subcategory of modules with zero action of $R$. This is a particular case of the result from a 1996 manuscript of Quillen. We also discuss related flatness, projectivity, and injectivity properties; and study the behavior of t-unitality and c-unitality under the restriction of scalars for a homomorphism of nonunital rings. Our motivation comes from the theory of semialgebras over coalgebras over fields. △ Less

Submitted 4 October, 2023; v1 submitted 30 August, 2023; originally announced August 2023.

Comments: LaTeX 2e with xy-pic; 41 pages, 8 commutative diagrams; v.2: a reference added to the effect that Theorem 2.6 is due to Tominaga; Remark 1.8, Example 2.11, and Section 5 added; v.3: abstract rewritten, order of sections rearranged, new Example 4.2 inserted, new Sections 5, 7, and 8 added, many references to Quillen's manuscript added; v.4: explanations added in Section 5; new Section 9 added

Comodules and contramodules over coalgebras associated with locally finite categories

Authors: Leonid Positselski

Abstract: We explain how to attach a coalgebra $\mathcal C$ over a field $k$ to a small $k$-linear category $\mathsf E$ satisfying suitable finiteness conditions. In this context, we study full-and-faithfulness of the contramodule forgetful functor, and describe explicitly the categories of locally finite left $\mathcal C$-comodules and left $\mathcal C$-contramodules as certain full subcategories of the ca… ▽ More We explain how to attach a coalgebra $\mathcal C$ over a field $k$ to a small $k$-linear category $\mathsf E$ satisfying suitable finiteness conditions. In this context, we study full-and-faithfulness of the contramodule forgetful functor, and describe explicitly the categories of locally finite left $\mathcal C$-comodules and left $\mathcal C$-contramodules as certain full subcategories of the category of left $\mathsf E$-modules. △ Less

Submitted 11 October, 2023; v1 submitted 25 July, 2023; originally announced July 2023.

Comments: LaTeX 2e with xy-pic; 35 pages, 1 commutative diagram; v.2: Question 4.12 added, new Section 6 inserted; v.3: misprints corrected, proof of Theorem 3.7 reworked with Lemma 3.8 created, a paragraph inserted in the introduction, Examples 7.6 added at the end

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Authors: Leonid Positselski

Abstract: This paper is a follow-up to arXiv:2212.09639. We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-sided ideals. These correspond to two (noncommutative) algebraic geometry settings of certain kind of stacks and ind-affine ind-schemes. In the context of a coring $\mathcal C$ over a noncommutative ring $A$, we show tha… ▽ More This paper is a follow-up to arXiv:2212.09639. We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-sided ideals. These correspond to two (noncommutative) algebraic geometry settings of certain kind of stacks and ind-affine ind-schemes. In the context of a coring $\mathcal C$ over a noncommutative ring $A$, we show that all $A$-flat $\mathcal C$-comodules are $\aleph_1$-directed colimits of $A$-countably presentable $A$-flat $\mathcal C$-comodules. In the context of a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of two-sided ideals, we prove that all flat $\mathfrak R$-contramodules are $\aleph_1$-directed colimits of countably presentable flat $\mathfrak R$-contramodules. We also describe arbitrary complexes, short exact sequences, and pure acyclic complexes of $A$-flat $\mathcal C$-comodules and flat $\mathfrak R$-contramodules as $\aleph_1$-directed colimits of similar complexes of countably presentable objects. The arguments are based on a very general category-theoretic technique going back to an unpublished 1977 preprint of Ulmer and rediscovered in arXiv:2310.16773. Applications to cotorsion periodicity and coderived categories of flat objects in the respective settings are discussed. In particular, in any acyclic complex of cotorsion $\mathfrak R$-contramodules, all the contramodules of cocycles are cotorsion. △ Less

Submitted 9 October, 2024; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: Latex 2e with xy-pic; 44 pages, 1 commutative diagram; v.2: Sections 7-13 (about contramodules) added; v.3: Sections 3, 4, 10, and 11 completely rewritten based on arXiv:2310.16773, former Section 2 replaced by new Section 1, Remarks 3.2 and 10.3 added, the paper became much shorter with more results; v.4-v.5: small things corrected, references added and updated; v.6: several misprints corrected

Journal ref: Journ. Homotopy Related Struct. 19, #4, p.635-678, 2024

A bounded below, noncontractible, acyclic complex of projective modules

Authors: Leonid Positselski

Abstract: We construct examples of bounded below, noncontractible, acyclic complexes of finitely generated projective modules over some rings $S$, as well as bounded above, noncontractible, acyclic complexes of injective modules. The rings $S$ are certain rings of infinite matrices with entries in the rings of commutative polynomials or formal power series in infinitely many variables. In the world of comod… ▽ More We construct examples of bounded below, noncontractible, acyclic complexes of finitely generated projective modules over some rings $S$, as well as bounded above, noncontractible, acyclic complexes of injective modules. The rings $S$ are certain rings of infinite matrices with entries in the rings of commutative polynomials or formal power series in infinitely many variables. In the world of comodules or contramodules over coalgebras over fields, similar examples exist over the cocommutative symmetric coalgebra of an infinite-dimensional vector space. A simpler, universal example of a bounded below, noncontractible, acyclic complex of free modules with one generator, communicated to the author by Canonaco, is included at the end of the paper. △ Less

Submitted 13 March, 2024; v1 submitted 18 May, 2023; originally announced May 2023.

Comments: LaTeX 2e, 20 pages; v.2: Example 8.4 added; v.3: several misprints corrected; v.4: several more misprints corrected

Journal ref: Acta Math. Hungarica 172 (2024), #2, p.324-345

Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

Authors: Leonid Positselski

Abstract: In this paper we consider a conilpotent coalgebra $C$ over a field $k$. Let $Υ\colon C\textsf{-Comod}\longrightarrow C^*\textsf{-Mod}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $Θ\colon C\textsf{-Contra}\longrightarrow C^*\textsf{-Mod}$ be the natural forgetful functor. We prove that the functor $Υ$ induces a fully faithful tri… ▽ More In this paper we consider a conilpotent coalgebra $C$ over a field $k$. Let $Υ\colon C\textsf{-Comod}\longrightarrow C^*\textsf{-Mod}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $Θ\colon C\textsf{-Contra}\longrightarrow C^*\textsf{-Mod}$ be the natural forgetful functor. We prove that the functor $Υ$ induces a fully faithful triangulated functor on bounded (below) derived categories if and only if the functor $Θ$ induces a fully faithful triangulated functor on bounded (above) derived categories, and if and only if the $k$-vector space $\operatorname{Ext}_C^n(k,k)$ is finite-dimensional for all $n\ge0$. We call such coalgebras "weakly finitely Koszul". △ Less

Submitted 21 May, 2025; v1 submitted 23 January, 2023; originally announced January 2023.

Comments: LaTeX 2e with xy-pic; 44 pages, 3 commutative diagrams; v.2: Lemma 3.2 and Proposition 3.3 added, Sections 8-10 added, category-theoretic lemmas from Sections 4-7 moved to Appendix; v.3: Remark 8.2 inserted, references added and updated, several misprints corrected; v.4: several misprints corrected, the numbering of sections shifted to agree with the journal version

Generalized periodicity theorems

Authors: Leonid Positselski

Abstract: 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 A,\mathsf B)$ be the (hereditary complete) cotorsion pair generated by $\mathsf S$ in $\textsf{Mod-}R$, and let $(\mathsf C,\mathsf D)$ be the (also hereditary complete) cotorsion pair in which… ▽ More 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 A,\mathsf B)$ be the (hereditary complete) cotorsion pair generated by $\mathsf S$ in $\textsf{Mod-}R$, and let $(\mathsf C,\mathsf D)$ be the (also hereditary complete) cotorsion pair in which $\mathsf C=\varinjlim\mathsf A=\varinjlim\mathsf S$. We show that any $\mathsf A$-periodic module in $\mathsf C$ belongs to $\mathsf A$, and any $\mathsf D$-periodic module in $\mathsf B$ belongs to $\mathsf D$. Further generalizations of both results are obtained, so that we get a common generalization of the flat/projective and fp-projective periodicity theorems, as well as a common generalization of the fp-injective/injective and cotorsion periodicity theorems. Both are applicable to modules over an arbitrary ring, and in fact, to Grothendieck categories. △ Less

Submitted 7 May, 2025; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: LaTeX 2e with with xy-pic; 42 pages, 3 commutative diagrams; v.5: new Propositions 5.2 and 6.2 inserted, Propositions 3.1 and 6.1 made more general, Propositions 5.3, 6.3 and 6.4 (former 5.2, 6.2 and 6.5) rewritten; v.6: the proof of Proposition 6.2 spelled out in more detail; v.7: several misprints corrected

Journal ref: Journ. Pure Appl. Algebra 229 no.7 (2025), 107962, 33 pp

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

Authors: Leonid Positselski

Abstract: This paper is a commutative algebra introduction to the homological theory of quasi-coherent sheaves and contraherent cosheaves over quasi-compact semi-separated schemes. Antilocality is an alternative way in which global properties are locally controlled in a finite affine open covering. For example, injectivity of modules over non-Noetherian commutative rings is not preserved by localizations, w… ▽ More This paper is a commutative algebra introduction to the homological theory of quasi-coherent sheaves and contraherent cosheaves over quasi-compact semi-separated schemes. Antilocality is an alternative way in which global properties are locally controlled in a finite affine open covering. For example, injectivity of modules over non-Noetherian commutative rings is not preserved by localizations, while homotopy injectivity of complexes of modules is not preserved by localizations even for Noetherian rings. The latter also applies to the contraadjustedness and cotorsion properties. All the mentioned properties of modules or complexes over commutative rings are actually antilocal. They are also colocal, if one presumes contraadjustedness. Generally, if the left class in a (hereditary complete) cotorsion theory for modules or complexes of modules over commutative rings is local and preserved by direct images with respect to affine open immersions, then the right class is antilocal. If the right class in a cotorsion theory for contraadjusted modules or complexes of contraadjusted modules is colocal and preserved by such direct images, then the left class is antilocal. As further examples, the class of flat contraadjusted modules is antilocal, and so are the classes of acyclic, Becker-coacyclic, or Becker-contraacyclic complexes of contraadjusted modules. The same applies to the classes of homotopy flat complexes of flat contraadjusted modules and acyclic complexes of flat contraadjusted modules with flat modules of cocycles. △ Less

Submitted 23 February, 2024; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: LaTeX 2e with xy-pic; 53 pages, 9 commutative diagrams; v.2: new Lemmas 1.5 and 1.6 inserted, Sections 6 and 7 greatly expanded with lots of new examples (also three propositions, one corollary, one remark) added; v.3: some references corrected, new Example 7.11 inserted; v.4: misprints corrected, references updated, two references added; v.5: several misprints corrected

Journal ref: Journ. of Algebra 646 (2024), p.100-155

Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion periodicity

Authors: Leonid Positselski, Jan Stovicek

Abstract: 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 generally, the same assertion holds for any countably quasi-compact, countably quasi-separated scheme. Moreover, for three categories of complexes of flat quasi-coherent sheaves, we show that all complexes in the category ca… ▽ More 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 generally, the same assertion holds for any countably quasi-compact, countably quasi-separated scheme. Moreover, for three categories of complexes of flat quasi-coherent sheaves, we show that all complexes in the category can be obtained as directed colimits of complexes of locally countably presentable flat quasi-coherent sheaves from the same category. In particular, on a quasi-compact semi-separated scheme, every flat quasi-coherent sheaf is a directed colimit of flat quasi-coherent sheaves of finite projective dimension. In the second part of the paper, we discuss cotorsion periodicity in category-theoretic context, generalizing an argument of Bazzoni, Cortes-Izurdiaga, and Estrada. As the main application, we deduce the assertion that any cotorsion-periodic quasi-coherent sheaf on a quasi-compact semi-separated scheme is cotorsion. △ Less

Submitted 10 December, 2024; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: LaTeX 2e with xy-pic; 31 pages, 2 commutative diagrams; v.2: Sections 1-2 completely rewritten and replaced with new Sections 1-4; v.3: new Remarks 2.3 and 3.6 inserted, the proof of Lemma 6.5 expanded, Remark 9.3 rewritten, references added and updated; v.4: several misprints corrected, references updated, the numbering of sections shifted to agree with the journal version

Journal ref: Algebras and Represent. Theory 27 (2024), #6, p.2267-2293

Fp-projective periodicity

Authors: Silvana Bazzoni, Michal Hrbek, Leonid Positselski

Abstract: The phenomenon of periodicity, discovered by Benson and Goodearl, is linked to the behavior of the objects of cocycles in acyclic complexes. It is known that any flat $\mathsf{Proj}$-periodic module is projective, any fp-injective $\mathsf{Inj}$-periodic module is injective, and any $\mathsf{Cot}$-periodic module is cotorsion. It is also known that any pure $\mathsf{PProj}$-periodic module is pure… ▽ More The phenomenon of periodicity, discovered by Benson and Goodearl, is linked to the behavior of the objects of cocycles in acyclic complexes. It is known that any flat $\mathsf{Proj}$-periodic module is projective, any fp-injective $\mathsf{Inj}$-periodic module is injective, and any $\mathsf{Cot}$-periodic module is cotorsion. It is also known that any pure $\mathsf{PProj}$-periodic module is pure-projective and any pure $\mathsf{PInj}$-periodic module is pure-injective. Generalizing a result of Saroch and Stovicek, we show that every $\mathsf{FpProj}$-periodic module is weakly fp-projective. The proof is quite elementary, using only a strong form of the pure-projective periodicity and the Hill lemma. More generally, we prove that, in a locally finitely presentable Grothendieck category, every $\mathsf{FpProj}$-periodic object is weakly fp-projective. In a locally coherent category, all weakly fp-projective objects are fp-projective. We also present counterexamples showing that a non-pure $\mathsf{PProj}$-periodic module over a regular finitely generated commutative algebra (or a hereditary finite-dimensional associative algebra) over a field need not be pure-projective. △ Less

Submitted 22 August, 2023; v1 submitted 5 December, 2022; originally announced December 2022.

Comments: LaTeX 2e, 30 pages; v.2: Remark 4.11 and Example 6.9 inserted; v.3: end of Section 0.2, proof of Theorem 4.2, and Example 6.9 expanded; v.4: small corrections

Journal ref: Journ. Pure Appl. Algebra 228 no.3 (2024), 107497, 24 pp

Coderived and contraderived categories of locally presentable abelian DG-categories

Authors: Leonid Positselski, Jan Stovicek

Abstract: The concept of an abelian DG-category, introduced by the first-named author in arXiv:2110.08237, unites the notions of abelian categories and (curved) DG-modules in a common framework. In this paper we consider coderived and contraderived categories in the sense of Becker. Generalizing some constructions and results from the preceding papers by Becker arXiv:1205.4473 and by the present authors arX… ▽ More The concept of an abelian DG-category, introduced by the first-named author in arXiv:2110.08237, unites the notions of abelian categories and (curved) DG-modules in a common framework. In this paper we consider coderived and contraderived categories in the sense of Becker. Generalizing some constructions and results from the preceding papers by Becker arXiv:1205.4473 and by the present authors arXiv:2101.10797, we define the contraderived category of a locally presentable abelian DG-category $\mathbf B$ with enough projective objects and the coderived category of a Grothendieck abelian DG-category $\mathbf A$. We construct the related abelian model category structures and show that the resulting exotic derived categories are well-generated. Then we specialize to the case of a locally coherent Grothendieck abelian DG-category $\mathbf A$, and prove that its coderived category is compactly generated by the absolute derived category of finitely presentable objects of $\mathbf A$, thus generalizing a result from the second-named author's preprint arXiv:1412.1615. In particular, the homotopy category of graded-injective left DG-modules over a DG-ring with a left coherent underlying graded ring is compactly generated by the absolute derived category of DG-modules with finitely presentable underlying graded modules. We also describe compact generators of the coderived categories of quasi-coherent matrix factorizations over coherent schemes. △ Less

Submitted 6 August, 2024; v1 submitted 15 October, 2022; originally announced October 2022.

Comments: LaTeX 2e with xy-pic and one mathb symbol; 76 pages, 1 figure; v.2: a discussion of quasi-coherent matrix factorizations over coherent schemes added in a new Section 9; new Corollary 0.4, Sections 1.10 and 2.7, Examples 3.15, 6.12, 7.8, 8.8, and 8.10 inserted; a paragraph added at the end of Section 2.1, 4th paragraph of the introduction expanded; v.3: several misprints corrected

Journal ref: Math. Zeitschrift 308 #1 (2024), article no.14, 70 pp

Differential graded Koszul duality: an introductory survey

Authors: Leonid Positselski

Abstract: This is an overview on derived nonhomogeneous Koszul duality over a field, mostly based on the author's memoir arXiv:0905.2621. The paper is intended to serve as a pedagogical introduction and a summary of the covariant duality between DG-algebras and curved DG-coalgebras, as well as the triality between DG-modules, CDG-comodules, and CDG-contramodules. Some personal reminiscences are included as… ▽ More This is an overview on derived nonhomogeneous Koszul duality over a field, mostly based on the author's memoir arXiv:0905.2621. The paper is intended to serve as a pedagogical introduction and a summary of the covariant duality between DG-algebras and curved DG-coalgebras, as well as the triality between DG-modules, CDG-comodules, and CDG-contramodules. Some personal reminiscences are included as a part of historical discussion. △ Less

Submitted 18 January, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: LaTeX 2e with xy-pic, graphicx.sty, and one mathb symbol; 96 pages, 2 commutative diagrams; v.2: Sections 8 and 9 added -- this is intended as a complete version; v.3: new Remark 7.14 inserted, Subsections 4.5 and 9.8 added, other small additions; v.4: Example 2.3, Remark 3.5, and Propositions 3.4, 6.1, and 6.3 inserted; v.5: several misprints corrected, two references updated

Journal ref: Bulletin of the London Math. Society 55 (2023), #4, p.1551-1640

Topologically semiperfect topological rings

Authors: Leonid Positselski, Jan Stovicek

Abstract: We define topologically semiperfect (complete, separated, right linear) topological rings and characterize them by equivalent conditions. We show that the endomorphism ring of a module, endowed with the finite topology, is topologically semiperfect if and only if the module is decomposable as an (infinite) direct sum of modules with local endomorphism rings. Then we study structural properties of… ▽ More We define topologically semiperfect (complete, separated, right linear) topological rings and characterize them by equivalent conditions. We show that the endomorphism ring of a module, endowed with the finite topology, is topologically semiperfect if and only if the module is decomposable as an (infinite) direct sum of modules with local endomorphism rings. Then we study structural properties of topologically semiperfect topological rings and prove that their topological Jacobson radicals are strongly closed and the related topological quotient rings are topologically semisimple. For the endomorphism ring of a direct sum of modules with local endomorphism rings, the topological Jacobson radical is described explicitly as the set of all matrices of nonisomorphisms. Furthermore, we prove that, over a topologically semiperfect topological ring, all finitely generated discrete modules have projective covers in the category of modules, while all lattice-finite contramodules have projective covers in both the categories of modules and contramodules. We also show that the topological Jacobson radical of a topologically semiperfect topological ring is equal to the closure of the abstract Jacobson radical, and present a counterexample demonstrating that the topological Jacobson radical can be strictly larger than the abstract one. Finally, we discuss the problem of lifting idempotents modulo the topological Jacobson radical and the structure of projective contramodules for topologically semiperfect topological rings. △ Less

Submitted 10 July, 2023; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: LaTeX 2e with mathrsfs, xy-pic, and graphicx.sty, 38 pages, 3 commutative diagrams; v.3: references to Gregorio's paper added, new Section 6 inserted, what is now Section 7 reshuffled with Theorem 7.11 obtained as a new result, former Proposition 9.3 is now Proposition 7.10; v.4: small corrections, numbering of sections shifted to agree with the journal version

Journal ref: Algebras and Represent. Theory 27 (2024), #1, p.245-278

Closure properties of $\varinjlim\mathcal C$

Authors: Leonid Positselski, Pavel Prihoda, Jan Trlifaj

Abstract: Let $\mathcal C$ be a class of modules and $\mathcal L = \varinjlim \mathcal C$ the class of all direct limits of modules from $\mathcal C$. The class $\mathcal L$ is well understood when $\mathcal C$ consists of finitely presented modules: $\mathcal L$ then enjoys various closure properties. We study the closure properties of $\mathcal L$ in the general case when… ▽ More Let $\mathcal C$ be a class of modules and $\mathcal L = \varinjlim \mathcal C$ the class of all direct limits of modules from $\mathcal C$. The class $\mathcal L$ is well understood when $\mathcal C$ consists of finitely presented modules: $\mathcal L$ then enjoys various closure properties. We study the closure properties of $\mathcal L$ in the general case when $\mathcal C \subseteq \mathrm{Mod-}R$ is arbitrary. Then we concentrate on two important particular cases, when $\mathcal C = \operatorname{add} M$ and $\mathcal C = \operatorname{Add} M$, for an arbitrary module $M$. In the first case, we prove that $\varinjlim \operatorname{add} M = \{ N \in \mathrm{Mod-} R \mid \exists F \in \mathcal F_S: N \cong F \otimes_S M \}$ where $S = \operatorname{End} M$, and $\mathcal F_S$ is the class of all flat right $S$-modules. In the second case, $\varinjlim \operatorname{Add} M = \{ \mathfrak F \odot _{\mathfrak S} M \mid \mathfrak F \in \mathcal F_{\mathfrak S} \}$ where $\mathfrak S$ is the endomorphism ring of $M$ endowed with the finite topology, $\mathcal F_{\mathfrak S}$ is the class of all right $\mathfrak S$-contramodules that are direct limits of direct systems of projective right $\mathfrak S$-contramodules, and $\odot_{\mathfrak S}$ denotes the contratensor product. For various classes of modules $\mathcal D$, we show that if $M \in \mathcal D$ then $\varinjlim \operatorname{add} M = \varinjlim \operatorname{Add} M$ (e.g., when $\mathcal D$ consists of pure projective modules), but the equality for an arbitrary module $M$ remains open. Finally, we deal with the question of whether $\varinjlim \operatorname{Add} M = \widetilde{\operatorname{Add} M}$ where $\widetilde{\operatorname{Add} M}$ is the class of all pure epimorphic images of direct sums of copies of a module $M$. We show that the answer is positive in several particular cases, but it is negative in general. △ Less

Submitted 20 May, 2022; v1 submitted 25 October, 2021; originally announced October 2021.

Comments: 59 pages; v.2: a new author joined, major improvements and additions in Sections 5 and 6, new Section 8 inserted, related changes in the final section; v.3: small improvements, misprints corrected

Journal ref: Journ. of Algebra 606 (2022), p.30-103

Exact DG-categories and fully faithful triangulated inclusion functors

Authors: Leonid Positselski

Abstract: We construct an "almost involution" assigning a new DG-category to a given one, and use this construction to recover, say, the abelian category of graded modules over the graded ring $R^*$ from the DG-category of DG-modules over a DG-ring $(R^*,d)$. This provides an appropriate technical background for the definition and discussion of abelian and exact DG-categories. In the setting of exact DG-cat… ▽ More We construct an "almost involution" assigning a new DG-category to a given one, and use this construction to recover, say, the abelian category of graded modules over the graded ring $R^*$ from the DG-category of DG-modules over a DG-ring $(R^*,d)$. This provides an appropriate technical background for the definition and discussion of abelian and exact DG-categories. In the setting of exact DG-categories, derived categories of the second kind are defined in the maximal natural generality. We develop the related abstract category-theoretic language and use it to formulate and prove several full-and-faithfulness theorems for triangulated functors induced by the inclusions of fully exact DG-subcategories. Such functors are fully faithful for derived categories of the second kind more often than for the conventional derived categories. Examples and applications range from the categories of complexes in abelian/exact categories to matrix factorization categories, and from curved DG-modules over curved DG-rings to quasi-coherent CDG-modules over quasi-coherent CDG-quasi-algebras over schemes. △ Less

Submitted 13 March, 2025; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: LaTeX 2e with xy-pic, 154 pages, 53 commutative diagrams; v.9: Examples 3.2 and 3.3 expanded, proof of Lemma 6.10(b) partly rewritten, Remark 9.43 inserted; v.10: important improvement in Example 4.19, proof of Lemma 4.13 simplified, explanations and details added here and there, Introduction, Section 1.3, and Remark 4.18 expanded, misprints corrected, references added and updated

Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes

Authors: Leonid Positselski

Abstract: We construct the semi-infinite tensor structure on the semiderived category of quasi-coherent torsion sheaves on an ind-scheme endowed with a flat affine morphism into an ind-Noetherian ind-scheme with a dualizing complex. The semitensor product is "a mixture of" the cotensor product along the base and the derived tensor product along the fibers. The inverse image of the dualizing complex is the u… ▽ More We construct the semi-infinite tensor structure on the semiderived category of quasi-coherent torsion sheaves on an ind-scheme endowed with a flat affine morphism into an ind-Noetherian ind-scheme with a dualizing complex. The semitensor product is "a mixture of" the cotensor product along the base and the derived tensor product along the fibers. The inverse image of the dualizing complex is the unit object. This construction is a partial realization of the Semi-infinite Algebraic Geometry program, as outlined in the introduction to arXiv:1504.00700. △ Less

Submitted 20 September, 2023; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: LaTeX 2e with xy-pic and mathrsfs.sty; 185 pages, 26 commutative diagrams; v.7: improvement in Lemma 5.2(c), Subsections 0.1-0.4 inserted in the Introduction, Appendix added; v.8: Remark 7.6 inserted; v.9: Subsection 11.4, discussing the loop group example, added; v.10: numbering of theorems in the Appendix corrected, no other changes -- the publisher's version is more complete

Journal ref: Birkhauser/Springer Nature, Cham, Switzerland, 2023, xix+216 pp

Derived, coderived, and contraderived categories of locally presentable abelian categories

Authors: Leonid Positselski, Jan Stovicek

Abstract: For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproduc… ▽ More For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\mathsf B$. For a Grothendieck abelian category $\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's principle, we prove that the derived category $\mathsf D(\mathsf A)$ is generated, as a triangulated category with products, by the injective cogenerator of $\mathsf A$. More generally, we define the notion of an exact category with an object size function and prove that the derived category of any such exact category with exact $κ$-directed colimits of chains of admissible monomorphisms has Hom sets. In particular, the derived category of any locally presentable abelian category has Hom sets. △ Less

Submitted 10 September, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: LaTeX 2e with xy-pic; 50 pages, 5 commutative diagrams; v.2: Remarks 6.4 and 9.2 inserted, Introduction expanded, many references added; v.3: several misprints corrected

Journal ref: Journ. Pure Appl. Algebra 226 no.4 (2022), 106883, 39 pp

Exact categories of topological vector spaces with linear topology

Authors: Leonid Positselski

Abstract: We explain why the naive definition of a natural exact category structure on complete, separated topological vector spaces with linear topology fails. In particular, contrary to arXiv:0711.2527, the category of such topological vector spaces is not quasi-abelian. We present a corrected definition of exact category structure which works OK. Then we explain that the corrected definition still has a… ▽ More We explain why the naive definition of a natural exact category structure on complete, separated topological vector spaces with linear topology fails. In particular, contrary to arXiv:0711.2527, the category of such topological vector spaces is not quasi-abelian. We present a corrected definition of exact category structure which works OK. Then we explain that the corrected definition still has a shortcoming in that a natural tensor product functor is not exact in it, and discuss ways to refine the exact category structure so as to make the tensor product functors exact. △ Less

Submitted 9 May, 2024; v1 submitted 30 December, 2020; originally announced December 2020.

Comments: LaTeX 2e with xy-pic; 71 pages, 9 commutative diagrams; v.2: Remark 12.2, Example 13.1(3), and Remark 13.6 inserted; v.3: seven references added; v.4: several misprints corrected, references added and updated, two paragraphs inserted in the Introduction, one in Example 4.1, and one in Section 9; v.5: several misprints corrected

Journal ref: Moscow Math. Journal 24 #2 (2024), p.219-286

Flat commutative ring epimorphisms of almost Krull dimension zero

Authors: Leonid Positselski

Abstract: We consider flat epimorphisms of commutative rings $R\to U$ such that, for every ideal $I\subset R$ for which $IU=U$, the quotient ring $R/I$ is semilocal of Krull dimension zero. Under these assumptions, we show that the projective dimension of the $R$-module $U$ does not exceed $1$. We also describe the Geigle-Lenzing perpendicular subcategory $U^{\perp_{0,1}}$ in $R\mathsf{-Mod}$. Assuming addi… ▽ More We consider flat epimorphisms of commutative rings $R\to U$ such that, for every ideal $I\subset R$ for which $IU=U$, the quotient ring $R/I$ is semilocal of Krull dimension zero. Under these assumptions, we show that the projective dimension of the $R$-module $U$ does not exceed $1$. We also describe the Geigle-Lenzing perpendicular subcategory $U^{\perp_{0,1}}$ in $R\mathsf{-Mod}$. Assuming additionally that the ring $U$ and all the rings $R/I$ are perfect, we show that all flat $R$-modules are $U$-strongly flat. Thus we obtain a generalization of some results of the paper arXiv:1801.04820, where the case of the localization $U=S^{-1}R$ of the ring $R$ at a multiplicative subset $S\subset R$ was considered. △ Less

Submitted 3 December, 2021; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: LaTeX 2e, 17 pages; v.2: small expositional improvements, references updated; v.3: two misprints corrected -- this is intended as the final version

Journal ref: J. of Algebra and its Appl. 22 no.3 (2023), 2350060, 18 pp

An explicit self-dual construction of complete cotorsion pairs in the relative context

Authors: Leonid Positselski

Abstract: Let $R\to A$ be a homomorphism of associative rings, and let $(\mathcal F,\mathcal C)$ be a hereditary complete cotorsion pair in $R\mathsf{-Mod}$. Let $(\mathcal F_A,\mathcal C_A)$ be the cotorsion pair in $A\mathsf{-Mod}$ in which $\mathcal F_A$ is the class of all left $A$-modules whose underlying $R$-modules belong to $\mathcal F$. Assuming that the $\mathcal F$-resolution dimension of every l… ▽ More Let $R\to A$ be a homomorphism of associative rings, and let $(\mathcal F,\mathcal C)$ be a hereditary complete cotorsion pair in $R\mathsf{-Mod}$. Let $(\mathcal F_A,\mathcal C_A)$ be the cotorsion pair in $A\mathsf{-Mod}$ in which $\mathcal F_A$ is the class of all left $A$-modules whose underlying $R$-modules belong to $\mathcal F$. Assuming that the $\mathcal F$-resolution dimension of every left $R$-module is finite and the class $\mathcal F$ is preserved by the coinduction functor $\operatorname{Hom}_R(A,-)$, we show that $\mathcal C_A$ is the class of all direct summands of left $A$-modules finitely (co)filtered by $A$-modules coinduced from $R$-modules from $\mathcal C$. Assuming that the class $\mathcal F$ is closed under countable products and preserved by the functor $\operatorname{Hom}_R(A,-)$, we prove that $\mathcal C_A$ is the class of all direct summands of left $A$-modules cofiltered by $A$-modules coinduced from $R$-modules from $\mathcal C$, with the decreasing filtration indexed by the natural numbers. A combined result, based on the assumption that countable products of modules from $\mathcal F$ have finite $\mathcal F$-resolution dimension bounded by $k$, involves cofiltrations indexed by the ordinal $ω+k$. The dual results also hold, provable by the same technique going back to the author's monograph on semi-infinite homological algebra arXiv:0708.3398. In addition, we discuss the $n$-cotilting and $n$-tilting cotorsion pairs, for which we obtain better results using a suitable version of a classical Bongartz-Ringel lemma. As an illustration of the main results of the paper, we consider certain cotorsion pairs related to the contraderived and coderived categories of curved DG-modules. △ Less

Submitted 17 February, 2023; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: LaTeX 2e with xy-pic; 54 pages, 2 commutative diagrams; v.4: Section 4 added, Introduction expanded; v.5: title changed, Remarks 2.17 and 3.16 inserted, references added; v.6: small expositional improvements and corrections, Proposition 3.28 inserted, references updated; v.7: small things corrected, references updated

Journal ref: Rendiconti Semin. Matem. Univ. Padova 149 (2023), p.191-253

Unbounded derived categories of small and big modules: Is the natural functor fully faithful?

Authors: Leonid Positselski, Olaf M. Schnürer

Abstract: Consider the obvious functor from the unbounded derived category of all finitely generated modules over a left noetherian ring $R$ to the unbounded derived category of all modules. We answer the natural question whether this functor defines an equivalence onto the full subcategory of complexes with finitely generated cohomology modules in two special cases. If $R$ is a quasi-Frobenius ring of infi… ▽ More Consider the obvious functor from the unbounded derived category of all finitely generated modules over a left noetherian ring $R$ to the unbounded derived category of all modules. We answer the natural question whether this functor defines an equivalence onto the full subcategory of complexes with finitely generated cohomology modules in two special cases. If $R$ is a quasi-Frobenius ring of infinite global dimension, then this functor is not full. If $R$ has finite left global dimension, this functor is an equivalence. We also prove variants of the latter assertion for left coherent rings, for noetherian schemes and for locally noetherian Grothendieck categories. △ Less

Submitted 19 March, 2021; v1 submitted 25 March, 2020; originally announced March 2020.

Comments: 23 pages, typo corrected

MSC Class: Primary 18G80; Secondary 16E35; 16L60; 18G20; 18E10

Journal ref: J. Pure Appl. Algebra 225 (2021), no. 11, 106722

Remarks on derived complete modules and complexes

Authors: Leonid Positselski

Abstract: Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and the sequential one. The two definitions are known to be equivalent for a weakly proregular ideal $I$; we show that they are different otherwise. We argue that the… ▽ More Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and the sequential one. The two definitions are known to be equivalent for a weakly proregular ideal $I$; we show that they are different otherwise. We argue that the sequential approach works well, but the idealistic one needs to be reinterpreted or properly understood. We also consider $I$-adically flat $R$-modules. △ Less

Submitted 25 November, 2022; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: LaTeX 2e with xy-pic and tikz-cd; 40 pages, 3+2 commutative diagrams; v.3: abstract rewritten, last section "Conclusion" expanded with two commutative diagrams inserted; v.4: Proposition 1.3(d), Lemma 1.4, Examples 1.8, Remarks 2.4, 5.6, 6.1, 7.3 inserted, the definition of a contraherent cosheaf spelled out in Section 2; v.5: references updated

Journal ref: Math. Nachrichten 296 (2023), #2, p.811-839

Cofibrant generation of pure monomorphisms

Authors: Michael Lieberman, Leonid Positselski, Jiri Rosicky, Sebastien Vasey

Abstract: We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any category of $R$-modules. We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any category of $R$-modules. △ Less

Submitted 15 January, 2020; v1 submitted 7 January, 2020; originally announced January 2020.

Projective covers of flat contramodules

Authors: Silvana Bazzoni, Leonid Positselski, Jan Stovicek

Abstract: We show that a direct limit of projective contramodules (over a right linear topological ring) is projective if it has a projective cover. A similar result is obtained for $\infty$-strictly flat contramodules of projective dimension not exceeding $1$, using an argument based on the notion of the topological Jacobson radical. Covers and precovers of direct limits of more general classes of objects,… ▽ More We show that a direct limit of projective contramodules (over a right linear topological ring) is projective if it has a projective cover. A similar result is obtained for $\infty$-strictly flat contramodules of projective dimension not exceeding $1$, using an argument based on the notion of the topological Jacobson radical. Covers and precovers of direct limits of more general classes of objects, both in abelian categories with exact and with nonexact direct limits, are also discussed, with an eye towards the Enochs conjecture about covers and direct limits, using locally split (mono)morphisms as the main technique. In particular, we offer a simple elementary proof of the Enochs conjecture for the left class of an $n$-tilting cotorsion pair in an abelian category with exact direct limits. △ Less

Submitted 30 September, 2021; v1 submitted 26 November, 2019; originally announced November 2019.

Comments: LaTeX 2e with pb-diagram and xy-pic, 31 pages, 3 commutative diagrams; v.2: a new author joined, the title changed, paper greatly expanded, main result generalized from countable to uncountable direct limits; v.4: Introduction expanded, many references added, several misprints corrected, the numbering of sections shifted to agree with the journal version, former Remark 7.4 is now Corollary 8.4

Journal ref: Internat. Math. Research Notices 2022, #24, p.19527-19564

Relative nonhomogeneous Koszul duality

Authors: Leonid Positselski

Abstract: This book contains a detailed exposition of the nonhomogeneous Koszul duality theory in the relative situation over a noncentral, noncommutative, nonsemisimple base ring, as announced in Section 0.4 of arXiv:0708.3398. We prove the Poincare-Birkhoff-Witt theorem in this context and construct the triangulated equivalences of derived Koszul duality. The duality between the ring of differential opera… ▽ More This book contains a detailed exposition of the nonhomogeneous Koszul duality theory in the relative situation over a noncentral, noncommutative, nonsemisimple base ring, as announced in Section 0.4 of arXiv:0708.3398. We prove the Poincare-Birkhoff-Witt theorem in this context and construct the triangulated equivalences of derived Koszul duality. The duality between the ring of differential operators and the de Rham DG-algebra, with the ring of functions as the base ring, is the thematic example. The moderate generality level makes the exposition in this book more accessible than the very heavily technical Chapter 11 of arXiv:0708.3398. △ Less

Submitted 18 February, 2022; v1 submitted 17 November, 2019; originally announced November 2019.

Comments: LaTeX 2e with mathtools.sty and tikz-cd; 220 pages, 7 commutative diagrams. v.7: Subsection 0.11 and new Section 9 inserted; v.8: Lemma 3.7 inserted, Subsections 10.8-10.10 added -- this is intended as a complete version; v.9: seven references added; v.10: small things corrected, references updated -- this is intended as the final arXiv version (the publisher's version is much more complete)

Journal ref: Frontiers in Mathematics, Birkhauser/Springer Nature, Cham, Switzerland, 2021, xxix+278 pp

Topologically semisimple and topologically perfect topological rings

Authors: Leonid Positselski, Jan Stovicek

Abstract: Extending the Wedderburn-Artin theory of (classically) semisimple associative rings to the realm of topological rings with right linear topology, we show that the abelian category of left contramodules over such a ring is split (equivalently, semisimple) if and only if the abelian category of discrete right modules over the same ring is split (equivalently, semisimple). Our results in this directi… ▽ More Extending the Wedderburn-Artin theory of (classically) semisimple associative rings to the realm of topological rings with right linear topology, we show that the abelian category of left contramodules over such a ring is split (equivalently, semisimple) if and only if the abelian category of discrete right modules over the same ring is split (equivalently, semisimple). Our results in this direction complement those of Iovanov-Mesyan-Reyes. An extension of the Bass theory of left perfect rings to the topological realm is formulated as a list of conjecturally equivalent conditions, many equivalences and implications between which we prove. In particular, all the conditions are equivalent for topological rings with a countable base of neighborhoods of zero and for topologically right coherent topological rings. Considering the rings of endomorphisms of modules as topological rings with the finite topology, we establish a close connection between the concept of a topologically perfect topological ring and the theory of modules with perfect decomposition. Our results also apply to endomorphism rings and direct sum decompositions of objects in certain additive categories more general than the categories of modules; we call them topologically agreeable categories. We show that any topologically agreeable split abelian category is Grothendieck and semisimple. We also prove that a module $Σ$-coperfect over its endomorphism ring has a perfect decomposition provided that either the endomorphism ring is commutative or the module is countably generated, partially answering a question of Angeleri Hugel and Saorin. △ Less

Submitted 13 May, 2022; v1 submitted 26 September, 2019; originally announced September 2019.

Comments: LaTeX 2e with tikz-cd, 69 pages; v.3: new Section 13 inserted, final Section 14 (former 13) rewritten with much more complete picture obtained using new results of arXiv:1911.11720, Lemma 7.2 deleted as no longer relevant, Examples 3.7(2) and 9.4 inserted; v.4: Remarks 3.11 and 7.2 inserted; v.5: misprints corrected, references updated, a reference to Example 10.2 in arXiv:2110.13105 added

Journal ref: Publicacions Matematiques 66 (2022), #2, p.457-540

Covers and direct limits: a contramodule-based approach

Authors: Silvana Bazzoni, Leonid Positselski

Abstract: We present applications of contramodule techniques to the Enochs conjecture about covers and direct limits, both in the categorical tilting context and beyond. In the $n$-tilting-cotilting correspondence situation, if $\mathsf A$ is a Grothendieck abelian category and the related abelian category $\mathsf B$ is equivalent to the category of contramodules over a topological ring $\mathfrak R$ belon… ▽ More We present applications of contramodule techniques to the Enochs conjecture about covers and direct limits, both in the categorical tilting context and beyond. In the $n$-tilting-cotilting correspondence situation, if $\mathsf A$ is a Grothendieck abelian category and the related abelian category $\mathsf B$ is equivalent to the category of contramodules over a topological ring $\mathfrak R$ belonging to one of certain four classes of topological rings (e.g., $\mathfrak R$ is commutative), then the left tilting class is covering in $\mathsf A$ if and only if it is closed under direct limits in $\mathsf A$, and if and only if all the discrete quotient rings of the topological ring $\mathfrak R$ are perfect. More generally, if $M$ is a module satisfying a certain telescope Hom exactness condition (e.g., $M$ is $Σ$-pure-$\operatorname{Ext}^1$-self-orthogonal) and the topological ring $\mathfrak R$ of endomorphisms of $M$ belongs to one of certain seven classes of topological rings, then the class $\mathsf{Add}(M)$ is closed under direct limits if and only if every countable direct limit of copies of $M$ has an $\mathsf{Add}(M)$-cover, and if and only if $M$ has perfect decomposition. In full generality, for an additive category $\mathsf A$ with (co)kernels and a precovering class $\mathsf L\subset\mathsf A$ closed under summands, an object $N\in\mathsf A$ has an $\mathsf L$-cover if and only if a certain object $Ψ(N)$ in an abelian category $\mathsf B$ with enough projectives has a projective cover. The $1$-tilting modules and objects arising from injective ring epimorphisms of projective dimension $1$ form a class of examples which we discuss. △ Less

Submitted 8 January, 2021; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: LaTeX 2e with pb-diagram and xy-pic, 58 pages, 5 commutative diagrams. v.1: This paper is based on Sections 11-15 and 19 of the long preprint arXiv:1807.10671v1, which was divided into three parts. v.2: Many important improvements and additions based on new results in arXiv:1909.12203 and particularly in arXiv:1911.11720; new Section 5 inserted. v.4: Final version

Journal ref: Math. Zeitschrift 299 (2021), #1-2, p.1-52

Matlis category equivalences for a ring epimorphism

Authors: Silvana Bazzoni, Leonid Positselski

Abstract: Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the abelian categories of $u$-comodules and $u$-contramodules and construct the recollement of unbounded derived categories of $R$-modules, $U$-modules, and complexes o… ▽ More Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the abelian categories of $u$-comodules and $u$-contramodules and construct the recollement of unbounded derived categories of $R$-modules, $U$-modules, and complexes of $R$-modules with $u$-co/contramodule cohomology. Further assumptions allow to describe the third category in the recollement as the unbounded derived category of the abelian categories of $u$-comodules and $u$-contramodules. For commutative rings, we also prove that any homological epimorphism of projective dimension $1$ is flat. Injectivity of the map $u$ is not required. △ Less

Submitted 1 May, 2020; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: LaTeX 2e with tikz-cd, 30 pages, 6 commutative diagrams. v.1: This is an improved, expanded version of Sections 16-18 of the long preprint arXiv:1807.10671v1, which was divided into three parts. v.2: Terminological change of "u-h-divisible" to "u-divisible"; Remark 1.2(1), Proposition 2.4, Lemma 3.4, and Remark 3.5 inserted; references added; v.3: Final version

Journal ref: Journ. Pure Appl. Algebra 224 no.10 (2020), 106398, 25 pp

Pseudo-dualizing complexes of bicomodules and pairs of t-structures

Authors: Leonid Positselski

Abstract: This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any such complex $\mathcal L^\bullet$, we construct a triangulated category endowed with a pair of (possibly degenerate) t-structures of the derived type, whose heart… ▽ More This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any such complex $\mathcal L^\bullet$, we construct a triangulated category endowed with a pair of (possibly degenerate) t-structures of the derived type, whose hearts are the abelian categories of left $\mathcal C$-comodules and left $\mathcal D$-contramodules. A weak version of pseudo-derived categories arising out of (co)resolving subcategories in abelian/exact categories with enough homotopy adjusted complexes is also considered. Quasi-finiteness conditions for coalgebras, comodules, and contramodules are discussed as a preliminary material. △ Less

Submitted 15 October, 2021; v1 submitted 7 July, 2019; originally announced July 2019.

Comments: LaTeX 2e with tikz-cd, 42 pages, 10 commutative diagrams; v.2: details and comments added in the proof of Lemma 2.6(b), two references added; v.3: references updated; v.4: the reference to arXiv:2101.10797 added; v.5: several misprints corrected; v.6: many misprints corrected, the numbering of sections shifted to agree with the journal version

Journal ref: Appl. Categor. Struct. 30 (2022), #2, p.379-416

Countably generated flat modules are quite flat

Authors: Michal Hrbek, Leonid Positselski, Alexander Slávik

Abstract: We prove that if $R$ is a commutative Noetherian ring, then every countably generated flat $R$-module is quite flat, i.e., a direct summand of a transfinite extension of localizations of $R$ in countable multiplicative subsets. We also show that if the spectrum of $R$ is of cardinality less than $κ$, where $κ$ is an uncountable regular cardinal, then every flat $R$-module is a transfinite extensio… ▽ More We prove that if $R$ is a commutative Noetherian ring, then every countably generated flat $R$-module is quite flat, i.e., a direct summand of a transfinite extension of localizations of $R$ in countable multiplicative subsets. We also show that if the spectrum of $R$ is of cardinality less than $κ$, where $κ$ is an uncountable regular cardinal, then every flat $R$-module is a transfinite extension of flat modules with less than $κ$ generators. This provides an alternative proof of the fact that over a commutative Noetherian ring with countable spectrum, all flat modules are quite flat. More generally, we say that a commutative ring is CFQ if every countably presented flat $R$-module is quite flat. We show that all von Neumann regular rings and all $S$-almost perfect rings are CFQ. A zero-dimensional local ring is CFQ if and only if it is perfect. A domain is CFQ if and only if all its proper quotient rings are CFQ. A valuation domain is CFQ if and only if it is strongly discrete. △ Less

Submitted 1 June, 2022; v1 submitted 30 June, 2019; originally announced July 2019.

Comments: 17 pages. v2: a new author joined, Remark 3.7 inserted, the paper grew in size by a factor of more than two with a treatment of non-Noetherian rings added in new Sections 4 and 5. v.3: small improvements, abstract updated, the former Example 4.21 moved to Section 5 and details added in Section 5 (Theorem 5.1 inserted); v.4: small things corrected, a reference updated -- this is the final version

Journal ref: Journ. of Commutative Algebra 14 (2022), #1, p.37-54

Colimit-Dense Subcategories

Authors: J. Adámek, A. Brooke-Taylor, T. Campion, L. Positselski, J. Rosický

Abstract: Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vop{ě}nka's Principle, we prove that a cocomplete category is locally presentable iff it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a $3$-element set is colimit-dense in $\Set^{\op}$, and s… ▽ More Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vop{ě}nka's Principle, we prove that a cocomplete category is locally presentable iff it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a $3$-element set is colimit-dense in $\Set^{\op}$, and spaces of countable dimension are colimit-dense in $\Vec^{op}$. △ Less

Submitted 27 December, 2018; originally announced December 2018.

Journal ref: Comment. Math. Univ. Carol. 60 (2019), 447-462

Flat ring epimorphisms of countable type

Authors: Leonid Positselski

Abstract: Let $R\to U$ be an associative ring epimorphism such that $U$ is a flat left $R$-module. Assume that the related Gabriel topology $\mathbb G$ of right ideals in $R$ has a countable base. Then we show that the left $R$-module $U$ has projective dimension at most $1$. Furthermore, the abelian category of left contramodules over the completion of $R$ at $\mathbb G$ fully faithfully embeds into the Ge… ▽ More Let $R\to U$ be an associative ring epimorphism such that $U$ is a flat left $R$-module. Assume that the related Gabriel topology $\mathbb G$ of right ideals in $R$ has a countable base. Then we show that the left $R$-module $U$ has projective dimension at most $1$. Furthermore, the abelian category of left contramodules over the completion of $R$ at $\mathbb G$ fully faithfully embeds into the Geigle-Lenzing right perpendicular subcategory to $U$ in the category of left $R$-modules, and every object of the latter abelian category is an extension of two objects of the former one. We discuss conditions under which the two abelian categories are equivalent. Given a right linear topology on an assocative ring $R$, we consider the induced topology on every left $R$-module, and for a perfect Gabriel topology $\mathbb G$ compare the completion of a module with an appropriate Ext module. Finally, we characterize the $U$-strongly flat left $R$-modules by the two conditions of left positive-degree Ext-orthogonality to all left $U$-modules and all $\mathbb G$-separated $\mathbb G$-complete left $R$-modules. △ Less

Submitted 16 September, 2021; v1 submitted 2 August, 2018; originally announced August 2018.

Comments: LaTeX 2e with pb-diagram and xy-pic, 64 pages, 6 commutative diagrams + Corrigenda, LaTeX 2e with ulem.sty, 10 pages; v.6: corrigenda added (two mistakes, one in Remark 3.3 and the other one in Section 5); v.7: third section added to corrigenda (confusion in Remark 11.3); v.8: fourth section added to corrigenda (about an unjustified assertion in the preliminaries), main results unaffected

Journal ref: Glasgow Math. J. 62 (2020) 383-439

Contramodules over pro-perfect topological rings

Authors: Leonid Positselski

Abstract: For four wide classes of topological rings $\mathfrak R$, we show that all flat left $\mathfrak R$-contramodules have projective covers if and only if all flat left $\mathfrak R$-contramodules are projective if and only if all left $\mathfrak R$-contramodules have projective covers if and only if all descending chains of cyclic discrete right $\mathfrak R$-modules terminate if and only if all the… ▽ More For four wide classes of topological rings $\mathfrak R$, we show that all flat left $\mathfrak R$-contramodules have projective covers if and only if all flat left $\mathfrak R$-contramodules are projective if and only if all left $\mathfrak R$-contramodules have projective covers if and only if all descending chains of cyclic discrete right $\mathfrak R$-modules terminate if and only if all the discrete quotient rings of $\mathfrak R$ are left perfect. Three classes of topological rings for which this holds are the complete, separated topological associative rings with a base of neighborhoods of zero formed by open two-sided ideals such that either the ring is commutative, or it has a countable base of neighborhoods of zero, or it has only a finite number of semisimple discrete quotient rings. The fourth class consists of all the topological rings with a base of neighborhoods of zero formed by open right ideals which have a closed two-sided ideal with certain properties such that the quotient ring is a topological product of rings from the previous three classes. The key technique on which the proofs are based is the contramodule Nakayama lemma for topologically T-nilpotent ideals. △ Less

Submitted 29 November, 2021; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: LaTeX 2e with xy-pic, 53 pages, 3 commutative diagrams; v2: this is an improved version of Sections 1-10 of v1, the rest of v1 was moved to arXiv:1907.04973 and arXiv:1907.05537; v.5: Sections 1.8, 1.9, 1.10, and 1.11 expanded; v.6: small additions and corrections, references updated, the numbering of sections (and of subsections in the introduction) shifted to agree with the journal version

Journal ref: Forum Mathematicum 34 (2022), #1, p.1-39

Exactness of direct limits for abelian categories with an injective cogenerator

Authors: Leonid Positselski, Jan Stovicek

Abstract: We prove that the exactness of direct limits in an abelian category with products and an injective cogenerator J is equivalent to a condition on J which is well-known to characterize pure-injectivity in module categories, and we describe an application of this result to the tilting theory. We derive our result as a consequence of a more general characterization of when inverse limits in the Eilenb… ▽ More We prove that the exactness of direct limits in an abelian category with products and an injective cogenerator J is equivalent to a condition on J which is well-known to characterize pure-injectivity in module categories, and we describe an application of this result to the tilting theory. We derive our result as a consequence of a more general characterization of when inverse limits in the Eilenberg-Moore category of a monad on the category of sets preserve regular epimorphisms. △ Less

Submitted 11 November, 2018; v1 submitted 14 May, 2018; originally announced May 2018.

Comments: 13 pages; version 2: examples added (Examples 2.5); version 3: minor corrections

Journal ref: J. Pure Appl. Algebra 223 (2019), #8, p. 3330-3340

$S$-almost perfect commutative rings

Authors: Silvana Bazzoni, Leonid Positselski

Abstract: Given a multiplicative subset $S$ in a commutative ring $R$, we consider $S$-weakly cotorsion and $S$-strongly flat $R$-modules, and show that all $R$-modules have $S$-strongly flat covers if and only if all flat $R$-modules are $S$-strongly flat. These equivalent conditions hold if and only if the localization $R_S$ is a perfect ring and, for every element $s\in S$, the quotient ring $R/sR$ is a… ▽ More Given a multiplicative subset $S$ in a commutative ring $R$, we consider $S$-weakly cotorsion and $S$-strongly flat $R$-modules, and show that all $R$-modules have $S$-strongly flat covers if and only if all flat $R$-modules are $S$-strongly flat. These equivalent conditions hold if and only if the localization $R_S$ is a perfect ring and, for every element $s\in S$, the quotient ring $R/sR$ is a perfect ring, too. The multiplicative subset $S\subset R$ is allowed to contain zero-divisors. △ Less

Submitted 8 June, 2019; v1 submitted 15 January, 2018; originally announced January 2018.

Comments: 29 pages; v.2: final version

Journal ref: Journ. of Algebra 532 (2019), p.323-356

Infinity-tilting theory

Authors: Leonid Positselski, Jan Stovicek

Abstract: We define the notion of an infinitely generated tilting object of infinite homological dimension in an abelian category. A one-to-one correspondence between $\infty$-tilting objects in complete, cocomplete abelian categories with an injective cogenerator and $\infty$-cotilting objects in complete, cocomplete abelian categories with a projective generator is constructed. We also introduce $\infty$-… ▽ More We define the notion of an infinitely generated tilting object of infinite homological dimension in an abelian category. A one-to-one correspondence between $\infty$-tilting objects in complete, cocomplete abelian categories with an injective cogenerator and $\infty$-cotilting objects in complete, cocomplete abelian categories with a projective generator is constructed. We also introduce $\infty$-tilting pairs, consisting of an $\infty$-tilting object and its $\infty$-tilting class, and obtain a bijective correspondence between $\infty$-tilting and $\infty$-cotilting pairs. Finally, we discuss the related derived equivalences and t-structures. △ Less

Submitted 13 August, 2019; v1 submitted 16 November, 2017; originally announced November 2017.

Comments: LaTeX 2e with pb-diagram and xy-pic, 34 pages, 4 figures; v.3: minor corrections, references updated

Journal ref: Pacific J. Math. 301 (2019) 297-334

Nearly locally presentable categories

Authors: Leonid Positselski, Jiri Rosicky

Abstract: We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopenka's principle, the same happens in the regular case. The category of complete partial orders is the natural example of a nearly locally finitely presentable category which is not locally presentable. We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopenka's principle, the same happens in the regular case. The category of complete partial orders is the natural example of a nearly locally finitely presentable category which is not locally presentable. △ Less

Submitted 2 April, 2018; v1 submitted 28 October, 2017; originally announced October 2017.

Comments: 12 pages; v.2: title changed, a section on nearly presentable objects added, many other additions and improvements

Journal ref: Theory and Appl. of Categories 33 (2018), #10, p.253-264

The tilting-cotilting correspondence

Authors: Leonid Positselski, Jan Stovicek

Abstract: To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we construct an equivalence between the (conventional or absolute) derived categories of A and B. Under various assumptions on A, which cover a wide range of examples (f… ▽ More To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we construct an equivalence between the (conventional or absolute) derived categories of A and B. Under various assumptions on A, which cover a wide range of examples (for instance, if A is a module category or, more generally, a locally finitely presentable Grothendieck abelian category), we show that B is the abelian category of contramodules over a topological ring and that the derived equivalences are realized by a contramodule-valued variant of the usual derived Hom-functor. △ Less

Submitted 15 July, 2019; v1 submitted 5 October, 2017; originally announced October 2017.

Comments: LaTeX 2e with TikZ, 69 pages, 1 figure; v.2: improvement in Lemma 9.5, Remark 9.6, and Theorem 9.7, references added in Section 6.3; v.3: the presentation of the second half of the paper was restructured, a result on equivalences of contramodule categories was included, references were added and updated; v.4: small changes, the numbering of sections shifted to agree with the journal version

Journal ref: Internat. Math. Research Notices 2021, #1, p.189-274