Related papers: Perfect complexes and completion
Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak…
In this note, we propose a generalisation of G. Janelidze's notion of an ideally exact category beyond the Barr exact setting. We define an ideally regular category as a regular, Bourn protomodular category with finite coproducts in which…
We define fully exact module categories, a subclass of exact module categories over a finite braided tensor category that is stable under the relative Deligne product. In contrast, we demonstrate with examples in both zero and non-zero…
We characterize which complete local (Noetherian) rings T containing the rationals are the completion of a countable excellent local ring S. We also discuss the possibilities for the map from the minimal prime ideals of T to the minimal…
Inspired by a recent work of Buchweitz and Flenner, we show that, for a semidualizing bimodule $C$, $C$--perfect complexes have the ability to detect when a ring is strongly regular. It is shown that there exists a class of modules which…
We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free…
There has arisen in recent years a substantial theory of "multiplier ideals'' in commutative rings. These are integrally closed ideals with properties that lend themselves to highly interesting applications. But how special are they among…
We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…
The aim of this paper is to unify classification theories of torsion classes of finite dimensional algebras and commutative Noetherian rings. For a commutative Noetherian ring $R$ and a module-finite $R$-algebra $\Lambda$, we study the set…
Let $(R, \mathfrak{m})$ be a noetherian local ring, $M$ a separated $R$-module (i.e. $\bigcap\limits_{n\geq 1}\mathfrak{m}^n M = 0$) and $\widehat{M} = \lim\limits_{\leftarrow} M/\mathfrak{m}^n M$ its completion. Generally, $M$ is not pure…
Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M, N$ two finitely generated $R$-modules. By using a spectral sequence argument, it is shown that if either $\mathrm{dim}_RM\leq2$ and $\mathrm{H}^{i}_\mathfrak{a}(N)$…
We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…
In this note we introduce and study basic properties of two types of modules over a commutative noetherian ring $R$ of positive prime characteristic. The first is the category of modules of finite $F$-type. These objects include reflexive…
Let $R$ be a Noetherian ring, $I$ and $J$ two ideals of $R$ and $t$ an integer. Let $S$ be the class of Artinian $R$-modules, or the class of all $R$-modules $N$ with $\dim_RN\leq k$, where $k$ is an integer. It is proved that $\inf\{i:…
Let A be a commutative ring, and let \a be a weakly proregular ideal in A. (If A is noetherian then any ideal in it is weakly proregular.) Suppose M is a compact generator of the category of cohomologically \a-torsion complexes. We prove…
We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the…
Neeman shows that the completion of a triangulated category with respect to a good metric yields a triangulated category. We compute completions of discrete cluster categories with respect to metrics induced by internal t-structures. In…
Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$, $\mathcal{S}$ a Serre subcategory of $R$-modules satisfying the condition $C_\mathfrak{a}$ and $\mathcal{N}$ the subcategory of finitely generated $R$-modules. In this…
Let R be a commutative noetherian ring. We give criteria for a complex of cotorsion flat R-modules to be minimal, in the sense that every self homotopy equivalence is an isomorphism. To do this, we exploit Enochs' description of the…
For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian…