Related papers: Decent intersection and Tor-rigidity for modules o…

Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…

Tensor products usually have nonzero torsion. This is a central theme of Auslander's paper "Modules over unramified regular local rings"; the theme continues in the work of Huneke and Wiegand. The main focus in this note is on tensor powers…

Given a flat local ring homomorphism R\to S, and two finitely generated R-modules M and N, we describe conditions under which the modules Tor^i(M,N) and Ext^i(M,N) have S-module structures that are compatible with their R-module structures.

M. Hochster defines an invariant namely $\Theta(M,N)$ associated to two finitely generated module over a hyper-surface ring $R=P/f$, where $P=k\{x_0,...,x_n\}$ or $k[X_0,...,x_n]$, for $k$ a field and $f$ is a germ of holomorphic function…

We systematically study the intersection flatness and Ohm-Rush properties for modules over a commutative ring, drawing inspiration from the work of Ohm and Rush and of Hochster and Jeffries. We establish new structural results for modules…

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…

Let $V$ be a degree $d$, reduced hypersurface in $\mathbb{CP}^{n+1}$, $n \geq 1$, and fix a generic hyperplane, $H$. Denote by $\mathcal{U}$ the (affine) hypersurface complement, $\mathbb{CP}^{n+1}- V \cup H$, and let $\mathcal{U}^c$ be the…

We characterize the $k$-torsion freeness of the module of differentials of order $n$ of a point of a hypersurface in terms of the singular locus of the corresponding local ring.

In this article, we show test properties, in the sense of finitely many vanishing of Ext or Tor, of CM (Cohen-Macaulay) modules whose multiplicity and number of generators (resp., type) are related by certain inequalities. We apply these…

Blowing up a rational surface singularity in a reflexive module gives a (any) partial resolution dominated by the minimal resolution. The main theorem shows how deformations of the pair (singularity, module) relates to deformations of the…

Let M be a matrix whose entries are power series in several variables and determinant det(M) does not vanish identically. The equation det(M)=0 defines a hypersurface singularity and the (co)-kernel of M is a maximally Cohen-Macaulay module…

We analyze whether Ulrich modules, not necessarily maximal CM (Cohen-Macaulay), can be used as test modules, which detect finite homological dimensions of modules. We prove that Ulrich modules over CM local rings have maximal complexity and…

Let $(S,\mathfrak{m},k)$ and $(T,\mathfrak{n},k)$ be local rings, and let $R$ denote their fiber product over their common residue field $k$. Inspired by work of Naseh and Sather-Wagstaff, we explore consequences of vanishing of ${\rm…

While intersection cohomology is stable under small resolutions, both ordinary and intersection cohomology are unstable under smooth deformation of singularities. For complex projective algebraic hypersurfaces with an isolated singularity,…

An improved understanding of turbulence is essential for the effective modelling and control of industrial and geophysical processes. Homogeneous, isotropic turbulence (HIT) is the archetypal field for developing turbulence physics theory.…

In this paper we generalize Artin-Verdier, Esnault and Wunram construction of McKay correspondence to arbitrary Gorenstein surface singularities. The key idea is the definition and a systematic use of a degeneracy module, which is an…

Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension…

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$)…

We investigate symmetry in the vanishing of Tate cohomology for finitely generated modules over local Gorenstein rings. For finitely generated R-modules M and N over Gorenstein local ring R, it is shown that $\widehat{Ext}^i_R(M,N)=0$ for…

We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…