Let A be a Buchsbaum local ring with the maximal ideal m and let e(A) denote the multiplicity of A. Let Q be a parameter ideal in A and put I=Q:m. Then the equality I^2=QI holds true, if e(A)=2 and depthA>0. The assertion is no longer true, unless e(A)=2. Counterexamples are given.
We generalize an improved Lech bound, due to Huneke, Smirnov, and Validashti, for the Buchsbaum-Rim multiplicity and mixed multiplicity. We reduce the problem to the graded case and then to the polynomial ring case. There we use complete reductions, studied by Rees, to prove sharper bounds for the mixed multiplicity in low dimensions before proving the general case.
In this article we prove that the Buchsbaum-Rim multiplicity $e(F/N)$ of a parameter module $N$ in a free module $F=A^r$ is bounded above by the colength $\ell_A(F/N)$. Moreover, we prove that once the equality $\ell_A(F/N)=e(F/N)$ holds true for some parameter module $N$ in $F$, then the base ring $A$ is Cohen-Macaulay.
In this article, we compute the Buchsbaum-Rim function of two variables associated to a direct sum of cyclic modules and give a formula for the last positive associated Buchsbaum-Rim multiplicity in terms of the ordinary Hilbert-Samuel multiplicity of an ideal. This is a generalization of a formula for the last positive Buchsbaum-Rim multiplicity given by Kirby and Rees.
The associated Buchsbaum-Rim multiplicities of a module are a descending sequence of non-negative integers. These invariants of a module are a generalization of the classical Hilbert-Samuel multiplicity of an ideal. In this article, we compute the associated Buchsbaum-Rim multiplicity of a direct sum of cyclic modules and give a formula for the second to last positive Buchsbaum-Rim multiplicity in terms of the ordinary Buchsbaum-Rim and Hilbert-Samuel multiplicities. This is a natural generalization of a formula given by Kirby and Rees.
Over a regular local ring of dimension two with maximal ideal m, we study the Buchsbaum-Rim multiplicity of a finitely generated module M of finite colength in a free module F. First, we investigate the colength of an m-primary ideal and its Hilbert-Samuel multiplicity using linkage theory. As applications, we establish several multiplicity formula that express the Buchsbaum-Rim multiplicity of M in terms of the Hilbert-Samuel multiplicities of ideals related to a certain minimal reduction U of M. Moreover, there exists m-primary Bourbaki ideals I and J of the modules F and M respectively such…
Let A be a Noetherian local ring with the maximal ideal m and d=dimA. Let Q be a parameter ideal in A. Let I=Q:m. The problem of when the equality I^2=QI holds true is explored. When A is a Cohen-Macaulay ring, this problem was completely solved by A. Corso, C. Huneke, C. Polini, and W. Vasconcelos, while nothing is known when A is not a Cohen-Macaulay ring. The present purpose is to show that within a huge class of Buchsbaum local rings A the equality I^2=QI holds true for all parameter ideals Q. The result will supply theorems of K. Yamagishi, S. Goto and K. Nishida with ample examples of id…
We study the Buchsbaum-Rim multiplicity, ab inicio, through a Koszul-Čech spectral sequence. We show that the Buchsbaum-Rim multiplicity is the arithmetic genus (Euler characteristic) of Koszul homology sheaves on a projective space over the base scheme.
In this paper we first give a lower bound on multiplicities for Buchsbaum homogeneous $k$-algebras $A$ in terms of the dimension $d$, the codimension $c$, the initial degree $q$, and the length of the local cohomology modules of $A$. Next, we introduce the notion of Buchsbaum $k$-algebras with minimal multiplicity of degree $q$, and give several characterizations for those rings. In particular, we will show that those algebras have linear free resolutions. Further, we will give many examples of those algebras.
In this paper, we study non-Cohen--Macaulay Buchsbaum Stanley--Reisner rings with linear free resolution. In particular, for given integers $c$, $d$, $q$ with $c \ge 1$, $2 \le q \le d$, we give an upper bound $h_{c,d,q}$ on the dimension of the unique non-vanishing homology $\widetilde{H}_{q-2}(Δ;k)$ of a $d$-dimensional Buchsbaum ring $k[Δ]$ with $q$-linear resolution and codimension $c$. Also, we discuss about existence for such Buchsbaum rings with $\dim_k \widetilde{H}_{q-2}(Δ;k) = h$ for any $h$ with $0 \le h \le h_{c,d,q}$, and prove an existence theorem in the case of $q=d=3$ using the…
In this exposition of the equality and inequality of Minkowski for multiplicity of ideals, we provide simple algebraic and geometric proofs. Connections with mixed multiplicities of ideals are explained.
Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d>0$ with infinite residue field. Let $M$ be a finitely generated proper $R$-submodule of a free $R$-module $F$ with $\ell (F/M) < \infty$ and having rank $r$. In this article, we study the fiber multiplicity $f_0(M)$ of the module $M$. We prove that if $(R,\mathfrak{m})$ is a two dimensional Cohen-Macaulay local ring, then $f_0(M)\le br_1(M)-br_0(M)+\ell (F/M)+μ(M)-r$, where $br_i(M)$ denotes the $i^{th}$ Buchsbaum-Rim coefficient of $M$.
Let $(R, \mathfrak m)$ be a $d$-dimensional Noetherian local ring and $E$ a finitely generated $R$-submodule of a free module $R^p.$ In this work we introduce a multiplicity sequence $c_k(E), k=0,..., d+p-1$ for $E$ that generalize the Buchsbaum-Rim multiplicity defined when $E$ has finite colength in $R^p$ as well as the Achilles-Manaresi multiplicity sequence that applies when $E\subseteq R$ is an ideal. Our main result is that the new multiplicity sequence can indeed be used to detect integral dependence of modules. Our proof is self-contained and implies known numerical criteria for integr…
We study the relationship between the reduction number of a primary ideal of a local ring relative to one of its minimal reductions and the multiplicity of the corresponding Sally module. This paper is focused on three goals: (i) To develop a change of rings technique for the Sally module of an ideal to allow extension of results from Cohen-Macaulay rings to more general rings. (ii) To use the fiber of the Sally modules of almost complete intersection ideals to connect its structure to the Cohen-Macaulayness of the special fiber ring. (iii) To extend some of the results of (i) to two-dimension…
Let $(R,{\bf m})$ be a two-dimensional regular local ring with infinite residue field. We prove an analogue of the Hoskin-Deligne length formula for a finitely generated, torsion-free, integrally closed $R$-module $M$. As a consequence, we get a formula for the Buchsbaum-Rim multiplicity of $F/M$, where $F = M^{**}$.
We prove a projection formula, expressing a relative Buchsbaum--Rim multiplicity in terms of corresponding ones over a module-finite algebra of pure degree, generalizing an old formula for the ordinary (Samuel) multiplicity. Our proof is simple in spirit: after the multiplicities are expressed as sums of intersection numbers, the desired formula results from two projection formulas, one for cycles and another for Chern classes. Similarly, but without using any projection formula, we prove an expansion formula, generalizing the additivity formula for the ordinary multiplicity, a case of the ass…
Given a local Noetherian ring $(R, {\mathfrak m})$ of dimension $d>0$ and infinite residue field, we study the invariants $($dimension and multiplicity$)$ of the Sally module $S_J(I)$ of any ${\mathfrak m}$-primary ideal $I$ with respect to a minimal reduction $J$. As a by-product we obtain an estimate for the Hilbert coefficients of ${\mathfrak m}$ that generalizes a bound established by J. Elias and G. Valla in a local Cohen-Macaulay setting. We also find sharp estimates for the multiplicity of the special fiber ring ${\mathcal F}(I)$, which recover previous bounds established by C. Polini, …
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many Gorenstein Rees algebras over non-Cohen-Macaulay local rings. For example, the Rees algebra $\mathcal{R}(\mathfrak{q}^d)=\oplus_{i\ge 0}\mathfrak{q}^{di}$ is Gorenstein for every parameter ideal $\mathfrak{q}$ that is a reduction of the maximal ideal in a $d$-dimensional Buchsbaum local ring of depth 1 and multiplicity 2.
We give bounds for the Hilbert-Kunz multiplicity of the product of two ideals, and we characterize the equality in terms of the tight closures of the ideals. Connections are drawn with $*$-spread and with ordinary length calculations.
Let $(R, {\mathfrak m})$ be a Noetherian local ring and let $I$ be an ${\mathfrak m}$-primary ideal. In this paper we give sharp bounds on the multiplicity of the special fiber ring ${\mathcal F}$ of $I$ in terms of other well-known invariants of $I$. A special attention is then paid in studying when equality holds in these bounds, with a particular interest in the unmixedness or, better, the Cohen-Macaulayness of ${\mathcal F}$.
The Chern numbers of the title are the first coefficients (after the multiplicities) of the Hilbert functions of various filtrations of ideals of a local ring $(R, \mathfrak{m})$. For a Noetherian (good) filtration $\mathcal{A}$ of $\mathfrak{m}$-primary ideals, the positivity and bounds for $e_1(\mathcal{A})$ are well-studied if $R$ is Cohen-Macaulay, or more broadly, if $R$ is a Buchsbaum ring or mild generalizations thereof. For arbitrary geometric local domains, we introduce techniques based on the theory of maximal Cohen-Macaulay modules and of extended multiplicity functions to establish…
We prove the multiplicity bounds conjectured by Herzog-Huneke-Srinivasan and Herzog-Srinivasan in the following cases: the strong conjecture for edge ideals of bipartite graphs, and the weaker Taylor bound conjecture for all quadratic monomial ideals. We attach a directed graph to a bipartite graph with perfect matching, and describe operations on the directed graph that would reduce the problem to a Cohen-Macaulay bipartite graph. We determine when equality holds in the conjectured bound for edge ideals of bipartite graphs, and verify that when equality holds, the resolution is pure. We chara…
In this paper we explore the almost Cohen-Macaulayness of the associated graded ring of stretched $\mathfrak{m}$-primary ideals with small first Hilbert coefficient in a Cohen-Macaulay local ring $(A,\mathfrak{m})$. In particular, we explore the structure of stretched $\mathfrak{m}$-primary ideals satisfying the equality $\mathrm{e}_1(I)=\mathrm{e}_0(I)-\ell_A(A/I)+4$ where $\mathrm{e}_0(I)$ and $\mathrm{e}_1(I)$ denote the multiplicity and the first Hilbert coefficient respectively.
Let $M$ be a finitely generated module over a Noetherian local ring. This paper reports, for a given parameter ideal $Q$ for $M$, a criterion for the equality ${\mathrm{g}}_s(Q;M)=\operatorname{hdeg}_Q(M)-{\mathrm{e}}_Q^0(M)-{\mathrm{T}}_Q^1(M)$, where ${\mathrm{g}}_s(Q;M)$, ${\mathrm{e}}_Q^0(M)$, ${\mathrm{e}}_Q^1(M)$, and ${\mathrm{T}}_Q^1(M)$ respectively denote the sectional genus, the multiplicity, the first Hilbert coefficient, and the Homological torsion of $M$ with respect to $Q$.
We develop a theory of multiplicities and mixed multiplicities of filtrations, extending the theory for filtrations of $m$-primary ideals to arbitrary (not necessarily Noetherian) filtrations. The mixed multiplicities of $r$ filtrations on an analytically unramified local ring $R$ come from the coefficients of a suitable homogeneous polynomial in $r$ variables of degree equal to the dimension of the ring, analogously to the classical case of the mixed multiplicities of $m$-primary ideals in a local ring. We prove that the Minkowski inequalities hold for arbitrary filtrations. The characterizat…
The first two Hilbert coefficients of a primary ideal play an important role in commutative algebra and in algebraic geometry. In this paper we give a complete algebraic structure of the Sally module of integrally closed ideals $I$ in a Cohen-Macaulay local ring $A$ satisfying the equality $\mathrm{e}_1(I)=\mathrm{e}_0(I)-\ell_A(A/I)+\ell_A(I^2/QI)+1, $ where $Q$ is a minimal reduction of $I$, and $\mathrm{e}_0(I)$ and $\mathrm{e}_1(I)$ denote the first two Hilbert coefficients of $I, $ respectively the multiplicity and the Chern number of $I$. This almost extremal value of $\mathrm{e}_1(I) $ …
For a graph $G$, Postnikov-Shapiro \cite{PS04} construct two ideals $I_G$ and $J_G.$ $I_G$ is a monomial ideal and $J_G$ is generated by powers of linear forms. They proved the equality of their Hilbert series and conjectured that the graded Betti numbers are equal. When $G=K_{n+1}^{l,k}$ is the complete graph on the vertices $\{0,1,\cdots, n\}$ with the edges $e_{i, j},$ $i, j\neq 0,$ of multiplicity $k$ and the edges $e_{0, i}$ of multiplicity $l,$ for two non-negative integers $k$ and $l,$ they gave an explicit formula for the graded Betti numbers of $I_G,$ which are conjecturally the same …