English
Related papers

Related papers: Coherence of absolute integral closures

200 papers

We study homological properties of test modules that are, in principle, modules that detect finite homological dimensions. The main outcome of our results is a generalization of a classical theorem of Auslander and Bridger: we prove that,…

Commutative Algebra · Mathematics 2015-11-03 Olgur Celikbas , Hailong Dao , Ryo Takahashi

Let R be a commutative Noetherian local ring. We show that R is Gorenstein if and only if every finitely generated R-module can be embedded in a finitely generated R-module of finite projective dimension. This extends a result of Auslander…

Commutative Algebra · Mathematics 2010-04-05 Ryo Takahashi , Siamak Yassemi , Yuji Yoshino

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 study how solid closure in mixed characteristic behaves after taking ultraproducts. The ultraproduct will be chosen so that we land in equal characteristic, and therefore can make a comparison with tight closure. As a corollary we get an…

Commutative Algebra · Mathematics 2007-05-23 Hans Schoutens

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length…

Commutative Algebra · Mathematics 2007-05-23 Shokrollah Salarian , Sean Sather-Wagstaff , Siamak Yassemi

For a Noetherian commutative ring $R$, let $H^i_I(R)$ be the $ i$-th local cohomology module of $R$ with respect to $I$. In \cite{Hel-08}, Hellus posed the question of identifying rings $R$ such that $\operatorname{injdim}_R…

Commutative Algebra · Mathematics 2025-11-11 Sayed Sadiqul Islam

Let $R$ be an excellent Noetherian ring of prime characteristic. Consider an arbitrary nested pair of ideals (or more generally, a nested pair of submodules of a fixed finite module). We do \emph{not} assume that their quotient has finite…

Commutative Algebra · Mathematics 2011-03-25 Neil Epstein , Yongwei Yao

We look at how the equivalence of tight closure and plus closure (or Frobenius closure) in the homogeneous m-coprimary case implies the same closure equivalence in the non-homogeneous m-coprimary case in standard graded rings. Although our…

Commutative Algebra · Mathematics 2007-05-23 Geoffrey D. Dietz

We prove, for quasicompact separated schemes over ground fields, that Cech cohomology coincides with sheaf cohomology with respect to the Nisnevich topology. This is a partial generalization of Artin's result that for noetherian schemes…

Algebraic Geometry · Mathematics 2017-06-14 Stefan Schröer

In this note ($R, m$) denotes a complete regular local ring and $B$ mostly denotes its absolute integral closure. The four objectives of this paper are the following: i) to determine the highest non-vanishing local cohomology of…

Commutative Algebra · Mathematics 2022-06-08 S. P. Dutta

We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…

Commutative Algebra · Mathematics 2015-12-31 Olgur Celikbas , Sean Sather-Wagstaff

The aim of this article is to prove some results on the existence of an integral extension domain of a complete local Noetherian domain in mixed characteristic $p>0$ having certain distinguished properties with respect to the Frobenius map.…

Commutative Algebra · Mathematics 2017-04-25 Kazuma Shimomoto

Local cohomology modules, even over a Noetherian ring $R$, are typically unwieldly. As such, it is of interest whether or not they have finitely many associated primes. We prove the affirmative in the case where $R$ is a Stanley-Reisner…

Commutative Algebra · Mathematics 2017-09-07 Roberto Barrera , Jeffrey Madsen , Ashley K. Wheeler

Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded…

Commutative Algebra · Mathematics 2025-06-03 Souvik Dey , Dipankar Ghosh , Siddhartha Pramanik , Tony J. Puthenpurakal , Samarendra Sahoo

Let $I$ be an ideal of a commutative Noetherian complete local ring $R$. In the present paper, we establish the equality $\dim R/(I+\Ann_R M)=\dim M$ for all $I$-cofinite $R$-modules $M$.

Commutative Algebra · Mathematics 2023-07-28 Majid Rahro Zargar , Ghader Ghasemi

Let R be a commutative noetherian ring. We prove that if R is either an equidimensional finitely generated algebra over a perfect field, or an equidimensional equicharacteristic complete local ring with a perfect residue field, then the…

Commutative Algebra · Mathematics 2023-08-22 Jian Liu

We present an in-depth exploration of the module structures of local (co)homology modules (moreover, for complexes) over the completion $\widehat R^{\mathfrak a}$ of a commutative noetherian ring $R$ with respect to a proper ideal…

Commutative Algebra · Mathematics 2016-02-25 Sean Sather-Wagstaff , Richard Wicklein

Let $R$ be an excellent local domain of positive characteristic with residue field $k$ and let $R^+$ be its absolute integral closure. If $\text{Tor}^R_1(R^+,k)$ vanishes, then $R$ is Cohen-Macaulay, normal, F-rational and F-pure. If $R$…

Commutative Algebra · Mathematics 2014-08-27 Hans Schoutens

We prove that over a commutative noetherian ring the three approaches to introducing depth for complexes: via Koszul homology, via Ext modules, and via local cohomology, all yield the same invariant. Using this result, we establish a far…

Commutative Algebra · Mathematics 2007-05-23 H. -B. Foxby , S. Iyengar

We prove a structure theorem for any $n$-rectifiable set $E\subset \mathbb{R}^{n+1}$, $n\ge 1$, satisfying a weak version of the lower ADR condition, and having locally finite $H^n$ ($n$-dimensional Hausdorff) measure. Namely, that…

Classical Analysis and ODEs · Mathematics 2019-07-25 Murat Akman , Simon Bortz , Steve Hofmann , José Maria Martell