BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Leonid Positselski

Leonid Positselski appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CTmath.RAmath.AGmath.KTmath.ACmath.RTmath.NTalg-geommath.GR

Catalog footprint

What is connected

28works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

28 published item(s)

preprint2022arXiv

Abelian right perpendicular subcategories in module categories

We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category with a projective generator, or in other words, the category of models of an additive algebraic theory of possibly infinite bounded arity. This includes the categories of contramodules over topological rings and other examples. Various versions of the definition of the right perpendicular subcategory are considered, all leading to the same class of abelian categories. We also discuss sufficient conditions under which the natural forgetful functors from the categories of contramodules to the related categories of modules are fully faithful.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Closure properties of $\varinjlim\mathcal C$

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Contramodules

Contramodules are module-like algebraic structures endowed with infinite summation (or, occasionally, integration) operations satisfying natural axioms. Introduced originally by Eilenberg and Moore in 1965 in the case of coalgebras over commutative rings, contramodules experience a small renaissance now after being all but forgotten for three decades between 1970-2000. Here we present a review of various definitions and results related to contramodules (drawing mostly from our monographs and preprints arXiv:0708.3398, arXiv:0905.2621, arXiv:1202.2697, arXiv:1209.2995, arXiv:1512.08119, arXiv:1710.02230, arXiv:1705.04960, arXiv:1808.00937) - including contramodules over corings, topological associative rings, topological Lie algebras and topological groups, semicontramodules over semialgebras, and a "contra version" of the Bernstein-Gelfand-Gelfand category O. Several underived manifestations of the comodule-contramodule correspondence phenomenon are discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Countably generated flat modules are quite flat

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Relative nonhomogeneous Koszul duality

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Topologically semisimple and topologically perfect topological rings

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Contramodules over pro-perfect topological rings

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Contraadjusted modules, contramodules, and reduced cotorsion modules

This paper is devoted to the more elementary aspects of the contramodule story, and can be viewed as an extended introduction to the more technically complicated arXiv:1503.05523. Reduced cotorsion abelian groups form an abelian category, which is in some sense covariantly dual to the category of torsion abelian groups. An abelian group is reduced cotorsion if and only if it is isomorphic to a product of p-contramodule abelian groups over prime numbers p. Any p-contraadjusted abelian group is p-adically complete, and any p-adically separated and complete group is a p-contramodule, but the converse assertions are not true. In some form, these results hold for modules over arbitrary commutative rings, while other formulations are applicable to modules over one-dimensional Noetherian rings.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Matlis category equivalences for a ring epimorphism

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Flat morphisms of finite presentation are very flat

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in $\operatorname{Spec}R$ using ordinal-indexed filtrations and direct summands are called very flat. The related class of very flat quasi-coherent sheaves over a scheme is intermediate between the classes of locally free and flat sheaves, and has serious technical advantages over both. In this paper we show that very flat modules and sheaves are ubiquitous in algebraic geometry: if $S$ is a finitely presented commutative $R$-algebra which is flat as an $R$-module, then $S$ is a very flat $R$-module. This proves a conjecture formulated in the February 2014 version of the long preprint arXiv:1209.2995. We also show that the (finite) very flatness property of a flat module satisfies descent with respect to commutative ring homomorphisms of finite presentation inducing surjective maps of the spectra.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Smooth duality and co-contra correspondence

The aim of this paper is to explain how to get a complex of smooth representations out of the dual vector space to a smooth representation of a p-adic Lie group, in natural characteristic. The construction does not depend on any finiteness/admissibility assumptions. Imposing such an assumption, one obtains an involutive duality on the derived category of complexes of smooth modules with admissible cohomology modules. The paper can serve as an introduction to the results about representations of locally profinite groups contained in the author's monograph on semi-infinite homological algebra arXiv:0708.3398.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

The tilting-cotilting correspondence

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Dedualizing complexes and MGM duality

