Binomial vanishing ideals
In this paper we characterize, in algebraic and geometric terms, when a graded vanishing ideal is generated by binomials over any field K.
math.AC↗
arXiv subjects
Rafael H. Villarreal
Publications and source records attributed to Rafael H. Villarreal.
Complete intersection vanishing ideals on sets of clutter type over finite fields
In this paper we give a classification of complete intersection vanishing ideals on parameterized sets of clutter type over finite fields.
math.AC↗
On complete monomial ideals
In dimension two, we study complete monomial ideals combinatorially, their Rees algebras and develop effective means to find their defining equations.
math.AC↗
Degree and algebraic properties of lattice and matrix ideals
We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud-Sturmfels theory of binomial ideals over algebraically closed fields. We then use these results to study certain families of integer matrices (PCB, GPCB, CB, GCB matrices) and the algebra of their corresponding matrix ideals. In particular, the family of generalized positive critical binomial matrices (GPCB matrices) is shown to be closed under transposition, and previous results for PCB ideals are extended to GPCB ideals. Then, more particularly, we give some applications to the theory of 1-dimensional binomial ideals. If G is a connected graph, we show as a further application that the order of its sandpile group is the degree of the Laplacian ideal and the degree of the toppling ideal. We also use our earlier results to give a structure theorem for graded lattice ideals of dimension 1 in 3 variables and for homogeneous lattices in Z^3 in terms of critical binomial ideals (CB ideals) and critical binomial matrices, respectively, thus complementing a well-known theorem of Herzog on the toric ideal of a monomial space curve.
math.AC↗
Computing the degree of a lattice ideal of dimension one
We show that the degree of a graded lattice ideal of dimension 1 is the order of the torsion subgroup of the quotient group of the lattice. This gives an efficient method to compute the degree of this type of lattice ideals.
math.AC↗
Regularity and algebraic properties of certain lattice ideals
We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals in a polynomial ring with the standard grading. This map is shown to preserve the complete intersection property and the regularity of I but not the degree. We relate the Hilbert series and the generators of I and I\~. If dim(I)=1, we relate the degrees of I and I\~. It is shown that the regularity of certain lattice ideals is additive in a certain sense. Then, we give some applications. For finite fields, we give a formula for the regularity of the vanishing ideal of a degenerate torus in terms of the Frobenius number of a semigroup. We construct vanishing ideals, over finite fields, with prescribed regularity and degree of a certain type. Let X be a subset of a projective space over a field K. It is shown that the vanishing ideal of X is a lattice ideal of dimension 1 if and only if X is a finite subgroup of a projective torus. For finite fields, it is shown that X is a subgroup of a projective torus if and only if X is parameterized by monomials. We express the regularity of the vanishing ideal over a bipartie graph in terms of the regularities of the vanishing ideals of the blocks of the graph.
math.AC↗
The Degree and regularity of vanishing ideals of algebraic toric sets over finite fields
Let X* be a subset of an affine space A^s, over a finite field K, which is parameterized by the edges of a clutter. Let X and Y be the images of X* under the maps x --> [x] and x --> [(x,1)] respectively, where [x] and [(x,1)] are points in the projective spaces P^{s-1} and P^s respectively. For certain clutters and for connected graphs, we were able to relate the algebraic invariants and properties of the vanishing ideals I(X) and I(Y). In a number of interesting cases, we compute its degree and regularity. For Hamiltonian bipartite graphs, we show the Eisenbud-Goto regularity conjecture. We give optimal bounds for the regularity when the graph is bipartite. It is shown that X* is an affine torus if and only if I(Y) is a complete intersection. We present some applications to coding theory and show some bounds for the minimum distance of parameterized linear codes for connected bipartite graphs.
math.AC↗
Complete intersections in binomial and lattice ideals
For the family of graded lattice ideals of dimension 1, we establish a complete intersection criterion in algebraic and geometric terms. In positive characteristic, it is shown that all ideals of this family are binomial set theoretic complete intersections. In characteristic zero, we show that an arbitrary lattice ideal which is a binomial set theoretic complete intersection is a complete intersection.
math.AC↗
Complete intersection vanishing ideals on degenerate tori over finite fields
We study the complete intersection property and the algebraic invariants (index of regularity, degree) of vanishing ideals on degenerate tori over finite fields. We establish a correspondence between vanishing ideals and toric ideals associated to numerical semigroups. This correspondence is shown to preserve the complete intersection property, and allows us to use some available algorithms to determine whether a given vanishing ideal is a complete intersection. We give formulae for the degree, and for the index of regularity of a complete intersection in terms of the Frobenius number and the generators of a numerical semigroup.
math.AC↗
Affine cartesian codes
We compute the basic parameters (dimension, length, minimum distance) of affine evaluation codes defined on a cartesian product of finite sets. Given a sequence of positive integers, we construct an evaluation code, over a degenerate torus, with prescribed parameters. As an application of our results, we recover the formulas for the minimum distance of various families of evaluation codes.
math.AC↗
Toric ideals generated by circuits
Let I be the toric ideal of a homogeneous normal configuration. We prove that I is generated by circuits if and only if each unbalanced circuit of I has a "connector" which is a linear combination of circuits with a square-free term. In particular if each circuit of I with non-square-free terms is balanced, then I is generated by circuits. As a consequence we prove that the toric ideal of a normal edge subring of a multigraph is generated by circuits with a square-free term.
math.AC↗
Vanishing ideals over graphs and even cycles
Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of generators of I(X), when X is the algebraic toric set associated to an even cycle or to a connected bipartite graph with pairwise disjoint even cycles. In this case, a fomula for the regularity of I(X) is given. We show an upper bound for this invariant, when X is associated to a (not necessarily connected) bipartite graph. The upper bound is sharp if the graph is connected. We are able to show a formula for the length of the parameterized linear code associated with any graph, in terms of the number of bipartite and non-bipartite components.
math.AC↗
Parameterized affine codes
Let K be a finite field and let X* be an affine algebraic toric set parameterized by monomials. We give an algebraic method, using Groebner bases, to compute the length and the dimension of C_X*(d), the parameterized affine code of degree d on the set X*. If Y is the projective closure of X*, it is shown that C_X^*(d) has the same basic parameters that C_Y(d), the parameterized projective code on the set Y. If X* is an affine torus, we compute the basic parameters of C_X*(d). We show how to compute the vanishing ideals of X* and Y.
math.AC↗
On the vanishing ideal of an algebraic toric set and its parameterized linear codes
Let K be a finite field and let X be a subset of a projective space, over the field K, which is parameterized by monomials arising from the edges of a clutter. We show some estimates for the degree-complexity, with respect to the revlex order, of the vanishing ideal I(X) of X. If the clutter is uniform, we classify the complete intersection property of I(X) using linear algebra. We show an upper bound for the minimum distance of certain parameterized linear codes along with certain estimates for the algebraic invariants of I(X).
math.AC↗
The minimum distance of parameterized codes on projective tori
Let X be a subset of a projective space, over a finite field K, which is parameterized by the monomials arising from the edges of a clutter. Let I(X) be the vanishing ideal of X. It is shown that I(X) is a complete intersection if and only if X is a projective torus. In this case we determine the minimum distance of any parameterized linear code arising from X.
math.AC↗
Associated primes of powers of edge ideals
Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i, where "intcl" denotes integral closure and I(i) denotes the i-th power of I. We show that for edge ideals their corresponding stable sets are equal. To show our main result we use a classical result of Berge from matching theory and certain notions from combinatorial optimization.
math.AC↗
Combinatorics of Cremona monomial maps
One studies Cremona monomial maps by combinatorial means. Among the results is a simple integer matrix theoretic proof that the inverse of a Cremona monomial map is also defined by monomials of fixed degree, and moreover, the set of monomials defining the inverse can be obtained explicitly in terms of the initial data. A neat consequence is drawn for the plane Cremona monomial group, in particular the known result saying that a plane Cremona (monomial) map and its inverse have the same degree. Included is a discussion about the computational side and/or implementation of the combinatorial invariants stemming from these questions.
math.AG↗
Rees cones and monomial rings of matroids
Using linear algebra methods we study certain algebraic properties of monomial rings and matroids. Let I be a monomial ideal in a polynomial ring over an arbitrary field. If the Rees cone of I is quasi-ideal, we express the normalization of the Rees algebra of I in terms of an Ehrhart ring. We introduce the basis Rees cone of a matroid (or a polymatroid) and study their facets. Some applications to Rees algebras are presented. It is shown that the basis monomial ideal of a matroid (or a polymatroid) is normal.
math.AC↗