Related papers: On the vanishing of Ext and Tor
In this paper we exploit properties of Dao's eta-pairing as well as techniques of Huneke, Jorgensen, and Wiegand to study the vanishing of Tor_i(M,N) of finitely generated modules M, N over complete intersections. We prove vanishing of…
If $R$ is a ring with 1, we call a unital left $R$-module $M$ co-Hopfian (Hopfian) in the category of left $R$-modules if any monic (epic) endomorphism of $M$ is an automorphism. For commutative Noetherian $R$ we use results of Matlis to…
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…
The main purposes of this paper are to establish and exploit the result that, over a complete (Noetherian) local ring $R$ of prime characteristic for which the Frobenius homomorphism $f$ is finite, the appropriate restrictions of the…
Full level-n structures on smooth, complex curves are trivializations of the n-torsion points of their Jacobians. We give an algebraic proof that the etale cohomology of the moduli space of smooth, complex curves of genus at least 2 with…
We give a new proof of vanishing result of Esnault for the cohomology of constructible sheaves in the tower of ``mock'' Frobenius covers of projective space. The key idea is to use (a global form of) the perversity of nearby cycles.
Let $k$ be a perfect field of characteristic $p$, let $f_i:X_i\to\mathbb A_k^1$ $(i=1,2)$ be two $k$-morphism of finite type, and let $f:X_1\times_k X_2\to \mathbb A_k^1$ be the morphism defined by $f(z_1,z_2)=f_1(z_1)+f_2(z_2)$. For each…
Let $\fa$ denote an ideal of a $d$-dimensional Gorenstein local ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that $H^d_{\fa}(M,N)=0$ if and only if $\dim \hat{R}\big/ \fa\hat{R}+\fp>0$ for…
Let $R$ be a Noetherian local ring, and let $C$ be a semidualizing $R$-module. In this paper, we present some results concerning the vanishing of $\operatorname{Ext}$ and finite injective dimension of $\operatorname{Hom}$. Additionally, we…
We develop a homological duality framework based on a contravariant functor $D=\operatorname{Hom}_E(-,R)$ with dualizing object $R$. A morphism is called ethic when it satisfies the canonical double-dual compatibility $D^2(f)\eta=\eta f$.…
We prove that a certain eventually homological isomorphism between module categories induces a triangle equivalence between their singularity categories, Gorenstein defect categories and the stable categories of Gorenstein projective…
We identify the group of homomorphisms $\operatorname{Hom}_{\mathcal{GF}}(F,\mathbf{RU}_{\mathbb Q})$ in the category of ($\operatorname{fin}$)-global functors to the rationalization of the unitary representation ring functor and deduce…
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…
In the paper, we investigate the lifting of recollements with respect to Gorenstein-projective modules. Specifically, a homological ring epimorphism can induce a lifting of the recollement of the stable category of finitely generated…
In this note, finite modules locally of finite injective dimension over commutative Noetherian rings are characterized in terms of vanishing of Ext modules.
Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, and $X$ an $R$--module. In this paper, for fixed integers $s, t$ and a finite $\fa$--torsion $R$--module $N$, we first study the membership of…
Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1…
Let $\varphi\colon R\rightarrow A$ be a ring homomorphism, where $R$ is a commutative noetherian ring and $A$ is a finite $R$-algebra. We provide criteria for detecting the ascent and descent of Gorenstein homological properties. %As an…
Let $R$ be a commutative Noetherian ring, $\fa$ be an ideal of $R$ and $M$ be an $R$-module. It is shown that if $\Ext^i_R(R/\fa,M)$ is minimax for all $i\leq \dim M$, then the $R$-module $\Ext^i_R(N,M)$ is minimax for all $i\geq 0$ and for…
Let $R$ be a commutative Noetherian ring, and let $\mathfrak a$ be a proper ideal of $R$. Let $M$ be a non-zero finitely generated $R$-module with the finite projective dimension $p$. Also, let $N$ be a non-zero finitely generated…