English
Related papers

Related papers: Depth formula via complete intersection flat dimen…

200 papers

For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In…

Commutative Algebra · Mathematics 2008-02-04 Parviz Sahandi , Tirdad Sharif , Siamak Yassemi

In this paper we are concerned with absolute, relative and Tate Tor modules. In the first part of the paper we generalize a result of Avramov and Martsinkovsky by using the Auslander-Buchweitz approximation theory, and obtain a new exact…

Commutative Algebra · Mathematics 2022-01-24 Olgur Celikbas , Li Liang , Arash Sadeghi , Tirdad Sharif

For nonzero finitely generated $R$-modules $M$ and $N$ over a Noetherian local ring $R$, Auslander's depth formula is the equality $$ \operatorname{depth} M + \operatorname{depth} N = \operatorname{depth} R +…

Commutative Algebra · Mathematics 2026-05-21 Victor H. Jorge-Pérez , Paulo Martins , Victor D. Mendoza-Rubio

Let $(A,\mathfrak{m})$ be a local complete intersection ring and let $I$ be an ideal in $A$. Let $M, N$ be finitely generated $A$-modules. Then for $l = 0,1$, the values $depth \ Ext^{2i+l}_A(M, N/I^nN)$ become independent of $i, n$ for…

Commutative Algebra · Mathematics 2018-02-06 Provanjan Mallick , Tony J. Puthenpurakal

We prove that every quasi-complete intersection ideal is obtained from a pair of nested complete intersection ideals by way of a flat base change. As a by-product we establish a rigidity statement for the minimal two-step Tate complex…

Commutative Algebra · Mathematics 2018-10-01 Andrew R. Kustin , Liana M. Sega

Let $(R,\mathfrak{m},k)$ be a commutative Noetherian local ring. It is well-known that if $M$ is a finitely generated $R$-module of finite quasi-injective dimension, then $\operatorname{qid}_RM = \operatorname{depth} R$. In this paper, we…

Commutative Algebra · Mathematics 2025-11-19 Victor H. Jorge-Pérez , Paulo Martins

We show that a complete $m$-dimensional immersed submanifold $M$ of $\mathbb{R}^{n}$ with $a(M)<1$ is properly immersed and have finite topology, where $a(M)\in [0,\infty]$ is an scaling invariant number that gives the rate that the norm of…

Differential Geometry · Mathematics 2008-05-06 G. Pacelli Bessa , L. Jorge , J. Fabio Montenegro

It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…

Commutative Algebra · Mathematics 2017-05-02 Douglas J. Dailey , Srikanth B. Iyengar , Thomas Marley

Let $R$ be a commutative Noetherian local ring and let $M$ and $N$ be nonzero finitely generated $R$-modules. In this paper, we investigate how the finiteness of the homological dimension of Ext modules between $M$ and $N$ affects that of…

Commutative Algebra · Mathematics 2025-09-08 Kaito Kimura

Let R be a complete intersection ring and let M and N be R-modules. It is shown that the vanishing of Ext^i_R(M,N) for a certain number of consecutive values of i starting at n forces the complete intersection dimension of M to be at most…

Commutative Algebra · Mathematics 2013-04-02 Arash Sadeghi

In this note, we consider a complete intersection $X=\{x\in \mathbb{R}^n : f_1(x)= \ldots = f_m(x)=0\}, n>m$ and study its Euclidean distance degree in terms of the mixed volume of the Newton polytopes. We show that if the Newton polytopes…

Algebraic Geometry · Mathematics 2024-05-03 Nguyen Tat Thang , Pham Thu Thuy

We show that if Auslander`s depth formula holds for non-zero Tor-independent modules over Cohen-Macaulay local rings of dimension 1, then it holds for such modules over any Cohen-Macaulay local ring. More generally, we show that the depth…

Commutative Algebra · Mathematics 2023-02-02 Shashi Ranjan Sinha , Amit Tripathi

Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…

Commutative Algebra · Mathematics 2015-12-11 Neil Epstein , Yongwei Yao

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

Commutative Algebra · Mathematics 2024-02-13 Hossein Faridian

We characterize the monotone bounded depth formula complexity for graph homomorphism and colored isomorphism polynomials using a graph parameter called the cost of bounded product depth baggy elimination tree. Using this characterization,…

Computational Complexity · Computer Science 2025-11-06 Balagopal Komarath , Rohit Narayanan

We study some closely interrelated notions of Homological Algebra: (1) We define a topology on modules over a not-necessarily commutative ring $R$ that coincides with the $R$-topology defined by Matlis when $R$ is commutative. (2) We…

Rings and Algebras · Mathematics 2018-08-08 Alberto Facchini , Zahra Nazemian

Inspired by classical work on the depth formula for tensor products of finitely generated $R$-modules, we introduce two conditions which we call $(\mathbf{ldep})$ and $(\mathbf{rdep})$ and their derived variations. We show for…

Commutative Algebra · Mathematics 2025-05-02 Kaito Kimura , Justin Lyle , Andrew J. Soto-Levins

The depth of tensor product of modules over a Gorenstein local ring is studied. For finitely generated modules M and N over a Gorenstein local ring R, under some assumptions on the vanishing of finite number of Tate and relative homology…

Commutative Algebra · Mathematics 2017-02-28 Arash Sadeghi

Let $R$ be a local ring and $M$ a finitely generated $R$-module. The complete intersection dimension of $M$--defined by Avramov, Gasharov and Peeva, and denoted $\cidim_R(M)$--is a homological invariant whose finiteness implies that $M$ is…

Commutative Algebra · Mathematics 2008-05-27 Sean Sather-Wagstaff

Given a homomorphism of commutative noetherian rings R --> S and an S-module N, it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is…

Commutative Algebra · Mathematics 2007-05-23 Lars Winther Christensen , Srikanth Iyengar