We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of Dwyer-Greenlees and Porta-Shaul-Yekutieli, this implies an equivalence between the (bounded or unbounded) conventional derived categories of the abelian categories of torsion modules and contramodules. Over the adic completion of a commutative ring by an arbitrary finitely generated ideal, we obtain an equivalence between the derived categories of complexes of modules with torsion and contramodule cohomology modules. We also define two versions of the notion of a dedualizing complex over the adic completion of a commutative ring, one for an ideal with an Artinian quotient ring and the other one for a weakly proregular ideal, and use these to construct equivalences between the conventional as well as certain exotic derived categories of the abelian categories of torsion modules and contramodules. The philosophy of derived co-contra correspondence is discussed in the introduction.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence

This paper can be thought of as an extended introduction to arXiv:0708.3398; nevertheless, most of its results are not covered by loc. cit. We consider the derived categories of DG-modules, DG-comodules, and DG-contramodules, the coderived and contraderived categories of CDG-modules, the coderived categories of CDG-comodules, and the contraderived categories of CDG-contramodules. The equivalence between the latter two categories (the comodule-contramodule correspondence) is established. Nonhomogeneous Koszul duality or "triality" (an equivalence between exotic derived categories corresponding to Koszul dual (C)DG-algebra and CDG-coalgebra) is obtained in the conilpotent and nonconilpotent versions. Various $A_\infty$-structures are considered, and a number of model category structures are described. Homogeneous Koszul duality and $D$-$Ω$ duality are discussed in the appendices.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Artin-Tate motivic sheaves with finite coefficients over an algebraic variety

We propose a construction of a tensor exact category F_X^m of Artin-Tate motivic sheaves with finite coefficients Z/m over an algebraic variety X (over a field K of characteristic prime to m) in terms of etale sheaves of Z/m-modules over X. Among the objects of F_X^m, in addition to the Tate motives Z/m(j), there are the cohomological relative motives with compact support M_cc^m(Y/X) of varieties Y quasi-finite over X. Exact functors of inverse image with respect to morphisms of algebraic varieties and direct image with compact supports with respect to quasi-finite morphisms of varieties Y\to X act on the exact categories F_X^m. Assuming the existence of triangulated categories of motivic sheaves DM(X,Z/m) over algebraic varities X over K and a weak version of the "six operations" in these categories, we identify F_X^m with the exact subcategory in DM(X,Z/m) consisting of all the iterated extensions of the Tate twists M_cc^m(Y/X)(j) of the motives M_cc^m(Y/X). An isomorphism of the Z/m-modules Ext between the Tate motives Z/m(j) in the exact category F_X^m with the motivic cohomology modules predicted by the Beilinson-Lichtenbaum etale descent conjecture (recently proven by Voevodsky, Rost, et al.) holds for smooth varieties X over K if and only if the similar isomorphism holds for Artin-Tate motives over fields containing K. When K contains a primitive m-root of unity, the latter condition is equivalent to a certain Koszulity hypothesis, as it was shown in our previous paper arXiv:1006.4343

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Coherent analogues of matrix factorizations and relative singularity categories

We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues with locally free sheaves replaced by coherent ones. The appropriate exotic derived category of coherent matrix factorizations is then identified with the triangulated category of relative singularities, while the similar exotic derived category of locally free matrix factorizations is its full subcategory. The latter category is identified with the kernel of the direct image functor corresponding to the closed embedding of the zero locus and acting between the conventional (absolute) triangulated categories of singularities. Similar results are obtained for matrix factorizations of infinite rank; and two different "large" versions of the triangulated category of relative singularities, corresponding to the approaches of Orlov and Krause, are identified in the case of a Cartier divisor. A version of the Thomason-Trobaugh-Neeman localization theory is proven for coherent matrix factorizations and disproven for locally free matrix factorizations of finite rank. Contravariant (coherent) and covariant (quasi-coherent) versions of the Serre-Grothendieck duality theorems for matrix factorizations are established, and pull-backs and push-forwards of matrix factorizations are discussed at length. A number of general results about derived categories of the second kind for CDG-modules over quasi-coherent CDG-algebras are proven on the way. Hochschild (co)homology of matrix factorization categories are discussed in an appendix.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Galois cohomology of a number field is Koszul

