English
Related papers

Related papers: Flatness and Completion Revisited

200 papers

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…

Commutative Algebra · Mathematics 2023-02-16 Leonid Positselski

Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. Rather than saying a module has a certain property or not, each module is…

Commutative Algebra · Mathematics 2021-06-30 Houda Amzil , Driss Bennis , J. R. Garcia Rozas , Luis Oyonarte

In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…

Commutative Algebra · Mathematics 2015-12-16 Rajsekhar Bhattacharyya

We prove Grothendieck's existence theorem for relatively perfect complexes on an algebraic stack that is proper and flat over an $I$-adically complete Noetherian ring $A$. This generalizes an earlier result of Lieblich in the setting of…

Algebraic Geometry · Mathematics 2021-05-18 David Benjamin Lim

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…

Commutative Algebra · Mathematics 2022-06-02 Michal Hrbek , Leonid Positselski , Alexander Slávik

Let $R$ be a commutative ring. Roughly speaking, we prove that an $R$-module $M$ is flat iff it is a direct limit of $R$-module affine algebraic varieties, and $M$ is a flat Mittag-Leffler module iff it is the union of its $R$-submodule…

Algebraic Geometry · Mathematics 2017-10-12 Carlos Sancho , Fernando Sancho , Pedro Sancho

We investigate homological properties of perfect algebras of prime characteristic. The principle is as follows: perfect algebras resolve the singularities. For example, we show any module over the ring of absolute integral closure has…

Commutative Algebra · Mathematics 2017-11-16 Mohsen Asgharzadeh

In this article, a new and natural topology on the prime spectrum is established which behaves completely as the dual of the Zariski topology. It is called the flat topology. The basic and also some sophisticated properties of the flat…

Commutative Algebra · Mathematics 2021-07-28 Abolfazl Tarizadeh

Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented…

Rings and Algebras · Mathematics 2019-02-22 Peter Mayr , Nik Ruskuc

The concept of Faltings' local-global principle for the in dimension $< n$ of local cohomology modules over a Noetherian ring $R$ is introduced, and it is shown that this principle holds at levels 1, 2. We also establish the same principle…

Commutative Algebra · Mathematics 2017-12-21 Reza Naghipour , Robabeh Maddahali , Khadijeh Ahmadi Amoli

As a special case of Bass' theory of perfect rings, one obtains the assertion that, over a finite-dimensional associative algebra over a field, all flat modules are projective. In this paper we prove the following relative version of this…

Rings and Algebras · Mathematics 2026-05-01 Leonid Positselski

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

Algebraic Geometry · Mathematics 2009-02-19 Daniel Murfet , Shokrollah Salarian

Let $R$ be a commutative Noetherian ring and $M$ be an $R$-module such that the set of associated prime ideals of the quotient module $M/L$ is finite for all submodules $L$ of $M$. In this paper, it is shown that there is a finitely…

Commutative Algebra · Mathematics 2025-07-08 Ali Fathi

Let $A$ be a Noetherian ring, $J\subseteq A$ an ideal and $C$ a finitely generated $A$-module. In this note we would like to prove the following statement. Let $\{I_n\}_{n\geq 0}$ be a collection of ideals satisfying : (i) $I_n\supseteq…

Commutative Algebra · Mathematics 2013-01-30 Daniel Katz , Tony J. Puthenpurakal

Let $A$ be a Noetherian flat $K[t]$-algebra, $h$ an integer and let $N$ be a graded $K[t]$-module, we introduce and study "$N$-fiber-full up to $h$" $A$-modules. We prove that an $A$-module $M$ is $N$-fiber-full up to $h$ if and only if…

Commutative Algebra · Mathematics 2022-07-01 Hongmiao Yu

For a ring $A$, we consider the question whether every bounded above cochain complex of injective $A$-modules which is acyclic is null-homotopic. We show that if $A$ is left and right noetherian and has a dualizing complex, then this…

Rings and Algebras · Mathematics 2023-03-31 Liran Shaul

We obtain a characterization of left perfect rings via superstability of the class of flat left modules with pure embeddings. $\mathbf{Theorem.}$ For a ring $R$ the following are equivalent. - $R$ is left perfect. - The class of flat left…

Logic · Mathematics 2020-09-11 Marcos Mazari-Armida

Let $n$ be a non-negative integer, $R$ a commutative Noetherian ring, $\mathfrak{a}$ an ideal of $R$, $M$ and $N$ two finitely generated $R$-modules, and $X$ an arbitrary $R$-module. In this paper, we study cofiniteness and finiteness of…

Commutative Algebra · Mathematics 2024-09-10 Alireza Vahidi , Ahmad Khaksari , Mohammad Shirazipour

Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…

Algebraic Geometry · Mathematics 2018-09-17 Esmaeil Hosseini , Ali Zaghian

Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and…

Commutative Algebra · Mathematics 2015-01-06 Thomas Marley , Marcus Webb