We associate convex regions in R^n to m-primary graded sequences of subspaces, in particular m-primary graded sequences of ideals, in a large class of local algebras (including analytically irreducible local domains). These convex regions encode information about Samuel multiplicities. This is in the spirit of the theory of Grobner bases and Newton polyhedra on one hand, and the theory of Newton-Okounkov bodies for linear systems on the other hand. We use this to give a new proof, as well as a generalization of a Brunn-Minkowski inequality for multiplicities due to Teissier and Rees-Sharp.
We show that the mixed volumes of arbitrary convex bodies are equal to mixed multiplicities of graded families of monomial ideals, and to normalized limits of mixed multiplicities of monomial ideals. This result evinces the close relation between the theories of mixed volumes from convex geometry and mixed multiplicities from commutative algebra.
We show the existence (and define) the mixed multiplicities of arbitrary graded families of ideals under mild assumptions. In particular, our methods and results are valid for the case of arbitrary $\mathfrak{m}$-primary graded families. Furthermore, we provide a far-reaching "Volume = Multiplicity formula" for the mixed multiplicities of graded families of ideals.
This paper is a survey on major results on Hilbert functions of multigraded algebras and mixed multiplicities of ideals, including their applications to the computation of Milnor numbers of complex analytic hypersurfaces with isolated singularity, multiplicities of blowup algebras and mixed volumes of polytopes.
The main results of this paper interpret mixed volumes of lattice polytopes as mixed multiplicities of ideals and mixed multiplicities of ideals as Samuel's multiplicities. In particular, we can give a purely algebraic proof of Bernstein's theorem which asserts that the number of common zeros of a system of Laurent polynomial equations in the torus is bounded above by the mixed volume of their Newton polytopes.
We generalize a result of Ein-Lazarsfeld-Smith (math.AG/0202303), proving that for an arbitrary sequence of zero-dimensional ideals, the multiplicity of the sequence is equal with its volume. This is done using a deformation to monomial ideals. As a consequence of our result, we obtain a formula which computes the multiplicity of an ideal I in terms of the multiplicities of the initial monomial ideals of the powers I^m. We use this to give a new proof of the inequality between multiplicity and the log canonical threshold due to de Fernex, Ein and the author.
Suppose that $R$ is an excellent local domain with maximal ideal $m_R$. The theory of multiplicities and mixed multiplicities of $m_R$-primary ideals extends to (possibly non Noetherian) filtrations of $R$ by $m_R$-primary ideals, and many of the classical theorems for $m_R$-primary ideals continue to hold for filtrations. The celebrated theorems involving inequalities continue to hold for filtrations, but the good conclusions that hold in the case of equality for $m_R$-primary ideals do not hold for filtrations. In this article, we consider multiplicities and mixed multiplicities of $R$ by $m…
This paper studies mixed multiplicities of an arbitrary standard bigraded algebra and mixed multiplicities of two ideals I, J in a local ring (A,m), where I is an m-primary ideal and J an arbitrary ideal. The main results are criteria for their positivity which can be used to compute them effectively. We also show that the range of positive mixed multiplicities of a bigraded algebra is rigid if the algebra satisfies the first chain condition and is connected in codimension one and that this range is always rigid for mixed multiplicities of ideals. These results can be used to study the mu-inva…
Let R be the local ring of a point on a variety X over an algebraically closed field k. We make a connection between the notion of mixed (Samuel) multiplicity of m-primary ideals in R and intersection theory of subspaces of rational functions on X which deals with the number of solutions of systems of equations. From this we readily deduce several properties of mixed multiplicities. In particular, we prove a (reverse) Alexandrov-Fenchel inequality for mixed multiplicities due to Teissier and Rees-Sharp. As an application in convex geometry we obtain a proof of a (reverse) Alexandrov-Fenchel in…
Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d > 0$. Let $I_\bullet = \{I_n\}_{n \in \mathbb{N}}$ be a graded family of $\mathfrak{m}$-primary ideals in $R$. We examine how far off from a polynomial can the length function $\ell_R(R/I_n)$ be asymptotically. More specifically, we show that there exists a constant $γ> 0$ such that for all $n \ge 0$, $$\ell_R(R/I_{n+1}) - \ell_R(R/I_n) < γn^{d-1}.$$
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 define and explore properties of mixed multiplicities of (not necessarily Noetherian) filtrations of $m_R$-primary ideals in a Noetherian local ring $R$, generalizing the classical theory for $m_R$-primary ideals. We construct a real polynomial whose coefficients give the mixed multiplicities. This polynomial exists if and only if the dimension of the nilradical of the completion of $R$ is less than the dimension of $R$, which holds for instance if $R$ is excellent and reduced. We show that many of the classical theorems for mixed multiplicities of $m_R$-primary ideals hold fo…
We give simple necessary and sufficient conditions on projective schemes over a field k for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist. We also give necessary and sufficient conditions on a local ring R of dimension d for the limit \lim_{i\rightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} to exist whenever \{I_n\} is a graded family of m_R-primary ideals. We give a number of applications.
We explore connections between the generalized multiplicities of square-free monomial ideals and the combinatorial structure of the underlying hypergraphs using methods of commutative algebra and polyhedral geometry. For instance, we show the $j$-multiplicity is multiplicative over the connected components of a hypergraph, and we explicitly relate the $j$-multiplicity of the edge ideal of a properly connected uniform hypergraph to the Hilbert-Samuel multiplicity of its special fiber ring. In addition, we provide general bounds for the generalized multiplicities of the edge ideals and compute t…
We find simple necessary and sufficient conditions on a local ring $R$ of dimension $d$ for the limit $$ \lim_{i\rightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} $$ to exist whenever $\{I_n\}$ is a graded family of $m_R$-primary ideals, and give a number of applications. We also give simple necessary and sufficient conditions on projective schemes over a field $k$ for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist.
We consider the notion of mixed multiplicities for multigraded modules by using Hilbert series, and this is later applied to study the projective degrees of rational maps. We use a general framework to determine the projective degrees of a rational map via a computation of the multiplicity of the saturated special fiber ring. As specific applications, we provide explicit formulas for all the projective degrees of rational maps determined by perfect ideals of height two or by Gorenstein ideals of height three.
In this paper, we present an algorithm for computing the minimal reductions of $\mathfrak{m}$-primary ideals of Cohen--Macaulay local rings. Using this algorithm, we are able to compute the Hilbert--Samuel multiplicities and solve the membership problem for the integral closure of $\mathfrak{m}$-primary ideals.
The theory of mixed multiplicities of filtrations by $m$-primary ideals in a ring is introduced in a recent paper by Cutkosky, Sarkar and Srinivasan. In this paper, we consider the positivity of mixed multiplicities of filtrations. We show that the mixed multiplicities of filtrations must be nonnegative real numbers and give examples to show that they could be zero or even irrational. When $R$ is analytically irreducible, and $\mathcal I(1),\ldots,\mathcal I(r)$ are filtrations of $R$ by $m_R$-primary ideals, we show that all of the mixed multiplicities $e_R(\mathcal I(1)^{[d_1]},\ldots,\mathc…
We give an expression for the Łojasiewicz exponent of a wide class of n-tuples of ideals $(I_1,..., I_n)$ in $Ø_n$ using the information given by a fixed Newton filtration. In order to obtain this expression we consider a reformulation of Łojasiewicz exponents in terms of Rees mixed multiplicities. As a consequence, we obtain a wide class of semi-weighted homogeneous functions $(\mathbb{C}^n,0)\to (\mathbb{C},0)$ for which the Łojasiewicz of its gradient map $\nabla f$ attains the maximum possible value.
In this article we give explicit descriptions of the multiplicities of some classes of monomial ideals. For instance, we give a formula for the multiplicities of all codimension 1 monomial ideals, and another formula for the multiplicities of almost complete intersections. We also introduce a new class of ideals that extends the family of monomial complete intersections, and give a formula for their multiplicity, as well as a visual interpretation of this invariant.
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…
Suppose that R is an analytically irreducible or excellent local domain with maximal ideal m_R. We consider multiplicities and mixed multiplicities of R by filtrations of m_R-primary ideals. We show that the theorem of Teissier, Rees and Sharp, and Katz, characterizing equality in the Minkowski inequality for multiplicities of ideals, is true for divisorial filtrations, and for the larger category of bounded filtrations. This theorem is not true for arbitrary filtrations of m_R-primary ideals.
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…
Let $(A, \frak m)$ be a noetherian local ring with maximal ideal $\frak{m}$ and infinite residue field $k = A/\frak{m}.$ Let $J$ be an $\frak m$-primary ideal, $I_1,...,I_s$ ideals of $A$, and $M$ a finitely generated $A$-module. In this paper, we interpret mixed multiplicities of $(I_1,..., I_s,J)$ with respect to $M$ as multiplicities of joint reductions of them. This generalizes the Rees's theorem on mixed multiplicity (Theorem 2.4). As an application we show that mixed multiplicities are also multiplicities of Rees's superficial sequences.
We prove that limits of multiplicities associated to graded families of ideals exist under very general conditions. Most of our results hold for analytically unramified equicharacteristic local rings, with perfect residue fields. We give a number of applications, including a "volume = multiplicity" formula, generalizing the formula of Lazarsfeld and Mustata, and a proof that the epsilon multiplicity of Ulrich and Validashti exists as a limit for ideals in rather general rings, including analytic local domains. We also prove an asymptotic "additivity formula" for limits of multiplicities, and a…
The main result provides an algorithm for determining the minimal free resolution of ideals of fat point subschemes of ${\bf P}^2$ involving up to 8 general points with arbitrary multiplicities; the results hold over algebraically closed fields of any characteristic. The algorithm, which works by giving a formula in certain cases and a reduction to these cases otherwise, does not involve Gröbner bases, and so is very fast, even for very large multiplicities. Partial information is also obtained in certain cases with $n>8$.
For multiplicities arising from a family of ideals we provide a general approach to transformation rules for a ring extension étale in codimension one. Our result can be applied to bound the size of the local étale fundamental group of a singularity in terms of F-signature, recovering a recent result of Carvajal-Rojas, Schwede, and Tucker, and differential signature, providing the first characteristic-free effective bound.
We give several new applications of our theorem on the existence of multiplicity of graded families of ideals as a limit, including a very general Minkowski type inequality for graded families of ideals, a very general formula for existence of local volumes as a limit and a very general theorem on the existence of epsilon multiplicities as a limit for modules.
We study Hilbert-Samuel multiplicity for points of Schubert varieties in the complete flag variety, by Groebner degenerations of the Kazhdan-Lusztig ideal. In the covexillary case, we give a positive combinatorial rule for multiplicity by establishing (with a Groebner basis) a reduced and equidimensional limit whose Stanley-Reisner simplicial complex is homeomorphic to a shellable ball or sphere. We show that multiplicity counts the number of facets of this complex. We also obtain a formula for the Hilbert series of the local ring. In particular, our work gives a multiplicity rule for Grassman…
Minimal values of multiplicities of ideals have a strong relation with the depth of blowup algebras. In this paper, we introduce the notion of Goto-minimal $j$-multiplicity for ideals of maximal analytic spread. In a Cohen-Macaulay ring, inspired by the work of S. Goto, A. Jayanthan, T. Puthenpurakal, and J. Verma, we study the interplay among this new notion, the notion of minimal $j$-multiplicity introduced by C. Polini and Y. Xie, and the Cohen-Macaulayness of the fiber cone of ideals satisfying certain residual assumptions. We are also able to provide a bound on the reduction number of ide…
A finitely generated module C over a commutative noetherian ring R is semidualizing if Hom_R(C,C) \cong R and Ext^i_R(C,C) = 0 for all i \geq 1. For certain local Cohen-Macaulay rings (R,m), we verify the equality of Hilbert-Samuel multiplicities e_R(J;C) = e_R(J;R) for all semidualizing R-modules C and all m-primary ideals J. The classes of rings we investigate include those that are determined by ideals defining fat point schemes in projective space or by monomial ideals.
We investigate the relationship among several numerical invariants associated to a (free) projective hypersurface $V$: the sequence of mixed multiplicities of its Jacobian ideal, the Hilbert polynomial of its Milnor algebra, and the sequence of exponents when $V$ is free. As a byproduct, we obtain explicit equations for some of the homaloidal surfaces in the projective 3-dimensional space constructed by C. Ciliberto, F. Russo and A. Simis.
Let $\mathfrak{q}$ denote an $\mathfrak{m}$-primary ideal of a $d$-dimensional local ring $(A, \mathfrak{m}).$ Let $\underline{a} = a_1,\ldots,a_d \subset \mathfrak{q}$ be a system of parameters. Then there is the following inequality for the multiplicities $c \cdot e(\mathfrak{q};A) \leq e(\underline{a};A)$ where $c$ denotes the product of the initial degrees of $a_i$ in the form ring $G_A(\mathfrak{q}).$ The aim of the paper is a characterization of the equality as well as a description of the difference by various homological methods via Koszul homology. To this end we have to characterize …
Let $S$ be a polynomial ring over an algebraic closed field $k$ and $ \mathfrak p =(x,y,z,w) $ a homogeneous height four prime ideal. We give a finite characterization of the degree two component of ideals primary to $\mathfrak p$, with multiplicity $e \leq 3$. We use this result to give a tight bound on the projective dimension of almost complete intersections generated by five quadrics with $e \leq 3$.
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…
Let S=K[x_1,...,x_n] be a polynomial ring and R=S/I be a graded K-algebra where I is a graded ideal in S. Herzog, Huneke and Srinivasan have conjectured that the multiplicity of R is bounded above by a function of the maximal shifts in the minimal graded free resolution of R over S. We prove the conjecture in the case that codim(R)=2 which generalizes results in of Herzog, Srinivasan and Gold. We also give a proof for the bound in the case in which I is componentwise linear. For example, stable and squarefree stable ideals belong to this class of ideals.
Let S be a finitely generated standard multi-graded algebra over a Noetherian local ring A. This paper first expresses mixed multiplicities of S in term of Hilbert-Samuel multiplicity that explained the mixed multiplicities S as the Hilbert-Samuel multiplicities for quotient modules of S. As an application, we get formulas for the mixed multiplicities of ideals that covers the main result of Trung-Verma 2007 [TV].
This article is concerned with the asymptotic behavior of certain sequences of ideals in rings of prime characteristic. These sequences, which we call $p$-families of ideals, are ubiquitous in prime characteristic commutative algebra (e.g., they occur naturally in the theories of tight closure, Hilbert-Kunz multiplicity, and $F$-signature). We associate to each $p$-family of ideals an object in Euclidean space that is analogous to the Newton-Okounkov body of a graded family of ideals, which we call a $p$-body. Generalizing the methods used to establish volume formulas for the Hilbert-Kunz mult…
Let $S$ be a finitely generated standard multigraded algebra over an Artinian local ring $A$; $M$ a finitely generated multigraded $S$-module. This paper answers to the question when mixed multiplicities of $M$ are positive and characterizes them in terms of lengths of $A$-modules. As an application, we get results on mixed multiplicities of ideals (Proposition 4.4 and Theorem 4.5), and recover the results of Risler and Teissier [Te](see Remark 4.8), Trung and Verma [TV](see Remark 4.6).
Continuing a well established tradition of associating convex bodies to monomial ideals, we initiate a program to construct asymptotic Newton polyhedra from decompositions of monomial ideals. This is achieved by forming a graded family of ideals based on a given decomposition. We term these graded families powers since they generalize the notions of ordinary and symbolic powers. Asymptotic invariants for these graded families are expressed as solutions to linear optimization problems on the respective convex bodies. This allows to establish a lower bound on the Waldschmidt constant of a monomi…
The paper proves that the superficial sequences in [13, 15, 16, 25] are the weak-(FC)-sequences in [18]. This follows that [18, Theorem 3.4] of Viet in 2000 covers the results of Risler and Teissier [13] in 1973; Trung [15, Theorem 3.4] in 2001; Trung and Verma [16, Theorem 1.4] in 2007. The paper unified the results for mixed multiplicities of ideals in [13, 15, 16, 17, 18, 25].
We study the multiplicity of the jumping numbers of an $\mathfrak m$-primary ideal $\mathfrak a$ in a two-dimensional local ring with a rational singularity. The formula we provide for the multiplicities leads to a very simple and efficient method to detect whether a given rational number is a jumping number. We also give an explicit description of the Poincaré series of multiplier ideals associated to $\mathfrak a$ proving, in particular, that it is a rational function.
We prove the following result, which is motivated by the recent work of Kurano and Roberts on Serre's positivity conjecture. Assume that (R,m) is a local ring with finitely-generated module M such that R/ann(M) is quasi-unmixed and contains a field, and that p and q are prime ideals in the support of M such that p is analytically unramified, p+q is m-primary and e(M_p)=e(M). Then dim(R/p)+dim(R/q)\leq dim(M). We also prove a similar theorem in a special case of mixed characteristic. Finally, we provide several examples to explain our assumptions as well as an example of a noncatenary, local do…
We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of exponents. These multigraded techniques originate from the study of hypergeometric systems of differential equations.
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.
This work concerns finite free complexes with finite length homology over a commutative noetherian local ring $R$. The focus is on complexes that have length $\mathrm{dim}\, R$, which is the smallest possible value, and in particular on free resolutions of modules of finite length and finite projective dimension. Lower bounds are obtained on the Euler characteristic of such short complexes when $R$ is a strict complete intersection, and also on the Dutta multiplicity, when $R$ is the localization at its maximal ideal of a standard graded algebra over a field of positive prime characteristic. T…
Let $k$ be a field of characteristic zero and I an ideal defining an arrangement of linear subspaces in the affine space $A^n_k$. We compute the D-module theoretic characteristic cycle of the local cohomology modules $H^r_I(k[x_1,...,x_n])$ in terms of the poset defined by the arrangement. In case I is a monomial ideal, we relate the multiplicities of the characteristic cycle with the Betti numbers of the Alexander dual ideal of I, we also study some extension problems attached to the modules $H^r_I(k[x_1,...,x_n])$. If $k$ is the field of complex numbers we study the ubiquity of these local c…
Let $(A,\mathfrak{m},\Bbbk)$ denote a local Noetherian ring and $\mathfrak{q}$ an ideal such that $\ell_A(M/\mathfrak{q}M) < \infty$ for a finitely generated $A$-module $M$. Let $\au = a_1,\ldots,a_d$ denote a system of parameters of $M$ such that $a_i \in \mathfrak{q}^{c_i} \setminus \mathfrak{q}^{c_i+1}$ for $i=1,\ldots,d$. It follows that $ χ:= e_0(\au;M) - c \cdot e_0(\mathfrak{q};M) \geq 0$, where $c = c_1\cdot \ldots \cdot c_d$. The main results of the report are a discussion when $χ= 0$ resp. to describe the value of $χ$ in some particular cases. Applications concern results on the mult…
