We define cone structures and asymptotic invariants for multigraded systems of ideals, and show that essentially the only restrictions on such structures is convexity, which is imposed formally.
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 multigraded Hilbert scheme parametrizes all homogeneous ideals in a polynomial ring graded by an abelian group with a fixed Hilbert function. We prove that any multigraded Hilbert scheme is smooth and irreducible when the polynomial ring is ZZ[x,y], which establishes a conjecture of Haiman and Sturmfels.
In recent years, two different multigraded variants of Castelnuovo-Mumford regularity have been developed, namely multigraded regularity, defined by the vanishing of multigraded pieces of local cohomology modules, and the resolution regularity vector, defined by the multidegrees in a minimal free resolution. In this paper, we study the relationship between multigraded regularity and the resolution regularity vector. Our method is to investigate multigraded variants of the usual a*-invariant. This, in particular, provides an effective approach to examining the vanishing of multigraded pieces of…
Let S be a standard N^k-graded polynomial ring over a field. Let I be a multigraded homogeneous ideal in S and let M be a finitely generated Z^k-graded S-module. We prove that the resolution regularity, a multigraded variant of Castelnuovo-Mumford regularity, of I^nM is asymptotically a linear function. This shows that the well known Z-graded phenomenon carries to multigraded situation.
In this article we extend a previous definition of Castelnuovo-Mumford regularity for modules over an algebra graded by a finitely generated abelian group. Our notion of regularity is based on Maclagan and Smith's definition, and is extended first by working over any commutative base ring, and second by considering local cohomology with support in an arbitrary finitely generated graded ideal $B$, obtaining, for each $B$, a $B$-regularity region. The first extension provides a natural approach for working with families of sheaves or of graded modules, while the second opens new applications. We…
Let $A$ be a semigroup whose only invertible element is 0. For an $A$-homogeneous ideal we discuss the notions of simple $i$-syzygies and simple minimal free resolutions of $R/I$. When $I$ is a lattice ideal, the simple 0-syzygies of $R/I$ are the binomials in $I$. We show that for an appropriate choice of bases every $A$-homogeneous minimal free resolution of $R/I$ is simple. We introduce the gcd-complex $D_{gcd}(\bf b)$ for a degree $\mathbf{b}\in \A$. We show that the homology of $D_{gcd}(\bf b)$ determines the $i$-Betti numbers of degree $\bf b$. We discuss the notion of an indispensable c…
We study the closure of the locus of radical ideals in the multigraded Hilbert scheme associated with a standard graded polynomial ring and the Hilbert function of a homogeneous coordinate ring of points in general position in projective space. In the case of projective plane, we give a sufficient condition for an ideal to be in the closure of the locus of radical ideals. For projective space of arbitrary dimension we present a necessary condition. The paper is motivated by the border apolarity lemma which connects such multigraded Hilbert schemes with the theory of ranks of polynomials.
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 (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.
For any $k \in \Nat$, we show that the cone of $(k+1)$-secant lines of a closed subscheme $Z \subset \mathbb{P}^n_K$ over an algebraically closed field $K$ running through a closed point $p \in \mathbb{P}^n_K$ is defined by the $k$-th partial elimination ideal of $Z$ with respect to $p$. We use this fact to give an algorithm for computing secant cones. Also, we show that under certain conditions partial elimination ideals describe the length of the fibres of a multiple projection in a way similar to the way they do for simple projections. Finally, we study some examples illustrating these resu…
We compute the initial ideals, with respect to certain conveniently chosen term orders, of ideals of tangent cones at torus fixed points to Schubert varieties in orthogonal Grassmannians. The initial ideals turn out to be square-free monomial ideals and therefore Stanley-Reisner face rings of simplicial complexes. We describe these complexes. The maximal faces of these complexes encode certain sets of non-intersecting lattice paths.
The main goal of this paper is to give explicit descriptions of two maximal cones in the Gröbner fan of the Plücker ideal. These cones correspond to the monomial ideals given by semistandard and PBW-semistandard Young tableaux. For the first cone, as an intermediate result we obtain the description of a maximal cone in the Gröbner fan of any Hibi ideal. For the second, we generalize the notion of Hibi ideals by associating an ideal with every interpolating polytope. This is a family of polytopes that generalizes the order and chain polytopes of a poset (à la Fang--Fourier--Litza--Pegel). We th…
This short note solves the following problem: Given a map of normal toric varieties corresponding to a coherent subdivision of a cone, find an ideal such that the given map is the blowup of that ideal.
We characterize the tight closure of graded primary ideals in a homogeneous coordinate ring over an elliptic curve by numerical conditions and we show that it is in positive characteristic the same as the plus closure.
In this article, we define a class of binomial ideals associated to a simplicial complex. This class of ideals appears in the presentation of fiber cones of codimension 2 lattice ideals \cite{hm}, and in the work of Barile and Morales \cite{bm2}, \cite{bm3}, \cite{bm4}. We compute the reduction number of Binomial extensions of Simplicial ideals. This extends all the previous results in this area.
Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $f\in I_d$, the set of monomials in $f$ with nonzero coefficients. These data collectively form the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications. In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid str…
A Richardson variety $X_\ga^\gc$ in the Orthogonal Grassmannian is defined to be the intersection of a Schubert variety $X^\gc$ in the Orthogonal Grassmannian and a opposite Schubert variety $X_\ga$ therein. We give an explicit description of the initial ideal (with respect to certain conveniently chosen term order) for the ideal of the tangent cone at any $T$-fixed point of $X_\ga^\gc$, thus generalizing a result of Raghavan-Upadhyay \cite{Ra-Up2}. Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the Orthogonal bounded RSK (OBRSK). The…
The toric Hilbert scheme of a lattice L in Z^n is the multigraded Hilbert scheme parameterizing all ideals in k[x_1,...,x_n] with Hilbert function value one for every degree in the grading monoid N^n/L. In this paper we show that if L is two-dimensional, then the toric Hilbert scheme of L is smooth and irreducible. This result is false for lattices of dimension three and higher as the toric Hilbert scheme of a rank three lattice can be reducible.
This paper shows that Gröbner walks aiming for the elimination of variables from a polynomial ideal can be terminated much earlier than previously known. To this end we provide an improved stopping criterion for a known Gröbner walk algorithm for the elemination of variables. This results from two new geometric insights on Gröbner fans: We show that for any given ideal I \subset K[x_1, ..., x_n] the collection of Gröbner cones corresponding to I-specific elimination orders may contain Gröbner cones in the relative interior of the positive orthant. Moreover we prove that the corresponding Gröbn…
We compare three naturally occurring multi-indexed filtrations of ideals on the local ring of a Newton nondegenerate hypersurface surface singularity with rational homology sphere, which in many cases are all distinct. These are the divisorial, the order, and the image filtrations. These filtrations are indexed by the lattice associated with a toric partial resolution of the singularity, or equivalently, the free abelian group generated by the compact facets of the Newton polyhedron. We prove that there exists a top dimensional cone contained in the Lipman cone having the property that the thr…