Related papers: Local B\'ezout Theorem for Henselian rings

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

We introduce the degree and local degree in equivariant motivic homotopy theory for the purpose of studying equivariant enumerative problems over general fields. Given a finite, tame group scheme $G$ over a field $k$ and an equivariant…

Let $A$ be an algebra over any field. We do not assume that $A$ has an identity. The \emph{multiplier algebra} $M(A)$ is a unital algebra associated to $A$. If we require the product in $A$ to be non-degenerate (as a bilinear form), the…

Consider a sparse system of n Laurent polynomials in n variables with complex coefficients and support in a finite lattice set A. The maximal number of isolated roots of the system in the complex n-torus is known to be the normalized volume…

One of the most stunning results in the representation theory of Cohen-Macaulay rings is Auslander's well known theorem which states a CM local ring of finite CM type can have at most an isolated singularity. There have been some…

This paper contains two theorems concerning the theory of maximal Cohen--Macaulay modules. The first theorem proves that certain Ext groups between maximal Cohen--Macaulay modules $M$ and $N$ must have finite length, provided only finitely…

We study local equivalence of bounded complexes over a polynomial ring $R[w]$, where $R$ is a noetherian ring. We provide a homological algebra approach to the results, the variants of which have been proved in many places in the…

We offer new definitions of joint reductions and mixed Buchsbaum-Rim multiplicity for certain collections of modules over a Noetherian local ring and illustrate their application to give two different proofs of a joint-reduction-number-zero…

In this paper we give several classes of Non-Gorenstein local rings $A$ which satisfy the property that $\text{Ext}^i_A(M, A) = 0$ for $i \gg 0$ then $\text{projdim}_A M$ is finite. We also show that if $\text{injdim}_A M = \infty$ then…

Wooley ({\em J. Number Theory}, 1996) gave an elementary proof of a Bezout like theorem allowing one to count the number of isolated integer roots of a system of polynomial equations modulo some prime power. In this article, we adapt the…

Let $K$ be a field, $R$ a standard graded $K$-algebra and $M$ be a finitely generated graded $R$-module. The rate of $M$, $rate_R(M)$, is a measure of the growth of the shifts in the minimal graded free resolution of $M$. In this paper, we…

Lyubeznik's conjecture, (\cite{Ly1}, Remark 3.7) asserts the finiteness of the set ssociated primes of local cohomology modules for regular rings. But, in the case of ramified regular local ring, it is open. Recently, in Theorem 1.2 of…

We prove that both the local and global $\mathbb{A}^1$-degree of an endomorphism of affine space can be computed in terms of the multivariate B\'ezoutian. In particular, we show that the B\'ezoutian bilinear form, the Scheja--Storch form,…

For a Noetherian local ring (R, m) having a finite residue field of cardinality q, we study the connections between the ideal Z(R) of R[x], which is the set of polynomials that vanish on R, and the ideal Z(m), the polynomials that vanish on…

The article proved the upper bound of leading coefficient of characteristic polynomial of graded ideal in a ring of generalized polynomials.

Let $R$ be a standard graded Noetherian algebra over an Artinian local ring. Motivated by the work of Achilles and Manaresi in intersection theory, we first express the multiplicity of $R$ by means of local $j$-multiplicities of various…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

In analogy with the classical, affine toric rings, we define a local toric ring as the quotient of a regular local ring modulo an ideal generated by binomials in a regular system of parameters with unit coefficients; if the coefficients are…

Previous research on exceptional units has primarily focused on the ring of rational integers or abstract finite rings, often restricted to linear or quadratic constraints. In this paper, we extend the concept of polynomial-type exceptional…

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