We show that if $(R, \m)$ is a Cohen-Macaulay local ring and $I$ is an ideal of minimal mixed multiplicity, then $\depth G(I) \geq d- 1$ implies that $\depth F(I) \geq d-1$. We use this to show that if $I$ is a contracted ideal in a two dimensional regular local ring then $\depth R[It]-1= \depth G(I) = \depth F(I)$. We also give an infinite class of ideals where $R[It]$ is Cohen-Macaulay but $F(I)$ is not.
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}$.
In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then $R$ is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.
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.
In this paper, we work with certain families of ideals called $p$-families in rings of prime characteristic. This family of ideals is present in the theories of tight closure, Hilbert-Kunz multiplicity, and $F$-signature. For each $p$-family of ideals, we attach a Euclidean object called $p$-body, which is analogous to the Newton Okounkov body associated with a graded family of ideals. Using the combinatorial properties of $p$-bodies and algebraic properties of the Hilbert-Kunz multiplicity, we establish in this paper a Volume = Multiplicity formula for $p$-families of $\mathfrak{m}_{R}$-prima…
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.
Ulrich ideals in numerical semigroup rings of small multiplicity are studied. If the semigroups are three-generated but not symmetric, the semigroup rings are Golod, since the Betti numbers of the residue class fields of the semigroup rings form an arithmetic progression; therefore, these semigroup rings are G-regular, possessing no Ulrich ideals. Nevertheless, even in the three-generated case, the situation is different, when the semigroups are symmetric. We shall explore this phenomenon, describing an explicit system of generators, that is the normal form of generators, for the Ulrich ideals…
A weaker form of the multiplicity conjecture of Herzog, Huneke, and Srinivasan is proven for two classes of monomial ideals: quadratic monomial ideals and squarefree monomial ideals with sufficiently many variables relative to the Krull dimension. It is also shown that tensor products, as well as Stanley-Reisner ideals of certain unions, satisfy the multiplicity conjecture if all the components do. Conditions under which the bounds are achieved are also studied.
We define a function, called s-multiplicity, that interpolates between Hilbert-Samuel multiplicity and Hilbert-Kunz multiplicity by comparing powers of ideals to the Frobenius powers of ideals. The function is continuous in s, and its value is equal to Hilbert-Samuel multiplicity for small values of s and is equal to Hilbert-Kunz multiplicity for large values of s. We prove that it has an Associativity Formula generalizing the Associativity Formulas for Hilbert-Samuel and Hilbert-Kunz multiplicity. We also define a family of closures such that if two ideals have the same s-closure then they ha…
We study conjectured generalizations of a formula of Lech which relates the multiplicity of a finite colength ideal in an equicharacteristic local ring to its colength, and prove one of these generalizations involving the multiplicity of the maximal ideal times the finite colength ideal. We also propose a Lech-type formula that relates multiplicity and the number of generators. We prove the conjecture in dimension three and establish a weaker result in full generality.
We study Hilbert-Kunz multiplicity of the powers of an ideal and establish existence of the second coefficient at the full level of generality, thus extending a recent result of Trivedi. We describe the second coefficient as the limit of the Hilbert coefficients of Frobenius powers and show that it is additive in short exact sequences and satisfies a Northcott-type inequality.
Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). We consider singularities of the normalization of the blow-up Proj R[It] of I. A theorem of Lipman implies that the ideal I has a unique factorization as a star-product of special star-simple complete ideals with possibly negative exponents for some of the factors. If the normalization of the projective model Proj R[It] is regular, we prove that it is the regular model obtained by blowing up the finite set of base points of I. Extending work of Lipman and Huneke-Sally in dimension 2, we prove that every loca…
In this paper we consider multi-graded extended Rees algebras of zero dimensional ideals which are Cohen-Macaulay (CM) with minimal multiplicity. We show that the minimal multiplicity property can occur only for the ordinary extended Rees algebra and the bigraded extended Rees algebra. For the bigraded extended Rees algebra we find necessary conditions for it to be CM with minimal multiplicity. We also produce bigraded Rees algebras which are Cohen-Macaulay with minimal multiplicity.
The j-multiplicity is an invariant that can be defined for any ideal in a Noetherian local ring $(R, m)$. It is equal to the Hilbert-Samuel multiplicity if the ideal is $m$-primary. In this paper we explore the computability of the j-multiplicity, giving another proof for the length formula and the additive formula.
Two formulas for the multiplicity of the fiber cone $F(I)=\oplus_{n=0}^{\infty} I^n/\m I^n$ of an $\m$-primary ideal of a $d$-dimensional Cohen-Macaulay local ring $(R,\m)$ are derived in terms of the mixed multiplicity $e_{d-1}(\m | I),$ the multiplicity $e(I)$ and superficial elements. As a consequence, the Cohen-Macaulay property of $F(I)$ when $I$ has minimal mixed multiplicity or almost minimal mixed multiplicity is characterized in terms of reduction number of $I$ and lengths of certain ideals. We also characterize Cohen-Macaulay and Gorenstein property of fiber cones of $\m$-primary ide…
We study ideals of Borel type, including $k$-Borel ideals and $t$-spread Veronese ideals. We determine their free resolutions and their homological shift ideals. The multiplicity and the analytic spread of equigenerated squarefree principal Borel ideals are computed. For the multiplicity, the result is given under an additional assumption which is always satisfied for squarefree principal Borel ideals. These results are used to analyze the behaviour of height, multiplicity and analytic spread of the homological shift ideals $HS_j(I)$ as functions of $j$, when $I$ is an equigenerated squarefree…
Let $A = K[X_1,...,X_n]$ and let $I$ be a graded ideal in $A$. We show that the upper bound of Multiplicity conjecture of Herzog, Huneke and Srinivasan holds asymptotically (i.e., for $I^k$ and all $k \gg 0$) if $I$ belongs to any of the following large classes of ideals: \begin{enumerate}[\rm (1)] \item radical ideals. \item monomial ideals with generators in different degrees. \item zero-dimensional ideals with generators in different degrees. \end{enumerate} Surprisingly, our proof uses local techniques like analyticity, reductions, equimultiplicity and local results like Rees's theorem on …
In this article we investigate when a complete ideal in a two-dimensional regular local ring is a multiplier ideal of some ideal with an integral multiplying parameter. In particular, we show that this question is closely connected to the Gorenstein property of the blowup along the ideal.
Let $G$ be a bipartite graph and $I(G)$ the toric ideal associated to the graph $G$. In this article we calculate Hilbert-Samuel multiplicity of the graph $G$ for which the toric ideal $I(G)$ is generated by a quadratic binomials and it satiesfies some conditions.
In characteristic zero, the residual order constitutes, after the local multiplicity, the second key invariant for the resolution of singularities. It is defined as the order of the coefficient ideal in a local hypersurface of maximal contact, minus the exceptional multiplicities. It does not increase under blowup in permissible centers as long as the local multiplicity remains constant. In positive characteristic, however, the residual order (defined now as the maximum over all smooth local hypersurfaces) may increase under blowup. In the article we analyze in detail the circumstances when th…
We investigate the Rees algebra and the toric ring of the squarefree monomial ideal associated to the three-dimensional Ferrers diagram. Under the projection property condition, we describe explicitly the presentation ideals of the Rees algebra and the toric ring. We show that the toric ring is a Koszul Cohen--Macaulay normal domain, while the Rees algebra is Koszul and the defining ideal is of fiber type.
We find the defining equations of Rees rings of linearly presented height three Gorenstein ideals. To prove our main theorem we use local cohomology techniques to bound the maximum generator degree of the torsion submodule of symmetric powers in order to conclude that the defining equations of the Rees algebra and the special fiber ring have the same image in the symmetric algebra. We show that this image is the unmixed part of the ideal generated by the maximal minors of a matrix of linear forms which is annihilated by a vector of indeterminates, and otherwise has maximal possible grade. An i…
We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kunz function of the ideal $(I,It)\mathcal{R}(I)$ when $I$ is a parameter ideal in a Cohen-Macaulay local ring of dimension $d \geq 2$, proving that the generalized Hilbert-Kunz function is a piecewise p…
We prove new results on the connections between reduction numbers and the Castelnuovo-Mumford regularity of blowup algebras and blowup modules, the key basic tool being the operation of Ratliff-Rush closure. First, we answer in two particular cases a question of M. E. Rossi, D. T. Trung, and N. V. Trung about Rees algebras of ideals in two-dimensional Buchsbaum local rings, and we even ask whether one of such situations always holds. In another theorem we generalize a result of A. Mafi on ideals in two-dimensional Cohen-Macaulay local rings, by extending it to arbitrary dimension (and allowing…
Let $R$ be a Noetherian local ring. We define the minimal $j$-multiplicity and almost minimal $j$-multiplicity of an arbitrary $R$-ideal on any finite $R$-module. For any ideal $I$ with minimal $j$-multiplicity or almost minimal $j$-multiplicity on a Cohen-Macaulay module $M$, we prove that under some residual assumptions, the associated graded module ${\rm gr}_I(M)$ is Cohen-Macaulay or almost Cohen-Macaulay, respectively. Our work generalizes the results for minimal multiplicity and almost minimal multiplicity obtained by Sally, Rossi, Valla, Wang, Huckaba, Elias, Corso, Polini, and VazPinto…
We use the theory of resolutions for a given Hilbert function to investigate the multiplicity conjectures of Huneke and Srinivasan and Herzog and Srinivasan. To prove the conjectures for all modules with a particular Hilbert function, we show that it is enough to prove the statements only for elements at the bottom of the partially ordered set of resolutions with that Hilbert function. This enables us to test the conjectured upper bound for the multiplicity efficiently with the computer algebra system Macaulay 2, and we verify the upper bound for many Artinian modules in three variables with s…
We prove a characterization of the j-multiplicity of a monomial ideal as the normalized volume of a polytopal complex. Our result is an extension of Teissier's volume-theoretic interpretation of the Hilbert-Samuel multiplicity for m-primary monomial ideals. We also give a description of the epsilon-multiplicity of a monomial ideal in terms of the volume of a region.
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 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.
This paper investigates the relationship between multiplicities and the degree sequence of ideals in graded algebras, gives multiplicity equations of graded rings via the degree sequence of ideals, and characterizes mixed multiplicities and multiplicities of Rees rings in terms of the degree sequence of ideals. As an application, the paper answered an open question on the multiplicity of Rees rings.
In this paper we work with several divisors of a module $E \subseteq G \simeq R^{e}$ having rank $e$, such as the classical Fitting ideals of $E$ and of $G/E$, and the more recently introduced (generic) Bourbaki ideals $I(E)$ (A. Simis, B. Ulrich, and W. Vasconcelos [18]) or ideal norms $[[E]]_R$ (O. Villamayor [22]). We found several relations and equalities among them which allow to describe in some cases universal properties with respect to $E$ of their blow ups. As a byproduct we are also able to obtain lower bounds for the analytic spread $\ell(\bigwedge^{e}E)$ related with the algebraic …
Let $R$ be a polynomial ring over a field. We prove an upper bound for the multiplicity of $R/I$ when $I$ is a homogeneous ideal of the form $I=J+(F)$, where $J$ is a Cohen-Macaulay ideal and $F\notin J$. The bound is given in terms of two invariants of $R/J$ and the degree of $F$. We show that ideals achieving this upper bound have high depth, and provide a purely numerical criterion for the Cohen-Macaulay property. Applications to quasi-Gorenstein rings and almost complete intersections are given.
The $j$-multiplicity plays an important role in the intersection theory of Stückrad-Vogel cycles, while recent developments confirm the connections between the $ε$-multiplicity and equisingularity theory. In this paper we establish, under some constraints, a relationship between the $j$-multiplicity of an ideal and the degree of its fiber cone. As a consequence, we are able to compute the $j$-multiplicity of all the ideals defining rational normal scrolls. By using the standard monomial theory, we can also compute the $j$- and $ε$-multiplicity of ideals defining determinantal varieties: The fo…
Herzog, Huneke, and Srinivasan have conjectured that for any homogeneous $k$-algebra, the multiplicity is bounded above by a function of the maximal degrees of the syzygies and below by a function of the minimal degrees of the syzygies. The goal of this paper is to establish the multiplicity conjecture of Herzog, Huneke, and Srinivasan about the multiplicity of graded Cohen-Macaulay algebras over a field $k$ for $k$-algebras $k[x_1, ..., x_n]/I$ being $I$ a determinantal ideal of arbitrary codimension.
Let (R, m) be a Cohen-Macaulay local ring and I be an m-primary ideal. We introduce ideals of almost minimal mixed multiplicty which are analogues of ideals studied by J. Sally. The main theorem describes the Hilbert series of fiber cones of these ideals.
Fiber cones of 0-dimensional ideals with almost minimal multiplicity in Cohen-Macaulay local rings are studied. Ratliff-Rush closure of filtration of ideals with respect to another ideal is introduced. This is used to find a bound on the reduction number with respect to an ideal. Rossi's bound on reduction number in terms of Hilbert coefficients is obtained as a consequence. Sufficient conditions are provided for the fiber cone of 0-dimensional ideals to have almost maximal depth. Hilbert series of such fiber cones are also computed.
Let $J\subset I$ be ideals in a formally equidimensional local ring with $λ(I/J)<\infty.$ Rees proved that for all $n\gg0$, $λ(I^n/J^n)$ is a polynomial $P(I/J)(X)$ in $n$ of degree at most dim $R$ and $J$ is a reduction of $I$ if and only if deg $P(I/J)(X)\leq$ dim $R-1.$ We extend this result for all Noetherian filtrations of ideals in a formally equidimensional local ring and for (not necessarily Noetherian) filtrations of ideals in analytically irreducible rings. We provide certain classes of ideals such that deg $P(I/J)$ achieves its maximal degree. On the other hand, for ideals $J\subset…
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…
We provide suitable conditions under which the asymptotic limit of the Hilbert-Samuel coefficients of the Frobenius powers of an $\mathfrak{m}$-primary ideal exists in a Noetherian local ring $(R,\mathfrak{m})$ with prime characteristic $p>0.$ This, in turn, gives an expression of the Hilbert-Kunz multiplicity of powers of the ideal. We also prove that for a face ring $R$ of a simplicial complex and an ideal $J$ generated by pure powers of the variables, the generalized Hilbert-Kunz function $\ell(R/(J^{[q]})^k)$ is a polynomial for all $q,k$ and also give an expression of the generalized Hilb…
Let $d \geq 2$ and $m\geq 1$ be integers such that $\gcd (d,m)=1.$ Let ${\mathfrak p}$ be the defining ideal of the monomial curve in ${\mathbb A}_{ \Bbbk{k}}^d$ parametrized by $(t^{n_1}, \ldots, t^{n_d})$ where $n_i = d + (i-1)m$ for all $i = 1, \ldots, d$. In this paper, we describe the symbolic powers ${\mathfrak p}^{(n)} $ for all $n \geq 1$. As a consequence we show that the symbolic blowup algebras ${\mathcal R}_s{({\mathfrak p})}$ and $G_{s}({\mathfrak p}) $ are Cohen-Macaulay. This gives a positive answer to a question posed by S.~Goto in \cite{goto}. We also discuss when these blowup…
Let $R$ be a polynomial ring and $I \subset R$ be a perfect ideal of height two minimally generated by forms of the same degree. We provide a formula for the multiplicity of the saturated special fiber ring of $I$. Interestingly, this formula is equal to an elementary symmetric polynomial in terms of the degrees of the syzygies of $I$. Applying ideas introduced in arXiv:1805.05180, we obtain the value of the j-multiplicity of $I$ and an effective method for determining the degree and birationality of rational maps defined by homogeneous generators of $I$.
Let $(R, \mathfrak m)$ be a Noetherian local ring and $I$ a $\mathfrak m$-primary ideal. In this paper, we study an inequality involving the number of generators, the Loewy length and the multiplicity of $I$. There is strong evidence that the inequality holds for all integrally closed ideals of finite colength if and only if $R$ has sufficiently nice singularities. We verify the inequality for regular local rings in all dimensions, for rational singularity in dimension $2$, and cDV singularities in dimension $3$. In addition, we can classify when the inequality always hold for a Cohen-Macaulay…
Let $R$ be a polynomial ring over a field and $I \subset R$ be a Gorenstein ideal of height three that is minimally generated by homogeneous polynomials of the same degree. We compute the multiplicity of the saturated special fiber ring of $I$. The obtained formula depends only on the number of variables of $R$, the minimal number of generators of $I$, and the degree of the syzygies of $I$. Applying results from arXiv:1805.05180, we get a formula for the $j$-multiplicity of $I$ and an effective method to study a rational map determined by a minimal set of generators of $I$.
This paper gives the additivity and reduction formulas for mixed multiplicities of multi-graded modules $M$ and mixed multiplicities of arbitrary ideals, and establishes the recursion formulas for the sum of all the mixed multiplicities of $M.$ As an application of these formulas we get the recursion formulas for the multiplicity of multi-graded Rees modules.
