English
Related papers

Related papers: A Rigidity Theorem for Ext

200 papers

Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $M, N$ be two Cohen-Macaulay \ $A$-modules with $M$ linked to $N$ via a Gorenstein ideal $\mathfrak{q}$. Let $L$ be another finitely generated $A$-module. We show that $Ext^i_A(L,M)…

Commutative Algebra · Mathematics 2015-12-17 Tony J. Puthenpurakal

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ and $N$ be two finitely generated $R$-modules. Let $t$ be a positive integer. We prove that if $R$ is local with maximal ideal $\fm$ and $ M\otimes_R N$ is of finite…

Commutative Algebra · Mathematics 2007-05-23 Amir Mafi

Let $M$ be a finitely generated module over a local complete intersection $R$ of characteristic $p>0$. The property that $M$ has finite projective dimension can be characterized by the vanishing of $\ext_R^i({}^{f^n} R,M)$ for some $i>0$…

Commutative Algebra · Mathematics 2007-05-23 Jinjia Li

Let $KG$ be a group algebra with $G$ a finite group and $K$ a field and $M$ an indecomposable $KG$-module. We pose the question, whether $Ext_{KG}^1(M,M) \neq 0$ implies that $Ext_{KG}^i(M,M) \neq 0$ for all $i \geq 1$. We give a positive…

Representation Theory · Mathematics 2023-11-01 Bernhard Böhmler , Karin Erdmann , Viktória Klász , Rene Marczinzik

Let $B = A< X | dX=t >$ be an extended DG algebra by the adjunction of variable of positive even degree $n$, and let $N$ be a semi-free DG $B$-module that is assumed to be bounded below as a graded module. We prove in this paper that $N$ is…

Commutative Algebra · Mathematics 2018-05-16 Maiko Ono , Yuji Yoshino

Let $R$ be a hypersurface in an equicharacteristic or unramified regular local ring. For a pair of modules $(M,N)$ over $R$ we study applications of rigidity of $\Tor^R(M,N)$, based on ideas by Huneke, Wiegand and Jorgensen. We then focus…

Commutative Algebra · Mathematics 2007-09-08 Hailong Dao

We show that the conditions defining total reflexivity for modules are independent. In particular, we construct a commutative Noetherian local ring $R$ and a reflexive $R$-module $M$ such that $\Ext^i_R(M,R)=0$ for all $i>0$, but…

Commutative Algebra · Mathematics 2007-05-23 David Jorgensen , Liana Sega

Let $(R,\fr m)$ be a Noetherian local ring, $I$ an ideal of $R$ and $M, N$ two finitely generated $R$-modules. The first result of this paper is to prove a vanishing theorem for generalized local cohomology modules which says that…

Commutative Algebra · Mathematics 2007-06-01 Nguyen Tu Cuong , Nguyen Van Hoang

For finitely generated modules M and N over a complete intersection R, the vanishing of Tor_i^R(M,N) for all i> 0 gives a tight relationship among depth properties of M, N and their tensor product. Here we concentrate on the converse and…

Commutative Algebra · Mathematics 2014-12-23 Olgur Celikbas , Srikanth B. Iyengar , Greg Piepmeyer , Roger Wiegand

A commutative Noetherian ring $R$ is said to be Tor-persistent if, for any finitely generated $R$-module $M$, the vanishing of $\operatorname{Tor}_i^R(M,M)$ for $i\gg 0$ implies $M$ has finite projective dimension. An open question of…

Commutative Algebra · Mathematics 2024-07-29 Justin Lyle , Jonathan Montaño , Keri Sather-Wagstaff

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

For finitely generated modules $M$ and $N$ over a Gorenstein local ring $R$, one has $depth M + depth N= depth(M\otimes N) +depth R$, i.e., the depth formula holds, if $M$ and $N$ are Tor-independent and Tate homology…

Commutative Algebra · Mathematics 2017-01-31 Olgur Celikbas , Li Liang , Arash Sadeghi

Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$, $N$ a perfect $A$-module and let $I$ be an ideal in $A$ with $\ell(N/IN)$ finite. We show that there is a integer $r_I \geq -1$ (depending only on $I$ and $N$)…

Commutative Algebra · Mathematics 2025-07-01 Tony J. Puthenpurakal

It is proved that if one of the finite modules M and N, over a local ring R, has reducible complexity and has finite Gorenstein dimension then the depth formula holds, provided TorR_i(M,N) = 0 for i>>0. We also study the vanishing of…

Commutative Algebra · Mathematics 2012-04-19 Arash Sadeghi

Let A be a Noetherian local domain, N be a finitely generated torsion- free module, and M a proper submodule that is generically equal to N. Let A[N] be an arbitrary graded overdomain of A generated as an A-algebra by N placed in degree 1.…

alg-geom · Mathematics 2008-02-03 S. Kleiman , A. Thorup

In this paper, we explore the implications of the finiteness of complete intersection dimensions for RHom complexes and Ext modules. We prove various stability results and criteria for detecting finite complete intersection homological…

Commutative Algebra · Mathematics 2026-03-16 Paulo Martins , Victor D. Mendoza Rubio , Zachary Nason

Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ and ideal of $R$, $M$ a finite $R$--module, and $n$ a non-negative integer. In this paper, for an arbitrary $R$--module $X$ which is not necessarily finite, we…

Commutative Algebra · Mathematics 2019-05-09 Alireza Vahidi , Moharram Aghapournahr , Elahe Mahmoudi Renani

This is the author's diploma thesis. In the first part of the thesis the algebra structure on the Ext-spaces Ext^k(M(x), M(y)) of Verma modules M(x) and M(y) in the parabolic category O for the case of the parabolic subalgebras gl(n) x…

Representation Theory · Mathematics 2011-04-04 Angela Klamt

We study two properties of modules over a local hypersurface $R$: decency and rigidity. We show that the vanishing of Hochster's function $\theta^R(M,N)$, known to imply decent intersection, also implies rigidity. We investigate the…

Commutative Algebra · Mathematics 2011-02-25 Hailong Dao

Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., Tor_i^R(M,N) is isomorphic to…

Commutative Algebra · Mathematics 2010-09-10 W. Frank Moore , Greg Piepmeyer , Sandra Spiroff , Mark E. Walker