Related papers: A generalized Dade's Lemma for local rings

Let (R,m,k) be an excellent, local, normal ring of characteristic p with a perfect residue field and dim R=d. Let M be a finitely generated R-module. We show that there exists a real number beta(M) such that lambda(M/I^[q]M) = e_{HK}(M) q^d…

Considering modules of finite complete intersection dimension over commutative Noetherian local rings, we prove (co)homology vanishing results in which we assume the vanishing of nonconsecutive (co)homology groups. In fact, the (co)homology…

Let $O_X$ (resp. $D_X$) be the sheaf of holomorphic functions (resp. the sheaf of linear differential operators with holomorphic coefficients) on $X$ (=the complex affine n-space). Let $Y$ be a locally weakly quasi-homogeneous free divisor…

The core of an module is the intersection of all its reductions. The main result asserts that the core of a finitely generated, torsion-free, integrally closed module over a two dimensional regular local ring is the product of the module…

In this paper we study homological dimensions of finitely generated modules over commutative Noetherian local rings, called reducing homological dimensions. We obtain new characterizations of Gorenstein and complete intersection local rings…

We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free…

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…

In this paper, we aim to obtain some results under the condition that the dual of a module over a commutative Noetherian ring has finite Gorenstein dimension. In this direction, we derive results involving vanishing of Ext as well as the…

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

In this paper, we construct a local ring $A$ such that the kernel of the map $G_0(A)\subq \to G_0(\hat{A})\subq$ is not zero, where $\hat{A}$ is the comletion of $A$ with respect to the maximal ideal, and $G_0()\subq$ is the Grothendieck…

We describe the equations of the Rees algebra R(I) of an equimultiple ideal I of deviation one, provided that I has a reduction J generated by a regular sequence and such that the initial forms of the elements of this sequence, except…

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

A foundational result by C. Huneke and V. Trivedi provides a formula for the depth of an ideal in terms of height, computed over a finite set of prime ideals, for rings that are homomorphic images of regular rings. Building on a result by…

It was proved by Avramov and Buchweitz that if A is a commutative local complete intersection ring with finitely generated modules M and N, then the Ext groups between M and N vanish from some step if and only if the Ext groups between N…

We study content ideals of polynomials and their behavior under multiplication. We give a generalization of the Lemma of Dedekind-Mertens and prove the converse under suitable dimensionality restrictions.

Let R be a regular local ring of dimension d, I an ideal of R, and M a finitely generated R-module of dimension n. We prove that the set of associated primes of Ext^i_R(R/I,H^j_I(M)) is finite for all i and j in the following cases: (1) dim…

We prove Suslin's local-global principle for principal congruence subgroups of Chevalley groups. Let $G$ be a Chevalley--Demazure group scheme with a root system $\Phi\ne A_1$ and $E$ its elementary subgroup. Let $R$ be a ring and $I$ an…

We study the irreducible complex representations of general linear groups over principal ideal local rings of length two with a fixed finite residue field. We construct a canonical correspondence between the irreducible representations of…

This paper is concerned about the relation between local cohomology modules defined by a pair of ideals and Serre classes of R-modules, as a generalization of results of J. Azami, R. Naghipour and B. Vakili (2009) and M. Asgharzadeh and…

For finitely generated modules $M$ and $N $ over a commutative Noetherian local ring $R$, we give various sufficient criteria for detecting freeness of $M$ or $N$ via vanishing of some finitely many Ext modules $\textrm{Ext}^i_R(M,N)$ and…