Related papers: Injective completion with respect to homology

Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its…

We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a…

We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…

We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension over $R$ is bounded by the difference of the embedding…

This article mentions that Smith ideal theory generalizes the adic completion theory of commutative rings to monoid objects of locally presentable symmetric monoidal abelian categories. As an application, we provide an almost mathematics…

For any ring R we construct two triangulated categories, each admitting a functor from R-modules that sends projective and injective modules to 0. When R is a quasi-Frobenius or Gorenstein ring, these triangulated categories agree with each…

Let $I$ denote an ideal in a commutative Noetherian ring $R$. Let $M$ be an $R$-module. The $I$-adic completion is defined by $\hat{M}^I = \varprojlim{}_{\alpha} M/I^{\alpha}M$. Then $M$ is called $I$-adic complete whenever the natural…

Let Rep(F;K) denote the category of functors from finite dimensional F-vector spaces to K-modules, where F is a field and K is a commutative ring. We prove that, if F is a finite field, and Char F is invertible in K, then the K-linear…

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…

We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the…

As an alternative perspective on the injectivity of a pure-injective module, a pure-injective module M is said to be pi-indigent if its subinjectivity domain is smallest possible, namely, consisting of exactly the absolutely pure modules. A…

In this paper, we give some categorical description of the general spectrum functor, defining it as an adjoint of a global section functor. The general spectrum functor includes that of $F_1$ and of semirings.

We classify thick subcategories of the $\infty$-categories of perfect modules over ring spectra which arise as functions on even periodic derived stacks satisfying affineness and regularity conditions. For example, we show that the thick…

Injective, pure-injective and fp-injective modules are well known to provide for approximations in the category Mod-R for an arbitrary ring R. We prove that this fails for many other generalizations of injectivity: the $C_1$, $C_2$, $C_3$,…

A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI…

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…

A complex $X$ is called Ding injective if there exists an exact sequence of injective complexes $\ldots \rightarrow E_1 \rightarrow E_0 \rightarrow E_{-1} \rightarrow \ldots$ such that $X = Ker(E_0 \rightarrow E_{-1})$, and the sequence…

Let $\mathscr{A}$ be an abelian category having enough projective and injective objects, and let $\mathscr{T}$ be an additive subcategory of $\mathscr{A}$ closed under direct summands. A known assertion is that in a short exact sequence in…

We show that Iacob-Iyengar's answer to a question of Avromov-Foxby extends from Noetherian to coherent rings. In particular, a coherent ring R is regular if and only if the injective (resp. projective) dimension of each complex X of…

Let $T$ be a subset of a ring $A$, and let $M$ be an $A$-module. We study the additive subgroups $F$ of $M$ such that, for all $x \in M$, if $tx \in F$ for some $t \in T$, then $x \in F$. We call any such subset $F$ of $M$ a $T$-factroid of…