We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity properties of this algebra. This provides evidence in support of Koszulity conjectures that were proposed in our previous papers. The proofs are based on the Class Field Theory and computations with quadratic commutative Groebner bases (commutative PBW-bases).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Galois cohomology of certain field extensions and the divisible case of Milnor-Kato conjecture

We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term exact sequence of Galois cohomology with cyclotomic coefficients for any finite extension of fields whose Galois group has an exact quadruple of permutational representations over it. Examples include cyclic groups, dihedral groups, the biquadratic group Z/2\times Z/2, and the symmetric group S_4. Several exact sequences conjectured by Bloch-Kato, Merkurjev-Tignol, and Kahn are proven in this way. In addition, we introduce a more sophisticated version of the classical argument known as "Bass-Tate lemma". Some results about annihilator ideals in Milnor rings are deduced as corollaries.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (and the cotensor product associative). Besides, for a number of technical reasons we mostly have to assume that the basic ring has a finite homological dimension (no such assumptions about the coring and semialgebra are made). In the final sections we construct model category structures on the categories of complexes of semi(contra)modules, and develop relative nonhomogeneous Koszul duality theory for filtered semialgebras and quasi-differential corings. Our motivating examples come from the semi-infinite cohomology theory. Comparison with the semi-infinite (co)homology of Tate Lie algebras and graded associative algebras is established in appendices, and the semi-infinite homology of a locally compact topological group relative to an open profinite subgroup is defined. An application to the correspondence between complexes of representations of an infinite-dimensional Lie algebra on the complementary central charge levels ($c$ and $26-c$ for the Virasoro) is worked out.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Koszul property and Bogomolov's conjecture

This is an enhanced version of the author's 1998 Harvard Ph.D. thesis, as published by IMRN in 2005. We propose an extension of Bogomolov's conjecture about commutator subgroups of Galois groups to arbitrary fields. A somewhat weaker conjecture is then shown to follow, together with the famous Milnor-Bloch-Kato conjecture, from a certain hypothesis about homological properties of the Milnor K-theory algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Mixed Artin-Tate motives with finite coefficients

The goal of this paper is to give an explicit description of the triangulated categories of Tate and Artin-Tate motives with finite coefficients Z/m over a field K containing a primitive m-root of unity as the derived categories of exact categories of filtered modules over the absolute Galois group of K with certain restrictions on the successive quotients. This description is conditional upon (and its validity is equivalent to) certain Koszulity hypotheses about the Milnor K-theory/Galois cohomology of K. This paper also purports to explain what it means for an arbitrary nonnegatively graded ring to be Koszul. Exact categories, silly filtrations, and the K(π,1)-conjecture are discussed in the appendices. Tate motives with integral coefficients are considered in the "Conclusions" section.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Nonhomogeneous quadratic duality and curvature

This is a slightly corrected version of the article published by Functional Analysis and its Applications in 1993. We define the quadratic duality for algebras with nonhomogeneous relations; the duality between the algebra of differential operators and the multiplicative de Rham complex is a classical example. The scalar part of the relations is interpreted as the curvature. Chern classes of nonhomogeneneous quadratic algebras are introduced as certain obstructions; the Chern-Simons classes are also discussed. The Poincare-Birkhoff-Witt theorem is considered in the context of the duality, and its simple proof is given.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Hochschild (co)homology of the second kind I

We define and study the Hochschild (co)homology of the second kind (known also as the Borel-Moore Hochschild homology and the compactly supported Hochschild cohomology) for curved DG-categories. An isomorphism between the Hochschild (co)homology of the second kind of a CDG-category B and the same of the DG-category C of right CDG-modules over B, projective and finitely generated as graded B-modules, is constructed. Sufficient conditions for an isomorphism of the two kinds of Hochschild (co)homology of a DG-category are formulated in terms of the two kinds of derived categories of DG-modules over it. In particular, a kind of "resolution of the diagonal" condition for the diagonal CDG-bimodule B over a CDG-category B guarantees an isomorphism of the two kinds of Hochschild (co)homology of the corresponding DG-category C. Several classes of examples are discussed.

0 citations0 reviewsNo code linkedOpen access